 3). Is r not equal to 4/9?
True
Suppose -7*p = -11*p + 36. Which is smaller: p or 0?
0
Let y = 15 + -9. Let a(f) = f**3 - 7*f**2 + 6*f. Let s(p) = p**3 - 7*p**2 + 6*p - 1. Let o(h) = -4*a(h) + 3*s(h). Let b be o(y). Which is bigger: b or -0.1?
-0.1
Let d = 121 - 131. Let g = -15/7 + 52/21. Which is smaller: d or g?
d
Suppose 2*k + 14 = 2*g, 8*g - 3*k = 3*g + 31. Suppose -p + d - 10 = -6*p, 2*p + g*d - 27 = 0. Which is bigger: 3/4 or p?
p
Let w = -1.01 - 20.49. Let j = w + 21. Which is smaller: j or -0.1?
j
Let z = -1 + 1. Suppose 0 = -z*c + 2*c + 4. Let m = -3 + 1. Is c > m?
False
Let l = 4 - 0. Suppose 5*n + 1 = -l. Which is smaller: n or 0?
n
Let c(t) = -t**3 - 5*t**2 - 6*t - 5. Let k be c(-4). Let m be -6*((-6)/4)/3. Let a = k - m. Is a bigger than 3/5?
False
Let o be 2/(-3) - (-1 + 14). Let f = o + 199/15. Is 0.2 less than or equal to f?
False
Let v = 14 - 18. Which is bigger: -15/4 or v?
-15/4
Let s be (-6)/(-14)*(-21)/(-6). Let u = s - 1. Is u greater than or equal to 1?
False
Let l be (-64)/10 + 4/10. Let k be (2/l)/(7/(-42)). Is k at most 2?
True
Suppose 5*x = 33 + 87. Is x equal to 24?
True
Let r = 14 + -10. Let s = -3 + r. Let n = -11 + 67/6. Is s equal to n?
False
Let c be 3 + (-87)/27 + 8/18. Which is greater: 0 or c?
c
Suppose 12*m + 5 = 13*m. Does -3 = m?
False
Let y be 572/2100 + (46/(-14) - -3). Do 1 and y have different values?
True
Let s(n) = -n**3 + 2*n**2 + 3*n + 2. Let m be s(3). Let b(a) = -m + 4*a + 4 + 1. Let g be b(-2). Which is greater: -3 or g?
-3
Let t = 52 - 41. Which is smaller: t or 12?
t
Let j = -0.02 - 31.98. Which is bigger: j or 1/4?
1/4
Suppose 2*m - 4*v + 8 = 0, -3*m + 5*v = -0*m + 8. Suppose -m*d = 5*t - 44, -4*d + 14 = 3*t - 6. Let y = t - 81/7. Is 0 not equal to y?
True
Let o = -0.9 + 1. Let s = 3 + -3.1. Let d = s - -0.3. Which is bigger: d or o?
d
Let a = 109 + -78. Which is greater: a or 33?
33
Suppose -5*p - 318 = -2*w, -4*w - 196 = 3*p - 26. Is p <= -64?
False
Let g = -0.919 - 0.081. Let l = -2 - -3. Which is bigger: l or g?
l
Let j(p) = -p**2 - 5*p - 3. Let y be j(-4). Let n be 7/(-9) - 2/(-2). Which is smaller: n or y?
n
Let u = -17.2 + 16. Let b = u + 1. Suppose -q = -2*q - 1. Which is greater: q or b?
b
Let a be 4 + -11 + (-2 - (4 - 2)). Is -9 < a?
False
Let u be (-6)/66 - 0/(-2). Which is smaller: u or -1?
-1
Let s = 1.3 + -0.3. Let m = 3.02 - 3. Let a = 2.02 - m. Is s != a?
True
Let a be (2/8 + -1)*-4. Suppose -5*m + 2 = -a. Suppose m - 2 = u. Is -2/3 > u?
True
Suppose 0 = -15*o + 14*o - 1. Which is bigger: o or -2/85?
-2/85
Let t = 3.3 + 13.7. Is -2/3 != t?
True
Let c = 301/104 - 36/13. Let s(f) = f + 2. Let l be s(-2). Suppose 7*h - 6*h = l. Do c and h have the same value?
False
Let u = 147/13 + -10117/897. Which is bigger: -1 or u?
u
Let d = -1 - -1. Let g(j) = j**2 + 130. Let y be g(0). Let i be ((-4)/y)/(2/10). Which is bigger: d or i?
d
Let a = -31 + 31. Which is bigger: a or 1/17?
1/17
Let a be 1/(-4) - (-486)/(-24). Let k = a - -22. Are 1 and k non-equal?
True
Let s = 190 + -204. Which is smaller: s or -8?
s
Let o be (-16)/(-40) + (-21)/40. Are 0 and o non-equal?
True
Let v(o) = 3*o**3 - 3*o**2 + 3*o - 2. Let d(s) = 4*s**3 - 4*s**2 + 3*s - 2. Let q(z) = 4*d(z) - 5*v(z). Let m be q(2). Suppose m*x = -x. Are -3/4 and x equal?
False
Suppose 109 = -6*p - 11. Is p less than -19?
True
Let f(t) = t - 1. Let a be f(-3). Let j = 6 + a. Suppose j*h = -3*h. Is h greater than or equal to -2/15?
True
Suppose 132 = 5*s + 3*y, 2*s + 124 = 7*s + y. Is 24 at most as big as s?
True
Suppose 0 = -4*t - 1 + 25. Suppose -3*r = -4 - 14. Is t > r?
False
Suppose 4 = -13*o + 11*o. Suppose 0 = m + u + 4*u + 27, -2*m - 5*u = 34. Which is bigger: o or m?
o
Let n = 0 + 24. Which is greater: n or 1?
n
Suppose 2*z + 3*k = -6 - 7, -z - 8 = 2*k. Suppose 0 = 4*b + 4, 3*w - 2*b = -b - 5. Is z <= w?
True
Let i = 0.14 + -0.14. Does i = 20?
False
Let j = 110 + -314/3. Is 4 at least j?
False
Let q = -0.83 + 0.93. Let y = 3.1 - 3. Is q at least as big as y?
True
Let n be 2/13 - (-201)/(-39). Which is greater: -4 or n?
-4
Suppose v = 2*v. Let i = -1/257 - -269/3084. Which is smaller: i or v?
v
Let j be (-1)/(-10)*-2*1. Which is smaller: 4 or j?
j
Let y be -27 + 3 + 3 - -3. Let c be (27/y)/(-12 + 0). Let t = -2 + 3. Are t and c unequal?
True
Let m = 10 - 14. Is -5 at most as big as m?
True
Let z = -2 + 3. Let c = -14 - -10. Let o = c - -7. Which is bigger: o or z?
o
Let v(j) = j**3 + 2*j**2 - 2*j - 3. Let s be v(-2). Let m be (-1)/(-12)*(s + 1). Which is greater: 0 or m?
m
Let a = 6 + -6.1. Let m = -0.18 + 0.13. Do m and a have the same value?
False
Let l = -0.5 + -0.5. Which is greater: 3 or l?
3
Let k be 39/7 - (-2)/2. Let m = -110/21 + k. Let o(r) = r + 5. Let f be o(-4). Is f at most m?
True
Suppose -x + 4 = c - 1, -5*c + 25 = 3*x. Let t = -291/1403 - -10/61. Which is greater: t or x?
x
Suppose 0 = 25*u - 21*u - 8. Is u at least 2?
True
Let m(t) = t**3 - t - 4. Let h be m(0). Let g(l) = -l**3 - 2*l**2 - 3*l. Let b be g(-2). Let d = b + -9. Which is smaller: d or h?
h
Let x(u) = -u**2 + 14*u - 1. Let a be x(14). Let z = -171/301 + 6/43. Which is greater: a or z?
z
Let x be (-1)/3 + (-34)/(-66). Suppose 0 = -4*k - 3*p + 22, -22 = -7*k + 2*k - p. Suppose -i + 5 = k*i. Are i and x non-equal?
True
Let o(p) = 4*p + 5. Let m be o(-4). Is -10 <= m?
False
Let x(f) = f - 3. Let y be x(5). Suppose -y*d + 8 = -0. Suppose -v = -5*v - d. Is v > -2/7?
False
Let w = -3005/77 - -39. Which is greater: -1 or w?
w
Let b(u) = u**3 - 5*u**2 + u - 7. Let h(n) = n**2 + 6*n - 11. Let a be h(-8). Let i be b(a). Let r be 4/3*i/(-12). Is -1 at most as big as r?
True
Let u = 2.2 - 2.3. Is u at most as big as 28?
True
Let s(l) = 6*l - 2. Let p(g) = 7*g - 3. Let f(d) = -5*p(d) + 6*s(d). Let j be f(12). Let o be (-2)/(-15) + (-5)/j. Which is bigger: o or 1/3?
1/3
Let u = -71 - -72. Do 2/59 and u have different values?
True
Let b = 44/7 - 118/21. Do -16 and b have different values?
True
Let w = -0.3 + 3.3. Let r = -169 + 155.2. Let l = r - -14. Which is greater: l or w?
w
Let a = -66 - 26. Let j = a + 283/3. Is -1/4 equal to j?
False
Let z = -1 - -3. Suppose v + 3 - z = 0. Let d = 2/85 + 77/340. Is d smaller than v?
False
Let l = -8 + 13. Suppose -29 = -l*d - 9. Suppose -d*y - 7 = -19. Which is smaller: 2 or y?
2
Let z be -2 - (0 + -2 + -2). Suppose -3*g + 6 = -4*a, -2*a + 16 = -z*g - 6*a. Is g bigger than -2?
False
Let w(n) = n**3 - 7*n**2 + 3*n - 3. Let p be w(3). Let s be ((-2)/(-2))/((-2)/p). Suppose -2*m = 2*u + 2*m - 14, 0 = -3*u - 4*m + s. Which is smaller: u or 5/4?
u
Let w be -3 + ((-48)/(-33) - -1). Suppose -4 = 4*t - 0. Which is bigger: t or w?
w
Let q(p) = p**2 + 2*p - 2. Let a be q(1). Which is bigger: -2/33 or a?
a
Suppose 3 = -g + 10. Let i be ((0 - 2) + g)/1. Suppose 3*l = -0*l + 2*x - 1, 0 = -i*l + x - 11. Which is smaller: l or -2?
l
Suppose -2*c + 9 - 3 = 3*y, -3*c + 5*y + 28 = 0. Let m = 8 - c. Is m greater than or equal to 3/5?
True
Let t = -1528/3 + 518. Which is greater: t or 9?
9
Let g = -10 - -7. Do g and -7/2 have different values?
True
Suppose 0 = -5*y + 4*m + 5 - 41, -2*m = 4*y + 8. Let n be 10/(-45) - 88/9. Let d(k) = k**2 + 9*k - 12. Let g be d(n). Which is greater: g or y?
g
Let k(t) = t - 4. Suppose 0*a + 4 = a. Let v be k(a). Is 0 greater than or equal to v?
True
Let v be 108/(-328) + 1/2. Let z = -139/574 + v. Which is greater: z or 1?
1
Let c = 0 + 1. Suppose 5*q + 4*t = -c + 3, -2*q = 5*t + 6. Let l be (-1 - (-21)/(-27)) + q. Is l at least 1?
False
Let q = 45 + 9. Which is smaller: 56 or q?
q
Let n be 632/(-3234) + (-2 - (-48)/22). Which is smaller: n or 1?
n
Let u = -23 - -23. Suppose -s + u*s = 6. Let v(r) = -5*r**3 + 1. Let g be v(1). Which is bigger: s or g?
g
Suppose -12 = 3*z, z - 56 = -3*l + 3*z. Suppose 0 = 3*s + 3*q + 12, s + q - 4*q - l = 0. Is -2/19 at least as big as s?
False
Suppose 2 + 0 = -2*w. Let u = 7 + 0. Suppose 5*c = -u + 2. Is c >= w?
True
Let q be (40/6)/((-1)/3). Suppose -5*p + f = 74, 4*p + 0*p = 4*f - 56. Let z be q/p + 2/3. Is z bigger than 2?
False
Let h(p) = 2*p + 11. Let q be h(-8). Let t(z) = z**2 + 6*z + 7. Let u be t(q). Let a = 1 - u. Is a bigger than -3?
True
Let r = 5 + -2. Suppose -2 = r*k - k. Are 2/11 and k non-equal?
True
Let u = 12 - 14.5. Let t = -2.3 - u. Are -10 and t non