 o = 1/55 - 12/55. Is o > a?
False
Let t = -38 - -38.1. Let l = -96 + 188. Let r = l + -462/5. Which is smaller: r or t?
r
Let i be -28 + (-2 + -1 - -1). Let j = 59/2 + i. Which is bigger: 0.2 or j?
0.2
Let i = 6 + -3. Let t(u) = u**3 - 7*u**2 + 7*u - 5. Let c be t(6). Let r = i - c. Is 3 at least r?
True
Suppose -2*p - 11 = -3*p + 3*z, 3*z = 3*p - 21. Let n = -5 + p. Which is smaller: n or -2/9?
-2/9
Let d(b) = -b**2 + b - 1. Let h be d(0). Let r be (3 - (-441)/(-146)) + 0. Let v = r + -417/1022. Which is bigger: h or v?
v
Let p(i) = i**3 + 4*i**2 + i + 5. Let l = -5 - -8. Suppose -10 - 2 = l*x. Let q be p(x). Which is smaller: q or 3/7?
3/7
Let n be (4/2)/(4/6). Suppose 0*j - 5*j + n*h = -9, -j - 2*h = 6. Let q = -746/5 + 150. Is q at most j?
False
Let h = -3/2879 - 4795/924159. Is 1 > h?
True
Let w(b) = -b + 1. Let p be w(5). Let n = p - -3. Let m = -44/203 - 2/29. Is n != m?
True
Suppose -3*h = -5*h - r - 15, 3*h = -3*r - 24. Which is greater: -1 or h?
-1
Let v(b) = -b**3 + 14*b**2 + 3. Let j be v(14). Let h = 11 + -7. Suppose p = j*p + h. Is -3 equal to p?
False
Let v be 1/(2 - 11/5). Let h be (-2)/(-10) - (-1)/v. Let y be (0/(-1))/(1 - h). Is -1/4 at least as big as y?
False
Let g = -2 - 0. Let y be (-9)/g + 9/(-6). Let d(u) = -u**2 + 6*u - 4. Let j be d(4). Which is smaller: y or j?
y
Suppose a + 3*j = -5, 2*a - j + 10 = -7. Is -6 smaller than a?
False
Suppose -3*a + 8 - 2 = 0. Which is smaller: a or 0?
0
Let x be 4*(24/(-51))/2. Is 0 smaller than x?
False
Let t(c) = c**3 + c**2 - c + 5. Let p = 16 - 16. Let w be t(p). Is 5 less than w?
False
Let r(i) = -i**3 - 10*i**2 + 15*i - 7. Let v be r(-11). Let s = v - -355/7. Suppose -2*n - 3 = n. Do s and n have the same value?
False
Suppose -4*n - 5 = -v + 2*v, 0 = 2*v + 10. Do n and 3 have the same value?
False
Let d = 34 + -29. Is d <= 4?
False
Suppose 5*m = 13 + 7. Suppose 2*r - 3*a = -m*a + 7, 2*a = 3*r. Let p be 4/(-14) + (-46)/(-14). Which is smaller: r or p?
r
Let m be ((-3)/(-9))/((-2)/12). Let w be ((1 - m)/(-3))/(-1). Is 2 equal to w?
False
Suppose 5*d + 0*b = 3*b, 5*b = 0. Which is smaller: 1 or d?
d
Let j = 22 + -61. Is j > -39?
False
Let a be (-8)/(-164)*(-6)/(-8). Let p = 1139/246 + a. Which is greater: 5 or p?
5
Suppose 0 = 2*r - 6*r - 4. Let c be (1192/290)/(-4) - -1. Let w = c - 407/1015. Which is smaller: r or w?
r
Suppose r - 5*r + 2 = -w, 3*w - 11 = -5*r. Is 1 equal to r?
True
Let u = -2.8 - -3. Let k = 39 - 39.2. Let z = k + u. Do 0 and z have different values?
False
Let u(d) = -8*d + 34. Let x be u(11). Which is greater: x or 0?
0
Let f(u) = -u. Let y be f(-5). Suppose y*h - h = 3*l + 14, -4*l = 4*h. Suppose -9 = -4*z - 0*g + g, 4*z = -5*g + 3. Do z and h have the same value?
True
Let f = 1.5 + 12.5. Let v = 1 + -1. Which is bigger: f or v?
f
Let a(n) = -n**2 - 5*n + 1. Let c be a(-5). Let o = 3 - c. Suppose -v = v + o. Do 4/9 and v have different values?
True
Let k = -49 + 23. Let s = k + 20. Is -8 less than s?
True
Let j = -0.2 + 17.2. Let q be 14/(-6) - (5 - 17)/6. Which is bigger: j or q?
j
Let w(u) = -u**3 + 8*u**2 + u - 10. Let y be w(8). Let b be (3/y)/(54/24). Which is bigger: -2 or b?
b
Let c = 39 - 45.4. Let a = -6 - c. Let k = 1.6 + a. Are k and -1/4 non-equal?
True
Let u(q) = -q**3 - 10*q**2 + 10*q - 9. Let m be u(-11). Suppose m*i + 9 = 3*i - j, 4*i + 4 = -4*j. Are i and 4 equal?
True
Let n be 2414/(-11) + (-1 - -3). Let p = n + 4678/55. Let b = 132 + p. Does b = 1?
False
Let o be (-34)/(-84) - (-1)/(-3). Which is smaller: 1 or o?
o
Suppose -2 = h + m - 8, -5*h + m + 24 = 0. Let p = 4 - h. Let j be 8 - (-1 - p - -3). Is 5 < j?
False
Let m = 11 + -3. Suppose -2*w + 4*o = -32, -2*w + 2*o + 38 - m = 0. Let h be 4/w + 4/(-14). Is h <= 2/9?
True
Let i(o) = -o + 2. Let c be i(5). Let p(q) = q**3 + 3*q**2 + 2*q + 4. Let l be p(-3). Which is bigger: c or l?
l
Let r = -1.1 - -1.12. Let j be 1/3*(1 + 0). Is j at least r?
True
Let p(d) = d**2 - 2. Let x be p(-2). Let b be 2 + -1 + -4 + 3. Which is bigger: b or x?
x
Suppose 0 = 2*c + 2*a + 12, -2*a = 3 + 7. Suppose -3*j + 27 = 3*x, 5*j + 3*x = j + 38. Is j smaller than c?
False
Let t = 176 - 1235/7. Is -4 less than t?
True
Let z = -405/4 - -102. Let a(g) = -g - 5. Suppose 6 + 14 = -4*s. Let m be a(s). Is m not equal to z?
True
Let y = -59 - -49. Let g = 0 + -10. Is y >= g?
True
Let r(q) = q**2 + 6*q + 10. Let z be r(-4). Suppose 2*j + z + 0 = 0. Which is smaller: j or 1/11?
j
Let j = 67 + -67. Let p be (-3 + -1 + 2)/7. Which is bigger: p or j?
j
Let i be (-12)/(5 + -4) + 4. Let t be -4*(2 - (-2)/(-8)). Are i and t equal?
False
Let i = -2.31 + 0.31. Let v(d) = 2*d**3 - 4*d**2 + 1 - d**3 - d + 4. Let k be v(4). Which is smaller: k or i?
i
Let u = -4/563 - -1506/53485. Which is smaller: u or 0?
0
Let d be (-6)/(-21) + (-218)/812. Let c = 235/174 - d. Let w(i) = -i**3 + 2. Let j be w(0). Which is smaller: c or j?
c
Let f = -80/9 - -9. Let s = -28 + 28. Which is bigger: f or s?
f
Let h be 20/72*(-21)/(-10). Let i = 25/12 - h. Is i greater than or equal to 1?
True
Let l(w) be the third derivative of w**5/30 - w**4/6 + w**2. Let y be l(3). Let s be (7/(-84))/((-2)/y). Which is bigger: s or -0.1?
s
Let h(x) = 4*x + 25. Let c be h(12). Which is greater: c or 74?
74
Suppose 0 = 4*g - 10 + 2. Let n(r) = r - 2. Let a be n(5). Which is greater: g or a?
a
Let h be 63/(-35)*80/(-6). Which is smaller: h or 22?
22
Let s = -0.35 + 1.35. Let a = 1.86 - -0.24. Let q = a + -2. Which is smaller: s or q?
q
Let c(g) = g - 6. Suppose -5*y + 25 = -5. Let q be c(y). Let w = 0.2 - 0. Which is greater: w or q?
w
Suppose 5*p = -h - 21, 1 = 8*h - 5*h - p. Which is bigger: -2/117 or h?
-2/117
Let s = -55/259 + -8/37. Which is greater: s or 4?
4
Let i = -20 + -1. Do i and -21 have different values?
False
Let k be ((-3)/(-2))/((-9)/12). Let c be k/19*3/(-6). Which is smaller: c or -1?
-1
Let l(w) = w**3 + 6*w**2 + 4*w + 3. Let o be l(-5). Suppose -h + o = 7. Suppose 2*u = -3*u. Do u and h have different values?
True
Let f be 1*-1 + 1/(-1). Let a(k) = k**3 + 4*k**2 + 2*k - 1. Let p be a(-3). Let t(w) = w**3 - 2*w**2 - 2*w + 3. Let y be t(p). Which is greater: y or f?
y
Let n = 2 - 2. Suppose -5*q + n*q = -55. Suppose x + a - 1 = 2, 3*x = -4*a + q. Is 1 less than x?
False
Let u be (-5)/(-60)*22/2. Let s = 1/4 - u. Is s greater than -2/3?
False
Suppose 0*z - 30 = 3*z. Which is greater: -17/2 or z?
-17/2
Let x(c) = 2*c - 5. Let f be x(5). Let b = 17 + -10. Which is smaller: b or f?
f
Suppose -5*q - z = 4*z + 165, -4*q = z + 132. Which is smaller: 0 or q?
q
Let q = -22 - -23.02. Let f = q - 0.02. Suppose 0 = -5*j + 10 - 5. Is f greater than or equal to j?
True
Suppose -27*q - 114 = -28*q. Is 113 greater than or equal to q?
False
Let d(v) = 2*v + 7. Let h be d(-3). Let u be (h/5)/((-4)/10). Which is smaller: -12 or u?
-12
Let b = -5.1 + 6. Let h = -2.9 + b. Which is bigger: h or -0.1?
-0.1
Let b be (-2)/(-8) - 5/8. Suppose -p - 3 + 0 = 3*u, -2*u + 4*p + 12 = 0. Suppose -3*x = -4*l + 5, -3*x - l + u*l = -5. Which is bigger: x or b?
x
Let f = -455/8 + 57. Which is smaller: 1 or f?
f
Suppose -4 - 8 = -3*d, 5*y + 2*d - 43 = 0. Suppose -m + y = -1. Suppose -4*a = 5*o - 3*o - m, 16 = -5*a + 4*o. Which is smaller: -1 or a?
-1
Let a be (0 - (24 + -1))/(3 + -2). Is -23 at least as big as a?
True
Let v be 2 + -3 - (0 + -3). Suppose 2*s - s + v*r = -10, -2*s + r + 5 = 0. Let m be ((-2)/(-8))/(10/8). Is m less than or equal to s?
False
Let o = 8 - 5. Let a = -1 - 4. Let d = o + a. Which is greater: d or 0?
0
Let l = 15 + -13.9. Let o = l + -1. Is o < -5?
False
Let n(i) = i**2 + 11*i + 7. Suppose k + 4*t = 3*t - 9, -5*k - 3*t - 45 = 0. Let r be n(k). Do r and -11 have different values?
False
Suppose -3*z + 8 = -1, 4*w + 4*z = -8. Suppose a = 4*a + 2*b + 82, a = 2*b - 30. Let k be (-1)/a - 8/28. Which is greater: w or k?
k
Let a = 0.9 + -0.92. Let h = a - -1.02. Which is smaller: -0.3 or h?
-0.3
Suppose 72 = 5*g + o - 4*o, 1 = o. Suppose -4*d + 4 = -3*d, -4*d - 4 = -5*u. Suppose g = -u*j - 5*z, -3*j = -4*j + 4*z + 12. Which is bigger: -3/4 or j?
j
Let g = 23 - 12.5. Let d = 9 - g. Let m = d + 0.5. Which is greater: m or -1/3?
-1/3
Let l = -24620 - -171998/7. Let a(o) = o**3 - 7*o**2 - 8*o + 7. Let u be a(7). Let c = u - l. Are c and 0 equal?
False
Let k = -0.1 + 1.1. L