 less than -79?
False
Let p(k) be the third derivative of 1/120*k**6 - 1/3*k**3 - 2*k**2 + 0 + 0*k - 1/20*k**5 + 1/6*k**4. Let o be p(2). Which is bigger: 4/5 or o?
o
Let d be 52/(-44) + (-6)/(-33). Let w = 318 - 2541/8. Are d and w unequal?
True
Let b(y) = 4*y**2 - 4*y. Let v(j) = -3*j**2 + 4*j. Let m(t) = 4*b(t) + 5*v(t). Let c be m(-4). Is c greater than 2/43?
False
Let s be 6/51*30/8. Let x = 1/17 + s. Let m(c) = c**3 + 4*c**2 + 2. Let l be m(-4). Is l <= x?
False
Suppose -5*j - 2 = -17. Suppose 7 = j*c - 2. Suppose -4*a + 1 + c = 0. Which is smaller: 2 or a?
a
Suppose -8 = -2*n + 2. Suppose -3*b = b + 12, -n*j - b - 3 = 0. Is 1 >= j?
True
Let t(v) = -2*v + 1. Let h be t(2). Let j(m) be the first derivative of m**2/2 - 14*m - 6. Let k be j(12). Are h and k unequal?
True
Let s be 18/(-8) - 1/(-4). Suppose 9*n + 16 = 25. Let q = n - s. Which is greater: q or 5/3?
q
Let i = 78 + -158. Which is smaller: -81 or i?
-81
Let p = 0.029 - 0.029. Let x = -50 - -148/3. Are x and p unequal?
True
Suppose -2*b - b + 3 = 0. Let t be ((-40)/18 + 2)/b. Let h be (-1)/5 - (-1)/(-5). Is h at most t?
True
Let o be (2/(-6))/(2/(-6)). Let z be (12/14)/(-1*(-114)/42). Which is smaller: z or o?
z
Let a = -0.01 + 0.09. Let g = 0.02 + a. Which is smaller: g or 0.2?
g
Let u = -1634/14025 - 2/425. Let y = u + -7/33. Is -0.04 less than or equal to y?
False
Suppose 0 = -3*f - 2 - 1. Let g = 6 + f. Which is smaller: g or 6?
g
Let y = 0 - 1. Let r be 0/(-1*(-1 - 1)). Suppose -2*o = -2 - r. Which is bigger: y or o?
o
Let a = 12 - 18. Which is smaller: a or -8?
-8
Let w(t) = t. Let h be w(8). Suppose -3*k + h = -k. Are 6 and k unequal?
True
Let r be (-8)/(-36) + 38/(-9). Let g(k) = -k - 4. Let c be g(r). Do c and 1/4 have the same value?
False
Suppose 2 = -2*f + f. Let j = -7.9 - -8. Is f smaller than j?
True
Let g be (-47)/(-7) + 2/7. Are 6 and g unequal?
True
Let o be 302/3 + (-3)/(-9). Let m = 1283/14 - -48/7. Let b = o - m. Which is smaller: b or 0.1?
0.1
Let y = -33 - -32.9. Does y = -1?
False
Let h be (16/(-20))/(6/(-5)). Let s = -7.06 + 7. Which is smaller: h or s?
s
Let h(v) = v**3 - 14*v**2 - v + 13. Let q be h(14). Which is smaller: -8/9 or q?
q
Suppose b = 5*o - 2*b - 17, -10 = 2*o + 3*b. Let g = -9/95 + -2/19. Does g = o?
False
Let n = -7 - -14. Suppose 2*b - 2 + 10 = -3*p, -b - n = 2*p. Let f be 4/6*(-9)/p. Which is bigger: f or 1/5?
f
Let d = -21 + 65/3. Let k = 14.4 - 16. Is d greater than k?
True
Let r be -1 + 2 + ((-28)/18)/2. Is r equal to -0.09?
False
Suppose 5*z - 10 - 10 = -5*h, 3*z - 8 = -5*h. Let m be 3*4/z + -1. Is -2 greater than m?
False
Let a(x) = -x**2 - 10*x + 6. Let y be a(-10). Suppose -25 = y*t - t. Let v = -5 - t. Which is smaller: v or 1?
v
Let s = -76/3 + 30. Suppose 4*g - 22 = p, 5*p - 16 = -2*g + g. Is s != g?
True
Let u be (-58)/(-8) + (-2)/8. Let v be 6/3 - 35/(-5). Let g = u - v. Is -4 at least g?
False
Let l = -1 + 1. Let a = 132.1 - 132. Which is bigger: l or a?
a
Let x = 7/18 - 2/9. Let u = 0 - -7. Let g be 7/(u/2) + -3. Do g and x have the same value?
False
Let v = 700758 + -7701017/11. Suppose 0 = -4*f, 3*l + 2*f + 978 = -1017. Let a = v + l. Which is smaller: a or 2?
a
Let k = 12 + -11. Which is greater: k or 5/6?
k
Let u = -58 - -36. Let m = 19 + u. Suppose -2 + 6 = -4*g. Is g greater than m?
True
Let o(b) = -7*b**3 - b + 1. Let y be o(1). Let a = y + 4. Is 1 < a?
False
Suppose 1 = 3*x - 3*n - 113, x - 23 = -2*n. Which is smaller: x or 34?
x
Let c = -31709/1626 + 1/813. Let v = 20 + c. Let q be 12/(-15) + (-8)/40. Is v less than q?
False
Let a(m) = m**3 - 10*m**2 + 2*m - 14. Let k be a(10). Is k bigger than 1?
True
Let r be (-2 + (0 - -2))/(-2). Let k(j) = -j**3 - j + 10. Let c be k(r). Suppose -g = 4*g - c. Which is smaller: g or 0?
0
Let x = 0 - 1. Let p be ((-2)/3)/(x/(-6)). Which is smaller: -5 or p?
-5
Let t = 8 + -3. Suppose x - t*x + 4 = 0. Is x greater than or equal to 6?
False
Let v = 3 - 2. Which is smaller: 2/17 or v?
2/17
Suppose -m + 1 = -16. Which is smaller: 15 or m?
15
Let u be 1 + (-6)/(-2) + -1. Suppose u = t, 4*p - 11 = -p - 2*t. Let o = -2820/17 + 166. Is o greater than or equal to p?
False
Suppose -5*q - 5*o + 5 = 0, -2*q + 2 = -2*o - 0*o. Which is smaller: q or 0?
0
Let y(d) = d**2 - 9*d + 2. Let t be y(5). Let w = t + 21. Is 7 equal to w?
False
Let b = 3 + -3.2. Let g(m) = m**2 - 10*m + 13. Let i be g(9). Suppose -4*c - 16 = -i*s, 3*s - 23 = 2*c - 2*s. Which is greater: b or c?
c
Let d = 0.1 - 4.1. Let y = d + 4. Let b = y + 1. Do b and -0.3 have different values?
True
Let v(b) = b**3 - 8*b**2 + 6*b + 10. Let a(z) = -z**3 + 6*z**2 + 8*z. Let t be a(7). Let h be v(t). Let i be 3/(-9)*1*h. Is i < 1?
True
Suppose 0*a - 5*a + 4*b = 7, 0 = 4*a + 4*b - 16. Which is smaller: 3/11 or a?
3/11
Let s = 62 - 62. Does s = 2?
False
Let b = 0.5 - 0.58. Let c = -5.92 + b. Which is smaller: -2/5 or c?
c
Suppose -m - 3*f - 20 = 2*f, 0 = -4*m - 2*f - 8. Let s = 1.1 - -4.9. Is m > s?
False
Suppose -2*j + 4*s + 28 = 0, -j - 1 = -5*s - 27. Let q = -159/2 - -445/6. Let b = q + j. Do 0 and b have the same value?
False
Let y be 2/(-4) - 27/(-6). Suppose -w - 5*i - 3 = -4*w, -4*w - 2*i = -y. Let q = w - 1. Which is smaller: q or -1?
-1
Let g = -0.4 - -0.3. Let p be (-122)/(-4)*2/140. Let u = 1/28 - p. Which is smaller: u or g?
u
Suppose 0 = -2*h - 30 - 0. Which is smaller: -16 or h?
-16
Let i = 17 + -9. Is 0 < i?
True
Let b be 0 - (-1 + (2 - 1)). Let f(n) = n**3 + 2. Let g be f(b). Suppose -r - 1 = -i - g, 7 = -4*i + r. Which is greater: i or -4?
i
Suppose 2*a + 95 = -g, 3*g + 70 = -a - 2*g. Is a < -45?
False
Let z = 4.3 - 4.4. Which is bigger: -3/14 or z?
z
Suppose 0 = o + 2 - 3. Let t be (4/6)/(4/6). Let r be (t + 0)/(o - 0). Is r smaller than 1/4?
False
Let g = -3 - 4. Let h = -1/2106 - 4127/179010. Let a = h + -81/170. Do g and a have the same value?
False
Let m(r) = 2*r**2 - 8*r - 3. Let b be m(7). Let u be (84/b - 2)*1. Is -1 >= u?
False
Let c = 3.2 + -1.7. Let p = 3.5 - c. Let d = -2 + 3. Which is greater: d or p?
p
Let d = 0.3 + -0.2. Let p be 161/(-98) - 1*-3. Let y = p + -6/7. Is y at most d?
False
Suppose t - 2 = 5*k, 2*k = -2*k - 4*t - 16. Which is greater: 0.13 or k?
0.13
Let p(n) = 6*n - 6. Let m be p(2). Is m equal to 4/9?
False
Let g be (-2)/(-2) + 6/585. Let q = g - 14/13. Is q less than -1?
False
Let r(j) = j**3 - 3*j**2 - j + 1. Let a be r(3). Which is smaller: -15/7 or a?
-15/7
Suppose 3 + 14 = 2*t - 5*y, -t + 5*y = -16. Is -2/9 bigger than t?
False
Suppose -j = m - 0*m + 4, -j + 8 = -5*m. Let t be 9/(-7) + j/(-7). Does t = 4/13?
False
Let t = 89/174 + -1/87. Let g = -0.1 + -0.1. Which is bigger: g or t?
t
Let w = 165 - 115. Let u be (6 - 3) + w/(-18). Which is greater: 1 or u?
1
Suppose s + 4*k = k + 11, -15 = 3*s - 3*k. Which is smaller: s or -5/6?
s
Suppose 0 = i, -4*i - 21 + 1 = -5*l. Suppose 12 = -v - 5*j, -l*v + j = -2*v + 2. Which is greater: v or 0?
0
Let y be 133/(-185) + 7 + -6. Let l = y - 3/37. Which is smaller: 0 or l?
0
Let c(h) = -5 + 0 - h**3 - 8*h**2 + 2*h**3 + 2. Let a be c(8). Is a at least as big as -1?
False
Let p = 31.8 - 31.7. Let t = -11 + 24. Is p at least as big as t?
False
Let f = 59 + -59. Which is greater: f or 51?
51
Let j be (3/(-2))/(33/(-176)). Let d = j + -14. Which is bigger: d or -1?
-1
Let l = 5.9 + -10. Let q = -4 - l. Let u be (-2)/6 - (-4)/30. Which is greater: u or q?
q
Let i = 10 + -11. Let h = 1.1 + i. Which is greater: -1 or h?
h
Let b(c) = c + 1. Let l be b(-2). Let q(p) = p**3 - 5*p**2 + 5*p + 3. Let i be q(4). Let o = i - 9. Which is greater: o or l?
l
Let a(i) be the second derivative of i**4/12 - 7*i**3/3 - 7*i**2 + 2*i. Let q be a(15). Which is smaller: q or 0?
0
Suppose j = -3*j - 4. Let i(l) = -4*l - 1. Let c(s) = 7*s + 2. Let h(b) = -3*c(b) - 5*i(b). Let v be h(j). Which is bigger: v or 2/9?
2/9
Suppose -8*x + 116 = -4*x. Is 30 greater than or equal to x?
True
Let n = -1.5 + 1.46. Is 0.1 at least as big as n?
True
Let d = 0.2 - 0.3. Let t = 0 - d. Which is bigger: t or 4?
4
Let x = 16 + -13. Let h be (x/(-1))/((-21)/28). Which is bigger: -3 or h?
h
Suppose r - 4*r + 9 = 0, 5*v - 123 = 4*r. Are v and 1/2 equal?
False
Let s = -11 - -12. Let h be s + 0 - 3/5. Which is smaller: h or 1/19?
1/19
Let y be (-419)/3 - 1/(-1). Let u = y - -140. Is 1 not equal to u?