 3*u - j. Is q greater than b?
False
Let r = 141.97 - 0.97. Which is bigger: r or 0?
r
Let t = -2236 + 2238. Suppose 4*a + 3*v = 31, 4 = v - 1. Which is bigger: t or a?
a
Let o = 2 + 9. Let j = o - 14. Suppose -5*s - 5 + 3 = y, 5*y - 18 = 3*s. Is j < s?
True
Let a = -272 - -272. Is a bigger than -3/43?
True
Let m(k) = 0*k - 11*k**3 + 9*k**3 + k. Let s be m(-1). Let z(h) = 7*h**3 + 2*h**2 - 3*h + 2. Let b be z(s). Is b not equal to 6?
True
Let i(u) = -u - 3. Let z be i(-7). Suppose 46 = 5*s - 3*r, -2 - 4 = 3*r. Let a = s - 3. Is z at most a?
True
Let b be 24/28 + (-272)/252. Which is greater: b or 838?
838
Let q = 316 + -546. Which is greater: -229 or q?
-229
Let o(t) = -t**3 + 5*t**2 - 2*t + 2. Let l be o(4). Suppose -4*p + l = -2*p. Suppose 0*j + 5 = -p*j. Which is smaller: j or 2/7?
j
Let z = -20 + 44. Let p be (2 + 10/(-4))*(-18 - 32). Which is smaller: z or p?
z
Let c(a) = -a**3 - 8*a**2 + a + 5. Suppose 0 = z - 4 + 12. Let q be c(z). Let p be 3 + -5 + (-2)/(-4). Is p > q?
True
Let t be 14/21 - (-4)/(-6). Suppose t*l - 5 = -3*l + k, 15 = 5*l - 3*k. Let p be (1 + l)*4/(-8). Is 2 smaller than p?
False
Let u = -15.9 - -16. Let g = u - -1.9. Let d = g + -1.9. Are d and -9/2 equal?
False
Suppose 7*h = 9*h. Let w = h - -3/13. Is 0.2 less than w?
True
Let v(a) = -a**3 + 19*a**2 + 17*a + 41. Let o be v(20). Which is smaller: o or -21?
-21
Let c be -3*(-4)/54*9. Let w be (5/10)/(c/(-4)). Let u be (11/5)/(-2 - -1). Is u equal to w?
False
Let t(o) = o**3 + 4*o**2 + o + 29. Let k be t(-5). Suppose -l - 63 = 3*y + 2*l, 0 = -2*y - 5*l - 42. Let j be (4/y)/((-20)/30). Which is smaller: k or j?
k
Let p be (-6 - (-1 - 0))/1. Let u be p/(-14 - -4)*-72. Is u not equal to -37?
True
Let h = 5.2 + -4.9. Which is greater: 4.4 or h?
4.4
Suppose 4*x + 246 = 250. Let d be 1/7*(-28)/48. Is x less than or equal to d?
False
Let g(b) = b**3 - 12*b**2 + 2*b + 34. Let h be g(13). Is 227 at least as big as h?
False
Let m = 14 + -11. Suppose 2 - m = -s. Let i be ((-6)/14)/((-3)/2). Is i at least as big as s?
False
Suppose -u = 4 - 1. Suppose 4*o = -20 + 64. Suppose -4*t - o = -x, t = 5*x - 3*t + 9. Is x at most as big as u?
True
Suppose -4*q - 3 = -39. Let h(n) = -n**2 + 10*n - 9. Let z be h(q). Let a be 9/11 - (0 + 1). Which is smaller: z or a?
a
Let m(g) = 6*g + 62. Let t be m(-9). Which is smaller: t or 1?
1
Let x = 159 + -153. Which is greater: x or 0.21?
x
Let u be (22/(-66))/(2/18) - -5. Suppose -3*p - 5 = 4. Which is smaller: p or u?
p
Let d be (4 - 5)*(-5 - (-30)/6). Let u = -29/156 + 1/52. Which is bigger: u or d?
d
Suppose 3*f = -6 + 18. Suppose 2*t - f = -w, t + t + 2*w - 2 = 0. Suppose t = -5*g - m, -13 = 5*g - 3*m - 2. Which is greater: g or -5/6?
-5/6
Let n(h) = h + 3. Let j be n(0). Suppose 1 = -i + j. Suppose 4*l = o - 15, i*l - o + 3 = -2. Do -4 and l have different values?
True
Let f(q) = -q**2 - 29*q + 9. Let x be f(-29). Let v = 8 - x. Do 0 and v have different values?
True
Let h = -61.3 + 61.1. Do -85/3 and h have different values?
True
Let k = 11306 - 11342. Let o be (-38 - -1)/(-1 + 2). Does k = o?
False
Let j be 2 + (9/(-18) - 14/(-4)). Let p = 4.9 - 1.2. Let o = 4 - p. Which is greater: j or o?
j
Let l = 1/7 + -13/140. Suppose 0 = 6*n + 6 - 6. Is n at least l?
False
Suppose -4*p - 2*d - 148 = 0, 10 - 12 = d. Which is greater: p or -39?
p
Suppose -3*c + 5*d + 3 + 8 = 0, 5*c - 5*d - 25 = 0. Let f = 57 + -59. Do f and c have different values?
True
Let m = 1183/135 - 44/5. Let j(a) = -a**3 - 3*a**2 + 5*a + 4. Let v be j(-4). Is m not equal to v?
True
Suppose 0 = 2*p + 5*h + 3, 0 = p - 4*h - 5. Let j be (-4 + 2)*5*p. Is -10 < j?
False
Let w(m) = -6*m - 31. Let d be w(-6). Let g be (-138)/(-33) - (-1 + d). Is 1 less than or equal to g?
False
Let r = -36 + 33. Let i be -1 + 1 - (-2)/r. Are -1 and i nonequal?
True
Let v = 1.42 + -1.26. Let s = v - 0.26. Is 2/13 smaller than s?
False
Let n(z) = -2*z - 5. Let s be n(6). Suppose 35 = 2*k + 3*m, -k - 63 = -4*k - m. Suppose 24*u - k*u = -36. Which is smaller: s or u?
u
Let a = -3/6040 - -2033/1661000. Which is smaller: -1 or a?
-1
Let d = 333.9769 + 0.0231. Let y = 355.1 - d. Let h = 21 - y. Is h smaller than -1?
False
Suppose 2480 = 32*p - 3504. Which is smaller: p or 188?
p
Let c = -279 - -476. Is -1/2 < c?
True
Suppose 2*p - 5*g - 88 - 15 = 0, -5 = 5*g. Is 51 > p?
True
Suppose j + v - 4 = -5, 5*j - 45 = 5*v. Let o be (-2)/1 - (0 - 3). Which is greater: j or o?
j
Let x = 11.43 - 12.64. Which is smaller: x or 0?
x
Let z = -3977 - -20157/5. Let c = z - 54. Is -34/3 >= c?
False
Let y be (-90)/225 - (-359)/35. Is y at least as big as 9?
True
Let o(w) = w**3 - 8*w**2 - 2*w + 17. Let v be o(9). Let i be v/(-35) + 0 + 2 + 0. Which is smaller: i or 2.8?
i
Let u(c) = -c**3 - 11*c**2 - 12*c - 4. Let p be u(-9). Suppose -114 = 3*x + 60. Is x less than p?
False
Let t(a) = 2*a. Let v be 1/(1/124*4). Let d = -31 + v. Let u be t(d). Is u less than 0?
False
Let c = 7.3 - 7. Let z = 2.3 - c. Is 0 bigger than z?
False
Let f(g) be the second derivative of -g**3/6 - 5*g**2/2 - 2*g. Let u be f(-4). Let z = -1022 - -1020. Is z bigger than u?
False
Let i = 45 + -9. Suppose -2*l = 4*r - 22, 3*r - 8 = 4*l + i. Are r and -1/2 unequal?
True
Let a = -9 + 12. Suppose -w = -3*w + 10. Suppose w*h - 3 = 4*h. Is a > h?
False
Let d be (-10)/(-55) - 57/11. Let r be 6/(-1) + 0/(-2). Let c = d - r. Which is smaller: c or 2/3?
2/3
Let w be ((-8)/10)/(22/(-3740)). Does 136 = w?
True
Let j = 27 - 14. Suppose -y = -2*b - j, -38 - 21 = -4*y + b. Let z be (6/y)/((-2)/10). Are z and -3 unequal?
True
Let x = 2 - 14. Let d = -30 - x. Let r = d + 18.07. Which is bigger: 1 or r?
1
Let u be -6 - (2 - (-335)/(-2)). Is u not equal to 159?
True
Suppose -266 = -49*a - 952. Is a greater than or equal to 0.05?
False
Let u = 0.083 - -0.077. Let c = u - 2.76. Is 0.1 not equal to c?
True
Suppose 0 = -2*o + 4*o - 12. Suppose 2*b + 5*b - 28 = 0. Suppose b*r + 2*z - 3*z = 28, 0 = 4*z + 16. Is o < r?
False
Let j = 17 + -15. Let m be 2/(-11) - j/(-11). Is 1 < m?
False
Suppose -2*f + 10 + 10 = -2*s, 2*s + 8 = 0. Suppose 736*y = 740*y. Suppose y = f*h - h. Which is smaller: h or 1?
h
Let p = -357 + 378. Which is bigger: 10 or p?
p
Let f = -1091 - -1092. Is f != 3/640?
True
Let x be ((-3)/45)/((-24)/20). Suppose -2*k + 3*i + 15 = 0, -3*k - i - 15 = 2*i. Which is greater: k or x?
x
Let t(o) = 294*o + 4. Let s be t(-1). Which is smaller: -289 or s?
s
Let i = 7727/52865 + -14/97. Do -1 and i have different values?
True
Let h = 30.963 + 0.037. Let f = h - 27. Which is smaller: f or 2/7?
2/7
Let i be (-4 - (-5 + -1)) + 1 + -2. Are 3/2 and i nonequal?
True
Let j = 477 - 477.049. Is 2/17 at most j?
False
Let z be -3*102/432 - (-9)/24. Which is smaller: 0 or z?
z
Let q be (5536/(-80))/((-8)/(-20)). Is q at most as big as -171?
True
Suppose 0 = -2*o - o - 3. Suppose 0 = 5*i + 143 - 53. Let u be (-65)/76 - i/24. Is u < o?
False
Let g = 103 + -105.7. Is 0.2 at most g?
False
Suppose -766 = -4*s - 3*i + 4*i, -4*s + 760 = -4*i. Is s >= 381/2?
True
Suppose 0*d - 2*d = -5*y + 53, -3*d - 52 = -5*y. Let l = 2294 - 2281. Which is greater: y or l?
l
Let x = 9 + -7. Let s = x - 9. Let n = 15 + -15. Is n less than s?
False
Let k = 53773.034 - 53823. Let r = 50 + k. Do -1 and r have the same value?
False
Let z(g) = g**2 - 5*g - 2. Let x be z(0). Is -42/43 greater than or equal to x?
True
Let w be (-11 + 1)/((4/71)/(-2)). Do 355 and w have the same value?
True
Let x = -1231 - -1. Which is bigger: x or 1/2?
1/2
Let o(h) be the first derivative of h**3/3 + 4*h**2 + 17*h - 13. Let u be o(-9). Suppose 25*z = u*z. Which is bigger: z or -2/9?
z
Let t be -1 + (1 + -5)/4. Let c be t + 2 + (-8)/(-2). Suppose c*l + l - 3*m = 8, -5*l - 4*m = -1. Is -4/13 at least l?
False
Let p be 7/(-63) + 66/108. Let i = 2/107 + -304/4815. Is p equal to i?
False
Let z be (-12)/(-8) - 456/112. Is -3 at least z?
False
Suppose -2*q + 12*q = -1040. Which is smaller: q or -103?
q
Suppose 5*x - y + 15 = 91, -4*x - y = -68. Let w be 2*41*(-2)/(-10). Let i = w - x. Which is bigger: -1 or i?
i
Suppose 11*n = 9*n - 4. Which is smaller: -58 or n?
-58
Let u(j) = j**2 + 13*j + 11. Let q be 2*(130/4)/(-5). Let z be u(q). Suppose -6*f = -z*f. Which is greater: 0.3 or f?
0.3
Let g be 30*(5/(-10))/(6/(-4)). Suppose -2*v = 3*h + 109, 1