0?
h
Let z = -28/65 + 249/65. Let d = z - 4. Which is smaller: 0 or d?
d
Suppose -2*m - 10 = -7*m - l, 3*m - 6 = 5*l. Let c = m + -2. Which is smaller: -2 or c?
-2
Let i be (-10 + -64)/(2/(-6)). Let x be (-3)/(-5) - i/270. Which is bigger: 2/7 or x?
2/7
Let k = 5 + 1. Let c be (2 - 4/k)*3. Is c not equal to 4?
False
Let g(v) = v**2 + 5*v - 8. Let h be g(-6). Let s = 0.3 - -0.1. Let j = 0.3 - s. Is j < h?
False
Suppose -1 + 6 = -2*f - 5*r, r = 5*f - 28. Let s = 7 - f. Suppose -7 = s*c - 19. Which is smaller: 5 or c?
5
Let a = 6 - 7. Let h = -343/6 + 57. Are a and h nonequal?
True
Let f = 25 - 41. Let l(a) = -a**3 - 7*a**2 - 3*a + 2. Let c be l(-6). Is c equal to f?
True
Suppose -5*p - 2*p - 7 = 0. Do p and 2/89 have different values?
True
Let y(w) = 6*w**2 + 3*w. Let p be y(-2). Let z = p + -10. Let r be (2/4)/(4/z). Is r less than or equal to 2/5?
False
Let y = -6.82 - 0.18. Let k = -7.6 - y. Let z = k + 1.6. Is -3 less than z?
True
Suppose 3*g = -3*k + 3, 2*g - 3*g = -2*k + 5. Is 3/28 at least g?
True
Suppose u + 0*r - 4*r = -14, -5*r = -4*u - 12. Which is bigger: 3/2 or u?
u
Let v(b) = -b**3 + 7*b**2 - 6*b - 7. Let j(d) = 2*d - 15. Let w be j(10). Let k be v(w). Let o = -7 + k. Which is smaller: 5 or o?
5
Suppose -4*m = -m - 6. Suppose -c + 17 = -5*i, 5*c + 8*i = 4*i - 2. Is m smaller than c?
False
Let o be 24/30*(-30)/(-4). Suppose 0 = 4*g - o - 2. Suppose -5*r - 1 + 3 = -4*w, 0 = 3*w + 5*r - 16. Is w >= g?
True
Let l = -94 - -95. Let a = -291/5 + 58. Which is greater: a or l?
l
Suppose 26 = -5*n - 34. Let v be (4/12)/((-4)/n). Is v > 0?
True
Let b = -11 + 14. Suppose a + 6 = -x - b*a, -5*x - 3*a - 13 = 0. Is x < -3?
False
Let d(h) = -4*h + 3*h**2 - 1 + 5 - 2*h**2. Let v be d(3). Is v smaller than -2?
False
Suppose -5*t + i - 12 = -69, 0 = 2*t - i - 24. Suppose 257*r - 255*r - 22 = 0. Are t and r unequal?
False
Let x = -2 - -3. Let p = -10 - -11. Are x and p equal?
True
Let m be (-1)/(-1 + (-6)/(-5)). Suppose -4*s = -2*s - 8. Let g = s + m. Are -2 and g equal?
False
Let g = -2418/11 + 220. Let p be 122/5 - 2/5. Suppose 4*n = 5*c - p, -2*c - 4 = n - 11. Which is bigger: g or n?
g
Suppose -v + 3*q = -0*q, q = -5*v + 48. Let n be ((-3)/v)/((-6)/(-9)). Let x be (-3)/11*(-2)/3. Which is smaller: x or n?
n
Let d = 759/7 - 108. Let u = 2 + -3. Which is smaller: u or d?
u
Let h = -15 + 25. Is 10 != h?
False
Let x be ((-2)/(-20)*2)/(-1). Let l(a) = -a**2 + 7*a. Let b be l(6). Let i be 3/b - (-1)/2. Does x = i?
False
Let l = 2.9 - 2.95. Which is smaller: l or -2?
-2
Let m = 52 + -23. Is 28 not equal to m?
True
Let y(r) = r**2 - 11*r - 11. Let n be y(12). Let q = -376 - -4891/13. Do n and q have the same value?
False
Let j = 18.91 - 19. Let y = j - 0.91. Which is smaller: 3/7 or y?
y
Let d(z) = 3*z + 16. Let o be d(-3). Is o at least as big as 52/9?
True
Let k be 6/14 - (-240)/28. Is k at most 9?
True
Suppose -o = 57 - 56. Which is smaller: -2/423 or o?
o
Let l = 3 - 10. Let f be ((-7)/(-42))/(l/(-4)). Is f not equal to 1?
True
Suppose -6*g = 10 - 4. Is 1 < g?
False
Let c = 7.9 + -8. Let k = -12.9 + 10.88. Let o = 0.02 + k. Are c and o non-equal?
True
Let v = -2 + 4. Suppose 5*y - v*y - 9 = 0. Suppose -5 - 1 = y*i. Is i >= -2?
True
Let x be 21/140 + (-4)/10. Is x at least as big as 0.08?
False
Let v(f) = 2*f**3 + 10*f**2 - 3. Let p be v(-4). Is p at least as big as 29?
True
Suppose 2*p = 3*s - 28, 0 = -s + 3*p - 2*p + 10. Suppose -3*v + s*v - 5 = 0. Let n = 31 + -29. Is v not equal to n?
True
Let q = 11.66 - -0.34. Which is greater: 0 or q?
q
Let k = -0.09 + -0.01. Let z = -0.1 + k. Which is bigger: 0.1 or z?
0.1
Let v = -15.7 + 16. Let b = v + -0.2. Is b > 0.21?
False
Let f(r) = -r - 3. Let j be f(-6). Suppose -9 + 3 = j*u. Is u smaller than -2?
False
Suppose k - 8 = -3. Suppose 4*h = 4, 2*z - 1 = -4*h + k*h. Is 1/4 <= z?
True
Suppose -4*n - 7 = -11. Is n > 2?
False
Let d(i) = i**3 + 5*i**2 - 8*i - 9. Let k = 12 - 18. Let f be d(k). Suppose -4*q + q = -f. Is q bigger than 1?
False
Let k(r) = -r**3 + 5*r**2 - r - 2. Let v be k(4). Let a = -10 + v. Is 0 < a?
False
Suppose -2 = 5*o + 8. Let b be (3 - 3)/(1*o). Let c = -2 + 2. Is c at most b?
True
Let l = -5 - -2. Let v = 9 + l. Suppose -v = y + y. Do -2 and y have the same value?
False
Let a be 24/108 - 8/9. Is a at most as big as -1/2?
True
Suppose 5*o + 2 = -8. Let s be o/(-6) - 6/36. Which is greater: s or 0?
s
Let q = -2.1 + 1.82. Are 1 and q nonequal?
True
Suppose 5*l - 39 = -14. Is l greater than 3?
True
Let d = 30 + -28. Suppose 2*c = 4*o - 7*o + 26, 41 = 5*o + c. Suppose 0 = -2*m - 3*p + 8, 4*m + 2 = -p + o. Which is greater: d or m?
d
Suppose -5*b + 3*b = 2. Let k(y) = y**2 + 6*y + 6. Let u be k(-5). Is u less than b?
False
Let b = -2/119 + 125/357. Is -58 > b?
False
Let i be (-1 + 3)/1 + -2. Is i greater than -46?
True
Let n(y) = y**3 + y**2 - 5. Let d be n(0). Let q be ((-2)/(-4))/(4/(-40)). Is q > d?
False
Let j(q) = -2*q + 3. Let s be j(-11). Let b = s + -17. Is 9 at most as big as b?
False
Let i = -36.74 - -37. Which is bigger: i or -1?
i
Let i = 4 + -5. Let a be (-15)/5 + (-2)/i. Is a at least -1?
True
Suppose 4*x = -24 - 12. Is x at least -9?
True
Let a = -1 + 0.9. Let n = 0.28 + 1.72. Is n >= a?
True
Suppose -q + 13 = 4*l, -3*q - 8 = -2*q - 3*l. Is q equal to -1?
False
Let i(a) = -a**3 + 2*a**2 + 6*a - 8. Let c be i(3). Which is greater: -1/33 or c?
c
Let k be 22/12 - (-6 - (-60)/8). Let f = 2 - 1.96. Are f and k equal?
False
Suppose -3*r + 1 = -2. Suppose 5*n - 5 = -0. Is r < n?
False
Let f = -1 - -10. Which is smaller: f or 1?
1
Let g be (7 - 5) + 8/(-6). Let w = 0.2 - 0.05. Let y = 0.2 - w. Is y greater than g?
False
Let z be (8/(-6))/(8/12). Let a(r) = -r**2 - 3*r - 1. Let p be a(z). Which is smaller: 0 or p?
0
Let s = -37307441/165 - -226105. Let g = s - -2/55. Are g and 3 nonequal?
True
Suppose -2*o = 4*u + 4, 19 = -0*u - u - 5*o. Let d be u/(-2)*2/(-1). Which is bigger: d or 0?
d
Let b be (-1722)/(-130) - 0 - (-8)/52. Which is greater: b or 14?
14
Let m = -11.6 - 0.4. Let a = 38.9 + -39. Is a less than m?
False
Let y be (-34)/(-16) - 2 - 0. Let n = y + 11/40. Is 1/3 not equal to n?
True
Let a be (-1)/(-4) + 15/(-12). Let p be (2 - a)/(63/(-6)). Which is smaller: p or 0?
p
Let u = -149 - -124. Is -25 greater than u?
False
Let o = 20 - 33. Let m = 88/7 + o. Do -1 and m have the same value?
False
Let r be 6 - 0/2 - 1. Suppose -26 = -5*o - 2*a + 6*a, 4*o = 4*a + 20. Which is greater: r or o?
o
Let l = -2 + 2.2. Let c = -0.08 + -1.72. Let f = -2 - c. Does l = f?
False
Let m = 7 - 7. Let a(s) = -s + 8. Let l be a(m). Suppose -l*p = -9*p. Which is bigger: p or -0.3?
p
Let q(x) = x**3 - x**2 - 4*x + 3. Let n be q(2). Let u be (-525)/(-130) - 3 - 1. Which is greater: n or u?
u
Let t be 8/24 - 2/(-3). Let q be (-1)/t + (-15)/(-20). Is -1/4 not equal to q?
False
Let x = 17.9 - 16. Let g = -2 + x. Let m = -3.9 - -4. Is g at most as big as m?
True
Suppose 0 = g - 32 - 96. Let a be 4/6 - g/264. Is a greater than or equal to -2/3?
True
Suppose -14 = 6*c - 4*c. Is -5 less than c?
False
Let c = 85 - 82. Let f be (-18)/8 - 2/(-8). Which is smaller: c or f?
f
Let r = 5/38 - 7/342. Is 1 != r?
True
Let b = 36.2 - 36. Which is greater: 7 or b?
7
Let r = -7.1 - -1.1. Let n = -8 - r. Let x be (-48)/21 - (-6)/3. Which is bigger: x or n?
x
Suppose -3*o = -o - 4. Let b = 4 - 2. Is o bigger than b?
False
Suppose 208 = -5*k + 5*d - 77, -d + 225 = -4*k. Which is greater: -1/5 or k?
-1/5
Let s = 3157/13 + -243. Which is greater: s or 1?
1
Let h be 3 + (-1)/(1/2). Suppose 2*t + 5 - h = 0. Do 0 and t have different values?
True
Let q be 3*(-19)/6*-2. Let d(r) = -r - 6. Let v be d(6). Let y = q + v. Is y less than 8?
True
Let l = 56 + -64.9. Let x = 9 + l. Is x equal to 0.3?
False
Let b = -539 - -336. Are -202 and b non-equal?
True
Let n be ((-65)/15 + 4)*-6*2. Is 0 at least as big as n?
False
Let b be 4/(-10)*(-480)/(-8). Let g be 30/b*2/10. Is g less than -0.6?
False
Let f = -39 + 39. Is 10 > f?
True
Let l be 1 - -2 - (-6 - 16). Suppose -c = 4*c + l. Which is greater: c or -4?
-4
Let w(t) = t**3 - 3*t**2 - 3*t - 5. Let c be w(4). Do c and -1 have the same value?
True
Suppose 3 = -t + p, 3 = -t - 2*p + p. Is t greater than -3?
False
Let p be 0/((3 + -2)*2). Suppose 3 - 4 = 4*y - f, 0 = 3*y + f - 8. Which is