x**4/6 + x**3/2 + 20*x**2. Let a be k(-1). Which is smaller: a or -77?
a
Suppose 2*a + 3*n = 5*n - 64, -2*a - 5*n - 78 = 0. Suppose -1063 = 15*c - 538. Is c <= a?
True
Suppose 0 = -9*r + 3*r - 4*r. Which is smaller: -3/134 or r?
-3/134
Let d be (1/(-14))/((-49)/(-7644)). Which is smaller: d or -12?
-12
Suppose 2 = -2*k + 3*k. Let l be 4*5/k*1/2. Is 6 at most l?
False
Let j be (585/(-540) - (-1)/3) + (-9)/4. Let a(d) = -3*d - d + 2*d + 2. Let m be a(4). Which is smaller: m or j?
m
Suppose 5*a - 8 = t, -2*a + 3*t = 2*a - 13. Suppose 4*d - c - 1 = -6, 3*c = 15. Let q be d + (-12)/(-20) + 0. Which is smaller: q or a?
q
Let n be (-14)/(-2 + 1)*7. Is 98 less than n?
False
Let y be -375*1/(-9) - (-2)/12. Are y and 41 equal?
False
Let o(n) = 2*n**2 + 37*n - 20. Let r be o(-19). Is r less than 2/73?
True
Let m be ((-10)/15)/((-2)/75). Suppose 8*v - m = 3*v. Suppose 0 = -4*h + v*h. Which is smaller: h or -4?
-4
Suppose 0 = 22*f + 7*f. Which is greater: -2/2367 or f?
f
Let n = 74.95 - 122. Let a = -47 - n. Let k = 1 + -1.1. Which is smaller: a or k?
k
Let z be (-1 + -12)*(-4)/(-304). Let q = -511/3876 - z. Let y = q + 92/255. Does 0.01 = y?
False
Let d be 628228/(-2828484) - (-2)/9. Let u = d + 19011709/17363749. Let k = u + -16/17. Which is smaller: k or 1?
k
Let s = -0.582 + 0.302. Is s smaller than -3?
False
Let g = 22 + -34. Let c = g - -29. Let y = c + -11. Which is smaller: y or 0?
0
Let j be 10/(-220)*-11*0. Which is bigger: j or 6/331?
6/331
Suppose 0 = 2*b + 3*b - 110. Suppose -q + 5*v = q + b, -q - 5*v + 4 = 0. Let m = 7 - 9. Is q at most as big as m?
True
Let r = 1 + 1. Suppose -2*i - 3*u = -23, 5*u = -3*i + 9 + 28. Suppose -i*c = -w - 2, c - 5*w - 10 = 2*c. Which is smaller: r or c?
c
Let x be -1 + 0 + -21 + 21. Let h be (4/(-65))/((-18)/(-75)). Which is greater: x or h?
h
Let d = -23 - -21. Let q = 4.2 - 8. Let k = -4 - q. Is k greater than d?
True
Let v = -6 + 5.3. Let h = -0.7 + 1. Let k = h + v. Is k < 0?
True
Let r = 839 - 838. Is -4/951 != r?
True
Let n(r) = -r**3 + 8*r**2. Let v be -1 - (-2 - 14/2). Let a be n(v). Which is smaller: a or 1/75?
a
Suppose p - 91 = -4*c, 5*c - 5*p - 95 = -0*c. Suppose -3*l + c = 4*v, 5*l - 2*v + 5 - 33 = 0. Suppose -52*o = -47*o - 30. Are o and l unequal?
False
Let d be -4 + 6 - (-463)/3. Let k = 154 - d. Which is smaller: k or -2?
k
Let y = -1.9 - -14.9. Let w = y - -6. Let n = w + -18.9. Which is greater: n or -8?
n
Suppose -4*q = 27 + 5. Let o(n) = -2*n**3 - n. Let j(u) = -5*u**3 + 7*u**2 - 11*u - 1. Let f(g) = j(g) - 3*o(g). Let i be f(q). Which is greater: -1/22 or i?
-1/22
Let p(b) = -b**3 - 17*b**2 + 61*b + 35. Let x be p(-20). Is x less than or equal to 15?
True
Let f(t) = -4*t + 4. Let z be f(-2). Suppose -3*j + 0 = z, 4*p - j = -88. Does p = -25?
False
Suppose -l + 4*d - 8 = 0, 29*d - 32*d = 5*l + 40. Is -7 >= l?
True
Let y(m) = m**2 + m - 28. Let u(d) = 2*d**2 + d - 56. Let s(t) = 6*u(t) - 13*y(t). Let b be s(-10). Which is bigger: -14/5 or b?
b
Let p(a) = -a**3 - 3*a + 3. Let d be p(1). Let s be d/1 + (-110)/(-114). Suppose 2*f + 8 = 0, 0 = -0*b + 2*b - f - 2. Which is bigger: s or b?
s
Let n = -71 + 145. Let m = 67 - n. Which is bigger: -39/5 or m?
m
Let d = 18 + -9. Let y = d - 2. Suppose y*o - 4*o - 4*i + 8 = 0, -i + 2 = 0. Is o at most as big as -2/13?
False
Suppose 3*y = u, -5*y + 8 = u - 8. Let v = -6 + u. Let j = -94.1 + 94. Does j = v?
False
Let z = 8 + -8.1. Let f(i) = -i**3 + 7*i**2 - 4*i - 6. Let k be f(6). Suppose -d + k = d. Is z greater than d?
False
Suppose 0*x = 2*f + x - 298, x = 2*f - 290. Is 147 at most f?
True
Let s = -183 + 184. Is -1 greater than s?
False
Let z be (3/46)/((-6)/8). Let u = 332 - 333. Does u = z?
False
Let r = 276 - 261.9. Let h = 5.7 - r. Is 1/3 greater than h?
True
Let l = -361 - -443. Is l greater than or equal to 1?
True
Let v = -38 - -72. Suppose -2*x - 713 = 7*x - 704. Which is bigger: v or x?
v
Let x = -748553/108 + 6931. Which is smaller: 1 or x?
x
Let n be (-261)/(-1595) + (-4)/11. Suppose 3 + 7 = 2*f. Suppose p + f*l = 2 - 3, -1 = p + 3*l. Is n at most p?
False
Let g = -3939/15724 + 2/3931. Which is smaller: g or 440?
g
Suppose 3*n - 3 = 0, -3*n - 1 + 10 = 2*y. Suppose 3*v + y = 6. Let j be (28/(-10))/(2/v). Which is smaller: j or -1?
j
Let w = 15 + -13. Suppose -17 = -w*y - 3. Suppose -4*x - 60 = 2*n - y*n, 3*x = 4*n - 45. Is x at least as big as -15?
True
Let k be (1 - 1167/6)*16/24. Is -130 <= k?
True
Let y(l) be the first derivative of -l**3/3 + 11*l**2/2 - 16*l + 5. Let k be y(8). Do k and 8 have the same value?
True
Let p be 1005/(-135) - 8/(-18). Is 2 > p?
True
Let q = -2.97 + 12.97. Is q <= -21?
False
Suppose -4 = v + v - 2*w, 3*v - 5*w = -6. Let y be (v/5)/((-2)/90). Suppose -5*c - 2*b = -5, -3*b = -2*c - c - y. Which is smaller: c or 0.4?
c
Let d = 163 - 85. Let w = 79 - d. Is w bigger than 1/2?
True
Let q = 822 + -823. Which is bigger: 92 or q?
92
Suppose -4*p - p - 3*d + 144 = 0, 4*p = -2*d + 114. Let g be 6/4 - 3/(p/6). Which is bigger: g or 0?
g
Suppose 384 = -3*a + 12*w - 9*w, 0 = 4*a + 3*w + 484. Which is greater: a or -376/3?
a
Suppose -4*p + 107 = 35. Let h be (-4 + -23)*1/(-1). Let j = h - p. Is j >= 9?
True
Let w = -19304/45 + 429. Is w at most -1/3?
False
Suppose -3 = -2*a + 3*a, 0 = -o - 5*a - 11. Suppose -3 = -o*y - 7. Which is greater: y or 2/15?
2/15
Let u be 8/28 - (-45)/(-35). Let d be 1 - 0*u/(-3). Is d smaller than 1/2?
False
Suppose 23*f + 1122 = 29*f. Are f and 185 equal?
False
Let h(b) = -b**2 - 9*b - 10. Let j be h(-7). Let p = j + -8. Are -3 and p equal?
False
Suppose 6*f + 9 = -15. Let j be ((-20)/(-60))/(-1 + f/(-3)). Is j less than -2/15?
False
Let v be 35/(-4) + (-16 - -19). Which is bigger: v or -7?
v
Let l = 5891061043223 + -2592067963515769/440. Let m = -2510223 - l. Let x = -21/40 - m. Is x less than -1?
False
Suppose 30 = 5*n - 0*n - 2*w, 3*w = 3*n - 27. Suppose -x - 25 = 5*g, n*g + 28 - 8 = 2*x. Suppose -l - 6 = -0. Is g at most l?
False
Let s = -27 - -27. Suppose s = -4*u - 42 - 2. Let o be -1 + 31/(-3) - 4/6. Which is bigger: u or o?
u
Let m = -0.237 - -27.237. Suppose 5*n = i + 14, -i + 5*i = -2*n - 12. Which is bigger: n or m?
m
Let n = 8 - 3. Let c = n + -6. Let p = -0.35 - -0.85. Which is greater: c or p?
p
Let c = 1101/3878 + 1/554. Which is bigger: c or 174?
174
Let f = 9 - 7. Suppose f*g + 0*a - 3*a = 7, -g = -5*a - 14. Let j be (-2)/6*(2 - g). Which is smaller: -5 or j?
-5
Let v = -34 - -24. Let j = -0.15 - 8.85. Let l = j - v. Are 8 and l nonequal?
True
Let q be 1*-1 - 3320/(-1976). Let h = -10/19 + q. Which is smaller: h or -1?
-1
Let s be ((-3)/27)/(13/26). Is s less than 56?
True
Suppose 3*u - 3874 = 4*i - 1191, -4*i = 5*u + 2643. Is -668 > i?
False
Let o = 1910917885/79 + -24187806. Let n = -1028 + o. Which is bigger: n or -1?
n
Suppose 2*v + 30 = 12*v. Suppose z = -v*k + 7 - 25, z + 26 = k. Suppose 0 = j - 8 + 32. Is z < j?
False
Let v = 3915 + -2256. Is 1659 greater than v?
False
Let d = -2 + 9. Let g = -7 + d. Suppose g = 3*f - 4*f. Which is bigger: -2/47 or f?
f
Let x(u) = 9*u + 25. Let s be x(12). Suppose 0 = 2*p - 8, -5*c + p - s = -p. Suppose -2*m - 8 = 0, l = m - 13 - 8. Is c > l?
False
Suppose -q + r + 2 = 0, -r - 9 + 8 = 0. Let g = 6 + -4. Which is greater: q or g?
g
Let v = -868 - -853. Which is greater: v or -14?
-14
Let j = -818 + 780. Is -186/5 != j?
True
Let a = -31 + 30. Let c be ((-28)/(-220))/(-7)*a. Are c and 0 equal?
False
Suppose 56*b + 18 = 59*b. Let x(c) = -c**3 + 7*c**2 - 7*c + 7. Let y be x(b). Which is smaller: y or 0?
0
Let z be (-10)/(-36) + 2/9. Let a be (-204)/(-20) + 3 + (-2)/10. Let c(b) = 2*b - 24. Let o be c(a). Which is smaller: z or o?
z
Suppose 4*r + 4*o = r - 2, -14 = -3*r + 4*o. Let z = -74 - -42. Let a = z - -34. Is r bigger than a?
False
Let f = -37.81 + 38. Let m = f - -0.78. Let h = m - -0.03. Is h at least as big as 5?
False
Let p = -7.99 + 8. Let g be 0/((1 + 2)/(-3)). Which is smaller: p or g?
g
Let u be 68/(-8)*2/(-3). Let q = u - 6. Which is bigger: q or -1/2?
q
Let h(o) = -5*o + 7. Let w be -2 - -6*3/(-6). Let v be h(w). Let p be -3 - 4/(v/(-26)). Is p < -2?
False
Let b(n) = -n**3 + 14*n**2 - 4*n + 10. Let r be b(14). Let j = r + 47. Is 2/339 not equal to j?
True
Suppose -36*y = -35*y + 244. Is y less than -246?
False
Let l be (-1 + 5)*-