e -3 + (-2 - v) + -1 - 18. Do r and -20 have different values?
False
Suppose -69*l + 282 = -67*l. Which is smaller: l or 142?
l
Suppose -2*k - 6 = 2*x, 68 = -3*x + 5*k + 51. Is -100/23 at most x?
True
Suppose -24*z = 10*z + 32810. Which is smaller: -966 or z?
-966
Let g = 0.1756 + 0.3444. Is g bigger than 2?
False
Let x = 26 + -15. Let y(c) = -c**3 + 11*c**2 - 3. Let v be y(x). Let a be (-6)/(-4)*(-5)/3. Which is smaller: v or a?
v
Let a be 12/(-35)*133/38. Which is greater: -2 or a?
a
Let j = 138/7 - 1228/63. Is j >= 9?
False
Let g = 3 + -2. Let j be (-1 - 1*30) + g. Let k = j + 86/3. Is k at least as big as -2?
True
Let w be (3/9 - -1)*(-75)/(-10). Let u be (-5)/20 - (-13)/4. Suppose -2*f - u*i + 28 = 0, -2*f + 3*f = 2*i + 7. Which is smaller: w or f?
w
Let j = -23.9 + 45.9. Which is smaller: -4 or j?
-4
Let s(c) = -c - 2. Let p be s(4). Let g be (-5 - -1) + (p - -10). Let t = 3 + -2. Which is greater: t or g?
t
Let g(v) = 2*v**2 - 91*v + 42. Let p be g(20). Does p = -978?
True
Let j = -42 - -24. Is j at most as big as -14?
True
Let y = -1793/30 - -73/30. Is -58 less than or equal to y?
True
Let n be (3 + 0 - -1)*4589/(-234). Which is smaller: n or -79?
-79
Let a = 30 - -7. Which is smaller: 1/3 or a?
1/3
Let t = 2422.1 - 2422. Let z = -26 + -6. Is z less than or equal to t?
True
Let s = -3.1 + 3. Let x be 18/8*(-4)/(-3). Let h(n) = 2*n + 1. Let u be h(x). Is u greater than or equal to s?
True
Let d = -157.97 + 158. Is -10 smaller than d?
True
Let f be (6*2/(-3))/(-2). Let k be (-120)/99 + f/3. Are k and -2 nonequal?
True
Let s = 1 - 15. Let a be 10/s + 6/(-21). Let p = 1341/17 - 79. Which is bigger: p or a?
p
Let t(w) = w**2 + 14*w - 3. Suppose -3*d = 26 + 16. Let c be t(d). Let f be (20/(-2))/(2*c). Is -0.2 less than f?
True
Suppose 0 = 2*u - 2*k - 82, 5*u - 49 = -5*k + 166. Suppose -p = 5*f - u, -2*f = -0*p - 5*p - 33. Suppose -3 = 4*z + f. Is z <= -1?
True
Let d = 30 - 20. Suppose -d = -j + 2*j. Suppose 4*t = -4*z - 28, 3*t + 2*z = -3*z - 13. Is j bigger than t?
True
Let x be (-12)/(-3)*(-5)/(-5). Suppose -8*z + 4*z + x = 0. Let r = -33 - -100/3. Is z >= r?
True
Suppose 0 = -2*o + i + 13, -i + 1 = 4*o + 2*i. Let b(q) = -q**3 + 6*q**2 + 2*q - 7. Suppose 7*p - 30 = 2*p. Let u be b(p). Is u >= o?
True
Let d be 2*26/8*2. Suppose -p + 40 = 2*p - r, 12 = p - r. Which is bigger: p or d?
p
Let d = -402 - -400. Is -16/13 less than or equal to d?
False
Let i(b) be the second derivative of -b**5/20 + b**4/4 - b**3/6 - 2*b**2 - 5*b. Let w be i(3). Which is bigger: w or -8?
w
Let v = -15 + 0. Let l = v + 14.93. Let m = l + -2.93. Is m less than or equal to -1/2?
True
Let g = 247.84 + -248. Let b = 6.1 + -6. Is b not equal to g?
True
Let p = -650 - -684. Do 33 and p have the same value?
False
Let u be 49/(686/(-840))*(-8)/(-18). Which is smaller: u or -26?
u
Let y be 29/2 - (-6)/12. Let r(f) = -2*f + 21. Let o be r(y). Let b = -17/2 - o. Which is bigger: b or 1?
1
Suppose -3*w + h = w - 10, -w = h. Suppose l + d - 3 - 2 = 0, d + 43 = 5*l. Let q be (-6)/l*(-10)/6. Which is smaller: q or w?
q
Let s = 290 + -342. Which is bigger: -54 or s?
s
Suppose -3*y - 2*c = 2*c + 17, 2*y - c = 7. Let f be -6*(4/(-3) - 0). Let o be (-19)/42 + f/28. Which is greater: o or y?
y
Let j = -86 + 55. Let x = 30 + j. Is -11 equal to x?
False
Suppose -4*p + 2*p + 2 = 0. Suppose 5*h - 3*w - 1 = p, -w = -4*h + 3. Let k = -639 + 4471/7. Which is greater: h or k?
h
Suppose 0 = -4*t + 4 - 0. Let v = 42509/68 - 2525/4. Let z = v + 811/102. Which is smaller: z or t?
t
Let r(m) = -m**3 + 6*m**2 + 6*m + 10. Let n be r(7). Suppose -2 = -n*u + 7. Let d = 3 - u. Do d and -2 have different values?
True
Suppose -3 = -3*x + 4*x. Let t be ((-930)/(-8))/(9/6). Let g = -78 + t. Which is greater: g or x?
g
Let w = 19968029/5082 + -23575/6. Which is greater: 1 or w?
1
Let h = 4.38 + -1.38. Which is greater: 0.209 or h?
h
Let d be 15/(-10)*(-40)/6. Suppose -q = -d*q - 99. Is q at least as big as -31/3?
False
Let s(r) = r**2 - 14*r - 26. Let f be s(16). Suppose 0 = -2*b - 0*b - 4*w + 14, 3*b = 3*w - f. Are b and -2/131 unequal?
True
Let f = 2.8 + -0.1. Let l = -4.22 - -6.91. Let a = f - l. Which is bigger: -2 or a?
a
Let f = -173/3 - -57. Let t = 0.138 + -16.138. Do f and t have different values?
True
Let i = -0.06 - 1.94. Let q = -717/13 - -55. Is i less than or equal to q?
True
Suppose -2*i + 7 + 223 = 0. Let r = 171 - i. Let t be r/(-20) + (-1)/5. Is -3 smaller than t?
False
Let w = 3.5 + 1. Let t = -5.2 + w. Is 3 > t?
True
Let y = -0.028 - 0.742. Let v = 6.33 - y. Let w = v + -1.1. Which is greater: w or -2/3?
w
Let d = -474 - -462. Which is smaller: -14 or d?
-14
Let p(o) = o**2 + 10*o - 4. Let i be p(-10). Let j be (-4)/(-6)*-3 - i. Suppose j*n - 5 = -5*a, -2*a + 2 = 3*n - 0. Which is greater: 3/2 or a?
3/2
Let r(x) = -x**2 + 6. Let p be r(3). Let b be (0 + p + 1)/2. Is -24 equal to b?
False
Let c be ((-2)/(-3))/(10/105). Let m be (-7)/((-21)/(-12)) + (0 - -14). Which is smaller: m or c?
c
Suppose 2*a = 3*d + 58, 0 = -12*d + 10*d - 4*a - 28. Let x(c) = c**2 + 13*c + 12. Let h be x(-10). Is d at least h?
True
Suppose -3*a = -2*a + 4*d - 19, d = 4*a + 9. Let o be a/8 + (-1)/(-4). Which is greater: o or 6?
6
Suppose -9*o - 16 = 794. Is -93 greater than o?
False
Suppose -5*y + 13 = p - 0*y, -1 = -p + y. Let w = 35 - 2. Suppose -6*s + w = -p*s. Is s bigger than 11?
False
Suppose -13*f = -5*f - 64. Let y = 11 + -4. Which is smaller: y or f?
y
Suppose -22 = 2*b + 20. Suppose 0 = -j - 9 - 12. Are j and b nonequal?
False
Let w(t) = -t**2 - t + 21. Let v be w(0). Let a be 1 + 1 + v/(-4). Which is greater: -4 or a?
a
Let a be ((-1)/25)/(4/(-10)). Suppose 0*u - 5*u = o - 13, -3*u = -2*o. Suppose 0 = -o*l + 3*l - l. Is l equal to a?
False
Let h = -9 - -10.5. Let t = -3.606 + 0.106. Let f = t + h. Is 7 at most as big as f?
False
Let t(q) = 13*q**2 - 6*q + 4. Let h be t(-2). Do 68 and h have the same value?
True
Let w(u) = u**3 - 9*u**2 - 10*u + 9. Suppose 3*j = -0*j + 12, -4*t = -4*j - 24. Let x be w(t). Which is greater: x or 11?
11
Let s = 167 - 163. Is s <= -0.4?
False
Suppose 3*z - g + 1 = 0, -g + 1 = z - 0*g. Which is greater: z or -10/19?
z
Let o = 566175/208 - 2722. Is -1 greater than or equal to o?
False
Let h = 903.66 - 945. Let x = -41 - h. Let n = 0.04 - x. Which is bigger: n or -2/13?
-2/13
Let o = -23 + 18. Let b be (-2)/4 + (-231)/(-42). Is o greater than b?
False
Let p = 200 - 204.78. Let z = 5 + p. Which is greater: 0 or z?
z
Let d = -1677 - -1751. Is -4 greater than or equal to d?
False
Let k be ((3 + -3)/(-3))/2. Is -32/43 smaller than k?
True
Let o = 17.33 - 17. Let k = o - 14.33. Let v = -22 - k. Which is smaller: -1 or v?
v
Let l(w) = w**2 - 36*w - 117. Let m be l(39). Is m at least as big as -1?
True
Let i(j) = -j**3 + 3*j**2 + 7*j - 6. Let g = -9 + 13. Let k be i(g). Suppose 0 = 2*l - k*l. Is 2 at least as big as l?
True
Let u = 6/2245 + 793/543290. Which is smaller: u or 0?
0
Let c(h) = h**2 - 10*h - 9. Let g be c(11). Let s be (-2)/g*(-4856)/32. Let q = s - 153. Is -0.2 equal to q?
False
Suppose -18*y = -15*y + 9. Let g = y + 4. Which is smaller: g or 8?
g
Let j be -2 - (13 - 1)*(-1219)/(-106). Is j greater than or equal to -137?
False
Let q = -0.706 - 2.294. Which is bigger: q or -135?
q
Let s(y) = -17*y**3 + 2*y**2 - 3*y + 2. Let x be s(1). Is -50/3 at most as big as x?
True
Let l = -822 - -877. Is l at least 51?
True
Let x = -124 - -123. Let f be ((-12)/243)/((-1)/3381). Let t = f - 167. Do x and t have the same value?
False
Let j = -0.3838 - 19.4462. Let n = 0.17 - j. Which is bigger: n or 2?
n
Let g = 48/5 + -603/55. Which is smaller: g or -10?
-10
Let x = 14.14 + -13.7. Let t = x + 13.56. Is 3 greater than t?
False
Suppose 0 = -2*z - 2*h, 39*z = 44*z + 4*h. Is 2/461 bigger than z?
True
Suppose -5*m = -4*m - 3. Let f be 1*(6 - (-5 + 6)). Suppose -m*p = -f*p. Which is bigger: p or -4/5?
p
Let d = 167 + -166.8. Let s = -0.008 - 3.092. Which is smaller: s or d?
s
Suppose m = -5*j + 14, 7*m = 3*m + 5*j + 6. Let n be (4 - -2)/3*m. Let w = 0 - -7. Which is smaller: w or n?
w
Let s be 26/((-1)/(-6)*372/155). Which is smaller: s or 329/5?
s
Let h = -207 - -324. Which is greater: 118 or h?
118
Suppose -9 + 1 = -4*w. Suppose d - 18 = 3*a, d + w*a + 7 = -0*a. Suppose 2*q + 5 = d*q,