b(n) be the second derivative of 5*n**4/12 + n**3/3 - n**2/2 - 2*n. Let g be b(1). Is g less than or equal to 8?
True
Suppose 2*f + 10 = -0*f. Let n = 0 - f. Which is greater: 1 or n?
n
Let s(x) be the second derivative of x**3/6 - 4*x**2 - x. Let w be s(7). Suppose 4*g + 3 = g. Do w and g have the same value?
True
Let s be 1 - (4/(-2) - -2). Let b be (-3 - -1)*s/(-3). Let i = -2 - -2. Is b smaller than i?
False
Let m = -86 + 85. Is 0.4 at least as big as m?
True
Suppose -4*c - 28 = -20. Is -6 != c?
True
Let g be (-3)/(-5) + (-26)/(-65). Is g less than or equal to -1/30?
False
Let o be (-54)/(-15)*(-15)/(-6). Suppose -3*g + 0 + o = 0. Which is smaller: 5/3 or g?
5/3
Let t = 2 - 2. Let h = -1 + t. Let q = 1.1 + h. Is q at least as big as 3/2?
False
Suppose -5*l + 14 = 2*v - 6, -4*l - 2*v + 18 = 0. Which is bigger: l or 5?
5
Suppose -2*z - 3 = -3*z. Let m(h) = -h. Let o be m(z). Is o < -4?
False
Let r = -16 + 33/2. Let a = -0.09 + 0.01. Let b = a - -3.08. Is b <= r?
False
Let x = 55.003 - 0.003. Which is bigger: 1 or x?
x
Let o be (-32)/12*(-3)/2. Suppose 3*i = -4*j - 2*i - 10, 0 = -3*j + o*i + 8. Are -1 and j unequal?
True
Let v be (-7)/12 + (-4)/(-12). Suppose -25 = -5*f, 7 + 0 = u + f. Which is smaller: u or v?
v
Suppose 2*v - 4*i = -18, 2*v - 11 + 4 = -i. Let u = 0 - v. Let t = 3874/19 - 204. Is t at least as big as u?
True
Let j be (-2 - -4)*(-6)/(-12). Is j equal to 2?
False
Let m be -5*(-13)/(195/(-378)). Let w = m - -884/7. Suppose -3*q + q = -5*o, 0 = -q. Which is smaller: o or w?
o
Suppose w = -0*b - b + 2, 0 = -b + 5*w + 8. Suppose -b*q = -6*q. Which is smaller: q or 1/9?
q
Suppose -2*w = -4*w + 4*o - 54, 5*w + 145 = 5*o. Is w greater than -32?
True
Suppose 5*l + 2 = n - 5, 3*l - 5 = -4*n. Let x be ((-4)/(-12))/((-2)/(-30)). Let r = x - l. Is 6 not equal to r?
False
Let f be (-5)/((-60)/40*4/(-6)). Is 6 > f?
True
Let q(t) = 3*t - 9. Let a be q(13). Suppose -2*d - d + a = -4*u, 0 = 2*d + 4*u. Let b = 7 - d. Does b = 1/21?
False
Suppose 4*a = d + 26, -2*d - 29 - 59 = a. Let h be ((-39)/d - 1)*-4. Which is greater: -1 or h?
h
Let w(i) = i. Let k be w(-3). Let o = 1 + k. Let y be (5 - 0) + (o - 0). Is y != 3?
False
Let j(b) = -b**2 + 7*b - 7. Let g = 16 - 10. Let d be j(g). Which is bigger: -1/15 or d?
-1/15
Let h = 0.5 - 1. Is 0.2 less than h?
False
Let n = 4.239 - -0.061. Let f = n - 4. Suppose -3*v + z + 4 = 11, -2*v - 2 = 2*z. Which is bigger: v or f?
f
Let x(k) be the third derivative of -k**6/120 + k**5/30 - k**4/24 + k**3/6 + 3*k**2. Let l be x(1). Let z be -8*l*(-3)/(-6). Is -1 at least z?
True
Let r = -76 + 80. Which is greater: -0.03 or r?
r
Let u = 0 + 0. Let s = u - -0.1. Let j = -63 - -187/3. Which is smaller: j or s?
j
Let i(j) = -j - 5. Let m be i(-5). Which is smaller: m or -1/2?
-1/2
Suppose 0*x = -x + 2. Suppose f - 4*m + 6 = 21, -2*f - 3*m - 3 = 0. Suppose -k - 2*k + 13 = x*s, -f*k = s - 14. Is -1/4 less than or equal to s?
False
Let z be 6/((1 - 1) + -2). Let y = 4 + z. Let l = -27 - -109/4. Which is greater: l or y?
y
Let u(q) = -q**2 - 7*q - 6. Let z be u(-6). Let d = 384/5 + -76. Which is smaller: z or d?
z
Let z be -3 - ((-20)/6)/((-8)/(-24)). Which is bigger: z or 25/4?
z
Let d be -3 + (-2 - (-94)/18). Let s = 9 - 8. Which is bigger: s or d?
s
Let q be (-2 - -5) + 40/(-12). Let h = -6 + 7. Which is smaller: q or h?
q
Let c be (6/(-75))/(1/(-5)). Let n = c + -1/15. Which is smaller: -0.1 or n?
-0.1
Let h be 5 + 0 + 0/(-1). Let y be 10/14*2/h. Let c be (4/2 - 0) + -1. Which is smaller: y or c?
y
Let m(k) = -k - 3. Let r be m(-2). Is r > -10/7?
True
Let x = -2 + 6. Suppose 5*s - x*h = 28, 5*s + 3*h = 3*s + 2. Is 2 less than or equal to s?
True
Let j = -0.36 - -0.16. Which is smaller: 1 or j?
j
Suppose 2*b - 3*h + 35 = b, -3*b - 55 = h. Let z be (30/(-20))/((-3)/b). Which is smaller: -11 or z?
-11
Let u = 69 - 50. Is 17 < u?
True
Suppose 12*o + 16 = 28*o. Suppose -2*s - 3 = -7. Suppose 0 = -y - s*l, -3*y - 4*l + 2 = -0. Which is smaller: o or y?
o
Let w be -3 + 0 - 34/(-8). Which is smaller: 2 or w?
w
Let d(k) = -k - 10. Let x be d(-12). Let a = -5/52 - 2/13. Are x and a non-equal?
True
Let j be (-1)/(1/(-4) - (-12)/(-16)). Which is greater: -11/24 or j?
j
Let r be 2/5 + 80/50. Let o = 4 - r. Which is greater: 3 or o?
3
Let l = -60 + 60. Is 0.044 >= l?
True
Let c(q) = q**2 - 6*q + 9. Let x be c(7). Which is smaller: 17 or x?
x
Let c = 47/6 - 15/2. Let d = 54 + -111/2. Which is bigger: c or d?
c
Let j = -1.4 + 1.3. Is j at most 5?
True
Suppose -3*s = -5*s. Suppose s = -5*y - o - 1, -5*y - 4*o = 2 - 13. Do y and 13 have the same value?
False
Let i = -0.26 - 3.84. Let y = 0.1 + i. Let n = y - -4.2. Which is greater: n or -1?
n
Suppose 2*h - 1 = -2*k - 7, 0 = 3*k - 3*h + 9. Let z be (-17)/k - (-2)/(-3). Which is greater: 6 or z?
6
Suppose -5*h + 40 = -55. Let k = -15 + h. Which is bigger: k or 7?
7
Let f = -21 - -20.9. Which is bigger: f or 2.3?
2.3
Suppose -4*u - 7 = 13. Let g(w) = w**2 + 5*w + 3. Let t be g(u). Let i be -2*1 + (t - 2). Which is smaller: 1/5 or i?
i
Let i = -16 + 5. Let q = 7 + i. Let d = 5 + q. Is d at least as big as 0.1?
True
Let d = 18 + -34. Let o = 11 + d. Let l = 4 + o. Is l < 0?
True
Let n(m) be the first derivative of -m**4/4 + 8*m**3/3 - 4*m**2 + 5*m + 7. Let v be n(7). Which is bigger: -3/4 or v?
-3/4
Let k = 11 - 7. Let z be (6/156)/(2/k). Is z equal to 0?
False
Let h be 69/2*2/3. Do -1 and h have the same value?
False
Suppose 0 = -4*t - 0*q - q + 114, 4*t + 3*q = 118. Suppose -3*c = c - t. Let f be 2/(-4)*4/c. Which is greater: f or 0?
0
Let h be (-2)/5*(-4)/8. Suppose 0 = 4*n - 7*n + 2*d + 5, -11 = 3*n + 2*d. Which is greater: h or n?
h
Let s = -23 - -25. Which is bigger: s or 10/7?
s
Suppose 0 = 3*w - 0 - 12. Let d be (-10)/(-35) + 43/(-77). Let y = d - 2/33. Does w = y?
False
Suppose -14 = 2*n - 0*n - 2*l, -5*l = -15. Is -4 greater than or equal to n?
True
Let z(c) = -c**3 + 5*c**2 - c + 1. Let n be z(5). Let p(o) = o - 10. Let r be p(7). Is n >= r?
False
Suppose c = w - 11, 4*c - 3*c - 7 = -w. Which is smaller: w or 8?
8
Let l = -6.9 + -0.1. Let y = 11 + l. Let s = y - 3.9. Which is bigger: s or -1?
s
Let m = 395.79 + -398. Let k = -0.21 - m. Does k = -7?
False
Suppose 0*s + 4*w - 14 = -2*s, -3 = -w. Let r = -4 - -6. Which is smaller: s or r?
s
Let g be -1 - -1 - (-3)/(-2). Let k(o) = -o**3 - 26*o**2 + 55*o - 29. Let b be k(-28). Which is bigger: g or b?
b
Let m = -237/4 - -59. Let x = 7.7 - 7.4. Is x not equal to m?
True
Let y be -3 + ((-2)/1)/2. Let b(a) = -3*a**3 - a + 1. Suppose -4*q - 12 = -3*n - q, n = 3*q + 10. Let o be b(n). Which is smaller: o or y?
y
Let i = -82 + 493/6. Let u(k) be the first derivative of -k**2/2 - 9*k + 4. Let s be u(-9). Is i > s?
True
Let w = 39 + -38.77. Is -1 equal to w?
False
Let n be (3/(-12))/(27/48). Do 1 and n have the same value?
False
Suppose 3*x + 5 = l, 5*x + 1 = -3*l + 2. Suppose -w = l*w. Let m be 3*2/(-3) - -1. Is w >= m?
True
Suppose -3*v + 25 = 4. Suppose -8*g = -9*g + v. Which is smaller: 8 or g?
g
Let j be (-632)/1056 - (1 - 26/22). Is j < 2/9?
True
Let a = -14 - -4. Let y be 2/a*(1 + 0). Which is smaller: y or -1?
-1
Let m be (1/5)/((-16)/116). Let x = 1/20 - m. Does 2 = x?
False
Let l = 51 + -51. Let m = 1849/7 - 265. Which is smaller: m or l?
m
Let z = 2 + -2.02. Are z and 2/5 non-equal?
True
Let d = -33 - -39. Is d < 39/7?
False
Let v be -4*(0 + (-1)/(-1)). Suppose -6*r - 3 = -5*r + 2*k, -2*r - 5*k = 11. Let s = r + -12. Which is bigger: s or v?
v
Let g = -3 + 11. Let y be 9/(-6) + 4/g. Let x = y - -4. Which is smaller: 4 or x?
x
Let d = -5.207 + 0.007. Let q = d + 1.2. Does q = -1?
False
Let y = -6 - -1. Let j = -6 - y. Suppose 2*n = 5*z + 3 + 7, 6 = -3*z - 2*n. Which is smaller: z or j?
z
Suppose -2*w = 5*j - 4, -5*j - 3 - 5 = -4*w. Suppose a = -n - j*n, -2*n - 3*a = -1. Which is greater: n or -3/7?
-3/7
Let d(z) = z**2 + z. Let r be d(-2). Suppose 3*o = 4*h + 22, -r*h = 2*h + 3*o + 10. Let t = 3 + h. Which is greater: -2 or t?
t
Let p = -113 - -93. Is 2 < p?
False
Let m = -0.05 + 3.08. Let r = m - 0.03. Which is smaller: r or 1/2?
1/2
Let j = -597 - -589. Let s(m) = -3*m - 1. Let p be s(-1). Suppose -2*b + g = -p*g + 3, 0 = -b - 5*g - 34. Which is smaller: j or b?
b
Let n = -1.7 - -1.1. Is n != 0?
True
Let w = 118 - 122. Let d 