/4)/((-1)/20). Are n and -26 non-equal?
True
Let u = -288 + 288. Is u > -5/16?
True
Let d(k) = 3*k**2 - 5*k. Let n be d(-1). Is n at least 0?
True
Suppose -2*i + 12 = -6*i. Let a be i/(-18)*-3*0. Suppose 4*c + 7 - 27 = a. Are c and 3 non-equal?
True
Let g be (10/(-645))/(8/36*-6). Let i(x) = 7*x + 13. Let w be i(-2). Is w smaller than g?
True
Suppose 13*c - 235 - 753 = 0. Is 84 at most c?
False
Let q = 1412 + -18350/13. Let z(u) = u - 5. Let m be z(6). Is q >= m?
False
Suppose 0 = -w - 0*w + 15. Suppose 0 = 4*m - 1 - w. Let g(k) = -k**3 + 4*k**2 + 2*k + 3. Let r be g(m). Which is greater: r or 10?
r
Suppose -67 = 14*t - 53. Which is greater: t or -0.166?
-0.166
Suppose 4*s = 6*s + 12. Let l be s + (-4)/14 + 210/49. Which is smaller: l or -5?
-5
Let s = -4 - -4. Let u be 5 + (-3 - (-2)/2) + 1. Let d = s - u. Which is smaller: d or -2?
d
Let i = -737 + 677.8. Let j = i + 60. Does -0.08 = j?
False
Let f = -54 - -43. Let d = -11.06 - f. Are d and -0.4 equal?
False
Suppose 2*i = -0*i + 6. Suppose -2*w + m - 15 = 4*m, -m + i = 0. Let j be w/27 - (-1)/3. Which is greater: 0 or j?
0
Let c = 36 - 22. Let h = 12 - c. Is -2/19 at most as big as h?
False
Let v(m) = -m**3 + 15*m**2 - 14*m - 12. Let s be v(13). Let b be (-66)/(-4)*s/54. Suppose -2*f - 2 = 0, b = -4*i + i - 5*f. Is i greater than or equal to -13?
True
Let a(l) = -l**2 + 6*l + 9. Let f be a(0). Suppose 2*q - f = -5*u + 4, -13 = 3*q + u. Which is bigger: -8 or q?
q
Let t(q) = 2*q**2 + 5*q + 6. Let u be t(-5). Let y = u + -32. Do y and -1/16 have different values?
True
Let l = -14/3 - -24/5. Which is smaller: -1 or l?
-1
Let z = 16 - 10. Suppose 3 = 3*m + z. Is m equal to 1/13?
False
Let i(c) = -c**3 + 12*c**2 - 10*c - 13. Let o be i(11). Suppose 9*h + 46 = 1. Which is smaller: h or o?
h
Suppose 3*t + 2*p = p - 1, 25 = -5*t + 3*p. Let b = -10.7 + 1.7. Which is smaller: b or t?
b
Let i(p) = -p**3 - 10*p**2 + 4*p + 20. Let a be i(-10). Let u = -18 - a. Suppose -5*d = -u*d. Which is smaller: d or 2/7?
d
Let a = 2 - 0. Suppose -a*t = -0*t. Let h = -15 + 16. Which is bigger: h or t?
h
Let a = 8 - 7. Let c be ((-30)/16 + 2)/a. Let d(y) = y**2 + 4*y - 1. Let o be d(-4). Which is smaller: o or c?
o
Let a(m) = m**3 + m**2 + m - 2. Suppose -2 = -2*g + 3*g. Let p be a(g). Let x = 265 - 274. Which is smaller: x or p?
x
Let r(c) be the first derivative of -c**4/4 - 2*c**3 - c - 2. Let b be r(-6). Let y(d) = d**3 - 9*d**2 + 22*d - 9. Let x be y(4). Are b and x non-equal?
False
Let z = 1582 - 1582.1. Let q = 0.88 - 0.7. Is q at least z?
True
Let y be (-90)/150*1/(-27). Which is greater: 1 or y?
1
Let m = -341 - -281. Which is greater: -2 or m?
-2
Let y be ((-8 + 14)/(-24))/((-6)/(-8)). Let p = 0.41 - 0.39. Is p at least y?
True
Let w(o) = -o**3 + 7*o**2 - 6*o + 3. Let y be w(6). Let q(b) = 20*b**3 + 2*b - 1. Let k be q(1). Let j = -19 + k. Which is smaller: y or j?
j
Let p be 1*(-2 - 3 - -3 - -2). Does 10/51 = p?
False
Suppose 101*r = 100*r - 3. Let a = 1.71 + -1.63. Is a bigger than r?
True
Let v = 246.2 + -270. Which is greater: 1 or v?
1
Let z = 114693/37 - 3100. Which is smaller: z or 1?
z
Let d be (-6)/8*-10*2. Let n(u) = -u**3 + 14*u**2 + 15*u + 15. Let b be n(d). Suppose -b*z = -20*z. Is z greater than or equal to -1/10?
True
Let v = 59/2 - 1109/38. Let d = 55/114 - v. Is d >= 0?
True
Let p be -23*1*(-2 - -1). Let b(g) = 8*g - 34. Let x be b(2). Let h = x + p. Is 6 < h?
False
Let o be ((-150)/90)/((-2)/(36/118)). Is 1 >= o?
True
Suppose 0 = 2*g + 23 - 65. Let i be (g/(-6))/(5/(-20)). Let r be 1*4 - (-56)/i. Is r at most as big as 8?
True
Let o = -634 - -632.8. Which is smaller: -57 or o?
-57
Let z be 4/(-32) - (-2598)/48. Suppose 5*x - z = 11*x. Do x and -8 have different values?
True
Let g be 1/(-1)*-1*(7 + -8). Suppose 5*l - 5 = 0, -2*q = -q + l - 19. Let b = q + -88/5. Is b smaller than g?
False
Let u = 45 + -37. Suppose -u*n = 5*n - 182. Which is smaller: n or 12?
12
Suppose f - 4*g - 20 = 0, 4*f - 9 + 4 = g. Suppose -6*a + f - 6 = 0. Which is greater: 2/5 or a?
2/5
Let a = 110 - 51. Suppose 6*l - a = 49. Let w be l/(-24) - (-6)/(-8). Which is greater: w or -0.2?
-0.2
Let y(u) = -211*u + 778. Let j be y(4). Suppose 2*r + 260 = -2*r. Which is greater: j or r?
r
Suppose -5*l = o + o + 8, -2*o = 3*l. Which is smaller: 34/5 or o?
o
Suppose -g = 2 - 7. Suppose 4*u - 8*u = -16, -5*h + g*u = 20. Is h < 2/3?
True
Let l be 5 - 2 - 88/24. Let s be (11/(-121))/(1/(-2)). Which is smaller: s or l?
l
Let r(q) = -12*q**2 - 15*q**2 + q + 28*q**2 + 1. Let z be r(-2). Suppose 0 = -z*w - 4 - 5. Is w greater than or equal to -2?
False
Let l = -1741 - -1742. Are -4/1625 and l non-equal?
True
Let a = -0.1 - -0.04. Let r = 0.003 + -0.103. Is a at least r?
True
Let x = 126.8 + -121.8. Which is bigger: 0.22 or x?
x
Let t = 253 + -268. Which is smaller: t or -74/5?
t
Suppose -10*a = -0*a - 70. Suppose 3*n = -2*n. Suppose n*z - 2 = -z. Is a bigger than z?
True
Suppose 0 = -z + 4*i + 21, 5*i + 15 = 5*z + 3*i. Which is smaller: -1/23 or z?
-1/23
Let m = -17 - -23. Let k = m + -6. Let w = 0.2 - 0. Which is bigger: k or w?
w
Let g(n) = n**3 - 19*n**2 - 73*n + 157. Let p be g(22). Is p >= 3?
True
Let d = -264 + 1286. Is -1/3 <= d?
True
Let r(w) = 3*w**3 + 5*w**2 - 3*w + 13. Let h(v) = -v**3 - v**2 + v - 1. Let f(g) = 4*h(g) + r(g). Let j be f(0). Let y = 11 - j. Which is smaller: 1 or y?
1
Let y = -13 - -12. Let x be 36/(-10)*65/233 - -1. Which is bigger: x or y?
x
Let f be 1/5 - 3024/(-105). Let o be 6/2 - 0/f. Which is bigger: 0 or o?
o
Let z = 1891/171 - 100/9. Let y be -3 - -1 - (0 + -1). Is y not equal to z?
True
Let m be ((-3)/1)/((-1188)/(-96) - 12). Which is smaller: m or 4?
m
Let k = -0.21 - 24.79. Let p = -37 - k. Are 1/2 and p equal?
False
Let y(s) = 2*s**2 + 18*s - 23. Suppose m = 5*u + 1 + 51, -14 = 2*u + 3*m. Let n be y(u). Is 7 < n?
False
Let d(h) = -h**2 - 3*h + 1. Let r be d(-2). Suppose -5*z + 20 = 0, 4*i + 4 - 32 = 2*z. Let m(p) = p**3 - 7*p**2 - 21*p + 30. Let g be m(i). Is r < g?
False
Let o(u) = 63*u + 366. Let w be o(-4). Is w greater than 114?
False
Let q(c) = -c**2 + 15*c + 18. Let f be q(16). Let u = -2 + f. Which is greater: 8/7 or u?
8/7
Suppose 4*u + 4 = 3*k, 4*k - 6*k + 10 = u. Suppose 0*j - 12 = k*j. Let m be (-27)/18 - 3/(6/5). Is j bigger than m?
True
Suppose 5*c - 11*c = 18. Let v = c - -24/7. Are v and 0 unequal?
True
Let i = 13.9 - -0.1. Let n = -305 + 305.3. Is i != n?
True
Suppose 5*j - 268 = -3*n + 807, 1075 = 5*j + 5*n. Suppose 17 = 4*a - j. Which is smaller: a or 59?
a
Suppose -3*m = -n + 58, 4*m + 0*n + 4*n + 88 = 0. Let t be 231/(-28)*8/3. Which is bigger: t or m?
m
Let w(z) = z**3 - 13*z**2 - 10*z - 61. Let v be w(15). Is 239 at least v?
True
Let d(h) = -h**3 - 12*h**2 + 12*h - 7. Let v be d(-13). Suppose -173 = v*g - 5. Which is bigger: -29 or g?
g
Let s = 26.5 - 26.45. Which is smaller: -5 or s?
-5
Let p = 404 - 285. Suppose -16*q + 12*q = -n - 21, -q + 9 = -4*n. Suppose 19 = -q*d + p. Is 21 <= d?
False
Let o be 85/34*(-8)/(-5). Is o at least as big as -10?
True
Let y(s) = -s**2 + 8*s + 127. Let c be y(16). Which is smaller: 4/225 or c?
c
Let r(l) = 29*l - 13. Let k be r(2). Suppose m + 45 = k. Which is bigger: m or 2?
2
Let d be (1/(-6))/((-20)/(-110)). Let j be 67/(-12) + 1 - -2. Let m = j + d. Which is greater: m or -5?
m
Let c be 2 + 0 + 20424/(-10200). Which is smaller: 1 or c?
c
Let f be ((-4)/17)/((-4)/(-6)). Suppose -4*m = -0*m + 2*p - 154, -3*p = 5*m - 194. Let w = m + -37. Which is greater: f or w?
w
Suppose -4*a + m = -17, 0*m + 7 = -a + 4*m. Let y be 4 + (-9)/1 + 5. Suppose -a*l + y*l = 5. Are l and 0 equal?
False
Let m = -1.13 + 0.13. Which is smaller: -11 or m?
-11
Let n be 2/4*2 + 0. Let d = -20811 + 20810.97. Is n less than d?
False
Let q = -14 - -14. Suppose 5*o = q, 5*m - 2*o - 25 = o. Is 4 <= m?
True
Let o = -2291.5 - -2293. Is -1/4 smaller than o?
True
Suppose -2 = a - 3*a. Let y be a/5 - 568/15. Let u = -38 - y. Which is smaller: -1 or u?
-1
Let x = -8.2 + 8. Let y be (-4)/(3/6*1). Which is smaller: y or x?
y
Let u(m) = 15*m - 107. Let z be u(7). Which is greater: -95 or z?
z
Suppose -c + 20 = 4*c. Let j = 9 - c. Suppose 5*z + j*n + 5 = 0, -7*z = -2*z - 2*n - 2. Is z greater than or equal to 2?
False
Let b = 51 - 42.4. Let j = 8 - b. Which is smaller: -2 or j