uppose 0 = 3*t - 2*p - 2*p - 71, 0 = t + 3*p - 28. Let o = a + t. Which is smaller: 18 or o?
18
Let h = 0.05 - -31.95. Let x = 34.6 - h. Let a = x + 0.4. Is a at least as big as 0.2?
True
Suppose 0 = 2*u - 274 + 280. Which is greater: u or -60/19?
u
Suppose 8 = b + 13. Let u be (-1)/b - 26/155. Let j(i) = i**3 - 7*i**2 + 10*i + 9. Let s be j(4). Which is greater: s or u?
s
Suppose 3*t - 4 = -4*a, -a = 5*t - 2*a - 45. Suppose -t*f + 3*f = -160. Let n be (-4)/6 + f/30. Is n less than -5/4?
False
Let j = -22 - -26. Suppose 0*v - 2*v = j*d + 2, d = -2*v + 4. Is d < 1?
True
Let c = -675 - -283. Which is bigger: c or 2/7?
2/7
Suppose 0 = m + u + 2, 8*m + 8 = 3*m - 4*u. Suppose 0 = -4*p + 4 + 8. Let j be m - (-3 + (0 - p)). Does 1 = j?
False
Let g = 38 + -64. Let t = g + 19. Is 2/7 not equal to t?
True
Let o(c) = c**3 + 7*c**2 + 9*c - 11. Let b be o(-5). Let f(l) be the first derivative of -l**4/4 - 2*l**3 - l**2 - 6*l - 1. Let k be f(b). Is 7 > k?
True
Let f = -53 + 164. Is f less than 110?
False
Let n(d) = 2*d - 2. Let x be n(3). Let s be (-6)/x*80/30. Let j be (-1)/5 - s/10. Are 0 and j unequal?
True
Let p(h) = 45*h**3 + 4*h**2 - 7*h + 1. Let g be p(2). Which is smaller: 364 or g?
g
Suppose 7*p = 8*p - 2*u - 48, -2*p - u + 111 = 0. Do p and 56 have the same value?
False
Suppose 3*a + 462 + 33 = 0. Is a at most -164?
True
Let s be 21/6*736/448. Let c(t) = t**3 - 3*t**2 + 2*t + 1. Let d be c(3). Is s > d?
False
Suppose -4*a + 8 = -4*r, -5*r = 3*a + 2*a + 20. Let o be 8/24*(-27)/14. Which is smaller: o or a?
a
Let r be -20*(-1)/(-63) - (-28)/(-49). Which is bigger: -2 or r?
r
Let n(k) = -4*k**3 - 12*k**2 + k + 23. Let g(p) = 3*p**3 + 11*p**2 - p - 22. Let m(h) = -5*g(h) - 4*n(h). Let b be m(5). Is b <= -27?
True
Suppose 2*u - x = -2*x + 302, 0 = -u - 2*x + 157. Is 149 equal to u?
True
Let g be (1 - 0)/((0 - -2) + -1). Do -9 and g have different values?
True
Let z(h) = h**3 - 9*h**2 + 7*h + 9. Suppose -53*j + 24 = -50*j. Let i be z(j). Are 2 and i unequal?
True
Let w = 1180 + -1181. Do 7/86 and w have different values?
True
Suppose -2*y - 11 = 3*u, -2 = 3*y + u + 4. Is -1/4 >= y?
True
Let l = -80.051 + 0.051. Let y = -82 - l. Are y and -8 nonequal?
True
Let i(f) = -f**2 - 2*f + 9. Suppose -24 = a - 4*c, -2*a + a - c = -1. Let r be i(a). Which is greater: r or 0?
r
Let a = 101 - 53. Let w = -16 + a. Let t = 18 - w. Is t equal to -12?
False
Suppose 6 = -3*x + 15. Let i be (-60)/(-180) + 11/3. Which is greater: i or x?
i
Let p be (31 - 2)*(-6 + 3 + 2). Do p and -31 have the same value?
False
Let d = -222.1 - -222. Let k be ((-32)/84)/(2/39). Which is smaller: k or d?
k
Suppose -15 = 3*u, 0 = 5*k - 2*u - 2*u + 20. Let l = 12 + k. Let d be (l/6)/(2/(-24)). Which is smaller: d or -9?
-9
Let x be (-2)/6 + (-2)/3. Let t = -2/51 + 1/1326. Which is greater: t or x?
t
Let q = -28 - -49. Let c be q/((-29)/2 - -1). Let l = 73/18 + c. Is 4 > l?
True
Suppose 2*u + 2*u = 60. Let l(a) = -a**3 + 14*a**2 + 14*a + 20. Let v be l(u). Suppose 5 = -4*n - v*t - 19, -3*n = 4*t + 19. Which is smaller: 2/27 or n?
n
Let j be 9968/80 + 0 + -2. Let a = 122 - j. Let c(d) = d**3 + 6*d**2 + d + 1. Let f be c(-6). Which is greater: f or a?
a
Suppose 0 = -5*n + 10, n - 7 = 3*f - 4*n. Suppose q = 2 + f. Is 3 less than q?
False
Let t(b) = b**2 + 8*b + 7. Let k be t(-7). Suppose 4*x - 1 - 7 = k. Which is smaller: x or 8/15?
8/15
Let t = -40 - -39.44. Let a = 0.522 + t. Is a greater than 0.1?
False
Let v = -42.20436 - -0.01436. Let y = -42 - v. Which is smaller: y or 0.1?
0.1
Suppose 83 = 5*z - 2. Suppose -4*b + z - 81 = 0. Is b >= -14?
False
Let l = 0.017 + 0.183. Let d = 0 - -0.7. Let c = 0.3 + d. Which is bigger: c or l?
c
Let m(a) = a - 6. Let i(f) = 2*f - 3. Let g be i(4). Let z be m(g). Let u(p) = p**2 - 8*p - 12. Let x be u(9). Which is smaller: x or z?
x
Let y(h) = -3*h - 8. Let b be y(-6). Let a = -915 + 2773/3. Is b less than a?
False
Let t = 0.89 - -2.31. Let d = -10.8 - t. Which is smaller: -0.1 or d?
d
Let h = -5456/5 + 60481/55. Is h less than or equal to 8?
False
Let z = 14 - 20. Is -11 not equal to z?
True
Let u be 12/(-9) + (-2 - (-57)/9). Let d(m) = -m**3 - m + 2. Let y be d(0). Which is smaller: y or u?
y
Suppose -17*l = 6*l - 759. Are l and 37 nonequal?
True
Let i(q) = q**2 - 3*q. Let l be i(3). Suppose 11 = 2*k + 3*u, 5*k - 2*u + 3 = 2*k. Let d be (k/(-2))/((-9)/18). Which is bigger: d or l?
d
Let i be -8 - -3 - -4 - (-3 - -41). Which is greater: 14 or i?
14
Suppose 173 = -j - 354. Is -528 less than j?
True
Let n = -8 - -3.25. Let b = n + 5. Let u = b - 0.45. Which is bigger: u or -3/7?
u
Let w be (32/(-12))/(4/(-6)). Suppose b + 3*u = -0*b - 31, 3*b - w*u = -80. Which is bigger: -27 or b?
-27
Let s be ((-4)/10)/((-52)/65). Which is smaller: -1/45 or s?
-1/45
Let w be (0/3)/(-1 + 0). Suppose -2*o - 4*d = -3*o - 14, -3*o - 5*d + 26 = w. Suppose -c = o*c + 15. Which is smaller: c or -3?
c
Suppose 21 + 27 = 4*t. Suppose -c + t = 9. Suppose -4*z - w - c = -6*z, -3*z + 10 = 4*w. Is 12 at most z?
False
Let d be (-4)/18 + 9070/(-90). Is -101 greater than or equal to d?
True
Let t(s) = -9*s - 9. Let q be t(4). Suppose 0*h = -2*h + 3*a - 6, -5*h + 2*a - 15 = 0. Let o be 9/h - 141/q. Is o at least 0?
True
Let h be (-5)/(15/(-309)) + 3. Let c be h/7 - (-4)/(-28). Is 15 > c?
False
Suppose -5*m + 5*q + 24 - 4 = 0, -m = 3*q - 4. Suppose -m*x - 12 = 12. Let s be 2/x + (-98)/12. Which is smaller: s or -9?
-9
Let q = 259320427/136510 - 97/12410. Let m = q + -1898. Which is smaller: m or 1?
1
Suppose -b - 9 - 1 = 5*s, 5*b - 40 = 5*s. Suppose b*a + 5 = 15. Let q be (a/(-4))/(16/12). Which is smaller: q or 1?
q
Let a(l) = l**2 + 2*l - 8. Let b(t) = -2*t + 2. Let o(y) = a(y) + 2*b(y). Suppose 0 = 3*z - 2*z - 3*r + 3, 0 = -z + r + 1. Let q be o(z). Is q >= 3/17?
False
Let t = -937 + 44037/47. Let z = 773 - 773. Which is bigger: t or z?
z
Let z = -5/148 + 5077/1332. Which is smaller: z or 3?
3
Let h = 0.21 + -1.21. Let d(f) = f**2 - 6*f + 6. Let g be d(2). Are h and g equal?
False
Let t be -2*4 - (0 + 2). Let b be t/(-14) + (-22)/(-77). Let p = 19/18 + -1. Is p bigger than b?
False
Let p = -0.325 + 83.325. Is p <= -2/5?
False
Let n = -35/187 + -3/17. Let h(s) = s**2 + 6*s - 5. Let v be h(-7). Suppose 7 = 5*r - v*c, 3*r - c + 2*c = 2. Which is bigger: r or n?
r
Let z(o) = 2*o**3 + o**2 - o + 1. Let c be z(-2). Is c > -14?
True
Let y(m) = 32*m + 24. Let s be y(3). Let x = s + -119. Which is smaller: 0.069 or x?
0.069
Let d be (8/(-6) - 0)*(-27)/6. Suppose 0 = -0*j - 5*j - d*j. Let i = 0 + 0. Is i > j?
False
Let n = -26.19 - -26.09. Let w = 1 + -5. Let v = 1 + w. Which is greater: v or n?
n
Let b = 12.6 - 6.6. Which is bigger: 14 or b?
14
Let z be 82/42 - 8/28. Let y = 17 - 17. Is y at most z?
True
Let a(o) be the second derivative of -o**5/20 + o**4/4 - o**2/2 - 3*o. Let n be a(2). Let t = 4 - n. Does t = 1/4?
False
Let c = -125087/1062 - -7/1062. Let d = 118 + c. Which is greater: 9 or d?
9
Let m(o) = o**2 + 4*o + 9. Let p be m(-4). Let f be (-14)/63 - (-965)/p. Is 106 at most f?
True
Let d(f) = f + 9. Let v be d(-8). Let n(y) = -10*y - 19. Let p(c) = -10*c - 16. Let t(i) = -6*n(i) + 7*p(i). Let g be t(v). Is g at least -7?
False
Let m = -452 - -453. Let j = -22.17 - -22. Let h = j - -0.03. Is h < m?
True
Let z be (-910)/(-77) - (-6)/33. Suppose l + 4*a - 12 = -0, 4*a - z = 4*l. Is -1/11 at most as big as l?
True
Let n be 10 + 20/(-30)*-57. Is n at least as big as 39?
True
Let k(m) = 654*m**2 + 14*m + 15. Let x be k(-1). Which is smaller: x or 654?
654
Let a be -4 - (-22)/363*(111 + 0). Which is smaller: a or 2?
2
Suppose -72*b + 180 = -52*b. Is 220/23 greater than or equal to b?
True
Let r = -23.323 + 0.323. Which is greater: r or 8?
8
Let n be 126/28 - (-8)/(-2). Let v = 7.07 + 0.18. Let b = v + -7. Are b and n non-equal?
True
Let x(h) be the second derivative of -h**4/12 + 7*h**3/6 - h**2 + h. Let i be x(5). Suppose -3*r = -2*r - i. Is -1 less than r?
True
Let o = 2360/41 + -10513882/182655. Let q = o + -823/4455. Let u = q - -38/351. Which is greater: u or 0?
0
Let n = -587 + 582.3. Which is smaller: -2 or n?
n
Let b = 76 - 57. Suppose -5*k = -2*j - 2*k - b, -3*j - k = 1. Let u be (-34)/24 + 4/(-16). Which is smaller: j or u?
j
Let p be ((-8)/5)/((-2)/10). Let q be ((-3)/(-4))/((-10)