et k(a) be the second derivative of -a**4/12 - 7*a**3/6 - 5*a**2/2 + 6*a. Let b be k(-5). Are 6 and b non-equal?
True
Let w = 4 - 3. Suppose i + 3 = 5, 0 = q - 3*i + w. Is 4 greater than q?
False
Let u = 29 + -16. Let w = -10 + u. Is -0.2 <= w?
True
Let f = 32/7 + -33/7. Let r = f - -1. Let l be (-2)/(-3)*(-6)/(-4). Is l at least r?
True
Let p be 2 + (-1)/(1/(-3)). Suppose 0 = 2*u - w - w - 8, 3*u + p*w - 36 = 0. Do u and 6 have the same value?
False
Let i(g) = g + 1. Let v(q) = -5*q - 15. Let m(r) = -4*i(r) - v(r). Suppose -j = 3 + 6. Let y be m(j). Which is bigger: 1 or y?
y
Suppose 6 + 4 = -5*i. Let k(l) = l**2 + 10*l + 10 - 12 - 13*l - 2*l**2. Let c be k(i). Which is greater: c or -1/8?
c
Let m be (26/(-6))/((-1)/((-6)/(-2))). Is 14 <= m?
False
Let h be (-102)/(-357) - (-1)/21. Let y(d) = d**2 + 6*d + 5. Let p be y(-5). Which is bigger: p or h?
h
Suppose 166 = 2*q + 46. Let y be 4/(q/51) - 3. Let n = 255 - 2803/11. Which is bigger: y or n?
y
Let l = 31/22 + 1/11. Let v = -0.9 + 1. Which is greater: v or l?
l
Suppose 1 = 5*d - 14. Let f = 3 - d. Suppose r - 3*r = -2*n, 4*r = -5*n + 9. Which is smaller: r or f?
f
Suppose 2 = -3*s + 2*i, 0 = -4*s - 0*i - i - 10. Let o be (-1*(-6)/(-3))/s. Is o <= 0?
False
Let t = -129 + 129. Is 1/171 at least as big as t?
True
Let l = -11.8 - -13. Let t = 0.9 - l. Which is smaller: t or -1/2?
-1/2
Let z be 3/2*2/(-3). Let a be (6/5)/((-9)/(-60)). Suppose a*g = 4*g. Is g < z?
False
Let r(n) = n**3 - 4*n**2 + n - 3. Suppose 3*y - y = 8. Let g be r(y). Is g at least 2/13?
True
Let c = 240/7 - 34. Let t = -2.9721 - 0.0279. Which is bigger: t or c?
c
Let s be 0 - 1/2*2. Let p be (1/(-5))/(1/642). Let c = 128 + p. Is c less than s?
False
Suppose v + 2*u - 5 = -4, -35 = 4*v - 5*u. Let t = v - -10. Suppose 0*q = -q + 2*z + 11, t*q - 5*z - 35 = 0. Is 3 <= q?
True
Let y be 43/21 - (-17)/(-51). Is y equal to 3?
False
Suppose 3*s = -3*c + 10 + 8, s = 3*c - 14. Let r be 5*s/4*-1. Which is smaller: -2 or r?
-2
Let m = -4 - -8. Let f = m + -7. Which is smaller: 1/4 or f?
f
Let b = 7.1 - 7. Which is smaller: 3/8 or b?
b
Let z be 6/(-8) - (-976)/1344. Which is bigger: z or 1?
1
Let y = -316/837 + 14/31. Suppose 20 = -5*t - 5*q, 0 = -t + 3*q + 16. Let i be (0/(-7))/(-2*t). Which is smaller: i or y?
i
Let g(i) = i**2 + 4*i + 1. Let p be g(-5). Let s(b) be the third derivative of b**5/60 - b**4/4 - b**3/2 + 11*b**2. Let a be s(p). Which is greater: -3/2 or a?
-3/2
Suppose b - 5*i = 4, -11 = 5*b + 5*i - 1. Let o be (1/1 - 0)/(-3). Which is smaller: o or b?
b
Let q = -16 + 23. Let w = q + -6.94. Let t = 0.16 - w. Which is smaller: -2/7 or t?
-2/7
Let n be (0/((-3)/(-1)))/(-1). Suppose -7*j + 2*j + 5 = n. Are 1/7 and j equal?
False
Let i = 8 + -10. Is -2 bigger than i?
False
Suppose 34 + 11 = 5*v. Let k = v - 18. Let d(m) = -m**3 - 10*m**2 - 10*m - 12. Let s be d(k). Is s less than -2?
True
Let p be (21/6 - 3)*4. Let c be p/8 + (-93)/84. Which is smaller: c or -1?
-1
Suppose -s + 2*s = 4*d + 26, -35 = -5*s + d. Let q = s + -7. Let r be (-1)/((-6)/(-3) + -5). Does r = q?
False
Let x(m) = 4*m + 9. Let b be x(-3). Let w = -3 - b. Let a(u) = u**2 - 4*u - 1. Let z be a(4). Is z > w?
False
Let k be 8 + (-2 - -3)*-2. Let o = 5 - k. Which is smaller: 4/13 or o?
o
Let k(t) = t**3 + 4*t**2 + 2*t + 4. Let v be k(-3). Are 6 and v unequal?
True
Let c = 0.62 - 0.12. Let p = 4.5 - c. Let u = 0 + -1. Which is smaller: u or p?
u
Let r = -0.19 + -10.81. Let g = 12 + r. Let t = 10 + -6. Is g smaller than t?
True
Let x(u) = -u**2 - u + 1. Let y be x(-2). Let s be 4*1 + 1083/(-266). Which is smaller: y or s?
y
Let h(a) = -3*a - a - 3 + 5. Let g be h(3). Let o = g + 32/3. Is 2 > o?
True
Let c be ((-12)/5)/(3/(-15)). Let w be 3/((-9)/c)*-1. Is w <= 4?
True
Suppose 5*l - 3*w - 8 = 11, 5*l - 25 = 5*w. Let x = 1 - l. Do -1 and x have the same value?
True
Suppose -6*j - 4*q = -j - 11, 0 = -2*j + q - 6. Let r = -126 + 123. Is r <= j?
True
Let g = -0.06 + -0.94. Let p = 0.1 - 0. Let j = p - -0.9. Is j bigger than g?
True
Let t = 60245/28 - 2152. Let w = 1/140 - t. Let c(b) = 2*b - 1. Let p be c(1). Which is greater: w or p?
p
Let d be (-238)/(-44)*-2 - 2/11. Is -11 less than or equal to d?
True
Let m = 99 + -63. Which is smaller: 35 or m?
35
Let s = -2833/3 - -966. Let y = s + -22. Is y > -1?
True
Suppose -4*c - 1 = -0*c + 3*b, 3*c = 2*b + 12. Is 7/8 less than c?
True
Let s(a) = a + 12. Let k be s(-12). Let z = -4/7 - 2/21. Which is smaller: k or z?
z
Suppose 6*y + 54 - 156 = 0. Which is smaller: y or 16?
16
Let q(d) be the third derivative of 0*d - 7/6*d**3 - 3*d**2 + 0 - 1/60*d**5 + 3/8*d**4. Let k be q(8). Is -2/11 bigger than k?
False
Let p = -0.016 - -1.016. Do -2/13 and p have different values?
True
Let p = 4.3 + -4.11. Let c = 2.19 - p. Let a = -8/19 + 62/57. Which is greater: a or c?
c
Suppose -5*s + g - 6*g + 35 = 0, 3*s + 2*g - 17 = 0. Suppose -3*j = 5*c + 21, 4*c + 11 = s*c - 4*j. Is 0.3 equal to c?
False
Let v = 7/8 + -29/24. Which is bigger: 19 or v?
19
Let g(u) = u**3 + 5*u**2 - 7*u - 5. Let d be g(-6). Let i be (-1349)/(-15) - 1/3. Let r = i + -89. Is r <= d?
True
Let y = -609 - -4315/7. Which is greater: 7 or y?
y
Suppose 0 = -k + 6*k - 4*m + 10, 3*m - 9 = 3*k. Let p = 15 - -12. Let s = p + -53/2. Do s and k have different values?
True
Suppose 0 = 2*x - 3*y - 6 - 0, 4*x - y = -8. Let r(w) = w**3 - 4*w**2 + 3*w - 1. Let b be r(2). Is b at least x?
True
Let w = -110/7 + 16. Is 11/3 less than or equal to w?
False
Suppose 2*z - 3 = -v + 13, 5*v + z - 80 = 0. Is v <= 17?
True
Suppose 9 = -2*y - 1. Let a = y + 3. Let z be (5/3 + a)*-2. Which is smaller: z or 2?
z
Let i be (3 + 0)*((-682)/99 - -7). Let y = 11 - 15. Is i less than y?
False
Let g be 1/3 + 0 + -1. Let n(d) = 7*d**2 + 9*d + 6. Let f(v) = 13*v**2 + 17*v + 11. Let j(k) = -6*f(k) + 11*n(k). Let m be j(-3). Is m at most as big as g?
False
Let n be 4/(-2) - (-6)/2. Suppose n = -4*a - 7. Let d be 1 - 6/(4 + -2). Are a and d equal?
True
Suppose -2*q + 4 = 2. Suppose 2*o = -1 - q. Let t(y) = -y - 5. Let b be t(-3). Is o smaller than b?
False
Suppose -4*c + 5*j = -8*c + 16, -5*c - 17 = -3*j. Are -7 and c non-equal?
True
Suppose 4*h + 7*a - 4*a - 72 = 0, 3*h - 54 = 4*a. Are 17 and h unequal?
True
Suppose -5*x - 5 + 0 = 0. Let i be 2*-1 - 85/1. Let n be (-1)/(-1) + 93/i. Is x greater than n?
False
Let t = -88 - -110. Which is bigger: -0.2 or t?
t
Let f = 828 + -7469/9. Let m = -305/171 - f. Which is smaller: m or 1?
m
Let o = 34.8 + -15. Let k = 20 - o. Is k >= -0.08?
True
Let q(g) = g. Let u(i) = -i - 1. Let p(n) = -2*q(n) - u(n). Let l be p(5). Let r(z) = -2*z - 9. Let c be r(-3). Is l at most c?
True
Let x = -1/250 + -1/375. Which is smaller: x or 1?
x
Suppose 0 = -0*v + 4*v - 36. Is 11 at most v?
False
Let k = 1.8 - -0.2. Suppose 2*o - 5*d = 9, 4*o - 5*d + 4 = 17. Let b be o/(-2)*1/(-3). Which is smaller: k or b?
b
Let b = 10 + -5. Suppose -2 = 3*c + 4*d, 0 = 4*c + c + b*d. Is c smaller than 2/5?
False
Let t be 9/(-6) - (-4)/(-8). Let q be 2/4*(t - -14). Which is smaller: 5 or q?
5
Let v = -43/3075 - -5/123. Is -1 at most v?
True
Suppose 2*a = -q - 5, -a + 5*q = 3*a + 45. Suppose -525 = r + 4*r. Let g be 0 - a/(r/6). Are g and -0.06 equal?
False
Let f = 1 + 1. Let m be (-2)/((32/(-3))/4). Which is bigger: f or m?
f
Let b(o) = o**2 + 6*o + 3. Let v be b(-6). Suppose -v*w = w. Suppose d = t - 2, 3*t - 5*d - 10 - 2 = w. Which is bigger: 0 or t?
0
Let n(z) = z - 4. Let w be n(6). Suppose v - h = 7, 4*v - 10 = w*v + h. Suppose 0 = -t - 5*y + 21, -v*y - 1 + 13 = 0. Is -1/4 < t?
True
Let t(y) = -y**3 - 13*y**2 - 13*y - 10. Let r be t(-12). Is 9/4 smaller than r?
False
Let j = 6 - 3. Suppose j*o = -7 + 1. Which is greater: o or -1?
-1
Let l = 38 + -192/5. Let m be ((-6)/8 - -2)*4. Suppose 0 = 5*j, m*y + 4*j = 2*y. Is y at least l?
True
Let l be 1/4 - (-2 - 0). Which is bigger: 2 or l?
l
Let b(p) = -8*p**3 - 2. Let o be b(-2). Let q be o/22 - (-4)/22. Suppose h - 4 = -q. Which is greater: -1/4 or h?
h
Let v = 272/3 - 812/9. Let l be (-1 - -1)/(3/(-3)). Suppose l = -0*k - k. Is k greater than v?
False
Let j be 0/(2*-1 + 1). Suppose 0 = 4*t - 5*t + 14. Let b = 13 - t. Which is smaller: j or b?
b
Let d = -1 - -1. Suppose 27 = 5*u - 3. Let y = -5 + u. Which is smaller: y or d?
d
Let m = -595/8 + 529/8. 