?
c
Let u = -184 - -153. Which is smaller: -30 or u?
u
Let n = -0.06 - 0.14. Let g = 1.4 - n. Is -1/3 > g?
False
Suppose 3*p = 4*k - 0*k - 44, 0 = 2*k + 2*p - 8. Suppose -4*n = -0*b + 2*b - 24, -2*n - k = 0. Suppose 25*y - 23*y - b = 0. Is y less than 9?
False
Suppose -4*c = 4*m - 2*c - 30, -m = -2*c - 20. Let k = -13 + 14. Let s be k*3 + (7 - 0). Is m greater than or equal to s?
True
Let x be 104/16 + (-2)/4. Let l(i) = -2*i**2 - 5*i - 7. Let q(z) = z**2 + 3*z + 4. Let t(y) = -3*l(y) - 5*q(y). Let j be t(-2). Is j at most as big as x?
True
Let x = -6011/5229 + 5/747. Suppose 4*j = 2*j. Which is bigger: j or x?
j
Suppose -433 - 137 = -5*x. Suppose -6*c - x = 354. Let r be c/(-33) + (-4)/22. Is r not equal to 2?
True
Suppose -2*f + 2 = -s, 12*f - 18 = 14*f + 4*s. Let u(p) = -7*p**2 - 6*p - p**3 - 4 + 4. Let c be u(-6). Does f = c?
False
Suppose -5*i - 7 + 7 = 0. Suppose 2*z + 4 + i = 0. Is z bigger than -4?
True
Let y = -1.038 + 0.038. Which is smaller: 9 or y?
y
Let c = 0.331 + -0.041. Let p = 0.41 + c. Which is smaller: 1 or p?
p
Let j be (-2 + -1)*1 - -8. Suppose -u + v + 2 = 2*u, -5*u - 10 = -j*v. Let w be (-6)/u - (-10)/6. Which is smaller: -1 or w?
w
Let y be 185229/(-720) + (-5)/(-80). Is y equal to -258?
False
Suppose 7 = -6*a - 29. Let r(m) = m**3 + 7*m**2 + 7*m + 6. Let j be r(a). Let x = 57 - 59. Does x = j?
False
Let m be (-91)/(-117)*(-15)/(-1). Let t = -34/3 + m. Which is smaller: t or -7?
-7
Let k be (-4 - -3)/((-11)/(-4)). Let a be (-24)/(-18)*(-9)/(-12). Which is smaller: a or k?
k
Suppose j + 5*j - 228 = 0. Suppose 3*a + a - 2 = c, 0 = 5*c + 4*a - j. Which is smaller: 0 or c?
0
Let a = 4955443/723 + -6854. Which is greater: 0 or a?
a
Let u = -107 + 112.2. Let j = u + -15.2. Is j at most as big as -2/7?
True
Let k be 136 - 124 - 194/16. Is k at most 3/176?
True
Let d(z) = 2*z**3 + 21*z**2 + 24*z - 1. Let t be d(-5). Is t greater than or equal to 151?
True
Let l be (1 - 3)*((-15336)/156)/9. Is 21 < l?
True
Let u = -71 - -72. Let f = 5.3 - -1.7. Let s = f + u. Is 0.1 bigger than s?
False
Suppose 5*s = -w - 723, -16*s - 25 = -11*s. Is -698 <= w?
True
Let j = 28 + -142/5. Let y = 1.92 + 0.18. Is j at least y?
False
Suppose 2 = -5*x + 42. Suppose -7 = m + 4*y, -4*y - 26 = 2*m - x*y. Is m at most -11?
True
Let q = 281 + -280. Is -2/375 greater than or equal to q?
False
Let w = -0.4947 - 0.0053. Is w at most -5/3?
False
Let m be 2 + (9 - 2)*-2. Let x = 8 + m. Let l(i) = i + 4. Let o be l(x). Which is bigger: o or -4/9?
o
Let n(l) = l**3 + 6*l**2 + 8*l + 15. Let s be n(-5). Suppose 3*a - 4*c - 15 = s, -2*a + a + 16 = -5*c. Is 0.1 not equal to a?
True
Let p = -1172 - -1171.89. Suppose u + 4*u = -2*v - 20, -16 = 4*u. Let i be (v + 6/105)*5. Which is bigger: p or i?
i
Suppose 6*u - 7*u = 0. Suppose u = 4*i + 5*f - 67, -i - 4*i - f = -110. Is i greater than 24?
False
Suppose -3*q + 7*q + 16 = 0. Let b be 4 - (2/7)/((-4)/(-14)). Let x = q + b. Which is smaller: x or 2?
x
Let p = -30 - -31. Let d be 12/(-30)*5/49*p. Which is smaller: d or 0?
d
Let l = 108 - 92.4. Let p = 16 - l. Which is smaller: p or -3/5?
-3/5
Let i = 0 + 9. Let w = -8.946 + 0.046. Let y = w + i. Which is bigger: 2 or y?
2
Suppose 6 = -4*x - 10. Let n be (-10)/(-20)*(-2)/(-19)*x. Which is smaller: 0 or n?
n
Let q be (37/22 + -2)/(18/(-432)). Let g = -81/11 + q. Are 2 and g equal?
False
Let v be (-2)/15 - 472/60. Let k be (-10)/v*(-3 + (-32)/(-10)). Which is smaller: -1 or k?
-1
Let b = 601 + -629. Is b greater than -29?
True
Suppose 5*m + 54 = -j, 2*j = -m - 134 - 19. Do -78 and j have the same value?
False
Suppose 10*n - 2084 = -7114. Which is smaller: n or -504?
-504
Let u(r) = -5*r**3 - 5*r**2 + 8*r + 7. Let t(s) = 9*s**3 + 10*s**2 - 16*s - 15. Let z(q) = 4*t(q) + 7*u(q). Let y be z(-6). Do y and 4.4 have the same value?
False
Let q = -209584383/14740 + 56875/4. Is -1 less than or equal to q?
True
Let w = -78 + 80. Let i = -2 - 0. Is i at least w?
False
Let c(u) be the second derivative of -u**5/20 + u**4/4 + u**3/2 + 3*u**2/2 + u. Let v be c(4). Let q = 111 - 110. Is q smaller than v?
False
Let j = 1.701 - -0.499. Which is smaller: j or -0.9?
-0.9
Let v = 72/13 + -478/91. Which is greater: -37 or v?
v
Suppose 0 = m - 2*t - 187 - 199, -5*m = -t - 1957. Are m and 1178/3 equal?
False
Let a(h) = h**3 - 6*h**2 - h + 19. Let w be a(6). Let m(q) = -2*q**2 - 7*q - 4. Let r be m(-5). Let p = r + w. Is p <= -6?
True
Suppose -25*y + 29*y + 4 = 5*c, -5*y - 4*c = 5. Let s = -146488/95 - -1542. Which is greater: y or s?
s
Let u be (-14)/(-20)*2 + 12/20. Suppose -4*k + 6 + 10 = -4*q, -u*k - 2*q = 12. Which is bigger: k or 3/31?
3/31
Suppose 3 = 2*y - 5. Let s be (y - 0) + (-88)/20. Let o be (1/21)/((-1)/(-3)). Which is smaller: o or s?
s
Let v be 10/(-21)*198/(-12). Which is smaller: 8 or v?
v
Suppose 4*s - s = -39. Let a be -12 - (4 - ((-10)/(-5) + 2)). Which is greater: s or a?
a
Suppose 10*w - 62 + 242 = 0. Is -34 at most w?
True
Let v(l) = l**3 - 8*l**2 + 6*l - 56. Let h be v(8). Which is smaller: h or 2?
h
Let a(u) = u**2 + 9*u + 15. Let f be a(-7). Let w be 15/590*4/(-3). Are w and f unequal?
True
Let x be -1*((-4)/(-6) + -1). Let d = -2705 + 2705.3. Is d at most as big as x?
True
Let i = -8.2 + 6.2. Let q = 8.7 + -6.7. Is q < i?
False
Let c = -171 - -172. Let y = -4.5 - -0.5. Let w = 7 + y. Is w < c?
False
Let t be 2 + 16/(-12) + 40/(-42). Which is greater: t or -0.037?
-0.037
Let s be (-1)/(-28) - 1/(-4). Let m = 22.3 - 22. Let h = 0.7 + m. Which is smaller: h or s?
s
Let j be 0/(16/(12 + -8)). Let u = -16 + 59. Which is smaller: j or u?
j
Let q be (384/(-80))/(0 + (-1)/15). Is 71 >= q?
False
Let s = 9.46 + -8. Let y = s - 0.46. Which is greater: 7/6 or y?
7/6
Let y be (91/(-7) + 12)/((-21)/(-6) + -1). Let c = -2.5 + 1. Which is bigger: c or y?
y
Let c be (-2)/(-4)*(-4 - (-6)/1). Suppose -w = w - 8. Suppose 0 = 5*r - w - c. Which is smaller: r or -18?
-18
Let n be 10*(-4)/(-4 + 0). Let b be (-68)/60 + n/75. Is b >= -6/35?
False
Suppose c - a + 17 = 0, a + 17 = -c - 4*a. Let m = 14 + c. Let g be 0/(m + 0 + 2). Is g > -1/18?
True
Let s = 1.77 - 0.9. Are s and 0 nonequal?
True
Let a(m) = 7*m - 188. Let z be a(26). Which is bigger: -33 or z?
z
Let j be (-1 - (-33)/29)*30/(-120). Is j smaller than -1?
False
Let v = 46 - -94. Is v equal to 141?
False
Let t be -6*((-12)/(-8))/3. Suppose q - 2*c = -2, 0 = 6*c - 2*c. Which is bigger: q or t?
q
Let i = 207.67 + -10.47. Is i greater than -1?
True
Let a(g) = -g**3 + 7*g**2 + g - 3. Let x be a(7). Let h be x/6 + 261/27. Do 9 and h have different values?
True
Suppose 51*s + 58 - 7 = 0. Which is smaller: 7/41 or s?
s
Let s be 430/25*5 - 2. Are s and 84 non-equal?
False
Suppose 0 = -3*r + y - 2 + 4, 0 = 3*r - 3*y. Which is smaller: -5/29 or r?
-5/29
Let v be 1/(-6) + 71/(-6). Let b be (25 + -1)*v/(-36). Let u be b/(-2) - 18/(-4). Which is bigger: 0.1 or u?
u
Let u = -38 - -68. Suppose 3*a + 5 + 40 = -4*l, 2*a = 4*l - u. Are 0 and a unequal?
True
Let p = 16 - 33. Let s = p - -17. Suppose -6 = c + 2*c. Is s at least c?
True
Suppose -8 = -2*f, 7*f = -4*g + 2*f + 28. Let l be 0 + g/(-1*2). Suppose 65*a - 73*a = 8. Are a and l unequal?
False
Suppose 4*s - 3 = -y + 17, -5*s = -25. Let u(m) = m**3 + 4*m**2. Suppose -2*j = -3*j - 4. Let c be u(j). Does y = c?
True
Suppose d + 5*u - 109 - 34 = 0, -5*u - 133 = -d. Which is smaller: 136 or d?
136
Let n = -33 + 53. Let o(h) = -2*h + 26. Let x be o(n). Let g be (-83)/(-14) - 8/x. Which is smaller: g or 8?
g
Let w(y) = 10*y + 42. Let o(b) = 3*b + 14. Let c(f) = -7*o(f) + 2*w(f). Let r be c(-9). Is r at least -9?
True
Suppose -4*t + 0 = a + 5, -5*t + 3*a = -15. Which is bigger: t or 30/31?
30/31
Let b be (-9)/(162/40) + (7 - 5). Which is smaller: 2/1323 or b?
b
Let o be ((-9)/6 + 1)*0. Suppose 2*q + 1 + 21 = o. Let x = -11 - q. Which is bigger: x or 2/31?
2/31
Let s be 3/(-21)*(-3)/42*26. Is -1 greater than or equal to s?
False
Let o = -2808 - -2805. Let q = 1.3 + -0.3. Which is smaller: q or o?
o
Let z = -605.8 + 606. Which is bigger: z or -389?
z
Let b(o) = o**2 + 6*o + 6. Let u be b(-7). Let s = 29 - u. Let z = 15 - s. Is -2/3 <= z?
False
Let x = 908/5115 - -2/465. Let p(m) = -m**2 + 3*m + 5. Let l be (0 + 0)/(-3) - -4. Let h be p(l). Is x < h?
True
Let s = -33 - -27.8. Let n = s + 4.9. Which is sm