?
True
Let p = 9.5 - -9.1. Let a = 2.6 - p. Let c = a + 15.5. Which is smaller: c or -1?
-1
Let i be 10/(-12) + 0 + -12 + 13. Which is bigger: i or 18?
18
Let q be -7*((-6)/14 - 1). Suppose -6*i - q = -4. Is i <= -14/11?
False
Suppose 3*o - 37 = -2*o + 3*p, 0 = -4*o - 5*p. Suppose 172 = -9*g + o*g. Is g < -44?
False
Let w be 14 + 4 + -2 + -3. Let n = w + -13. Which is smaller: n or 1/17?
n
Let h = 52 + -50. Let y be (-423)/216 - -1*h. Is y at least as big as 1?
False
Let l be (8 - 32/12) + -5. Which is smaller: l or 1534?
l
Let i = -616 + 657. Is 0.1 less than i?
True
Suppose 4*w + 6 = 4*p + 22, -4*w = 2*p - 16. Suppose -9 = -w*x - b, -5*x - b + 4*b = 10. Let i be 0/((-1*2)/2). Is x less than i?
False
Let v be 382/(-10) - (-12)/6. Let s = v - -36. Which is greater: s or -1?
s
Suppose 20*p - 11*p = 9. Let w = -2 - 1. Which is smaller: p or w?
w
Let y(z) = z - 8. Let u be y(-6). Let g = 5036 + -10995/2. Let x = -475 - g. Are x and u unequal?
True
Suppose 2*n = -3*u - 2*n - 3, 3*u + 3*n = 0. Let j(i) = -4*i**2 + i**3 + 2 - 2*i + 3*i + i. Let w be j(u). Are -7/4 and w equal?
False
Suppose 0 = -3*x + 4*l + 12, 0*x - 6 = 4*x + 2*l. Which is bigger: x or 12/89?
12/89
Let d = 0.82 - 1. Let x = d - -0.01. Which is greater: -0.1 or x?
-0.1
Let d = -0.015 + 0.055. Which is greater: 101 or d?
101
Let g be (-2)/39*((-105)/(-14) + -7). Suppose d - 36 = 4*d. Let w be (-22)/18 - d/54. Are g and w unequal?
True
Suppose 145*z - 2912 = 117*z. Are z and -2 non-equal?
True
Suppose -2*z + 3*z = 27. Let m = 2 + z. Let s = m + -57/2. Which is greater: s or -2/9?
s
Let q = -1300 + 1257. Is q smaller than -44?
False
Let c = -147 - -151. Which is bigger: 0 or c?
c
Let d = -1538 + 1538.805. Is d smaller than 2/5?
False
Suppose 5*g = -51 + 171. Let j = 28 - g. Suppose -5*r + j*r = -8. Is r > 8?
False
Suppose 10*t = 7*t + 6. Is 67 less than t?
False
Let w = 1767 + -1768. Is w greater than or equal to 1/1754?
False
Suppose 9 = 4*b + 5*z - 19, 7*z = -3*b + 34. Let u = 0.3 - 0.1. Which is bigger: u or b?
b
Let n be 6/(-36) - 705/36. Let d = -20 - n. Which is bigger: d or 4?
4
Let g = -79.785 - 0.215. Is g greater than or equal to -1?
False
Let c be (-3445)/(-1015) - (4 + (-50)/14). Which is smaller: 3 or c?
c
Let f = 348 - 249. Which is bigger: f or 98?
f
Let d = -5898 + 5897. Let m be 7/18 - (0 - 0). Which is smaller: m or d?
d
Let w(a) = a + 4. Let i be w(5). Let n = 22 - i. Which is smaller: n or 14?
n
Let j = -452 - -451. Which is bigger: -27 or j?
j
Let k(s) = -s**3 - 2*s**2 - 4*s - 8. Let d be k(-4). Let y = -74 + d. Which is bigger: y or 0.1?
0.1
Suppose 74*i - 75*i = 5*j - 2, 5*i - 4*j - 10 = 0. Is i greater than 76?
False
Let v = -0.18 - -0.28. Let m be 86/12*(-1 - -3). Let o = -14 + m. Is o less than or equal to v?
False
Let m = -32 - -6. Let g = -115 - m. Is g > -88?
False
Let a = 2/10831 - -21640/119141. Suppose -4 + 3 = -b. Which is bigger: a or b?
b
Let a = -7 - -10. Suppose 0 = -l + 4*q - 4, 3*q = -l + 4*q - 16. Let z = l + 24. Which is smaller: z or a?
a
Let u = -0.9 - -1.9. Let j = 0.5 + u. Let a = -1.4 + j. Are a and -5 unequal?
True
Let p be (78068/174)/((-2)/(-3)). Which is smaller: 671 or p?
671
Let i(w) = -2*w - 31. Let t be i(-17). Suppose -p + 13 = 4*d, -5*p - t*d + 17 = -4*p. Is p at most 29?
True
Suppose j - 3*a + 85 - 68 = 0, a = -2. Which is smaller: j or -19?
j
Suppose 6*a = 3*a - 5*g + 52, -3*a = -3*g - 36. Let v be (8/5)/(a/(-105)). Which is greater: v or -13?
v
Let v be (-8)/12 + (-2 - (-374)/129). Which is greater: v or 0?
v
Suppose 7*t = 12 - 68. Are t and -8 equal?
True
Suppose 0 = -4*d - 2*d - 24. Let o be (d/(-120))/((-1)/(-3)). Suppose 0 = -i - 4*l + 9, 3*i + 4*l - 11 = -0*i. Are i and o unequal?
True
Let h = 4.88 - 0.38. Let b = h + 3.5. Let j = -0.2 + 0. Is b smaller than j?
False
Let t(p) = -2*p - 10. Let y be t(-8). Suppose 0 = 3*x - x - y. Suppose l + 2*a = x*l + 6, 0 = 3*l - 4*a + 14. Does l = 2?
True
Let g = -53/99 + 25/33. Which is smaller: g or 3?
g
Let s(w) = -3*w + 3. Let b be s(-3). Let m(h) = -h + 13. Let l be m(b). Let o = 897 + -29599/33. Is o >= l?
False
Let n = -1455 + 58197/40. Are n and -2 nonequal?
True
Let d = 1.6 + -1.6. Suppose 2*b = -2*o - 46, 3*o - 63 = 6*o + b. Is o not equal to d?
True
Let b(d) = 84*d**2 - 2*d + 3. Let c be b(1). Let f = 90 - c. Which is greater: f or 8?
8
Let s = 151 - 227. Which is bigger: -1 or s?
-1
Let d = 74 + -35. Is 38 equal to d?
False
Let z = -1264 - -1267. Let p be -1*1/(2 + -1). Let d be -1*1*(-1 + p). Is d at most z?
True
Let x be (-2)/18*(-11 - -21). Is -2/15 >= x?
True
Let k(s) = -2*s + 29. Let o be k(12). Suppose -m - 10 = -r - 2*m, r + o*m = -6. Which is smaller: 13 or r?
13
Let i(x) = -19*x**3 + 3*x**2 + 2*x + 9. Let y be i(-2). Which is bigger: 168 or y?
y
Suppose -2*d + 3*z + 35 = 0, d + 2 = -4*z + 14. Let w = d - 23. Let a = w - 2. Which is smaller: a or -8?
a
Let t be (-3)/(-5) + (330/(-25))/2. Suppose -9 = -5*x + 1. Suppose x*y = -y - 15. Which is greater: t or y?
y
Suppose -2*d - 18 = -3*d. Let w be 30/d*2/35. Is w < -1?
False
Let f be (4/(-10))/((-26)/10). Let m = -7860.8 - -7861. Which is greater: f or m?
m
Let k = -24527 - -54817847/2235. Let p = k + 4019/4470. Are p and 0 nonequal?
True
Let c be 2 + -2 + 2 - -82. Suppose c = -y - 3*y. Let k = y - -12. Is -9 smaller than k?
False
Let m(r) = r**3 + 10*r**2 - 13*r - 22. Let d be m(-11). Let v be -2*(-27)/6 - (2 + d). Which is bigger: 14 or v?
14
Suppose 0 = 50*l - 55*l + 280. Which is smaller: 55 or l?
55
Let y(v) = -v**3 - 5*v**2 - 3*v + 6. Let i be y(-4). Suppose 5*c = 2*t - 57, -i*t = 1 + 7. Is c <= 1?
True
Let o(q) = q**2 + 24*q + 43. Let u be o(-22). Is u bigger than -4/867?
False
Let w = -480936/13 + 37016. Let x = 21 - w. Which is smaller: x or -0.1?
-0.1
Let m = 5 + -5. Let h = -25 + m. Let g = 24 + h. Do g and -4 have the same value?
False
Suppose 4*s + 3 = -9. Let q = s - -2. Let m = -13.01 - -5.01. Is q >= m?
True
Suppose 0 = -o - 5*s - 6 - 14, 0 = 4*o - s - 4. Let h be 0 - 16/(-76) - o. Let f = 244 - 243. Is h >= f?
False
Let h(r) = -r - 11. Let a be (4/6)/(6/(-63)). Let u(d) = -d**3 - 8*d**2 - 7*d - 8. Let o be u(a). Let x be h(o). Which is greater: x or -2?
-2
Let l = -8 + 9. Suppose g = 4*w + 4 - 20, 3*g = 0. Suppose 5*y = y + w. Are y and l equal?
True
Let i be (-16)/(-10)*(-17350)/(-20). Suppose -i = 4*l + 3*j + 2*j, -3*l - 1052 = j. Let o be (-6)/14 + l/(-70). Which is smaller: 5 or o?
o
Let x = -31 + 138. Is x smaller than 109?
True
Suppose l = -0*l. Suppose 3*g + 323 = -181. Let q be (4/g)/((-2)/8). Which is bigger: l or q?
q
Suppose -b + 174 = 69*y - 64*y, 2*y = b - 146. Which is bigger: 152 or b?
b
Let d = -14 + 14. Let t = d - -0.02. Which is greater: t or -2?
t
Let v = 5 - 9. Let q be (v/(-8))/((-2)/(-44)). Suppose -f + 9 = q. Is -1 != f?
True
Let q = 12 + -5. Let l be (-2702)/182 + 12 + 2/(-13). Which is bigger: q or l?
q
Let b = 67/77 - 34/77. Which is smaller: b or -4?
-4
Let b be (0 - 1/(-6))*(-112)/56. Which is smaller: b or 180?
b
Suppose 24 = -6*p + 14*p. Let r be (-4)/p*(-44)/(-56). Which is greater: r or -1?
-1
Let j = -54 + 54.5. Is j != 6?
True
Let k(m) = 2*m - 2. Let l be k(7). Suppose 4*x + 172 = -5*z, -z - z + 2*x = 76. Let y be 6/z - (-2)/l. Is y smaller than -2/3?
False
Suppose -39*g + 34*g + 90 = 0. Suppose g*h - 14*h = 8. Is 30/17 greater than or equal to h?
False
Let n(g) = g**2 + 7*g + 5. Let l be n(-7). Let s be 4 - 6*l/(-10). Suppose s*o + 0*o = -49. Which is smaller: -6 or o?
o
Let n = 27 + -24. Suppose -k = 4*t + 33, 4*t + 25 + 20 = n*k. Which is greater: -8 or t?
-8
Let i(x) = 6*x - 118*x**2 + 0*x**3 + x**3 + 125*x**2. Let y be i(-6). Let l = 4117/7 + -587. Is l at least y?
True
Let i = -249683/209 + 20282/19. Suppose 527 = 4*q + 3*c + 25, 5*c - 117 = -q. Let z = i + q. Is -1 bigger than z?
False
Let z = -209 + 164. Are z and -490/11 nonequal?
True
Let o = -31/40 + 9/10. Let y = o + 1/2. Which is smaller: 2 or y?
y
Let i(l) be the first derivative of l**3/3 - 5*l**2 + l - 1. Let k be i(10). Is 1 less than k?
False
Let g(c) = -2*c**3 - 2*c**2 - c - 1. Let u be g(2). Is -28 at least as big as u?
False
Suppose 11 = 5*b + 2*g, -4 = -b + 2*g - 3*g. Let i be (b*(0 - 0))/2. Do 3/22 and i have the same value?
False
Let v = -23.82 + -0.18. Let k = -24.04 - v. Let a = 6 + -8. I