8 + k. Is i smaller than c?
True
Let q be 686/(-70) + (-4)/(-5). Is -9 < q?
False
Suppose w - 3 = 4*w. Suppose 4*u = 4*o + 1500, 0 = -3*o + 4*u - 867 - 255. Let g be (-78)/o + (-4)/(-18). Are w and g equal?
False
Let p(o) = -o**3 + 4*o**2 - 5*o - 2. Let v be p(4). Let f be v/(-6) + 4/(-6). Let t be 2/4 - f/2. Is t at most as big as -2?
False
Let i = -2 - -2.2. Which is greater: i or -9?
i
Let t(y) = 177*y**3 - 2*y + 1. Let v be t(1). Let g be ((-56)/40)/(v/(-10)). Let f = g - -43/1672. Which is greater: f or 0?
f
Let w = 6 + -8. Let z = -2.2 - w. Let f = -0.3 - z. Is -4 > f?
False
Let x = -1/46 + 12/23. Is 0 bigger than x?
False
Let p be (4/(-14) - 102/84)*-2. Which is greater: 5 or p?
5
Let b be (1 + 0)/((-3)/(-6)). Let h be 4/6 + b/6. Is h at least -1?
True
Let t be 2 - 0/(3/3). Suppose -29 = -2*d - 5*m, -5 = d - t*m + 3. Which is smaller: 3 or d?
d
Suppose 4*w = 5*w + 15. Which is bigger: -16 or w?
w
Suppose -5*l + 9 = 2*t, l = 3*l + 2*t - 6. Are -3/10 and l non-equal?
True
Let v be (-4)/(-1) + 28/(-8). Let d be 2 + -1 + -1 + 2. Let o = d - 2. Which is greater: o or v?
v
Let m = 15 - 0. Suppose 1 = -2*g - m. Let a = 6 + g. Which is greater: a or -1?
-1
Suppose -r + 7 = -5. Let h be 3/r - (-129)/(-36). Is -4 < h?
True
Let c be (-5)/20 + 67/(-4). Let s = c + 11. Is -6 < s?
False
Let y(h) = -h**2 + 10. Let j be y(0). Let i be ((-8)/6)/(200/(-36)). Let q = 4/25 + i. Which is greater: j or q?
j
Suppose 4*p - 30 = -6. Is p != 6?
False
Let i = 0.053 - 0.053. Which is bigger: i or -6/11?
i
Let v = 0 + 0.2. Let o = 0.1 - v. Which is greater: 1/10 or o?
1/10
Let h = 2 + 2. Suppose -4*k - h*n + 12 = 0, 12 = 4*k - 5*n + 2*n. Let t be (-3)/27*k/2. Which is bigger: 0 or t?
0
Suppose -3*v - 8 = -v + 4*f, 7 = -3*v - f. Suppose -1 = s + 1. Let z be (s/(-4))/(1/(-2)). Is v bigger than z?
False
Let d = 1.4 - -0.6. Let p = d - 3. Let h = -17.98 + 18. Which is greater: h or p?
h
Let c be ((16/10)/(-4))/((-1157)/(-65)). Which is smaller: c or 1?
c
Let m = 3955/6 - 661. Which is bigger: -2 or m?
m
Suppose 2*i + 3*i = -5. Let l be (-14)/6*1*-3. Let n be l/12 - 2/8. Are i and n nonequal?
True
Let f = 14 + -13.97. Let j = f - 1.03. Is 7 less than or equal to j?
False
Let f = -1 + 7/5. Which is greater: -4/5 or f?
f
Let h = -2 + 3. Suppose 4*o + 46 + 62 = 0. Let p = o - -83/3. Is p equal to h?
False
Suppose 0 = -2*c + 4*c + 6. Let m be (-2)/(-10)*(c - 3). Is m < 0.1?
True
Let m = 37 - 37. Which is greater: m or 12/41?
12/41
Let w = -34 + 37. Are 3 and w equal?
True
Let d = 2/54945 - 19652009/384615. Let r = -51 - d. Which is greater: 1 or r?
1
Let q be (4/3)/((-1)/(-3)). Suppose 42 = q*t + 10. Which is greater: t or 7?
t
Let y(n) = n**2 + 1. Suppose 3*v - 8*v = 0. Let m be y(v). Let t be 16/(-8) - (-9)/4. Is t at least m?
False
Let i = 2.2 + -2.29. Which is smaller: -0.1 or i?
-0.1
Let c be 4/(-18) + 2/9. Let h be c - -2*1/(-11). Which is smaller: 0 or h?
h
Let o be ((-6)/108*-6)/((-232)/(-18)). Is o >= -1?
True
Suppose 1064 = 5*y - q, y - 224 = 2*q + q. Let m = y - 2330/11. Is 0.1 at most m?
True
Suppose 4 = 4*j - 3*j. Let q = j - 4. Let i be 0 + (q - 0 - 2). Which is greater: i or -1?
-1
Let k be -7*(-2 - (-1)/1). Suppose 5*q + 4*i - 31 = 0, -q + 2*q + i = k. Suppose 0*j + 16 = 4*j, 2*j + 1 = q*t. Are 3 and t equal?
True
Suppose 2*o = 6*o. Suppose -4*q - 4*p + 1476 = o, p + 2*p = -4*q + 1471. Let b be (-6)/39 + 30/q. Is b greater than -1?
True
Let f(m) = -m**2 - m - 2. Let o be f(0). Which is smaller: o or -3/5?
o
Let a be 4/(-14) + 24/(-14). Let k be a + (-2 + 4)*1. Suppose 0*f = 3*f - 3. Which is greater: f or k?
f
Let y = 624 - 4381/7. Is y at least -2?
True
Let n = -15 - -17. Which is bigger: n or 4/7?
n
Let s = 1.3 - 0.3. Let l = 181/3 + -6263/105. Let u = l + -2/7. Which is bigger: u or s?
s
Let d = -3 + -36. Let o be d*(-2)/344*-2. Let q = o + -2/43. Which is smaller: -0.4 or q?
q
Let y = 4 + -3. Let j(a) = -a**2 + 5*a - 5. Let r be j(4). Is r not equal to y?
True
Let j(g) be the first derivative of g**3/3 - 11*g**2/2 + 10*g - 1. Let k be j(10). Let v = k - 0. Which is bigger: -1/2 or v?
v
Suppose 120 = 31*d - 34*d. Which is greater: -39 or d?
-39
Suppose 0*l = -l - 2. Let y = l + 3. Which is bigger: 2/41 or y?
y
Let x be (-2)/(-2) - 1 - 0. Do 4/7 and x have the same value?
False
Let r = 42 + -42. Is -1/24 less than r?
True
Let k = 577 - 2445/4. Let p = k + 34. Let b = -5/12 + p. Which is smaller: b or -4?
-4
Let g(l) = 13*l**3 - 53*l**3 + 0*l**2 + 0*l**2 - 1. Let c be g(-1). Let i = c - 75/2. Which is bigger: i or -0.1?
i
Let h = 391 - 388.07. Let x = -3 + h. Let l = -185/4 + 46. Which is bigger: l or x?
x
Let x = -4 + 6. Let b be x/(-2*3/(-9)). Which is smaller: b or 0?
0
Let y = -5777/12 + 481. Is y < 0?
True
Suppose o - 4*x - 13 = 0, 4*o - 3*x + 11 + 2 = 0. Which is smaller: o or -12?
-12
Let n be 5/(-8)*2*2. Suppose -8*x = -213 + 237. Is x at most n?
True
Let h = -0.31 + 0.01. Let u = 0.2 + h. Is u >= -3/5?
True
Suppose -3*p - 21 = 12. Let t be (-2)/p - (-76)/66. Is 0 less than t?
True
Let u = 1 + 0. Let t be (-1)/u*(-5 - -6). Which is bigger: -0.01 or t?
-0.01
Suppose 15 = 8*o + 63. Which is bigger: -39/8 or o?
-39/8
Suppose 5*g = -d + 3*d + 4, 2*d = g - 4. Let z be (-32)/14 + d/(-1). Is z less than -0.3?
False
Let n be (1 + -2)*(-3 - -2). Let y = n + 0. Is y not equal to -4/5?
True
Suppose -3*v + 6 + 6 = 0. Suppose 0 = -3*t + 8*t - 45. Let p = t + -6. Which is smaller: v or p?
p
Let l be 29/9 - (-12)/(-54). Suppose 3*j - 5*c - 2 = 0, -7 - 11 = j + l*c. Which is smaller: j or 1?
j
Let l be (12/30)/(1/10). Suppose -l*c - 5*v = -11, -31 = -4*c - 0*v - v. Suppose 0 = 4*z - 7 - c. Is z <= 3?
False
Let c = 29/3 + -197/21. Is 27 less than c?
False
Let r(o) = o**3 - 3*o**2 + 2*o + 1. Let k be r(2). Suppose -c - 3 = -k. Do 0 and c have different values?
True
Let h be (-2)/(-28) + 1/(-2). Let l(f) = 2*f - 4. Let m be l(4). Suppose 5*b + 1 = -m. Which is greater: b or h?
h
Let p(y) = 5*y**3 + y + 1. Let h be p(-1). Is h >= 0?
False
Let p be (-11)/(-55) - (-1 + 823/690). Is 1 >= p?
True
Let t = 53 + -53. Do t and 3 have different values?
True
Let n = -77 + 77. Are n and 11/9 unequal?
True
Let p = 37.1 - 40. Let g = 5 + -8. Let t = g - p. Is t less than -0.1?
False
Suppose b = -0*b + 5. Suppose 4*q = 2*n - b + 1, q = -1. Suppose -4*a + 9 - 1 = n. Is a at least -1?
True
Let p be (-2)/18*-3*18. Let k = p - -1. Suppose k*v - 2*v - 30 = 0. Do v and -0.1 have different values?
True
Let r be -1 + 1 - 2 - (18 + -22). Is 4 at most r?
False
Let x be (-365)/(-325) + (-1)/5. Which is smaller: x or 1?
x
Suppose 0 = -0*h - 4*h. Let w = h - -1. Which is smaller: w or 5/3?
w
Let y = -0.2 + 3.2. Suppose -4*c + 17 = v + 2*v, -2 = -c - 3*v. Let t = 23/5 - c. Which is smaller: y or t?
t
Let b = 13/93 + 6/31. Which is bigger: 0 or b?
b
Let j be 0*(-1)/(-2) + -2. Let k = 0 + j. Let m = k + 1. Which is bigger: 0.2 or m?
0.2
Let j = -1154/5 + 232. Suppose -11 = 3*g - g - 3*u, -17 = -g - 3*u. Is j equal to g?
False
Let y = -9.87 + -0.13. Let m = -12 - y. Which is greater: m or 10?
10
Suppose 2*t = 3 + 3. Let x be 10/(-2)*(-13)/5. Suppose 4*s = t*u + x, u + 15 = 4*u + 3*s. Do u and 1/2 have the same value?
False
Let l = -0.95 - -0.6. Let m = 0.07 - 0.12. Let x = m - l. Which is smaller: x or -2/5?
-2/5
Let k = 6 + -3. Which is smaller: 0.1 or k?
0.1
Let y = -3.94 - -4. Let t = y - 0.06. Is t > -1?
True
Let y be 5/(-30) + (-13)/30. Is -1 at least as big as y?
False
Let r be 3/(-3 - -6) + -3. Let z be 7 + 9/6*r. Is z at least as big as 5?
False
Let x = -1/10 - -23/30. Let y = 2 - 1.9. Are y and x unequal?
True
Suppose 0 = -8*o + 6*o + 60. Which is smaller: o or 31?
o
Suppose -5*a + 5*c = 25, 3*c - 22 = 4*a - 6. Let w = 0 - a. Is w != 1/5?
True
Suppose 4*n = 2*z - 20, -z - 2*n - 1 + 3 = 0. Let r be (-8)/80*(-35)/z. Let l = r - -1/12. Is l less than or equal to 0?
False
Let j be 70/(-52) - 4/26. Suppose -3*n = -2*n - 63. Let w be 1/3 + (-39)/n. Is w greater than j?
True
Let p be (-9)/216*-6 - 26/168. Let r(k) = -k**2 + 6*k + 1. Let a be 7/((-7)/6)*-1. Let t be r(a). Which is greater: p or t?
t
Let w = 3 - 4. Let j = w + 3. Suppose -4*x + 0*u + 3*u + 5 = 0, j*x = -5*u + 9. Which is smaller: x or 1?
1
Let c = 36 - 37. Is 1.6 smaller than c?
False
Let a(k) = k**2 + k + 10. Let y be a(0). Is