0*p. Is -2.5 at least as big as p?
False
Let w(b) = b**3 + 8*b**2 + 8*b + 2. Let m be w(-7). Suppose -3*q + 1 - 7 = 0. Let j be (144/20 - q)/(-2). Are m and j unequal?
True
Suppose 0 = 4*s + 12, 6*s + 19 = 5*c + 3*s. Which is bigger: 5/8 or c?
c
Let h be ((-4)/2)/((-6)/27). Let j = -70 - -79. Is h at least j?
True
Suppose -37*v = -42*v + 15. Let s(y) = 3*y + 14. Let d be s(v). Is 23 at least d?
True
Let g = 132 - 135. Which is smaller: -5 or g?
-5
Let b = -100.158 - -0.158. Let h = -99.97 - b. Is h greater than 1/4?
False
Let f(g) = -6*g**2 - 10*g - 4. Let q(j) = -j**2 - 2*j - 1. Let a(i) = -2*f(i) + 11*q(i). Let t be a(2). Are t and -4 unequal?
True
Let z = -123/5 - -109/5. Let a be 2 - (5 - -3) - (-1 + -2). Does a = z?
False
Let t be (1 + 14/(-12))*10. Let n be 0 - (3 + 358/(-6)). Let m = n - 56. Is t < m?
True
Suppose 2*q = -3*q + 40. Suppose 4*k = 3*k + 3*x + 11, x - 7 = -5*k. Suppose -q = k*w - 0*w. Is -5 at most w?
True
Let n = 0.1555 + -0.0695. Is n <= 0?
False
Let d = -5 + 10. Let v = d - 11/2. Let z be ((-36)/15)/4*-5. Which is smaller: v or z?
v
Let p = 15.4 - -4.8. Let k = -2.2 + p. Which is greater: k or -1/4?
k
Let q = -2167/16 - -135. Is 9 bigger than q?
True
Let q(k) = -2*k**2 + 93*k - 38. Let u be q(46). Which is bigger: u or -63?
u
Let v = -3/2732 + -5449/13660. Suppose -5*m - 47 = 3*x, -73 = -0*x + 5*x + 3*m. Let j = x + 7. Is v at most j?
False
Let v be 204/(-9) + 6/9. Let r = v - -22. Let h = 253 - 1523/6. Which is bigger: h or r?
r
Let q be (-30)/12*8/10. Let w be (-3)/24 + 49/8. Is w greater than or equal to q?
True
Let q(a) = -2*a**2 - 17*a + 10. Let h be q(-9). Let c(i) = -13*i**3 - i**2 + 1. Let w be c(h). Is w at least as big as -12?
False
Let s be (-10 + (-5832)/(-584))/((-1)/(-3)). Is s bigger than 2?
False
Let y = -106 - -107. Suppose 3*g = 3 - 9. Let b be g + (-2 - 122/(-31)). Which is smaller: y or b?
b
Let j(s) = s + 8. Let d be j(-7). Suppose o + 2*y + 33 = 6*o, -5*o + 41 = -4*y. Which is greater: o or d?
o
Let n = -112.224 + 0.224. Which is greater: n or 0.1?
0.1
Let h(w) = w**3 - 15*w**2 + 8*w + 8. Let y be h(15). Let o = 128 - y. Which is greater: o or -1/70?
o
Let h = 1757 + -1776. Is -20 greater than h?
False
Suppose 17*m = 275 + 303. Is m less than 35?
True
Let q be ((-15)/(-4))/(1/4). Let r be (-6)/(-10)*q/(-24). Suppose f + 4 = -4*k, 8*k - 9*k + 5*f = -20. Is k at least r?
True
Let b = -0.034 + 45.034. Let q = b + -44.8. Let g = 6 + -8. Which is bigger: g or q?
q
Suppose 2*i - 3*i = 4*c + 13, 4*i - 3*c = 24. Suppose i*w - 20 = -8. Which is smaller: 2 or w?
2
Suppose 5*a + 18 + 37 = -5*s, 5*s + 45 = -3*a. Let w be 114/(-8) + s/(-24). Let v = w + 14. Which is greater: v or 1/19?
1/19
Suppose 2*k - 6*k = 20. Let h(j) = -2*j**2 - 10*j + 4. Let q be h(k). Suppose 2*l + 2 = q*l. Is l at least -16?
True
Let s be (-16)/((-10)/3 - -4). Are s and -16 equal?
False
Let n = -0.037 + -0.063. Let l = -33 + 23. Which is bigger: n or l?
n
Let d = 1 - -4. Suppose 4*f - 13 - 3 = 0. Suppose -f*h = -d*h + s, h = -s + 4. Is h greater than 3?
False
Suppose -70 = -5*h + 50. Let a = h - 21. Which is bigger: 4 or a?
4
Let m = -41 + 80. Let k = -391/10 + m. Are k and -1 non-equal?
True
Suppose 9*k = 187 + 236. Suppose -4*j - 45 = -4*t + k, -73 = -3*t + 2*j. Is 27 at least t?
True
Let m = -36.21 - 2.79. Is -1 not equal to m?
True
Suppose -8 = -2*d - 4*k, 2*d + 0*d = 2*k + 8. Let m be (-3)/d - (-12)/(-48). Is -2/49 less than m?
False
Let p = -9.45 + -0.55. Let c = 6.4 + -6. Which is greater: c or p?
c
Let h = -109 - -288. Is 178 <= h?
True
Let a be (-2)/(1*1/(-10)). Let h be a/(-8) - 0 - -3. Are -0.21 and h nonequal?
True
Let n = -280 - -1957/7. Suppose -7*g = -5*g. Is n less than g?
True
Let u be (4 + -2 - 0)*5830/(-212). Are -6 and u nonequal?
True
Let k be (18/72)/((-1)/(-28)). Let p(b) = -5*b**2 - 13*b. Let v(j) = -j**2 - j. Let q(o) = p(o) - 6*v(o). Let i be q(k). Is i < -9/7?
False
Suppose o - y + 5*y = 31, -5*o + 121 = 3*y. Which is bigger: 18 or o?
o
Let l(m) = -m**3 - 16*m**2 + 4*m + 86. Let a be l(-16). Which is bigger: a or -13/3?
a
Let y = -58 - -55. Let o = -139 + 135. Which is smaller: y or o?
o
Let g = 5.3 + -1.3. Let p = -1.92 + -0.08. Let s = p - -1. Which is smaller: s or g?
s
Suppose 4*v = -2*g - 4 + 24, 0 = -4*v + g + 20. Suppose 0 = -i + v - 1. Suppose -3*r + i = 25. Which is smaller: r or -6?
r
Let h = 2.3 - 2.6. Which is smaller: h or 31?
h
Let y = 32.21 + -32.1. Let b = 25/39 + 1/39. Which is smaller: b or y?
y
Let p be 0 + 25*(0 + 1). Let v be ((-26)/(-12))/(4/(58 - 10)). Does v = p?
False
Suppose -12 = -4*s, -4*q - 5 = -s + 6*s. Let k(z) = -z**3 - 5*z**2 - 2*z - 4. Let g be k(q). Is g at most 29/5?
False
Let x = -0.01 + -0.05. Let u = 10.06 + x. Let g = u + -21. Which is smaller: g or -1/2?
g
Let h be (-2)/(-1610) + 70/(-805). Which is smaller: -1 or h?
-1
Let r = 2/1965 + 436/655. Which is bigger: -150 or r?
r
Let g be (8 - 11) + 87*1. Suppose 0 = -x - x + g. Let q be (-9)/x*(-4 - -2). Which is smaller: q or 0?
0
Let r = -167 + 194. Which is smaller: r or -11?
-11
Suppose -4*u = 2*m - 22, -13 = 4*u - 4*m - 65. Let x be u/6 - 34/51. Is x at most as big as 0.6?
False
Suppose 0 = -65*y + 53*y - 12. Let m be (-24)/(-7)*2/(-3). Is m at least y?
False
Let n = -3544 + 1553. Let b = 340463/171 + n. Is -1 equal to b?
False
Let a(f) = -25*f**3. Let w be a(1). Let z = 27 + w. Are -3 and z equal?
False
Let y(l) = -6*l**2 + 5*l + 20. Let g(w) = 5*w**2 - 6*w - 20. Let k(i) = 7*g(i) + 6*y(i). Let r be k(-10). Is r equal to 6/7?
False
Let d(g) = -g + 7. Let h(o) = o**2 + 8*o - 3. Let r be h(-9). Let w be d(r). Which is greater: w or -1/28?
w
Suppose -8*t = -0*t + 10*t. Is t at least as big as 1/1773?
False
Let v = -339 + 338.9. Which is bigger: v or -81?
v
Let w = 5/314 - 53729/2198. Is w less than 0?
True
Let o(y) = 35*y**2 + 32*y**2 - 6*y + y**3 - 62*y**2 - 6. Let s = -1 - 5. Let c be o(s). Which is smaller: -4 or c?
c
Suppose -3*z + 2*z = -12. Suppose -z*q = -13*q. Which is smaller: q or 2/75?
q
Let r = -12137687/42 - -289007. Let n = -44/3 + r. Which is bigger: 0 or n?
0
Let p(t) = 2*t**2 + 19*t + 6. Let h be p(-9). Are h and -32/17 equal?
False
Let s = 22/79 + -2288/1975. Is s at most 0?
True
Let y(h) = 5*h - 6. Let u be y(2). Suppose -4*q - u*o + 91 = -o, -2*o = -4*q + 86. Is 22 at least q?
True
Let l(i) = -3*i**2 + 5*i + 4. Let x be l(3). Let v be 612/630 - x/(-14). Let u = 2 - 1.9. Is u at most as big as v?
True
Let c(y) = -7*y + 4 - 2*y + 3*y + y**2. Let f be c(7). Let x be ((-2)/(-6))/(f/(-99)). Are x and -4 unequal?
True
Let s = 103 - 67. Let j be (-1)/(-1) - 1 - s/66. Let o(h) = -h**3 - 2*h**2 + 2*h + 3. Let q be o(-2). Is q less than or equal to j?
True
Let z be (-96)/(-120)*3/26. Is z not equal to 1?
True
Suppose -t - 5*i = 5, 4*i + 4 = -3*t + t. Suppose -3*o + o + 8 = t. Let g(u) = 13*u - 270. Let w be g(21). Is o less than or equal to w?
False
Let l be ((-2 - -10) + -2 + -6)*-1. Are l and -1/3837 unequal?
True
Let v = 42 + -29. Let j = 14 - v. Which is smaller: -28 or j?
-28
Suppose -3*x + 2*x = 2*p - 26, 3*x + 2*p = 70. Which is smaller: 16 or x?
16
Let d(x) = 2*x**2 - 2*x - 1. Let w be d(2). Suppose 0 = -0*h + h - w*m - 6, m - 11 = -4*h. Suppose 7 = -h*a - 8. Is -3 at least a?
True
Let d(f) = -f - 10. Let j be d(-10). Let k = 11/8 - 127/104. Which is bigger: k or j?
k
Let b = -9 - -6. Let t = 415 + -416. Is t not equal to b?
True
Let r = 126/451 + -4/41. Let d(b) = -2*b. Let n be d(5). Let u(z) = -z**3 - 11*z**2 - 9*z + 10. Let a be u(n). Which is smaller: r or a?
a
Suppose 18 = -2*x - 8. Suppose -4*k - 26 = -k + 2*s, 14 = -5*k + 4*s. Let h = k + -8. Which is greater: x or h?
x
Let a(m) = -m**3 - m**2 - 2*m - 1. Let u be a(-1). Let h be (-45)/(-12) - ((-3)/12 - 0). Let z be 12/112 - ((-5)/h)/(-5). Which is greater: u or z?
u
Let t(z) = -z**3 + 18*z**2 + 18*z + 15. Let r be t(19). Let x be r/16 + 374/56. Is x >= 5?
True
Suppose -4*j + 0 + 8 = 0. Let m = -335 - -328. Is m greater than or equal to j?
False
Suppose 5*h + d + 26 = 0, -5*d = -2 + 7. Let p be 153*2/(-30)*h. Is p > 50?
True
Suppose 3*v = -2*v - 25, -c + 4*v + 2 = 0. Let l be 9/(-48)*c*-18. Let k = -61 - l. Which is smaller: 5 or k?
k
Let y be (-7)/112*4 - 20265/(-80964). Is 0 < y?
True
Let p be 39/(-15) + (-8)/20. Let w be (-5)/p*(-1077)/(