rivative of s**6/120 + s**5/12 + s**4/6 - 4*s**2. Let g be f(-4). Which is greater: 3 or g?
3
Let c(z) = z**3 + 5*z**2 - 2*z - 7. Let m be c(-5). Let b = 7 - m. Suppose 3*j - b*j = 2*n - 1, 3*j = -3. Is n less than or equal to 1?
True
Let m = -2 - -2.5. Let z = m + -0.54. Let f = 0.96 - z. Which is bigger: 4/9 or f?
f
Let u be (-3)/(-2)*18/117. Is 1 <= u?
False
Let w(n) = 3*n**3 + n**2 - 1. Suppose -2*f = -0 - 2. Let h be w(f). Suppose 4*k + 19 = -2*x + k, -h*x = -4*k + 3. Is x greater than -3?
False
Let t be 1 + -2 + (5 - 1). Suppose 0 = -t*w - w. Suppose -2*y + a + 7 = 0, y = 3*y - 4*a - 16. Which is bigger: y or w?
y
Let m(d) = d**2 + 4*d - 8. Let n be m(-6). Let s be n/(-2) + 27 + 0. Let q be s/(-260) - (-2)/8. Which is smaller: -1 or q?
-1
Let t = 0.048 - 3.048. Which is bigger: t or -2/7?
-2/7
Let m(h) = 4*h + 6. Let n be m(3). Let k(a) = a - 5. Let s be k(4). Let q be s/(-6) - (-15)/n. Which is bigger: q or 2/19?
q
Let f be 0 - (-4 + (-12)/(-3)). Is f > -3/5?
True
Let t = -9 + 12. Which is greater: t or -2/9?
t
Let w = -12 + 10. Let x be w/4*(-40)/(-15). Let y = -3/13 + 35/39. Is y <= x?
False
Suppose -155 = -5*p + 5*t, p + 3*p = -2*t + 130. Is p at least 31?
True
Let u(b) = b + 12. Let s be u(-7). Suppose -5*f - 30 = -s. Let g be ((-4)/(-20))/(2/f). Is g at most as big as -2?
False
Let j = 21 - 20. Let r be 0 + 2 + (-32)/10. Which is smaller: j or r?
r
Suppose -3*s - 105 = 4*s. Which is smaller: -14 or s?
s
Let t(o) = 3*o**3 - 2*o**2 + o. Let q be t(1). Let l be (q/(-1))/(-1) - -3. Suppose -8 = -l*c + 2. Which is greater: c or 3?
3
Let n be (-13369959)/(-1620) + 1/4. Let r = n - 8254. Let g = -5/9 - r. Which is smaller: g or -1?
-1
Suppose -32*n + 119 = -39*n. Is -16 >= n?
True
Let b(s) = 7*s. Let q be b(-1). Let k be (-3 + (-57)/(-21))*q. Is -3 not equal to k?
True
Let v be (-38)/10 + (-4)/20. Let x be (-11)/(-9) - v/(-18). Let z = -105 + 523/5. Is z at least as big as x?
False
Let h = 5 - 1. Suppose d + 8 = -h*d - p, 3*d - 3*p + 12 = 0. Is -2 > d?
False
Suppose 0 = -2*v - 5*r - 5, -2*r + 0 = 2. Let p be (-208)/(-36) + 2/9. Let z be (-6)/4*4/p. Is v > z?
True
Let z be (-16)/(-6)*9/(-20). Is -1 bigger than z?
True
Let c(z) be the first derivative of z**3/3 - 11*z**2/2 - 5*z - 1. Let i be c(10). Let s be -1 - 2/i*3. Which is greater: -1 or s?
s
Let c be 9/((30/4)/(-5)). Let r = c + 14. Which is greater: r or 7?
r
Let c = 3 - 3. Suppose 5*q + 2*y + 18 = c, 3*q - y = -0*y - 2. Are -2 and q equal?
True
Suppose -4*a = -3*r - 17, 2*r + 0*a = 2*a - 8. Let l(g) = -g - 2. Let v be l(-3). Let c be v*-1 - (-5 - -4). Is r bigger than c?
True
Let q(h) = h**2 + 2*h - 3. Let m be q(-4). Suppose m*b - 3*d + 0*d - 62 = 0, b - 26 = 4*d. Let u be (((-24)/b)/(-4))/1. Are u and 1 equal?
False
Suppose 3*y + 7 = 5*w - 13, -4*w = -4*y - 16. Suppose -c - c = y. Which is bigger: 3/4 or c?
3/4
Let o = -14 + 8. Let s be (-2)/5 + o/(-15). Suppose s = g + 2, 2 = -3*d - 5*g - 2. Are d and 0 nonequal?
True
Let x(k) = 4 - 3 + 3 - k - 3. Let t be x(3). Which is smaller: t or -1?
t
Let m be (18/15)/((-6)/40). Is -7 at least m?
True
Let n = 1 - -15. Suppose -n - 8 = -4*i. Which is bigger: -0.1 or i?
i
Let q = 25 + -26. Which is smaller: -1/46 or q?
q
Suppose 6 - 41 = 5*k. Let a(u) = u**3 + 6*u**2 - 8*u - 9. Let w be a(k). Suppose -2*z = -1 + 3. Which is smaller: w or z?
w
Let g be (4/(-3))/((-2)/(-3)). Let t be (6/4)/(12/g). Which is bigger: t or 1?
1
Let m = -2445/4402 - -36/71. Which is greater: m or 1?
1
Let s = -10 + 6. Let m = 3.9 + s. Is -5 greater than m?
False
Let n be (-2 - -4)*7/175. Which is smaller: n or -1?
-1
Let f = 10 + -6. Suppose f = -z - z. Let a(w) = -w**3 - 5*w**2 + 7*w + 5. Let l be a(-6). Is l less than z?
False
Suppose -z = -0*y + y, z = 2*y - 6. Let r(o) = o**3 + 3*o**2 + 3*o + 2. Suppose v = -3*v + 5*g - 28, 0 = -4*v + 3*g - 20. Let f be r(v). Is z not equal to f?
True
Let z = 104 + -103.4. Is 1/6 bigger than z?
False
Let t = -1/627 + -10655/2508. Which is smaller: t or -4?
t
Let f be ((-15)/(-6) + 0)*2. Suppose 3*a + 0 = 4*n - 5, -f*n = -a + 2. Let w be 17/(-136) + (-1)/24. Is w less than n?
False
Let v be 4/(-6) - 542/(-1092). Let l be 18/(-624)*(6 - 2). Let u = v + l. Is -3 at most u?
True
Suppose 4*h - m - 2*m + 19 = 0, -5*h + 4*m - 25 = 0. Which is smaller: h or -1/78?
h
Let l(g) = g**3 - 3*g**2 + 1. Let c be 1 + 0*(-3)/9. Let a = 4 - c. Let t be l(a). Are 2/5 and t unequal?
True
Suppose b = -3*y + 7, 4*b = y + 3*b - 5. Let v be ((-3)/9)/((-2)/3). Which is smaller: y or v?
v
Let v(f) = -f**3 - 5 - 6*f + 5*f**2 - 3 + 14*f. Let u be v(6). Suppose u*m = 3*m + 1. Which is smaller: m or 2?
m
Let u(p) = -p + 16. Let z be u(14). Suppose -2*j + z*x + 56 = 2, -4*j + 2*x = -112. Suppose -5*d - j + 9 = 0. Which is smaller: d or -1?
d
Let x = 1.2 - 2.2. Is 1/16 greater than x?
True
Let c be ((-28)/(-8)*2)/(-1). Let q be (-9)/(-7) + 2/c. Is 1 less than q?
False
Suppose -7 = 2*o - 7*o + 2*s, -4*s = 5*o - 1. Suppose -u - 3 = -o. Let l = -6 - u. Which is smaller: -3 or l?
l
Let o = 102 - 191/2. Is o less than 7?
True
Let w(r) = -2*r - 38. Let q be w(-22). Let z(l) = l + 2. Let f be z(5). Is q greater than f?
False
Let b = -0.31 + 0.3. Let z = -2.99 + b. Let u = -5.1 - -5. Is u >= z?
True
Let l = -16718/9 + 1860. Is l < 1?
False
Let i be (-9)/6*20/(-3). Suppose 2*j = -3*j - i. Which is bigger: j or -8/3?
j
Let q = 965/44 - 87/4. Let p = -0.05 + -1.95. Let c = p + 2. Which is smaller: q or c?
c
Suppose 5*a - 1 = 4*p, -3 = 5*a - 8. Let d = 424/3 - 140. Is d at least as big as p?
True
Let o be 3/(-18)*(-1)/1*1. Which is smaller: o or 1?
o
Let o(j) = j**3 - 2*j**2 + 3. Let q be o(2). Which is bigger: 4 or q?
4
Let n(j) = -j. Let t be n(-4). Let p(d) = d**3 - 3*d**2 - 3*d - 4. Let i be p(t). Suppose i = 5*b - 3*b + 4. Is b != -2/3?
True
Let z = -15.89 + 16. Which is smaller: 0.05 or z?
0.05
Let p be (-18)/124*4/(-3). Which is smaller: -1 or p?
-1
Suppose 0 = -n + 3*l + 7, 0 = -l + 2*l. Is n at most 8?
True
Let g = -0.2 + -17.8. Let p = g + 19. Let z = 13 - 19. Is z < p?
True
Let f be 0 - ((-138)/33 - -4)*-11. Let r(d) be the third derivative of d**5/60 - d**4/6 + d**3/6 - d**2. Let w be r(3). Is f at least w?
True
Let b(i) = i**3 - 2*i**2 - 2*i - 3. Let m be b(3). Let p = -152 + 139.2. Let y = p + 13. Which is smaller: m or y?
m
Let b be (-38)/7 + 0/(-1). Is b < -5?
True
Let s = -0.08 - -11.68. Let o = 11 - s. Which is smaller: o or 0?
o
Let x = 4 + 1. Suppose 0*a = -x*a + 10. Which is bigger: 3 or a?
3
Suppose 0 = -4*n - 18 + 10. Which is smaller: 0 or n?
n
Let s = 0.4 + -0.4. Let v = s + -2. Which is smaller: v or 0.2?
v
Let p be 86/(-52) + 12/78. Let a be 3/(-1 + -2 + 2). Which is smaller: p or a?
a
Suppose -3*c = 2*k + 3*k - 11, -5*k + 4*c - 3 = 0. Does k = 1/4?
False
Let j(a) be the first derivative of -a**2 - a - 1. Let u be j(-3). Suppose -u*w - 4 = -3*w. Is w at most as big as -2?
True
Suppose 2*q = 32 - 8. Suppose 3 = w - q. Is w less than or equal to 16?
True
Let o(u) be the second derivative of -u**5/20 + 5*u**4/12 + u**3/3 - u**2/2 + u. Let c be o(5). Let g = 9 - c. Do g and 1/10 have different values?
True
Let a(i) = i**3 + 13*i**2 - 31*i - 4. Let z be a(-15). Is 11 bigger than z?
False
Let m = -1/91 + -173/819. Which is smaller: m or 1?
m
Suppose 0 = 5*l - 6*l + 9. Let g = -12 + l. Let j = -8 + 6. Which is smaller: j or g?
g
Let p = -0.9 + 2.9. Let j = -0.01 - -0.41. Let c = j - 0.4. Which is smaller: c or p?
c
Let i = -2/3 + 0. Is -1 greater than or equal to i?
False
Suppose -4*j + 4 + 0 = 0. Let y be j/(4 - (-1 + 4)). Is y greater than 3?
False
Suppose 0 = 4*f - 8*f + 92. Is 23 <= f?
True
Let t be ((-12)/10)/(-5 - -3). Suppose 4*c = 2*w - 12, -3*c + 2 - 11 = 4*w. Are w and t nonequal?
True
Let m be 1*-4 - (-52)/16. Is -1 equal to m?
False
Let w = 11 - 9. Let g be w/7 + 40/(-42). Do -2 and g have the same value?
False
Let l(f) = -5*f**2 - 4*f - 1. Let p(c) = 14*c**2 + 11*c + 3. Let q(j) = 8*l(j) + 3*p(j). Let u be q(-1). Let i = u - 3. Is i at most as big as -1?
True
Suppose -11*q - 285 = 298. Which is smaller: -51 or q?
q
Let w = 0 - -0.04. Which is smaller: 1 or w?
w
Suppose -p = 14 + 4. Does -19 = p?
False
Let g = 1.09 - 0.09. Is g less than or equal to 1?
True
Let s be 41/4 + 3/(-12). Suppose 4*r + r - s = 0. Suppose -h - 3*p - r*p = 24, 