r -9?
-9
Let z = -1.3 - 0.7. Let t = z - -1. Let b = -2.7 + 3. Which is smaller: b or t?
t
Suppose -2*z - 59 = -7*z + 3*m, 0 = 5*m + 15. Let k(i) = -i**3 + 10*i**2 + i - 11. Let f be k(z). Which is bigger: f or 2?
2
Let h be (3*2)/(30/(-80)). Which is bigger: h or -17?
h
Suppose -79 - 5 = 2*s. Which is smaller: -43 or s?
-43
Let m = 40325/68 + -593. Is -1 smaller than m?
True
Suppose -12*l - 2 + 2 = 0. Let g = 8 + -13. Let o be (2/g)/(4/2). Which is bigger: l or o?
l
Let p = -82 + 85. Which is greater: 1 or p?
p
Let w = -320 - -318. Let s(d) = d**2 - 2*d. Let y be s(2). Suppose y*i - i = 2. Is w at least as big as i?
True
Let i(h) be the third derivative of -h**6/120 + h**4/24 - h**3/3 - 3*h**2. Let r be i(0). Let j be (-3)/(-3)*2/r. Which is greater: j or -1/8?
-1/8
Suppose 4*k = -8 - 16. Which is greater: k or -5?
-5
Let f be (3/(-6))/(2/8). Let z be (6 - 3)/((-21)/f). Are z and 2/3 non-equal?
True
Let x be (-26)/8*(1 - -3). Let c be 6/21 - x/28. Let m(s) = -s**3 + 6*s**2 - 6*s + 6. Let f be m(5). Which is bigger: c or f?
f
Let a = 112 - 108. Which is bigger: a or 6?
6
Let d = 31 - 46. Let t = -11.18 + 0.18. Let v = t - d. Which is greater: v or -1/4?
v
Let y = -1.04 + 0.04. Let c = -2 - y. Let x = -0.3 + 0.5. Is x equal to c?
False
Let j be 1 + (-4)/(-8)*36/(-21). Is j != -0.1?
True
Suppose 84 = b + 3*b. Let d be 27/b - 2/7. Let j be 96/180 + (-1)/3. Is d greater than j?
True
Let j = -4 - -3. Let s = -1 - j. Let z = 0 - -1. Is s greater than z?
False
Let x = 3/74 - 197/3034. Which is bigger: x or 0?
0
Let j = -53 - -55.16. Let o = j + -0.16. Does 1 = o?
False
Suppose 0 = -7*u + 3*u + 8. Let j = -1262199/70 + 18032. Let y = j - -3/14. Which is greater: u or y?
u
Let u = 27 + -16. Let r be 29/(-3) - u/33. Is 1 greater than or equal to r?
True
Suppose 0 = 5*v + h, 4*v = 2*h - 0*h. Suppose -3*b = -q - 2*q + 21, 0 = -3*b + 5*q - 27. Let s be 6/b*6/9. Which is smaller: s or v?
s
Let c = 7 + -5. Suppose k + 3*v = 5*k + 7, -c*v + 12 = k. Suppose k*w = w - 2. Which is smaller: -3 or w?
-3
Let f = 0.94 + 0.06. Let b = -2.5 + 3. Let z = b + -0.3. Is z less than or equal to f?
True
Let u = -3 - -4. Suppose h + 3*d + 19 = 3, 3*d = -2*h - 17. Let l be 1 - h - 38/18. Is u at most l?
False
Let g(r) = r**3 - 3*r**2 + r + 2. Let l be g(3). Suppose 0*k - 5*k + 5*a + 25 = 0, 23 = 4*k - l*a. Suppose -3*o + k = -4*o. Do o and -1 have different values?
True
Let n be 20/40*-1*2. Let y be ((-63)/(-14))/(-3*1). Which is smaller: n or y?
y
Let s(l) = 2*l + 6. Suppose -m = c - 5*m + 24, 2*c - 4*m = -28. Let z be s(c). Let u = 1 - z. Which is bigger: 2 or u?
u
Let c = -1190 + 132088/111. Which is greater: c or 0?
0
Let q be 6/15 + 2/(-5). Let r = -2 + q. Let c be 5/r - (-5)/10. Which is greater: 1 or c?
1
Let g = 1.75 - -1.29. Let j = -3.3 + g. Let n = j + 0.06. Which is smaller: n or -2?
-2
Let i = 0 - -0.1. Let y = -0.35 + 0.45. Are i and y nonequal?
False
Let c = 0.1 - -6.9. Let a = -3 + c. Is 1 equal to a?
False
Let p = -4/4847 - 2185961/43623. Let w = p - -50. Let m = -26/9 - -112/45. Which is bigger: m or w?
w
Let m = 8 + -14. Suppose 2*c = -3*c - 315. Let h be m/c*(-6)/2. Which is smaller: 0 or h?
h
Let z be (2/(-3))/(28/(-12)). Is 0.11 at least z?
False
Suppose 0 = q - 4*v + 16, 4*q - v - 1 = -20. Which is greater: -7 or q?
q
Let i = 176 + -3695/21. Which is smaller: i or 0?
0
Suppose 6 = -6*k + 4*k. Let n be (3 - 1)/(-2 - 0). Which is bigger: n or k?
n
Let b be (-128)/(-350) - (-6)/(-21). Suppose 0 = 2*x - 0*x + n, 5*n - 9 = -x. Is x greater than b?
False
Let m(c) = -c + 1. Let h be m(1). Which is smaller: 1.1 or h?
h
Suppose -11 = 5*d - 1. Let l be (4/3)/(d/(-9)). Which is smaller: 4 or l?
4
Let m be ((-76)/6 + 1)*1. Let t = -36 - -24. Let x = m - t. Is 0 smaller than x?
True
Let h = 93/2 - 48. Which is greater: 0.2 or h?
0.2
Let t be 3/7 - 25/(-7). Let r = 0 + 2. Suppose r*v = t*v. Is 0 at least as big as v?
True
Suppose -h + 5*s + 0 = -1, -3*s - 19 = 4*h. Let d be h/6 + 1/(-3). Is d not equal to -1?
False
Let s = -3 + -42. Let u be (122/s)/(1/(-10)). Let v = -27 + u. Which is greater: 0 or v?
v
Let x(c) = 6*c + 19. Let r be x(-3). Which is greater: r or -3/22?
r
Let m = -2/5265 - 38959/5265. Is m bigger than -8?
True
Suppose -2*i = i + 18. Let x(q) = -q**3 - 6*q**2 - q + 3. Let u be x(i). Let t(o) = -o**2 + 9*o - 1. Let j be t(u). Which is bigger: j or -1/3?
-1/3
Let h = -0.88 - -0.8. Let j = h - 0.02. Is j >= 0?
False
Let q be 4/(-14) + (-12)/7. Let r(t) = 15*t + 3. Let y(f) = 7*f + 1. Let h(m) = -6*r(m) + 13*y(m). Let z be h(4). Which is smaller: z or q?
q
Let o = -73 + 73. Which is smaller: 3/17 or o?
o
Let s = -1.3 - -2.3. Let o = 0.8 - 1. Which is smaller: s or o?
o
Let h be 1/((-2)/(3*-2)). Is h greater than 2?
True
Let y = -8 - 15. Let r = -12 - y. Is 12 >= r?
True
Let u(p) = p**3 + p - 8. Let k = -1 - -1. Let t be u(k). Let g be (-6)/t - (-2)/(-4). Is -1 > g?
False
Suppose 4*l - 20 = -4*o, -2*o + 1 = 4*l - 11. Suppose 3*w + 19 = 4*i, -i + 5*i = -o*w - 16. Which is smaller: -2/17 or i?
-2/17
Let x be ((-2)/4)/(1/4). Let f be 0/2 - 0/x. Suppose -5*b = -6*b - 1. Which is bigger: b or f?
f
Let u be 1/(-5) + (-12)/(-10). Let q(r) = 27*r - 1. Let y be q(-1). Let h be (2/10)/(y/(-105)). Is h greater than u?
False
Let n be 1 + 2*(-15)/24. Let r be (3/4)/((-27)/(-24)). Which is greater: r or n?
r
Let u = -0.5 - -0.6. Let r = u + -0.3. Let t = r - 0.8. Which is smaller: 1/5 or t?
t
Let p(l) = -l**2 - 14*l - 9. Let i be p(-13). Which is greater: i or 10/3?
i
Let c(p) = 5*p**3 + 0*p**3 + 7*p - 6*p**3 + 5*p**2 - 4. Let g be c(6). Let j be 1*((-4)/g + 1). Are -1/3 and j nonequal?
True
Let y(u) = -19*u. Let o be y(-5). Suppose 2*f + 17 = -o. Let z be (-144)/f - (-4)/(-2). Is 2 > z?
True
Let o be (18/(-22))/((-3)/(-2)). Let w be 0/(2/(-2*1)). Which is smaller: w or o?
o
Let n be 800/(-8580) - (-2)/13. Is 1 at least n?
True
Let u(f) = f**3 - 5*f**2 - 2*f + 3. Let y be u(6). Is 26 greater than y?
False
Suppose -9 = -3*j - 0*j. Let b be -1 + 1 - j/6. Let f = -1 - 1. Which is smaller: f or b?
f
Let i = 36 - 12. Suppose r + 3*r - i = 4*k, -3*k = 2*r + 8. Is 4/7 smaller than r?
True
Let b be 1 + 0 - 6/2. Which is smaller: -5 or b?
-5
Let n = 13 + -14. Which is bigger: n or 4/27?
4/27
Let w = -61/2 + 30. Let u be (-3 - -1) + 0/2. Let t = -4 - u. Which is greater: w or t?
w
Suppose -3*r - 2*r = 10. Suppose 2*s = 2*m + 3*s + 4, -5*s + 32 = -3*m. Let q be (r/(-4))/(1/m). Is q greater than or equal to -1?
False
Let p = 17 - 15. Suppose t = 2 + p. Is 4 at least as big as t?
True
Suppose 6*n - 3*n - 3 = 0. Let k(g) = g. Let v be k(n). Let l be (-5 + -1)*(-1)/3. Which is smaller: v or l?
v
Let r = 0.09 + -6.09. Let o = -0.14 - -5.94. Let w = o + r. Which is smaller: w or 0?
w
Let a = 4 + -3. Let z be 3/(-5 + 2)*a. Let o be (z + -5)*6/9. Is -2 > o?
True
Let n be 3*2/(-6)*-3. Let m = -6 + n. Which is smaller: m or -2?
m
Let t = -0.2 - -1.2. Let q = -10 - -4. Let g(n) = n**2 + 6*n - 1. Let l be g(q). Is l <= t?
True
Suppose -21 + 6 = 3*j + 5*p, -15 = -5*j + 5*p. Let t(s) = 9*s - 7. Let v be t(-5). Let h = -362/7 - v. Which is greater: h or j?
h
Suppose 0*s + 5*x = -s - 2, -11 = -5*s - 4*x. Suppose k + s*g + 12 = 2*k, -3*k - 3*g - 12 = 0. Are -2/9 and k equal?
False
Let a = 1174/7 + -168. Let n = -0.37 + 3.67. Let i = 3 - n. Is a at least as big as i?
True
Let l = -13 - -11. Which is bigger: -3 or l?
l
Suppose -3*b - 24 = -216. Let t = b - 21. Let r = 302/7 - t. Are r and 2/5 equal?
False
Let k = 327 + -1957/6. Suppose 0 = -5*g + 6 + 4. Is g < k?
False
Let z = 15 - 15. Let f = -79 - -3396/43. Which is bigger: z or f?
z
Let c(n) = -2*n - 6. Let p be c(-3). Let q = -91 - -457/5. Which is smaller: p or q?
p
Let h = -14 + 34. Suppose -5*x + 4*z + 4 = 0, -h = 3*x - 5*x - 3*z. Suppose x*f + 6 = f. Is f < -5/6?
True
Let r = 6 - 2. Suppose 9*l = r*l - 5*u - 10, 2*u = -l. Are l and -4 unequal?
False
Suppose 125 = 3*w - 2*i, -2*w + 4*i + 133 = w. Is 38 at least w?
False
Let y(h) = h**2 - 4*h - 1. Let a be y(4). Let b be (2/5)/(a/(-5)). Let k = -369 - -2587/7. Do b and k have different values?
True
Let c(g) = g**2 - 6*g + 9. Let u be c(4). Let w = u - 0. Is -1 at most w?
True
Let x be 1/(-2) - 1/(-2). Suppose -4*w + 16 = -0*n + 2*n, x = 4*w - 2*n. Is w equal to 6/7?
False
Suppose k - 1 = 