. Let j = 1/82 - 251/410. Is j not equal to o?
True
Suppose -f + 2*j = -2*f + 25, -3*j = 2*f - 45. Suppose -c + f = -4*c. Is c equal to -4?
False
Suppose -u + 64 = -5*u. Which is greater: u or -18?
u
Suppose 0*q + 8 = -q. Let g(b) = 5*b**3 - 3*b**2 - 9*b - 14. Let f(w) = -w**3 - w**2 + 1. Let o(z) = -6*f(z) - g(z). Let k be o(q). Is -1 at least k?
False
Let b be 12/(-18) - 8/(-18). Let z be 3/((-6)/(-5) - 1). Let r be 6/z + (-4)/10. Which is smaller: r or b?
b
Let h = 0.09 + 3.91. Let x = 4 - h. Is 0 at most as big as x?
True
Let z = -2.2 - -2. Let q = z - 0.2. Let r = -0.4 - q. Which is greater: -0.3 or r?
r
Let w = -5 + 2. Let g be (-2)/(w*(-2)/(-3)). Let r be g - (-2 - (-5)/3). Is r != 1?
True
Suppose 3*h + 0*s - 5*s - 28 = 0, 0 = -4*h + s + 9. Which is smaller: -7 or h?
-7
Let d be 8/28 + (-193)/14. Let p = d + 85/6. Is 1 <= p?
False
Suppose 5*i + 10 - 25 = 0. Suppose -x = g + 10, i*g - 2 = -11. Is -6 > x?
True
Suppose 0 = 3*s - 5*h - 1040, -s - 2*h = 3*s - 1378. Let q = 2765/8 - s. Let m = -33/40 + q. Is -1 not equal to m?
True
Let k = 9 - 8. Suppose 0*p = -p - k. Is 2/15 at most as big as p?
False
Let h = 79 + -393/5. Which is smaller: h or 0?
0
Let d = -14 + 20. Which is smaller: d or 4?
4
Suppose -3*u - 1 = 4*z + 9, 14 = -u - 4*z. Let f be 3/u - 1/(-2). Let g be ((2 - 1) + 0)*f. Which is smaller: -1 or g?
-1
Let l = -44.2 - -44. Which is smaller: l or 0.1?
l
Let y = 16 + -17. Is 0.3 at least as big as y?
True
Let v(i) = -i**2 - i + 4. Let l be v(0). Let w = -5 + l. Is w greater than -2/7?
False
Let r(h) = h**2 + 4*h - 4. Let t be r(-5). Let x be 0*(3 + (-1 - 1)). Let p = t - x. Is 2 < p?
False
Let n = -15 - -17. Suppose n*y + 3*y + 30 = 0. Is y greater than -4?
False
Let c be ((-14)/(-28))/(26/8). Which is greater: c or 13?
13
Let g(k) = -k**2 + 12*k - 9. Let w be g(11). Is w bigger than 2?
False
Suppose 4 = -3*q + 4*q. Suppose 14 = 4*w + 2*s, 10 = -w + 4*w + 2*s. Is w greater than q?
False
Let u = 131 + -132. Which is greater: u or -1/14?
-1/14
Suppose 14 = -2*f - 4. Let c be 180/8*(1 - f). Let m be 40/c*(-6)/(-8). Is m at most 0?
False
Let y = 99/35 - 17/7. Suppose f = -3*f + 2*j, f - j = 0. Let p be -1*(f + (-6)/(-4)). Which is bigger: p or y?
y
Let c = 14 + -6. Which is smaller: 7 or c?
7
Let a(s) = -28*s**3 - 5*s**2 - 3*s + 3. Let n(y) = -14*y**3 - 3*y**2 - 2*y + 2. Let t(z) = -3*a(z) + 5*n(z). Let w be t(1). Which is smaller: w or 13?
13
Suppose -w - 108 = 3*w. Is -27 <= w?
True
Let y(m) be the first derivative of m**3/3 - 5*m**2/2 + m + 3. Let g be y(5). Let u be ((-2)/(-14))/(6/(-7)). Which is bigger: u or g?
g
Let f = -7 + 27. Suppose -3*b + 8*b = -f. Which is smaller: -1 or b?
b
Let h be (1 - 0)*(2 - -3). Suppose h*n = -4 + 14. Suppose 10 = 5*v + m, 3*v - 3*m + n + 10 = 0. Which is smaller: 2/11 or v?
2/11
Let j = 39/161 - -1/23. Which is smaller: j or -1?
-1
Let s = 138 - 136. Is 5 at least s?
True
Let q = 6.06 + -0.06. Let y = q + -7. Is -3 > y?
False
Let n(h) = -h**3 - 6*h**2 - 7*h - 3. Let r be n(-5). Let y = -2 + r. Suppose y*x - 2*x = 0. Which is smaller: x or 6?
x
Let p = -4/431 - -954/9913. Suppose z - 12 = -1. Suppose l + 9 = d + 3*l, -2*l + z = 3*d. Do p and d have the same value?
False
Let d be 3/36 + 6/(-8). Which is greater: d or 0?
0
Let w(h) = h**2 - 3*h - 2. Suppose -2*c + 2 + 2 = -4*f, -2*c - 4*f + 12 = 0. Let r be w(c). Suppose 0*u = -r*u. Do -1/2 and u have the same value?
False
Let h be (6/5)/(-3)*-10. Suppose h*d = -d. Let y be -1 + -1 + 8/6. Which is smaller: y or d?
y
Suppose v - 96 = 3*m, -5*m + 4*m = -3*v + 40. Let p be (-4 - 29) + 1/2. Let u = m - p. Which is greater: u or 3?
3
Let m be 4*((-1)/4 + -1). Let a(b) = b**3 + 6*b**2 + 5*b + 2. Let y be a(m). Let v = 0 + y. Which is greater: v or 3?
3
Let f = 55 + -163/3. Let m = 37 - 15. Let k be (1/m)/((-2)/8). Which is greater: k or f?
f
Let n be ((-12)/(-15))/(2/(-15)). Let c(t) = t + 8. Let u be c(n). Is u greater than or equal to 2?
True
Let t = -7 + 12. Let w = 6 - t. Is 5/6 bigger than w?
False
Let j = -0.6 - -0.5. Do j and 0.4 have different values?
True
Let w be (-2)/4 + (-15)/(-10). Suppose 2*l - w = 1. Which is smaller: l or 2/9?
2/9
Suppose 1 - 25 = -4*p. Which is greater: 8 or p?
8
Suppose -f - 16 = f. Let q(r) = -r**3 - 7*r**2 + 8*r. Let b be q(f). Let k = b + -1. Does k = -1/4?
False
Suppose -35 = 2*v + 49. Which is smaller: v or -43?
-43
Suppose h = 2*o, 4*o - 5*h + 14 = o. Let k(v) = 0*v - v + v**3 - 4 - 6*v**o - 2*v**3. Let t be k(-6). Which is smaller: t or 1?
1
Let k be 3*(0 - (-5)/(-3)). Suppose -4*f - 13 = 3*n, 2*f - f + 5*n = 1. Is k at most as big as f?
True
Suppose 2*n - 8 = -2*n. Suppose 0 + 2 = -n*l. Which is smaller: l or 3/8?
l
Let m be 2 + (1 - (2 - 2)). Suppose -4*g + 1 = -m. Let w be (2 + (-2 - 0))/g. Is -0.3 less than w?
True
Let q(o) = -17*o**3 + 2*o**2 - 1. Let u be q(-1). Suppose -2*m + u = m. Suppose m*b = 4*b. Which is greater: b or 1/3?
1/3
Let a = -19.9 + 22. Let l = a + -2. Suppose -6 = 4*s - 18. Are s and l unequal?
True
Let i(s) = -s - 13. Let f be i(-11). Let k(n) = n**2 + 3*n + 3. Let h be k(-2). Let o = 1 - h. Which is smaller: f or o?
f
Let f = 131 - 2099/16. Which is greater: f or 1/2?
1/2
Suppose -2*o - 2*t - 10 = 0, -14 = 2*o + o + 2*t. Which is bigger: o or -6?
o
Suppose 3*s = 4*s + 1. Let u be 6/15 + (-4)/10. Suppose 4*l = -5*h - 15, u = 4*h - 9*h - l. Which is bigger: h or s?
h
Suppose 0 = 4*u - 2*q - 2, 3*q = -5*u - 0*q - 3. Suppose u = 3*a - a. Which is bigger: 3/5 or a?
3/5
Let j(g) = g**3 + 6*g**2 - 7. Let n be j(-6). Let d(i) = i + 9. Let r be d(n). Is 0 >= r?
False
Let v = 26/3 - 136/15. Let x = 35.9 + -28. Let d = 1.9 - x. Is v not equal to d?
True
Let q = 1/26 - 3/26. Which is greater: 0 or q?
0
Let a be 9/30*8/(-18). Let l = 8/15 + a. Let k = -0.1 + -0.3. Which is greater: l or k?
l
Let p = -25/9 + 23/9. Suppose 0*h + 3*h = 0. Suppose -z + 2*z = h. Is z at most as big as p?
False
Let r = -1.2 - -0.2. Let b(z) = -z**2 - 3*z - 1. Let i be b(-3). Is i greater than r?
False
Let v = -407/7 - -58. Which is greater: v or 1?
1
Let t be (-2)/1 + 72/6. Let m be 1*-2*(-1)/t. Which is smaller: 0 or m?
0
Let w be 2 + (15/(-6) - (-5)/(-10)). Let c = 21375/29 + -737. Which is smaller: c or w?
w
Let h(q) = q**2 - 13*q - 17. Let j be h(15). Do j and 15 have different values?
True
Let r(d) = d**2 - 7*d + 1. Let x be r(3). Let i = 28 - 40. Is x at least i?
True
Let o(u) = 2*u**2 - 10*u + 4. Let h = -10 + 17. Let a be o(h). Let k be 6*2*2/a. Which is bigger: 0 or k?
k
Let o = -19 + 13. Let m be (9/15)/(o/4). Which is smaller: 1 or m?
m
Let x = -102 - -37. Is -65 bigger than x?
False
Suppose 3*d + o - 3 = -0, 2*d - o + 3 = 0. Suppose 4*t + t - 5 = d. Is t at most as big as -3/2?
False
Let c be (-28)/(-6)*(-270)/(-35). Suppose 0 = 4*s, 4*w - 5*s - c = -3*s. Is 10 equal to w?
False
Let w = -61/12 + 19/4. Which is bigger: -0.03 or w?
-0.03
Let o = 1 - -1. Suppose 0 = 4*a - 0*c - 3*c - 30, -4*a - 5*c = -14. Suppose 5*n = o*n - a. Is n at most as big as -2?
True
Suppose 0*p + 3*p - 3 = 0. Let n = -13699 - -68252/5. Let t = n - -49. Is p at least as big as t?
True
Let n(s) be the second derivative of -5*s**3/6 + 5*s. Let q be n(1). Which is bigger: -6 or q?
q
Let l be 134/(-24)*6/38. Let m = l + 12/19. Which is smaller: 1 or m?
m
Let o be (-2)/6*24/80. Which is bigger: 0 or o?
0
Let b = -6 + 6. Let n be 95/(-455) + (-6)/(-21). Is n > b?
True
Let l be 0 - (-1 - -1 - -1). Let q be 3/2 - 15/6. Is q equal to l?
True
Let m = 108 + -109. Let h = 3 - 1. Which is smaller: h or m?
m
Let v be (-1)/((-5)/(-595)) + 5. Which is smaller: v or -115?
-115
Let l = -4 - -3. Let t = -0.11 + -6.99. Let b = -7 - t. Is l at most as big as b?
True
Let h = -4772/5 - -945. Is h bigger than -9?
False
Suppose -2*t + 6 - 50 = i, -2*t - 48 = 3*i. Let h = t + 20. Which is bigger: -6/5 or h?
h
Suppose -o - 2*a + 1 + 2 = 0, 0 = -5*o + 4*a + 15. Suppose -5 = 2*y + o*y. Are -1/11 and y non-equal?
True
Let r be (0 - 0)/(-4 + 2). Let a = 0.11 - 0. Which is smaller: r or a?
r
Suppose 0 = 4*h - 5*a + 3, -h - a + 9 = -6*h. Let k(l) = l**3 + 5*l**2 - 6*l + 5. Let d be k(-6). Let g be (1 - d)/(1 + 0). Which is greater: g or h?
h
Let c = -38 + -35. Let o = c - -214/3. Do o and -3 have different values?
True
Let w(k) = k**2 + 1. Let i be ((-4)/3)/(8/(-36)). 