vative of -m**6/360 + m**5/40 + m**4/4 + m**3/2 + 2*m. Let t(g) be the second derivative of k(g). Let f be t(5). Is f bigger than -5?
True
Let o = 16 + -26. Let w = o + 8. Let j = w - -2.08. Which is greater: j or -2/7?
j
Let z = 371/6 + -62. Let d be (-4)/((-88)/18) + (-14)/(-77). Is d equal to z?
False
Let t be (-1)/2*0*1. Let r = t - 0. Suppose 5*i = -5*a + 25, 4*a = -i - r*a + 20. Which is smaller: -1/2 or i?
-1/2
Let n = -5 - -4. Let t = n - 16. Are t and -18 non-equal?
True
Suppose 2*d = 3*d. Let j = 0.1 - -0.1. Let s = -0.1 + j. Which is smaller: d or s?
d
Let g be ((-6)/(-4))/(3/6). Let x = g - 3. Which is smaller: 1 or x?
x
Suppose 1 = 3*g + 2*g - 2*o, -o + 2 = -5*g. Are 1/4 and g equal?
False
Suppose 3*t - 5*i + 11 = -2, -2*t + 3*i = 8. Which is greater: t or 0?
0
Let n(i) = 5 + 3*i**2 - 2 + i - 3*i. Let g(d) = 2*d**2 - 2*d + 3. Let a(y) = 4*g(y) - 3*n(y). Let r be a(-3). Which is bigger: 2/3 or r?
2/3
Suppose -5*w + 8 = m - 11, 2*m - 5*w = -22. Suppose -8 = -9*a + 11*a. Let z be (-2)/a*36/(-117). Which is smaller: m or z?
m
Suppose 2*a = 5*a - 15. Let s = a - -9. Which is smaller: s or 13?
13
Let c = -565/7 - -81. Suppose -3*x = 29 - 11. Is x > c?
False
Let x(y) = -y**3 + 5*y**2 + 3*y + 8. Let g be x(6). Let d be 16/40 + 4/g. Is d >= 2?
False
Let b = 77 + -80. Let q = 0.8 + 0.2. Is b > q?
False
Let i(m) = 18*m - 7. Let l be i(2). Is l less than or equal to 29?
True
Let y be 4 + 4 + -1 - 2. Is -2 at most as big as y?
True
Let l = -1 - -1.4. Let p = l + -0.9. Let m = -0.4 - p. Which is bigger: m or -3?
m
Suppose y + 1 - 4 = 0. Suppose -8*h = -5*h. Suppose y*q = -3*j + 6, -3*q - 4 = -2*j - h. Are 3/5 and q nonequal?
True
Let v = -10 + 12. Suppose 2*j = -v*j. Is 0 less than or equal to j?
True
Suppose 2*n + 40 = -3*n. Is -7 smaller than n?
False
Suppose h - 5*q = -10, -2*q - 5 = 2*h - 9. Suppose -3*p - 345 = -8*p. Let w = p + -486/7. Which is bigger: w or h?
h
Let h = -1.2 + 5.2. Let w = 5 - h. Which is smaller: -1/4 or w?
-1/4
Let g = -4 + 7. Suppose g*o = -3 - 9. Is o >= -2?
False
Let f be (-14)/(-1) + 1 + 0. Suppose -p - 3*v - f = 0, p + v = 3*p - 5. Is -0.3 at least as big as p?
False
Let f = 14 + -20. Let l = f + 6.2. Which is smaller: l or -3?
-3
Suppose i + 4*a - 16 = 0, 0*i - 3*i - 3*a = -12. Suppose n - 4*t + 2 = -0*n, i = t - 1. Suppose n*q = -4*f, 5*q + 5*f + 2 + 8 = 0. Is q <= -5?
False
Suppose -3*f - 5*b + 10 = 0, -2*f + 4*b - b = -13. Suppose 3*q + h = 9, 0 = f*q - 5*h - 0*h + 5. Which is smaller: q or 1/3?
1/3
Let o = 0 - -1. Let u be 28/(-525)*-5 - (-4)/(-10). Which is bigger: o or u?
o
Suppose i - 3*z = z + 8, -3*z = -i + 10. Is 17 less than or equal to i?
False
Let v = 1.94 + 0.36. Let m = v + -2. Which is smaller: -4 or m?
-4
Let h be 7 - ((-2)/2 + 1). Is 7 at least as big as h?
True
Let q be 5/(-6) + (-16)/(-24). Which is bigger: q or -3?
q
Let l be 2/6 + 1/(-2). Suppose 0 = -14*q + 10*q. Which is bigger: q or l?
q
Let b = 109 - 118. Is 1/3 greater than b?
True
Let w be ((-4)/(-20))/((-6)/15). Let k = -0.03 + -0.27. Which is smaller: k or w?
w
Let g(x) = -x**3 + 3*x**2 + 5*x - 4. Let l be g(4). Let m be l*(0 + 1 + -2). Suppose -2 = 2*y - t, 1 = -y + 5*t - 0. Which is smaller: m or y?
y
Let j = -40 + 62. Let s = j - 16. Let w = 11 - s. Which is greater: 4 or w?
w
Let p = -2 + 9. Are p and 8 non-equal?
True
Let p = 2 - 6. Suppose 3*j - 3 = -w, 0 = w - 4*w. Suppose -3*x = j + 5. Are x and p equal?
False
Let y(k) = -k**2 - 3*k. Let n be 2/(-5) + 78/(-30). Let l be y(n). Let p be 165/(-80) + 2/1. Is l < p?
False
Let d = 1 + 2. Suppose a = -4*s - a + 4, 0 = -d*s + 5*a - 10. Let l = -5/8 - 1/8. Which is smaller: s or l?
l
Let x = 0.05 + -0.08. Let c = x - 0.97. Let n be -1 - (-2 + (-16)/(-10)). Which is smaller: c or n?
c
Let w = 14 + -12. Is w smaller than -1?
False
Let k = 25 + -7. Let m = -12 + k. Let z be m/(-10) + 38/80. Are z and 0 non-equal?
True
Let a(m) = -m**3 + 6*m**2 - 4*m + 7. Let i be a(3). Which is greater: 23 or i?
23
Let w be (6/28)/((-312)/32). Is 0 at least w?
True
Let j = 8.88 + 0.12. Let r = j + -8. Let s = r - 1.1. Are -3 and s equal?
False
Let x(g) = -g - 12. Let a be x(-6). Let p be 0 + -1 + -1 + a. Is -9 greater than or equal to p?
False
Let i be ((-1)/(-18))/(9/24). Are i and 0 non-equal?
True
Let h(n) = 23*n**3 - 3*n**2 - n + 4. Let b be h(-5). Let s = -11825/4 - b. Let z = s - -15. Which is smaller: z or 1?
z
Let d(n) = n**3 - 3*n**2 - 4*n - 1. Let l be d(4). Are -2 and l nonequal?
True
Let q = 82 - 1475/18. Suppose 10 = -i + 5*b - 0, -b + 2 = 5*i. Does q = i?
False
Let q = 1 - -10. Suppose -5*a = -31 + q. Which is smaller: a or 5?
a
Suppose 0 = 4*h - 2*h + 74. Let r = 553/15 + h. Let n = -1.1 + 0.1. Which is greater: n or r?
r
Let r = 6 + -8. Which is smaller: r or 0.1?
r
Let o be (-144)/30 - (12/10 - 1). Is -5 equal to o?
True
Suppose -w = 5*x + 1, -2*x = 2*x + 2*w - 4. Let n be 12/(-9) - (-1)/3. Do n and x have different values?
False
Let f(k) = k**3 - 8*k**2 - k + 3. Let d be f(8). Is -2 < d?
False
Let l(k) = 0*k - 2*k + k**2 - 2 - 2*k**2. Let f be l(-2). Is -2/3 at most f?
False
Let j = 9 - 5. Let m be (-27)/15 + j/(-20). Let t be (-33)/(-36) - 2/3. Which is smaller: m or t?
m
Let c(d) = d**3 - 3*d**2 - 3*d - 2. Let s be c(4). Suppose -18 = 3*p - 5*y, 5*p - 1 = -s*y - 0. Is p bigger than -1/9?
False
Let v(d) be the third derivative of 1/3*d**3 + 0*d - 1/24*d**4 + 2*d**2 + 1/60*d**5 + 0 + 1/120*d**6. Let y be v(-2). Is 2 equal to y?
False
Let r(i) = -6*i - 7. Let u(a) = -a**2 + 18*a + 22. Let n(d) = 7*r(d) + 2*u(d). Let o be n(-4). Are -14 and o equal?
False
Let r = 0.68 + 46.32. Which is smaller: -1 or r?
-1
Let l be (2/(-5))/((-1)/5). Let q(h) = 8*h + 18. Let w be q(-2). Is w smaller than l?
False
Let j(m) be the second derivative of -m**3/6 - 7*m**2/2 - m. Suppose 0 = y + 1, w + 2*y = -3 - 5. Let a be j(w). Is -1/3 less than or equal to a?
False
Let v be (-3)/6 + 6/4. Is -1/10 equal to v?
False
Suppose 5*h - 2*y - 23 = 0, 0 = 4*h + y + y - 22. Let f be 786/(-21)*(1 + h). Let r = f + 225. Which is smaller: -1 or r?
-1
Suppose 3*h - x = 10, 3*x = 1 - 13. Let v(w) = -w**2 + 5*w - 5. Let n be v(5). Let t be h + (-1 - n/(-3)). Which is smaller: 2/3 or t?
t
Let u be (-2)/(0 + (-10)/(-15)). Which is smaller: 0.2 or u?
u
Suppose 0 = -11*w + 8 + 905. Is w >= 84?
False
Let c = -7/5 - -9/5. Is 1 smaller than c?
False
Let w = 9 + 5. Let s = w - 15.4. Let d = s - -0.4. Which is greater: d or -2/3?
-2/3
Let g = -19/4 + 17/4. Let x be (0 + 1)/(3/12). Which is greater: g or x?
x
Let v(j) = j**3 + 7*j**2 - j + 9. Let s be v(-7). Is s greater than or equal to 18?
False
Let g = 41/144 - 11/36. Which is smaller: 1 or g?
g
Let u = 1.3 - 4.3. Does u = 1?
False
Let v(j) be the third derivative of -j**6/120 + j**5/12 - j**4/8 - j**3/6 + j**2. Let k be v(4). Let y = 27 - 25. Which is greater: y or k?
k
Let t = -1 - 1. Let l = 3 - 15. Let v be (t/3)/(8/l). Is v < 1?
False
Suppose 4*b = 2 + 14. Let c be (b/7)/((-1)/(-7)). Which is smaller: c or 5?
c
Let r = 63 + -191/3. Let a = 2.4 + -1.4. Does a = r?
False
Let n = -59739/8 - -7480. Let w = n - 49/4. Which is smaller: w or -1?
-1
Let r = 0.9 - -0.1. Let k = 1 - r. Let d = -7 - -6. Which is smaller: d or k?
d
Suppose 4*u - u - 42 = 0. Let g be (-18)/(-14) - 4/u. Is g equal to -1/4?
False
Suppose 0 = -3*x + 4 + 2. Suppose 0*q - x = -2*q. Let o be 12/(-88)*4/(-3). Which is smaller: o or q?
o
Suppose 0 = 3*a - 9*a - 78. Is -13 greater than or equal to a?
True
Suppose 0 = 27*k - 29*k - 10. Which is bigger: -11/2 or k?
k
Let j(t) = -t**2 + 14*t + 1. Let u be j(13). Is 14 >= u?
True
Let s = 24 + -23.89. Let i = -5.89 - s. Let z = -4 - i. Is z less than or equal to 0.1?
False
Let y = -6 - -6. Suppose y = h - 3 + 12. Is h greater than -10?
True
Let k = -29.008 + 0.008. Do k and 0 have different values?
True
Let h = -10 + -4. Which is smaller: h or -13?
h
Let s(w) = -4*w - 43. Let d be s(-12). Which is greater: 1 or d?
d
Suppose 0 = 3*r - 4*c + 3*c + 46, 4*r + 58 = 2*c. Which is bigger: r or -15?
-15
Let x be 42/147 + (-12)/35. Which is smaller: 1 or x?
x
Let h = -9 - -9. Is h >= 1/3?
False
Suppose -10 = -2*r - 6. Let x(i) = i**2 + 4*i - 4. Let b be x(-5). Is b at least r?
False
Let i(b) = -b**3 + 6*b**2 - 6*b + 5. Let s be i(5). Is 1/36 at most as big as s?
False
Let f 