d derivative of s**4/24 - 3*s**3/2 - 2*s**2. Let y be p(11). Are k and y equal?
False
Let v = -6 + 5. Let k = -31 - -40. Is v bigger than k?
False
Let n(l) = l - 2. Let m be n(5). Suppose y = -m*y - 12. Are -1 and y unequal?
True
Let c = -8 - -4. Let q be (-72)/(-130) + 6/(-39). Does q = c?
False
Let z be (3*-5)/5 + 2. Which is greater: z or 0?
0
Let v be 3/(-9) - 2/(-6). Let b be 2 + 1 + 0/1. Let i be (0 - b - -2)*0. Is i greater than v?
False
Let i(d) = -d**2 - 15*d + 19. Let f be i(-16). Are 5 and f equal?
False
Suppose -2*l - 2*m + 0 = 2, -l - 5*m = 5. Let a be (-15)/(-24)*8/6. Is a greater than or equal to l?
True
Let c(l) be the third derivative of -l**7/2520 - l**6/120 + 7*l**5/120 - l**4/12 - l**2. Let h(a) be the second derivative of c(a). Let z be h(-7). Does -1 = z?
False
Let j be -2 + (-33)/(-15) + -1. Let h(c) = -c**3 + 3*c**2 - 2*c - 1. Let m be h(2). Which is bigger: m or j?
j
Suppose 8 = -t + 5*t. Let x be (t/6)/(287/(-42)). Which is smaller: x or 1?
x
Let y(x) = -22*x - 2. Let p be y(3). Let q be p/(-110) - (-2)/11. Suppose 3*f + 11 = 4*s - 3*s, 4*s - 4*f - 20 = 0. Which is greater: q or s?
s
Let w = -15 - -15. Let o = -3 - -3.2. Is o > w?
True
Let n = -47/30 + 7/6. Is -0.2 less than or equal to n?
False
Suppose 2*p - 3*u + 5*u - 6 = 0, 2*p + 5*u = 15. Which is smaller: 10/7 or p?
p
Suppose 4*l = -70 - 26. Which is smaller: -25 or l?
-25
Let h = -39 - -41. Let m = 5/13 + 27/65. Which is bigger: h or m?
h
Let t = -4 + 3. Is t != 1?
True
Suppose -61 = -5*d + 19. Let t be -2 + d*(-2)/(-14). Let v = -0.19 + 0.69. Which is smaller: v or t?
t
Let m be 6/(-4)*(-14)/(-35). Is m != -2/3?
True
Let n be (-4)/(-16) - (-253)/(-4). Let m = 336/5 + n. Which is smaller: 3 or m?
3
Let b = 171 + -163. Which is smaller: b or 12?
b
Suppose 5*f + 2*j + 2 = -2*j, -f + 4*j + 14 = 0. Which is bigger: f or -2?
f
Suppose 180 = 5*w + 55. Suppose 4*x - 66 = -3*o - w, 0 = o + 2*x - 17. Which is greater: o or 6?
o
Let n be (-2)/6 - 31/(-3). Suppose 3*l = 8*l - n. Let h be 0/(1/(-2)*l). Which is greater: h or 2?
2
Let l = -10 - -15. Suppose -l*d = -1 - 4. Is d <= 2?
True
Let d = -25 - -51/2. Suppose 0 = -5*k - m - 2*m - 12, -3*m - 12 = -k. Which is smaller: k or d?
k
Let y = -3 + 8. Let m = 0.03 - -0.37. Let h = -0.3 + m. Is h at most y?
True
Let r = 2.7 + -2. Let c = 1.3 + r. Let u = c + -4. Which is smaller: -1 or u?
u
Suppose 2*g - 1 = 1. Suppose 1 = m - g. Which is smaller: 5/2 or m?
m
Suppose -162 = -4*n - 2*i - 0*i, i = 3*n - 119. Is n bigger than 41?
False
Let j(f) = -f + 3*f + 0*f - 3 - 1. Let c be j(3). Which is smaller: 3/4 or c?
3/4
Let n(j) = -3*j + 4*j + 3*j + 0*j - 8. Let x be n(7). Suppose 2*r - x = -0*r. Are 9 and r nonequal?
True
Suppose 5*b - 6 = -p, -b = -2*b + 2*p + 10. Suppose -v + 6 = b*v. Let k be 3/(-1) - (-12)/3. Are k and v equal?
False
Let h = -19.964 + -0.036. Let p = -18 - h. Let k = 0 + 0. Is p at most k?
False
Let x(v) = v - 3. Let m be x(5). Suppose 4 = l + 4*c, -5*l = -c + m - 1. Is 3/10 at least l?
True
Suppose -30 = -2*w - 2*w - 2*u, 3*w - 42 = 5*u. Which is smaller: w or 8?
8
Let i = -13 - -13.2. Is i less than or equal to -2/5?
False
Suppose -27 = -5*j - 2. Suppose j*w - k = 9, -4*w = 2*k - k. Which is smaller: w or -1?
-1
Let f(q) = -2*q**2 + q + 1. Let m be f(-1). Let r be (-18)/(-4)*(-12)/9. Let t be 3*(10/r + 1). Is t at least m?
True
Let r(u) = -u**3 - 7*u**2 - 8*u - 6. Let h be r(-6). Suppose -f - 5*b = 6 - 0, -36 = -5*f - 3*b. Let c = -4 + f. Which is smaller: c or h?
c
Let u(l) = -l**3 + 5*l**2 + 3. Let q be u(5). Which is greater: 0 or q?
q
Let f(q) = -4*q + 5. Let j be f(-5). Let y = j - 39. Is y less than or equal to -13?
True
Let s = -1 - -4. Suppose 5*i - s*i = -2*j + 592, -4*j + 1160 = -2*i. Let f = 3210/11 - j. Which is greater: 0 or f?
0
Let n be (-11)/2 + 9/(-18). Are -6 and n non-equal?
False
Let m = 655/44 - 150/11. Is 2 greater than m?
True
Let t(l) = l**3 - 4*l**2 + 2*l. Let m be t(4). Suppose -2*y - 2*y = -28. Is y bigger than m?
False
Suppose -7 = -2*x + 5*i, 0*x - 4*i = 4*x. Is x at least as big as 1/185?
True
Let q be -3*((-3)/(-9) + -2). Suppose 0 = -n + 2*f + 5, 4*n - 4*f = q*n + 7. Which is smaller: -1/3 or n?
-1/3
Let l(r) = -7*r**2 - 17*r + 15. Let g(f) = 10*f**2 + 25*f - 22. Let k(h) = 5*g(h) + 7*l(h). Let x be k(-7). Let i = 51/2 + -25. Are i and x equal?
False
Let f be 0 - -4 - 3 - 1. Is f greater than -1/3?
True
Let x = 98 - 687/7. Which is greater: -8 or x?
x
Suppose 0 = 2*z + 3*u + 11, -5*z - 2*u = -5*u - 4. Let f be (-2)/(-8) + 929/(-20). Let r = 46 + f. Which is smaller: z or r?
z
Let k = -648853/893676 + -3/21278. Let b be (-4)/(-10) + (-24)/(-315). Let f = k + b. Is f at most as big as -1?
False
Let z(h) = -h**2 + 2*h + 2. Suppose -5*t + 8 = -2. Let j be z(t). Suppose j*l - 2 = -6. Is -1 not equal to l?
True
Let x be 20/(-700) - (-8)/(-14). Which is bigger: x or -3?
x
Suppose 5 = 5*d, 0 = -q - 4*d + 10 - 4. Suppose -q = -3*x + x. Which is bigger: 0 or x?
x
Let t = 41 - 77. Let d be (-8)/t - (-7)/9. Let r = -1.3 - -0.3. Which is greater: d or r?
d
Let m(u) = -u - 2*u + u**2 - 3 - 4*u. Let p be m(7). Which is bigger: -0.1 or p?
-0.1
Let t(z) = z - 6. Let d be t(12). Let w be (36/120)/(d/5). Which is smaller: w or -1?
-1
Let t = -15 - -12. Let c be 3 + 3 + t/1. Which is smaller: c or 7/4?
7/4
Let x = -4 - -9. Let q(w) = -w**3 + 6*w**2 - 5*w + 4. Let p be q(x). Let s be (0/(p/2))/2. Is -2/3 < s?
True
Let d = 13 + -12. Let r = 0.3 - 0.2. Which is bigger: d or r?
d
Let r(w) = -w - 16. Let m be r(-16). Let g be (1 - 1) + (-1 - -3). Do m and g have the same value?
False
Let z(i) = -i**3 + 3*i**2 + 2. Suppose 0 = 2*c - c - 4*y + 9, 3*c + 4*y = 21. Let r be z(c). Is 2 bigger than r?
False
Let d = 35 + -524/15. Which is greater: d or 0?
d
Suppose -5*u - 5 = -5*t, -t = -3*u - 0*t + 7. Which is smaller: 3 or u?
3
Let v = 0.06 - -0.24. Let d = -41/3 + 14. Which is smaller: v or d?
v
Let n be (4 + -3)*(1 + -2). Which is smaller: -4/13 or n?
n
Let b be 6/(-5)*(-45)/9. Is 5 greater than b?
False
Suppose -2*w + 2*z = -14 - 0, 2*w - 15 = 3*z. Let g be (-3 - (-3 + -2)) + 5. Is g bigger than w?
True
Let t(h) = h**3 + 5*h**2 + 2. Suppose -3*m + u = 13, 2*m + 2 = 2*u + 2*u. Let z be t(m). Suppose z = -f - f. Which is greater: 1/7 or f?
1/7
Let c be ((-150)/9)/5 - -2. Which is smaller: c or -0.1?
c
Let d be ((-2)/(-12))/(4 + (-102)/27). Is d < 1?
True
Let w(f) = -2*f - 5. Let p be w(-5). Let k = -3.1 - -3. Which is bigger: p or k?
p
Let u = 0.6 + 0. Let n = u + -0.9. Which is bigger: n or 3/7?
3/7
Let q be (6/(-4))/((-15)/(-40)). Let r be 4/(-2) - (-6 + q). Let a be (r/3)/(4/6). Which is smaller: a or 3?
3
Suppose 4*x = -x. Let b = 6 - x. Let j be 9/(-3)*2/b. Are 2/9 and j unequal?
True
Let j = 0 - -1. Let s be (-12)/20 - 91/(-110). Let w = 2/33 - s. Which is greater: j or w?
j
Let b be -2*2/24 + (-490)/12. Do -41 and b have different values?
False
Let p(j) be the second derivative of j**4/6 + j**3/3 - j**2/2 - j. Let u be p(-2). Let i = u + -2. Is i less than or equal to 1/3?
False
Let n(k) = k**3 + 8*k**2. Let q be n(-8). Suppose -r - 3*w - 17 = q, 2*r + 5*w = r - 25. Let o(c) = -c - 6. Let z be o(r). Is z bigger than 0?
False
Let p be ((-1)/2)/((-2)/4). Is p less than 3/8?
False
Let q = -11.5 - -5.5. Is q at least as big as 0.3?
False
Let v = 3 - 2. Suppose r + 146 + 10 = 0. Let l = -1094/7 - r. Is v bigger than l?
True
Let i be (-27)/15 + 1/(-5). Let z = 2 + i. Suppose 4*f - n = 5, 0*n + 5 = -5*n. Which is smaller: z or f?
z
Let b be ((-12)/8)/(1/(-2)). Let t(i) = 6*i - 3*i**3 + 1 + 3*i**3 + 7*i**2 + i**b. Let w be t(-6). Is 2 equal to w?
False
Suppose -v = -0*v - 2. Let g be 4/3*(v + -5). Which is greater: -3 or g?
-3
Let c = -15 - -16. Let x be 16/3 - (-4)/6. Suppose 4*q + 5*z = 0, -c - x = -q - 3*z. Which is bigger: q or -3?
-3
Let z be (-7)/9 - 8/36. Suppose 3*g = -g + 20. Let v = g + -4. Is v greater than z?
True
Let g = 0.05 + 2.95. Let h = -0.4 + 0.4. Let d = 1 + h. Which is bigger: d or g?
g
Suppose -4*n - 4 - 4 = -4*j, -2*j + 4*n = 0. Let w(b) = -b**3 + 3*b**2 + 4*b - 2. Let t be w(j). Let l(o) = o + 1. Let r be l(t). Which is smaller: -2 or r?
-2
Let v(m) = -m**3 + 7*m**2 - m + 9. Let p be v(7). Suppose 0*i + 4 = 4*i, -i + 1 = p*q. Suppose 3*f - 12 = -q*f. Is 3 at least f?
False
Let g =