m non-equal?
True
Suppose -5*c + 20 = 2*m, 2 = -m + 7. Is 0 <= c?
True
Suppose 19 + 13 = -2*r. Is r greater than or equal to -14?
False
Let t = -164/3 + 54. Which is smaller: t or -5?
-5
Let z be 92/112 + 4/(-7). Let v be (-2)/56 + 6/21. Is v < z?
False
Let c be 6/4 + 2/4. Let g be 3*((-9)/(-3))/3. Let p be 0/((g - 2) + -2). Is c less than p?
False
Let m = 15 - 15. Which is bigger: -1/43 or m?
m
Suppose -9*x = -5*x. Is x < 3/10?
True
Let y be (-894)/30 - 4 - (-2)/(-10). Are 1 and y unequal?
True
Suppose -u + 5*u = -28. Let d be (7 - 6) + u/5. Is d bigger than 1?
False
Let j be (-5)/2 - (1 + -3). Which is greater: j or -2?
j
Let f = 0.24 + -0.14. Which is smaller: f or -3?
-3
Suppose -3 = 4*q + 3*o, 20 = -5*o + o. Suppose -2*x = 4*v + q*x + 6, -2*v + 8 = -3*x. Let s = -1 - -3/4. Is v greater than s?
True
Let p = -0.7 + 0.2. Which is bigger: 0.1 or p?
0.1
Let s(b) = b**3 + 16*b**2 - 16*b - 9. Let w be s(-17). Are w and -26 equal?
True
Let g = -9 - -7. Let c = 15 + -15.2. Which is smaller: c or g?
g
Let h = 3.96 + 0.04. Which is smaller: 2/7 or h?
2/7
Let t = -0.77 + 0.86. Are -4 and t equal?
False
Suppose -2*b - 2*d + 14 = 0, -5*d + 8 = 2*b - 15. Let k(z) be the second derivative of z**5/20 - z**4/3 - z**2/2 - z. Let m be k(b). Is -2/11 equal to m?
False
Let r be (-6)/(-15) + 56/10. Is 4 < r?
True
Let k = -0.15 + 8.15. Let y = -11 + k. Which is smaller: y or 0?
y
Let t = 96 + -95. Is -3/65 < t?
True
Suppose -12*t - 2 = -14*t. Is t at most as big as 1/22?
False
Let v = 49/18 + -20/9. Suppose 0 = -2*i + 2*z + 2, 0 = -3*i + 4*z + z + 1. Suppose r = -c + 2 + i, -c - 11 = -4*r. Which is smaller: c or v?
v
Let r = -8 + 7.87. Let a = r + 1.33. Let u = a + -0.2. Do u and -1 have different values?
True
Suppose 5*o - 49 = -2*m, 5*m - 11 + 1 = 0. Let x = o - 12. Which is greater: x or -16/5?
x
Suppose 0 = -2*k - x + 8, x = -5*k + 5*x - 6. Which is smaller: k or 5/4?
5/4
Let z be (-5)/10 + (-10)/4. Suppose -3*b + 5*y = 3*y + 3, -5*y - 4 = 4*b. Which is greater: z or b?
b
Let n be (8/(-10))/((-1)/(-15)). Let d = n - -16. Which is greater: 3 or d?
d
Suppose 0 = 2*a - 10, -3*r + 3*a - 5 = -2. Suppose r*u + 7 = -3*m - 4, 4*u - m - 9 = 0. Which is smaller: 0.4 or u?
0.4
Let t(n) = -n**3 + 2*n**2 - n - 17. Let s be t(0). Which is smaller: s or -13?
s
Let q = 7 - 15. Let l = q - -6. Let f = -2 - l. Is 1/14 bigger than f?
True
Let d = -11/152 - 62547/1064. Let p = d + 59. Let h be (-1 + -5)*(-2)/6. Which is bigger: p or h?
h
Suppose 5*v + 2 = -4*s - 19, -2*v + 6 = -2*s. Which is smaller: v or -1/3?
v
Suppose -54 = -21*m - 12. Is 7/3 greater than m?
True
Suppose 0 = o - 5*g - 19, -2*o + g = -4 + 2. Let j(y) = -3*y - 1. Let x be j(-2). Let r be 1/x - (-8)/(-15). Which is smaller: r or o?
o
Let a = -324/5 + 66. Let l = -31 - -32. Which is smaller: l or a?
l
Let a = 95 - 856/9. Let s(v) = v**2 + 11*v + 9. Let r be s(-10). Is r at least as big as a?
False
Let h be (-3 + 2)/(1/6). Let r be (3 + -2)*h/(-3). Let v be ((-9)/24)/(3/r). Is v bigger than -1/4?
False
Let d = -0.9 - -5.9. Which is smaller: d or -0.4?
-0.4
Let z(u) = 179*u**2 + 7*u + 5. Let q be z(-4). Let w be (0 + 1)*q/(-15). Let y = w + 190. Are y and 0 non-equal?
True
Let o be (8/(-10))/(14/315). Which is smaller: o or -17?
o
Suppose -4*p + 4*z - 23 = 1, 2*z = -2*p. Let n be -4 + 1 - (p + 4). Is n less than -2?
True
Let w = 24 + -25. Suppose -2*i - 16 = 3*p, -p = 2*i + 15 - 3. Which is greater: w or p?
w
Let b be -3 - -1*2/2. Let q be b - 7/(-5)*-2. Let w = 139/30 + q. Is w less than 1?
True
Let s = -5 - -4.6. Let c = 0.7 + -1. Let j = s - c. Which is smaller: -1 or j?
-1
Suppose -1 = -b - 3. Let o be (-2)/14*2/b. Let d be (-6)/14 + (-6)/(-14). Which is bigger: d or o?
o
Let y(n) be the second derivative of -n**4/12 - n**3 - 2*n**2 + 3*n. Suppose 2*a = -2*o - 6, 3 = -a + 7*o - 3*o. Let q be y(a). Does q = 4?
False
Suppose -p = 3 - 1. Let h be 9/3 + -6 - p. Let s = 1 - 2. Do s and h have the same value?
True
Let b = 8/61 + -274/1159. Which is smaller: 0 or b?
b
Let g be (-22 + 1)/((-66)/4). Which is smaller: g or 1?
1
Suppose -3*w = 4*o - 280, 6*o - 5*w - 70 = 5*o. Is 70 smaller than o?
False
Let p be (-111)/20 + (1 - 0). Let h = p - -24/5. Which is greater: h or -2/13?
h
Let p = 66 + -62. Is p equal to 4?
True
Let d = -137/9 + 15. Suppose -4*n - 2*h = h - 32, 3*n + h - 19 = 0. Suppose n = -v + 4. Which is greater: d or v?
d
Let w = -3 + 2. Let c(z) = 2*z**2 + z. Let q be c(w). Let l be (-11)/12 + (-4)/(-6). Which is smaller: l or q?
l
Let a be 34/10 - (-4)/(-10). Suppose 8*p = a*p. Let x = -2 + 1. Is x equal to p?
False
Suppose -2*p - y + 19 = 0, 0 = p - 4*y + y + 8. Suppose 0 = -p*x + 3*x + 4. Let w = x + -1. Is w less than or equal to 0?
True
Let z be 4/56*9/6*24. Which is greater: z or 3?
3
Let h = -3.1 - 0.9. Let d = -943/77 + 87/7. Is d at most as big as h?
False
Suppose 0 = 3*a - 2*a. Let o(z) = z**2 + z + 2. Let v be o(a). Suppose -f + 0*f = -2*q, 2*f - v*q = 2. Which is bigger: -0.3 or f?
f
Let w be (20/(-2))/2 - -1. Let v be (-6)/(-4) - -5*20/(-25). Which is bigger: w or v?
v
Suppose 0 = -4*i - 0*i + 40. Let z be ((-8)/i)/(1/5). Let v be z/(-21)*(-3)/(-2). Are v and 1 equal?
False
Let x = 0.1 + 0. Is 5 at least x?
True
Let o = 31 + -25. Let w = 20 - 13. Is o >= w?
False
Let w(c) = -c**2 + 8*c - 7. Let u be w(7). Is u <= -1/16?
False
Let h(f) = f. Let w be h(9). Suppose -3*b + 14 = 4*m, -2*b - 3*m + 0*m + 8 = 0. Which is greater: w or b?
b
Let n = 0 - 4. Let v = n + 4. Is v smaller than -2/3?
False
Let r = -5 - -6. Let s = 4 + -5. Let l = 0.7 + s. Is l less than r?
True
Let r(t) = t**2 + 9*t - 3. Suppose -26 = 2*m - 4*l, -m + 3*l - 3 = 12. Let w be r(m). Let q = 3 + w. Is q bigger than 0?
False
Let j be 2 + (1 - (-6)/(-2)). Let f(o) = -o**2 - 5*o + 2. Let h be f(-5). Which is bigger: h or j?
h
Let h = 42 + -41. Suppose 7*r - 2*r = 5. Does h = r?
True
Let a = -0.1 + 0. Let t be (-15)/(-100)*5/(-2). Which is greater: t or a?
a
Let c(r) = -r - 6. Let t be c(-6). Let q be (-2)/(0 - 2) - t. Let o be 0*-1*(-2 - -3). Which is smaller: q or o?
o
Let y = -6 + 8. Let d = 3 + y. Are d and -1 non-equal?
True
Let f be (-1 + 2)*(-2)/6. Which is bigger: -5 or f?
f
Let l = -4 + 3. Let o be (-6)/(-6) - (l - -1). Suppose 0*z = -5*z. Is z at least as big as o?
False
Let t = -1 - -0.1. Let a = -0.1 + -0.9. Let p = t - a. Is p > -1?
True
Let k(i) = i**3 + 6*i**2 - 8*i - 7. Suppose -3*z = 4*a + 39, 2*z + 24 = -5*a + 3*a. Let s = 2 + z. Let u be k(s). Which is smaller: u or 1?
u
Let f = 0.51 + 1.49. Which is smaller: f or -6/7?
-6/7
Suppose 2*c = -3*k - k - 22, 5*k = 2*c - 5. Let r(t) = t**3 - 6*t**2 + 6*t - 9. Let z be r(5). Which is smaller: z or c?
c
Let z = 6 + -6.6. Let c = 6.6 + z. Which is greater: -1/2 or c?
c
Suppose 0 = -4*d + d + 6. Which is bigger: d or 3?
3
Let z(u) = 2*u + 9. Let g be z(-4). Which is greater: -2/157 or g?
g
Let z be 4 + 2/(-6)*-3*1. Suppose 0 = 6*o - 3*o + 27. Let p be 2/6 + z/o. Does 3 = p?
False
Let d(r) be the third derivative of -r**5/60 - r**4/4 - r**3/2 + 3*r**2. Let i be d(-5). Suppose 3*u - 3 = -0*u. Is u greater than i?
False
Let y = -14.03 - -14. Is -0.1 greater than y?
False
Let g = -17 + 18. Let c be (g/6)/(4/16). Which is greater: 0.05 or c?
c
Suppose 15 - 12 = 3*o. Which is smaller: 3/20 or o?
3/20
Let n = -8.3 + 8. Let q = 0.4 + n. Let t = 0 - q. Is 0.1 at most t?
False
Let b(i) = 7*i + 1. Let f(x) = 15*x + 2. Let v(h) = 13*b(h) - 6*f(h). Let r be v(5). Let k = r + -4. Which is greater: 4 or k?
4
Suppose 4*l - 67 = 5*w, -l + 6*w = 3*w - 22. Let i(r) = r - 14. Let o be i(l). Suppose 4*g + 8 = 2*x, -4*x + 3*g = 2 - 3. Is x != o?
True
Let z(s) = s**3 - 9*s**2 + 10*s - 19. Let k be z(8). Which is smaller: -1 or k?
k
Let a = -11 - -17. Is a < 6?
False
Let o = 0.32 + -0.02. Let j = -1.1 + o. Let s = j + 0.4. Which is greater: s or -0.1?
-0.1
Let u be (2/(-25))/((-1)/5). Which is bigger: u or 1?
1
Let z = -0.02 - 1.98. Let h = -0.2 - -0.1. Let p = -0.2 - h. Which is greater: p or z?
p
Suppose n = -2*r + 1 - 7, r = 2*n - 13. Suppose -2 = 2*q - n. Is q equal to -1/21?
False
Suppose -72 = -26*h + 25*h. Is 72 <= h?
True
Let m = -16.364 - -0.164. Let y = m - -16. Which is smaller: y or 6?
y
Suppose -4*o + 212 - 20 = 0. Let s = o + -193/4. Suppose -3*f = -5*f - 2. Which is smaller: f or