t j be d(-2). Let s(o) = o**3 - 12*o**2 + o - 5. Let a be s(j). Which is greater: a or 5?
a
Let y = -4 - -11. Let k be 0/(2 + -3 + 0). Suppose k = -g + y - 4. Are g and 2 nonequal?
True
Let r be 3*(-4)/(-24)*388. Do 0 and r have different values?
True
Suppose 4*m = -s + 30 - 114, 2*s = -3*m - 63. Which is greater: -103/5 or m?
-103/5
Let j = -1855804/577995 + 250/3503. Let o = -36/11 - j. Is 1 not equal to o?
True
Let q = -334 - -333.7. Which is greater: q or 1?
1
Let k = 2 + -2. Let a = 0.1434 - 0.0134. Which is greater: a or k?
a
Let f = 0.4 + 23.6. Let x = 1.5 - f. Let g = x + 23. Which is bigger: g or -1?
g
Let q be (1/(-2))/((-84)/288*-6). Which is greater: -0.01 or q?
-0.01
Let a(y) = y**2 - 5. Let m be a(2). Is m smaller than 3/80?
True
Suppose 48*l - 20 - 28 = 0. Is l greater than or equal to 1/249?
True
Suppose -4*r + k + 15 = 0, -3*r - r + 9 = k. Suppose -3*i + 24 = r. Are i and 5 nonequal?
True
Let s = 1292589 - 11620463/9. Let a = -1422 + s. Do 3 and a have different values?
True
Let s = -0.9 - -7.9. Let r = s - 16. Which is greater: 1 or r?
1
Let p be ((-16)/(-30))/((-48)/160). Which is smaller: 3 or p?
p
Let u be (-4)/160*5/205*-6. Which is smaller: 1 or u?
u
Let i = -652 - -652. Is i equal to -215?
False
Suppose -6*x = -1356 + 420. Which is smaller: 154 or x?
154
Let m = 1326 + -1481. Which is greater: m or -160?
m
Let p be 6/9*(-9)/6. Let m be 16/(-12) + (1 - p). Is m at least -11?
True
Let w = 197.9 - 198. Which is greater: w or -63?
w
Let z be ((-2)/(-6))/((-8)/(-960)). Is z less than or equal to 38?
False
Suppose -6 = 5*p - p + 3*w, 2*w = -2*p - 2. Suppose 3*m + 5*m + 16 = 0. Which is smaller: p or m?
p
Suppose 10 = 2*o - 46. Which is greater: o or 31?
31
Let f(k) = k**2 + k - 1. Let u be f(2). Suppose x + 0*x - u*g - 36 = 0, -67 = -2*x + 5*g. Is x at most 30?
False
Let v(z) = 4*z**2 - 6 - 9*z - z**2 + 2*z**2 - 6*z**2. Let g be v(-5). Is 13 > g?
False
Suppose 0 = 4*j + 21 - 33. Suppose j*v = -21 - 3. Is -6 less than or equal to v?
False
Suppose 5 = y + 1. Suppose 0 = -y*r + 10 - 6. Let g be (-861)/1470 - (-2)/7. Is r less than g?
False
Let d(w) = -w - 19. Let y be d(-13). Let r = y + 19. Is 14 less than r?
False
Suppose -2*a = -0*j - 3*j - 22, -3*j - 24 = -3*a. Which is greater: j or -48/7?
j
Let q = -3625 + 398753/110. Which is smaller: 1 or q?
q
Let g be 296/(-185) + 3/5. Which is smaller: -9/259 or g?
g
Let w = 5.7 + -1.2. Let b = w - 13. Let v = 8 + b. Is 0 at most as big as v?
False
Let w = 7.4 + 41.6. Let c = -45 + w. Is 0.1 less than or equal to c?
True
Let b(f) = -f**3 + 19*f**2 + 43*f - 10. Let y be b(21). Suppose -11 = -u - 0. Does u = y?
True
Let r(k) = k**3 - 2*k**2 - k - 4. Let a be r(0). Let o be (-3)/(a + 146/38). Which is bigger: o or 2/3?
o
Let g(h) = -6*h - 4. Let o be g(-3). Let f = -9 + o. Suppose -q + 8 = f*y + 28, 4*q + 29 = -3*y. Is y >= -5/3?
False
Suppose -3*c = -8*c. Suppose c = -9*g - 3 - 24. Is -4 at most as big as g?
True
Let f be -1 + (-27)/(-3 - -6). Let c = f + 20. Let t be c/(-4)*(-12)/15. Is 3 bigger than t?
True
Let f = 83 - 77. Which is smaller: f or -31?
-31
Let d(w) = w**3 + 17*w**2 + 20*w + 49. Let r be d(-16). Which is bigger: r or -16?
r
Let u = 0.095 + 1.805. Let p = 41.9 - u. Which is smaller: p or -1?
-1
Let p = -0.5 + -1.1. Let k = -0.6 - p. Are 0.04 and k non-equal?
True
Let k(p) = p**3 + 10*p**2 + 3*p - 55. Let g be k(-9). Which is smaller: g or -2/555?
g
Let r = 894 - 621. Let k be ((r/(-9))/(-7))/(2/18). Is k smaller than 40?
True
Let l = -306 + 326. Which is bigger: -2 or l?
l
Let d be 48/46*2 + 0. Let a = d + -315/184. Let n = 238 - 237. Which is smaller: a or n?
a
Let r(g) = -g**3 - 7*g**2 - 16*g - 15. Let x be r(-6). Is x smaller than 357/8?
False
Suppose -5*w + 2*v + 2*v = 172, -w - 29 = v. Let x = w + 26. Which is smaller: x or -19/3?
-19/3
Let d(s) = -s**2 + 9*s - 2. Let g be d(4). Let t be 5/(-2)*(324/(-27) - (-4 - 0)). Is g != t?
True
Let b = 667/17 + -39. Let v = 18.63 - 18.63. Is v at least as big as b?
False
Let m be 8 - (-6)/((-10)/5). Let h = 0.6 - -3.4. Which is bigger: h or m?
m
Let s = -0.1 + 2.8. Let o = 2.6 - s. Which is bigger: -3/2 or o?
o
Suppose -p - 7 = o, 2*o - 5*o - p = 11. Let t be 0/o + 6/(-117). Do t and 0 have the same value?
False
Suppose 0 = 2*w + w. Suppose w = 5*s - 20, 5*h + 8*s = 3*s + 20. Let i(a) = -a**3 + 9*a**2 - 18*a. Let v be i(6). Do v and h have different values?
False
Let b = -1.52 - -1.7. Let i = 13.82 + b. Let k = -13.9 + i. Which is smaller: 1 or k?
k
Let y(k) = 3*k**2 - 4*k**2 + 2 - 2*k**3 + 3*k**3. Let c be y(0). Let o be 3/(-9) - (-17)/15. Is o less than c?
True
Let d = 323 + -322. Is d smaller than 75?
True
Let g = 44 - 35. Let i be (22 - 21)*(-1)/g. Does 1 = i?
False
Suppose -9*m + 8*m + 136 = 0. Is m greater than 139?
False
Let l = -44 - -38. Let s(u) = u**3 + 2*u**2 + 3*u + 8. Let p be s(-2). Which is smaller: p or l?
l
Let p = 9733/30 + -1518/5. Which is smaller: 21 or p?
p
Let o = 509/2 + -11715/46. Is -0.3 less than o?
True
Suppose c + 4*u - 26 = -2*c, -2*c + 14 = u. Suppose -10 = -k + c*k. Let y be (k + -2 - -3)/(-3). Are y and -1/4 non-equal?
True
Suppose -4*l + 361 = -1015. Let b be 2/(-8) - l/32. Suppose -31 = 4*v - 3*h, -2 = -5*h - 17. Is b less than v?
True
Let n be ((-7)/((-56)/10))/((-2)/8). Let z(u) = -u**3 - 7*u**2 - 7*u + 1. Let a be z(n). Are -14 and a equal?
True
Let q be -4 + 6/2*-1. Let v = 0 - -4. Suppose i + 4 = -v. Are q and i non-equal?
True
Let g be (-3)/((-6)/(-8))*(-12 - 0). Let d be 63/g - 0/1. Are d and 0 equal?
False
Let l be (-720012)/2052 - 2/9. Let h = 351 + l. Is 1 < h?
False
Let q(s) = s**3 + 12*s**2 + 11*s - 8. Let j be q(-11). Let b be 5*j/(-60)*-3. Let i be 1/b + (-25)/(-10). Is 2 at least i?
True
Let k = 0 - 5. Let y = -4.87 - k. Let z = y - 0.03. Which is smaller: z or -0.1?
-0.1
Let j be 12/(-4) - (4 - 41). Suppose b + 4*b - j = -3*f, -4*b = 2*f - 26. Suppose 2 + 1 = -f*r. Is r != 1/19?
True
Suppose 2543 = -6*a + 551. Let i be 2 + -3 - 452/a. Let n = i - 828/913. Which is smaller: -2 or n?
-2
Suppose a - 15 = -2*a. Let r(c) = c**2 + 3*c + 4. Let q be -7 - (-5 - (2 - 3)). Let b be r(q). Is b less than or equal to a?
True
Let q = -148 - -93.5. Let i = q + 54. Which is smaller: 0 or i?
i
Let f = 0.1286 - 0.0886. Is 1.7 at most f?
False
Let i be 4380/420 - 1*-1. Which is greater: i or 12?
12
Suppose 4*x = 30 + 22. Let k(z) = -z**2 - 7*z + 7. Let b be k(-6). Is x >= b?
True
Let o(y) = -2*y**3 + 21*y**2 - 8*y - 15. Let t be o(10). Suppose -4 = z + 1, t*z = 2*q + 21. Are -73/3 and q equal?
False
Suppose -5*n - 20 = 2*m, -m + 12 = -0*m - 3*n. Let o be (16/8)/(-2 + m). Let k = 141/5 + -28. Which is bigger: o or k?
k
Let q = 0.197 + -0.095. Let b = q + 13.898. Which is smaller: -2 or b?
-2
Let w be ((-2)/28)/((-2)/(-12)). Let z(m) = 52 + m**2 + 10*m - 52. Let q be z(-10). Is w greater than or equal to q?
False
Let r = -66.12 - -47. Let m = r + 19. Which is greater: -1/4 or m?
m
Let m be 6/(-20)*(-4)/6. Let q = -7 - 0. Let b be (-14)/49 + 5/q. Which is greater: b or m?
m
Let b be (36/16 - 3)*84/18. Which is bigger: 0.08 or b?
0.08
Let q(n) = n**3 - 4*n**2 - 6*n + 7. Let u be q(5). Let c(x) be the second derivative of -x**3/2 + 41*x**2/2 - 7*x. Let z be c(13). Is z bigger than u?
False
Let d = -1402 - -1408. Which is bigger: d or 94/13?
94/13
Let n(y) = -4*y**3 + 2*y**2 + 2*y - 2. Let c = -24 + 6. Let h = c - -20. Let p be n(h). Which is smaller: p or -21?
p
Let v(g) = g**2 - 15*g - 222. Let i be v(21). Which is bigger: i or -473/5?
-473/5
Let a = -15.33 - -15. Let i = -0.03 - a. Is i less than 2/5?
True
Let x be ((-2160)/(-1800))/(402/10). Let c = 10 + -6. Let m(v) = -v**3 + 3*v**2 + 4*v. Let i be m(c). Which is smaller: x or i?
i
Let v(r) = 16 - 23*r**2 - 1 - 7*r + 43*r**2 - r**3 - 27*r**2. Let s be v(-5). Is 6/83 at least as big as s?
True
Let w be 1*-15*(-20)/30. Let h(l) = l**2 - 6*l + 2. Let r be h(6). Suppose -r*v = -4, -4*i - 2*v = -v - w. Is 3 >= i?
True
Suppose 1660 = -48*f + 28*f. Is f less than or equal to -4?
True
Let j = 1250.7 + -1263. Is j <= 0.1?
True
Suppose -44*g = -35*g - 1674. Let f = -563/3 + g. Let a be (-1)/((-2)/(-4)) + -1. Which is smaller: f or a?
a
Let f = -1934 + 218538/113. Is f >= 0?
False
Let t = 368 + -367.9. Which is greater: -96 or t?
t
Let u be (-2107)/112