f) = -3*f**2 - 2*f + 7. Let o be l(5). Which is bigger: w or o?
w
Let y(d) = 4*d**2 - 9*d + 3*d + 4 - 5*d**2. Let g be y(-7). Let n = 0.13 - 3.13. Do n and g have the same value?
True
Let b(g) = -8*g + 8. Let p be b(3). Suppose w = 3, -z + w + 13 = -18. Suppose z = -2*m - 2*t, -4*m - 29 = -3*t + 46. Is p > m?
True
Let k(d) = -d**3 - 24*d**2 - 1. Let m be k(-24). Let s = -107 - -151. Let n = -44 + s. Is m at least as big as n?
False
Let u(a) = 23*a**2 + a + 1. Let l be u(-2). Let m be (4 + 36/(-8))/((-109)/19402). Is m less than l?
True
Suppose 98*a = 603*a + 219170. Are -431 and a nonequal?
True
Let a = 72.7 - 76.47. Is a smaller than 0.3?
True
Let c be 80/(-48) - 7191/27. Is c greater than -259?
False
Let g = -1071 + 1126.994. Let q = 0.006 + g. Let w = 5 + -4. Which is greater: q or w?
q
Let s = -25 - 5. Let l(m) = -8*m**3 + m**2 + 11*m + 8. Let o be l(-4). Suppose 31*u + 376 = -o. Which is smaller: u or s?
s
Let w be ((-2)/6)/(4 + (-75)/18). Suppose -5*t = -3*j - 494, -3*t + j = w*j - 288. Is 96 < t?
True
Suppose 30*u + 78 - 6708 = 0. Suppose -53*c = -40*c + u. Which is smaller: c or -10?
c
Let b = -24199 + 24110. Which is smaller: b or -175/2?
b
Let o(j) be the second derivative of -j**3 + j**2/2 + 4*j. Let f be o(-2). Suppose t - 1 = -3*k - 0, -4*t - f = -5*k. Is k smaller than -2/5?
False
Let u be ((-423)/(-188))/(3/4). Let t = 102 + -103. Which is smaller: t or u?
t
Let v = -2488 + 2489. Which is greater: v or 46?
46
Let m(y) = 2*y**3 - 4*y**2 + 41*y - 147. Let a be m(6). Which is smaller: 388 or a?
a
Let k = 0.06 + 0.94. Suppose -879 = 54*y + 1173. Which is smaller: k or y?
y
Let m = 40 - 38. Suppose 0 = -m*i - 5*a - 79, 0*i - 3*a = -2*i - 55. Let n be 80/i - (-81)/34. Is 1 at most n?
False
Suppose 5*d = 60 + 65. Let v = d + -25. Suppose -5*x + 4*x + 5 = v, -4*g - 2*x + 14 = 0. Is 3/46 greater than g?
False
Let s(a) = -108*a - 52. Let h be s(7). Let o = -809 - h. Which is bigger: o or 42?
42
Suppose 11*k - 83 = -160. Is -30.7 greater than k?
False
Let l(m) = -7*m. Let p be l(-5). Let y = p + -26. Let k be 2/y + (-56)/(-72). Which is smaller: k or 3?
k
Let z = -9.31 + -7.29. Let s = -16.6 - z. Which is smaller: s or -8.6?
-8.6
Let y be 5*(31944/20)/(-22). Is -365 equal to y?
False
Let w = 1 + -2. Let k = 25407408/367 + -69230. Is w not equal to k?
True
Let y = 52.421 - 162.352. Let o = y + 110. Let z = -2.931 - o. Is 8 < z?
False
Let x(j) = -j**2 + 15*j - 10. Let q be x(14). Suppose -4 = 8*o - q. Let l be 3*5/(-1095)*(o - -2). Which is smaller: 1 or l?
l
Let h = 577.51 + -575. Let c = -180.51 + h. Is c <= -2?
True
Let m(a) = a**2 + 13*a - 41. Let f be m(-18). Let c = f - 44. Suppose -c*o + l + l = -135, -20 = 4*l. Are o and 25 nonequal?
False
Suppose 4*h + 3*b - 3 + 5 = 0, 10 = 4*h - 3*b. Let z(k) = k**2 + 12*k - 25. Let o be z(-17). Let q be 10/(-594)*(-24)/o. Is h > q?
True
Suppose -3*s + 3*h - 1 = -7*s, 3*h = -15. Suppose s*c - 16 = -4*f, 6 = -8*c + 5*c + 3*f. Which is smaller: 5/62 or c?
5/62
Let v be 4444/6 - (-85)/(-51). Do 739 and v have the same value?
True
Let l = -52589/6034 + 1/862. Which is greater: 2/7 or l?
2/7
Let r(h) = h**3 + 3*h**2 - 7*h - 24. Let c be r(-5). Let d be ((-1)/2)/(c/(-78)). Let q be (-32)/70 + 8/20. Is d < q?
True
Let a = -1679 + 1677. Which is greater: a or -2/21?
-2/21
Suppose -2*u - 2011 - 775 = w, u + 1398 = 2*w. Let r be (5 + u/280)*(-8)/2. Let h(d) = d**3 + 7*d**2 + 5*d - 7. Let m be h(-6). Is r smaller than m?
False
Let i be ((-4)/(-10))/((77/(-1295))/(-11)). Suppose -86 = 4*g - 11*y + 9*y, -2*y = 4*g + i. Is g smaller than -20?
False
Let p = 257 - -98. Suppose -3*m - 346 = -p. Is m >= 126?
False
Let a(d) = -71*d**2 + 638*d + 15. Let v be a(9). Which is greater: v or 428?
428
Let u(d) = -d**3 - 9*d**2 + 19*d + 172. Let p be u(-9). Is p at least as big as 12/2545?
True
Let b = -35777 - -178906/5. Which is greater: b or 120?
120
Suppose 811 = -g + 12*g + 1438. Suppose 2*r + 0 + 110 = 0. Which is greater: r or g?
r
Let q = 2708 + -2709. Which is smaller: q or -2/4849?
q
Suppose -4*h = s - 12, s + 6 = 2*s + 2*h. Let z = 16145 + -2341023/145. Is z not equal to s?
True
Let m(z) = 2*z**2 - 37*z + 21. Let h be m(18). Suppose b - 1 = -4*s - 8, h*s + 5*b = -1. Is -18/13 bigger than s?
True
Let h = 3727 + -3726.94. Which is bigger: h or 26?
26
Let p be -7 - -11 - 2/1. Let d(y) = 7*y - 6. Let l be d(p). Let c = -8 + l. Which is smaller: c or -8?
-8
Let y be 8 + (-62)/8 + 51/(-12). Let w be -116*(-3 - 44/(-16)). Let s = 32 - w. Is y <= s?
True
Let g be (1/14)/(610/(-2135)). Is -6916 greater than or equal to g?
False
Let m = -1173 - -1628. Which is smaller: 457 or m?
m
Let d be (-6)/(-3) + 2/(-11). Let t be 636/78 - 11 - -2*(-9)/(-6). Is d <= t?
False
Let q = -0.113 + -194.887. Let r = -38 - q. Let t = 153.3 - r. Which is greater: t or -2?
-2
Let d = -4.5779 + 4.5779. Suppose -6 = -3*o + 5*o, 5*b + 5*o = 510. Which is greater: b or d?
b
Let y = 29.46 - 29.22. Which is greater: y or 1.9?
1.9
Let x = 0.7288 + -0.6848. Which is greater: x or 5/13?
5/13
Let p = 1945 + -1942.7. Which is greater: p or -15?
p
Let w be ((36/(-15))/2)/(32/(-80)). Let g be 16/w*-6*2/212. Which is bigger: -1 or g?
g
Suppose -3*l - 5*s + 1 = -3, 5*s = -5*l. Let a be (l/(-96))/(7/((-98)/21)). Are a and -1 non-equal?
True
Let y = -162.166 - -162.1. Let z = -0.383 - 0.001. Let p = z + y. Which is greater: -1/2 or p?
p
Let o(q) = q**2 + 1416*q + 4239. Let p be o(-3). Do -2/6647 and p have the same value?
False
Let h be 4 - 2 - (0 + 6). Let x be (-17)/((-2)/15 - (-471)/(-180)). Let s = -325/33 + x. Which is bigger: s or h?
s
Let c be ((-7 - -4)/3*1)/1. Let l(k) = -k**3 + 14*k**2 + 3*k - 34. Let t be l(14). Let d be (t/24)/((-93)/108*1). Which is bigger: c or d?
d
Let d be 212/532 - (-12)/42. Let r = 683/57 + d. Let w(k) = k**3 - 6*k**2 + k + 6. Let p be w(6). Is r less than p?
False
Let j be (-409)/8 + 0 - (-83)/664. Let k be (-4)/(-68)*(-4 - j/6). Which is bigger: k or 0?
k
Let m = 2/99311 + -13903598/2880019. Is m at least as big as -6?
True
Let x be (15 + (-5184)/345)/((-6)/196). Which is smaller: x or 2?
x
Let t = -922188071/1164306 + -51/29854. Let h = t - -792. Which is greater: h or -2/7?
h
Let r be (-70)/(-9) - (-14)/63. Suppose 0 = 9*f - 6*f + 9. Let s be (-20)/(-30) - 31/f. Which is greater: r or s?
s
Suppose 0 = -5*m - 2*m - 483. Let d = -67 - m. Let v be d - (-1 + 2 + 0). Which is bigger: -6 or v?
v
Let i(f) = 3*f**2 + 5*f + 9. Let j be (-104)/(-12) - 2/3. Let w be i(j). Is w at most as big as 241?
True
Let o(p) = -p**3 - p**2 + 139*p + 68. Let v be o(-11). Which is smaller: -2760/11 or v?
v
Let l(y) = -3*y**3 - y**2 - y + 1. Let q be l(-1). Suppose 0 = r - 3*r + 2*g, -2*g = q*r. Is r >= -1/71?
True
Let w(d) = -d**3 - 4*d**2 + 7*d + 7. Let h be w(-6). Let u = h + -18. Let q = 7618 + -7598. Which is bigger: q or u?
q
Let j(b) = -b**2 - b + 19. Let n be j(15). Let w = n + 443/2. Let m be 2/3 - (-25)/(-33). Is m greater than w?
False
Let i = 0.1 - -15.7. Let u = -16 + i. Let o = 14 + -13.3. Is o equal to u?
False
Suppose -5*t + 5*j - 3140 = 1500, -8 = -2*j. Which is smaller: t or -925?
-925
Let f = 65 + -20. Let z = f + -63. Which is smaller: z or -17?
z
Suppose -159 = -9*l - 402. Let d be -5*(-3)/120 + l/88. Which is smaller: d or 4?
d
Let d = 62 - 70. Let o = 53 + d. Which is smaller: o or -1.1?
-1.1
Suppose 107 + 297 = -970*n - 566. Let k be (6/(-8))/((-2)/6). Is n greater than k?
False
Suppose c + c = 14. Suppose -18*q = -2*l - 21*q - 24, 2*l - 5*q - 56 = 0. Which is smaller: c or l?
l
Let z = 4689509/93895210 - 144/2885. Which is smaller: z or 1?
z
Suppose -24984 = -2*l - 10*a + 12*a, 0 = -2*l - 3*a + 24999. Which is smaller: l or 12493?
12493
Let n(x) = -5*x**2 - 73*x - 181. Let v be n(-3). Suppose 20 = -5*j - 4*z - 1, 3*j = -5*z - 23. Which is smaller: v or j?
v
Let x(y) = y**3 - 3*y**2 - y + 1. Let h(d) = -3*d**3 + 9*d**2 + 4*d - 4. Let n(m) = 3*h(m) + 8*x(m). Let p = 202 + -199. Let o be n(p). Are o and 20/3 unequal?
True
Let d(i) = -8*i**2 + 5*i + 6. Let h(u) = 8*u + 29. Let f be h(-4). Let m be d(f). Which is greater: -75 or m?
-75
Suppose 21*r - 525 = 28*r. Let x = 92 + r. Let h(m) = -m**2 + 14*m + 37. Let v be h(x). Do v and -14 have different values?
False
Let k(s) = -3*s - 7. Let d = 62 - 66. Let g be k(d). Suppose 5