9 equal?
False
Let g = -28 - -28. Let p = -0.2 + g. Which is bigger: 2/31 or p?
2/31
Let g be 108/36 - (1 + (-126)/(-50)). Which is greater: g or 0?
0
Let o(k) = k**3 + 12*k**2 + 13*k - 27. Let i be o(-11). Let m = i - -85. Suppose v = -5*x - m, -3*v - 4*x + 6*x = 40. Is -17 less than or equal to v?
True
Let p = 12 - 27. Let w = -14.97 - p. Let q = -0.07 - w. Is q <= -0.1?
True
Let b = -398 - -309. Is b at least as big as -83?
False
Let h be ((0 - 4) + 17)*(-5)/6. Let g = h - -535/48. Which is smaller: g or 0?
0
Let b = 15863/31 + -511. Which is greater: 0 or b?
b
Let z = 52574555 + -871948993543/16585. Let w = -2/535 + z. Which is smaller: 0.2 or w?
w
Suppose -2*t = -76 + 68. Let a be (-2)/3*-9 - 0. Suppose t*v - 2 + a = 0. Is 1.5 at least v?
True
Let d = -736 + 735.665. Which is smaller: 0 or d?
d
Let j be -2 + 3 + 3 - 0. Suppose -4*p = m + 38, j*p - 4*m = -0*m - 28. Let n be p*(4 - 100/24). Are 0 and n equal?
False
Let z = 367 - 375. Which is smaller: -100/13 or z?
z
Let d = -46 + 26. Let p = -11 - d. Let h be 2 - p*10/24. Which is greater: -2 or h?
h
Let z = -97 + 142. Suppose x = 3*c - 11, 19 = 3*c - x - 4*x. Suppose -8*p = -c*p + z. Is -9 equal to p?
True
Let b = 39 - 39. Let d be b + 7/(105/(-6)). Are d and -0.5 equal?
False
Suppose -2*v - 2*k - k = 27, 4*k + 12 = 0. Let y(o) = -o - 10. Let i be y(v). Is i at most 3/11?
True
Let t be 1/(7/(-2))*-14. Suppose -t*u + 9*u = 4*b - 5, 5*u + 5 = 5*b. Is -2/23 smaller than u?
False
Suppose -5*v - 16 = 2*c, c = 4*v + 4 + 1. Are -61 and v unequal?
True
Let z be 2/18 - ((-672)/27 - -7). Let i(b) = b**2 + 2*b - 4. Let o be i(-4). Suppose -s - o*g = -4*s + 63, -3*s + 5*g = -66. Is s < z?
True
Let s = -260 - -99. Is s <= -643/4?
True
Let n = -499 + 336. Is -162 greater than or equal to n?
True
Suppose -4*u + r = 4, r = 5*u - 0*u + 4. Which is bigger: u or -3/271?
u
Suppose x = 3 - 4. Let p = -741 + 743. Which is smaller: x or p?
x
Let x(z) = 2*z**2 + 37*z - 46. Let t be x(-19). Do -28 and t have different values?
True
Let q = 291 - 296. Which is smaller: -15 or q?
-15
Let u(z) = z**2 - 9*z - 105. Let v be u(-7). Which is smaller: 27/4 or v?
27/4
Let a = -12 - -15. Let b = a + -2.85. Let k = 0.14 - b. Which is greater: k or -1/2?
k
Suppose f - 2 = 2. Let o be ((-160)/(-56))/(f/(-6)). Let n = o - -67/14. Is -4 != n?
True
Let h(t) = -8*t - 44. Let s(i) = -2*i - 11. Let l(k) = 2*h(k) - 9*s(k). Suppose -4*v - 50 = 3*q, -2*q - 48 = 4*v - 0*q. Let b be l(v). Is b greater than -10?
False
Suppose -153 + 148 = -5*j. Let y be 126/15 - (-8)/(-20). Is y >= j?
True
Let z = -55/39 - -2849/195. Is 14 at most as big as z?
False
Let b(s) = s**3 - 7*s**2 - 4*s + 16. Let o be b(7). Let p(q) = -q**2 - 14*q - 23. Let d be p(o). Is 1 > d?
False
Let w = -0.07 - -1.77. Let t = w - 2.7. Is -1 <= t?
True
Let x be -3 + 7/((-14)/(-6)). Suppose x = -l + 91 - 134. Which is smaller: l or -45?
-45
Let j(h) = -h**2 + 2*h. Let n be j(2). Let z be n/5*(-2)/4. Is 1/61 bigger than z?
True
Let c = -253 - -273. Suppose -3*p = -6*p - 2*u + 59, 4*p + 2*u = 80. Which is smaller: c or p?
c
Let k(o) = -4*o**2 - 28*o - 2. Let w be k(-9). Which is greater: w or -75?
w
Let b = 229 + -6182/27. Which is greater: -16 or b?
b
Let o be (-14)/13*(-35)/14. Let a = 14/39 - o. Which is bigger: a or -3?
a
Let s = -23/7 + 67/14. Suppose 4*u + 0 = 4. Which is bigger: s or u?
s
Suppose 5*c = b - 28, b - 2*c - 18 = 13. Which is smaller: 12 or b?
12
Let a = -1167 + 1168.53. Are a and -1 non-equal?
True
Let f be 4/(3 - 82/26). Let t be f/22 + 1 - (-237)/33. Is 4 at least t?
False
Suppose -46 = -4*i + 6*i. Let f = -21 - i. Let l be (-6)/(-8)*16/7. Which is greater: l or f?
f
Let w be 237/(-12) - (-15)/20. Let m = w + 14. Is -5 <= m?
True
Suppose a - 4*p = p + 12, 0 = 2*a - 5*p - 24. Suppose -a = r + 3*s, 5*r + 11 = -2*s + 3. Is r at most 15/16?
True
Let i(a) = a**3 - 5*a**2 - a + 6. Let j be i(5). Let z be (-3)/(-12)*12 - j*-1. Let g be (-5)/(-2) - (0 - 0). Is g bigger than z?
False
Let d = -0.13 - -1.83. Let r = d - 1.6. Let k = 4.1 + -4. Is k at least r?
True
Suppose 16 = -2*m - 0. Let g(y) = -y**3 - 8*y**2 - y - 5. Let s be g(m). Let z be (-3)/(-2)*s/9. Which is greater: z or 7/2?
7/2
Let t be 11/(-22) - 10/(-4). Suppose -5*s = b + 18, 3*b - s - 18 = 2*s. Is t at least b?
True
Let k = 725 - 743.5. Which is bigger: k or 2?
2
Let n = -113933549/421085 - 3/60155. Let j = -271 - n. Are -0.9 and j unequal?
True
Let j = 209.9 - 210. Is -3/134 >= j?
True
Let r be (2 + -1)*4/214. Let i = r + -486/3103. Is i greater than 0?
False
Suppose 0 = 3*v - 3, 189 = -4*k - 9*v + 6*v. Is k >= -43?
False
Let p = 13 - 14.1. Let k = -0.3 - p. Let g = -0.4 + k. Which is bigger: g or 3?
3
Let v = 576 - 578. Is -266 greater than v?
False
Let m = 0.058 - 0.048. Which is smaller: m or -0.01?
-0.01
Suppose -4 = -4*r - 584. Which is bigger: -144 or r?
-144
Let n(a) = a**3 + 3*a**2 - 3*a - 15. Let c be n(-4). Which is bigger: -89/5 or c?
-89/5
Let c(a) = -41*a**3 - 2*a**2 + 12*a - 6. Let g be c(2). Is -318 < g?
False
Let i be 12/21 - (-21)/(-60). Let f = -9/28 + i. Which is smaller: f or 1?
f
Let w be -3 + (-1 + 5 - -12). Let v be (1*2)/((-4)/(-10)). Suppose -w = -d + 2*a, -v*d + 5 = -3*a + 5*a. Which is bigger: 15/4 or d?
15/4
Suppose y - 3*p + 63 - 171 = 0, 4*y = p + 377. Suppose -4*d = 5*k + 97, d - 5*d = k + y. Which is smaller: -2/3 or d?
d
Let y = 1.279 - -0.521. Is y less than -2/9?
False
Let k(y) = 2*y**2 - 18*y - 22. Let m be k(11). Let g be (-4)/m - 13/(-11). Which is bigger: 0 or g?
g
Suppose 5*s + 5 = 85. Let u be (-5)/(-15)*6/s. Is u greater than -1?
True
Let b(m) = 2*m**2 - 2*m - 60. Let d be b(-5). Is 11/30 bigger than d?
True
Let i = 214.1 + -325.2. Let d = 111 + i. Is -21 less than d?
True
Let x = 71/20 - 19/5. Let n = -4.7 - -5. Let z = n - 0.1. Are x and z equal?
False
Let b = -7 - -13. Let m(v) = -3*v**2 + 5*v + 13. Let a(u) = -7*u**2 + 9*u + 26. Let s(i) = 2*a(i) - 5*m(i). Let w be s(9). Which is bigger: b or w?
b
Let b = -3 + 2.1. Let l = b - -1.8. Let x = 1.1 - l. Are -0.2 and x equal?
False
Let p be (-18)/20*(2 - 196). Let a = p + -174. Let j = 1 - -1. Is a bigger than j?
False
Let q = 1299 - 164972/127. Let o be -1*(-1 - -1)/(-1). Is q not equal to o?
True
Let o(t) = 3*t**3 + 13*t**2 + 17*t + 14. Let d(m) = -11*m - 4*m - 2*m**3 - 13*m**2 - 14 - m. Let s(x) = -4*d(x) - 3*o(x). Let u be s(14). Is 1/9 < u?
False
Let b(y) = -2*y + 6. Suppose 1 = 3*k - 5. Let c be b(k). Let n = -0.3 + -0.5. Which is smaller: n or c?
n
Suppose -5*l + 2*l = -18. Suppose z - l*z = -60. Let f be (z/(-21))/((-3)/14). Which is smaller: f or 3?
f
Let b = 26 + -56. Let o be 8/b - 2/6. Suppose 0 = f + 4*f. Which is smaller: o or f?
o
Let o = 0.63 + 0.43. Let t = o - 1.46. Which is smaller: t or 4?
t
Let t be 336/1232 - 555/99. Suppose -4*o - 23 = -5*m - 65, -3 = -o. Does m = t?
False
Let u be 2/((-6)/(-9)) + 1. Suppose -66 = u*m + 5*q, 4 = -4*m + q - 50. Let n be 2/(-5)*35/m. Which is greater: n or 5/4?
5/4
Let f = 239 + -126. Which is bigger: f or 112?
f
Suppose 6*u = -c + 2*u + 14, -4*c + 3*u - 1 = 0. Let v be ((-3)/c)/(9/3). Let z = 2 + -1. Which is smaller: v or z?
v
Suppose -4*a = -1799 + 539. Let z be (-261)/a - (-2)/5. Which is smaller: z or -3?
-3
Let k = 11.8 - -1.2. Let w = -20 + k. Let s = -0.5 + -1.5. Do s and w have the same value?
False
Let d be 3/(-10)*(20/6 + -4). Let k = 1.28 - 0.08. Let n = k - 1. Is n at most d?
True
Let f(i) = i**3 + 6*i**2 - 8*i - 5. Suppose 4*b = -z + 5 - 0, -b = -3. Let g be f(z). Is 8/15 at least as big as g?
False
Let m be -13 - (690/(-35) - -7). Which is bigger: 13.78 or m?
13.78
Let j be 0 + 7 + (-4 - -1). Let s(x) = -x**2 + 6*x - 5. Let k(d) = d**2 - 6*d + 4. Let u(f) = -4*k(f) - 3*s(f). Let r be u(j). Is r < 7?
False
Let s(l) = l**3 + 2*l**2 + l + 1. Let c be s(-1). Suppose 0 = 2*m - c + 3. Do 3/16 and m have different values?
True
Suppose 4*p + 34 = 82. Is 9 > p?
False
Suppose -h = -2*h - 8. Let n be h/16 - 255/2. Let z = -898/7 - n. Which is bigger: z or -1?
z
Suppose -5*k + 493 + 207 = 0. Is k greater than or equal to 140?
True
Let h(z) = -z**2 - 11*z - 10. Let w be h(-8). Let t = 10 - w. Let v be ((-18)/(-8))/((-30)/t). Which is smaller: -1 or v?
-1
Suppose 4*y - 8 = 0, 0 = 4*q + 3*y - 6*y + 114. Suppose k = 4*s - 41, -5*s + 11*s = -k - 1. Whi