80. Let h be (-2)/(-5)*(-25)/w. Is 0 bigger than h?
False
Let w(d) = 4*d**2 - d**2 - 5 - 2*d**2 - 4 + 10*d. Let q be w(-11). Let r(p) = p**3 - 5*p**2 - 4*p - 7. Let f be r(6). Is f >= q?
True
Let s = 9 + -6. Let h be ((-8)/6 + 2)*s. Suppose -l = -h*w - 1, 4*l = 8*w - 3*w + 4. Is 0 != l?
True
Let u(z) = -6 - z - 6 + 2 + 3. Let q be (-1)/((1/7)/1). Let f be u(q). Which is greater: -3/5 or f?
f
Suppose 3*k + 21 + 0 = 3*z, 4*z = 8. Suppose 0 = -2*m - 1 - 9. Is m at least k?
True
Let t(i) = i**3 - 4*i**2 + 8*i + 2. Let u be t(4). Which is smaller: u or 35?
u
Let a = 47.2 - 47. Do a and -4 have different values?
True
Let i(n) = -n**3 + 2*n**2 + 1. Let y be i(2). Let q = -7 + 11. Suppose 2*j - 1 + 12 = 3*r, q*r = -j. Are y and r equal?
True
Let o(v) = -v**3 + 2*v**2 + 3*v - 3. Let y be o(2). Suppose y*g - 7 = 5*w - 0, 5*w - 2*g = -3. Which is smaller: -0.01 or w?
-0.01
Let u(k) = -k - 5. Let h be u(-5). Which is smaller: -2 or h?
-2
Let t = 0.06 - 4.06. Let d = 4 + t. Is d >= 3/2?
False
Let c = 2.9 + -16.9. Let m = 17 + c. Is m greater than 1/14?
True
Let h(j) be the first derivative of -j**2/2 + 5*j + 4. Let k be h(6). Let x be k/(-2 + (-14)/(-8)). Is 8/3 >= x?
False
Let q(z) = 3*z + 1. Let d be q(-2). Let a = 3 + d. Is a <= -1?
True
Let o = -547 + 2768/5. Let a = o - 7. Is 1 greater than a?
True
Let c be 2/154 - ((-4)/(-4) + -1). Is c < 1?
True
Let a be 6/27 - (4 - 2392/252). Which is smaller: a or 6?
a
Let m = 7 + -6.71. Let h = m - -1.41. Let t = -0.7 + h. Is t > -0.2?
True
Suppose -12*o + 6 = -15*o. Suppose 2 = u - 0*u. Let z = u + o. Are z and 0 equal?
True
Let k be 2 - 4/(2 + 2). Is k equal to 2/79?
False
Let y = 1 + 0. Let t = 7 - 11. Let l = t + 6. Is y at most l?
True
Let y(x) = -x**2 + 1. Let v(k) = -k**3 + 9*k**2 - 7*k + 4. Let n(l) = -v(l) - y(l). Let j be n(7). Which is greater: j or -3?
-3
Suppose 0 = 3*r - 16 - 20. Let y be (2/4)/(51/r). Is y greater than -1?
True
Let h be (-51)/(-6)*(-7)/(7/2). Which is smaller: h or -81/5?
h
Let d be (0 + -2)*15/(-10). Is 0.1 at most d?
True
Let v(f) = f + 11. Let q be v(-6). Do q and 6 have the same value?
False
Suppose 0*n = 3*n. Suppose -u - 2 = -n. Let q be (-1 - -1)/((-1)/1). Which is bigger: q or u?
q
Let v = 10 + -4. Let j be -8*3*v/45. Which is greater: -3 or j?
-3
Let m be (-21)/35 - 26/(-10). Let a(r) = -m + 2*r + r - r. Let p be a(2). Which is smaller: 4 or p?
p
Let v(u) = -u**2 - 4*u + 6. Let z be v(-5). Suppose 2*s - 5 + z = 0. Let c be s/5 - 3/20. Is c smaller than -4?
False
Let h = -21.4 - -28.45. Let q = h - 0.05. Is -0.1 greater than or equal to q?
False
Suppose -11*o + 9*o = 88. Which is smaller: -46 or o?
-46
Let u = 1 - 1. Suppose b + 11 = -5*c, c + 3*b + 0*b - 9 = 0. Which is smaller: c or u?
c
Let x be (-1)/2 + (-120)/(-117). Let a = -22/13 + x. Which is smaller: 0 or a?
a
Let d = 33 - 32.9. Which is smaller: d or -4.4?
-4.4
Let u be (1/(-4))/((-6)/8). Let p = 15 + -10. Suppose -2*h + p - 3 = 0. Which is greater: u or h?
h
Let o(c) = c**2 - 3*c - 4. Let u be o(5). Let d be u/9 + 10/(-42). Which is greater: 1 or d?
1
Suppose 0 = 5*n - 3*c + 30, -n - c - 6 = 4*c. Let i be 20/21 + n/21. Let x = -1/3 + i. Which is bigger: x or 0?
x
Let g = 15 - 14. Is -3/26 at least g?
False
Suppose 20 = -4*x, -c = c + 3*x + 17. Let f = -2 + c. Suppose -g = -3 + 6. Is g at least f?
True
Let b = 1.54 - 2.94. Is b <= -1?
True
Let w be (-1)/(-7) - 744/63. Let p = -12 - w. Are -0.7 and p non-equal?
True
Let f = 57.2007 + 0.0993. Let g = -53 + f. Let o = 4 - g. Are o and -0.2 nonequal?
True
Suppose -2*z - 2 + 0 = 0. Let b be 1*0*z/(-3). Let j = b + 1. Which is smaller: -2/13 or j?
-2/13
Let k = -623 + 611.88. Let v = 0.12 + k. Is 0.1 >= v?
True
Suppose n = -4*m - 20, 4*n - 12*m - 10 = -10*m. Let q be ((-4)/(-50))/((-6)/10). Is q at most n?
True
Let x = -599 + 375. Let q = x - -1564/7. Let m(z) = -z - 1. Let s be m(1). Is q greater than or equal to s?
True
Let a = -0.5 - -0.1. Let v = 0.3 + a. Let w = -1.1 - v. Which is bigger: 2 or w?
2
Suppose -5*l + 4*b - 13 = 0, -5*l + 2*b - 22 = -3. Is 2 at most as big as l?
False
Suppose 0*h = -5*h + 15. Suppose -h = -3*d, d + 1 = 5*b - 8. Suppose b*k = 7*k + 10. Which is greater: 1 or k?
1
Let i be (-1)/(-3) - (-6)/9. Suppose -2*y + 5*o = -1 - i, 0 = 2*o. Let b(j) = -j**3 + 5*j**2 + 5*j + 8. Let h be b(6). Is y at most as big as h?
True
Suppose -9*j = -3*j - 18. Let d = 12 + -28. Let b be 2/4*d/(-4). Which is smaller: b or j?
b
Let r be ((-12)/9)/(20/(-15)). Which is greater: r or 3?
3
Let l be 3 - (-27)/(-6) - (-1)/2. Which is bigger: l or -2/49?
-2/49
Let d = -6 + 3. Is -0.1 at most d?
False
Suppose 0 = 5*c + 16 - 36. Let v = -4 + c. Is -2/13 greater than or equal to v?
False
Let n(f) = -f - 5. Let m(h) = -3*h + 4. Let p be m(3). Let b be n(p). Let g = 6 + b. Is g > 6?
False
Suppose -5*a + 4*a = 0. Is a at most as big as 1/7?
True
Suppose -3*i = i. Suppose i = 2*t + 3*t + 5*u - 5, 2 = -4*t + 2*u. Is 3/5 not equal to t?
True
Suppose 2*g + 11 = 3*t, -3*g - 13 = -4*t + 1. Let d be (0 + g/(-11))/1. Is 0 less than d?
False
Suppose -t - 5*y + 12 = 0, 2*t = 3*t + y - 4. Let f be 3/(3/2) + -1. Which is bigger: f or t?
t
Let r be 143/85 + (-12)/(-102). Which is smaller: 2 or r?
r
Suppose 2 = p, -2*x - 38 = -7*p + 2*p. Which is greater: -15 or x?
x
Let r(g) = g**3 - g. Let t be r(1). Which is greater: t or -2/39?
t
Suppose 15 = 5*w + o + 2, 0 = -o - 2. Let y(r) = -r**3 - 6*r**2 - 7*r - 1 - 3*r**w + 5*r**3. Let p be y(7). Is -1/2 at least as big as p?
True
Let p = -0.9 - -1. Let s = -53/116 - -6/29. Are p and s non-equal?
True
Let j = 2493/7 + -355. Is 1 at most as big as j?
True
Let b be 22/(-55) - 346/10. Which is smaller: -34 or b?
b
Let k be 0/(5 - 3) - 2. Suppose -2*m - m - 2*x = -21, 4*m = -4*x + 24. Let f be (-7)/m + 8/(-36). Is k > f?
False
Let v = -1 + 2. Let s be -2*((-7)/2)/7. Is v > s?
False
Suppose 5*i = 2*i - 3*u - 9, -2*u - 12 = 5*i. Let r = -4 + 3. Which is smaller: r or i?
i
Suppose -13 = -a - 4*i + 2*i, -2*a + 4*i - 14 = 0. Let q = a - 2. Suppose 3*m + m = 4*k + 4, k + q = -4*m. Is m > -3/7?
True
Let q(v) = 5*v**2 - 2*v - 1. Let c be q(-1). Let g be ((-4)/(-6))/((-1)/c). Let u be (-117)/45 + 4/(-10). Is u less than g?
False
Let b = -369 - -370. Let y = 179/460 - -1/92. Which is smaller: y or b?
y
Let n = 5 - 2. Let s = -5 + n. Let j = 17/33 - 2/11. Is j greater than or equal to s?
True
Suppose -3*t - 3*f - 95 = -32, -t + 2*f = 33. Is t equal to -25?
True
Suppose -2*p - 8 = -4*o, 0*o + 3*o = 3*p. Which is smaller: 1 or p?
1
Let u(c) = c**3 + 2*c**2 + 2. Let v be u(-2). Let x be 2 - (2/28 + v). Let j = x - -15/112. Is j <= 0?
False
Suppose 0*t + 24 = t. Which is greater: 25 or t?
25
Let b = 635/36 + -53/3. Let i = -17/252 + b. Which is smaller: 1 or i?
i
Let d be 88/(-9) - 2/9. Let t be (-26)/d + (-6)/(-15). Is 1 >= t?
False
Let s = 605/711 - -3/79. Which is bigger: 2 or s?
2
Let r = -0.02 + 2.02. Let j = -1.9 + r. Let p = -0.2 + j. Do p and -1 have the same value?
False
Let z = 8 - 8. Is z <= 2/3?
True
Let n = -24/5 - -47/15. Let q = -91 - -88. Which is greater: n or q?
n
Let y(s) = s. Let n be y(2). Suppose n*f - 15 = -3. Suppose -4 - f = -5*b. Which is smaller: 0 or b?
0
Suppose 0 = -3*v - 14 - 1. Let g = -4 - v. Is 1/3 >= g?
False
Let u be ((-36)/90 - 22/(-5)) + -3. Let z be ((-1)/20)/(24/20). Is u less than z?
False
Let y be (8/3)/((-4)/(-6)). Suppose 0 = -5*t + 39 - 14, 2*t - 1 = 3*h. Which is smaller: h or y?
h
Suppose 5*y = -45 + 125. Let v = 9 - y. Let h be 9/(-7) + (-2)/v. Is h smaller than 2/5?
True
Let s(w) be the first derivative of 2 - 1/3*w**3 + 4*w - 1/2*w**2. Let g be s(-3). Is -1 < g?
False
Suppose 0 = 3*m + 3, -2*d - 2*d + 5*m = -13. Which is smaller: 3 or d?
d
Let k = 1 + 11. Suppose n + 6 = k. Suppose -2*c + c = o + 4, 5*o = 2*c - n. Is c equal to -4/7?
False
Let c = 56 - 113/2. Which is bigger: 6/7 or c?
6/7
Let b(m) = m + 8. Let l be b(0). Let i(j) = 2*j**2 + 7*j + 10. Let a be i(-4). Suppose -a = 3*k - 5*k. Is k at most as big as l?
True
Let u be (-10)/25 + 3/(-5). Let f = u + 0. Are 0 and f nonequal?
True
Let h(n) = -n**3 - 8*n**2 + n + 8. Let j(v) = -v**2 - v - 2. Let u be j(2). Let i be h(u). Suppose i = 3*a + 2*a + 10. Which is bigger: a or -1?
-1
Let b = 82 + -572/7. Suppose -6 = 6*v - 0*v. Which is bigger: b or v?
b
Suppos