t - 12, -72 = 3*b - 8*b - 3*t. Let x = 13 - b. Which is bigger: i or x?
i
Suppose -w - 2*a + 35 - 84 = 0, 5*w = 3*a - 232. Which is greater: w or -48?
w
Let j be 50/(-15) + 4/(-6). Let f be 1/j + (-99)/36. Let i be 20/(-15)*3/2. Is i greater than or equal to f?
True
Suppose 0*z + 6 = 2*z. Suppose 8 = -5*g + z. Let f be (-6)/(-9)*(-1 + -2). Which is bigger: f or g?
g
Let r = -16 - -3. Let h = 10 + r. Which is bigger: 0 or h?
0
Let j = -27 - -46. Suppose 4*a - j = 3*o, -4*a + 5 = -2*o - 9. Which is bigger: -6 or o?
o
Let b = 9 - 15. Let o = -1 - b. Which is smaller: o or -1/5?
-1/5
Let s = 81 - 56. Are s and 24 nonequal?
True
Let v(p) = -2*p**2 - 10*p - 8. Let q be v(-4). Let o be ((-18)/8)/3*-4. Let h be 1 + (-6)/o - q. Is h greater than 0?
False
Suppose -1 = 4*r + l + 2, r + 3*l - 13 = 0. Let c be 2/((-4)/(1 - 3)). Let j = -3 + c. Is r bigger than j?
False
Let l be ((-27)/(-63))/(4/7). Let j be 4 + -1*(-2)/(-2). Suppose w + 4*c - 15 = -6, j = w + c. Are w and l equal?
False
Let v(r) = -r + 3. Let z be v(5). Let b be (-6)/z + 56/(-20). Suppose 0 = -i - 0 - 1. Which is greater: b or i?
b
Suppose -5*l - 5*k = -9 - 6, -4 = 4*l - 4*k. Which is smaller: l or 26?
l
Let y = -13 - -10. Is y at least as big as -5?
True
Let f = -32/3 + 730/69. Suppose 80 = -8*c + 6*c. Let y be ((-16)/c)/(4/10). Which is bigger: f or y?
y
Let x(h) = h**2 - 15*h + 14. Let i be x(13). Is -2 not equal to i?
True
Let u(n) = 2*n**3 - 10*n**2 + 1. Let f be u(5). Let s = 4217/17 - 248. Which is greater: s or f?
f
Let l(f) = -f + 21. Let u be l(14). Suppose -11 = q + 3*m, -u = 2*q - 5*m + 4. Which is bigger: q or -0.1?
-0.1
Let b = 50 - 29. Are b and 1 equal?
False
Let b = 9 - 6. Suppose -3*g + 4*w + 13 = 0, g - 5*w + b = -0. Suppose -4*u + 0*a + 23 = a, 0 = 5*a + 5. Is u <= g?
True
Let g = 0.15 - -2.55. Let i = 2.3 - g. Is 0.2 less than i?
False
Let h = 2.02 + -2. Let n = 8 + -13. Let j = 6 + n. Are h and j nonequal?
True
Suppose -3*g - m - 22 = 0, -4*m + 0*m = g. Which is greater: g or -10?
g
Let i be (3/2)/((-4)/(-8)). Suppose 7*k = i*k + 8. Let b = -4 - -5. Is k at most as big as b?
False
Let i be (-168)/(-16) + 2/1 + -1. Which is bigger: i or 0?
i
Let x be ((-3)/(-1))/((-126)/(-24)). Is 1 at least as big as x?
True
Let a be -3 + 644/(-18) + 12/(-54). Which is smaller: a or -37?
a
Let r = -3 + 6. Suppose 5*s = -r*x + 31, 9 + 12 = -2*x + 5*s. Let m be x - -1*(1 + -2). Is 4/5 greater than m?
False
Let l(b) = -b**3 + 5*b**2 - 4*b + 2. Let c be l(4). Let y(n) = 2*n**c + n**3 - 4*n - 6*n**2 - 3 + n**2. Let z be y(4). Is z equal to -3?
True
Let k(f) = 21*f - 19*f + 4 + 8. Let h be k(-6). Is -2/21 equal to h?
False
Let u = 5 + -10. Which is bigger: 1 or u?
1
Let p = 2/929 - 1121/89184. Which is greater: p or 0?
0
Suppose p = -4*w - 8 - 9, 9 = 2*w - 3*p. Is 2/11 bigger than w?
True
Let q be ((-52)/110)/(48/(-30)). Let a = q - -3/44. Do -1 and a have different values?
True
Let i be (-16)/(-24) + (-50)/3. Which is smaller: -13 or i?
i
Let d = -9 + 6. Let y be 1*(-8 - (-3)/1). Let b = y - d. Is -3/2 < b?
False
Let l be (-1)/2*(-6)/9. Suppose 6*w = -9 - 3. Which is smaller: l or w?
w
Let k = 0.91 + -1. Let d = -1.09 - k. Let s = 8 - 11. Which is bigger: s or d?
d
Suppose o + 2*m + 4 = 12, 0 = 2*o - 5*m + 20. Is -2/25 less than o?
True
Let s = 1 - -4. Suppose -4*j + 26 = -50. Let p = 24 - j. Is s < p?
False
Let q = 2.9 + -2.9. Let l = -0.2 - -0.3. Is q != l?
True
Suppose 0 = -5*q + 7 - 287. Which is smaller: -55 or q?
q
Let y = -6.9 - -7. Let z = y - -2.9. Does z = 2?
False
Let u = 17 - 52/3. Let t(l) = -l**2. Let m(o) = 6*o. Let a(r) = m(r) - t(r). Let i be a(-6). Does i = u?
False
Suppose -4*l + 9 = -3. Suppose -l*r + 26 = -5*p, p - 5 + 1 = -4*r. Let k = r + 0. Is 1 less than or equal to k?
True
Let o(k) = -2*k**2 - 47*k + 23. Let t be o(-24). Which is smaller: -8/13 or t?
t
Suppose v + v - 4 = 0. Let o(t) = -3*t - 2. Let j be o(-2). Which is greater: v or j?
j
Let j = -2/7 - -29/28. Is j >= -1?
True
Let i be (-118)/(-5) + 12/30. Let z = i + -16. Is -2/5 < z?
True
Let v(z) = -z**2 + 5*z - 1. Let u be v(4). Is u >= 2?
True
Let g = -37/55 - -14/11. Let h(d) = d + 6. Let z be h(-4). Is g smaller than z?
True
Let w = 92 + -452/5. Which is smaller: w or 3?
w
Let b = -8.6 - -6.2. Is b at least as big as -2?
False
Let b = -22.1 - -22. Which is greater: 22 or b?
22
Let v(z) = -z**2 - 11*z - 8. Let p be v(-10). Suppose s = -3*w - 0*s + 1, 4*w = 2*s - p. Which is greater: -1 or w?
w
Suppose -5*o = 8 - 3. Let a be -1*4/6 - (-4)/12. Is a not equal to o?
True
Let g = -7 - -9. Let z = 0.2 - -3.8. Which is greater: g or z?
z
Let y = -57 - -124. Let u = -471/7 + y. Which is smaller: -2/15 or u?
u
Suppose 0 = -2*y - 0*p - 4*p + 14, 0 = 4*y - 3*p + 27. Let k = -4 - y. Which is smaller: 5 or k?
k
Suppose -2*x + 5 = y, -5*y - 35 = 2*x - 4*x. Suppose x*g + 0*c + 17 = -3*c, -18 = -2*g + 5*c. Is g less than or equal to -1/3?
True
Let d = -3 + 4. Let l = 0 + d. Let p = 0.3 - 1.3. Are p and l non-equal?
True
Let a = 6.9 - -0.1. Let u = -6 + a. Let d = -0.2 + 0.4. Which is smaller: u or d?
d
Let w = 0.24 - 0.44. Which is bigger: 2/7 or w?
2/7
Let k be (-25)/9 - (-4)/(-18). Is -4 > k?
False
Let g = 1929.83 + -1941. Let q = g + 0.17. Which is greater: q or -2/3?
-2/3
Suppose i + 1 = -u, -i - 6*u = -u - 3. Let z(x) = 2*x**2 + 6*x - 6. Let f(k) = k**2. Let h(a) = -3*f(a) + z(a). Let l be h(5). Is i at least l?
False
Let p = -0.06 + -0.04. Let s = -6.1 - p. Let c = s + 5.9. Which is smaller: c or -3/7?
-3/7
Let l be ((-2)/(-10))/((-488)/10). Is l smaller than -1?
False
Let i = 0.2 + 5. Let p = i + -5. Is 1 < p?
False
Let c = -127 + 127. Is -1/34 greater than or equal to c?
False
Suppose 4*l + 6 = -k + 1, 2*k = -2. Is l bigger than -11/12?
False
Let i = -5 + 1. Is i less than -3?
True
Let g(d) = -d**3 - 3*d**2 + d + 1. Let b be g(-3). Let p be (-3 - -1)/b - 1. Are p and 0 equal?
True
Let c = -3 + 5. Suppose -c*p = 2 + 34. Let r be (p/3)/(-3) + 1. Which is greater: 1 or r?
r
Let m = -7 + 14. Let a = 10/3 - 37/12. Let k = a - 0. Is m at least k?
True
Let a = 0.12 - 1.02. Let o = -16/57 + -1/19. Which is smaller: o or a?
a
Suppose d + 8 = 5*h + 2, 3*d - 8 = 2*h. Is h < 9/5?
False
Let w = 0.1 + 0.9. Let f = -2.46 - 0.04. Let b = f - -3. Is w at least b?
True
Suppose 6*h - 10 = h. Let p = -26 + 29. Which is greater: p or h?
p
Suppose 0 = -3*g - 3*g + 48. Suppose 4*a = g*a - 48. Which is greater: 11 or a?
a
Let i = -4 + 9. Suppose -24 = -2*x - 16. Are i and x unequal?
True
Let h = 9 + -6. Suppose 2*r = h*r + 1. Which is smaller: r or 0?
r
Suppose -5*z - 25 - 60 = 0. Let h = z - -17. Is 3/7 <= h?
False
Suppose 0 = 2*l + 3*l. Let c = -32 + 11. Let b = c + 21. Is b greater than l?
False
Suppose 0*v = -5*v + 4*j + 22, -4*j = -3*v + 10. Suppose 3*b = -0*c + 4*c - 7, 0 = 4*c - 2*b - v. Does 1 = c?
True
Let n(d) = -d**3 + 2*d**2 + 3*d - 2. Let h be n(3). Let y be h*(2 - 34/16). Suppose -p + 3*m - 2*m = 4, -20 = 4*p - 5*m. Which is bigger: y or p?
y
Suppose -3*y = -2*y - 1. Let k = -2 + y. Is k smaller than -1?
False
Let v = 7 + -9. Let g be v - 0 - (2 + 1). Is g smaller than -5?
False
Suppose -6 = 2*m, -m + 15 = -3*y - 0*m. Let n = 0 + -5. Which is greater: n or y?
n
Suppose -4*d = -z + 4*z - 141, 0 = d + 2*z - 34. Which is greater: 35 or d?
d
Let a = 53/228 - -1/57. Let u = 1.4 - 0.4. Let j = u + -1. Is j at least as big as a?
False
Let l(s) be the second derivative of s**5/20 - s**4/4 + 3*s**2/2 + 2*s. Let m be l(3). Let c be m + (-10)/(-4) + -3. Is c at least 4?
False
Suppose u - 4*u = -3. Let o be (1816/850)/(56/(-20)). Let j = o + 12/17. Is u equal to j?
False
Let s = -0.24 - -0.64. Let x = -2 - -2.1. Which is smaller: s or x?
x
Suppose -2*z = -4*z - 4*a + 46, 5*z + 2*a - 123 = 0. Suppose 5*q = 3*s + 9, -5*q + z = s + 4*s. Let d = -3 + s. Which is smaller: d or -1/2?
d
Let u = 19.53 - -0.47. Let x = 19.9 - u. Are x and 0.6 equal?
False
Let w be (28/(-70))/(4/5)*-1. Which is smaller: w or -0.2?
-0.2
Suppose -544 = -5*n + n. Suppose 3*g = -g - n. Let p be -3 + (-38)/g + 2. Is -1 <= p?
True
Let u = -5 + 4. Let z be ((-5)/(-15))/(u/(-39)). Suppose 0 = -2*f - 3*b - z + 4, -4*f - 5*b = 13. Which is bigger: 5/2 or f?
f
Let z = 1693/14 - 121. Which is smaller: 0 or z?
z
Suppose 12*d - 224 = 8*d. Is d >= 56?
True
Let j = 1/452 - 