greater than -2/7?
True
Let y = -49 + 51.6. Which is bigger: y or 0?
y
Let j = 5 - 2. Let d = 1 + j. Suppose 0 = -0*w - d*w. Which is smaller: 2 or w?
w
Let f = -88 - -85. Which is smaller: f or -6?
-6
Let t be (-2964)/(0 + -2) - -2. Let n = 140982/95 - t. Let r = n - 101/285. Do -2/7 and r have different values?
True
Suppose -8*d + 3*d = -5*r + 10, d + 6 = 5*r. Let x(o) be the third derivative of o**4/24 - 7*o**3/6 + o**2. Let f be x(6). Which is greater: r or f?
r
Suppose z = 3*z, 2*f + 16 = -4*z. Is f >= -6?
False
Let a = -1/57 + 59/114. Which is smaller: -0.16 or a?
-0.16
Suppose -3*f + 9 = -18. Let r be 3/f - 13/3. Do r and -4 have the same value?
True
Suppose 5*v + 39 = -21. Let m(z) = -z**3 - 11*z**2 + 11*z - 14. Let t be m(v). Suppose 0 = -2*g + 6*g - 4. Is t less than g?
True
Suppose 0 = 5*u + 8 + 2. Let o be (u - -1)*(-9)/57. Let v = o - 25/38. Is -1 less than or equal to v?
True
Suppose 8 = 4*w, -3*w - w = x - 1. Let r(c) = -c - 7. Let u be r(x). Let y be ((-2)/3)/(-2 + u). Which is smaller: y or -3?
-3
Let i be (-4)/16*8/(-9). Is i bigger than 3?
False
Let g = -2 + 5. Suppose 3*d + 2 = 5. Is d at least g?
False
Let g(x) be the second derivative of -3*x + 0 - 1/2*x**2 + 1/3*x**3 + 1/20*x**5 + 1/4*x**4. Let o be g(-2). Do o and 3 have different values?
True
Let f be (0/(-2))/(2/1). Suppose d + s + 3 + 3 = f, -2*d - 32 = -3*s. Let i = d - -10. Is i at least 2/29?
False
Suppose -3*f + 217 + 89 = 0. Suppose -y - f = 2*y. Let m be 1 + y/14 + 1. Is 1 at most as big as m?
False
Let x = -34 + 41. Which is smaller: 8 or x?
x
Let y be 72 - ((-6)/12)/((-2)/4). Do 70 and y have different values?
True
Let j(g) = g**3 - g**2 + g + 1. Let z be j(-1). Suppose 0 = -k - t - 3, k + 3*k = 4*t + 28. Which is bigger: z or k?
k
Let h(d) = -d**3 + 9*d**2 - 16*d + 9. Let p be h(7). Is -6 at most as big as p?
True
Let u(t) = -t**2 + 12*t - 1. Let k be u(9). Is 24 > k?
False
Suppose 3*r = j + 29 + 36, -j - 87 = -4*r. Are r and 22 unequal?
False
Let x = 10 - 8. Let f be (-66)/(-78) - x/(-13). Which is greater: f or 3/10?
f
Suppose 4*q - 7 = 1. Suppose 0*r = -q*r. Let x be (-1)/(r - (-2 + 1)). Which is smaller: x or -1/5?
x
Let t(d) = -18*d. Let l be t(1). Is -19 at most as big as l?
True
Suppose -p + 3*d + 0*d + 9 = 0, -3*p + d = -11. Let b = -2 + 5. Is p greater than b?
False
Suppose 15*l - 20*l + 10 = 0. Which is smaller: l or 11/4?
l
Let i = -2045/18 + 221/2. Let c = -214/63 - i. Which is smaller: c or -2?
-2
Suppose 5*p = l + 146, 3*p + 5*l - 3*l - 98 = 0. Suppose 2*i = -4*w, 2*w - 7*w = 10. Let v be (8/10)/(i/p). Is 6 >= v?
True
Let u = 5 + 0. Let k be u + (-1)/1*1. Which is bigger: k or 3?
k
Let y(h) = 2*h + 15. Let s be y(-7). Is s > 10/9?
False
Suppose -4*y = -y - 6. Let p be (-2)/1 - (1/1 + -9). Suppose -y*h + 4 = -p*h. Which is greater: h or 3?
3
Suppose 300 = 7*i - 17*i. Is -3 at least i?
True
Let f be (-102)/4*(-4)/27. Let n = f - 184/63. Is 0 >= n?
False
Let r(s) = -7*s + 19. Let v be r(3). Suppose -3*a - 3*g - 16 = 2*g, g + 2 = 0. Is a > v?
False
Let p = -5.04 + -0.06. Let s = p - -5. Do s and -2 have the same value?
False
Let u be 1*2/(-3 + 1). Which is smaller: -3/46 or u?
u
Let i be 0 - (3/(-5))/(-3). Suppose 0 = 4*q + 5*x - 24 + 1, -5*q + 13 = x. Is q at most as big as i?
False
Let b = -1 - -4. Suppose -b = w - 0*w. Is w at most -5/2?
True
Let p be (12/10)/(6/40). Let l be (0 - -4)*2/p. Suppose -5*k + 11 = l. Is 1 smaller than k?
True
Let g = 9/11 + 139/99. Which is bigger: g or 2?
g
Suppose 5*z - z = 0. Suppose 4*s = -z*s + 8. Let u be (s/(-6))/((-3)/(-9)). Which is bigger: -2/5 or u?
-2/5
Let x be ((-11)/66)/(2 - 1). Let b = 4 - 5. Which is smaller: x or b?
b
Suppose 3*s + 2*c - 15 = 0, -20 = -4*s + 2*c - c. Suppose 0 = -2*y - 4*a + 46 - 16, -s*y + 35 = 2*a. Are 2/5 and y equal?
False
Let g = -9.5 - -21.2. Let j = g + -11. Let l = j + -2.7. Which is smaller: l or -2/7?
l
Let x = 0.11 + -0.21. Let n = 0.06 - -7.94. Let p = n - 6. Is x at least p?
False
Suppose 0 = -3*c + 1 - 4. Is c not equal to 1?
True
Let o(b) = -3*b - 19. Let j be o(-8). Let x be 15/(-20) - j/(-12). Is -2/11 smaller than x?
False
Let q be 3 + (-4 - -9) + -7. Are 1/102 and q equal?
False
Let h be (2/2)/(-39 + -8). Is 0 at least h?
True
Suppose o - 5*v = 18, -o - 2 = -2*v - 11. Suppose -11 = -3*z + 2*u, -4*z - 6*u = -3*u - 9. Let p = z - o. Is -1/4 at least as big as p?
False
Let y be (-6)/12 + (-7)/(-2). Let s = 15 + -5. Suppose -y*q + s = 2*q. Which is greater: q or 4/3?
q
Let f(x) = x**3 + 5*x**2 - 8*x - 1. Let l be f(-6). Is l smaller than 12?
True
Let p be 4/14 + (-16)/7. Let v be p/((-16)/6) - 1. Suppose 0 = 12*j - 8*j + 4. Which is smaller: j or v?
j
Let p = -11 - -9. Let k be 1/p*(-6)/(-3). Which is greater: 2/15 or k?
2/15
Suppose -4*a - 32 = -0*a - o, 2*a = -4*o + 2. Which is greater: a or -15/2?
a
Let a = 0.98 - 1. Let z = a - 0.08. Which is greater: z or 3?
3
Let x = -16 - -20. Suppose 2*o - 14 = x*o. Is -7 at most o?
True
Suppose 1 - 5 = 2*k. Let m = k + 3. Is m <= 1?
True
Suppose 2*v + 5 = -3*v. Let l be (21/(-33) - v)/2. Does 1 = l?
False
Let w(g) = g + 3. Let t be w(-4). Let h = t - -1. Suppose h = -5*f + r + 3, -2*f - 4*r + 2*r = 6. Does -2 = f?
False
Let l = -1/128 - 251/640. Is -1 at most l?
True
Let p = 27 - 25. Let m = -1.95 - 0.05. Let j = p + m. Is 0.2 <= j?
False
Suppose l = 7*s - 3*s + 21, -5*l - 15 = 4*s. Is 7 greater than or equal to l?
True
Let l = 0.029 - 0.229. Does -2/9 = l?
False
Suppose 0 = -5*z - 5*s - 30, -4*z + 4 = s + 13. Let x(n) = -n**3 - 3*n**2 + 7*n + 7. Let d be x(-4). Is d at most z?
True
Suppose -t = -4*t. Suppose 5*m - 8 = -2*x, -2*x = 3*x + 4*m - 3. Let v be 1*((t - 0) + x). Which is smaller: v or -1/5?
v
Let v(f) = f**3 - 6*f**2 + 3*f + 11. Let s be v(5). Is 1/6 at most s?
True
Let c = 2.6 + -1.4. Let u = 0.2 - c. Let s = 0.02 - -3.98. Which is bigger: s or u?
s
Suppose 6*y = 53 + 7. Let q be (y/(-6))/(6/(-18)). Which is smaller: 2 or q?
2
Let m(n) be the first derivative of -1/4*n**4 - 1 - n**3 + 3/2*n**2 - 3*n. Let h be m(-4). Is h <= 2?
True
Let r be 0 + 47/3 + (-65)/39. Let d = 26 - 13. Is r <= d?
False
Let a(c) = c**3 - 3*c**2 + 2*c - 4. Let v be a(3). Suppose 5*d + v*w = 4*w - 28, 5*w = 5*d + 40. Which is smaller: -5 or d?
-5
Let r = -12 - -12. Suppose r = -3*t - 3. Let f = -4 + 2. Which is smaller: t or f?
f
Let a = -0.2 + -2.8. Let x = -2.8 - a. Suppose 4*w = 5*m + 6, 5*w = 3*m + 3*w + 2. Which is smaller: m or x?
x
Let v be -1 - (21 - 3)/(-3). Let o = -4 + v. Let a = 0 + o. Is 1/4 less than or equal to a?
True
Let z = -97 + 1937/20. Which is greater: 0 or z?
0
Let v = -2 - -3. Let f = 1 - 1. Suppose -2*o + 2 + 4 = f. Is o smaller than v?
False
Let a be (-12 + 0)*2/4. Let k(w) = -w**2 - 5*w + 3. Let m be k(a). Which is greater: -4 or m?
m
Suppose -4*u + 15 = u. Let h = u - 4. Is -1 > h?
False
Let w be ((-3)/7)/((-16)/(-28)). Let k = -1 - -3. Let j be 3/6 - k/4. Is j <= w?
False
Suppose -2*o + 4*o + 16 = -t, -3*o - 50 = -5*t. Let v = -9 - o. Let u be (-10)/18 - 2/(-6). Is v at most as big as u?
False
Let y be (-2)/(4/14) - 1. Let h be (-2)/6*24/y. Let m(f) = f**3 + 5*f**2 - f - 3. Let v be m(-5). Is h at most as big as v?
True
Let l be -1*2*63/14. Is l > -9?
False
Let j(g) = g + 11. Let u be j(-11). Suppose 6*t - 5*t = u. Which is smaller: t or 2/39?
t
Let r be (-3)/5 + 6/15. Suppose 0 = p - 5*p. Which is greater: r or p?
p
Let v = 14 - 13.9. Is v bigger than 0.29?
False
Let a(o) = -2*o - 19. Let l be a(-10). Is 6/11 at most as big as l?
True
Let m = 4 + -6. Let k = -0.51 + 0.61. Are k and m non-equal?
True
Let y = 50.8 + -51. Let n = -232543/20 - -11636. Let s = -43/5 + n. Which is bigger: s or y?
s
Let w = 0.11 + -5.11. Let m = -0.09 - 0.01. Which is bigger: m or w?
m
Let u(r) = r**3 - 2*r**2 - r. Let p = 4 - 1. Let v be u(p). Let q be (-4)/v + (1 - 0). Which is smaller: 0 or q?
0
Let s = 26 + -26. Let x(o) = o**2 + 7*o + 8. Let z be x(-6). Let a(m) = -m + 1. Let q be a(z). Which is smaller: s or q?
q
Let u = -353/2 + 156. Let n = u - -21. Are n and -1/2 nonequal?
True
Let f be (-2)/(-5) + (-3232)/80. Let m be f/99 - (-28)/126. Let x(q) = -q**2. Let a be x(0). Is m equal to a?
False
Let a be 2/(4 + (-2)/1). Which is smaller: a or -2/13?
-2/13
Suppose 5*w = 2*u + 5, -w - 3*u = -0*w - 1. Let n(y) = y**2 - 5*y - 5. L