rivative of 0 + 10*h - 1/6*h**3 - 4*h**2. Let l be u(-8). Which is smaller: 1/2 or l?
l
Suppose 24 = 4*p - 2*p. Let k = -222 - -233. Which is smaller: p or k?
k
Let k = -3 - -4. Are k and 2/169 equal?
False
Let l = -40/2843 + 71874/5512577. Is 0 >= l?
True
Let f(v) = 33*v - 8 + 4 - 37*v - 9. Let b be f(-3). Is b equal to 29/2?
False
Suppose -k = 4*k. Suppose -5*w = -5*p + 3 - 18, k = 4*p + 4*w - 20. Let l = 3261/7 + -465. Which is smaller: p or l?
l
Let f be 162/615*(-12)/(-9). Let v = 2/41 + f. Let l(d) = -d**3 + d**2 - d. Let m be l(0). Is v >= m?
True
Suppose -t + 4*s = -2*t, -3*t = -4*s. Let j = -9 + 19. Let d be 2/1 + (-24)/j. Is d < t?
True
Let r(w) = w**3 + 6*w**2 + 10*w + 10. Let b be r(-4). Let g be (b + -5)*3*(-10)/(-135). Which is bigger: g or -70?
g
Let a = 9 + 17. Let i = a + -26. Let k = 6 + -4. Is k less than i?
False
Suppose 1 = l + 41*m - 42*m, 4*m = l + 5. Let q = -4045 + 52615/13. Which is smaller: q or l?
q
Let i = 32 + -32.06. Let s = -0.01 - 0.03. Let g = s - 0.16. Which is bigger: g or i?
i
Let x(q) = -q**3 + 6*q**2 - 3*q - 6. Let y be x(5). Suppose y*n + 0*n = 0. Suppose 0 = 7*z - 22 + 8. Is n less than or equal to z?
True
Suppose 22*v - 20*v = 3*q + 664, q = 2*v - 228. Is -216 less than q?
False
Let v(p) = -p**3 - 6*p**2 - 6*p - 4. Let i be v(-5). Let w be 44/(-297)*21/(-2). Does w = i?
False
Let c(a) = -a**3 - 11*a**2 - 9*a + 4. Let m = 12 + -8. Suppose 60 = -m*t + 20. Let x be c(t). Is x bigger than -7?
True
Suppose 7*t - 25 = -11. Suppose -1 + 3 = -t*j. Which is greater: -3 or j?
j
Let c be 4/(-6) - (-238)/(-21). Let v be ((-10)/c)/(3/9). Let g = 3 - v. Does -1 = g?
False
Let g = -123 - -143. Is g not equal to 23?
True
Suppose -57*f - 3*n = -60*f - 9, 3*f - 2*n + 6 = 0. Do f and 8/61 have the same value?
False
Let o = -13 + 10. Suppose 3*c + 6*s - 2*s - 13 = 0, 5*c + 9 = s. Does o = c?
False
Let k be (-3580)/880 - ((-6)/2 + -1). Is -1 greater than k?
False
Let o = 770 - 624. Is 1 not equal to o?
True
Let y(a) = a**2 + 6*a + 4. Let x be y(-5). Let h be x - 12/448*38. Let r = 23/8 + h. Which is greater: r or 1?
1
Suppose -5*c + 62 = 3*m, 6*c = -4*m + 2*c + 80. Is 12 smaller than m?
True
Let z = 10.8 - -49.2. Let s = z - 59. Is 2/3 > s?
False
Let b be (1/(-2))/((-1)/2). Let n = 16 - 62. Let o be n/(-8) - b/(-4). Which is smaller: o or 4?
4
Let h = -1.8 - -1.9. Let t = 0.2 + -2.2. Are t and h unequal?
True
Let b be (-46)/(-11) - (-8)/(-44). Let t be 28/b - 2*9/6. Do t and 4 have different values?
False
Let i = 0.0637 - 0.1137. Which is smaller: i or 7?
i
Let d be (-2)/(-6) + 835/15. Is 395/7 less than or equal to d?
False
Suppose -5 = 3*g + 37. Let d(k) = -k - 25. Let s be d(g). Which is bigger: s or -9?
-9
Let t be (-642)/27*(-207)/(-15). Let s = t + 328. Which is greater: 1 or s?
1
Let s(x) = -x**3 - 10*x**2 - 18*x - 10. Let q be s(-7). Are 2 and q unequal?
True
Let p = 6691/48654 + -5/918. Is p < 0?
False
Suppose 37*f - 713 = 6*f. Which is bigger: 89/4 or f?
f
Let t be 10 + (17285/(-820) - -11). Are t and -1 non-equal?
True
Let y = 664 - 663. Do y and 50 have the same value?
False
Let o be ((-6)/(-19638))/(4/12). Which is smaller: o or 1?
o
Let j(x) = -x**3 + 8*x**2 + 5*x - 41. Let t be j(8). Is t > -2/9?
False
Suppose s + 167 = -u, -u + 5*u = 3*s + 473. Which is smaller: -162 or s?
s
Suppose 3*p - y - 22 = 0, 2*p = -2*p + 2*y + 26. Suppose 5*i = p*i. Let b = 13/56 - 3/8. Is i at least b?
True
Let t(a) = -a**3 - 6*a**2 + 6*a + 2. Let g be t(-7). Let n be (6/(-10))/(g/45). Let b(l) = 4*l + 2. Let u be b(-1). Is u <= n?
False
Let b = 5 + -9. Let l = b + 4. Let g be 2 - (l - 0 - -1). Is -2/9 at least g?
False
Suppose -4*a - 4*s + 36 = 100, -3*a + 5*s - 72 = 0. Which is bigger: a or -17?
-17
Let a be (-40)/8 + (-17 - 2). Let b = 40 - 63. Is a equal to b?
False
Suppose -4*t = 2*s - 14, -4*s - 2*t - 11 + 21 = 0. Suppose -2*g = -2*o + 2, 5*o - 1 = 4*g + 1. Let c be g/(-6)*s*2. Which is greater: c or -2/25?
c
Let y(f) = 2*f + 1. Let b be y(2). Suppose -2*u + 98 = b*d, d - 6*u - 25 = -u. Let i be (-30)/(-4)*(-140)/100*-2. Which is greater: i or d?
i
Let l = -18 - 76. Let c = -92.12 - l. Let w = c - -0.12. Which is smaller: 0 or w?
0
Suppose 0 = -4*x, -2*v + 276 = -4*v + x. Let i be 50/v + (-14)/(-21). Let p = 3/161 - i. Are p and -2/3 equal?
False
Let p = 12 - 8. Suppose p + 5 = -y. Let s be (-2)/y - 34/72. Is -1 at most s?
True
Let m = -4439/6 - -742. Let p = 43/18 - m. Is p at most as big as 1?
True
Let m be 70/9 - 6/(-27). Let q(w) = w**3 - 9*w**2 + 8*w. Let s be q(m). Let d be -3 - -22*12/80. Is s less than or equal to d?
True
Suppose 2*u - 3*v - 2 = 4*u, -4*v = 4*u. Suppose -4*r = -2*w + 22, -2*w - 2*r - 13 = -5*w. Is u bigger than w?
True
Suppose -1419*p + 9 = -1410*p. Which is greater: -9/193 or p?
p
Suppose -s - 4 + 10 = 3*t, 4*t - 4*s = -8. Is t > 8/51?
True
Let l = -646 - -379. Which is greater: l or -266?
-266
Let u = -15 - -37. Suppose 12*x - u = 10*x. Is x at most 8?
False
Let c(x) = -x**3 - 4*x**2 + 5*x + 1. Let s be c(-5). Which is bigger: s or -3?
s
Let t = 14 - 10. Suppose 0 = t*n + 4*d + 21 + 3, d = -5. Is n smaller than -2?
False
Let d = 3001.8 + -3003. Is -45 greater than d?
False
Suppose f - 20 - 52 = 0. Let v = 549 - 477. Is v smaller than f?
False
Suppose -18 = -2*a + a - 3*x, 0 = -3*a + 5*x - 2. Let d be -2 + -2 + a - (-72)/(-34). Which is greater: d or -1?
d
Let y = 1362 + -1310. Which is smaller: y or -15?
-15
Suppose 4*c + 0*c + 5*j = 135, 4*c - 185 = 5*j. Which is smaller: c or 21?
21
Suppose -5*p = -7 - 13. Let b be -13 - (-1 + (-4 - -2)). Let g = -6 - b. Is g bigger than p?
False
Suppose 0 = -0*g + 4*g - 20. Suppose 6*r - 1 = g*r. Is 0 equal to r?
False
Suppose 39*r - 1253 = 4831. Is 157 <= r?
False
Let p = -2804 + 2804. Is -3/1099 at most as big as p?
True
Let y(n) = -n**3 + 5*n**2 + 15*n - 2. Let f be y(7). Suppose -2*j + 3 = 11, f*o + 5*j = 50. Is o < 13?
False
Suppose -3*t - t + 24 = 0. Let k be t/(-18) + (-14)/3. Let a = k - -4. Is -3/8 less than or equal to a?
False
Let h = 1.2 - 1. Let n be (-3)/(-9) - 5/6. Is h equal to n?
False
Let u be (-12)/8 + (-40)/(-26). Let v = -80 - -80. Are u and v nonequal?
True
Let g = 386.97 + -399. Let s = g - -12. Let u = 2.03 + s. Are u and 2 nonequal?
False
Let w = -87 - -91. Suppose m - 81 = -w*f, 219 = -m + 4*m + 4*f. Is m >= 70?
False
Suppose -2*t = -3*j - 133, 4*t = j - 3*j + 242. Is 63 smaller than t?
False
Suppose 2*z + 277 - 271 = 0. Is -12 >= z?
False
Let x be 70/5*(-4)/8. Let q(v) = -v**2 - 7*v - 13. Let k be q(x). Which is smaller: k or -12?
k
Let l be ((-42)/42)/(1/((-24)/(-2))). Which is smaller: l or -14?
-14
Suppose n = -n. Let p = -433 - -13425/31. Which is smaller: p or n?
n
Let v = -3 + 2. Let a = 130208834/3 - 188585793428/4345. Let j = 2/869 + a. Which is bigger: v or j?
j
Let l = -161 - -158. Let x be (5/10)/((-3)/6). Let w be -5 + x - (1 + 0). Which is bigger: w or l?
l
Let d = 241/316 + -1/79. Let a = -106/3 - -35. Let i = a + -7/6. Is i greater than or equal to d?
False
Let q = -225 + 233. Let k be ((-3)/(-3))/(1/(-11)). Let n = q + k. Is -2 > n?
True
Let c(b) = b**3 - 85*b - 163. Let a be c(-2). Let r = -2.8 + -0.5. Is a smaller than r?
False
Let d = -4245.3 - -4243. Let i be (-1)/(-8)*-2 - 0. Which is smaller: d or i?
d
Let l be ((-52)/(-20) + -3)/(22/10). Let p = l - -37/143. Let g(w) = -w**3 + 6*w**2 + 1. Let d be g(6). Which is bigger: p or d?
d
Let i = 292 + -659. Is i > -367?
False
Let k = 29 + 28. Let d = -93 + k. Do d and -36 have different values?
False
Let a = -268/411 + -2/137. Is -26 bigger than a?
False
Let q be (-492)/(-861)*7/(-13). Suppose -3*j - w = -0*w - 8, -4*j - 3*w + 9 = 0. Let n = j - 4. Are q and n equal?
False
Let g be 9/1 + 4403/(-493). Let r = -2 - -1. Which is bigger: r or g?
g
Let u be (-1 + -22 + -1)*12/24. Which is bigger: 2/3 or u?
2/3
Let q = 142 + -565/4. Let b(r) = 5*r**3 + 19*r**2 - 5*r - 20. Let k(c) = 6*c**3 + 18*c**2 - 6*c - 19. Let s(a) = 5*b(a) - 4*k(a). Let m be s(-23). Is q < m?
False
Let d = 55.1 - -2.9. Which is smaller: d or -0.4?
-0.4
Let f be -25 + 2 - (-4 - -1). Let r be (-3)/(-4) - (-55)/f. Is r <= -2?
True
Let r = -8 - -14. Let w be ((-29)/4)/(7 - r). Is -7 greater than or equal to w?
True
Let a(k) = 19*k**3 + 4*k. Let v be a(2). Let i = -1122/7 + v. Is i < -1?
False
Let d = 19