?
True
Let k(i) = -i**2 - 39*i + 134. Let n be k(-30). Is 406 at least n?
True
Let f be 26*4/8 + 3. Let j = -10 - 1. Let w = j + f. Which is greater: 14/3 or w?
w
Let z = 668 + -647. Let j = 5 - -17. Is j less than or equal to z?
False
Let i = 11 + -8. Let y = i + 1. Suppose 7*c - 10 = -2*p + 3*c, 4*p - 8 = -y*c. Which is smaller: -2 or p?
-2
Suppose -5*o - 52 = 4*i, 5*i + 65 = 2*o + 3*o. Let p = 17 + i. Let t(b) = -b + 3. Let d be t(0). Which is bigger: p or d?
p
Suppose 5*x + 3*q + 78 = 48, 5*q = -5*x - 30. Is -4.7 greater than or equal to x?
True
Let u be (-2)/8 + 18/8. Suppose 6*m = -u*m - 24. Let t be (-2 - 8)/((-33)/m). Is t less than -2?
False
Let p = 1.8 + -18.8. Let v = -4 - p. Let c(q) = 4*q - 100. Let b be c(25). Are v and b unequal?
True
Suppose 16*g = 55*g + 1287. Is g at least -30?
False
Let q be (-2)/(9/(-10) - (-2)/5). Which is greater: 32/9 or q?
q
Let h be 4/(-9) + 1947666/(-3780) - 0. Suppose y + 110 - 625 = 0. Let v = h + y. Which is greater: v or -2?
v
Let a be -3*(-1)/3*(-225 - 5). Let v = a + 1605/7. Which is greater: -2 or v?
v
Suppose 16*n - 12*n + l = -282, 2*n + 148 = 3*l. Let m = -163 + 91. Is n bigger than m?
True
Let x(g) be the second derivative of g**4/6 + g**3/3 + 2*g. Let i be x(-2). Let a(t) = t**3 - 3*t**2 + 9*t - 9. Let p be a(2). Is p <= i?
False
Suppose 0 = 2*d + j + 348, 0 = 2*j + 8 - 0. Let t = d + 152. Is t != -19?
True
Let m(b) = -87*b - 458. Let x be m(-5). Which is smaller: -21 or x?
x
Suppose l - 5*d = 2, -l = 4*l - 4*d - 10. Suppose -2*t + 30 = 3*t. Suppose 0 = -4*o + 2 + t. Is o at least as big as l?
True
Let a = 1.38 + -69.38. Let d = a - -68.1. Let j = -89/116 + 1/58. Which is bigger: j or d?
d
Let b(z) = -z + 1. Suppose 0 = -3*n - 4*t + 6, 2*n + 4*t - 10 = -3*n. Let i be b(n). Let o be 160/(-68) + i - -3. Is -1 < o?
True
Suppose 5*s + 3*c - 2*c = 130, -2*s - 2*c + 44 = 0. Let l = 56 - s. Let b = -21 + l. Which is bigger: b or 7?
b
Let o(g) = g**3 + 6*g**2 - 9*g + 6. Let i be o(4). Suppose 26 - i = -8*z. Do 13 and z have the same value?
True
Suppose 3*m + 3*o = 410 + 112, -2*o - 720 = -4*m. Let r be m/3 - (-6)/9. Let c be (0 - (-112)/r) + -2. Are c and 0.1 non-equal?
True
Let x be (-6)/((-3 + -1638)*(-10)/15). Is x greater than or equal to 0.2?
False
Let r be ((-92)/(-1086))/((-4)/(-189)) + -4. Let f = -2165/2534 - r. Is 0 greater than f?
True
Let p(d) = -d**2 + d + 1. Let m be p(-2). Suppose 4*o = -5*g + 51, -28 = -2*o - g + 5. Suppose 4*a + 3*z = -o, 0*z + z = -3*a - 8. Is m < a?
True
Let h = -37 + 10. Let u = -51 - h. Let b = u - -23. Which is smaller: b or 7/3?
b
Let t be (-85330)/576 + (-13)/(-117). Suppose 0 = -f + 3*f + 296. Let j = f - t. Is 0 < j?
True
Let p = -1.1 - -1. Let m = 0.02 + p. Let x = -2.08 - m. Is -6 at least x?
False
Suppose -42 = 6*t - 3*t. Let x = 13 + t. Let y be 1 + 6 - (-3 + x). Is 11 less than y?
False
Let p = -278 + 9173/33. Is p < 1?
True
Let z(v) = 8*v + 4. Let c be z(-16). Let o = -100 - c. Which is smaller: o or 22?
22
Let k be -16 + 1780/120 + 2/12. Is -1/121 at least k?
True
Let o(w) = w**2 - 5*w - 14. Suppose 2*m = m + 7. Let s be o(m). Is s < 8/7?
True
Let o = 148/11 - 21767/1617. Which is smaller: -1 or o?
-1
Suppose t + 1 - 2 = 0. Let w be 2*(6/4 - t). Let c be 2 + -3 + (-3)/(-5). Is c less than or equal to w?
True
Let j = 134 - 48. Let q = -85 + j. Is 15 less than q?
False
Let w(y) = y**3 + 16*y**2 + 53*y - 9. Let q be w(-5). Let z be (-6)/8*48/(-918). Is z greater than q?
False
Suppose 4*f = 3*f. Suppose f = -4*y + 10 + 10, -4*o + 3 = -y. Let v be (-3)/o*(-6)/(-27). Which is smaller: -1 or v?
-1
Let b = 0.047 - 1.035. Let o = b + -0.022. Let p = o - -0.01. Are p and 0 nonequal?
True
Let w = -372/5 - -1109/15. Is 0 at least w?
True
Let z be (1 - -1) + (-32)/14. Suppose 4*v + 3*u + 357 = 0, -5*v - 426 = -0*v - 3*u. Let b be v/(-105) - (-2)/(-5). Which is bigger: b or z?
b
Let t = 78.7 - 73. Is t at least -5/2?
True
Let a = 6 + 3. Suppose 4*l = -5*z - 31, 3*l + 0*l + 27 = -3*z. Let i = -5 - l. Is i smaller than a?
False
Let l = -32 + 12. Let x be 42/l*(-70)/84. Is x at least as big as 3?
False
Let j = 11 - 7. Suppose 0 = u + j*u. Let a = -155.5 - -155.4. Which is bigger: a or u?
u
Let g(q) = q**3 + 15*q**2 + 16*q - 24. Let b be g(-13). Is b at most as big as 108?
True
Let o be ((-62)/(-558))/(4/(-438)). Which is greater: -11 or o?
-11
Let a = 343/6 + -57. Let x = -12.821 - -2.821. Do x and a have different values?
True
Let j = -497.83 - -465. Let k = j - -33. Let c = k + 0.03. Which is greater: 2 or c?
2
Let o be (9 + -2 + -7)/(-1*2). Is o equal to 1/51?
False
Let j be 4/(-2) + 4 + -4. Let v be j + ((-3500)/355)/(-5). Which is bigger: 1 or v?
1
Let o be (-1481)/30 - 16/(-80). Let q = 49 + o. Which is greater: q or 0?
0
Let a(w) = 8*w**2 + 96*w - 13. Let d be a(-12). Are 8 and d nonequal?
True
Let v be -50 + 4 + (-48 - -49 - 5*1). Let z = -22 - 28. Is z >= v?
True
Let g = 14.45 - 27.6. Let w = g + 0.15. Let p = -10 - w. Is p at most 2/7?
False
Let b be (213/102 + -2)*-2. Let z = 1149 - 1148. Is z less than or equal to b?
False
Let z be (-1)/((-49)/(8 - 15)). Is -105 at least z?
False
Let f(j) = j**2 + 8*j - 1. Let q(v) = -2 + 5 - 3*v + v. Let t be q(5). Let k be f(t). Is -8 greater than k?
False
Let g = 185 - 2029/11. Is g less than 18?
True
Suppose -4*t + 9*t + r = -8, 4*r + 14 = -2*t. Which is smaller: t or -10?
-10
Let a be ((-52)/3)/(12/(-54)). Let w be (2/4)/(9/a). Suppose 3*s = s - 2*b + 2, -b = 2. Which is smaller: s or w?
s
Suppose -y + 2*q - 6 = 0, 0 = -2*y - 2*q + 6. Let l(a) = -6*a + 2. Let b be l(-1). Let d be (-18)/(-20) + (-4)/b. Is d bigger than y?
True
Let s(m) = m**2 - 4*m. Let h be s(2). Let n(a) = -a**3 - 5*a**2 - 5*a - 5. Let x be n(h). Is -1 > x?
False
Let i = 909 + -909. Which is smaller: i or -1/436?
-1/436
Let o(a) = -a**2 + 2*a + 8. Let r be o(0). Let n be -4 - -6 - r/2. Which is smaller: n or -1?
n
Suppose 3*m = 545 - 473. Which is greater: m or 25?
25
Suppose -2*m + 21 = -7. Let j = m + -9. Suppose 0 = -9*f + j*f + 4. Which is smaller: -2/7 or f?
-2/7
Let k(r) = -r**2 + 2*r + 2. Let c = 27 - 27. Let f be k(c). Which is smaller: f or 1?
1
Let m be 3 - (0/(-1) + 2). Let n = 253/8289 + 2/307. Is m bigger than n?
True
Let r = -19 - -17. Let x(b) = -b. Let q be x(r). Let s be -1 + q - 72/76. Is s > -1?
True
Let p = 114.786 - -0.214. Which is smaller: -1/5 or p?
-1/5
Suppose 5*a - 31 = -4*y, -2*a + 22 = a - y. Let u be (38/4 - 2)*(-32)/(-12). Let b = 23 - u. Which is greater: a or b?
a
Let q = -0.03 + -52.97. Let s = q - -70.7. Let f = -17 + s. Which is smaller: f or -3?
-3
Suppose m - 2 = 5. Suppose -m = 5*c + 3. Let u be 2/(c - 4/(-4)). Which is bigger: u or 4?
4
Let r = -10947/236 - -67/59. Let x = 11153615/28 + -398299. Let l = r + x. Which is bigger: l or -1?
l
Let b(t) = t**2 + 10*t + 22. Let y be b(-5). Let x be 2*6/4 + 1. Let o be (5/x)/(y/24). Which is greater: 1 or o?
1
Suppose 1145 = 33*s - 208. Is s bigger than 43?
False
Let j be 90/(-4)*(-8)/6. Let r be (10/(-9))/((-20)/j). Is 3 less than or equal to r?
False
Let l = 26 - 45. Let i be (-8 - -6)/(24/3). Which is smaller: l or i?
l
Let z = -1868 - -465131/249. Is z smaller than 0?
True
Let r(c) = c + 13. Let d(k) = k + 14. Let u(w) = 5*d(w) - 6*r(w). Let f be u(-10). Let j = 13 - 9. Is j <= f?
False
Let z = -6.5 + 1. Let f = 5.52 + z. Which is smaller: 5 or f?
f
Let r(l) = -25*l - 24. Let h be r(-5). Let w = h + -1109/11. Suppose -2*o = -3*o + 1. Do w and o have different values?
True
Let k = -3.03 + 0.03. Let w = -0.69 - -0.23. Let c = -0.56 - w. Are k and c equal?
False
Let x be -6*(-1195)/(-1815) + 4. Is 0 less than x?
True
Suppose -104 = 2*p - 6*p. Suppose -v - 5 = -5*m + 19, 5*m + v = p. Let k(x) = 23*x - 17. Let y be k(1). Which is smaller: m or y?
m
Let w = 12 - 3. Let h(x) = -x**3 + 81*x**2 - x + 90. Let b be h(81). Do w and b have different values?
False
Let k be (-1)/(14/(-4))*(0 - 7). Let q(w) = w**3 - 3*w**2 - 5*w + 4. Let n be q(4). Are n and k non-equal?
True
Let p(u) = 0*u + 4 - 3 - u + 2. Let h be p(4). Let z be h/2*2*-1. Is z less than 6/5?
True
Let r = 17639/356 - 199/4. Let b = r + 982/1335. Which is smaller: b or 1?
b
Suppose 0 = -3*i - 681 - 162. Are -1/4 and i equal?
False
Let s be 7 - (8 - (9 - -80)). Which is smaller: s or 86?
86
Let v = 6393/14 -