 be the third derivative of -s**4/12 - s**3/6 + 2*s**2. Let b be v(-2). Let t = -4 + b. Which is bigger: 1 or t?
1
Let m(z) = -11*z + 1. Let f be m(1). Let r = -17 - f. Let y be 3 + r/((-42)/(-20)). Which is smaller: -1 or y?
-1
Let x be (2/(56/68))/((-3)/6). Which is greater: -6 or x?
x
Let a(d) = -d + 35. Let l = 28 - 10. Let w be a(l). Is 17 greater than or equal to w?
True
Let m be (-2)/9 - (-235)/45. Suppose -q + 136 = -m*q. Let b = q + 101/3. Is -2/7 smaller than b?
False
Suppose 4*x + 24 = x. Which is bigger: x or -9?
x
Let t = -0.3 + -2.7. Let n = -3 - -6. Let m = n + -4. Is t <= m?
True
Let l(d) = -d**2 - 6*d + 6. Let m be l(-6). Let c be (-8)/m*(-3)/(-10). Which is greater: 1 or c?
1
Let n be (-631)/10*(-20)/(-8). Let f = n + 157. Which is bigger: f or -1?
f
Let j = 51/65 - 5/13. Is j greater than -1?
True
Suppose 4*i + 11 - 19 = -b, 5*b - 22 = -2*i. Let n(t) = 2*t**2 - 3*t. Let q be n(2). Which is greater: b or q?
b
Let g = -7 - -4. Let y be (-112)/(-10) - g/(-15). Which is smaller: 10 or y?
10
Let r = -1 - -4. Suppose a - 1 + r = 0. Let h be (-22)/24 + (-2 - -5)/(-9). Is h smaller than a?
False
Let d be (-32)/(-6) - (-1)/(-3). Suppose -5*q - 6 = -3*u, -d = 2*u + 5*q + 16. Is u at most as big as -4?
False
Let c = 60 - 58. Suppose -m + 1 = -0. Which is bigger: c or m?
c
Let i = -10 + 10. Let x = -0.1 - i. Which is smaller: 0.5 or x?
x
Let d = 6.1 + -6. Let w(s) be the first derivative of s**3/3 + 3*s**2/2 - s - 1. Let t be w(-4). Which is smaller: t or d?
d
Suppose -2*k - 4 = -5*s + 16, k - 16 = -4*s. Suppose -4*o - o = -m, 3*o - 2*m = k. Let i be -1 + 2 - (-6)/(-5). Is i bigger than o?
False
Let u(v) = -v**3 + 5*v**2 + 9*v - 4. Let o be u(6). Is o < 1/5?
False
Let g = 38 + -37. Which is smaller: g or 2?
g
Let a = -0.4 - -0.2. Let d = -0.1 - a. Let b = 0.2 - d. Which is greater: 0.2 or b?
0.2
Let s = -43 - -29. Let t = 23 + s. Which is greater: t or 11?
11
Let l(s) = -s - 6. Let b be l(-3). Let d(r) = r**2 + 4*r + 1. Let v be d(b). Let g = 4 + v. Is g greater than 2?
False
Let p(c) = -c + 8. Let t(f) = -f + 8. Let m be t(0). Let b be p(m). Suppose b = 2*o + 2*o. Is -1 equal to o?
False
Let q be (-3)/3 + 8/10. Is 2 at most q?
False
Suppose 5*a = -1 - 9. Let i be (1/a*10)/(-1). Suppose 8 = -2*z, 8 = q - 3*z - i. Is q at most as big as -2?
False
Let k = 115044060973/19640 - 29288201/5. Let w = k + -2/491. Which is smaller: w or 1?
w
Let a = -26.8 + 59. Let y = a - 25. Let b = y + -7. Is b at most 0.1?
False
Suppose 0 = 33*i - 37*i. Do i and -5/13 have the same value?
False
Let h(o) = o**3 - 9*o**2 + 8*o - 3. Let t be (3/2)/((-1)/124). Let v be 1/4 + t/(-24). Let z be h(v). Which is bigger: 1 or z?
1
Suppose 6*t - t - 15 = 0. Suppose 4*g = -p - 19, -t*g - g - 7 = -3*p. Let c be p/3 - (-2)/4. Which is greater: c or -1?
c
Let y = 8.7 - -1.6. Let s = y - 6.4. Let f = s + -4. Are f and 1/3 equal?
False
Let t(h) = -h**2 - 5*h - 6. Let a be t(-5). Which is bigger: -7 or a?
a
Let l = 35 - 58. Let u = -21 - l. Is u at most -1?
False
Let o = -0.1 - -5.1. Let r = 3 - o. Let h = -4 + 4.1. Is r > h?
False
Let v(j) be the third derivative of -j**6/120 + 2*j**5/15 + j**3/6 + 11*j**2. Let l be v(8). Which is smaller: l or 3/5?
3/5
Let c = -22.5 - -0.5. Which is smaller: -3 or c?
c
Let z = 0.185 + -2.155. Let p = z + -0.03. Which is smaller: -0.1 or p?
p
Let w = -0.15 - -0.25. Is 5 at most w?
False
Let f = -10.1 - -8. Let j = f - -0.1. Are -2/5 and j equal?
False
Let w(q) = 625*q**2 - 2*q + 1. Let m be w(1). Let s be (-6)/(-8) - 324/m. Which is smaller: s or 0?
0
Let y be 3/(-7) + (-119)/(-49). Let v be 6/(-4) - (y - 4). Which is smaller: 2 or v?
v
Suppose 2*q - 2 = 2. Let t = 6 - 10. Let w be t - (4 - 8) - 2. Which is greater: q or w?
q
Let g be (2/4)/(2/(-20)). Is -4 > g?
True
Let u = -17 + 32. Let h = u - 7. Let k = h - 9. Do -0.1 and k have different values?
True
Let c(v) = v**2 + v + 1. Let t be c(-3). Let k(q) = t - 3*q**2 + 3*q**2 + 6*q - q**2. Let o be k(7). Is -2 < o?
True
Suppose -o + 2*o = 2. Suppose j = -0 + o. Which is greater: j or 3?
3
Let a be ((-2)/(-6))/((-2)/18). Let u be ((-25)/(-4) - 3) + a. Which is greater: 0.4 or u?
0.4
Let a = 46 - 60. Which is bigger: a or -12?
-12
Let v = -70.1 + 70. Which is smaller: -70 or v?
-70
Let s = -14 - -14.1. Which is bigger: s or 5?
5
Let a(v) = v**2 - 3*v - 1. Let r be a(4). Suppose -1 + 13 = r*p. Suppose p*c - w + 8 = 0, -2 = -c + 2*c + 3*w. Is -1 greater than c?
True
Let c = -0.8 - -1.8. Is c at most 4?
True
Let v(t) = -1. Let g(o) = o - 5. Let l(c) = -g(c) - 2*v(c). Let y be l(7). Which is smaller: y or -2/5?
-2/5
Suppose 95*y = 91*y + 4. Which is bigger: y or -3/50?
y
Let o = -10 + 4. Let i be 8/o + (-2)/3. Is i < -1?
True
Let h = -31 - -30. Are 3/2 and h nonequal?
True
Let w = 5.075 - 0.175. Are w and -1/2 non-equal?
True
Let k be ((-3)/18)/((-3)/18). Let z be (-1 - -1) + (k - 1). Is -2/9 greater than z?
False
Let p = 0.031 + -12.031. Are p and -0.5 unequal?
True
Suppose 1 = -5*m + 4*a + 27, -4*a = 2*m + 12. Does m = 4?
False
Let q(i) = -i**2 - 7*i + 1. Let l be q(-7). Suppose 3 = z + l. Is 3 equal to z?
False
Let s be ((-2)/18)/((-14)/392). Which is bigger: 2 or s?
s
Let k(f) = f**3 - 6*f**2 + 3*f. Let b be k(5). Let j(h) = 4*h**2 - 6*h + 5. Let d be j(4). Suppose 6*o = o - d. Which is greater: o or b?
o
Let h be (-2 - -2) + (-982)/7. Let q = 140 + h. Is q < 0?
True
Let y = -0.04 - 4.96. Let k = -4.6 - y. Which is bigger: -2 or k?
k
Let p be 14/4*(-8)/(-14). Suppose -2*i + p*j + 6 = 0, -3*i - 4*j = -5*i + 16. Which is smaller: -6/5 or i?
i
Suppose 2*o + 11 - 3 = 0. Let d be ((-10)/240)/(6/o). Is d <= -1?
False
Let c(h) = 4*h. Let d be c(1). Let o = d - 4. Let k be 1/(-3 - -2 - o). Which is greater: 2/7 or k?
2/7
Suppose 0 = g + 5*c + 19, 2*c - 4*c = 2*g + 6. Let f(r) = -r**3 - 4*r**2 - r - 2. Let s be f(-4). Let d be s/(-6) - (-38)/78. Which is bigger: g or d?
g
Suppose -2*n + 9 = -1. Suppose n*m + 0*m = 0. Is m greater than or equal to -3?
True
Let k be (-2)/(-5) + 224/(-35). Let a be 2/k + 2/6. Which is smaller: 2/15 or a?
a
Suppose -7*b - 435 = -106. Which is smaller: -46 or b?
b
Suppose -10*q = 777 - 237. Are q and -54 nonequal?
False
Suppose -50*r - 6 = -53*r. Which is greater: 7 or r?
7
Let h = 20 + -25. Suppose -2*u - 1 = 9. Is u equal to h?
True
Let p = 111/8 + -14. Let m(b) = b**2 + 3*b - 2. Let q be m(-4). Let c be 1/((-1 + q)/(-1)). Which is smaller: p or c?
c
Suppose c = -0*c. Let w be c + ((-4)/(-6))/2. Which is smaller: w or -1?
-1
Suppose 0 = -x + 4 - 37. Let s be 2*1 + 60/x. Which is smaller: s or 0?
0
Let c(k) = 2*k**2 + 4*k - 3. Let y be c(-4). Let b = -11 + y. Is 1 equal to b?
False
Let z = -3.5 - -2.8. Is z at least 0?
False
Let i(b) = -b**3 - 4*b**2 + 6*b - 3. Let x be i(-5). Let h be (-2)/2*(0 - -7). Is h <= x?
False
Suppose 0*d - 6*d + 90 = 0. Which is bigger: 13 or d?
d
Let g be (-32)/6*(-45)/10. Which is greater: 23 or g?
g
Let m = 13.8 + -14. Which is bigger: 0.8 or m?
0.8
Let y(m) = 2*m - 6. Let i = -11 - -15. Let r be y(i). Suppose 1 = -b + r. Which is bigger: 2/13 or b?
b
Let p be (24/(-28))/(27/(-42)). Which is greater: p or 2?
2
Let p = 10 - 14. Let d = 0.04 + -0.04. Is p at most d?
True
Let d(c) be the second derivative of c**4/12 + 4*c**3/3 + c**2/2 - c. Suppose 9 = -2*p - 7. Let v be d(p). Which is smaller: v or 0?
0
Let h(y) be the first derivative of y**4/4 + 4*y**3/3 - 3*y**2 - 6*y - 3. Let v = -15 + 10. Let c be h(v). Is 1/8 at least as big as c?
True
Let i = -138 + 138. Which is greater: 4.8 or i?
4.8
Let t = 0 - 3. Let h be (1/t)/(2/(-6)). Let q = h + 2. Which is smaller: 2 or q?
2
Let k = -1.3 - -9.3. Let g = -7.8 + k. Let z be 0/3*(-2)/(-4). Which is smaller: z or g?
z
Let m be (-1)/3 - 40/15. Let o be ((-6)/(-4))/(1/4). Let h(d) = d - 8. Let y be h(o). Which is greater: y or m?
y
Suppose -197 = -4*l + 2*y - 3*y, 3*y = 15. Let a be -2 - l/(-10) - 2. Is -0.2 equal to a?
False
Let o = -12 - -12. Suppose o = 5*x + 15, x - 3 = -c + 3. Which is smaller: 8 or c?
8
Let q = 7 - 4. Let b = -2.9 + q. Suppose 3*r + 6 = 5*r. Which is smaller: b or r?
b
Let l(p) = -p**2 + 4*p + 1. Let j be l(2). Suppose 8 = -4*c, z + j*c + 4 + 7 = 0. Let h = -23 + 21. Which is bigger: h or z?
z
Suppose -5*m = -2*q + 7, -5*q - m + 6*m = -25. Let h be (q/(-21))/((-4)/7). Does 1