= -0.1 + l. Let z = 295 + -297. Which is greater: z or i?
i
Let n(q) = q - 9. Let f be n(7). Which is bigger: 2 or f?
2
Let h = -0.2 - -0.2. Let w = 21 - 21.22. Let d = 0.22 + w. Does h = d?
True
Suppose 11*x = -101 - 31. Let h be 1/((-21)/(-11) + -2). Which is bigger: x or h?
h
Let c = 28.2 - 28. Are 1 and c non-equal?
True
Let u be -62*14/(-21)*2/8. Which is smaller: u or 10?
10
Let f = -1 - 1. Let x be (-32)/(-6)*3/f. Let a(c) = -c - 11. Let b be a(x). Which is greater: b or -2?
-2
Let l be 1 + 0 + -3*3. Let j = 9 + l. Is -2/17 >= j?
False
Let b = -184268/261 + 706. Are b and -1 nonequal?
True
Let r(d) = -d - 2. Let b be r(-4). Suppose 0 = -c + 3*j + b, -4*j - 6 = 3*c - c. Which is greater: c or -1/7?
-1/7
Let n = 0 + 0. Suppose n = 6*u - 2*u - 4. Let f be 4/(-5)*(-5)/3. Is f > u?
True
Let v be (-6)/((27/(-441))/((-4)/(-7))). Is v != 55?
True
Let h(g) = -2*g. Let b be h(-11). Is b less than -3?
False
Suppose -219 = -5*x - 2*h + 61, -3*x + h + 157 = 0. Let n be (1/(-2))/(3/x). Is n equal to -9?
True
Let o = 7 + -4. Let p be (2/9)/((-2)/o). Is p at most 0?
True
Suppose -3*m = -3*r + 42, -2*r = r - 4*m - 40. Suppose 3*s + 5 = -2*x, -x - x = -4*s - r. Let u be -4 + (-2)/(1/(-1)). Is s greater than u?
False
Let a(m) = -5*m**3 + 5*m**2 + 10*m + 2. Let v(r) = r**3 - r - 1. Let q(f) = a(f) + 6*v(f). Let l be q(-4). Is -4 > l?
False
Let i(k) = -3*k + 2. Let g be i(4). Let x be (-6)/15 - (-41)/g. Let y be -4*(4 - (-33)/(-12)). Which is bigger: y or x?
x
Let t = -23.7 + 24. Which is greater: t or 2/17?
t
Let r be -6 - 1 - -1 - -2. Let s be (6/(-2))/(3/r). Let f be (-2)/(72/20 - 4). Does s = f?
False
Let q be (-4)/3*(-207)/(-24). Let n = q - -149/14. Which is smaller: 0 or n?
n
Let a = -6 - -9. Let m be 3 - (-1 + (3 - 1)). Suppose -4*d = -5*z + 6, -a*z - m*d = -0*z - 8. Which is bigger: z or 3?
3
Let x(h) = h**2 - 2. Let n be x(2). Let p be 0*(1 - (0 + n)). Let j be (-4)/(-14) + 22/70. Is j bigger than p?
True
Let x = -37/5 + 301/40. Which is greater: x or 0?
x
Suppose 0*a - 5*a + 3*a = 0. Are a and -1/19 equal?
False
Let l be (-4)/16 - (-7)/(-4). Which is smaller: l or -3/5?
l
Let n = 11 - 10.9. Which is smaller: -48 or n?
-48
Let s = -17 - -16.3. Let q = s - -1. Which is smaller: -1 or q?
-1
Let d be (0 - -1)*(2 + -2). Let n = 99 - 99. Is d at least n?
True
Let k = -0.06 - -3.26. Let d = k + -0.2. Let p = -4 + d. Is -1 smaller than p?
False
Let u(x) = -x**3 + 2*x**2 - x - 1. Let m be u(1). Are 0 and m unequal?
True
Let t be 3/(-6)*4/(-251). Is 1 smaller than t?
False
Suppose z + 2*z - 5*w = -3, 0 = -2*z - w + 11. Suppose -z*o + 46 = 14. Is 8 greater than or equal to o?
True
Let r(j) = -3*j**3 + 2*j**2 - 4*j - 1. Let b be r(2). Is -25 at most b?
True
Let d be (-14)/(-12) - 6/36. Let y = -916/17 - -54. Which is bigger: y or d?
d
Let r = -4 - 3. Which is smaller: r or 2/7?
r
Suppose -3*u + 1 = 4. Suppose 2*w - 4*w = 2*t - 4, 0 = -4*t - 5*w + 9. Which is smaller: u or t?
u
Let q = -115/3 + 39. Let g = -7 - -5. Is q greater than g?
True
Suppose 16 - 16 = 5*m. Let h be 4/(-6) + (-572)/(-3). Let f = h - 1332/7. Which is greater: f or m?
m
Suppose i + 3 - 10 = 2*h, -5*h = 15. Let f = -106/329 + -5/47. Which is smaller: i or f?
f
Let z = 80.02 - 78. Let d = 0.02 - z. Which is bigger: d or 0.2?
0.2
Let l = -0.75 - -0.05. Let g = 2.3 - l. Let j = g - 2.9. Is 0.2 at least j?
True
Let z(l) = -l**3 + 4*l**2 - 3*l + 2. Let d be z(3). Suppose 0 = 3*c + d*c + 20. Is c at least as big as -5?
True
Let i = -23300/33 + 706. Which is greater: -1 or i?
i
Let f(b) = -5*b**3 + 17*b**2 + 11*b - 2. Let k(y) = -3*y**3 + 11*y**2 + 7*y - 1. Let q(c) = -5*f(c) + 8*k(c). Let n be q(-3). Is 1/2 greater than n?
True
Suppose 0 = 4*m - m + 9, 444 = 5*i - 3*m. Is i at most 0.1?
False
Let z be (-37 + 1)*15/6. Let y be 48/z + (-2)/(-6). Which is greater: y or 0.1?
0.1
Suppose -25 - 20 = -5*k. Suppose -k*y = -4*y - 5. Which is greater: y or 2?
2
Suppose 4*r + w + 6 = 0, 0 = r + 4*r + 2*w + 9. Suppose -3*s - 14 = 2*h, -3*s = -5*h - 11 - 3. Does s = r?
False
Suppose 3 = o + 2. Let y = 7 - 7. Which is smaller: o or y?
y
Suppose -1 + 12 = -11*j. Which is greater: -1/29 or j?
-1/29
Let i be ((-4)/5)/((-6)/10). Let h = -29 + 29.1. Which is greater: i or h?
i
Let q be (16/(-6))/((-2)/(-1)). Let b = q - -3/2. Which is greater: b or 1?
1
Let d be ((-4 - -10) + 4)*-1. Let h be ((-4)/d)/(64/(-360)). Which is smaller: h or -3?
-3
Let h = -2/581 + 83087/1162. Which is greater: h or 73?
73
Let v = 11 + -12. Let m be 8 + v + 6/3. Is 9 greater than m?
False
Let g = -12 + 11. Suppose -6 = j - 0*j. Let z be 15/(-10)*4/j. Which is smaller: g or z?
g
Let j be (-1)/(-3) - 2/6. Which is greater: 5 or j?
5
Let w = -3 - -2.7. Suppose -8*u + 7*u = 0. Which is bigger: u or w?
u
Let r(s) = -s + 5. Let f be r(5). Suppose 0 = -2*o - o + 12. Let j = o + -5. Which is bigger: j or f?
f
Let f = -24 + 25. Let v = -805 - -36227/45. Which is bigger: v or f?
f
Let f be ((-48)/20)/((-6)/20). Suppose 5*i + 4*v - 18 = f, i - 14 = -3*v. Let w be (0 - i/6)/(-1). Which is bigger: w or 1?
1
Let a be (-2)/6*(-8)/(-468). Let c = a + 724/3861. Let z = 0 + 0. Which is smaller: z or c?
z
Suppose -5*g + 6 = -q, -4*g = 5*q - 3 + 4. Is 1/12 at most as big as g?
True
Let c = 41 + -149. Let g be 0 + -3 + (-447)/c. Let d = g - 8/9. Is d >= 0.08?
True
Let o = 13 + -6. Is 25/3 != o?
True
Let b = 16 - 14. Which is smaller: 4/5 or b?
4/5
Let z = -55 + 54.9. Are z and 0.09 nonequal?
True
Let l = -0.01 + -0.99. Is l greater than or equal to 0?
False
Let w = -71 - -637/9. Suppose -4*i = -12, 0 = -u + i - 4 - 0. Is w at least u?
True
Suppose 2*w = -2*w. Let k = 3/62 - 99/124. Which is bigger: k or w?
w
Let x(v) = -5*v**3 + 1. Suppose 2*b = -2*b + 2*u + 6, 13 = 4*b + 5*u. Suppose -2*p - 6 = b*z, -3*z = -2*z - 2*p - 9. Let n be x(z). Is n equal to -3?
False
Let w = -943.07 + 985.8. Let j = 43 - w. Let k = -0.03 - j. Is -0.2 bigger than k?
True
Suppose -13 - 49 = -v. Let n = 10 + v. Let f be 2/9 - (-2)/n. Are f and 1/2 non-equal?
True
Let s(p) = p + 2. Let m be s(-5). Let y be -1*(-3 - (m + 1)). Which is greater: -4 or y?
y
Let g be ((-7)/4)/(-7)*24/27. Suppose 4*t = -0*t. Suppose 4*r = 5*c + 21, t = -3*c + r - 3*r + 5. Which is smaller: g or c?
c
Let d = -281/7 - -284/7. Is d greater than 1?
False
Let m = -25.82 - -26. Which is smaller: 0 or m?
0
Suppose -4*b - 8 + 0 = 4*o, 3*o - 14 = 2*b. Let j(f) = -2*f + 1. Let y be j(2). Let v be 4/(-6)*(-9)/y. Is b greater than v?
False
Let d(c) = c**3 - 10*c**2 - 10*c - 12. Let l be d(11). Is l at most -1/16?
True
Let l = 85 - 90. Is l >= -51/8?
True
Let o = -6.6 - -1.6. Let v = 0.11 - 4.11. Let t = o - v. Do t and -1 have the same value?
True
Let v be 880/(-2982) - (-7)/(-98)*-4. Is 1 at most as big as v?
False
Let d = 6 - 8. Let u(c) = 3*c**2 + 4*c + 2. Let y be u(d). Let z be 4/y*(-6)/4. Are z and 1/12 equal?
False
Let s(p) be the second derivative of p**4/6 + p**3/6 - p**2/2 - 4*p. Suppose 4*b - 5 = -1. Let f be s(b). Which is smaller: 3/2 or f?
3/2
Suppose 5*j - 2*v = -1, -4*j = -5*v - 6 - 0. Let t = -140 + 81. Let k = t - -235/4. Is j smaller than k?
True
Let w = -5 - -5. Suppose g = -w*g + 2. Let z = 2 + 0. Is z greater than or equal to g?
True
Let w be ((-11)/5 - -2)*-2. Let z = -4.9 + 4. Let n = z + -0.1. Which is smaller: n or w?
n
Suppose 5*t = 2*t + 3. Is t less than or equal to 0?
False
Let r be -2 + 1 + 861/859. Let v = r + -7745/6013. Do -1 and v have different values?
True
Let j be (-153)/(-2) - (-7)/14. Which is smaller: j or 78?
j
Suppose -5*g - 2*r - 3*r = -20, 0 = -2*r + 10. Let p = -5 - g. Which is bigger: p or -5?
p
Suppose -9*r + 2 = -11*r. Which is greater: r or -2/39?
-2/39
Let s be (-94)/10*(-1 + 0). Let a = s - 9. Let l be (-15)/6 - (-207)/46. Is a < l?
True
Let u = -16 - -16. Is 10/9 > u?
True
Let q = -4 - -4. Suppose 5*k + 10 = -q*k + 3*r, -4*k - 4*r = -24. Let u be k*(-3)/9*0. Which is smaller: u or 3/5?
u
Suppose -2*x = 5*l - 0*l - 709, 421 = 3*l - x. Let y = -561/4 + l. Let q = 2 + -3. Is y at least as big as q?
True
Suppose 5*m - 10 = -0*m + 5*h, 5*m = -2*h - 11. Let o be 2 - m - (-21)/(-6). Is -1 bigger than o?
False
Let n = 3 + -5. Which is smaller: n or -1?
n
Let j be ((-16)/40)/((-4)/50). Which is smaller: 11/3 or j?
11/3
Let a(o) = o**3 + 7*o**2 + 9*o + 1. Let u be a(-5).