) = -5*x**3 - x**2 - 2*x - 4. Let s(j) = 2*a(j) + 3*f(j). Let v be s(3). Is 16 less than or equal to v?
True
Suppose 3*m + 2*r - 16 = 0, -r + 29 = 2*m + 4*r. Let i be 10/(-2 + (28/8 - m)). Let x be -2 + 1 - (20 + -2). Is i <= x?
True
Let z = 12776/227547 - 11/193. Which is greater: 1 or z?
1
Let n(p) = 2*p - 56. Let c be n(32). Suppose -3*o + 0 = -5*q + 47, 4*o = 2*q - 44. Let h = o + c. Which is bigger: h or 1/66?
1/66
Let x(g) = g**3 + 18*g**2 - 23*g + 35. Suppose -55*k - 171 = -46*k. Let i be x(k). Do 2/9 and i have different values?
True
Suppose 5*m - 3*m = -152. Suppose -20*h = 2*b - 15*h + 168, 3*h - 728 = 10*b. Are b and m nonequal?
True
Suppose 14*g + 5*l - 860 = 11*g, 1392 = 5*g - 2*l. Which is greater: g or 842/3?
842/3
Let x be (1616/(-1010))/((-28)/(-10) - 0). Let w = -19 - -18. Which is greater: x or w?
x
Suppose 4 - 10 = 3*h, 4*d - 2*h - 104 = 0. Suppose 8 - 3 = j, -4*u = 5*j - d. Suppose u = m - 12 + 11. Is m < 2?
True
Let n(c) = 8*c**3 - 3*c + 2. Let s be -1*1 - (8 - 10). Let y be n(s). Let g = -12 + 17. Which is bigger: g or y?
y
Let b be 0 + -6 + 0/1 + (-60889)/(-10148). Is b smaller than -1?
False
Let q(y) = 5*y**2 - 5*y**2 + 0*y**2 - y**2 + 1. Let j be q(-1). Let g = 0.068 - 6.068. Is j bigger than g?
True
Let o = -2.9088 - -2.7548. Which is bigger: 0.41 or o?
0.41
Let m(h) = -h**3 + 34*h**2 - 28*h - 45. Let q be m(33). Let a be ((-45)/q - (-1114)/3056)/1. Are a and -1 nonequal?
True
Suppose -3*y - 22 = -0*y + 2*x, 5*y + 40 = -4*x. Is y at most as big as -56?
False
Let h(c) = 3*c**2 + 4*c - 1. Let v be h(-6). Let m = v + -582/7. Suppose -3*q + 2*n + 6 = 0, -5*n - 2 = -5*q + 13. Is m != q?
True
Let w(a) = a**3 + 18*a**2 + 56*a + 166. Let b be w(-15). Which is smaller: b or 1/1407?
1/1407
Let g(u) = u**3 - 11*u**2 - 16*u - 128. Let j be g(13). Which is greater: 52/43 or j?
j
Let g = 502.1 + -502. Let o = 38.935 - -0.065. Which is smaller: g or o?
g
Suppose 158*g = 150*g + 2672. Let c = g + -249. Which is smaller: c or 1?
1
Let x(j) = -j**3 - 13*j**2 - 4*j + 23. Suppose -3*i - 35 = -2*y, 0 = 2*i + 3*y + 8 - 2. Let h be x(i). Which is greater: -266 or h?
h
Suppose 3*t = 5*t. Let g be (-2 + 5/10)/(3/(-174)). Let d = 89 - g. Which is greater: t or d?
d
Let b be 6/18 - (-56)/(-78). Suppose -5*k = -k. Suppose 2*y - 4*y = k. Which is smaller: b or y?
b
Let h be (-8)/(-22)*42/60. Let d be (56 - 51)/((-10)/2). Is d less than h?
True
Let q = 7432/105 - 1066/15. Let h be (-3)/465*(350/(-4))/(-7). Is q less than h?
True
Let b be 27*35 - (-7 + -5 + (16 - 8)). Which is smaller: 950 or b?
b
Let g be -1 - 3 - -13 - 6. Let q(h) = -2*h**3 + 5*h**2 + 5*h - 6. Let r be q(g). Which is smaller: 1/2 or r?
r
Let y = -15982084 + 463532804/29. Let s = -1806 + y. Is -1/3 > s?
False
Suppose i - 61 = -4*r + 237, 1556 = 5*i - 2*r. Suppose 0 = 7*b - i + 1276. Is -138 smaller than b?
False
Let r(b) be the second derivative of -5*b**3/6 - 2*b**2 - 12*b. Let i be r(0). Let j be (-5 + 155/30)/(1/i). Is j less than -0.4?
True
Let d = 2 + -3. Let l = 1.82 + -7.29. Let x = l + 8.77. Which is greater: d or x?
x
Let v be ((-10)/264)/(2/3). Let w be (850/(-60) - -14)*42/7. Is w equal to v?
False
Let n = -199/4 + -67/4. Let r = -66 - n. Is 168 at least as big as r?
True
Let n(m) be the first derivative of -11*m**2/2 + 19*m + 85. Let z be n(-2). Which is smaller: z or 42?
z
Let z(p) = p**3 - 24*p**2 + 66*p - 22. Let n be z(21). Which is greater: n or 42?
42
Let k be -5 + (-9)/(9/(-2)). Let c be 4/(0 - -4) - (-3)/k. Which is smaller: c or -1/134?
-1/134
Let w(q) = q**3 + 4*q**2 - 41*q + 8. Let l be w(-7). Which is smaller: l or 149?
l
Let r be 42/147 + -13*9/(-7). Suppose r = 4*v + 1. Let g be (20/4 + -3)*v. Is 7 <= g?
True
Let h be (2/(-3))/(1/(-21)). Let i be 4/h - (-25)/35. Let t be (-9)/(-15) + 89/(-115). Does i = t?
False
Suppose -13*r - 21*r + 28728 = 118*r. Which is smaller: r or 180?
180
Let s(z) = -12*z - 2. Let i(f) = f - 21. Let p be i(13). Let y(h) = -h - 8. Let a be y(p). Let n be s(a). Which is smaller: n or -1/2?
n
Let j = -23396 + 23395. Let o = 11234422/2803 - 4008. Which is smaller: j or o?
j
Suppose 2*m = 4*m + 5*u - 3474, -3*m = -u - 5177. Suppose 0 = 7*i + m + 1871. Which is smaller: -515 or i?
-515
Let s = -11.774 - -0.174. Let d = -10 - s. Are d and 4/7 unequal?
True
Suppose -5*o = 2*m + 86, -3*o - 33 = m + 11. Let u = -395 - -357. Let k = m - u. Is 1/4 less than k?
False
Let n(h) = -h**3 - 2*h**2 + 17*h + 10. Let r be n(-5). Let u be (2 - (-1 + (-129)/4)) + r. Which is bigger: 35 or u?
u
Suppose -96 = 91*h - 95*h. Let g be (102/10)/(8/20). Let q = g - h. Is 1 bigger than q?
False
Let f = -1052 - -1269. Is f < -4?
False
Let f = 23 - 24.1. Suppose 0 = -9*o + 225 - 63. Suppose -3*b - 4*c + 10 = 0, -3*b + o = 4*c + 2*c. Which is smaller: b or f?
b
Let k(s) = -s**3 + s**2 - s + 183. Let f be k(0). Let h = f + -550/3. Which is bigger: 71/2 or h?
71/2
Let r = -141 + 57. Suppose 10*s + 38 = 5*a + 11*s, 0 = -3*s + 9. Let x be (2/(-92))/(a/r). Is -1 at most as big as x?
True
Suppose -5*r + 6*f = -7, 1 = -3*f - 5. Is r smaller than -2/21?
True
Let i = 314763 - 314840. Let n = -103 + 24. Which is bigger: i or n?
i
Let j be (15/(-9))/(10/(-12)). Let i be j + 2 - 9/(-27)*-12. Let s = 323/252 - 2/63. Is s not equal to i?
True
Let a(x) = 2*x**3 - 31*x**2 - 15*x - 16. Let q(l) = 5*l + 46. Let s be q(-6). Let z be a(s). Let c be 3/(-12) - (2122/(-936) + 2). Which is greater: z or c?
c
Let a be 4 + (-2)/(-39)*-51. Suppose 0 = 5*r + 3*n + 529 - 523, -5*n - 10 = -5*r. Is a smaller than r?
False
Suppose 5*b = -4*v + 3*b + 16, 5*v - 6 = b. Let x be 9/v*(-8)/(-6). Let j be x/10 - (5 + (-115)/25). Is -2 > j?
False
Let n = -31103.14 + 31103. Are -376 and n unequal?
True
Let y = -72.052 - -72. Which is bigger: y or -5/4?
y
Suppose -9*c + 3*c + 1470 = 0. Let j = -231 + c. Is j at least 16?
False
Let s be 6 - ((-37)/(-9))/((-80)/(-192)). Is -3 less than or equal to s?
False
Let z(i) = -i**3 + 11*i**2 - 2*i + 6. Let h be z(2). Is 694/19 smaller than h?
True
Let z be 1871/9 + (12 - 19). Is 200 > z?
False
Let u = -0.137 + -0.263. Let v = -2.4 - u. Is v != -23?
True
Let b = 2.8 + -1.85. Let s = b + 0.69. Let h = s - -0.36. Which is smaller: 4 or h?
h
Let l = 5534 + -5464. Which is smaller: l or 1200/17?
l
Let p = 2274 - 2221. Which is smaller: p or 44?
44
Let u(k) = -3*k**3 + 36*k**2 + 33*k - 4. Let p be u(10). Is p <= 925?
False
Let p(r) = -24*r**2 - 444*r - 2230. Let w be p(-5). Are w and -627 equal?
False
Let t = 957.23 - -13.77. Is -0.01 less than or equal to t?
True
Let f be (-49)/((-833)/1768) - 2*5/(-2). Which is greater: -22 or f?
f
Let w = -686 - -463. Let q = w + 232. Let m be (-575)/(-70) + (-2)/(-7). Which is greater: q or m?
q
Let x(w) = -58*w - 950. Let o be x(-4). Is o greater than or equal to -718?
True
Let z(n) = n**3 - 3*n**2 + 45. Let u be z(0). Suppose u = 7*m - 60. Is 16 > m?
True
Let h be (-28)/140*27923/14. Are -400 and h equal?
False
Let j = -11898 - -34879/3. Let v = j + 265. Let m = -1389 + 1381. Is v not equal to m?
True
Suppose -31 = -3*q + 4*j, 2*q - 41 = -3*j - 9. Suppose s + 214 = 3*z, -4*s + 194 = -5*z + 8*z. Suppose -19*v - q = -z. Is v at most as big as 9/5?
False
Suppose -7*z + 89 = 264. Let l(b) = -b**3 - 26*b**2 - 25*b - 36. Let w be l(z). Which is smaller: w or -2/3?
w
Let x = 1925.7 + -1926.03. Let k = 0.1 - -0.9. Let b = -2 + k. Are x and b equal?
False
Let f(a) = a**2 + 15*a + 39. Let t be f(-11). Let q be -6 + 3 + (-191)/t. Which is smaller: q or 36?
q
Let q = -0.27 + -0.2. Let v = 0.53 - q. Which is greater: 69 or v?
69
Let o = -6.7 + 6.538. Let d = -132.162 - o. Let c = -131.9 - d. Which is bigger: c or 23?
23
Let h(o) = 4*o - 175. Let x(y) = -y + 58. Let l(c) = -2*h(c) - 7*x(c). Suppose -2*t = m + 18, 6 = -4*t - 3*m - 26. Let n be l(t). Are -45 and n equal?
True
Let o = -86/3 + 3520/123. Let q = 33 - 115. Let h = -81 - q. Which is smaller: h or o?
o
Let j(n) = n**2 - 58*n - 58*n - 60*n + 190*n - 16. Suppose 0*y + 4*b - 40 = 4*y, -54 = 5*y - 3*b. Let r be j(y). Are r and -40 non-equal?
False
Let o = 16043 - 304823/19. Let j(a) = -2*a + 1. Let s be j(-1). Suppose 1 + s = 4*f. Which is smaller: o or f?
o
Let r(a) = -51*a - 49. Let y be r(-1). Suppose -y = 4*t + 3*l, 2*t - 2*l = -3*t + 9. Which is bigger: t or -1/74?
t
Let v = -42/1