?
True
Let h be 1535*3/(-21) + 22/77. Is h smaller than -219?
False
Let l(a) = a**3 - 5*a**2 + 3*a - 17. Let q(w) = w**2 + 9*w + 5. Let p be q(-9). Let z be l(p). Is 1/2 smaller than z?
False
Let q be (-5 - -14)*(-2)/153*-3. Is 0 at most q?
True
Suppose -742*u = -762*u + 35120. Is u at most 1/4?
False
Let r = 382 + -381. Is -16 bigger than r?
False
Let o = 358 - 359. Which is greater: o or -1/142?
-1/142
Let c = -42 - -127/3. Let r be (-2 - (-296)/156)*3. Let s = r - -2/91. Which is bigger: c or s?
c
Let h be -142*3/6 + 1. Which is bigger: h or -7?
-7
Let n = -0.25 - -0.1. Let g = n + 0.14. Let p = 49/572 - -5/52. Are g and p unequal?
True
Suppose -h + 0 = -m + 6, 2*h - 15 = -m. Let v(y) = 2*y**3 - 3*y**2 + 2. Let n be v(2). Suppose 30 - n = 3*i. Which is smaller: i or m?
i
Let a(y) be the third derivative of 7*y**5/60 - y**3/6 - 2*y**2. Let c be a(-2). Suppose -21 - c = -3*k. Does 17 = k?
False
Suppose 0*j + 5*i - 75 = -2*j, -2*i = -10. Let v = 54 - 8. Let k = j - v. Which is greater: k or -20?
-20
Suppose 0 = 4*b - 224 + 56. Which is smaller: 43 or b?
b
Let y be 120/72*24/70. Is 2 at most as big as y?
False
Suppose 2*t = p - 21, p + t + 30 = 3*p. Let q be (2 + -1)/(1/p). Which is bigger: q or 12?
q
Let l = -1295984/35 + 190192/5. Let m = -1004 + l. Which is bigger: 5 or m?
m
Suppose -5*q = 3*r + 8, r = -r - 2*q. Suppose r*o + 6 = 5*o. Let v be (-189)/(-39) - o/(-39). Is v >= 4?
True
Let k(l) = -l**2 + 12*l + 34. Let w be k(14). Let y be 26/39 - 4/w. Is -1/4 less than or equal to y?
True
Suppose 0 = -4*j - 4224 - 3156. Let h(b) = 20*b**2 - b - 5. Let d be h(-5). Let u be (-4)/(-18) + d/j. Do 0 and u have the same value?
False
Let m = -22 + 27. Suppose 0 = -l - m + 5. Do l and -1 have different values?
True
Let s = -1078/27 - -40. Let m = 6 - 5. Suppose -l + 0 + m = 0. Do s and l have the same value?
False
Let l = -11 - -8. Let a = -2 - l. Let s = 125.5 - 125.4. Which is greater: s or a?
a
Let b be -1 + (14/5 - 8/10). Let n be 14/572*164 - (b - -3). Which is smaller: 1 or n?
n
Let c(f) = f**3 - 4*f**2 + 4. Let k be c(4). Suppose k*g - 8 = 0, 4*t - 2*t - 4 = -4*g. Let j = -0.1 + 0.2. Which is smaller: t or j?
t
Let m = -0.027 - 21.973. Let t = 39 + m. Is 1 at least t?
False
Let c = -49.944 - -50. Let s = c + 0.074. Which is smaller: s or 3?
s
Let w = 118587/59 - 2010. Are w and -1 equal?
False
Let l = 31 - 55. Let g be (-10)/(-6)*27/l. Is -1 equal to g?
False
Suppose d + 24*u = 23*u - 2, 2*u - 2 = 4*d. Which is smaller: 1/2266 or d?
d
Let p = 498 - 496. Suppose -2*q + 2*v = -12, -5*v - 1 = 4. Is q greater than or equal to p?
True
Suppose 0 = -3*j - d - 18, 4*j + 4*d = j - 18. Let g = j + -1. Suppose 33 = -5*n + 2*o, -4*n + o + 2 = 26. Are g and n equal?
False
Let l = -1/717 + -1901/7887. Let r = l - 1/11. Is -22 at least as big as r?
False
Let k = 30 + -19. Let m = -11.1 + k. Is m less than -0.1?
False
Let x(a) = -a**2 + 3*a + 3. Let l = 14 - 10. Let v be x(l). Let m(t) = 2*t + 1. Let f be m(v). Is -4 != f?
True
Let c(b) = -b**2. Suppose 3*i - 3 + 9 = 0. Let g be c(i). Which is greater: g or -2?
-2
Let q(d) = -3*d - 5. Let t be q(-4). Let p = -4 + t. Suppose s = w - 3*w + 6, 0 = p*s - 2*w - 10. Which is bigger: 3 or s?
s
Let k be (-24)/(-10) - (-8)/(-20). Let i be (-23)/k + (-3 + 0)/(-6). Is -8 at most i?
False
Let g = 227 + -668/3. Suppose 3*h + 3*s = -3, -2*h - s - 5 - 2 = 0. Let c = h + 10. Is g less than c?
False
Let y = 95 - 91. Which is greater: 27 or y?
27
Let i(r) = r**2 - r - 1. Let w be i(-1). Let z = 141 + -4373/31. Is w at least as big as z?
True
Let v be (2/7)/(4/(84/(-387))). Which is bigger: 1 or v?
1
Let d be 16 + -16 + -11 + 0. Let q(n) = -4*n - 42. Let y be q(d). Let l = 2 + -2. Is l bigger than y?
False
Suppose -63*r = -82*r + 57. Is r at least 10/3?
False
Let i(b) = b**3 + 9*b**2 + b + 1. Let v be i(-8). Suppose 2*q - 2 - 110 = 0. Is q greater than v?
False
Suppose -21*t = 53 - 11. Let z = 311 - 1255/4. Is t bigger than z?
True
Let x = 12 - 7. Suppose 0 = 5*c + 3*a - 2*a - 20, 5*c = x*a - 10. Suppose -3*w - c*l = -9, -4*l + 17 = -3*w - 2. Is -6/11 > w?
True
Let i be 2/(-13) + 386/(-26). Let u = -12 - i. Suppose 2*m + 6*j + 11 = 5*j, u*m - 5*j = -10. Which is greater: -6 or m?
m
Let i be (3 - 6/26) + -4. Let f = -265883/26 - -10222. Let s = i + f. Which is bigger: -7 or s?
s
Let n = -31.9 - -32. Let l = 1036/23 - 45. Which is bigger: n or l?
n
Let n = -0.0057 - -49.8057. Let g = n + -50. Is g greater than or equal to 2.8?
False
Suppose 2*w + g = -g + 14, 0 = 4*w - 3*g + 7. Suppose 8*v - 4387 - 1997 = 0. Let z = v - 7172/9. Which is greater: z or w?
w
Suppose 34*t = -2*t + 108. Let r be (-30)/(-12) - 2/(-4). Is t < r?
False
Let u = 3/32 + 241/160. Which is smaller: u or -0.1?
-0.1
Let u be (-2)/(-21)*(-5)/(-10). Let t(w) = w - 1. Let n be t(12). Let h(z) = z - 11. Let l be h(n). Which is greater: u or l?
u
Let y = 7 + -6.2. Let o = -0.6 + y. Suppose -15*r = -8*r + 35. Do r and o have the same value?
False
Let v be -33*((-20)/24 + 4/8). Suppose 7*f - v = -60. Is -7 not equal to f?
False
Suppose -5*j = 4*z - 45, -3*j + z = 2*j - 45. Suppose 2*r - 2*t = 32, 6*r = r - 5*t + 120. Let n = r + -14. Is n < j?
True
Let o = 37 + -38.38. Let z = o - -1.28. Is 7 <= z?
False
Suppose 4*y - 5*v = 1 - 3, 4*y - 4*v = -4. Let h be 0 + y + 2 + 7. Let n be (-4)/h + 7/(-3). Does n = -4?
False
Let h = 0.0617 - -5.9383. Which is greater: -0.1 or h?
h
Suppose k - 4 = y + 2*y, 2*k - 4*y = -2. Let l(u) be the second derivative of -13*u**5/20 - u**4/4 + 2*u**3/3 - 6*u. Let t be l(1). Which is smaller: t or k?
t
Let q = 2.3 + -0.3. Let m = -12.4 - -30.2. Let v = 18 - m. Which is smaller: q or v?
v
Let n = -29 - -29.37. Let h = -0.56 + n. Which is smaller: -1/3 or h?
-1/3
Let r = 1280 - 14054/11. Which is smaller: 3 or r?
r
Let p(n) = -n**3 - 10*n**2 - 4*n + 4. Let j be p(-9). Are -169/4 and j nonequal?
True
Suppose -6*b + 65 = -b. Let r = -11 + b. Suppose 0 = -r*x - x + 3. Is 3/7 != x?
True
Let b be (-2)/(((-4)/(-15))/((-46)/(-115))). Which is smaller: b or -7?
-7
Let m = -5605989/454 - -12348. Which is bigger: m or -1?
m
Let b(z) = z**2 + 4*z - 4. Let m be b(-5). Let y = -281 - -113. Let a = y + 3191/19. Which is smaller: m or a?
a
Suppose -15*v + 405 = -375. Which is bigger: v or -3?
v
Let t be (-156)/10*2/((-8)/10). Let j(c) = -12*c - 6. Let g be j(5). Let l be 95/g - t/(-26). Which is bigger: 1 or l?
1
Let f(t) = -4*t - 26. Let i be f(-5). Suppose 2*r - 5 = -31. Let x = r - -8. Which is smaller: x or i?
i
Let v be (-4)/(-16) - (-2)/(-8). Let u = 3 + 3. Let t = v + u. Which is smaller: t or 5?
5
Let w be 9 - -14 - ((5 - -1) + -3). Which is bigger: w or -5?
w
Suppose -3*r + 40 = 43. Which is smaller: -4/57 or r?
r
Let m = 48 - 42. Let v be (m - 2) + (-1)/(-1). Which is greater: 38/7 or v?
38/7
Let g be 16/10 - 4/(-10). Suppose g*b + 8 = 20. Suppose 2*a + b = 2*h - 0*h, 5*h - 20 = 0. Are -1/7 and a unequal?
True
Let j = 77/5 + -313/20. Are j and 7.2 non-equal?
True
Let o = -0.05 + -0.05. Suppose -3*i + 9 = c, -5*c + i = 4*i + 3. Is c smaller than o?
True
Suppose r - 14 = -3*r + 3*d, 5*r = 4*d + 17. Suppose -r*t = -3*n + 2, 5*n - t = 6*n - 6. Let m be (38/57)/(n/42). Does 6 = m?
False
Let x be 23/46 + (-1)/(2/(-545)). Is 273 <= x?
True
Let q = 0.5 + -0.6. Let u = 0.093 + -5.993. Let p = u - -6. Which is greater: p or q?
p
Let c be 9366/(-49)*2/16. Let v = c + 43/7. Is v at least as big as 2/5?
False
Let f = -0.026 + 0.366. Is f >= 0?
True
Let b be ((-54)/(-81))/(2/(-6654)). Is -2217 less than or equal to b?
False
Let p(k) = -k**2 + 4*k + 9. Let w be p(4). Suppose 0 = w*q - 11*q + 12. Let d(z) = z**3 - 5*z**2 + 5. Let m be d(5). Which is greater: q or m?
q
Let d = 0.8 + -1.5. Suppose 3*x = -4*u + 222, -2*u - x - x = -112. Let m be (-120)/u + (-2)/(-9) - -2. Which is bigger: m or d?
m
Let z = -2132/10927 - 2/223. Is z equal to 1?
False
Let o(q) = -10*q + 100. Let y be o(-4). Which is bigger: y or 141?
141
Let b be -1 + 3062/2042 - 245/490. Which is greater: b or -1?
b
Suppose m = -m - 20. Let x = 1 + m. Let z be ((-3)/x - 0)*6. Is 5/2 equal to z?
False
Suppose 4*s + 19 = -4*q + 67, 0 = -5*q - 2*s + 45. Suppose 0*k = -k + q. Suppose -k*o + o = -48. Which is bigger: o or 6?
o
Suppose 0*s = -3*s - 3*m - 522, 0 = -2*s + m - 333. Let x be (-3692)/s + (-4)/