 Which is greater: -1 or o?
o
Let y(b) = b**2 - 3*b + 16. Let k = -22 + 22. Let q be y(k). Which is smaller: q or 18?
q
Let q(o) = 2*o + 12. Let g be q(0). Let u be g - 8 - 30/7. Is u less than 4?
True
Let r(i) = -i**3 + 3*i**2 - 6*i + 7. Let a be r(2). Which is smaller: a or -69?
-69
Let a = 0.05 + -0.17. Let w = a - 2.88. Let p = w + 2. Is p >= -1/5?
False
Let d be (2/(-3))/((-10)/105). Let f(i) = -i - 32. Let h be f(-32). Is h > d?
False
Let l = -173 - -253. Is l bigger than 81?
False
Suppose 0 = -4*z - 11 + 83. Suppose -3*r = -0*r - z. Suppose 0*l = 3*l + r. Which is greater: l or 0?
0
Let w = -47 - 5. Let o = -58 - w. Is o < 0?
True
Let i(j) = j**3 + 7*j**2 + 6*j - 4. Let c = -22 - -16. Let s be i(c). Let d be (-5 - (-6 - s)) + 1. Is d != 0.1?
True
Let u(c) = 3*c. Let s be u(1). Suppose s*y - 3*j - j = 19, -4*j = -4*y + 32. Is y > 10?
True
Let b(s) be the second derivative of s**4/12 - 5*s**3/6 - 5*s**2 - 5*s. Let i be b(6). Let k = 6 + i. Is k smaller than 5/2?
True
Let h(f) = f + 1. Let r be h(-3). Let d be r/(-1)*1/2. Let l = 533/28 + -77/4. Which is smaller: l or d?
l
Suppose 3*p = -5*m + 4, -2*p + 4*m = 3*p + 18. Let b be (18/21)/(-3)*-7. Let h(a) = -a**2 + a + 2. Let y be h(b). Which is smaller: p or y?
p
Let c = 33 + -30. Suppose -c*q + 2*q - 3 = 0. Let r(m) = m**3 - 3*m**2 - 5*m. Let l be r(4). Is l bigger than q?
False
Let z = -10 - -12. Suppose h + z*a - 9 = -a, -h = 2*a - 8. Is h >= 6?
True
Suppose 5 = d - 6*d, 5*d = 2*c - 91. Let r = c + -43. Let m be ((-3)/(-42) + 0)*2. Which is bigger: r or m?
m
Let f = -204 + 354. Which is greater: f or 151?
151
Let c = 161 + -195. Do -34 and c have different values?
False
Let j = 851 + -711. Is j not equal to 140?
False
Let t = -0.022 + -5.978. Let u = -5 - t. Is -59 bigger than u?
False
Let v be (9/6)/((-7)/(3339/(-18))). Do 41 and v have the same value?
False
Let n(a) = 5*a. Let i be n(1). Let v = 34 + -50. Let p = -17 - v. Which is greater: i or p?
i
Let l be -2*(-5)/(-20)*8/(-16). Which is smaller: l or 1?
l
Let p = -2/567 + -4372/567. Which is smaller: -7 or p?
p
Let i = -3 - -224. Do 221 and i have the same value?
True
Let o(h) = -h**3 - h + 1. Let i be o(0). Let a = 2120/9 + -236. Which is bigger: i or a?
i
Let p = 180 - 178. Which is bigger: 9 or p?
9
Let g = 1316/27 - 146/3. Is g at least as big as 9/5?
False
Let s = 69/4 + -239/4. Let k = -213/5 - s. Is k <= -1?
False
Let v be (-2)/4 + 1/22. Let x be -1 - 11/(22/(-232)). Let b = 115 - x. Is b >= v?
True
Suppose 6*n - n - q = 252, -n = 3*q - 44. Let d be (-1)/4 - (-28)/(-16). Let x be (d/(-2))/(n/15). Which is smaller: 1 or x?
x
Let z(u) = 6*u + 97. Let i be z(-16). Let h be (18/(-40))/((-2)/4). Is h > i?
False
Let n be ((-2)/(-10))/(64/320). Which is smaller: n or 3?
n
Let a be (-1990)/615 - -1 - -2. Let s = a - 4/41. Which is greater: s or 2/7?
2/7
Suppose -3*n + 32 = 5*q, 4*n - 3*q - 6 = -2. Let k be (-10)/35 - n/(-7). Which is greater: 4 or k?
4
Let t = 464 + -461. Are t and 177 nonequal?
True
Let z be 0/(2/4*2). Suppose -5*a - 2 = -3*j + 8, -17 = -4*j + 3*a. Suppose j*k = -z - 10. Which is smaller: 0 or k?
k
Let f(h) = -1 + h + 2 + 0*h. Let z(w) = 9*w - 73. Let p be z(8). Let x be f(p). Is 2 less than x?
False
Suppose -3*v = -3*g + 168, 5*g = -0*v + v + 264. Is 49 < g?
True
Let d be (-414)/(-378) - 4/42. Let n be (16/(-10))/(4/(-230)). Is d greater than n?
False
Let b = -178 + 92. Let v = b - -86.25. Which is smaller: -0.2 or v?
-0.2
Let r be ((-16)/(-2))/(7/448). Which is smaller: 513 or r?
r
Let r = 82002 - 17712389/216. Let j = -2/27 + r. Do -1 and j have different values?
True
Let x be (-11228)/(-8)*4/(-22). Let t = 255 + x. Let q = -81 - -81.1. Which is bigger: q or t?
q
Let d(p) = p + 2. Let z be d(-9). Let u(v) = v**3 + 7*v**2 - v - 5. Let t be u(z). Suppose h + 3 = -q, -t*q + 2*h + h = -4. Is 3/13 < q?
False
Let a = -228 + 227. Is -36 bigger than a?
False
Let q be (-5)/(10/1)*1562. Let l = -5449/7 - q. Is 3 greater than or equal to l?
True
Let b be 17/(-85)*(-1 + -9 - 0). Suppose 0 = -4*u + b*o + 308, 6*u - 7*u - 3*o + 63 = 0. Do u and 74 have the same value?
False
Let i = -752 + 751.5. Which is bigger: i or -0.023?
-0.023
Suppose 5*t + 5*h = -0 + 15, h = 5*t - 15. Suppose 2*a - 2*r = 4, -2 = a + r - t*r. Let b be 4 + (0 - a/(-3)). Which is smaller: b or 0?
0
Let b = -3/838 - -220/2933. Is -1 at most b?
True
Suppose 3*t + 1 + 2 = 0. Let q = 7839/49 + -160. Is q at least as big as t?
True
Let p be (1/1)/(2 - 5 - -4). Which is bigger: 4/311 or p?
p
Let p be (-32)/(-14) + 6/(-21). Let b be (p/4)/(2/(-4)). Let g = 0.41 + -0.41. Is g at least as big as b?
True
Let p be 4/(-18) - 58/(-18). Suppose -b = -5*y - 22, 4*b - 16 = -p*y + 5*y. Let i be b*((-2)/7 - 0). Is 0 equal to i?
False
Let t(u) = 5*u + 62. Let s be 4*(-2)/20 + (-176)/10. Let d be t(s). Is -28 <= d?
True
Let q = 24 + -43. Let p = -1679 + 1661. Which is greater: q or p?
p
Let y be (20/(-15))/(4/(-9)). Let d be (-1)/y - (-7)/3. Let q = 1 + d. Which is smaller: q or 7?
q
Let l = -1.199 + -143.801. Which is bigger: l or -1/2?
-1/2
Let x = 7/13 + -67/52. Let c = -72 - -71. Which is bigger: c or x?
x
Let p(c) = -c**2 + 6*c + 2. Let f(q) = -16*q**2 - 3*q. Let y be f(-1). Let g(u) = -u - 7. Let m be g(y). Let r be p(m). Is 5/3 less than r?
True
Let f = 3.08 + -0.08. Let u = -778 - -777. Which is greater: f or u?
f
Let g = 13 + -4. Let r be (1/(-3))/(g/3). Which is smaller: 0.2 or r?
r
Suppose 0 = -6*n + 20*n + 14. Let f be (-1)/((-7)/(-4) - 2). Let l be f/(-3)*3/(-18). Which is smaller: n or l?
n
Let r be 3 + 70569/(-27165) - 8/20. Is r at least -1?
True
Suppose 5*n + 22 = -2*v - 0*v, -79 = 3*v - 4*n. Let h(d) = -1 + 0 - 566*d**2 + 565*d**2 - d. Let c be h(-5). Is c bigger than v?
False
Let d(a) = -7*a + 4. Let q be d(0). Suppose -q*b + 18 - 318 = 0. Are -74 and b equal?
False
Suppose -35*b = -16*b + 646. Is 0.05 bigger than b?
True
Let s(w) = -12*w - 71. Let x be s(-23). Which is greater: 206 or x?
206
Let l(h) = h**2 + 2*h - 25. Let o be l(-5). Suppose 33 = -13*j + 10*j. Which is smaller: o or j?
j
Let y be 6/(-15) - (-32)/5. Let b be (-2)/(-6)*y/(-71). Let v(d) = -d**3 + 17*d**2 + 24*d + 265. Let c be v(19). Which is greater: b or c?
b
Let t be 0 - (-1)/(-4)*2. Suppose -2*x + 6*x = 2*m - 36, 0 = -x - m - 18. Is t at most x?
False
Let a = -76/9 - -1681/198. Let x = -1 - -3. Suppose x*n = -0*n. Which is smaller: a or n?
n
Let t = 4.9 + -5.1. Let b = 4.8 - t. Which is greater: b or -0.04?
b
Suppose 0 = 67*o - 17*o + 450. Let m(v) = -3*v**2 + 2. Let z be m(2). Is z at least as big as o?
False
Let i be (-8)/28*(-19 + -2). Are 8 and i equal?
False
Let m = -1.33 - 59.67. Let y = 61 + m. Is 34 equal to y?
False
Let z(n) = -2*n + 5. Let t be z(4). Let d be -3*4/(-18)*t. Suppose -15 = -2*o + 5*o + 5*p, -5*p = 2*o + 15. Which is smaller: o or d?
d
Suppose -4*f + 5*n + 85 + 134 = 0, f - n - 56 = 0. Is f greater than or equal to 0?
True
Let d be 4/24*3/5. Let k(w) = w**3 - 5*w**2 + 3*w + 9. Let j be k(4). Suppose -j*u = 14 - 14. Is u >= d?
False
Suppose -3*s + 4*i + 8 = -0*s, -5*s = -5*i - 15. Suppose 0 = s*f - 24 - 40. Which is bigger: 46/3 or f?
f
Let r = -1.3 - -3.4. Let l = 41 + -38.7. Let k = r - l. Does k = 1?
False
Let i = 2.7 - -0.8. Let m = i - -17.5. Is m bigger than 2/7?
True
Let z = -173.163 + 173. Let i = -0.037 + z. Which is smaller: i or -9?
-9
Let m(h) be the third derivative of -h**6/120 + h**5/20 - h**4/24 + 2*h**3/3 + 2*h**2. Let z be m(3). Let y = 863/1455 - -2/291. Which is smaller: y or z?
y
Let b(y) = -y**2 - y + 31. Let v be b(-11). Let o = -99 + 20. Is o equal to v?
True
Let z = 228 - 370. Let h = -141.29 - z. Do h and 0.1 have the same value?
False
Let m = -14.3 + 15.5. Which is smaller: -8 or m?
-8
Suppose 0 = -3*f - j + 6*j + 39, -4*f = -j - 69. Which is smaller: f or 13?
13
Let t(i) = 2*i**3 + 3*i**2 - 25*i + 8. Let v be t(-8). Are v and -625 equal?
False
Let c = 23 + 26. Does 2 = c?
False
Let o be -3*2/(-171)*-3. Suppose 19*u - 16*u = 18. Suppose -6*y - u = -0*y. Which is bigger: y or o?
o
Suppose 4*c - 7 = -a + 24, 4*c = -5*a + 91. Let h(d) = -d**2 + 15*d. Let o be (30 - 2)*(-3)/(-6). Let q be h(o). Which is smaller: a or q?
q
Suppose -t = 5*n + t - 52, 0 = 2*n - 5*t - 15. Suppose -112 = 2*b - 10*b. Which is smaller: b or n?
n
Let s = -489/4 +