Let w(m) = m**3 - 9*m**2 - 9*m - 6. Let y be w(d). Which is greater: 3 or y?
y
Suppose 0 = -3*j + 4*b - 671, 439 = -0*j - 2*j + b. Which is greater: -218 or j?
j
Let c = -15 - -19. Suppose -2*b - 2 = -c*b. Which is greater: 2 or b?
2
Let t(y) = -y**3 + 13*y**2 + 5*y + 5. Let v be t(6). Is 287 < v?
False
Suppose -4*w = 5*q, -4*q = -2*w - 4 - 22. Suppose 2*g - 7 = 7. Suppose -3*p + 3*v = -6, g*p + 4 = 11*p - 5*v. Is q less than p?
True
Let a = -0.0487 - 0.1513. Let q = -2/3 + 7/6. Which is smaller: q or a?
a
Suppose 2*s + 3*b - 201 = 831, 5*b - 10 = 0. Let z = 8211/16 - s. Which is smaller: -1 or z?
-1
Let c be (-13)/260 - (-2)/8. Which is bigger: c or 2/57?
c
Let b(x) be the second derivative of -x**4/12 - 5*x**3/6 - 5*x**2/2 + 2*x. Let u be b(-4). Let k be (3/6)/(((-130)/8)/5). Which is smaller: k or u?
u
Let q = 3635 - 1758. Let g = -13165/7 + q. Are -4 and g non-equal?
True
Let u = -166/3 - -824/15. Is u not equal to 9/4?
True
Suppose 3*j - 124 = -j. Let l be j/(-182) - 4/(-14). Which is smaller: 0 or l?
0
Suppose 4*z = -0*z + 20. Let n = 178/51 - -386/357. Is z smaller than n?
False
Let f be 1/(-5 - 1736/(-348))*-1. Is f != 1?
True
Let f(c) = -6*c + 138. Let n be f(23). Let v = 11 + 1. Suppose 3*t + v = -n*t. Which is smaller: 1 or t?
t
Let b be 3*((-2)/(-7) - 10150/35182). Is b at most 1?
True
Let f = 221 + -218.3. Which is smaller: -5/2 or f?
-5/2
Let b(n) = -n**3 - 8*n**2 + n + 8. Let r be b(-8). Suppose 15 = -3*c, -2*a + c - 1 = -r*c. Which is greater: a or -30/11?
-30/11
Let r(b) = -2*b - 4*b - 274*b**2 + 27 - 11*b + 275*b**2. Let c be r(16). Suppose -13 = -o - 1. Which is bigger: c or o?
o
Let x = 363.948 + -364. Is x greater than 1/3?
False
Let d be 669/(-8) + (-8)/((-80)/30). Is d at least -81?
True
Suppose 20*a + 75 = 95. Which is bigger: -6/59 or a?
a
Let n = 737 + -914. Are n and -351/2 nonequal?
True
Suppose 2*b = b - 3*x + 5, -7 = 5*b - x. Is b bigger than -16/81?
False
Let v(i) = -i - 5. Let r be v(-12). Let l be 134/14 - (-3)/r. Which is smaller: l or 11?
l
Let p = -2.681 - 239.319. Are p and 0.2 nonequal?
True
Let v = -33/68 + -16089/476. Do -34 and v have the same value?
False
Suppose -4*f + 19*b = 16*b + 519, 2*f = -2*b - 242. Does -126 = f?
True
Let r = 551/5 - 78778/715. Which is bigger: r or 1?
1
Let d = -51.1 - -31. Let t = 20 + d. Let k = 361/1584 - 1/176. Which is smaller: k or t?
t
Suppose -4*x - 61 = -1057. Is x > 250?
False
Let a = -0.169 + 2.169. Let d = 16 + -10. Is a <= d?
True
Let c be 3/(-5)*(-32)/12. Let i = -3/5 - c. Which is greater: -1 or i?
-1
Suppose 23 - 5 = 6*y. Suppose y*r = 21 + 3. Which is smaller: r or 11?
r
Let a(p) = 28 - 107*p**2 + 106*p**2 + 15 - 7*p. Let d be a(-11). Are 1/4 and d equal?
False
Let d(i) = -5 + 2 - 13*i - 14*i**3 + 13*i**3 - 3 + 9*i**2. Let o be d(7). Is o at least as big as 4?
False
Let t be (-5)/((-10)/6) + -1. Suppose t*q + 5 = -3. Let g be (1/(-74))/(2/q). Is g at least as big as -1?
True
Let g = -61 - -137. Let z = -76 + g. Which is smaller: 1.9 or z?
z
Let b be ((-65)/(-39))/(5/6) + -2. Are b and -8/67 nonequal?
True
Let u be 2880/(-285) - (-4)/38. Is u less than -1/2?
True
Let r(u) = -u**3 - 7*u**2 - 2*u - 3. Let y be r(-4). Is -43 >= y?
True
Let k(f) = 4*f**2 - 1. Let j be k(-1). Suppose 0*w + w = 5*g - 18, j*w + 2*g - 31 = 0. Which is smaller: 13/2 or w?
13/2
Let c be 7/14*(18 + 2). Suppose -6 = -2*a - 2*k, 2*k = -0*k - c. Is a greater than 9?
False
Let f = -4 + 8. Let m be (-3)/9 + (-290)/180*-3. Is m smaller than f?
False
Let m = -1/30 + -433/60. Let j = 6 + -14. Are j and m equal?
False
Let v be (4/14)/((-5)/15). Let s = -11 + 17. Let t be (-4)/s*3/5. Is v at most t?
True
Suppose 5*w + g = -3*g + 2, -6 = -w + 2*g. Let j be 8 + -8 - (w - 1). Which is smaller: 3/20 or j?
j
Suppose -4*r + 3*i = -r - 30, 0 = -5*r + 3*i + 40. Let l = -1 + r. Which is greater: l or -5?
l
Let u = 4.7 + -29.7. Let c = u + 33. Is c at most as big as 1?
False
Let d(j) = -2*j**2 - 12*j - 17. Let g be d(-4). Let s = 113.6 - 98. Which is greater: s or g?
s
Suppose 1754 - 1853 = v. Which is bigger: -101 or v?
v
Let o = 103 + -117. Are o and -13 equal?
False
Let k be -7 + 243*7/21. Is k at least 78?
False
Suppose 0 = -t - 2*t. Let y = 163/8 + -535/8. Let w = y - -47. Is w at least as big as t?
True
Let q be (-4)/(-18) - 255/54. Suppose 54*z + 4 = 27*z + 26*z. Which is bigger: q or z?
z
Suppose -3*n + i + 86 = -4*i, 5*i = -2*n + 49. Let z = n - -16. Is z less than or equal to -0.1?
False
Let s = -7.9 + 7.9. Is s at most as big as -54?
False
Suppose -2*f + f = -10. Suppose -f = -b + 3*b. Let h = b - -4. Is h greater than -1?
False
Suppose 3*n + 0*n - 2 = -i, 4*n = -5*i + 10. Suppose n = 5*f, 3*w + 2 + 1 = 2*f. Let o be ((-3)/12)/(w/(-4)). Is 1 at most o?
False
Let s(i) be the third derivative of -i**6/60 + i**5/60 + 9*i**2 + 4*i. Let r be s(1). Which is greater: 1/17 or r?
1/17
Suppose 43*f = 50*f + 329. Are -45 and f nonequal?
True
Let y = 132 + -76. Let w be ((-10)/4 - -2) + y/48. Which is smaller: -1 or w?
-1
Let z = 86.5 + -51.4. Let p = 35 - z. Let k = 1.2 - 0.6. Do p and k have the same value?
False
Let q = 276 + -197.4. Are q and 2/5 nonequal?
True
Let h = -4.78 + -0.22. Let q = -8 + h. Let x = q + 12. Is x smaller than 1.9?
True
Let g = -925 - -924.9. Let w = -0.09 + -0.61. Which is greater: g or w?
g
Let o be ((-177)/(-12))/((8/(-362))/2). Let q = 1333 + o. Is -2 less than or equal to q?
True
Let o be ((-2)/((-8)/(-78)))/((-9)/42). Which is bigger: 92 or o?
92
Suppose u - 5*u = 32. Let w be (-15)/(-6)*u/(-5). Suppose -w*h + 9*h + 105 = 0. Is h smaller than -20?
True
Let d = 70 + -111.8. Let o = d + 42. Does o = 0.11?
False
Suppose 0 = -0*q + 5*q - 75. Suppose -6*g - q = -9*g. Suppose g = -2*k + b - 2*b, -3*k + 2*b + 10 = 0. Is k less than or equal to 2?
True
Suppose 3*j - 12 = -2*y, 18*j - 15*j = 12. Are y and 12 nonequal?
True
Let i = 215/2 - 119. Are i and -0.5 non-equal?
True
Let a(t) = 4*t + 60. Let u be a(-14). Which is greater: -8 or u?
u
Let a be (-3)/7 + 3*32/(-21). Let r = 6 + -3. Suppose 3*f = -u + 6, 0*u + r*u + 3 = -2*f. Do a and u have the same value?
False
Suppose 2*m = p - 737, -8*p + 6*p - 1116 = 3*m. Let s be (-6 - m/25)/((-1)/(-10)). Is 87 at most as big as s?
True
Let y be (1 - -5)*2/(-16). Let i(q) be the second derivative of q**5/20 + 25*q**4/12 + 23*q**3/3 - 41*q. Let j be i(-23). Which is smaller: j or y?
y
Suppose -5*f = -5*y + 30, -3 = -2*f - 0*f - 3*y. Let a = f + 7. Do a and 5 have different values?
True
Let t = 1847 - 1226. Are 621 and t non-equal?
False
Suppose 2404*q - 242 = 2406*q. Is -125 smaller than q?
True
Let n be 588/(-30) - (-4)/(-10). Let w be -37 + 13 + 12/3. Is n < w?
False
Let j = -18356/537 + -27/179. Is j < -35?
False
Let z(l) = 7*l**2 - 19*l + 40. Let c be z(7). Which is smaller: 249 or c?
249
Let c(u) = -33*u**2 + 2*u. Let d be c(2). Let f be 1 + 26500/d + -1. Let p = 207 + f. Which is bigger: 0 or p?
0
Let f be (-55)/5 + 5 + 326. Is f at most 320?
True
Let j = -10.137 + 0.137. Which is smaller: j or 16?
j
Let p(q) = -q**2 - 6*q + 19. Let h be p(-8). Suppose 2*u - 39 = 3*u + 4*x, 38 = -u - h*x. Are u and -36 equal?
False
Let t(p) = -p**2 - 21*p - 44. Let j be t(-17). Which is bigger: -3 or j?
j
Let p(j) be the second derivative of -j**4/12 + 7*j**3/6 - 6*j**2 + 2*j. Let c be p(6). Let t be 4/c - 13/(-78). Which is bigger: 6/11 or t?
6/11
Let n = -18 + 22. Suppose -n*d - 1 = -5*c, -c - d - 2 = -4. Is c at most as big as 3/77?
False
Let a = -513 + 852. Let j = a - 17966/53. Let v = -17/1908 - j. Are v and 1 equal?
False
Let k(u) = -u**3 - 6*u**2 + 3*u - 2. Let s be k(-6). Let c = 40 + s. Let h = c - 19. Which is smaller: -2/19 or h?
-2/19
Let g = 19049/18180 + 2/909. Does 0 = g?
False
Suppose -151 = -r + 4*u, 0 = 5*r - 4*u + 7*u - 663. Is 134 at least as big as r?
False
Let g = -6 - -10. Let r be (-1 - 12)/(10/(-40)*16). Is r < g?
True
Let k be (-1)/(-9) + 430/(-630). Is k equal to 0.06?
False
Let w be ((-23)/1725)/(1 + -2). Which is bigger: w or 0?
w
Let g be (2304/15)/(-16) - -10. Is g at least -420?
True
Let m = -441 - -441. Let d(g) = g**2 + 6*g - 5. Let p be d(-7). Let f be ((-23)/(-11) - p)*-1. Are m and f non-equal?
True
Let k = 113 - 89. Let d = k - 97/4. Is d bigger than -19?
True
Let h = 2 + -1. Let u = 0.274 + 0.026. Let q = 16.7 +