?
False
Suppose 2*s - 3 = 3*s. Let z be ((-4)/10)/(1/(-20)). Let q = 6 - z. Which is greater: q or s?
q
Suppose 2*r - b + 17 = -0*b, 5*r + b = -32. Let j be 2/r + 38/35. Which is smaller: 0 or j?
0
Suppose d + 5*t - 14 = 0, 0 = 3*d + 2*t - 5*t - 6. Let q be (d/(-6))/(12/(-54)). Which is smaller: 1 or q?
1
Let o be 2*1*(-6)/6. Let x = 1 - 0. Let h be (x*(-4)/(-6))/o. Which is smaller: h or 0?
h
Let y be 1 + 0 + 7/84*-4. Which is smaller: 9 or y?
y
Suppose -3*m + 2*u + 12 = 0, 0 = 5*m - 6*u + 2*u - 20. Let r be (-1)/m - (-152)/(-32). Is r at most as big as -6?
False
Let z = -30 - -29. Which is smaller: -14 or z?
-14
Let a be (-6)/33 + 780/(-66). Let l = a - -17. Which is bigger: 3 or l?
l
Suppose -g = -0*g - n - 1, -2*g + n = 2. Let m be ((-2)/3)/(2/3). Is g greater than m?
False
Let d = 2/65 - -311/455. Which is smaller: 2 or d?
d
Let y be 58/16 + -10 + 5. Is y smaller than -2?
False
Let f = -24/17 + 25/102. Let y = -1/2 + f. Let a be 6/4*-2 - 0. Are a and y nonequal?
True
Let d(k) = k + 9. Let n be d(-8). Suppose -3 = -b - n. Suppose 0 = 2*j + j + y - 11, j + 4*y = 11. Which is greater: j or b?
j
Let w = -496 + 1997/4. Let c = -3 + w. Does -8 = c?
False
Let x = 134 - 134.1. Let q(v) = 6*v**2 - v + 1. Let h be q(1). Let n = h - 8. Which is bigger: x or n?
x
Suppose 6*d + 75 + 9 = 0. Do -14 and d have the same value?
True
Let n = -0.93 + -0.07. Let s = 0.3 + -0.8. Let f = -0.1 + s. Which is bigger: n or f?
f
Let l(t) = -t + 4. Let i be ((-10)/6)/((-1)/3). Let p be l(i). Let s be 1 + -3 - 1*-4. Is p at most s?
True
Let g(x) = x**3 - 8*x**2 + 7*x - 10. Let a be g(7). Let u = -11 - a. Is -1/6 at least u?
True
Suppose -9 = -4*z - 21. Let n(c) = c + 4. Let d be n(z). Are d and -1/13 unequal?
True
Let c = -333.0616 - -0.0616. Let l = -339.04 - c. Let n = l + 6. Which is smaller: n or 1?
n
Let n = 9 - 4. Suppose 0 = n*o - 44 - 51. Let l be (o/5 + -3)/2. Which is bigger: 1 or l?
1
Let l = 1/73 + 62/803. Which is greater: l or -1?
l
Suppose -6*t + 2 = -5*t. Let f(j) = 3*j - 2. Let c be f(7). Let q be c/15 + 4/(-6). Do t and q have the same value?
False
Let m = -9 + 12. Which is smaller: 4 or m?
m
Suppose -6*m + 2*m = -12. Let l = 3.9 - 4. Which is greater: m or l?
m
Suppose 4*o + 10 = 74. Which is bigger: o or 14?
o
Suppose -2*i = 13 - 11. Let k be i/(-3)*(-6)/56. Which is smaller: 0 or k?
k
Suppose -2*n - 3*n + 60 = 0. Let o = n - 4. Let m = 49/6 - o. Which is smaller: m or 0?
0
Let o = 55 + -104. Is -48 less than o?
False
Suppose -8*j + 10*j - 4 = 0. Let r = -0.1 + 0.1. Which is smaller: r or j?
r
Let z be -3*(-4)/(-30)*-35. Let d be (5 + -7)*z/4. Is d equal to -6?
False
Suppose -2*c = 3*c. Suppose 0*d - 4*d - 2*i = -44, 3*i = 12. Let a be ((d*-1)/3)/(-3). Which is bigger: c or a?
a
Let f be (-46)/(-88) - (-1)/2. Let m = f - 14/11. Is -0.3 greater than or equal to m?
False
Let w = -148 + 146. Which is smaller: w or -8?
-8
Let j = 6 - 7.3. Let q = -1 - j. Is -2/3 greater than q?
False
Let a(h) = -h**3 - 6*h**2 - 5*h + 3. Let c be a(-5). Suppose -5*l - c + 33 = 0. Do 0.1 and l have the same value?
False
Let y = 17 - 18. Which is greater: y or -2/31?
-2/31
Suppose -3*y + 15 = -21. Let q be (y/(-2))/(-3 + 5). Is q at most -2?
True
Suppose 360 = -2*s + 2*b, 0 = 2*s + b - 6*b + 360. Let g = s + 545/3. Suppose 11 - 1 = -5*d - 3*m, 30 = 5*d - 5*m. Is g > d?
True
Let t be 15/(20/16 - 2). Is -20 less than t?
False
Suppose c = -c + 8. Let x = c - 5. Are x and 2/9 non-equal?
True
Suppose 0 = -4*t - 2*i - 18 + 46, 5*i + 14 = 4*t. Suppose 5*m - 8 = 3*m. Suppose 4*r + o - 22 = 0, -m = o - 6. Which is smaller: r or t?
r
Suppose -j = -2*b + 5, -3*b + 3*j = 4*j. Let d = 0.6 - 6.6. Let w = d - -7. Is w <= b?
True
Let w = 83 + -74.8. Let j = -8 + w. Does 0.4 = j?
False
Let x = -36 - -106. Suppose x = -5*m - b, -5*m - 13 = 5*b + 77. Is -13 equal to m?
True
Let u = 1889/14 + -135. Which is smaller: 1 or u?
u
Suppose -8*q + 3*q - 130 = 0. Is -26 less than or equal to q?
True
Let y = -0.87 - -0.07. Let f = 0.6 + y. Is f less than 3?
True
Let d(t) = 2*t**2 - 5*t + 4. Let m be d(3). Is m < 1?
False
Suppose 0 = k + 4*z - 4, -4*k - 3*z = z - 16. Let o be 3/6*(7 - 1). Let v = o - k. Is -2 bigger than v?
False
Let t = 2 - 4. Let c = 3 + t. Let j be -1 + -3 + 24/5. Is c less than or equal to j?
False
Let d(x) = 2*x**3 - 21*x**2 + 11*x - 10. Let g be d(10). Which is bigger: g or -2/79?
g
Suppose 0 = -3*g - 2*f + 3*f + 30, -2*g + 2*f + 24 = 0. Let m = 5 - g. Is m equal to -9/2?
False
Let s(m) = m**2 - 5*m + 2. Let b be s(5). Suppose 0 = b*t - 0*t. Which is smaller: t or -1?
-1
Let g be (-5 + 6)*(1 + 0). Suppose 2*r + i = g, -r + 5*i = -3*r + 13. Let v = r + 2. Does -2/17 = v?
False
Suppose 0 = -5*b - 0*b + 20. Let h = -5 + b. Which is greater: h or 5/2?
5/2
Suppose j + 1 - 3 = 0. Let f = -1 - -6. Suppose -f*y - j = -7*y. Is y equal to 0?
False
Suppose -v + 26 = 4*b, 0*v - 3*v - 24 = -5*b. Suppose 4*k = -b + 2. Let h = 1 + k. Which is smaller: -2/13 or h?
-2/13
Let z(j) = j + 13. Let v be z(-12). Do -4/17 and v have different values?
True
Let g(z) = z**2 - 17*z - 15. Let b be g(18). Which is bigger: b or 9/4?
b
Let q = -8 - -10. Which is smaller: q or 9?
q
Let l = -67894/39 - -1741. Which is greater: 1 or l?
1
Let r = 17 + -15. Let l = 2 - r. Is l < 1/2?
True
Suppose -4*o - 4 = -2*o. Which is greater: -16/9 or o?
-16/9
Let c = -10.6 + 11. Let g = -0.6 + c. Which is greater: 1/3 or g?
1/3
Let f = -0.12 + -0.08. Which is greater: -1/2 or f?
f
Let r(h) = 5*h + 22. Let v be r(-6). Is -4 at most v?
False
Let m = 15 + -9. Suppose -m*o = -o. Suppose -2*j = 4*s - 12, -3*s - 8 = -5*j + 9. Is o < s?
True
Let i be (-36)/10*30/(-12). Let c be (-1)/2*6/i. Is -0.07 at most c?
False
Let m be 489/24 + 12/(-32). Let t = m - 15. Let d(s) = s**2 - 3. Let g be d(3). Which is bigger: t or g?
g
Let w be (-9)/(-10) - (-4)/(-10). Let m(h) = h**2 + 8*h + 2. Let o be m(-8). Which is smaller: w or o?
w
Let h(z) = -z**3 + 2*z**2 - z + 2. Let o be h(2). Let y be 12/(-16) - (-2182)/40. Let b = -54 + y. Is o equal to b?
False
Suppose 0*b = -4*b. Suppose w - 8 = -7. Is b != w?
True
Let u = 30/13 + 31/26. Suppose 4*b - b + 12 = 3*d, 3*d = 5*b + 14. Which is greater: u or d?
u
Suppose 4*f = -r + 10, 5*r - 2*f = -0*f - 16. Which is greater: r or 2?
2
Let m = 5 - 2. Suppose -16 = 3*z + 8. Let u = -9 - z. Are u and m nonequal?
True
Let v be ((-2)/5)/((-85)/(-150)*-8). Which is greater: v or 0?
v
Let b = 20/81 + -2/81. Which is greater: b or 0?
b
Suppose -6*i = -5*i + 31. Is i at least -32?
True
Let b = -1 + 0. Let r = 852 - 851.9. Is r smaller than b?
False
Suppose 2*p + 2*n - n = 0, -3 = -5*p - n. Which is smaller: -2 or p?
-2
Let x be 0/((-3)/((-3)/(-2))). Suppose x = -l - l. Let r = 1 + l. Is -1/5 greater than r?
False
Suppose 38 = 2*f + 3*d, 0 = -5*f + 2*d + 114. Let x = f + -21. Is 4/7 > x?
False
Let d = -8 - -8.1. Suppose 0*z = 5*z - 20, z = i. Let k = i - 1. Which is smaller: k or d?
d
Let g = -92.2 + 92. Is g at least as big as -14?
True
Let q = 24 + -8. Which is greater: q or 17?
17
Let l be ((-55)/10 - -4) + (-2)/(-4). Do l and -5/7 have the same value?
False
Suppose 4*f - 4*n - n - 22 = 0, 5*f + n = 13. Let z = f - 4. Are z and 1 non-equal?
True
Let p = 94 + -486/5. Is p greater than -3?
False
Let s = -0.06 - 3.44. Let d = s - -4. Let v = d - -0.5. Is 1 at least as big as v?
True
Let d = 3 + 1. Suppose 0 = 5*q - k - d, q + 27 - 7 = -5*k. Which is bigger: q or 1?
1
Suppose -3*v + 29 = 4*x, v + 3*x = -2*x + 28. Suppose 16 - 6 = 5*l. Let u = l - v. Is u less than -2?
False
Suppose 2*y = -4*b + 16, y + b = 6*b - 6. Let t be y + ((-672)/(-44))/(-4). Which is smaller: -1 or t?
-1
Let q = -2 + 0. Let j(i) = -i - 4. Let f be j(q). Let k = -1 + 0. Which is bigger: k or f?
k
Let w(v) = -2*v**2 - 30*v - 1. Let h be w(-15). Which is bigger: h or -6/31?
-6/31
Let c = 12 - 12.17. Let p = -2.17 - c. Which is bigger: 3 or p?
3
Let w be (-77)/(-105) - 1/3. Which is smaller: w or 3.1?
w
Let g = 4 + -5. Which is greater: -4 or g?
g
Let n = 0 - -1. Let f = -5 + n. Let s = f + 4. Is s smaller than 0?
False
Let p = 4 + -3. Which is greater: -4 or p?
p
Let d = 497 + -102. Let f = d - 390.97. Let t = 0.03 - f. Is -1 >= t?
True
Let c = -21.9 - -22. Is c less than -0.057?
False
Let o(v) = 0 - v + 2 + 7. Let y be o(6). Let k be 34/1