 40. Let l be k(-14). Let y(u) = -4*u**3 - u**2 - 2*u + 1. Let h be y(2). Which is greater: h or l?
h
Suppose -a + 0*a - 3 = 0. Let s = -18.0494 + 0.0494. Does s = a?
False
Let g be (-318)/(-39) - 5/(195/6). Let b be ((-13)/((-26)/(-4)))/(1/g). Which is greater: b or -13?
-13
Let i = -0.8 - 0.2. Let w = -0.0506 - -0.0606. Is w greater than or equal to i?
True
Let m be 48/(-9)*(6 + 60/(-8)). Is 0.11 smaller than m?
True
Let y = 60 + -60. Suppose y = -26*v + 23*v + 3. Which is greater: 4 or v?
4
Let d = 48/115 + -2/115. Let b = 14 + -10. Let t = b + -7. Which is greater: d or t?
d
Suppose 3*p = -k - 17 - 306, 0 = 2*k - 3*p + 628. Which is smaller: k or -319?
-319
Let h be (-627)/1672 + 4554/(-16). Is h > -286?
True
Let c be -144 - (7 - -3)/5. Is c < -146?
False
Suppose -75 = 2*k - 5*k. Suppose -5*u = -5*r + k, -7*u + 5*u + 18 = 5*r. Let y be -2 - (-1 - 3)/r. Is y at most as big as -2?
False
Let h(l) = -l**3. Let t(z) = -5*z**3 - 5*z**2 - 8*z + 9. Let g(m) = 6*h(m) - t(m). Suppose 12*y - 278 = -206. Let s be g(y). Is s >= 0.1?
True
Let n be 3 - (4 + -3 + 2). Suppose n = -0*l - 2*l + 80. Let x be (30/l)/((-11)/(-8)). Is x at least 0?
True
Let r = -142 + 85. Let u be (r/(-55) - 1)/(2/150). Is -0.1 greater than u?
False
Let i = -238.8 + 351.9. Let k = i + -113. Do 2.6 and k have the same value?
False
Let u(y) = -4 + 10 - 14*y + 15*y. Let s be u(-3). Suppose -f + i = -2*i + 17, -s*f + i - 59 = 0. Which is greater: -19 or f?
-19
Let h(o) = 99*o + 18. Let q be h(-10). Let i = -47626/49 - q. Is 1 less than i?
False
Let v = 1128 + -1129. Is v > -1100?
True
Let b(x) = -20*x**3 + 8*x**3 - 13*x + 11*x**3 - 19*x**2. Let y be b(-18). Let g = y + 539/6. Is 0.1 <= g?
False
Let z(y) = y**3 - 19*y**2 - 67*y + 21. Let w be z(22). Is w less than -3/2?
False
Suppose n = 36 + 44. Suppose 4*l - 8*l = -n. Is 20 equal to l?
True
Let f(z) = 21*z - 133. Let h be f(3). Which is bigger: h or -68?
-68
Suppose -6*r = -r - 5*a - 75, 4*a - 20 = 0. Suppose 5*j + r = 5*b, -3*b - 2*b = 4*j - 2. Are b and 0 equal?
False
Let t = 1.82 - 1.78. Is t less than or equal to -0.64?
False
Let c = 61 - 35. Let l = -33 + c. Which is smaller: 2 or l?
l
Let x(i) = -i**3 + i**2 + i + 6. Let r be x(0). Suppose 0 = 2*k - k + r. Let u(c) = -c**2 - 4*c + 12. Let w be u(k). Which is smaller: -3/2 or w?
-3/2
Let g = -593 - -625. Is 92/3 smaller than g?
True
Let n(c) = 27 - 3*c + c + c**2 - 4*c + 16*c. Let q be n(-4). Is q smaller than 40/13?
True
Let x = -21 + -33. Let w = x + 84. Which is smaller: 29 or w?
29
Let j be (4 - (-44)/(-12))*-102 + 0. Which is bigger: j or -36?
j
Let u = 0.2006 - -22.7994. Is u smaller than -28/5?
False
Let a be ((-30)/(-24))/(1/24). Let l = a + -23. Let d = 13 + -6. Is d >= l?
True
Suppose 4*v + v = 15. Suppose 4 + 2 = v*y. Let p = 6 - 6. Is y greater than p?
True
Let o = 35 - 27. Suppose -4*c + 28 = o. Is 6 bigger than c?
True
Let w = 18972/24805 + -6/4961. Is w < 1?
True
Let m(f) be the third derivative of 0*f - 1/60*f**5 - 1/6*f**3 + 3/8*f**4 + 0 + 5*f**2. Let t be m(8). Which is bigger: t or 6?
t
Let s = 35 + -35.1. Let h = 9 + -25. Is s at most as big as h?
False
Let b be 1*(-2)/(-6)*(-5 + 8). Is 7/23 less than or equal to b?
True
Let g be -58*2/1106 - 1/(-7). Do g and -1 have the same value?
False
Let t = -35.9 - -33. Let z = 3.1 + -0.1. Let s = z + t. Which is smaller: 0 or s?
0
Let k = 145/3 - 1586/33. Let w = -25 - -34. Suppose -14 + w = 5*b. Is k smaller than b?
False
Let g = -173 - -173.1. Which is smaller: g or -91?
-91
Let w = -3 - -4. Which is bigger: -17 or w?
w
Suppose 3*b - 47 - 184 = 0. Let c = -159/2 + b. Which is smaller: -7 or c?
-7
Suppose 5*x + 18 = 98. Suppose -18 = -q + 3*h + h, 2*q + 5*h = -x. Suppose 3*j + k = -2*j + 43, -q*j - 5*k = -31. Is j smaller than 1?
False
Suppose -7*j + 4*j = 9. Let i = j - 1. Let a be 196/(-132) + i/22. Is a at most -3?
False
Let a = -832.6 - -833. Is 5 less than or equal to a?
False
Suppose b - 2*d = -4, -15 = -2*d - 3*d. Suppose -b*f = 31 - 63. Is f at most 16?
True
Let y(c) = c**3 - 7*c**2 + 6*c + 1. Let r be y(6). Let v = 808 - 12122/15. Which is smaller: v or r?
v
Suppose -40*y + 64 = -36*y. Suppose -d = -4*q - y, 2*q - 2*d + 3*d + 8 = 0. Is q greater than -13/3?
True
Let t = 38 - 37.7. Which is smaller: t or 128?
t
Let y = 392 + -414. Which is smaller: -24 or y?
-24
Let t = 4/7 - 50/63. Let a = 0.4 - 0.5. Let c = a + 0.2. Which is smaller: t or c?
t
Suppose 12 = -4*o, -3*i - o + 4*o + 15 = 0. Suppose s = i + 4. Let j be s/27 + (-1)/45. Which is greater: -1 or j?
j
Suppose a + 3 = -0. Let u be (a/12)/((-11)/38). Let y = u + -4/11. Is -10 >= y?
False
Let q be 9/(-12) + (-133)/4. Suppose 4*l + 95 = -45. Is q >= l?
True
Let o = 11480 - 22957/2. Let r = -123/2 - -63. Is r greater than o?
False
Let p = -26.29 - -2.29. Let g be ((-1)/(-5))/(4/5). Is p at least g?
False
Suppose -c = -4*s - 1, 4*s + c + 4 = 13. Let u be s/2*352/16. Suppose -4*q - u = 25. Is q smaller than -9?
False
Let g be 24/9*2/(-8). Let x = -86.8 + 79. Let t = 2.2 - x. Is g less than or equal to t?
True
Suppose x - 375 = 2*k, -k - 2*x - 189 = -x. Let n be (-2 + 1)/(-2 + (-372)/k). Is n at least as big as 48?
False
Let s = -778 - -777.936. Is s equal to 0.5?
False
Let m(a) = -2*a - 9. Let s be m(-6). Suppose -3*g = 3*r - 0*r + 3, -2*r - 3*g - 4 = 0. Let u be 8 + -2 + -4 + r. Is u less than s?
False
Let g(r) = r**3 + 15*r**2 - 14*r + 32. Suppose -3*c - 248 + 200 = 0. Let u be g(c). Which is smaller: u or 28?
u
Let v(m) = -3*m**2 + 14*m - 5. Let d be v(4). Let t be -3 - (-76)/12*d/7. Which is smaller: t or 0?
t
Let r = 31 + -35. Let b be -2 + 6 + r/4. Suppose -4*j = b*h - 38, 4*j = h + h + 28. Which is smaller: j or 6?
6
Let q be 60/294*98/21. Which is greater: 2 or q?
2
Let p = 997/1340 - -2/335. Let x(o) = -o**2 - 7*o + 9. Let u be x(-8). Let w = -1 + u. Are p and w unequal?
True
Let o(d) = d**2 + 6*d - 1. Let p be o(-6). Let r = -1 + p. Let j be (-3 - r)*(0 - 1). Is j greater than or equal to -1/9?
True
Let d = -64 + 64.2. Are d and -57 equal?
False
Let l be ((-21)/(-14))/((-3)/8). Let o be l/(-5)*110/(-4). Is -23 less than or equal to o?
True
Let i = -1474 + 1470. Suppose 0*d + 4*d = -36. Which is smaller: i or d?
d
Let u be (1 + 0)*-3 - -1. Let i(a) = -2*a**3 - 3*a**2 + a - 2. Let x be i(u). Do x and 0 have different values?
False
Let b = 49172/21 - 2342. Are 1 and b equal?
False
Suppose -15 = -2*r + 9. Which is bigger: -4 or r?
r
Let s be (16/30)/(1280/(-210) - -6). Which is greater: -6 or s?
s
Let w = 0.161 - -0.839. Let y = -11 + 8. Let c(m) = m**2 + 2*m - 3. Let i be c(y). Is w greater than or equal to i?
True
Let o = 1/15 - -13/30. Let c = o + -1/18. Let g = 0 - -1. Is c bigger than g?
False
Let s = 288 + -285. Is s at least 23?
False
Let f(y) = -5*y**2 + 2*y - 1. Let p(i) = -i**2 + 5*i - 2. Let d be p(4). Suppose -5*l + 4*o - o + 11 = 0, 0 = -4*l - d*o. Let a be f(l). Are -3 and a nonequal?
True
Let b(c) = -c - 7. Let v be b(-8). Suppose -5*u + 7 = -4*w - v, -w = -4*u + 13. Suppose -4 = w*n - 7. Is -1.2 less than n?
True
Let b = 129520061/483045 + 27/32203. Suppose -582 + 46 = -2*c. Let j = c - b. Is j not equal to 0?
True
Let h = 465/7 + -8856/133. Which is smaller: -1 or h?
-1
Suppose -11*q + 5*q = 0. Suppose -4*u + q*u = -2*w - 670, -w - 167 = -u. Suppose -2*v = 5*v - u. Is v at most as big as 23?
False
Let k be ((-2)/(-15))/((-175)/(-21))*-115. Is -3 less than k?
True
Let g(v) = -v**3 - v - 1. Let l(m) = 26*m**3 - 3*m**2 - 2*m - 6. Let t(b) = 5*g(b) - l(b). Let r be t(1). Let u be (-32)/r + 2/(-3). Is 1 >= u?
True
Suppose 88*x = 71*x - 17. Which is smaller: x or 1/45?
x
Let b = -0.83 + 0.752. Let z = -0.968 - b. Let f = 0.11 - z. Which is greater: 8 or f?
8
Let k = 3.1296 - 3.4896. Let a = 0.2 + -0.3. Is k bigger than a?
False
Let a = 17 - 12. Suppose -n + 3*n + g - 7 = 0, a*g = 2*n - 25. Which is bigger: 6 or n?
6
Let v = 0.316 - 0.35. Let d = v + 0.044. Is d less than -6?
False
Suppose -2*c = -18347 + 18417. Let j be (-21)/6*(11 - 1). Is c greater than or equal to j?
True
Let u be (-492)/(-570) - (-2)/5. Let q = 446/323 - u. Let h = q - 94/221. Which is bigger: h or 1?
1
Let c = 35.994 - -0.006. Let s = 36.12 - c. Which is smaller: 3 or s?
s
Let d = 9 - -27. Let o = d - 38. Which is greater: o or -0.7?
-0.7
Suppose -4*c + 812 = 3*c