120?
True
Let d(p) = -p**2 - 23*p - 102. Let a be d(-6). Let b(s) = s + 8. Let g be b(-4). Suppose -4*z + 27 = o - 9*z, o + g*z + 18 = 0. Which is bigger: a or o?
o
Let w = 66 + -101. Let j = -34.8 - w. Suppose -6 = -2*i + 4*d, -d - 4 = -3*i - 0*i. Is j less than i?
True
Suppose -5*k = 2*h + 41, -10*k - 13 = -9*k + 2*h. Which is bigger: -6 or k?
-6
Let m(g) = -g - 2. Let v be m(-11). Suppose -5*d + 8 = -2*n - d, -3*d = v. Is -12 not equal to n?
True
Let w be 2 - (-3)/(-6 + 3) - -4. Let i be (w - 3) + (-332)/82 + 2. Are i and 1 equal?
False
Let r = -52 + 61. Suppose -12 = -j - r. Which is bigger: j or 0?
j
Let p = -0.05 - -0.05. Let q = 5000/187829 - -2/2573. Is p bigger than q?
False
Suppose -a - 2*o + 6 = -0, -2*o + 6 = 4*a. Suppose a = h + 4 + 1. Let z(x) = x**2 + 6*x + 10. Let q be z(h). Is 3 != q?
True
Let w be -45 + -1*(-5 - -9). Are w and -49 equal?
True
Let y(h) = -h + 2. Let d be y(1). Which is smaller: -99 or d?
-99
Let n = 6907/20 - 1383/4. Which is smaller: -288 or n?
-288
Let s be (-8)/20 + 26/(-60). Let g = 505 - 505. Does g = s?
False
Let n be (2/18)/(-4 + (-90)/(-27)). Which is smaller: 1 or n?
n
Let d be 6*(-8)/2460*-5. Is d greater than or equal to 0?
True
Let c = -588 - -586. Which is bigger: -2/11 or c?
-2/11
Let k = -0.21 - 14.79. Let i = k + 19. Which is smaller: 0 or i?
0
Let s = 215 - 408. Let u be (18/(-351))/((-2)/7524). Let n = u + s. Do n and -1 have different values?
True
Let u = -431/5778 + 6/107. Which is smaller: u or 1/2?
u
Let m = -552 + 262196/475. Which is smaller: 1 or m?
m
Let y = -147.2 + 147. Is y greater than or equal to 1/4?
False
Let c = 20.6 - 21.28. Let v = -0.69 - c. Let r = -2 + 2.2. Which is bigger: r or v?
r
Suppose -r + 2*t = 4, 1 = 4*r + r - 3*t. Suppose 60 = -r*c - 4*l, 3*c - 2*l = -2*c - 198. Which is smaller: c or -39?
-39
Let n be 4 + (4446/(-24) - -1). Which is greater: n or -180?
-180
Let x be (-551)/(-950) - (-2)/(-4). Is 0 greater than or equal to x?
False
Suppose 3*u = -3*g - 9, -5*u = -3*g + 16 + 7. Let l be 4/8*g*-1. Is 12 at most l?
False
Suppose -2*w + 18 = w. Let p be (-1338)/(-189) - ((-765)/63 - -13). Which is smaller: p or w?
w
Let y(f) = f - 7. Let g(t) = -t - 1. Let b(z) = -5*z - 4. Let o(k) = b(k) - 3*g(k). Let p be o(-2). Let w be y(p). Which is greater: w or 1/3?
1/3
Let p(c) = 3*c + 2*c + 0*c + c**2 - 2*c**2. Let v be p(5). Suppose k - 2*k - 5*n = -24, 4*k - 2*n - 30 = v. Which is smaller: k or 10?
k
Let q(a) = -2*a**2 - 4*a. Let h be q(-1). Let i be -2 + -1*(-3)/18 + h. Is -2/29 smaller than i?
True
Suppose 120 = 36*q - 31*q. Are q and 29 equal?
False
Let b = 3 + -5. Let w = -13 - -13.15. Let z = 0.15 - w. Which is greater: z or b?
z
Let x = 13 - 14. Let a = -66 - -39. Let r be (-14)/30 - 18/a. Is r at most x?
False
Let q = 340 + -227. Which is bigger: 1/4 or q?
q
Let m = -1.07 - -0.87. Which is bigger: m or 51?
51
Let k be -140 - 8 - (-5 - -9). Does 0.04 = k?
False
Let p(q) = 2*q - 14. Let y be p(8). Let v be (-2)/(-3) - y/3. Which is bigger: -1 or v?
v
Let n = 2421/8 + -303. Let s(m) = -m**2 + 7*m - 10. Let d be s(5). Let p = d + 1. Is n at most p?
True
Let k = 391 + -203. Let q = k + -1690/9. Let a = -11.3 - -11. Which is bigger: a or q?
q
Let c = -0.261 + -0.839. Which is bigger: c or -10?
c
Let m = 13733/5720 - 1/1144. Let u be -1 + -1 - 1*-4. Which is smaller: u or m?
u
Let r = -719 - -732. Which is smaller: 18 or r?
r
Let t = 31.32 - 0.32. Let f = t - 30. Which is smaller: -0.01 or f?
-0.01
Let f be 2 + -7 - (-2 + 48). Let k be -2 - (6/(-10))/((-15)/f). Which is smaller: k or -0.1?
-0.1
Suppose 3*x + 5*s - 149 = 0, -8*x + 3*s = -6*x - 74. Do 43 and x have the same value?
True
Let q(r) = r**3 - 2*r**2 - 10*r + 7. Let y be (-2)/6*(15 + -12). Let x be -3 + 5 + 1 - y. Let d be q(x). Are -30/13 and d nonequal?
True
Let n(s) = -4*s - 34. Let y be n(-4). Are -92/5 and y equal?
False
Let t = 4 + 4. Let g = -11.44 - -2.44. Let r = t + g. Which is smaller: r or 0.02?
r
Let w = -447 + 3583/8. Is w less than 2?
True
Let k = -382 - -383. Let b = -4 - -6. Suppose -6*m = -4*m - b. Is k equal to m?
True
Let o be ((-732)/14)/(-4*8/(-224)). Which is greater: o or -367?
o
Suppose 0 = -5*a - 5*g - 110, -5*a = -3*g + 5*g + 116. Let f = -2839 - -681. Let u be f/91 + (-24)/(-14) + -2. Is u at most as big as a?
True
Let s = -26248/23 - -1142. Which is bigger: 2/9 or s?
s
Suppose v - 3*j + 51 = 4*v, 4*v - 5*j - 23 = 0. Suppose -2*s = -v + 2. Suppose -3*o = -2*h + 8, 4 = o - s*h - 15. Do -1/2 and o have the same value?
False
Let n(f) be the first derivative of -f**2/2 + 5*f + 17. Let y be n(5). Is -8 >= y?
False
Let w = 26558/5535 - -2/1107. Let s(x) be the first derivative of -x**3/3 - 3*x**2 - 2. Let k be s(-5). Do k and w have the same value?
False
Suppose -12 - 2 = -2*t. Let i(o) = o**3 - o**2 + o - 13. Let h be i(0). Let w = -61/5 - h. Which is greater: t or w?
t
Let c = 3382/11 - 307. Is 0 > c?
False
Let p = -349 - -349. Which is bigger: 1/1155 or p?
1/1155
Let h(l) = 4*l**3 + 24*l**2 + 14*l + 40. Let u(i) = -3*i**3 - 16*i**2 - 9*i - 27. Let j(k) = 5*h(k) + 7*u(k). Let p be j(9). Is -7 <= p?
True
Suppose 0 = 2*w + 3*f - 29, -5*w = -10*w + 4*f + 84. Does w = 106/7?
False
Let y = -0.277 + -68.823. Let l = y + 69. Which is smaller: l or 34?
l
Let w be (-63 - 2/(-1))/(-45). Let o = w - 14/9. Let t = -23 - -11. Which is smaller: o or t?
t
Let q(h) = h**2 - h - 4. Suppose 5*o + 1 = -9. Let c be q(o). Is 13/11 > c?
False
Suppose 5*w = 1 - 6. Let l be 0/(-4) + w - -2. Let g = 4930/13 - 379. Is l < g?
False
Let y = 0.1 - 0.1. Let a = -178.52 - -1.52. Let j = a + 172. Which is bigger: j or y?
y
Let m = -279 + 1394/5. Which is greater: m or 18?
18
Let p = -6252 + -7193. Let w = p - -470671/35. Let n = w - -6/7. Do n and 3 have the same value?
False
Let m be 4/(-38) - 2997/228. Are m and -2/7 nonequal?
True
Let f be 6*(-62)/28 + (-10)/(-35). Which is bigger: f or -101/7?
f
Suppose -4*q + 2*y + 3 = 5, 2*q - 5*y - 11 = 0. Let j be q/4 - (-2)/(-4). Let u be (-30)/(-18)*(-12)/570. Is u less than j?
False
Let b(j) = 14*j - 27. Let r be b(5). Which is smaller: 42 or r?
42
Suppose n - 4*u = 3, -4*n + 3*n - u - 7 = 0. Let v be (n/(-4))/((-138)/24 - -6). Is v >= 0?
True
Let a = 400 - 395. Which is smaller: a or 23/5?
23/5
Let z(u) = -u**3 - u**2 - u - 1. Let o be z(-2). Let k = -1967 + 3941/2. Is o smaller than k?
False
Let b be (-48)/(-464)*4/6. Suppose 3*t + 2*t = -3*v + 135, 2*v = -4*t + 110. Let i be t/(-165) - (-2)/11. Are b and i equal?
False
Suppose 88 = -4*r - 2*w - 2*w, -3*w + 116 = -4*r. Let n = r + 27. Is -0.26 < n?
True
Suppose -4*r + 4*s = 220 + 196, -5*r - 2*s = 492. Which is bigger: r or -98?
-98
Let v = -685 - -340. Which is bigger: v or -346?
v
Let v = -403/204 + -14/51. Let g be (6/(-8))/(2/8). Is v bigger than g?
True
Let v = 88 - 87. Let h = 0.8 - -10.2. Is v smaller than h?
True
Let r = -79.99 - -80. Do r and -3/14 have different values?
True
Let i = -264 - -262.7. Which is smaller: i or -4?
-4
Let m = -0.101 - 0.189. Is -3/2 < m?
True
Let t = -17 + 1277/75. Suppose 8*q = 37*q + 29. Which is bigger: q or t?
t
Let m = -1/2230 - 142713/15610. Let z = m + 9. Let y be -1 + (-3 + 1 - (-2 - 0)). Which is smaller: z or y?
y
Suppose 0*s - 80 = -4*s. Let i = s - 17. Suppose -v + f = 4, -4 = i*f - 19. Is v less than 3/4?
False
Let t(p) = -p**3 + 5*p**2 - 4*p - 4. Let b be t(4). Suppose -91*d = -95*d - 12. Is d at most b?
False
Let c = 1510.7 + -1511. Which is smaller: c or -295?
-295
Let d = 2/7 - 11/14. Suppose 3*k - 3*i - 9 = k, -2*k + 4 = -4*i. Suppose 3*r - 20 = -2*w, 0 = -2*w - r + k. Is w at least as big as d?
True
Suppose -3*f + 3*p = p + 160, 2*f + 107 = p. Is -54 at most as big as f?
True
Let m(t) = t**3 + 14*t**2 + 12*t + 1. Let i be m(-13). Suppose 10*v + i = -4*v. Let x = -70/17 - -4. Which is bigger: x or v?
x
Suppose -5*a - m + 7 = 0, a - 2 = m + 3. Suppose 5*z - 35 = -2*l - a*l, -l - 5*z = -20. Let c be 1/(l/(90/2)). Is 5 greater than or equal to c?
False
Suppose 2*o - 3*o = -1. Let m be (-23 + 5)*(-2)/6. Let k be (6/4)/(-1*m). Is o at most as big as k?
False
Let r = -482/3 - -160. Is -79 < r?
True
Suppose 15 - 9 = -a. Which is bigger: a or -31?
a
Let f = -3 - -8. Suppose -2*x = -4*x + 2*i + 50, -f*i = x - 19. Let p be 20/70 - x/(-14). Do p and 2/15 have different values?
T