490. Let v(a) = -a**3 - 2*a**2 - 3*a - 6. Let m be v(-4). Which is greater: m or r?
m
Let w = -0.19 - 1.01. Let c = 27 + -23.8. Let u = c + w. Is u at least as big as -4?
True
Let m = 42 + 0. Let b = m + -41. Is b greater than 5/4?
False
Let x = 107/15 + -19/5. Do x and 4 have different values?
True
Let m = -198 + 280. Let r be 7 + (-10)/3 + -3. Which is smaller: r or m?
r
Let n = -3 - -3. Suppose n = 4*z - 28 - 28. Is 12 >= z?
False
Suppose -h + 32 - 97 = 5*b, 5*b = -3*h - 55. Let x = 0 + b. Which is bigger: x or -16?
x
Let s(j) = 2*j**2 + 23*j - 145. Let f be s(-16). Is f > 0.04?
False
Let q = 1.2 - 1.56. Let v = q + 0.08. Let f = v - -0.19. Which is smaller: -2 or f?
-2
Let d be -2*3/9*9. Let z = -10 - d. Let h(f) = f**3 + 4*f**2 + 2*f + 2. Let t be h(z). Do t and -6 have the same value?
True
Let w = -6658/13 + 512. Are w and -0.03 unequal?
True
Let r(d) = d**3 - 7*d**2 + 5*d + 1. Let m be r(6). Let o(k) = -2*k**2 - 6*k - 6. Let j be o(-3). Which is greater: j or m?
m
Suppose -5*f + 7 = -3. Let s(z) = 24*z**2 - 23*z**f - 3*z + 16*z + 1. Let m be s(-12). Is m less than or equal to -11?
True
Let y(j) = -37*j - 3*j**2 + 3 - 1 + 39*j. Let c be y(-1). Which is greater: c or -0.2?
-0.2
Suppose -2*m = q + 100 + 124, 5*m = -20. Is q less than or equal to -215?
True
Let l be (10 - 7) + (-182)/64. Let f(r) = -r**3 + 2*r**2 + 23*r - 4. Let o be f(-4). Which is smaller: l or o?
o
Let o = -14 + 25. Let q = 16 - o. Let i be ((-2)/q)/((-56)/35). Do i and 1 have the same value?
False
Let m = 252 + -254. Which is bigger: -4 or m?
m
Let w be (-4)/26 + 3199/91. Is w <= -1?
False
Let j(g) be the second derivative of -g**5/20 + g**4/4 - g**3/3 + 11*g**2 + 32*g. Let n be j(0). Is n < -2/7?
False
Let v(t) = t**3 + 5*t**2 - 5*t + 13. Let j be v(-6). Let z be 3 + 6/9*3. Let k = z + 0. Which is smaller: j or k?
k
Let q be 30/(-6) - 56/(-7). Which is bigger: q or 4?
4
Let f = -0.2 - 1.2. Let b = -2.09 - -0.99. Let d = f - b. Which is greater: -0.02 or d?
-0.02
Let h = -73.4 + 14.4. Let t = h + 42. Is t bigger than 1/2?
False
Suppose l + 26*r - 23*r = 139, 2*l - r - 292 = 0. Are 145 and l equal?
True
Let g be (1 - 1) + (-80)/(-9080). Which is smaller: g or 1?
g
Let r = 174 - 184. Let q be (-2)/12 - 1/(-2). Is q > r?
True
Let t(h) = -h**3 + 5*h**2 - h + 3. Let l be t(3). Is -0.05 bigger than l?
False
Suppose -2*m + 9 = 2*i + 3*i, -4*i + 2*m = -18. Suppose -i*g + 4*g = 65. Suppose 0 = -2*b - 3*b - g. Which is bigger: b or -12?
-12
Let y be (100/150)/((-2)/3). Is -666 bigger than y?
False
Let j = -1473 + 1472. Is -128 > j?
False
Let g be (12/18)/((-1)/(-6)). Suppose 0 = g*h + 16. Let q(o) = -o + 6. Let n be q(11). Which is greater: h or n?
h
Let c(w) = w**3 + 56*w**2 + w + 88. Let o be c(-56). Let l = 29 - -2. Which is bigger: l or o?
o
Let d be ((-35)/(-4))/5*4. Suppose 4*n = 0, -5*l + 17 - 7 = n. Suppose l*x = d*x. Are x and 1/2 equal?
False
Let u = -6132 + 6261.17. Let i = -129 + u. Does i = -1?
False
Let z = 56.69609 - -0.07391. Let x = z - 57. Let p = -0.38 - x. Which is smaller: p or 1?
p
Let j be 6*3/(-12)*10. Let m be 11 + j + (-94)/(-23). Which is bigger: 1 or m?
1
Let m be 2*2*2/92. Suppose 8 = 3*q + q. Suppose -5 = -a + 5*f, -4*a + 0*f = 2*f + q. Which is smaller: m or a?
a
Let s = 0.01 + -0.11. Suppose -3 = -i - 0*i. Let d be i/(((-10)/(-4))/(-5)). Which is bigger: d or s?
s
Suppose -9 = b - 2. Let o = -35 - -33. Which is smaller: b or o?
b
Let j = 1 + 15. Suppose u + 13 - j = 0. Which is smaller: u or -2?
-2
Let i(r) = 8*r**2 + 18*r + 21. Let x be i(-4). Are 74 and x equal?
False
Let n(j) = j**3 - 2*j**2 - 3*j. Suppose -31 = -5*x - 4*h, -x + 2*x = -2*h + 11. Let u be n(x). Is 7/6 at most u?
False
Suppose 680 = 58*s - 306. Does 29 = s?
False
Let m be 9/2 + 30/20. Let x be 2/m - 98/(-21). Let o = 151/30 - x. Are 0 and o non-equal?
True
Let r = -0.05 - -0.039. Let h = -0.311 - r. Which is smaller: 2/11 or h?
h
Let n be -3 - (3 + (-3 - 6)). Let i be 2 + (-14)/(0 + 2). Let a = -2 - i. Are n and a equal?
True
Let c = -10.39 - -11.39. Is -16/5 smaller than c?
True
Let o be 3/(-6)*-6*8/(-3). Let p be 2 - 2 - 6/o. Which is bigger: 2 or p?
2
Suppose 0 = -26*j - 537 - 1101. Is j at most -63?
True
Let k = -136 - -160. Which is bigger: k or 25?
25
Suppose 2*i - 6 = -4*z, -4*i + 3 = -6*z + 5*z. Is i at most as big as -3/64?
False
Let k = 172 - 193. Suppose -4*s - 2*t - 55 = 23, -5*s - 104 = -4*t. Is s <= k?
False
Let w = -8 - -3. Let c(q) = -19*q + 167. Let r be c(9). Which is smaller: w or r?
w
Let f be 4/84*-6 - 592/(-161). Is 3 bigger than f?
False
Let v(d) = -10*d**3 - 10*d**2 - 31*d - 6. Let p be v(-3). Which is bigger: 268 or p?
268
Let p = -667 + 669. Are p and -0.213 equal?
False
Let a = -261 + -43. Is -305 not equal to a?
True
Suppose 5*h - 110 = 2*u - 561, 0 = -h - 5*u - 101. Is h at most -90?
True
Let b = 1.3 - 0.3. Let z = 2.6 - 6. Let p = z - -6.4. Is b bigger than p?
False
Let t(d) = d**2 + 17*d + 69. Let u be t(-10). Is u at most 2/495?
True
Suppose -w = -0 + 2. Let y = 2 + w. Let z be -2*(-1)/(-16)*(-4)/10. Which is smaller: z or y?
y
Let x = -1.1 - -1. Let t(r) = r**3 - 8*r**2 + 4*r + 3. Let g be t(8). Let i be 10/(-55) - g/(-11). Which is smaller: x or i?
x
Let o be (-22 + 19)*2/(-2). Suppose 2*s - 5 = -o. Which is smaller: -0.005 or s?
-0.005
Let u(j) = j**3 + 5*j**2 - 7. Let b be u(-5). Let l(t) = -t**2 - t - 1. Let c be l(-2). Let n be (-2 - (4 + c)) + -3. Which is bigger: n or b?
n
Let w = -1066 - -1075. Is 40 > w?
True
Suppose 34 = -13*q + 21. Do q and 5/63 have different values?
True
Let g = -30413/65 - -2351/5. Let i(y) = 2*y**2 - 2*y + 1. Let m be i(1). Which is bigger: g or m?
g
Let b(c) = c**3 - 11*c**2 + 4. Let q be b(11). Suppose -q*r - j = 5, 4 = -2*r - 5*j - 21. Is r > -4?
True
Let c = 40 + -39.945. Let m = 1.945 + c. Is -2/19 equal to m?
False
Let k = 7141/9 + -793. Which is greater: k or -9?
k
Let h = 0.035 + -2.035. Let z(l) = l**2 + 4*l - 6. Let n be z(-5). Let y = n + 1. Is h < y?
True
Let l = -54.09 - -54. Let x = 31.19 + -31. Let j = l + x. Is 4/7 != j?
True
Let y(g) be the first derivative of -g**4/4 - 4*g**3/3 - 5*g**2/2 - 2*g - 2. Let b be y(-3). Suppose -d = 2*w - 15, -826*d + 822*d = 5*w - 45. Is d > b?
True
Suppose -4 = -f + o, 5*f + 0*o - 2 = -4*o. Let a = 2 + 7. Let p = a - 6. Which is smaller: p or f?
f
Let u be 389/9 + (-6)/(-6). Let s = u - 44. Which is smaller: 0 or s?
0
Suppose r + 146 = 2*s, 0*r + 5*r = 5*s - 370. Let q = -274 + 347. Which is smaller: s or q?
s
Suppose 0 = -4*i + 2*k, 90*k - 6 = 87*k. Which is smaller: i or -5/188?
-5/188
Let z = 0.721 - 0.76. Let g = z - -3.039. Which is greater: g or 0?
g
Suppose 0 = -z + 2*q + 8, -2*z + 4*q + 16 = -4*z. Which is smaller: -2/1053 or z?
-2/1053
Let z = 2/20335 + -23246/61005. Let v = 0 - 0. Are z and v nonequal?
True
Let n = -231 - -132. Let y be (209/n)/(-1 + 21). Let l = -1/20 - y. Which is greater: 1 or l?
1
Let p = -182.439 - -0.439. Is -2/7 greater than or equal to p?
True
Suppose -21*v + 8*v = 13. Which is bigger: 1/323 or v?
1/323
Let w be (3 - 2)*(-30)/10. Let h be (-4 - (4 - 9))/(w/(-3)). Which is smaller: h or 2/81?
2/81
Suppose x = 3*v - 94, -3*v - 3*x + 114 = -0*x. Let l = v + -26. Which is smaller: 0 or l?
0
Let j = -3 - -3. Suppose 5*y = -k - 3*k + 40, 2*y + k - 16 = j. Let m be (-20)/y*(-8)/130. Which is smaller: 1 or m?
m
Let u = -815 + 818. Is u < 28?
True
Let s(n) = -3*n - 12. Suppose 0 = 5*p - 0*p - 2*t + 20, -3*p = -3*t + 3. Let i be s(p). Suppose 0 = f - 0*f + 2*x + 6, -f + 4*x = -24. Is f less than i?
True
Let r be (-484)/(-126) - (-4)/(-14). Let k(f) = -f**3 - 6*f**2 - 56*f - 436. Let v be k(-7). Which is smaller: r or v?
r
Let r be (2/(96/27))/3. Let w(t) = 3*t - 86. Let b be w(29). Is r greater than b?
False
Suppose 4*g - 42 = 2*a - 8, g = 4*a + 12. Which is smaller: 4 or g?
4
Let a(s) be the second derivative of 5*s**3/6 + 5*s**2/2 - 8*s. Let r be a(0). Is 29/5 <= r?
False
Let b(r) be the second derivative of -5*r**3/6 + r**2/2 + 5*r. Let u be b(-1). Let q = u - 8. Is q > -0.1?
False
Let t = -7.4 - 0.9. Let n = -9 - t. Let z = n - -1.7. Which is greater: -1/3 or z?
z
Let h = 7/4 + -17/12. Let k = -7 - 1. Let r be (k/(-70))/((-2)/(-5)). Is h at least r?
True
Let r = 8 - 3. Suppose 7*u - 4*u = 2*q - 57, -r = -5*u. Which is greater: q or 31?