9?
True
Let z be (0 - 0) + (-5)/(-9). Let y = z - 43/45. Let b = -2.8 + 3. Which is greater: y or b?
b
Suppose -f - 2*o = o - 14, 0 = 5*f - 3*o + 2. Let b = -1 - -3. Suppose 6 = b*m + 3*u, 0 = -u + 4*u. Which is smaller: f or m?
f
Suppose 2*k - 3*k + 1 = 0, 4*b - 2*k + 6 = 0. Is b at most as big as 1/140?
True
Let d be 11/(-3) + 2/3. Let w be (-19)/(-7) - (d - -1). Let m = 5 - w. Is m greater than or equal to 0?
True
Suppose 14*y - 360 = 130. Is 34 at least as big as y?
False
Let y = -0.02 - -0.22. Let d = y - 0.2. Which is smaller: d or -1/7?
-1/7
Suppose 3 = i - 3. Suppose -2*l - i*y + 7 = -3*y, -3*y + 3 = 0. Is -1 less than l?
True
Let j = 78/5 + -16. Suppose -1 + 0 = -h. Let b be 5/3 - (h - -1). Which is bigger: b or j?
b
Let p = -0.4 - -1.6. Let d = -0.2 + p. Let u(g) = -g + 15. Let l be u(17). Which is smaller: d or l?
l
Let j = 1 - 0.9. Let x = -3 + 3.1. Let l = x + 0. Is l greater than j?
False
Suppose -2*n = j - 4, -n = 3*n - 20. Let k = 5 + -10. Is j less than or equal to k?
True
Let o be (2/(-5))/((-5)/50). Suppose k - 1 = -3*d, d + o*k - 1 = 3. Is d equal to 0?
True
Suppose -l + 20 = 2*m, -3*m + 0*m + 23 = l. Let x be 74/l + 6/(-21). Which is smaller: 4 or x?
4
Let q(g) = -g**3 - 5*g**2 + 6*g + 5. Let z be q(-6). Let f = -1 + z. Let b = f - 2. Are b and 2 nonequal?
False
Let s = -1236/5 + 14677/60. Let q = -7/3 - s. Do q and 0.1 have different values?
True
Let n be -2 - (-3 + 2 + -8). Do n and 8 have the same value?
False
Let a = -323/104 + 42/13. Which is bigger: a or 4?
4
Let j = 44 - 74. Let n = -91/3 - j. Are n and -1 nonequal?
True
Let o be 4/(-8) - 94/4. Let v be (-28)/(-3) - (-8)/o. Suppose v = -5*x - 11. Is x at least -4?
True
Let d = 563/5168 - 1/272. Which is smaller: d or 0.3?
d
Let f = 1.9 - -0.1. Let v = 2.06 - f. Let m = -1609/2 + 804. Is m greater than or equal to v?
False
Let l(g) = -g**3 + 2*g**2 + 3*g - 2. Let q be l(3). Let o = 6 - q. Suppose -3*j = -o*j + 5. Are 1 and j equal?
True
Let v be (6/(-1))/(5/(-25)). Is v bigger than -1?
True
Suppose r + 26 = 3*o - 5*o, -2*o + 2*r - 20 = 0. Let k = -13 - o. Let h be -1 - -1*(-34)/(-30). Which is smaller: h or k?
k
Let g = -32.32 - -0.32. Are g and -0.1 non-equal?
True
Let m be (-5 - -3)*(-5 + 0). Let x = -18 + m. Is x equal to -7?
False
Let y be 2/(-4)*0 - -10. Suppose 4*v - 5 = -z - 19, -v = -3*z + y. Let w be ((-7)/v)/(5/4). Is w bigger than 0?
True
Let y be 4/(-6) - (-10)/15. Suppose 3*o = 2*w + o, y = 3*o. Suppose d + 2 = 3*s, -4*s - d + w*d = 2. Which is greater: -1 or s?
s
Suppose -m - 3*f = -84, -m + 4*m = -4*f + 227. Let z be 2/(-7) - m/(-168). Does z = -1?
False
Let b(j) = -j + 11. Let k(l) = -l**2 + 7*l + 4. Let i be k(6). Let d be b(i). Is d at most 1?
True
Let n(k) = 2*k**2 - 26*k + 27. Let p be n(13). Is 26 > p?
False
Let k = -1.66 - -1.7. Which is bigger: k or 1/3?
1/3
Let t = -3 + 9. Let g = t - 2. Suppose 0 = -4*a + 8 - g. Is a > 4?
False
Let i = -0.7 - -0.72. Let b = 0.18 - 0.06. Let w = i - b. Is -0.1 bigger than w?
False
Let g be 1/2 - 2/(-4). Let y be (-3 + (-54)/(-26))*(-16)/32. Which is bigger: g or y?
g
Suppose 3*y - 4*n = 16, -5*n = -2*y - 2*y + 20. Which is smaller: 2/55 or y?
y
Suppose j - 4*j + 3 = 0. Suppose -f - 5 = -2*c, 3*f - 3*c + 5 + j = 0. Which is greater: -0.07 or f?
f
Suppose -5*u - z = 11 - 5, -3*z = u + 4. Is -6/5 equal to u?
False
Suppose 0 = q + 4*r + 1, -3*q - 8 - 6 = r. Let z = q + 8. Suppose -z*p = -x + 15, -2*p + 0*x = x + 5. Is p != -4?
False
Let i = 4.2 + -4. Let v(x) = -x**2 + 9*x + 10. Let y be v(10). Is i less than y?
False
Suppose -4 = -r - 2*j, -2*j + 15 = -5*r - 25. Are r and -26/5 nonequal?
True
Let t be (-1)/3*1 - (-1250)/(-30). Which is bigger: t or -3?
-3
Let w = 49 - 76. Let p be 17517/w*18/(-21). Let y = -556 + p. Which is smaller: y or -1?
-1
Let p = -0.1 - -2.1. Let u = -3 - 2. Let g = u - -2. Which is bigger: g or p?
p
Let c = 2.1 + -2. Let n = 14 - 20. Let z = n - -8. Is z <= c?
False
Let a = -0.3 - -1.3. Suppose -3*h = -4*h + 5. Suppose h*t + 4 = 19, -2*i - 4*t = -8. Is i bigger than a?
False
Let p be (-1 + 0)/(1 + 0). Let a = -0.04 - 4.96. Let r = a - -5.2. Is r at least as big as p?
True
Let n be 2 - (1 + (2 - 2)). Which is greater: -2/7 or n?
n
Let l be 8/(-28) - (-96)/189. Is l >= -9?
True
Let j = 0 - 1. Let q = -3 + j. Let a = q - -5. Is a at least as big as -2?
True
Suppose 3*u - 4*u + 9 = 0. Suppose u*h = 4*h - 5. Which is greater: h or 2/3?
2/3
Let y = -0.5 - -0.42. Let z = -2.92 + y. Let f = z + 2.9. Is -5 greater than f?
False
Suppose 5 + 10 = 3*k, -4*k + 20 = 2*y. Is y < 2/9?
True
Let u = 1.6 - 1.4. Is -0.1 less than u?
True
Let i = 0.25 + -0.1. Let d = i - 7.15. Which is smaller: d or 2/5?
d
Let i(m) = -m - 1. Let r be i(-6). Suppose -r*g - 24 = -74. Is 10 less than or equal to g?
True
Let m = -37 + 37.1. Is m bigger than 54?
False
Let u(v) = 3*v**3 + 6*v**2 - 9*v - 3. Let n(i) = -4*i**3 - 6*i**2 + 10*i + 3. Let w(s) = -4*n(s) - 5*u(s). Let g be w(5). Let h = 3 - 0. Is h less than g?
False
Let k = 0.155 + 0.845. Which is smaller: k or 12/7?
k
Suppose -v + 5 = c - 0*v, 4*v - 16 = -2*c. Is 11 > c?
True
Let k be (2/4)/(8/(-128)). Suppose 0*y - 8 = y. Is k not equal to y?
False
Suppose 16*a = 279 + 393. Which is bigger: -1 or a?
a
Suppose 5*g - 30 = 30. Let b = -17 + g. Is b at least -5?
True
Let i(b) be the third derivative of b**5/60 - b**4/4 + 5*b**3/6 + 2*b**2. Let d be i(5). Which is greater: 1/7 or d?
1/7
Suppose 0 = -n + 5*n + 8. Let k = 0 + n. Let s = 82/3 - 28. Do k and s have the same value?
False
Let s = -6 - 5. Let b = 4 - s. Let u be ((-12)/b)/(4/(-10)). Which is bigger: 1 or u?
u
Let v = 31 + -31.28. Which is smaller: -2 or v?
-2
Let m be (-34)/(-8) - 5/20. Let a be (-2)/28 + m/(-8). Let j = -0.4 + 0.3. Which is smaller: a or j?
a
Suppose -13 = -3*f - 3*a - 4, 0 = -5*f + 5*a - 5. Let g be -3*(f - 3 - -1). Suppose -2*t = g*t. Is -4 > t?
False
Let n be (-1)/(4/(-6))*(-32)/(-6). Which is smaller: 6 or n?
6
Let f = 5.9 + 1.1. Let t = 7.6 - f. Let m = 0.4 - t. Which is smaller: -2/5 or m?
-2/5
Let c be 4*(-1 + (-2)/(-8)). Let v(p) = -2*p**2 - 2*p + 1. Let n = -2 + 3. Let t be v(n). Is t != c?
False
Suppose 3*s - 9 = 0, -3 = -5*c + s + 4. Let x be 22/(-6) + 6/c. Which is smaller: x or -1?
-1
Let k be 0 + 2 + 14 + (-16)/4. Which is greater: k or 10?
k
Let l = 0.04 - 0.13. Let v = l - 0.01. Are -1 and v equal?
False
Let t = -63/1649 + -2/97. Suppose 0 = -2*f + 2 - 0. Is t at most as big as f?
True
Let u = 3 + 4. Let z = u - 7. Which is greater: z or 0.1?
0.1
Suppose 0 = -x + 3*x + 6. Suppose 3*a - 10 - 2 = 0. Suppose 3*l + 4 = -4*s, -a*l + 0*l = 3*s + 3. Which is smaller: x or s?
x
Let p be (2 - 10) + 0 + 3. Is -6 bigger than p?
False
Suppose -4 = 5*m - t - 22, -5*m + 30 = -5*t. Suppose -2*s = -s + 1. Is m at least s?
True
Let h be (-3423)/(-20) + 3/12. Let s = h + -172. Let b = s - -1/35. Which is greater: 0 or b?
0
Let y be 6*(-1 + (-1)/(-3)). Let x = -139 + 136. Do x and y have different values?
True
Suppose -w = -4*p + 2, -2*p - 3*p - 10 = 5*w. Is p at least -1/28?
True
Suppose 9 = 6*z - 2*z - 5*h, -4*z - 5*h = 1. Suppose 1 = p - z. Is 2 not equal to p?
False
Let n = 11/12 - 5/12. Is n less than 0.06?
False
Suppose -1 = -5*w + 14. Let z = 2 - w. Is z less than or equal to -6/11?
True
Suppose 2*y + y + 6 = 0. Suppose 0 = -3*x + 25 - 10, -l - 2 = -x. Suppose -4*r + r = l. Is y <= r?
True
Let d(k) be the third derivative of -k**6/120 - k**5/30 + k**4/12 - 2*k**3/3 + k**2. Let z be d(-3). Which is smaller: -7/3 or z?
-7/3
Suppose -5*d - 3*o = 13, 7 - 3 = -3*d + 2*o. Which is smaller: d or -1?
d
Suppose -4*s = -w + 2*w - 11, -2*s + 8 = -2*w. Let c = 3407/16 + -213. Let d = 5/16 + c. Which is smaller: w or d?
w
Let x = 4.811 - 0.111. Let i = -5 + x. Let z = -0.13 + 1.13. Which is smaller: i or z?
i
Let g = -1 + 1.1. Let t(i) = 2*i. Let z be t(2). Suppose 0*b = -5*b + 3*p + 9, -z*b = 3*p - 18. Is b at most g?
False
Suppose -n + 12 = -0*n. Suppose w + 4 = -2*u, -2*w - n = 5*u - 1. Suppose -w*x = -0*x + 2. Which is bigger: 1 or x?
1
Let x(w) = 3*w + 7. Let u be x(6). Suppose -2*f = -d + 17, 0*d = 5*d - u. Let n be (-5)/(-15)*f/8. Is n less than or equal to 3/2?
True
Let q be 3/(-3) - (1 - 1). Let y be (144/(-574))/(3/4). Let o = y - -2/41. Which is smaller: o or q?
q
Suppose 56 + 7 = -3*k. Wh