?
True
Let w(g) = g**3 + 10*g**2 - 10*g + 10. Let x be w(-11). Is x >= -1/54?
False
Suppose 6 = 3*q + 39. Is q at least as big as -11?
True
Let v = 0.8 + -0.4. Let c = v - -0.6. Is 1 bigger than c?
False
Let w = -0.27 - -4.07. Let g = -1.2 - w. Let i = -2 - g. Is i at least as big as 2/7?
True
Suppose -5*n = 5*p + 10, 2*p = -0*p + 2*n - 4. Let q(a) = -a - 3. Let v be q(-6). Let y = v + p. Which is smaller: 2 or y?
y
Suppose 78 = -7*c - 69. Are -21 and c non-equal?
False
Let r = -87 - -11. Which is greater: r or -77?
r
Suppose 5*d + 21 = -h, 3*h + 2*d + 11 = -0*h. Let w be ((-12)/(-34))/(-1)*5. Let s = w + 257/136. Which is greater: h or s?
s
Let s be 2*3/(-18)*-5. Is 1/5 bigger than s?
False
Let g = 3 + -2.9. Let v = 163 + -1139/7. Is v at least g?
True
Suppose 2*w - 2*g = -w + 2, 2*w = 3*g - 2. Let i be 0*w/(-1 - -7). Are i and 0 equal?
True
Let m = -41/5 + 67/10. Let b = 9 - 3. Let f = b + -7. Are f and m non-equal?
True
Suppose -4*j = -2*x - 7 + 5, 0 = 5*x - 5*j - 15. Which is greater: x or 15?
15
Let w be (8/(-6))/((-2)/3). Let r be 5*(w + 2 + -3). Let y(h) = 2*h - 9. Let v be y(7). Do r and v have the same value?
True
Let j be (-44)/(-11) + 42/(-10). Which is greater: j or -2?
j
Suppose 0 = 8*y - 5*y + 24. Let u be -1 - (y/(-4) - 1). Are -1/6 and u non-equal?
True
Let c = 4 - 5. Let n = 229 + -3437/15. Is n >= c?
True
Suppose 0 = m - 3*m + 20. Let n = m - 13. Is -1 > n?
True
Suppose -3*b = -n + 14, 2*n + 30 = -5*b + 3. Let h = 4879/18 + -271. Which is bigger: n or h?
h
Suppose 0 = -0*a - 3*a - a. Is a < 5/9?
True
Suppose -x + 2*d = 6*d - 13, -3*x = 2*d + 1. Which is smaller: -4 or x?
-4
Suppose -2*u + 10 = -3*v, -3*u + 8*u = -2*v + 25. Suppose g - 5*g + 18 = -2*s, -5*s = -u*g + 20. Is 1 at least as big as s?
True
Suppose f - 5 = -3. Suppose 0 = f*c + 3 - 7. Is c at most 2?
True
Let a = 6 + -6. Suppose -b + 4*c - 4 = a, 0 = 4*b + c + 1 - 2. Suppose b = -5*n - 2*t - t + 20, 0 = -2*n - 5*t + 27. Is n > -1/9?
True
Let f = -30 + 17. Let c be (-15)/f - 2/13. Is -1 >= c?
False
Let h be 3/(18/(-28)) + -2. Let y = h - -16/3. Let i be (-4)/(-8)*0/1. Is i equal to y?
False
Let g = 0.24 - 0.54. Let h = 3 - 2. Is h at least g?
True
Let p = 17 - 13. Is p <= 1/4?
False
Suppose 5*b - 2*w = -0*w - 4, -4*b = -w + 5. Let f be (-1)/(-14*b/(-8)). Which is greater: 2/3 or f?
2/3
Let n be (-2)/4*(-10)/25. Is 0.2 smaller than n?
False
Suppose 2*t - 3 = 5*t. Do t and -6/25 have different values?
True
Suppose 41*p - 37*p = 36. Which is smaller: 5 or p?
5
Let k(s) = -4*s + 7*s**2 - 2*s + 7*s - 1. Let l be k(1). Let b = 5 - l. Is b at most -2/3?
True
Let w be 1/(-3) - (796/(-150) - -5). Are w and -1/4 unequal?
True
Let z be 5/(-1)*(-6)/15. Let s be (-1)/2 + (-2)/4. Let t be 8*(-1)/(-5) + s. Is t < z?
True
Let q = 29/2 + -15. Let x = 1.2 - 1.3. Are x and q non-equal?
True
Let o(t) = -13*t + 3. Let n be o(-3). Suppose -5*h - 68 - n = 0. Let a be -1 - (h/(-18))/(-1). Is a > -1?
True
Suppose 3*z = -g - 59, 5*g + 48 = -3*z + z. Is z smaller than -18?
True
Let b = 13 - 6. Suppose -b = 3*p - 4*p. Which is smaller: p or 0.1?
0.1
Let q be 4/10*(-1489)/(-4). Let x = 149 - q. Which is bigger: -1 or x?
x
Let j(k) = -k**3 + 11*k**2 + k - 10. Let f be j(11). Let l = -49/200 + 3/25. Is l greater than f?
False
Let f(m) = m**3 - 2. Let h be f(-5). Let a be h*((-10)/(-8) - 1). Let c = a + 32. Which is bigger: c or -1?
c
Let u(r) = r - 13. Let k be u(10). Let y(w) = w - 1. Let q(v) = 2. Let l(a) = -q(a) - 2*y(a). Let g be l(1). Which is smaller: k or g?
k
Let l = -31 - -36. Do 3 and l have the same value?
False
Let q = 8 + -122/15. Which is greater: 0 or q?
0
Suppose 3*k = 2*k + 6. Suppose 0 = -p - 3, -2*v - 2 = -k*v + 2*p. Is v greater than or equal to -3/7?
False
Let c be (-1)/(-2) - (-20)/(-8). Let g(j) = -6*j**2 + j. Let o be g(1). Let n be (o + 1)*(-1)/c. Which is bigger: -1 or n?
-1
Let c = 4.9 + -0.9. Which is bigger: -1 or c?
c
Let a(t) = -t**3 - 7*t**2 - 2*t - 7. Let u be (-12 + -2)*(-2)/(-4). Let g be a(u). Let j = -7 + g. Is -2/9 smaller than j?
True
Let b = -9 + 8. Let g = b - 0. Is g greater than or equal to -2?
True
Suppose -13 = -3*y - 2*a - 122, 4*a + 181 = -5*y. Which is bigger: -36 or y?
-36
Suppose 0 = -15*s + 13*s + 14. Is 6 != s?
True
Let g = 166 + -165.9. Is g at least 39?
False
Let n = 3 - 4. Suppose -4*x = -5*j - 36, -x - 8 = x + 4*j. Suppose x = 4*m - 0. Is m bigger than n?
True
Suppose 2*v + 0*v = 2. Which is bigger: v or 3/19?
v
Let m = 56 + -39. Which is bigger: 16 or m?
m
Suppose 0 = 5*z - 4*x + 45, 0 = 2*z + 5*x - 3*x. Let l be ((-4)/5)/(2/z). Let q = 3 - 0. Is q at most l?
False
Suppose 5*l - 11 - 9 = 0. Suppose -4*i + 16 = 3*r + r, l = 2*r. Let v be 0*(2/i - 0). Which is bigger: v or -1?
v
Let m(d) = d**3 - 6*d**2 + 5*d - 1. Let r be m(5). Which is smaller: -4/3 or r?
-4/3
Let p be 1/((-15)/(-24)) - (-3)/(-5). Let o(d) = d**2 + 5*d - 1. Let z be o(-5). Is z at most as big as p?
True
Let g = 6746.05 - 6887. Let s = g + 144. Let x = s + -0.05. Does 1/4 = x?
False
Suppose 4*y + 5*h + 16 = 0, -h - 11 = -5*y - 2. Let o be 13/(-6) + 1 + y. Which is bigger: 1 or o?
1
Suppose 0 = -3*x + 8*x + 165. Is -33 at least as big as x?
True
Let i(s) = s + 6. Let m be i(-5). Which is smaller: 5/4 or m?
m
Suppose 3*u + 2*u = 0. Let m = 6 + -6. Suppose m = s - r - 2*r + 3, -2*s = 4*r - 4. Are u and s unequal?
False
Suppose 5*v = 6*v + 22. Is v < -21?
True
Let y be (-20)/30 - 242/1404. Let s = y - -2/351. Let x(v) = -v**3 + 2*v**2 + 2*v + 3. Let h be x(3). Which is bigger: s or h?
h
Let w be (4/10)/((-1)/(-10)). Let h = 14 + -9. Let p = h - w. Is -3/7 >= p?
False
Let r be 3/(-3*(-1)/3). Suppose 0 = -4*s + 1 + r. Let y = -1/85 - -52/85. Is y <= s?
True
Suppose -9 - 6 = 5*f. Are f and -2 unequal?
True
Let d = -43 - -214/5. Is d not equal to -2/3?
True
Let m = 5 - 8. Let n = 4 + m. Let g = n - 0. Are 3/7 and g nonequal?
True
Let d = 137/3 - 45. Let g = 0.5 + -2.3. Which is greater: g or d?
d
Let g(o) = 2*o**3 + 2*o**2 - 1. Let q be g(-1). Let f be 769/(-4) + (-4)/(-16). Let r = -2494/13 - f. Are r and q unequal?
True
Let k = 89 - 116. Which is smaller: k or -25?
k
Let y = 17.5 + 91.5. Let d = -112.06 + y. Let b = d - -0.06. Which is smaller: 1 or b?
b
Suppose 5*p - 4*w - 6 = 30, 5*w = -5*p. Let z be 3 - (-3)/((-6)/p). Let s be 4*((-3)/(-6) - 0). Which is smaller: z or s?
z
Suppose -2*l = l - 9. Let p be (1/(-4))/(4 - l). Which is bigger: p or 0?
0
Suppose -3 = -2*u - 5. Let w(j) = -j**3 + 9*j**2 - 9*j + 5. Let i be w(8). Let q be i/u - (0 + 1). Is -0.1 smaller than q?
True
Let t = 5 - 5.5. Let d = 0.5 - t. Is d greater than or equal to -1?
True
Let t(g) = -11*g - 27. Let v be t(-11). Suppose -5*j = 2*x - x + v, -61 = 3*j - 4*x. Are j and -19 non-equal?
False
Let d(m) = -m**2 - 9*m - 9. Let o = -21 + 13. Let z be d(o). Which is smaller: z or -4?
-4
Suppose 0*v - 18 = -3*v. Let s be v/(-8) + (-51)/12. Is s greater than -5?
False
Suppose 0 = 4*k + k - 10. Let h be k/(-7) - (-422)/7. Let d be -6*3*2/h. Which is smaller: 0 or d?
d
Let t(x) = x**3 - 22*x**2 - 23*x - 1. Let s be t(23). Let o = 37/3 + -469/39. Do o and s have different values?
True
Let j(z) = -z + 17. Let m be j(17). Which is smaller: -0.7 or m?
-0.7
Suppose -4*a + 7 = -w - 2*a, -3*w - 3*a = -15. Let q = 0 + w. Let v be -2*(42/(-16))/3. Is q greater than v?
False
Let t(f) = f**3 - f**2 - 4*f + 2. Let z be t(3). Suppose -5*a - z = -a. Suppose -2*q = n + 4 + 2, 0 = -n - 4. Is q at most as big as a?
False
Suppose -5*i + 3*d = -d - 3, -27 = -4*i - 5*d. Let l = 6 - 11. Let c = l + i. Is -1 > c?
True
Let d = 55 + -157/3. Let h(l) = -l + 4. Let k be h(0). Let t = d - k. Which is smaller: t or 0?
t
Let p = -8 - -13. Suppose 2*o + p + 1 = 0. Which is smaller: o or -2?
o
Let o = -125/7 + 18. Is o > 7?
False
Let p = -1346382 - -25590109/19. Let z = p - 466. Which is bigger: 0 or z?
0
Let z = -530 + 345. Let v = z - -1297/7. Is v at most as big as 3?
True
Let g = 2.5 - -0.5. Let q = g + -2. Which is bigger: -0.2 or q?
q
Let n = 11 + -16. Suppose 0*l - 15 = -5*l. Suppose l*c = 1 - 16. Is n not equal to c?
False
Let n be 8/5*(-5)/(-2). Suppose 4*r - 20 = -2*y, -y - n*r = -3*y - 4. Which is smaller: -0.1 or y?
-0.1
Let f be (4/46)/(1/3*-9). Which is smaller: f or -1?
-1
Suppose 3*o = -o + 24. Let c = 8 - o. Let f = -2/37 - -41/7