/5 = t?
False
Let l = -3 + 0. Which is smaller: l or -4?
-4
Let d = 5 - 5. Let a = d + -2. Let c(p) = -2*p - 2. Let t be c(a). Is t at least 1?
True
Let z = 0 + 2. Let u = z - 2. Suppose u = -4*o + 4*m - 4, -2*o + 5*m = o + 3. Which is bigger: -3/7 or o?
-3/7
Let s(o) = -2*o**3 + 4*o**2 - 2*o + 1. Let w be s(3). Let u = 14 + w. Let n be 4/18 - (-2)/u. Which is smaller: -2/13 or n?
-2/13
Let a(m) = -m**2 + m + 1. Let p be a(0). Let h be (2/(-2))/p + -1. Is h >= 0?
False
Let y(s) = -s - 16. Let h = -34 - -25. Let r be y(h). Is r less than or equal to -6?
True
Let q = 4 + -15/4. Is -1 at most q?
True
Let d = -8 - -13. Let a be -4 + 5/(d/2). Let z be (a/(-4))/((-1)/2). Is z < -1/6?
True
Suppose 400 = -5*l - 0*l. Let h = l - -56. Let t be (-2)/h - (-2)/8. Is t less than or equal to 1?
True
Suppose -5*r + 32 = -u, 0*r + 4*r - 5*u = 13. Suppose c = 2*d + r, 3*d = 3*c - 15 - 3. Which is smaller: -1/8 or d?
d
Suppose -8 = l - 3*l. Suppose l*f = -f. Is 2/11 greater than f?
True
Let m = 3 - 6. Let b be (m/6)/(1/(-8)). Let j = 5 - b. Is 3 equal to j?
False
Let s(j) = 2*j**3 - 5*j**2 - 3. Let c(o) = o**3 - 3*o**2 - 2. Let r(b) = -5*c(b) + 3*s(b). Let v be r(-1). Is v greater than or equal to 2?
False
Let w(j) = -2*j**2 - 2*j - 3. Let r be w(3). Let p be (-79)/r + 30/(-10). Is p >= 2?
False
Let a = -37 - -30. Is -12 smaller than a?
True
Let i = -66393/836 + 2605/33. Let n = -7/12 - i. Are 0 and n unequal?
True
Suppose 14 = 4*g - 2. Suppose 0 = p - 1 - g. Suppose r - 6 = p*i - 4*i, -5*r = 5*i + 10. Does r = 2?
True
Let w = -2 + 2. Suppose 4*r + 5*x = 5, w = 3*r + x + 8 + 2. Suppose 3*m = 4*g + 23, 26 = 2*g - 7*g + m. Is r smaller than g?
False
Let p(s) = -s**3 - 11*s**2 + 2*s + 22. Let b be p(-11). Is 2/653 at most b?
False
Let z(m) = -17*m**2 + m. Let a be z(-1). Let d = a + 5. Do d and -12 have the same value?
False
Suppose -2*j + 6*j = 0. Suppose -v = -0 - 5, -3*a - 3*v + 18 = j. Let n(s) = 5*s - 10. Let w be n(2). Which is bigger: a or w?
a
Let j = -1/203 + -599/2030. Which is smaller: j or -1?
-1
Suppose 3*f + 2 + 3 = -4*b, -5*b - 10 = 3*f. Suppose 2*c = 5*i + 21, -12 = -c - i + f*i. Are 9 and c nonequal?
True
Let p = 1.9466 - -0.0534. Let f = 5.7 - 6. Let j = -0.1 + f. Do p and j have the same value?
False
Suppose 3*j - 78 - 6 = 0. Let n = j + -18. Does n = -0.1?
False
Let p(s) = -s. Let t be p(3). Which is bigger: t or 3?
3
Let j be 32/240*6/62. Which is greater: j or -1?
j
Suppose -8 = -2*s - 0. Let r be (s/39)/((-16)/(-24)). Which is smaller: r or 1?
r
Let c = 8/285 + 2/19. Let u(d) = -d**3 - d**2 + 2*d + 1. Let o(z) = z**2 - 10*z + 7. Let t be o(9). Let q be u(t). Is q greater than c?
True
Let g = 8 + -10. Let n(t) = t - 1. Let m be n(g). Which is smaller: m or -5/2?
m
Suppose 0 = 6*m - 4*m - 14. Suppose 2*o + a = -2*a - m, -o + 16 = -5*a. Let y be 10/24 - (-2)/8. Which is bigger: o or y?
o
Let h = 3 - -2. Let p = 5 - h. Let o = p + 1. Which is greater: o or -2/9?
o
Let h = -210169/5 + 41780. Let d be (11/2)/(9/(-414)). Let q = h - d. Which is smaller: q or -1?
-1
Let d(w) = -78*w + 3. Let z be d(3). Let q = z - -3697/16. Is q < 1?
True
Let f = -17 + 20. Which is bigger: f or 0.8?
f
Suppose 4*a = -2*t - 12, 0*t - 5*t = a + 3. Let j = 4 - 5. Which is bigger: j or a?
j
Let l = -13 + 13.4. Let w be ((-1)/(-3))/(2/3). Is l greater than w?
False
Let m = -82 - -66. Is m at most as big as -14?
True
Let g = -81 + 82. Which is smaller: -27/7 or g?
-27/7
Let f be 12/3 + 0 - 3. Let k = f - 0. Do -3/7 and k have different values?
True
Let h(m) = m**3 + 5*m**2 + 2*m + 7. Let a be h(-5). Let q be a/(-9) + 4/6. Suppose -v = -0*v - q. Is 1 bigger than v?
False
Let x(r) = 2*r**2 + 6*r - 5. Let z be x(-4). Suppose 2*d - 19 = 4*k - 5, 0 = -k - z. Is 1 at most as big as d?
True
Let k = -22 + 19.4. Let h = k - -2. Let p = h + 0.5. Which is greater: p or -1/3?
p
Let k = 7 + -9. Which is bigger: 1 or k?
1
Suppose 5*o - 4 = -2*c + 4, -2*c = 2. Suppose o*x = 4*x. Which is greater: x or -2/5?
x
Let o = 52.03 - 52. Which is smaller: 0 or o?
0
Suppose -5*m - 5*k = -45, -k = -2*m + 5*m - 27. Let b = 10 - m. Which is smaller: 2 or b?
b
Suppose 0 = q + 3*q. Which is bigger: q or -1/15?
q
Let m = -0.4 + 0.3. Which is smaller: m or 0.7?
m
Let m be 10/228*(-9)/20. Let z = m + -2/19. Which is smaller: z or -0.1?
z
Suppose 0 = -3*s - 0*s - 63. Let b be 1/(2/(6/s)). Which is smaller: 1 or b?
b
Let n = 30 + -21. Let m = n + -4. Let a = 4 - m. Are a and 0.2 unequal?
True
Let k be (-6)/(-21) - (-2)/(-7). Suppose b + 6 = 2*z, 4*b + k = -3*z - 13. Let a = z + -5/3. Do a and -1 have different values?
True
Let w = 29 - 30. Which is bigger: w or 3/7?
3/7
Let f be 0 + 0 - (-12)/3. Suppose 0 = f*m - 2*j - 36, 0 = 3*m - 6*m - j + 27. Which is smaller: m or 10?
m
Let n = -1.8 + 0.8. Let y = -15.06 + 15. Which is smaller: y or n?
n
Let w be -4 - (1 + -2 - (12 - 10)). Let c(s) = -s**3 + s**2 + 1. Let r be c(2). Let x be ((12/(-14))/r)/(-2). Is w less than x?
True
Let y = -2/3 - -7/24. Let t(g) = -g - 4. Let q be t(-3). Is q < y?
True
Let a be (-6)/(-27) + 32/18. Let v(i) = 2*i**3 - 9*i**2 + 4*i - 2. Let c(j) = j**3 - 8*j**2 + 5*j - 2. Let h(f) = a*v(f) - 3*c(f). Let q be h(-7). Does 2 = q?
True
Suppose -2*p = -0*p + 4. Let u = 8 - 1. Let y = -7 + u. Which is smaller: y or p?
p
Let k = -16 + 17. Which is greater: k or -0.1?
k
Suppose -6*z + 2*z = -16. Suppose -o = z*p + 4, 2*p - 2 - 14 = 4*o. Is -8/3 at least o?
True
Let g = 13 - 9. Suppose -4*x + 21 + 3 = 0. Let v = g - x. Is v at most -2?
True
Suppose -2*u - 2*p = -4, -p - 2 = -3*p. Is u equal to 2?
False
Suppose -15 = s - 4*s. Let g(q) = -q**2 - 6*q - 6. Let c be g(-5). Let b be c/s - 1/(-5). Is -1 at least as big as b?
False
Let b = 2.541 - 0.541. Let o = -1/288 - 563/3744. Is o less than b?
True
Suppose 4*j - 5*r = 20, j = 2*r - r + 4. Is j at least 7/9?
False
Suppose 5 = -a + 3*s, -2*a - 2*a - 20 = 2*s. Let p = -88 - -82. Which is greater: p or a?
a
Suppose 2*i + i + 35 = -f, -2*i + 3*f = 5. Which is greater: -11 or i?
i
Let h = -16 - -17. Which is bigger: 23 or h?
23
Let f = 77 + -111. Let n = 37.4 + f. Let a = -0.4 + n. Is 0.1 at least as big as a?
False
Let o be -1 + 0 + -3 + 34. Is 31 >= o?
True
Let a = -20 - -58/3. Let i(s) = -9*s. Let n be i(-1). Suppose 5*p = -m + 9, -2*p - n = 3*m - 5*p. Which is greater: a or m?
a
Suppose 5*l - 4*j = -10, 3*l - 2*j + 0*j = -4. Suppose -l*p + y + 5 = 2*p, 0 = 3*p - 4*y - 7. Let w = p - 1. Are -1 and w unequal?
True
Let t be (-2)/6 + 57/72. Let h = 1/8 - t. Let g(j) = j**2 + 6*j - 8. Let q be g(-7). Which is bigger: q or h?
h
Let r be 3 + (-18)/(-72) + 54/8. Which is smaller: r or 65/7?
65/7
Suppose 4*i = -0*f - 2*f + 2, 4*i + 61 = 5*f. Which is greater: 10 or f?
10
Let u be (-1 - 35/28)*2/(-6). Which is greater: 8 or u?
8
Let k = 18 - 12. Let m(j) = j**3 - 6*j**2 + j - 5. Let q be m(k). Let d be ((-1)/(-3))/(6/(-4)). Is d bigger than q?
False
Suppose 5*s = -0*s - 255. Let t be (-3)/(s/(-12) + 1). Is t < 1?
True
Suppose 6*l + 86 = 8. Is -12 at most as big as l?
False
Let m = 132 - 132. Which is bigger: 2/73 or m?
2/73
Let t be 2/(-4) - (-3755)/(-22). Let p = t + 171. Does p = -1?
False
Let m be (-1*3)/(4*6/(-72)). Which is smaller: m or -10?
-10
Suppose -4*b = d - 0*b + 1, -4*d + 5*b = -17. Let m be d/(1 + 23/(-2)). Does 4/5 = m?
False
Let s = -18.37 - -18. Which is greater: 0.2 or s?
0.2
Let a = 2 - 2. Let p = 38 - 34. Is p > a?
True
Let i = 20 + -11. Which is smaller: 6 or i?
6
Let l = 5 - 3. Let x be 4 + 0 + l + -1. Let w be (-2)/10 + 4/x. Which is bigger: 1 or w?
1
Suppose -3*z + m - 7 = 0, -2*m - 11 = z + 3. Let u(g) = -g - 1. Let p be u(z). Let y = -1.4 - -1.2. Which is smaller: p or y?
y
Let g(h) = 5*h - 18. Let s be g(5). Is 7 != s?
False
Suppose 4*g + 2*b + 2*b = 16, 0 = 5*g - b - 2. Let v be ((-16)/(-20))/((-18)/(-15)). Which is greater: v or g?
g
Suppose 0 = x + 3*x. Which is smaller: -6/5 or x?
-6/5
Let y be (-2 - 84/(-35))/((-2)/(-5)). Is y <= 3?
True
Let a = 130 + -135. Which is smaller: a or 0.2?
a
Let n be (-7)/(-3) - 4/(-6). Suppose -n*a = -4 - 5. Suppose a*l = -2*l - 20. Are -3 and l nonequal?
True
Let h(j) = j + 5. Suppose -4*i = 18 + 6. Let r be h(i). Let x = -136 - -1770/13. Which is bigger: r or x?
x
Let u be 18/3 - 3/3. Suppose 4*o - u = -1. Is -5 at least o?
False
Let w be -