a - 18, -17 = 5*t + 2*a + a. Suppose 5*u - 4*q - 6 + 18 = 0, -u = -q + 3. Is t at least as big as u?
False
Suppose 0*o + 2*k = 3*o - 213, -3*o = 5*k - 234. Let t = 364/5 - o. Let h(d) = d**3 - d**2 + d. Let a be h(0). Is a greater than or equal to t?
True
Suppose -3*g = 2*g. Let m = -23/44 - 5/22. Is m smaller than g?
True
Suppose 0 = -5*t - 3*y - 59, 4 + 11 = -5*y. Which is greater: -11 or t?
t
Let p(m) = -m - 17. Let u be p(-7). Let b be 213/(-915) + (-2)/u. Which is smaller: -1 or b?
-1
Let r be (-1 + 1)*1/2. Suppose -w + 0*w = r. Which is smaller: w or 3?
w
Let i = 3 - 3. Suppose 4*w = -2*a + 8, 0*w + w + 9 = 5*a. Suppose a*x = -i*x + 6. Which is smaller: x or 3/2?
3/2
Let i = -259/3 - -87. Is 0.12 bigger than i?
False
Let h be (16/(-13) - 0)*1. Let f = h - -115/104. Suppose 0 = 2*s + 1 + 1. Is s at least f?
False
Let p(i) = 5 - 2*i + 0 + 0. Let j be p(4). Which is greater: -1 or j?
-1
Suppose -2*o + 7 = -3*h - 6, -3*o = -5*h - 21. Suppose 4*p + 4*c - 31 = 5, 0 = -2*c + 10. Are p and o equal?
False
Let n be (-2 - (-24)/5) + -3. Suppose -5*q + 2 = 3*t + 7, -5*q - 4*t = 10. Suppose 3*u = 2*j + 5 - q, 0 = -2*u - 3*j - 11. Which is smaller: u or n?
u
Let j = 67 + -334/5. Do -3 and j have the same value?
False
Let u = -21 + 21.26. Let j = 0.04 + u. Let r = j - 0.3. Is r bigger than 0?
False
Suppose 0*o = -2*o + 26. Let s = o - -18. Let f = s - 401/13. Which is greater: 1 or f?
1
Let v(z) = 8*z**2 + 3*z - 2. Let k be v(1). Which is greater: k or 8?
k
Let g = 949/350 - 7/50. Let s = g + -111/35. Which is smaller: -2 or s?
-2
Let t be 1*(-4 - (2 - 3)). Are -5 and t unequal?
True
Let v(r) = r**2 + 10*r + 2. Let a be 15*3*(-4)/18. Let p be v(a). Suppose -1 = c + p. Which is smaller: c or -1/2?
c
Let f be (6/5)/((-2)/(-5)). Let b(d) = -d**3 - 15*d**2 - 14*d + 3. Let p be b(-14). Let u = f - p. Which is smaller: u or 1/7?
u
Let b be (-28)/(-8) - 1/2. Suppose 0 = -b*d + 6*d + 9. Let p(i) = i**2 + 4*i + 4. Let c be p(d). Which is smaller: c or -2/7?
-2/7
Suppose -2*u - 3 = -9. Suppose -j = -u*j. Is j smaller than 0?
False
Suppose -4*p + 3*p - 26 = 0. Let t be p/(-4) + 1/(-2). Let x = t + -3. Are 3/2 and x equal?
False
Let q = 1592 + -22297/14. Is -1 at most q?
True
Let v = -4/81 - -305/4536. Is 0 at most v?
True
Suppose -3*o - t = -o + 12, 5*o - 5*t = -45. Let l be (o/(-7))/(-3 - 2). Which is bigger: l or 1?
1
Suppose -2*i = -5 - 7. Let f be 4/i*(-45)/(-10). Which is greater: 1 or f?
f
Let n be (-8)/(-2) - (1 + 0). Suppose 2*j = -0*x + n*x - 14, -x + 6 = -2*j. Which is smaller: -3/5 or j?
j
Suppose -8 - 10 = 3*y. Let d be (y/7)/((-9)/14). Suppose -5*n = -5*i - 3 - 2, 0 = -2*i - 2*n + 10. Is d bigger than i?
False
Let o = -5027/25 - -201. Which is bigger: o or 1?
1
Let u = 4 - 4. Let r = u + 0. Let p = r + 0.1. Are -2/3 and p non-equal?
True
Let x be (6 + -3 - 15) + -3. Which is greater: -2/7 or x?
-2/7
Suppose 0 = -5*i + 95 - 40. Which is smaller: 12 or i?
i
Let d = 61 + -90. Let n = -45 - d. Is n > -15?
False
Let n(p) = 3*p**2 - 20*p + 6. Let t be n(7). Is t not equal to 15?
True
Let d be (272/28)/((-10)/(-35)). Is 0.1 < d?
True
Suppose 0 = -r + 4, -4*o + 9*o - r = 11. Let p(t) = t**3 - 2*t - 1. Let h be p(2). Are h and o equal?
True
Suppose 16 = 2*c + 2*c. Let t be c/6 - (-1 + 1). Is -0.1 greater than or equal to t?
False
Let x be (0 + 0/(-2))/2. Suppose -2*n = -x*n. Is n != 2/5?
True
Suppose -7*j = 20 + 29. Which is smaller: -5 or j?
j
Let v = 0.11 + 1.89. Let x = -1/13 - -29/39. Which is bigger: x or v?
v
Let d = -103.8 - -104. Is 49 >= d?
True
Let y = 19 + -16. Let v = 237/20 + -49/4. Is v equal to y?
False
Let w be -2 - -3*8/6. Which is smaller: 4/7 or w?
4/7
Let u be (-7 - -1)*(-4)/24. Suppose u - 5 = -r. Is r at least as big as 8/3?
True
Suppose 2*t - 3*d - 13 + 1 = 0, 3*d = t - 9. Suppose -t = -f - 2*f. Let c be -12 + 11 + (-6)/(-10). Which is greater: c or f?
f
Suppose -9 - 7 = -4*l. Let n(o) = o**2 - 3*o + 3. Let d be n(l). Let g(y) = y**3 - 8*y**2 + 6*y + 7. Let u be g(d). Which is smaller: 1 or u?
u
Suppose -8*w - 146 = -490. Is 40 bigger than w?
False
Let w = 217/6 + -36. Let i be (1 + -2 + 2)/(-1). Which is greater: i or w?
w
Let w = 31 - 31.78. Let z = w + 0.7. Let u = z - 6.92. Which is smaller: u or 0?
u
Let y be ((-12)/15)/(4/(-20)). Is y less than -1/3?
False
Let d = -4711 + 42307/9. Is -11 bigger than d?
False
Let s = -359/6 - -60. Suppose -1 = 4*y - 3*y. Is s < y?
False
Let k = -2066/9 + 230. Which is greater: 0 or k?
k
Let j = -0.17 - -0.27. Which is smaller: j or 0?
0
Let g = 112 + -111. Which is smaller: g or 6/25?
6/25
Suppose -4*l = 2*u + 4, 0*u - 5*l - 5 = -2*u. Is -4/13 not equal to u?
True
Suppose 12 = -l + 12. Is 5/14 equal to l?
False
Let o = -4 - -7. Let v be (1/(o/42))/2. Is v smaller than 6?
False
Let t = -110 + 58. Let g = t - -362/7. Is g greater than or equal to 1?
False
Let g = -14 - -6. Let t = 7 + g. Is -3/10 > t?
True
Let l be 8/(-12) + 2/3. Let x = 3 - l. Suppose x*a + 1 = 4. Is 2 at least as big as a?
True
Let c = 100 - 87. Which is bigger: 1 or c?
c
Let g = -14.3 - -13.8. Which is smaller: -6 or g?
-6
Suppose -6 = y + 3*j + 9, 12 = -4*j. Which is smaller: y or -7?
-7
Suppose 2*c + 4 = 2. Let o(y) = -y**2 + y + 4. Let m be 2 + (4 - (0 - -3)). Let d be o(m). Which is bigger: d or c?
c
Suppose i - 2*i + 5*t = -4, -5*i + t - 4 = 0. Let o be (-3922)/24 - 4/(-6). Let c = o - -162. Is i <= c?
True
Suppose -5*r = -5*g + 10, -2*r = 3*g - r + 10. Let t = 41 + -40. Let b be (t - 4 - -1)/g. Is 1 smaller than b?
False
Suppose -y + 8 = 20*i - 15*i, -2*y = 2*i + 8. Let a = -5 + -1. Is y at most a?
True
Let g = -11 - -9. Let z be (-70)/15*g/4. Do z and 2 have different values?
True
Let p = -14 + 9. Let u = 7 + p. Is u less than or equal to 2?
True
Let r = 0.4 + -0.1. Is 6 less than r?
False
Let s(u) = -7*u**3 + u - 9. Let d(m) = 20*m**3 - m**2 - 4*m + 27. Let n(z) = -6*d(z) - 17*s(z). Let v be n(7). Let g be (-3)/6*(-3 - v). Is -3 >= g?
True
Let o be 4/14 - (-2)/(-7). Let d = 10 - 16. Let y = d - -6. Are y and o equal?
True
Let o = -0.01 + 0.13. Which is greater: 0.1 or o?
o
Suppose -12*y = -21*y - 153. Which is greater: y or -16?
-16
Suppose -3*j + 7 - 10 = 0. Let m = -2 - -3. Suppose 4*b = m - 5. Is b greater than j?
False
Let f be ((-504)/(-26))/(6/(-4)). Let h = f - -815/52. Which is smaller: 2 or h?
2
Let b be (-2 + 3)/(2/(-6)). Let j = -2 - b. Suppose -4*n + 8 = f - 13, -5*n + 27 = 2*f. Is j equal to f?
True
Let j = 7 + -5. Let z = 57 + -56. Which is greater: z or j?
j
Let j(b) = b - 4. Let r be j(3). Let t = -30.6 + 28. Let p = t - 1.4. Is r equal to p?
False
Let i be (0 + 1)*(-8 + -4). Suppose -3*n - 33 = -4*f, 6*f = 3*f. Which is smaller: i or n?
i
Let t(m) = m**2 - 3*m. Let y be t(3). Suppose -h + 15 = -4*z - y*h, 5*h = z + 18. Do z and -5 have the same value?
False
Let s = 13 + -3. Is 9 at most s?
True
Suppose 0*y - 4*y - 10 = -2*u, -y - 1 = 0. Suppose u = m - 2*f - 1, 4*m - 3*f - 11 = 0. Which is greater: m or 1?
m
Suppose 5*t = 9*t + 8. Let d(k) = k + 6. Let u be d(-4). Let x be 4 - u - 3 - 0. Which is bigger: t or x?
x
Let n(m) = m**3 - 5*m**2 + 3*m + 1. Let l(k) = k**3 - 4*k**2 + 2*k. Let q(x) = -3*l(x) + 4*n(x). Let w be q(7). Which is greater: w or -8/3?
-8/3
Let c be 6/105 - 3/15. Which is bigger: 1 or c?
1
Suppose -5*a + 41 = 4*x, -3 = 3*x - 0*a - 3*a. Suppose 4*t = 4 + x. Suppose 3*g = g + 4. Is t bigger than g?
False
Let x = -4 + 4.1. Let s = x - 0. Let d be ((-5)/5)/((-1)/(-4)). Which is smaller: s or d?
d
Let o = -25/31 - -1267/341. Let h = o + -205/44. Is h <= -2?
False
Let u be -2 - (-147)/135 - 28/(-35). Which is smaller: u or 2/5?
u
Suppose l = -3*y + 12, -3*l = -0*l - 3*y. Let q = 16 + -12. Let w be ((-2)/q)/(l/(-2)). Is 1/3 less than or equal to w?
True
Suppose 138 = -51*o + 54*o. Is 46 at most o?
True
Suppose 0 = -2*y + 4*k - 0 + 2, 0 = -3*y + 2*k + 3. Let s(l) = -l**2 + 5*l - 4. Let g be s(3). Suppose 0 = 5*v - g - 3. Is y not equal to v?
False
Let g = 28 - 12. Is 16 less than or equal to g?
True
Suppose -4*m + 1 = -19. Suppose 0*b + 2*b + 4 = -4*n, m*n - 6 = 3*b. Is 1/5 less than or equal to n?
False
Let s be 1/((3/(-12))/(81/12)). Which is smaller: -53/2 or s?
s
Let s be ((72/16)/(-9))/((-58)/(-4)). Let z(x) = -x**2 - 5*x - 4. Let b be z(-4). Which is bigger: b or s?
b
Let w = 6 - 1. Sup