43 + 4864/81771. Are a and -1 equal?
False
Let i be (-1)/1*(4 + -5). Let w be 0 - (i + -6 + 3). Let n = -1/4 - -5/2. Is w <= n?
True
Let s = -18 + 50. Let w = s + -19. Which is greater: 11 or w?
w
Let m(c) = -c**3 - 4*c**2 + 43*c - 19. Let i be m(-9). Which is bigger: i or -9/14?
-9/14
Suppose 358*p - 350*p = -10344. Is p at most -1293?
True
Suppose -3*l = -5*l - 24. Let u = l - -1. Let t = -12 - u. Are -9/2 and t equal?
False
Let v = 194 + -1748/9. Let t = -33 + 39. Suppose -3*j = g - t*g, -3*j + g = 0. Does j = v?
False
Suppose 0*f - f - 5 = -t, -f = 2. Let h be (-6 + 3)*8/t. Let j be (12/h + 2)*0. Which is greater: 2/9 or j?
2/9
Suppose 63*j - 5503 = -2*f + 58*j, 2*f - 5494 = 4*j. Is 2749 equal to f?
True
Let l = 12873/4 - 3196. Is 23 greater than or equal to l?
True
Let t(a) = 12*a - 638. Let f be t(53). Which is bigger: f or -15/26?
-15/26
Let k = -36.1 - -27. Let w = -9 - k. Let n be 1/((12/9)/(-4)). Is w less than n?
False
Suppose 0*s + 2*s = -94. Let b = 67 + s. Which is smaller: 0 or b?
0
Let o(d) be the third derivative of d**6/120 + d**5/60 - d**4/24 + 28*d**3/3 - 4*d**2. Let s be o(0). Suppose -4*q + s = -8*q. Is q != -13?
True
Suppose 3*f - 6 + 3 = 0. Let u be (f/20)/(30/4). Let c = 373/300 + u. Is -0.1 at most c?
True
Let q = 2.76 - 1.8. Let a = q + -0.66. Are a and -7 equal?
False
Let x = 36 - 54. Let k = -18 - x. Which is greater: 2/9 or k?
2/9
Let q be (-6 + -1 + -2)/(6/20). Let h be (-1 + q/(-21))/((-68)/14). Which is greater: h or 0?
0
Let n(j) = 27*j**2 + 3*j + 5. Let y be n(-1). Is 30 equal to y?
False
Let j = 61 + -34. Suppose -q - j = -4*q - i, 5*q = -5*i + 55. Let y = q - 4. Are y and 2 non-equal?
True
Let j(l) = 2*l - 2. Let y be j(-6). Suppose -8*x + 265 = 369. Is x at least y?
True
Suppose 2*j + 4*p + 86 = 0, -5*p - 29 = 4*j + 131. Suppose -t - 166 = 5*g, -g + 4*t - 29 = -0*g. Is g < j?
False
Let f = 0.022 + -50.022. Let c = 50 + f. Which is smaller: 5 or c?
c
Suppose 8*x = 12*x - 16. Suppose 0 = -s + x*s. Which is bigger: s or -4?
s
Let c = 0.053 + -0.009. Let p = c - 0.044. Which is greater: 0.02 or p?
0.02
Let f be 2*(-1)/(-8) - (-22715)/(-236). Which is bigger: f or -94?
-94
Let v be 3/5 - (-161)/115. Let h = 23 + -11. Suppose 3*j = h, -4*x + j = -x + 1. Is x greater than v?
False
Let k be (-8)/(-40) + (-38)/(-10). Let h be 4/k - 7 - -4. Is h greater than or equal to -2?
True
Let w(i) = 22*i + 4. Let q be w(-2). Let h be ((-24)/18 - 1)/(2/36). Which is smaller: q or h?
h
Let a(r) = 7*r - 52. Let y be a(5). Let l be (2/(-2))/(y/(-17)). Is -1/9 != l?
True
Let o = -13 + 17. Let f be 3*(8/o - 3). Let h be 4 + (-3 - -2) + f. Is h less than 7?
True
Let m = -798 - -798.1. Is -142 < m?
True
Let y(d) = -2*d - 20. Suppose -5 - 27 = 2*b. Let x be y(b). Suppose -3 = -3*n - x. Which is bigger: -5 or n?
n
Let i = -1.8 - 1.2. Let k(p) = -p + 1. Let j be k(4). Is i equal to j?
True
Let x = -344 - -342. Is x > -272?
True
Suppose 39*l = 48*l + 828. Let t = -134 - l. Is -41 bigger than t?
True
Let o = -2/1175 + 8233/4700. Let h(d) be the second derivative of d**5/20 + 7*d**4/12 + 5*d**3/6 - 2*d**2 + d. Let x be h(-6). Which is bigger: o or x?
x
Suppose 0 = 5*j - 15. Suppose -x - j*l = l + 3, 5*l + 3 = -2*x. Let a = -5/7 + x. Is a not equal to -2?
True
Let p = -14 - -14. Suppose 2*b + p = 2. Suppose 5*y + b + 4 = 0. Which is smaller: -10/7 or y?
-10/7
Let m be 2/4 + 245/(-6). Let d = 25301 - 25341. Is m greater than or equal to d?
False
Suppose 2*m + 2*w + 1094 = 0, -m - 4*w - 529 = -9*w. Let y = m - -1652/3. Is 8 > y?
True
Let u be (-30)/(-4)*(-9)/15*-6. Suppose 12*n - u = 13*n. Is n >= -28?
True
Let k = 3/227 + 212/1135. Which is smaller: k or -2/59?
-2/59
Let i(x) = -x + 22. Let s be i(18). Suppose 3*q = -0*y - 2*y - 5, -4*q - 12 = s*y. Which is smaller: 46 or q?
q
Let q be (-16)/(-296)*3/(-2). Is q bigger than -2/3?
True
Let z = -55/171 - 2/171. Let f = 22 + -18. Which is greater: f or z?
f
Suppose 0 = 2*d + 4*d - 6. Is d less than 11/25?
False
Let z = 677/1197 + -4/399. Is z bigger than 1?
False
Suppose 11*x = m + 9*x + 60, -4*x - 140 = 3*m. Which is bigger: m or -54?
m
Let g = 104.8 - 93. Let y = g - 44.8. Which is bigger: y or 1/2?
1/2
Let g be (-147)/60 - -1 - -2. Which is smaller: g or 1?
g
Let n = 9/29 + -121/203. Let c be (9 - 5) + 72/(-15). Let y = c - -11/20. Which is bigger: n or y?
y
Suppose -3*h = 2*h - i + 5, -2*i + 3 = -3*h. Let q be (1 - h) + (-48)/21. Is 0.01 at least q?
True
Let o be 4 - (-15)/((-45)/12). Which is smaller: o or -2/181?
-2/181
Let v be ((-1)/3)/((-1)/3). Let x be 125/90 + 96/(-432). Which is smaller: v or x?
v
Let m = -280 + 339. Does -3 = m?
False
Let j = 23/14 - 1/7. Suppose 8*t = -4*b + 3*t + 3, -2*t = 4*b - 6. Which is greater: j or b?
b
Let t = 10.5 - 56.5. Let r = t - -69. Let b = r - 28. Is b smaller than 1?
True
Let h be 360/14 + (-10)/(-35). Suppose -u - 6 = 4*j + h, 0 = 5*j + 15. Let n be (8/u)/((-66)/10). Which is greater: n or 1?
1
Suppose 5*l = -3*h - 11, -83*l + 2*h + 8 = -87*l. Is -10/283 greater than l?
True
Suppose 0*u + 17 = 2*u - j, -4*u - 2*j = -30. Let l = 0.7 - 0.8. Which is greater: l or u?
u
Let p = -5594/3 + 1794. Let c = p + 3628/51. Let s = 113/204 - c. Is s greater than or equal to -1?
True
Let p = -2002 + 96097/48. Which is smaller: 0 or p?
0
Let r = 821 + -821.2. Does 107 = r?
False
Let t(s) = 2*s + 3. Suppose 3*r - 1 = -7. Let g be t(r). Let b = -58/185 - -1/74. Which is smaller: b or g?
g
Let b be ((-4)/8 - 0)*0. Let k = -25/103 - -5981/23793. Let x = k + -160/693. Which is smaller: x or b?
x
Let x = -52 - -82. Suppose 24*y - x*y = 6. Are y and 3/121 unequal?
True
Let m = 54 + -160/3. Let p = 5/12 - m. Which is smaller: p or -0.2?
p
Let f(y) = -3*y - 31. Let c be f(-15). Let t(i) = i**2 - 16*i + 15. Let l be t(c). Which is smaller: -12 or l?
l
Let a = 609 + -578. Is a > 187/6?
False
Let l(m) = m**3 - 6*m**2 + 16. Let b be l(5). Which is bigger: b or -17/2?
-17/2
Suppose 2*y - 1 - 7 = 0, 5*l = -2*y + 68. Let h be (-12)/16 - (1 - 9/l). Is -1/13 bigger than h?
True
Let t be 1/2*18/387. Which is smaller: t or 0?
0
Let q be -14 + (14 - 2) + (0 - -1). Which is bigger: 1/132 or q?
1/132
Let x = -9 + 30. Let c = -20.9 + x. Are -0.3 and c non-equal?
True
Suppose 2*m + 9 = 5*m. Suppose 0 = -m*p - 3*p - 144. Let w = p + 29. Is w >= 11/2?
False
Suppose -4*g - 1628 = -g + 4*a, 0 = 10*a + 20. Which is smaller: -539 or g?
g
Let g = -4.03 - 6.57. Is 0 greater than g?
True
Let k = -9 - -6. Let j = 0 + k. Let n = -2 + 1.8. Are n and j equal?
False
Let r = 1 + -0.99. Let q = -37 + 29. Let o(w) = -w**2 - 5*w + 24. Let l be o(q). Is l > r?
False
Let c be ((-6)/(-9))/(1*(-10)/15). Let n = -19 + 18.89. Let f = 3.11 + n. Is f at least c?
True
Let t be ((-285)/(-190))/((-5)/(10/3)). Is -2/11 at most as big as t?
False
Let s = -0.121 - -0.221. Is -8 greater than or equal to s?
False
Suppose b = 2, -3*z + z = 5*b - 46. Let n = -14 + z. Suppose -3*h = 2*c, 4*h = -c + n*c. Are -2 and c nonequal?
True
Let y(d) = -3*d + 3. Let q be (-10)/((-2)/(-3)*-3). Let v be y(q). Let m be 26/3 + (-4)/v. Is m greater than -0.1?
True
Let g(q) = 9*q + 74. Let f be g(-7). Suppose 0 = -d - 18 + 6. Let x = d + f. Which is smaller: -3/11 or x?
x
Let x(t) = 4 - 31*t + 68*t - 39*t. Let a be x(-1). Which is bigger: a or 0?
a
Let u = -5.28 - -4.4. Let g = -1.88 - u. Which is smaller: g or 13.8?
g
Let r(f) = -f**3 + 6*f**2 - 4*f + 78. Let g be r(7). Let y be -1 - 2 - 42/(-20). Let p = y - -4/5. Is g not equal to p?
True
Suppose 23*k + 70 = 24. Which is greater: -3 or k?
k
Let y(w) = -w**2 + 13. Let a be y(-3). Suppose a*j - 5*l = 12 + 25, -l + 23 = 3*j. Which is greater: j or 0?
j
Suppose 0*l = -l - 4*v + 14, -2*v = -4*l + 38. Suppose l*m - 54 = m. Which is greater: 2 or m?
m
Let y(a) = -4 - 3 - 3*a**2 - a - a**3 + 2*a**3 + 4*a**2. Let i be y(0). Let s = i + 45/7. Which is bigger: s or -1?
s
Suppose 0 = -4*f + 8*f. Suppose f = 5*i + 4 - 34. Suppose -w + i = -4. Which is greater: 12 or w?
12
Suppose -44*l = -48 - 172. Is 4 bigger than l?
False
Suppose 5*m + 5*u + 5 = 30, 0 = m + 5*u - 17. Is m not equal to 4/15?
True
Let w(d) = d - 3. Suppose -f + 7 = -2*f. Let v be w(f). Suppose -75*o + 70*o = -r + 6, 4*r + o + 39 = 0. Which is bigger: r or v?
r
Suppose -5*m + 2*s - 439 = -118, 2*s = -5*m - 309. Let r = m - -55. W