Are t and 2/43 nonequal?
True
Let z(v) = -v**3 + 2*v**2 + 4*v. Let m be z(3). Let a be (-4 + m)*(-31 + 0). Let f be 1/(a/2)*-1. Is f greater than or equal to 0?
False
Let u(l) = -l**3 - 11*l**2. Let c be u(-11). Which is bigger: 1/65 or c?
1/65
Let k(h) = h + 10. Let f = -19 - -12. Let r be k(f). Which is smaller: r or -8?
-8
Suppose -712*f + 837 = -721*f. Is -471/5 smaller than f?
True
Suppose 4*f + 0*l - 8 = -4*l, 0 = -f + l + 4. Suppose -f*c + x = 5*x - 2, 4*x + 4 = 0. Which is smaller: c or 0?
0
Let p(h) = 2*h + 4. Let y be p(-2). Is y <= -3/211?
False
Let t be (-143)/231 - -1 - 6/9. Are -282 and t non-equal?
True
Let n = -7/11 - -153/275. Suppose 0 = -f + 4, -4 = g - f - 0*f. Is g != n?
True
Let l = -15 + 20. Suppose -l*x + 7 = 2. Suppose -4*q = x + 3. Are 1/24 and q equal?
False
Let u be ((-12)/(-21))/((-1053)/(-63) + -9). Suppose -4 = -5*k + 5*g - 14, 0 = 4*k + 4*g - 16. Which is greater: u or k?
k
Let j = 2221220/91 - 169266/7. Let o = j - 228. Which is smaller: o or -1?
-1
Let b = -2387 + 2353. Are b and 1/7 equal?
False
Let h = 0.383 + -184.383. Is -1 greater than or equal to h?
True
Let j be 10/(-8)*(3 - -1). Let l be j*(0 + (-6)/(-105)). Suppose -8*u + 35 + 37 = 0. Is u greater than or equal to l?
True
Suppose 6 = 4*s - 18. Suppose 194 = 5*y - s. Suppose 3*a = -2*a - y. Is -8 < a?
False
Let c = 3.9 + -41.9. Let u = c + 40. Which is bigger: 7 or u?
7
Let h = -23.961 + -0.039. Let v = h - -20. Which is smaller: v or -0.9?
v
Suppose -38 = -41*f + 3*f. Let p = 5517/11 - 501. Which is smaller: f or p?
p
Let c be (25/10 - 2)/(5/838). Let j = -85 + c. Suppose -l + 3*v - 6 = 4, l = -5*v + 14. Is j > l?
False
Let x(j) = j**3 - 33*j**2 + 65*j - 94. Let v be x(31). Do v and 1/7 have different values?
True
Let k(v) = -85*v + 325. Let r be k(4). Let a = -1 + 2. Let t = 0 + a. Which is bigger: r or t?
t
Let j(x) = x**3 - 5*x**2 + x - 3. Let f be j(5). Suppose 0*c - c = -f*c. Which is smaller: 4/5 or c?
c
Let h(y) = -14*y**3 - 2*y**2 - 1. Let x be h(2). Let d = 120 + x. Which is smaller: 10 or d?
d
Suppose 0*p + 4*p = 20. Suppose s + 34 = 2*s - 2*v, 5*v = -p*s + 185. Let a be (-8)/s - 4/9. Which is greater: -3 or a?
a
Let q = 199 - 428. Which is bigger: q or -3?
-3
Let z be (-2)/(-4) - 15/(-10). Suppose 4*l = -z*l + 84. Suppose -o = 2*f + l, -o = -f - 6*o - 7. Which is smaller: f or -6?
f
Let p = -851 - -303. Is -550 < p?
True
Suppose -4*a - 13 - 2 = -5*i, 0 = 4*a. Suppose 0 = -2*r + 5*s - 16, -i*r - 1 = 4*s - 0. Is -2 smaller than r?
False
Suppose -3*q - 127 = -2*j - 2*q, 0 = j - 2*q - 62. Suppose 4*s - 136 = -4*y + 136, 4*y = 2*s + 254. Is j > y?
False
Suppose -5 = -4*y + 36*d - 31*d, 5*y + 4*d = -4. Is y < -6/157?
False
Let x(c) = -c**2 + 2*c + 115. Let r be x(-13). Which is bigger: r or -83?
r
Let g = 31292/9 - 3461. Are 17 and g nonequal?
True
Let l(q) = -72*q - 157. Let w be l(-2). Which is greater: w or -67/5?
w
Let j = 57 + -85. Let g be (2 - -1)/((-12)/j). Suppose 4*i - 4*l = 16, 0 = l + g - 2. Is i > -1?
False
Let c = 43.09 + -43. Let b = c + 2.91. Is 1/6 at most b?
True
Suppose 16*c + 20 = 6*c. Let o be (c/(-42))/(16/(-72)). Is o at most as big as 1?
True
Let h = 9 - 16. Let u = -5378 + 32267/6. Which is greater: h or u?
u
Let f = -472 + 469. Is -1 at most as big as f?
False
Let a(h) = -10*h + 12*h - 2*h**2 + 10*h + 2 - 11. Let p be a(5). Which is greater: p or 10/31?
p
Let c(x) = 15*x + 372. Let h be c(-37). Is h smaller than -181?
True
Let u(k) = 20*k**3 - 9*k**2 + 3*k - 3. Let s(w) = -7*w**3 + 3*w**2 - w + 1. Let n(a) = -17*s(a) - 6*u(a). Let i be n(3). Which is greater: i or -4/3?
-4/3
Let g(l) = 2*l**2 + 0 - l**3 - 4 - 5*l - 8*l**2 + 5. Let c be g(-4). Let h = c - -6. Which is bigger: h or -3?
-3
Let w = -0.2 + 0.3. Let z = -5287 + 174457/33. Let v = z + -10/11. Which is greater: w or v?
w
Let g = -143 + 55. Let s = g - -88. Is s at most as big as 10?
True
Let h = 23 + -32. Let a = -121 + 116. Let t be (15/18)/(a/h). Which is greater: 3 or t?
3
Let a = -36.51 + 0.51. Let g = 39 + a. Do 3 and g have the same value?
True
Let w = 19 + -19. Suppose 4*j + 5 + 3 = 0. Let o be (7/j)/(21/(-14)). Which is bigger: w or o?
o
Let j = 1.97 - -0.03. Suppose 3*t - 42 = -9. Let l = t - 7. Is j < l?
True
Let k = -6623/149527 + 14/521. Which is bigger: k or 1?
1
Let o = -32430/83 + -346417/2905. Let g = o + 510. Which is smaller: 1 or g?
g
Let v be (1 + -194)/((-2)/(-4)). Let k = v + 10805/28. Which is bigger: 0 or k?
0
Let p = -333 - -347. Which is bigger: p or 20?
20
Let g = -2575/4 + 643. Which is greater: -158 or g?
g
Suppose 5*f = -5*t - 10, 3*t - 3*f - 3 = 3. Let x(c) = 84*c - 1. Let r be x(-6). Let l = 9593/19 + r. Is l greater than or equal to t?
False
Suppose -3*b = -5*j + 14, 0*b - 3*j = 2*b - 16. Let m(s) = -2*s + 34. Let i be m(16). Suppose -2*f + i = -2*r + 4, r - b*f = 3. Is r bigger than 3/8?
False
Let i be ((-57)/38)/(2/(-4)). Let j be (0 - -1)/((-5)/(-4) - i). Suppose 3 = -2*n - n. Is j bigger than n?
True
Let z = 120 - 38. Suppose 4*o - 118 + z = 0. Is 8 less than or equal to o?
True
Let u be ((-89)/3 - 1*-1)*-3. Let s = u - 58. Do s and 30 have the same value?
False
Let m be (-3 + -11)/(8/12). Is -13 greater than or equal to m?
True
Let q = 598 - 5. Which is bigger: q or 592?
q
Let r(i) be the second derivative of i**3/3 - 2*i**2 + 3*i. Let w be r(5). Let y = w - 7. Is 2/7 > y?
True
Suppose -3 = -3*x, -x - 17 = -3*m + m. Suppose 3*i + 4 = -l - m, 54 = -5*l - 4*i. Let h be (-9)/40 + (-6)/l. Do 0 and h have different values?
True
Let p be -1*2 - (12 + -7 + -92). Is -3 > p?
False
Let u = 0.31 - 0.3. Suppose 114*y - 111*y = 18. Let h be (-1 - -2)/(-4) + y/24. Do h and u have different values?
True
Let g(j) = -j + 156. Let k be g(14). Is 143 <= k?
False
Let c = -141 - -105. Do c and -34 have the same value?
False
Let x be (1/(-3) - 0)/(10/50). Let l(v) = -2*v**2 + 10*v + 7. Let s(y) = -y**2. Let p(a) = l(a) - 3*s(a). Let c be p(-9). Which is smaller: x or c?
c
Suppose -2*q + 12 = 2*q. Suppose -v + 19 = 5*k, 0 = 5*v + 4*k - q*k - 47. Is 0.2 > v?
False
Let z = -0.65 - -0.25. Let f = -4.4 - z. Is 0 at least f?
True
Let v be (0 + 20/(-25))/((-6)/(-20)). Let j = -103/12 + v. Which is greater: j or 0?
0
Let l be 1*((-12)/(-118))/(-3). Suppose -3*t = x + 32, 2*t + 118 = -2*x - 2*x. Let u = x - -30. Which is bigger: l or u?
u
Suppose 0*s - 12 = -n - 2*s, 2*n = 5*s - 12. Suppose 0 = 5*k - 16 - n. Do 16/3 and k have the same value?
False
Let h = -56 - -54.92. Let f = h - -1. Let k = f + -0.02. Which is bigger: 1 or k?
1
Suppose -w + 5*b = 20, 12 = -2*w - 2*w + 3*b. Suppose 4*z = -5*s + 344, 225 = 4*z - 5*s - 119. Let m = z + -764/9. Which is smaller: w or m?
w
Let t = -20451/5 + 4112. Which is bigger: t or 22?
22
Let c(b) = 659*b + 2. Let v be c(1). Suppose n + 116 = u - 106, 3*u + 2*n = v. Let q = 4640/21 - u. Is -1 equal to q?
False
Let g = 63 - 29. Let d = g - 32. Does d = 1?
False
Suppose 31*c = 41*c - 20. Let t = 8/9 - -20/99. Is c at least as big as t?
True
Suppose 0*d = -d + 5. Suppose -3*h = -4*g - 2, 0 = g - 4*g - d*h + 13. Let c be -2 + 3/(-27) + 2. Which is smaller: g or c?
c
Let o = -196 - -174. Does o = -26?
False
Let p = 17 + -16.86. Let a be (-44)/(-33) + 2/(-3)*-1. Let o be ((-2)/(-5))/(a/(-10)*7). Which is smaller: o or p?
o
Let n(t) be the first derivative of t**2 + 2*t + 12. Let q(h) = -h - 2. Let p be q(-6). Let j be n(p). Which is bigger: j or 1?
j
Let w = 18 - 18.03. Let h = 0.28 - w. Let t = 0.01 - h. Which is smaller: 1/4 or t?
t
Let o be (14/21)/(4/(-5)). Let j(g) be the first derivative of g**2/2 - 6*g + 3. Let y be j(6). Is o greater than y?
False
Let k be (-14)/(-63) - 106/153. Suppose 5*o + 6*o + 11 = 0. Are k and o unequal?
True
Let w = -406 - -354. Is -52 > w?
False
Suppose -2*l - 3*l = 10. Let k be -1*(1/(-7) - 198/(-651)). Let z = k - 120/217. Is l greater than or equal to z?
False
Suppose -3*w = 2*w + 25, 2*h + 87 = -5*w. Suppose 4*u - 5*u = 30. Which is smaller: u or h?
h
Suppose -m - 23 = -3*b, 0 = 2*b + 2*m + 2*m - 34. Is b greater than 1?
True
Let p(q) = -9*q - 69. Let k be p(-7). Suppose 0 = -b, 0*b = 2*u - 4*b - 20. Let w be (12/u)/((-4)/20). Is k smaller than w?
False
Let g = -65568/85 - -3849/5. Which is smaller: -1 or g?
g
Let v = 1374 + -1390. Let y be (-2)/(-8 - (-1 - 0)). Which is greater: v or