s(p) be the second derivative of -p**5/20 + p**4/3 - p**3/3 - p**2/2 + 2*p. Let d be s(3). Which is greater: h or d?
d
Let k(p) = -2*p + 7. Let n be k(5). Let f be 4/3 - (-1)/(-3). Which is greater: n or f?
f
Let q = -7 - 1. Which is greater: q or -9?
q
Let o = 0.45 + -0.32. Let v = -8.13 + o. Let w = v + 8.2. Which is smaller: -2/15 or w?
-2/15
Let j = -0.39 - 3.37. Let f = -0.36 - j. Let i = f + -3. Is i at least as big as -2/5?
True
Let d = 34 + -15. Let x = -19 + d. Is 3/4 at most as big as x?
False
Suppose 3*c - 16 = -4*v, -4*v = -4*c - 50 + 6. Let b be (-69)/(-21) - 2/v. Suppose -b*q = -j - 6 - 5, 0 = 5*q - 20. Which is smaller: j or 2?
j
Let h = 6/2897 - -127414/26073. Is h >= 2/5?
True
Suppose -79 + 24 = 11*w. Suppose -6 = -2*q + 3*q. Do w and q have the same value?
False
Let j = -0.15 + 0.2. Let w = j + -13.05. Which is greater: 0 or w?
0
Let l be (-1)/4 - (-83)/(-4). Let r = 5 - l. Let t be r/44*-2 - -1. Is 1 bigger than t?
True
Let c(a) = 3*a**3 + 3*a**2 + 12*a + 7. Let l be c(-3). Are l and -82 non-equal?
True
Let v(r) = -r**3 - 6*r**2 + 8*r + 3. Let m be v(-7). Let w be 1/(-4) - m/(-112). Is 6 at least w?
True
Let k(h) = h + 12. Let n be k(-9). Suppose -c = 2*c - n*m - 3, m + 1 = -5*c. Which is smaller: -1 or c?
-1
Suppose 3*y = 10*y - 21. Let n be ((-6)/(-7))/(1/7). Is n < y?
False
Suppose z - 3 = -2, 2*z = 5*t - 8. Is 2 smaller than t?
False
Suppose -2*n + n = -7. Let c = 11 - n. Suppose -q - q = c. Is -2 at least q?
True
Let m = 58 - 404/7. Are 3 and m equal?
False
Suppose y + 2 = -q, 4*y - q = -3 - 0. Let n be 2*1*1/(-2). Is y at least n?
True
Let q be -13 - (-1 + (0 - 0)). Let g be (-28)/10 - q/15. Is -4/5 > g?
True
Let m be -49 - (0 + -2 + -1). Let t be 2/4 - m/(-44). Does t = -1?
False
Suppose -4*b - 3 = 37. Let j = b - -9. Is -2/11 at most j?
False
Let g = 0 - 2. Which is greater: g or -3?
g
Let p = -21 + 24. Let i be p*(-4 - 39/(-9)). Let t = -184 - -1290/7. Are i and t nonequal?
True
Suppose 0 = -3*a - 3 - 3. Let x(z) = -z + 15. Let d be x(11). Let f be a*(-1)/(d - -1). Is f less than 1?
True
Suppose -7*i + 3*i - 28 = 0. Let z = -9 - i. Which is smaller: z or -1?
z
Suppose 2*v + 8 - 8 = 0. Is v <= 0?
True
Let x = 7/135 + 4/27. Is x at most as big as 1?
True
Suppose -4*g - 5*o = 50, 5*g = 2*g + 2*o - 49. Let f be 0 + 5/(g/(-6)). Is f less than 4?
True
Suppose -s + 2*l = -5, -3*l + 0*l = 4*s - 20. Suppose 5*o + 15 = -4*b, -b + s*o = b - 15. Is 1 < b?
False
Suppose -3*a + 5*b = -37, 5*a - b = -10 + 35. Let u be a/(-8) - (-2)/(-4). Is 1/5 greater than or equal to u?
True
Let j = -0.3 - -0.3. Let r = 419 - 419.2. Are r and j non-equal?
True
Suppose -2*s - 5*o = s - 22, 0 = -2*o + 10. Let q = -267 + 8275/31. Which is bigger: s or q?
q
Suppose 5*m - 3*q + 123 = 0, 2*m + 51 = 3*q - 0. Is -0.1 < m?
False
Let h = -2.7 + 2.9. Which is bigger: 4/3 or h?
4/3
Suppose -4 = -2*k, 0*k = v + 2*k + 2. Let g be (-8)/(-12) + 46/v. Is -7 less than g?
False
Suppose 0 = -n - 4*i - 6, -18 = 3*n - 5*i - 0*i. Let u = -9 - n. Which is greater: -2 or u?
-2
Let a = -1.8 - -0.7. Which is smaller: a or 0?
a
Let m = -1717/13 - -132. Let l = m - -3/13. Is 0 smaller than l?
True
Suppose o - 3 = -7. Let d be (-2)/3*(1 + o). Let c = 8 + -5. Is c > d?
True
Let v(p) = 4*p + 13. Let g be v(-3). Are g and 2/117 non-equal?
True
Let j(y) = -y + 5. Let d be j(5). Suppose -3*t - 20 = -8*t. Suppose -3*o - t - 5 = d. Is o greater than or equal to -3?
True
Let w = -27.4 - -25. Let i = 3.4 + w. Are 4 and i nonequal?
True
Let l be 18/8 - (4 + 45/(-12)). Which is smaller: l or 3/4?
3/4
Let s = -11 - -5. Let u be s/(-52)*(-8)/6. Suppose -o - 2*o - 3*c = -18, 4*o + 5*c = 29. Is u < o?
True
Let g = 12 + -3. Let h = -9.2 + g. Which is smaller: h or -3?
-3
Suppose -4 = -2*j + 2*c, j - 10 = 2*c + c. Let u be (4 + -1 + -2)*j. Is -13/6 at least u?
False
Let j = -1.4 - -2.4. Do j and 3 have the same value?
False
Let j = 2.027 + -0.027. Which is smaller: 1.1 or j?
1.1
Suppose 3*g = -g - 5*q + 146, 3*q + 6 = 0. Which is greater: g or -1?
g
Let s = -0.36 + 0.18. Let g = -9.82 + s. Which is bigger: -1 or g?
-1
Suppose k + 5 = -0*s - s, -4*k + s = 20. Is 0 smaller than k?
False
Let x = 39 - 6. Is x at least as big as 34?
False
Let y = -4067/15 + 271. Suppose -o + 3*u = 2 - 7, -2*o + 9 = -5*u. Suppose 0*h = -h - 3*g + 14, -4*h + o*g = 14. Which is smaller: y or h?
h
Let l = 8 - 21. Let u = l - -13.5. Which is smaller: 2/5 or u?
2/5
Let d = 16 - 11. Suppose 0 = 6*y - d*y - 10. Which is greater: 11 or y?
11
Let f = 31 + -29. Let w be 2/6 - 20/6. Let b = f + w. Which is greater: b or 0?
0
Let i = -41 - -17. Let w be (2/3)/(40/i). Is 1 > w?
True
Let u(x) = -x**2 + 9*x - 14. Let i be u(8). Is -7 != i?
True
Suppose 2*d - o - 10 = 0, -4*o = 3*d - 6*o - 17. Suppose 8 = i - d*i + 5*t, 3 = -3*i + 3*t. Let n(s) = -3*s**3 - s. Let h be n(i). Which is greater: h or -5?
h
Let j be (-2 + 1)/(1/(-1)). Let o be (-21)/28*(26/12 - 2). Do j and o have the same value?
False
Suppose -2 - 7 = -2*w + 3*t, 6 = 3*w - 2*t. Is -3/31 > w?
False
Let m be -1*(-26)/(-42) + (-27)/(-81). Is -0.018 at most as big as m?
False
Suppose 0 = -b - 2, -6*b = 4*g - b - 2. Suppose p = -5*n - 4, -3*n = p - 2*n. Suppose 0 = -y + 3 - p. Is g >= y?
True
Let v = 9.9 - 10. Let p = 4 - 3.9. Let f = p + v. Which is smaller: 2/5 or f?
f
Suppose 8 = -7*a + 3*a. Let n = -273/4 + 68. Which is bigger: n or a?
n
Let d = -6 + 7. Suppose -j + d = -0*j. Do 6/11 and j have different values?
True
Let t be (-15)/(-12) + -1 - 0. Suppose 3*b - 2 = 4*w - 1, -3*b + 2*w = -5. Suppose x + x - 6 = -4*h, -x = -h - b. Which is smaller: t or h?
h
Let l be 4/(-6) + 40/15. Suppose -d = l*d. Is d less than or equal to -1?
False
Let v = 35.4 + -35. Which is bigger: v or -0.1?
v
Let k be 954203487926/(-21540) + 10/25. Let i = 44299141 + k. Let u = i - -2/359. Is 0 at most u?
True
Suppose 0 = a - 3*a + 140. Let n = 2 + 3. Let g be ((-4)/a)/((-1)/n). Which is greater: g or 1?
1
Suppose 2*k + 20 = -2*k. Let n = 16.2 + -16.2. Are k and n equal?
False
Let y(v) = -v**3 - v**2 - 1. Let t be y(0). Let p be 6/70 - ((-9)/(-63) + 0). Which is smaller: t or p?
t
Let t(c) = c**3 + 4*c**2 - 6*c - 3. Let d be t(-5). Suppose -2*q + 0*q + 6 = 5*m, 5*q - 15 = 2*m. Which is bigger: d or q?
q
Let i(t) = t**3 + 22*t**2 + 23*t + 41. Let y be i(-21). Which is bigger: 2.6 or y?
2.6
Let o(m) = m + 2. Let j be o(-2). Let q be (-2)/(-8)*(-12)/27. Let p = q + -2/63. Which is smaller: p or j?
p
Let f(n) = -n**3 + 4*n**2 - 3*n. Let s be f(2). Let c be -2*(s + (-24)/9). Which is smaller: c or 0?
0
Let z = 15 - 9. Let x = z - 4. Let p = -1 + 2. Which is smaller: x or p?
p
Let s = 118 - 136. Is s at most as big as 2?
True
Let g(h) = h + 3. Let r be g(2). Let u(f) = 2*f**2 - 1. Let m be u(2). Suppose -5*a - r*o = -a + m, -2*o = -2. Is a != -2?
True
Let u be (1/152)/((-2)/(-28)). Let q = u - 381/836. Which is bigger: q or 0?
0
Let q be (-64)/(-20) - (0 + 3). Which is smaller: q or 0?
0
Let q = -788 - -8660/11. Is 0 smaller than q?
False
Let a = -60 + 302/5. Is a bigger than -24?
True
Let l be 1/(-4)*(3 - 0). Which is smaller: 27 or l?
l
Suppose -4*j - 32 = -0*j. Let s = j - -6. Let l be -2 - (3/6)/(-1). Which is greater: s or l?
l
Let j = -6 + 0. Let t(g) = -5*g**2 - g + 7. Let x(z) = 2*z**2 + z - 4. Let d(n) = 3*t(n) + 5*x(n). Let k be d(-1). Is k > j?
False
Suppose u = 5*j - 3*u - 44, -28 = -3*j + 4*u. Which is greater: 26/3 or j?
26/3
Let n = -1 - 3. Is 0.4 != n?
True
Let w be (-9)/3*3/(-9). Is -1/45 equal to w?
False
Let l(t) = 15*t - 1. Let r be l(1). Let f be (r/4 - 3)*-4. Is -5/3 >= f?
True
Let q = 4 - 2. Suppose -4*u + q*h - h = 7, 4*u + 2*h = 2. Let s be u/((-1)/(8/2)). Are s and 3 equal?
False
Suppose -a + 5 = 3. Let r be a - ((-110)/(-9))/5. Do r and -1 have the same value?
False
Let b = -9 - -4. Let m = b + 6. Does m = 4?
False
Let v = -0.22 + -0.78. Which is smaller: -1/6 or v?
v
Let h be (1/((-4)/(-8) + -2))/(-2). Let v = 4 + -3. Which is bigger: v or h?
v
Let s be -4 + 6 + -4 - -1. Is s bigger than 0?
False
Let f be 2/(-4)*(3 - 3). Let c(r) = -r**3 + 8*r**2 + 9*r - 7. Let d be c(9). Is d smaller than f?
True
Let v = 0.08 + 0.72. Is v greater than -1/2?
True
Suppose v - 4*l - 1 = -17, 5*l - 20 = 3*v. Suppose 4*p - 3 = p. Is p equal to v?
False
Let l(u) = 13*u**3 + 1. Let d be l(