(y) = -y**3 + y**2 + y + 6. Let n be s(0). Is x equal to n?
False
Let l(x) be the first derivative of -x**5/120 + x**4/24 - 2*x**3 - 1. Let v(j) be the third derivative of l(j). Let m be v(0). Which is greater: m or -1?
m
Let n = 5.59 - 92.59. Which is smaller: 0 or n?
n
Let v(z) = -z**2 + z - 1. Let s(y) = 2*y**2 - 7*y + 2. Let q(g) = -s(g) - v(g). Let m be q(6). Let k = 489/8 + -22999/376. Which is bigger: k or m?
k
Suppose 0 = 5*w + 3*y + 87, 21 = -4*w + 4*y - 23. Let j be (-12)/w*5/1. Let u be ((-2)/(-4))/((-1)/2). Which is smaller: u or j?
u
Let t = 55 + -117. Let c = t + 60. Is c >= -1.4?
False
Let s = -8 - -42. Let h = s - -9. Do 44 and h have the same value?
False
Let i = 313/21 - 67/7. Let a = 12 + -8. Is i < a?
False
Suppose -3*f - 2*a = 2*f - 2, 5*a = 5*f - 30. Suppose -30 = 5*h + 3*k - 4*k, f*h = -2*k - 12. Let w be 8/3*h/10. Which is smaller: w or -1?
w
Let s = 843 - 844.84. Which is smaller: s or 2?
s
Let a be (-219)/27 + (-19 - -22). Is a at most as big as 2/7?
True
Let f = 9 + -3. Let z(r) = r**2 - 3*r + 8. Let x be z(f). Let w = 2506 + -2480. Is x not equal to w?
False
Let q be ((-3)/(-27)*51)/((-28)/24). Which is greater: q or -6?
q
Let f be (-1 - -3) + 1 + -5. Let l be -28 + f + (2 - -2). Let i be l/(-195) + (-94)/30. Which is smaller: -2 or i?
i
Let q = 154 + -236. Let d be (-3 + q/(-30))*(-20)/184. Are d and -1 unequal?
True
Let d = -9/76 + 6961/380. Is 18 equal to d?
False
Let r = -97 + 195. Is r < 102?
True
Let d be 196/10 + (-1)/(-10)*4. Suppose 0 = -7*w + 3*w + d. Which is smaller: 6 or w?
w
Let a be -6 + 38/((-11)/((-11)/6)). Let d = -0.013 + -24.987. Is d less than or equal to a?
True
Let u = -1046 + 1045.69. Let c = -62 - -61.69. Let h = u - c. Is h equal to 2?
False
Let x be ((1 - 3) + -3)/(2/(-6)). Suppose 2*k - x = 7*k - 4*w, 3*w - 14 = k. Do k and 1/8 have different values?
True
Suppose k + 39 = -3*l, -2*k + 68*l = 72*l + 82. Is -44 bigger than k?
True
Suppose -4*r + 0*r + 5*l = 144, -128 = 4*r - l. Which is bigger: -28 or r?
-28
Let p be ((-2)/(-2))/(2 + -1). Let j be 7 + (-5 - -2) - 2. Is p less than or equal to j?
True
Let y(n) = 7*n**3 - 4*n + 3. Let m(z) = z**3 - z + 1. Let i(t) = -4*m(t) + y(t). Let a be i(-1). Let p be 24/(-54)*(-6)/a. Are -1/5 and p nonequal?
True
Let r be 6*((-100)/32)/5*-4. Let g be 18/r*(-5)/(-15). Which is smaller: 76 or g?
g
Let n be 2/8 + 3/(-12). Let h(u) be the third derivative of -u**4/24 - u**3/3 + 9*u**2. Let x be h(n). Which is greater: x or -8/3?
x
Let t = 0.049 - -6.031. Let v = 6 - t. Does 0.08 = v?
False
Let j = 113 + -113. Let t be (-1)/(5/(-5 + j)). Which is smaller: t or -1/6?
-1/6
Let y be (24/6 - 0) + (-85)/7. Is -8 less than y?
False
Let u be (-6)/51 - (-6080)/27404. Let k = u + -8/31. Is k equal to -2/5?
False
Let y be (13 - 11) + (-1 + -3 - -2). Do 1/21 and y have the same value?
False
Let d(w) = 32*w**3 - w**2 + 2*w + 7. Let v be d(-2). Is v <= -256?
True
Let g = -86 + 1031/12. Let t be (-5)/(40/12)*2. Let u be (t/(-6))/(1/2). Is u less than or equal to g?
False
Let d(i) = i**2 - 8*i - 11. Let u(r) = -r**3 + 3*r**2 + 3*r. Let j be u(3). Let c be d(j). Let v be -1 + 0 - (-18)/c. Is -10 at most v?
True
Let t be (6/3)/((-264)/1364). Let u = -13 + 4. Is t greater than u?
False
Let j(g) = 3*g - 57. Let w be j(17). Let k(c) = 2*c - 15. Let d be k(w). Which is greater: d or -28?
d
Let u(y) = 3*y**2 - 1. Let x be 56/40 + (-4)/10. Let g be u(x). Let h be ((-330)/(-72) + -5)/(1/(-4)). Is g greater than h?
True
Let h = 0.09 + 76.91. Let a = h + -77.2. Let p = 0.2 + -1.2. Which is smaller: p or a?
p
Let z = 0.46 - -13.54. Let k = 31 - 17. Let w = z - k. Which is bigger: w or -3?
w
Let t be ((-8)/(-10))/(1/(-5)). Suppose 2*l - 2*b = 5*l - 57, 3*l - 4*b - 75 = 0. Let u = -47/2 + l. Is u smaller than t?
False
Let t be (2 + -8)*(56/12 + -5). Let g be (t/(-15))/(200/24 - 8). Let p = -0.1 + -5.9. Which is smaller: g or p?
p
Let c = 32 + -14. Let g(l) = l**3 - 17*l**2 - 17*l + 2. Let b be g(c). Suppose 3*n + 3*j + 18 = 0, n = -n - 4*j - b. Is 0 at most as big as n?
False
Let m be (-1)/4 - 66/(-8). Suppose 2*q + 5*b = -m, -2*b = -6*b - 8. Suppose r - q - 8 = 0. Is 9 smaller than r?
False
Suppose v = j + 4, -2*v = v - 2*j - 12. Suppose -2*g + 2 = -v. Suppose -2*a - 3 - g = 0. Which is bigger: a or 2?
2
Suppose 4*i = 5*h - 237, 0 = 2*i - 3*h + 170 - 49. Let z be ((-6)/(288/628))/(6/(-24)). Let f = z + i. Which is bigger: f or 0?
0
Let n = -4.4 - -3.4. Which is greater: n or 127?
127
Suppose 0 = 14*p - 16*p - 2. Let y(m) = -14*m + 1. Let t be y(p). Let i(k) = -k**3 + 15*k**2 - k + 15. Let u be i(t). Is u smaller than -3/8?
False
Let m = 1.7 - 2.6. Let h = m + -2.1. Is 2 at least h?
True
Let r = 160.6 - 160.7. Which is greater: -0.727 or r?
r
Let c = 3489/664 - 3/664. Which is greater: c or 4?
c
Suppose 5*r + 3 = -2*k, -4*r - 35 = -2*k - 11. Let x(w) = -w**2 + 4*w + 11. Let q be x(k). Let u = 29 - 318/11. Which is smaller: u or q?
q
Let c = -57 + 28. Let n = c - -30. Which is smaller: n or 0.1?
0.1
Let o = -4 - -4.13. Let f = o + 0.07. Let c(u) = u**3 - 4*u**2 + 4*u. Let d be c(3). Which is smaller: f or d?
f
Let t = -188 + 470. Which is greater: 281 or t?
t
Let u = -2.945 + 1.343. Which is bigger: -1 or u?
-1
Let p(o) = o**2 + 18*o + 2. Suppose 0*g = -3*g - 54. Let j be p(g). Let a(y) = 3*y**3. Let i be a(1). Is i < j?
False
Let b = 1.36 + -1.76. Is b smaller than 18/5?
True
Let h be (0 - (-16)/12)/(10/(-45)). Is h not equal to -56/9?
True
Suppose 27*k = -2*k. Is -124 at most k?
True
Let y = -1 - -2. Let t = -31 - -25. Let v = -6 - t. Is y >= v?
True
Let w be ((12/20)/(5/(-25)))/1. Which is bigger: -33/13 or w?
-33/13
Suppose -1048 - 756 = 22*w. Is w < -409/5?
True
Let f(c) = -c + 18. Let w be f(-11). Which is smaller: w or 306/11?
306/11
Suppose w + 23 = -4*m - m, -5*m + 2*w - 29 = 0. Let x be 3/14 + m + (-185)/(-35). Is x > -20/11?
True
Suppose 3*q + 1 = 13. Suppose q = 2*v + y - 0*y, 0 = 5*v + y - 7. Let l be 258/(-32) - (10 - 18). Is v < l?
False
Let i(v) = -v**3 + 6*v**2 + 7*v + 7. Let q be i(7). Suppose q*r - 209 = -48. Which is greater: 19 or r?
r
Let t = -2.16 - -4.16. Are -55 and t unequal?
True
Suppose 2*m - 258 = -4*o, -3*m = -0*m - 4*o - 407. Is m < 133?
False
Let o = 0.043 - 0.583. Let f = 0.6 + o. Let a = -0.06 + f. Which is smaller: -2/5 or a?
-2/5
Let o = 796 + -793.3. Is o at least as big as -2/3?
True
Let v(i) = i**3 - 2*i**2 - 5*i - 5. Let h be v(3). Are h and 2 nonequal?
True
Suppose -s = -3*i, -4*i - 4*s + 2*s + 10 = 0. Let a(m) = 3 - 2*m + m + 1. Let z be a(3). Is z less than i?
False
Suppose 3*y = -3*u - 63, 132 = -5*y + 7*u - 3*u. Let d be (3/4)/((-3)/y*3). Suppose 2*b + b = 3. Are b and d unequal?
True
Let n = -98 - -97.93. Let f = n + 0.07. Which is smaller: 2/9 or f?
f
Suppose 15*i = -18*i + 2871. Are i and 257/3 equal?
False
Let w = -279.8 + 265.87. Let v = 13.9 + 0.1. Let h = w + v. Is -1 <= h?
True
Suppose 3*l = -l + 16. Suppose l*i = 2*i + y + 425, -5*i = -2*y - 1064. Let z = i + -1928/9. Is 0 at least z?
True
Let w(h) = -h**3 + 3*h**2 + 7*h - 9. Let n be w(4). Which is bigger: n or 0?
n
Let l(u) = -u**3 - 2*u**2 - u + 2. Let y be l(-2). Suppose z = 4*z - 3. Which is smaller: y or z?
z
Let g = 112 + -562/5. Let h = 21 - 29.5. Let l = -9 - h. Which is greater: l or g?
g
Let x(j) = -2*j**3 - 6*j**2 + 8*j - 10. Let i be x(2). Is i > -29?
False
Let i = -50 + 54. Let x be -5*(3 - i/20). Do x and -17 have different values?
True
Let c be (1 - 4)*(2 - 2060/135). Let n = c + -40. Is n at most as big as 1?
True
Let x = 10 + -44. Let z = x - -35. Which is greater: z or 3/8?
z
Let v = -104.9 - -87.9. Does v = 0.18?
False
Let j be (-87)/(-1)*57/51. Let t be (2 + 289)*(-4)/(-12). Let s = j - t. Is 0 <= s?
True
Let m = 330.1 - 330. Is m >= -14?
True
Let m(n) be the third derivative of 3*n**4/8 + 2*n**3/3 - 21*n**2. Let f be m(-9). Is f > -78?
True
Let s = -698/5 + 5076/35. Which is smaller: 5 or s?
5
Let l = 377 - 233. Let g be (2/12*2)/(64/l). Which is bigger: g or 3/7?
g
Let z be ((-8)/(-84))/(8/((-792)/275)). Which is bigger: z or -1?
z
Suppose j = -110 + 37. Let u = 73 + j. Let h = -0.3 - -1.1. Which is smaller: u or h?
u
Suppose -12 + 0 = 5*l + 3*k, k = 4*l + 13. Let b be (l/18)/(6/(-54)). Which is greater: b or 3?
3
Suppose 3*b - 42 = -5*t, 3*t + 4*b - 10 = 4