*y**5/20 + y**3/3 + y**2/2 + y. Let s be o(-1). Which is bigger: q or s?
q
Suppose -3*t = -8 - 1. Suppose t*m = -m. Let x = -37/5 - -343/45. Is x less than m?
False
Let q(f) = -f**3 - f**2 + f + 3. Let a be q(-2). Suppose 0*t = t. Let s = t - -2. Are s and a equal?
False
Let o be 700/6 - (16/12)/(-4). Let j = -117 + o. Is 1/4 less than or equal to j?
False
Let d be (-1046)/(-3) - (-48)/36. Which is greater: d or 351?
351
Suppose 99 - 111 = -3*n. Let j be n/(-2) - (-108)/(-72). Are j and -3 unequal?
True
Let q(t) = t - 19 + 2*t**2 + 6 + 5*t - 7*t**2 - t**3. Let i be q(-6). Let d be (-2 - (-20)/(-2))/1. Does i = d?
False
Let t be (-18)/8 + (-3939)/(-156). Which is smaller: 4 or t?
4
Let v(g) = -g**3 - g**2 + 2*g. Let l be v(-2). Suppose 4*r + a + 177 = l, 228 = 2*r - 7*r + a. Let t = -18 - r. Are t and 27 equal?
True
Let z = 66 - 65. Suppose -5*g = -5*h + 25, 3*g + 8 = h - 5*h. Suppose 2*c - 5*j = 2, z = -j - h. Is c smaller than -5?
False
Let j = 379 + -378.88. Which is smaller: 28 or j?
j
Let h = -1 - -4. Let f(k) = k**3 + k**2 - 8*k - 4. Let n be f(-3). Suppose -g = n*g - g. Which is smaller: g or h?
g
Let h be ((-50)/(-56) + -1)/(6/9840). Let k = h + 176. Is k > 0.2?
True
Suppose -13*z + 525 = -48*z. Which is bigger: -27/2 or z?
-27/2
Let t(q) = -q**3 - q**2 + q. Let c be t(0). Let f(v) = 3*v**3 - 4 - 6*v + c*v**2 - v - 4*v**3 - 6*v**2. Let l be f(-5). Which is smaller: l or 5?
5
Let y = -1.11 - -0.11. Let x = -1.2 - y. Let g = 0.5 + 0. Which is greater: g or x?
g
Let d(q) = -35*q**2 - q + 2. Let i be d(-2). Is i > -137?
True
Let v(g) = -g**2 + 27*g - 103. Let a be v(23). Which is greater: a or -12?
a
Let i = -693743/7748 + -321/596. Let u = -90 - i. Is u < -1?
False
Let f = 0.631 - 0.031. Suppose 4*q - 4*w - 16 = 0, -2*q - 5*w + 4 = -3*q. Which is smaller: q or f?
f
Let g(z) = z**3 - 2*z**2 - z. Let w be g(-1). Let s = -33 - -30.9. Let o = 2.1 + s. Which is bigger: o or w?
o
Let t be (0/(-21))/(-1*(-1)/(-1)). Which is bigger: -1/115 or t?
t
Let q = -0.11 + 2.61. Let v = -1.5 - q. Which is bigger: v or -2?
-2
Let w = 16/15 + -143/120. Is 14 less than w?
False
Let b = -2.1 - -0.1. Let v = -12.91 - 0.09. Let t = v - -14. Which is smaller: b or t?
b
Let t = 1195 + -503. Let g be t/(-174) + (-24)/(-6). Which is smaller: 1 or g?
g
Suppose -455*g + 450*g = 150. Is g smaller than -14?
True
Suppose -3*g - 10 = 4*t, -t - 3*g = -4*t + 3. Is -4/485 greater than t?
True
Let r = 0.3 + 1.3. Let g = 15.6 - r. Is g < -0.1?
False
Suppose 238*w + 18320 = 198*w. Is 0 bigger than w?
True
Suppose -12 + 0 = -12*o. Let l(j) = j**2 + 4*j - 5. Let z be l(-5). Let b be z + (-2)/129*3. Are o and b equal?
False
Let f = 549 + -549. Let o be (4*(-2)/(-4))/(-1). Let h be -4 + 4*(-1)/o. Which is bigger: h or f?
f
Suppose 6*i + 50 = 3*t + 7*i, 2*t - i - 30 = 0. Is 29/2 bigger than t?
False
Suppose i + 4 = -1, 3*p + 62 = 2*i. Let a = -39 - p. Which is bigger: -1/2 or a?
-1/2
Let o = 2/33 + -113/231. Is 1.25 less than o?
False
Let d be (-8)/(-10)*(-13)/(130/(-150)). Is d >= 7?
True
Let f = -17 - -18. Suppose -4*r = 4*o - 4, o + 0 + f = r. Let i = 11598/29 + -400. Which is bigger: i or o?
o
Let d be (-1 + (-21)/(-9))/(4/6). Let s be ((-3)/(-97 - -1))/(d/(-4)). Is 1 > s?
True
Suppose 5*n = 4 + 1. Let k be 4 + ((-131)/65 - -1). Let t = k + -44/13. Which is smaller: t or n?
t
Let h = -1 + 3. Suppose 0 = -3*g, 2*g - 1 - 9 = -h*q. Suppose 0 = a - 2, 2*y - q*a + 15 = y. Are -5 and y non-equal?
False
Let u be (48/(-4))/(-4) - 6. Let t = 10 + -20. Let h = 6 + t. Which is smaller: h or u?
h
Suppose 2*t = -4*f + 18, 2*t - 15 = -t. Let m(r) = 0 + 4*r - 5*r - 2. Let w be m(f). Which is smaller: -6 or w?
-6
Let k(h) = -3*h + 15. Let x be k(-8). Suppose -2*p + x = -29. Is 34 not equal to p?
False
Suppose 2*z + 0*z = 6. Suppose -4*m = 20, -z*g + m + 65 = g. Suppose 0 = 3*v - 8*v + 3*t + g, 5*t - 1 = 4*v. Is 6 bigger than v?
False
Let o be -4 + 19 - (-6)/(-3). Suppose -o*x + 14*x + 5 = 0. Do 0.2 and x have the same value?
False
Let j = 898/39 + -204/13. Are 7 and j equal?
False
Let a = -66 + 103. Is 3 less than or equal to a?
True
Let k(s) = s**3 + 8*s**2 - s + 6. Let j be k(-8). Let l be 6/j*14/(-21). Let g be 6/(-4)*4/6. Is l at most as big as g?
False
Let z be (8/6)/(1/(-6)). Let a be (-18)/126 - z/63. Is 0 greater than a?
True
Let v(w) = 5*w + 12. Let p be v(-1). Which is smaller: p or 4?
4
Suppose 0 = -2*x + x + 5. Let g(c) = 2*c - 9. Let r be g(x). Let f be (r/(-1))/(-7 + 8). Are -1/2 and f unequal?
True
Let o = -614 - -572. Is -44 not equal to o?
True
Let y = -2.05 + -115.95. Let t = y - -118.3. Let o = 1.3 + -8.3. Which is smaller: o or t?
o
Let v be (0 + -1)/(16 + 0 - 17). Let a be -1*2/(-72)*2. Which is smaller: a or v?
a
Suppose 5*b + 3*o - 27 = 0, b - 5 = o - 2*o. Suppose -4*w - 165 = -197. Which is greater: w or b?
w
Let d be -1*-1*1 + -25 + 142. Let n be 9/(-15) - d/(-280). Which is smaller: 0 or n?
n
Suppose 17*m - 32 = 9*m. Is 14 < m?
False
Suppose -4*x - 2*b = 194 + 420, 3*x - 3*b + 483 = 0. Let h be (-4)/10 + x/(-65). Is h at most as big as 4?
True
Let z(v) = 2*v + 4. Let s be z(-3). Let a be s - (-1 - (-3 + 4)). Let l = 3123/4 - 782. Which is greater: a or l?
a
Let c(o) = -o**3 - o + 4. Let y be c(0). Let n be (-21)/2 - y/8. Is n smaller than -11?
False
Let l(y) = 2*y - 8. Let f be l(4). Let k = -10 + 7. Is f <= k?
False
Suppose -3*w - 2 = -9*f + 11*f, 3*w - 2 = 2*f. Is -2/523 bigger than w?
False
Let t(r) = 2*r**2 - 30*r - 7. Let c be t(8). Is -120 < c?
True
Let j = -657 - -634. Which is smaller: j or 0.1?
j
Let p = 15434/7 - 2208. Which is smaller: p or 3/22?
p
Suppose i - 5 = -2. Let u be (i/(-2))/(1/(-2)). Suppose u*x + f + 7 = 6*f, 4*x + 2*f = 8. Which is smaller: 3 or x?
x
Suppose 71 = -2*d + 2*k + 3*k, k = 5. Let n = d - -29. Is n equal to -2?
False
Let n be 15*4/12*7. Suppose 6*o + n - 11 = 0. Is -2 < o?
False
Let b(u) = u**3 + 17*u**2 - 33*u - 134. Let s be b(-18). Does -1 = s?
False
Let w(r) = -2*r**3 - 16*r**2 - 10*r + 27. Let p be w(-7). Which is smaller: -2 or p?
-2
Let j = -137/258 - 7/258. Which is bigger: j or 1/4?
1/4
Let j be 17 - (-1 - (-5 - -2)). Let n(z) = -11*z - 18. Let g be n(-3). Let r = j - g. Is r at most as big as -2/59?
False
Let o be (-1)/(-9)*(4 + (-51)/6). Is o not equal to -110?
True
Let y = 51 - 101. Let r be 4/8 - y/(-28). Let t be 0/(-1 + (-3 - -7)). Which is smaller: r or t?
r
Let m(x) = 28*x + 224. Let p be m(-8). Let u = 9156/23 - 398. Is p > u?
False
Let j = 12 - -40. Let b = 26 - j. Is -26 greater than or equal to b?
True
Suppose -5*y + 2*f - 5*f + 33 = 0, -2*y = 5*f + 2. Let b = -33 + y. Let d be ((-2)/(-3))/(b/(-36)). Which is greater: -5 or d?
d
Let f = 17.91 + -18. Let b = 0.24 + f. Let x = 0.05 - b. Which is greater: x or 7/5?
7/5
Let h = -26 - -24. Let c(m) = -m**2 - 5*m - 5. Let w be c(h). Is 1/57 equal to w?
False
Suppose 2*g + 3*g + 10 = 0. Let f = -131 + 131.01. Which is smaller: f or g?
g
Let j(f) be the first derivative of f**3/3 + 17*f**2 + 2*f + 4. Let g be j(-15). Let q = -2267/8 - g. Which is bigger: q or -1?
q
Let c = -0.9 - -1. Let v = -43.8 + 45.8. Which is greater: v or c?
v
Let j be (-1)/(2/(-4)) + (-8)/(-4). Let v be ((-585)/(-140) - j)*8. Which is greater: v or 2?
2
Suppose 4*c - 3*h = 39, -4*c + 29 = h - 2*h. Let s = -1 + c. Suppose 0*l = l - 5*r - s, -3*l = -5*r - 5. Is 2/5 greater than or equal to l?
True
Let c be (-8)/4 - (25*-1 + 0). Suppose -4*w = k - c, 0 = 2*w - 2*k + 1 - 5. Which is greater: 25/6 or w?
w
Let a = -396 - -405. Is 49/6 bigger than a?
False
Let t(u) = u**3 - 9*u**2 + 9*u - 5. Let r be t(8). Suppose 0 = r*m + 25 - 7. Let n(w) = w**2 + 5*w - 6. Let z be n(m). Are z and -9 nonequal?
True
Suppose -102*g + 96*g = -6. Which is greater: -1/1673 or g?
g
Let t be 10/45 - (-50)/18. Suppose 4 = 2*x - x, k + 116 = -t*x. Let q = k + 1663/13. Is q >= 0?
False
Let t be (-11)/(-14) + (-6 - 480/(-84)). Which is bigger: -60/7 or t?
t
Let j(x) = x + 5. Let k be j(4). Suppose 4*d - 11 - k = 0. Suppose d*f = f. Which is smaller: 1/5 or f?
f
Let h = -1 - -1. Let t be ((-102)/136)/(-2 + (-46)/16). Is h at most t?
True
Suppose 8*p - 1312 - 832 = 0. Is p >= 269?
False
Let t be 1 + -2 - 2 - 10/(-5). Is t bigger than 8?
False
Let g = -103.5 + 116.5. Suppose -3*p - 17 = -3*j + j, -4*j - 5*p = 21. Is g at least j