15/4 + 54. Let i = -0.2 - -0.3. Is i at most as big as l?
True
Suppose -10 = -2*p - l, l - 8 = -3*p + 6. Suppose -4*a - 6 = -2*d, 4*a = 2*a + 2. Which is smaller: p or d?
p
Let u = 49924/164967 - -2/4999. Is u at most as big as 1?
True
Let n = -0.37 + -0.03. Let a = 1.9 - 1.5. Let f = a + n. Which is smaller: f or -4?
-4
Let s(g) = 3*g**2 + 14*g + 21. Let o(h) = -2*h**2 - 9*h - 14. Let q = -4 + 11. Let w(f) = q*o(f) + 5*s(f). Let c be w(-6). Which is bigger: 2 or c?
2
Let i be ((-18)/12)/((-1)/10). Suppose i = 4*l + 3. Suppose 2*y - 12 = -z - z, -4*z + 3*y = -l. Which is bigger: 2 or z?
z
Let f = 35 + -54. Do -20 and f have the same value?
False
Let y be ((-12)/(-55))/(12/40). Which is greater: y or 0?
y
Let r(w) = w**2 + 4*w - 11. Let c be r(-6). Is c less than 8/9?
False
Let b = -13 + 12.97. Is b != -1?
True
Let t = 5 - 1. Let i = 6 - t. Let l = i + -2.1. Is 0.2 less than l?
False
Let v = 769/8 - 96. Which is bigger: 1 or v?
1
Let h = -16.3 + 15.3. Are 0.3 and h unequal?
True
Let n = 9 + -17. Let y be 4 + -1 + n/2. Is 0 less than or equal to y?
False
Let r = 701/570 - 6/95. Is r smaller than 1?
False
Suppose 5*m - 3*m = -2*x + 10, 34 = 5*m - 4*x. Let p(z) = -z**2 + 6*z + 8. Let l be p(m). Suppose 0 = 2*b - l + 4. Which is smaller: b or 1?
1
Let f = -8.9 + 9. Let g be (-2)/(-24)*(-3 - -6). Which is bigger: g or f?
g
Let x = 39/4 + -10. Let t(c) = c**2 + c - 2. Let r be t(2). Let z be (-9)/r - (-2)/8. Which is bigger: x or z?
x
Suppose 3*t + 70 = 4*n - 0*t, -76 = -5*n - 2*t. Suppose h - n = -h - 2*z, -4*h + 4*z = 8. Suppose h*o + 0 - 8 = -f, 4*o = -4*f. Is f smaller than -3?
True
Let n = 23.13 + -23. Are n and 1 unequal?
True
Let y = 65 + -13. Is y equal to 52?
True
Suppose 10*s = -4*c + 5*s - 3, 3*s - 8 = -c. Let d = -5 - c. Suppose -3*w = -8*w - 4*u - 15, w + 9 = -2*u. Is d greater than w?
True
Let m be (2 - (3 + -1)) + (-10)/(-205). Suppose 0 = 7*s - 4*s. Which is bigger: m or s?
m
Let x = -68 - -45. Is x greater than or equal to -23?
True
Let x be (-5 - -3 - -5) + -3. Suppose -5*j + 3*j - 2 = x. Let m be (j + 2 - 2)/1. Which is smaller: 1/16 or m?
m
Let s(d) = d**2 + 4*d - 4. Let z be s(-5). Suppose 0 - z = -f. Which is greater: f or 5/3?
5/3
Let j be (-68)/(-14) - (4 + 1). Let w be -4*-1*2/(-4). Let z = -2 - w. Which is bigger: j or z?
z
Let d = -163/3 + 1313/24. Is 0 equal to d?
False
Let i = 15 + -1. Is i less than or equal to 13?
False
Let w be (3 - 2)/(9/(-999)). Is w at most as big as -110?
True
Suppose 15*o - 3*o + 12 = 0. Which is smaller: o or -2/9?
o
Suppose 16 = -4*x, x - 3*x + 28 = -4*i. Let c be i/(-2) + (-2)/(-4). Suppose 4*h = p - 2 + 20, 0 = c*p + 10. Which is greater: h or 3?
h
Let z be 8/(-44) - 24/(-11). Let p(a) = 2*a**2 - 2*a - 2. Let c be p(z). Suppose 0*i + c*i - y = -2, y + 5 = -5*i. Is 1 < i?
False
Suppose -3*b + 78 = -5*b. Let m be (-1)/4 + b/(-12). Let r = 1 - m. Is r less than or equal to -2?
True
Let l be (8/(-6))/((-2)/(-6)). Let w = 13 + l. Is w > 9?
False
Let x = -0.4 + -0.2. Let q = -2.6 - x. Let t = 0 + 0. Is q less than or equal to t?
True
Let g = 4795/9 - 531. Suppose -8 + 0 = -4*t. Let d = t - g. Is d greater than or equal to 0?
True
Let p = 2037/8 + -254. Is 0 < p?
True
Suppose 32 = -n + 3*n - 3*p, -5*n - 3*p = -122. Let t be (-4)/10 - n/(-5). Let f be t/6*6/(-8). Do f and -3 have different values?
True
Let o(x) be the second derivative of -x**3/6 - 3*x**2 + 3*x. Let d be o(-8). Is d greater than or equal to 0?
True
Let r be -2*(5/2 - 18/6). Which is greater: r or 2?
2
Let b be (-1)/(-3) - (-40)/96. Which is smaller: b or -1?
-1
Let p be 2 + -1 + -3 - -1. Let q = 1 + p. Is q >= 0?
True
Let q(z) = z**2 - z + 3. Let t be q(0). Suppose 5 = -2*g + 4*g - u, -5*g = t*u + 15. Suppose 0 = -0*a - 3*a - 3. Which is smaller: g or a?
a
Let u be (-2)/(-3) + 657/(-216). Is u > -2?
False
Let w = -8 - -6. Let j = 2 - w. Let k = -4.3 + j. Which is greater: 0.1 or k?
0.1
Let l = 639/8 - 80. Let r = 27 - 28. Is r bigger than l?
False
Suppose 0 = 82*b - 84*b. Does b = 86?
False
Let c be (1 + (-14)/18)/((-2)/(-5)). Which is smaller: 1 or c?
c
Suppose 49 - 1 = 6*w. Is w >= 8?
True
Suppose -7*h + 10*h = 0. Are 0 and h nonequal?
False
Let t be -2 + 2 - 203/(-4). Let f = 51 - t. Let o be (-1)/22*(3 + 1). Is f not equal to o?
True
Let m(j) = -10*j - 47. Let n be m(-7). Is n at most 24?
True
Suppose l = 4*i - 22, 5*i - 23 = -l - 0*l. Let g = -8 + i. Which is smaller: g or -4?
-4
Let x be 1/(3/6) - 0. Suppose 2*r + 20 = 4*m, x*r + 25 = m + 4*m. Is -4/3 at most as big as r?
True
Let r = -7 + 7. Let o(q) = q**3 - 7*q**2 + 6*q + 1. Let v be o(6). Is v at least as big as r?
True
Let d(y) = y**3 + 6*y**2 - y - 4. Let o be d(-6). Let p = o - 7. Let u be 2/p*(-175)/(-20). Does u = -5?
False
Suppose 4*m - 12 = 4*d + m, 3*m = -2*d + 12. Which is greater: d or 4?
4
Suppose -2*v + 3 = 3*p, 0*v + v = -3*p + 3. Let t(z) = 2*z**2 + z - 1. Let c be t(1). Suppose 3*y - 1 = 5*i, -c*i + 4*i - y = 0. Is p less than or equal to i?
True
Suppose 2*w = 3*v + 13 + 1, 13 = -3*w - 4*v. Let z be 1*(1/w - 0). Is 0 < z?
True
Let u(m) = m + 1. Let c be u(-3). Suppose 0 = -5*y + 2*i - 3, 3*y = -7*i + 3*i + 19. Let g = 0 - y. Which is smaller: c or g?
c
Suppose 18 = 135*h - 137*h. Suppose -10 = -4*k - 22, 5*k + 38 = r. Let u = 15 - r. Which is bigger: u or h?
u
Let z = -68 + 73. Which is smaller: z or 21/4?
z
Let o = 0.9 - -2.9. Are 1 and o nonequal?
True
Let a be (2/(-24))/((-2)/(-9)). Let r(v) = -v**3 - 14*v**2 - 2*v - 29. Let f be r(-14). Which is bigger: a or f?
a
Suppose 0 = 5*p + 5*g - 25, -7*g + 20 = 3*p - 3*g. Suppose 2*q + q = p. Suppose 0 = c - 2*z - 10, -4*c + 4*z + z + 31 = q. Is 4 bigger than c?
False
Let w be -1*3/9*3. Does w = -2/67?
False
Let l = 4 + -4. Let a(d) = 8*d**3 - 2*d - 3. Let i be a(-2). Let v = i + 249/4. Is v > l?
False
Suppose -2*t + 11 = -9. Suppose 6*p - 3*p = 3*h - 6, 5*h = 2*p + t. Which is smaller: -1/6 or p?
-1/6
Let l = 6 - 7. Which is bigger: -1/3 or l?
-1/3
Let f = 13.7 + -13. Let y = 1.6 - 0.4. Let m = y - f. Which is bigger: m or 1?
1
Suppose 0 = -u - u. Let m be 7/(-21) + 23/51. Is u greater than m?
False
Suppose -8 = -2*m - 14, 0 = -w + 2*m + 7. Is -6/61 smaller than w?
True
Let j = 0.4 - -0.6. Let z(f) = -f**2 + 16*f - 31. Let s be z(14). Which is bigger: s or j?
j
Suppose 3*i - 4 = 2*i, 0 = -2*k - 5*i + 14. Is 0 greater than k?
True
Suppose -3*f - f + 2*n = 0, -5*f + 2*n = 0. Is f at most as big as -2/31?
False
Let u = 7 + -3. Suppose -1 = -2*p + d - u, 3*p - 3*d = -12. Suppose -4*z = -h - 10, 0 = h + 2*h - 5*z + 9. Is h not equal to p?
True
Let h = -3 + 5. Let g be 1 - -1*(-1)/(-3). Are g and h equal?
False
Let g = -57 - -51. Is g bigger than -4?
False
Suppose 12 = -72*s + 76*s. Suppose -5*f + 5 + 0 = 0. Let r = f + 4. Which is bigger: s or r?
r
Let b = 0.3 + -0.1. Let v = 0.3 - b. Let t = 0.3 - 0.3. Is t at least v?
False
Let d = 22 + -21. Is -1 >= d?
False
Let l be ((-6)/(-8))/((-12)/8). Suppose -n + 3*h = -10, -2*n + 6*n - 3*h = 40. Suppose -7 = -5*m - 4*y, 5*m - 2*y = -7*y + n. Are l and m non-equal?
True
Let v be (-6)/54*(2 - 1). Let z = -13/18 + 1/2. Let q = v + z. Which is smaller: q or -1?
-1
Let z be 6*((-2)/(-4) + 0). Suppose 0 = z*b + 2*d - 4*d - 6, 5*b - 6 = 2*d. Let j = -3 + 2.9. Which is smaller: j or b?
j
Let t = 12 - 7. Suppose 2*z = -8, t*o - 14 = -z + 2*z. Suppose 0 = -4*g - 4 + 8. Is g at most o?
True
Let p = 1 - 4. Let n be p*(2 - 3/3). Is -4 greater than or equal to n?
False
Let a = -8 - -6. Suppose -3*z = -2*t + t - 2, 0 = 4*t - 2*z + 8. Let n be 5/(-2) + t/(-1). Which is greater: n or a?
n
Let w = 21 + -25. Let z = 11 + w. Which is smaller: 0.1 or z?
0.1
Let q(t) = -t**3 + 2*t**2 + 5*t - 4. Suppose 5*g = -0*g - 5, 2*g = 4*l - 14. Let x be q(l). Suppose -b = 4*d - d + 14, 4*b + 6 = -x*d. Is b <= 1?
True
Let h = 31 + -30.87. Let o = 9.13 - h. Let d = o - 7. Do 0.1 and d have the same value?
False
Let l = 0.06 + -0.36. Let k = 0.6 - 0.1. Let h = k - 0.5. Which is smaller: l or h?
l
Let g(k) = -2*k**2 - 10*k - 9. Let a be g(-4). Which is bigger: a or 0?
0
Let p(t) = -t - 2. Let y be p(-2). Suppose y*h = 5*h + 10. Let o = -1 - h. Is o smaller than -2?
False
Suppose -3*c + 6 = -z - 8, 5*c = 3*z + 22. Suppose -2 = -4*d + 2. Let i be 3 + 0 + -3 - d. Is z less than i?
False
Let s be (2/(-492))/(3/