et k(y) = -y**3 - 21*y**2 + 32*y + 72. Let j be k(-22). Is j smaller than -147?
True
Let t(b) = -b**2 - 5*b. Let h be t(-5). Suppose h = q - 4*q + 9. Let i be (q - 2 - 5) + 1. Which is smaller: 0.4 or i?
i
Let d = -1424 - -1299. Are -121 and d equal?
False
Let f = -1371/2387 + 1/341. Let c(b) = b + 6. Let l be c(-6). Is f >= l?
False
Let t be (46*1)/(-2 - -3). Suppose -10 + t = 3*r. Let u(p) = 2*p**2 - 143*p + 2513. Let n be u(41). Is n greater than r?
False
Let r(q) = -q**3 + 27*q**2 - 25*q - 12. Let l be r(26). Suppose 0 = -2*k - 5*k + l. Is 13/8 greater than k?
False
Let p = -2 - -2.04. Let n = -47.94 + 48. Let k = p + n. Which is greater: -2 or k?
k
Let k = -0.41 + 0.7. Let o = 7 + -6.78. Let y = o - k. Is y smaller than -1?
False
Let p be ((-130)/(-40) - 3)/(0 + 1). Which is smaller: p or -7?
-7
Let s = 6.8 + -6. Let y = 0 + s. Let q = -5.8 + y. Do q and 1 have different values?
True
Let g = -38.1 + 94.1. Is -12 less than g?
True
Let f be (-2)/30*5884/12. Let y = f - -314/9. Let o(l) = -l**2 + 22*l - 55. Let t be o(19). Which is bigger: t or y?
y
Let c = -525.71 - -518. Which is greater: -1/4 or c?
-1/4
Let x = -0.2 - -0.1. Suppose 9*g = g - 48. Let f be 3/(-6)*(g - -16). Which is smaller: f or x?
f
Let a be (-2)/(-2)*(9 + -7). Let i be a - (5 + 9/(-3)). Which is smaller: i or 3/5?
i
Suppose -3*t = 4*k + 217, 0 = -2*t + 13 - 3. Let r = k - -31. Let i be (4/(-12))/((-3)/r). Which is smaller: -2 or i?
i
Let r = -388 + 5822/15. Which is bigger: r or 0?
r
Suppose -t - 6 + 2 = 0, i - 5*t - 430 = 0. Which is smaller: 412 or i?
i
Suppose 20 = 2*i - 2. Let j = 6 - 19/3. Is j equal to i?
False
Suppose 3*w - 2*g = 7*w - 120, -4*w - 5*g = -132. Which is bigger: w or 29?
29
Suppose 2*r + s + 43 = 2*s, 94 = -5*r - 2*s. Which is smaller: r or -25?
-25
Let d = 11 + -13. Let z = d + 2.15. Which is smaller: z or 0?
0
Suppose -30*u = -11*u + 19. Let w = -0.56 + 23.56. Which is greater: w or u?
w
Let o(p) = p**2 + 12*p + 7. Let q = -9 - -17. Suppose 3*c = -5*v - 67, -4*c = 4*v - q*c + 28. Let t be o(v). Are t and -5 non-equal?
True
Let l = 61291/25 + -2452. Which is smaller: 0 or l?
l
Suppose 2*a - 4*v = 46, 3*a + 4*v - 2*v = 53. Let r = a - 39/2. Which is bigger: -58 or r?
r
Let m(q) = -q**2 - 18*q + 80. Let u be m(-18). Are u and 82 unequal?
True
Let s = -27.532 + -0.368. Let t = -28 - s. Do t and -2/3 have different values?
True
Suppose 4*j = -5*x, 4*x - 8 = -5*j + 1. Suppose 12*t - 17*t = j. Is -2 > t?
False
Suppose 5*f = -a + 28 - 76, f = 2*a - 14. Let k = f + 17. Are k and 6 non-equal?
True
Suppose -2*v - 16 - 12 = 0. Suppose 0 = -6*a + 14*a + 112. Is v at most as big as a?
True
Let p be (1 + 10 - 3) + -3. Suppose -j - p*b + 151 = -2*b, 0 = 2*j - b - 302. Let v = -758/5 + j. Which is greater: -2 or v?
v
Let v(h) = 3*h - 20. Let p be v(8). Let m be (-57)/(-1)*4/12. Let z = 26 - m. Which is bigger: p or z?
z
Suppose 2*m - 31 = 5*x, 4*x - 5*m = 3*x - 20. Which is smaller: x or -89/14?
-89/14
Let d = -1310 - -677. Which is smaller: -632 or d?
d
Let b = 245 + -725/3. Do b and 3 have different values?
True
Let q = -328 + 2293/7. Which is bigger: q or -9?
q
Let t = 453 - 453. Let s be -2 - -4 - 1 - -2. Suppose -3*o = s*a, 0 = 2*a - 5*o + o + 12. Is t < a?
False
Let n(y) = -y**2 + 5*y. Let m be n(4). Suppose -12 = m*l, 6*u - u = -4*l - 57. Are -9 and u non-equal?
False
Suppose 11 - 7 = -n. Let k be -1*(170/42 + n). Is k at least as big as 1?
False
Let k be -548*3/(-2) + 2/(-2). Is k < 820?
False
Let h = 98 + -94. Let s be (135/(-36) - -4)*h/(-54). Which is greater: s or 1?
1
Suppose -3*c + 3200 + 2173 = -3*q, -4*q = c - 1781. Is 1789 < c?
False
Suppose 4*h - 8*u + 4*u = -8, 3*u = -3*h + 24. Suppose -6 = -h*o, i - 4 = 3*i + 5*o. Which is bigger: 0 or i?
0
Let f = -177 + 169. Which is greater: f or 0.02?
0.02
Let b = 0 - 2. Let u = -241.018 + 243. Let i = 0.018 + u. Is i less than b?
False
Let t(k) = 3*k - 79. Let n be t(9). Which is greater: n or -53?
n
Let i = -0.04 + 0.04. Let s = -0.23 - -0.13. Is i less than or equal to s?
False
Suppose 5*a - 6 = -1. Suppose -2*t + 0*v - 32 = -v, 4*t + v + 76 = 0. Let p be (-4)/t + (-8)/198. Do a and p have the same value?
False
Let b(y) = y**3 + 32*y**2 - 3*y - 91. Let o be b(-32). Let j be (-3)/2 + 2/4. Is o greater than j?
True
Let p(s) = s**2 + 3*s + 2. Let o be p(-2). Suppose 4*r + o*h - 3 = h, -3*r - 9 = -3*h. Let d = -328 + 331. Is d at least as big as r?
True
Let l(u) = u - u + 0*u - 1 - 2*u**2. Let p be l(1). Let j be 8/p*6/(-8). Which is greater: 3/4 or j?
j
Let b be ((-2)/3)/(9/1863). Which is smaller: -140 or b?
-140
Suppose 0 = -3*b - v - 20, 8 = 4*v - 8. Let l(d) = d**2 + 26*d + 83. Let r be l(-4). Is b bigger than r?
False
Suppose 3*g = c - 340, 2*g + 3*g + 562 = 4*c. Is g at most -115?
False
Let p be ((-39)/(-6) - 8)*(-10)/9. Which is greater: p or 2?
2
Let s(r) = r**2 - 10*r + 8. Let j be 1/(6/56) + (-6)/18. Let w be s(j). Is w less than -2/59?
True
Let y = 1598.943 - 1600. Let h = 0.057 + y. Which is bigger: 7 or h?
7
Let w = 47 + -43. Let k be 4*(-1)/w*-1. Are k and 2/13 nonequal?
True
Suppose 63 - 9 = -18*y. Let x(k) be the first derivative of k**3/3 - 5*k**2/2 + 2*k - 1. Let u be x(3). Is y at least u?
True
Let a = 5.993 + -0.093. Are -1 and a non-equal?
True
Let s = 53177225/153 + -347561. Let k = s - 138/17. Is -6 <= k?
True
Suppose 3*s - 6*s = -21. Let g be (60 - 51)*(0/2 - -1). Is s >= g?
False
Suppose 0 = 230*q - 218*q + 48. Let d = -1 - 4. Does q = d?
False
Let v be -1 - ((-13)/11 - 6/(-33)). Let a = 2 + -6. Let z be 0*(8/6)/a. Is z less than v?
False
Let b = 49549/11 - 4500. Which is smaller: 5 or b?
b
Suppose -5*m + 2 = -4*c, -2*c - 2*m + 5*m = 0. Let r be 0 - -1*(2 + c). Is r less than or equal to -6/11?
True
Let i be ((-234)/(-28))/(18/21). Is 10 >= i?
True
Suppose 2*a + 44 = -0*a + 5*i, -4*i = -16. Let z = a - -16. Let r be (-100)/56 - (-6)/z. Which is smaller: 0 or r?
r
Suppose 4*n + 611 = -j, -3*n - 5*j + 82 - 536 = 0. Let u be (-136)/n*(-6)/(-4). Which is bigger: -2 or u?
u
Let d = 22 + -17. Let q = -85 + 86. Which is smaller: d or q?
q
Suppose -18*k - 104 = -10*k. Let x(y) = 3*y + 32. Let r be x(k). Are -5 and r nonequal?
True
Let v = 45 - 41. Let a = v - 3.5. Which is smaller: a or 3/7?
3/7
Let k = 27 + -20. Suppose k*d - 1 = -8. Is -7 bigger than d?
False
Suppose 0 = s + 4, -2*r + 3*s + 22 = -0*r. Let b = -8 + r. Let a = -0.6 - -0.4. Which is greater: a or b?
a
Let w = -95 - -48. Let h = w - -46. Which is smaller: -0.02 or h?
h
Let k = 8263/20 + -413. Suppose 35*m + 48 - 13 = 0. Which is bigger: m or k?
k
Let s(r) be the second derivative of -r**4/12 - 11*r**3/6 - 11*r**2 - r. Let k be (108/(-24))/((-2)/(-4)). Let q be s(k). Is -4 less than or equal to q?
True
Let h(c) = -19*c - 42. Let p be h(-3). Is 34 > p?
True
Let z = -3339086/381 - -8764. Is z less than or equal to 0?
True
Let i be (-3)/(-2) + (-14)/8. Suppose -q + 3*q = 12. Let h be ((-1)/q)/(3/(-18)). Is i greater than or equal to h?
False
Suppose 3*c = -a - 0*c + 1, 0 = 4*a + 3*c - 4. Let i be (-58)/(-22) + (-2)/2. Is a less than i?
True
Let a = -3.8 + -2. Let k = a + -38.2. Are k and -1 equal?
False
Suppose -3*z = 40 - 304. Let y = 49 - z. Is y at least -38?
False
Let c be 455/273*(-2)/205. Let r(u) = -u + 1. Let f be r(2). Is f at least as big as c?
False
Let i = -0.1192 + 0.2192. Is i less than -235/12?
False
Let l = 28 + -63. Let a = -4 - l. Which is bigger: a or 30?
a
Suppose 0 = 2*f - 5 + 3. Let p be 136*(-2)/(-10) + f/(-5). Which is greater: 26 or p?
p
Let j(f) = -f**3 - 31*f**2 - 58*f - 4. Let g be j(-29). Which is greater: g or -10?
g
Suppose -4*s + 14 + 6 = 0. Let a be 20 - (2 - s - -5). Let v = a - 16. Which is smaller: v or 0?
0
Suppose 8 = -3*v - a, -3*v + 6*v - 3*a = 12. Let b be (0*v/1)/(-2). Let n = 527/70 - 52/7. Is n bigger than b?
True
Let j(h) = 4 + 1 - 3 + h**2 - h. Let b be j(2). Let y be -3*(-1 + b/3). Is -2/11 equal to y?
False
Suppose -3*d = -5*y - 577 - 1247, y + 375 = 4*d. Is y greater than -363?
False
Let w(h) = -3*h + 4. Let r be w(-3). Let k = -9889/4 - -2485. Let c = k - r. Which is smaller: 0 or c?
c
Suppose 0 = 4*m + 4. Let s be (-5 - -3 - -5)/3. Let y be (4 + (-685)/170)/s. Which is smaller: m or y?
m
Let h(d) = -2*d**3 - 8*d**2 + 8*d + 15. Let o be h(-6). Suppose -4*g + u - 318 = o, 0 = 5