 third derivative of -x**5/60 + 3*x**4/8 + 3*x**3/2 - 15*x**2. Suppose 10 = 2*y, 0 = -4*r - y + 26 + 19. Let n be l(r). Does n = -2/7?
False
Suppose u - 36 = -3*u. Are 8 and u unequal?
True
Let q(l) = -l**3 - l**2 + l + 1. Let u be q(0). Let a = 198/205 - 14712/205. Let c = a - -71. Which is smaller: u or c?
c
Let h(b) = b**2 + 6*b + 4. Let z be h(-6). Suppose 2*g + 2*i + 234 = -0*g, -3*g + 4*i = 330. Let x be (-6)/33 - g/22. Which is bigger: z or x?
x
Let f = 0.3 - 0.4. Is f less than 1/4?
True
Let b be (-3)/(-6) - 1/2. Let p be (-1 + b)*(-2 + 3). Let m be p/(-3) + (-6)/(-9). Does 1/2 = m?
False
Let w be 0*(1/2 - 1). Let j be (-179)/(-519) + 0 + 0. Let g = -2/173 + j. Is g at most w?
False
Let i(d) = -2*d**3 - d**2 - 4*d + 1. Let x be i(-3). Suppose 0 = 5*g - 12 - x. Let f be 4/(-63) - (-4)/g. Is 0.1 < f?
True
Let y = 80.1 - 84. Let v = y - -4. Let k = 1 - -1. Is v greater than or equal to k?
False
Let f be (-15)/58 + (-11)/(-44). Let i = f + 371/2668. Which is greater: i or 0?
i
Suppose 5*i = w + 18, -4*w + 4*i - 13 = -5. Suppose w = -0*t - t. Are t and -2 nonequal?
False
Let l be (27/(-18))/(1/(-2)). Let x be (-14)/8*(-4)/l. Does x = 3?
False
Suppose 3*j + 3*d = 0, -j - d = 4*d + 8. Is j > 7/4?
True
Let g(s) = -5*s**3 - 1. Let o be g(-1). Suppose -2*x = 2*c - 14, -2*c - 4*x = -7*c + 8. Is o at most c?
True
Let b = 7 - 12. Let k = b + 5.1. Which is smaller: -0.05 or k?
-0.05
Let p(l) = l**2 + l - 5. Let j = 10 + -10. Let o be p(j). Is -5 smaller than o?
False
Let h = 80 - 79. Is h <= -5/23?
False
Let c = -7 + 1. Is c != -8?
True
Let c = 0.08 - -0.92. Let j = 0.02 - -0.05. Let a = 0.37 - j. Is c bigger than a?
True
Let o be 2*1*(-5)/2. Suppose 0*x - z - 30 = 5*x, 5*z = -25. Is o less than or equal to x?
True
Suppose -5*k + 5 + 0 = 5*q, 2*q + 5*k - 8 = 0. Is q != 3/7?
True
Suppose 9*a - 11*a + 14 = 0. Let v(k) = -4*k**3 + 2*k**2 - 1. Let q be v(-1). Let p = a - q. Is 2 at most as big as p?
True
Let t(k) = -k + 6. Let n be t(0). Let a be (-1)/(-2)*(0 - n). Is -3 less than a?
False
Suppose 4*u + 5*u + 837 = 0. Is u less than -94?
False
Let h = -4 + 3.6. Let d = h - 0.6. Which is bigger: d or 0.1?
0.1
Let i(y) = y**2 - 8*y - 7. Let x be i(8). Let b = -332 + 2342/7. Let g = b - 43/14. Is x greater than or equal to g?
False
Let h be (9/3)/(-3)*1. Let s = -7/37 + -62/259. Which is greater: s or h?
s
Suppose 29*z = 28*z - 1. Which is greater: z or 3?
3
Let z be (187/(-55))/(1/(-5)). Is 17 < z?
False
Let b = -1125968/13155 - 20/2631. Let u = b + 86. Are 1 and u nonequal?
True
Let o be (-2)/5 + 0 + 0. Suppose 5*v + 0 = 5. Which is smaller: v or o?
o
Let j be 1 + 0 + (-15)/3. Let m(w) = 4*w - 5. Let h be m(j). Let a be ((-4)/h)/(36/42). Is -0.2 bigger than a?
False
Let d = -2 - 2. Let j(o) = -o - 3. Let n be j(d). Which is bigger: n or 0?
n
Let l = 223 - 663. Let o be 2/5 - (-86)/l. Let m = -6/11 - o. Which is smaller: -1 or m?
-1
Let o be ((-12)/(-10))/((-6)/(-20)). Suppose 5*b = 5*n - 5, 5*n - 12 = 2*n. Is b greater than o?
False
Suppose -1 = -4*r + 5*r. Suppose 0 = -2*y - 6. Is y at most as big as r?
True
Let v = 687/5 - 137. Let z = -0.36 - -0.06. Let l = 0.2 + z. Which is smaller: v or l?
l
Let q(g) = g**3 + g**2 - g - 11. Let p be q(0). Which is greater: -23/2 or p?
p
Let a = 0 + -1. Let f = a + 0. Let b = 0 + -0.1. Which is smaller: b or f?
f
Suppose -5*u = a - 28, 4*u + 0*a = -2*a + 26. Suppose 3*z = -3*w + 12, 3*z + 18 + 18 = u*w. Let i be 6/(-126) + 2/w. Which is bigger: 1 or i?
1
Let l be (-10)/(-8)*(-4)/(-50). Which is smaller: l or 1?
l
Let l(r) = r - 3. Let m(w) = -5*w - 12. Let s(p) = -p - 1. Let f(j) = -m(j) + 4*s(j). Let h be f(-5). Let t be l(h). Is 0 > t?
False
Let v be 1 + -20 + 1 + 3. Let y be 3/(9/v) + -1. Let p be 2/y*(-2 + 11). Is -1 not equal to p?
True
Let j(s) = s**2 + 6*s + 5. Let n be j(-5). Are n and 2/53 non-equal?
True
Suppose -348 = 6*y + 6*y. Which is greater: y or -30?
y
Let f be 6/4 + (-242)/156. Which is smaller: 0 or f?
f
Let b(z) = -z**2 - z + 2. Let g be b(-2). Suppose -2 = -g*i - 2*i. Let j = 2 + -1. Does i = j?
True
Let f(v) = 0*v - 12*v**2 + 10*v**2 + 2*v. Let c be f(3). Do -12 and c have the same value?
True
Let o = -1865/6 - -310. Let u = -5 + 4. Which is greater: o or u?
o
Let b = -45 + 63. Suppose 4*y + 12 = -5*t, -4*y + 6 - b = 4*t. Suppose t = -0*r - 5*r - 5. Is -1 equal to r?
True
Let y = -26 + 26.2. Is y less than -16?
False
Let x be (-2)/8 - (-212)/656. Let z = x + -129/82. Which is smaller: z or -2/7?
z
Let s = -9.05 + 0.05. Which is smaller: s or 2?
s
Let u(g) = 2*g. Let s be u(2). Suppose -3 = -s*y + 3*y. Is 3 at least y?
True
Let h = -146 - -143. Are h and -3 unequal?
False
Let y be (-5)/2 + 4 + 2/(-4). Is y smaller than -1/21?
False
Let p be (-4)/(-12) + (-5)/(-3). Suppose -2*k + 8 = -5*l, 1 = -5*k - p*l + 4*l. Let x(i) = i. Let g be x(k). Which is greater: g or 1?
1
Let k(d) = d**3 - 28*d**2 - 30*d + 20. Let l be k(29). Let t be -1*(1 + 7*1). Are l and t non-equal?
True
Let x be (-1)/2 + (-6)/4. Let h = 886/3 - 298. Do h and x have different values?
True
Let s = 2 + -1. Let f = -9 + 6. Which is smaller: f or s?
f
Let z = -25 + 20. Do z and 1 have the same value?
False
Suppose z - 2 = l - 0, 2*l = -3*z - 9. Do l and -3 have different values?
False
Let o(j) = j + 3. Let c(q) = 2*q + 7. Let z(v) = -3*c(v) + 7*o(v). Let f be z(1). Let g be -2 - f - 105/(-40). Which is smaller: g or 1?
g
Suppose -4*v = -i + 5, 0 = 7*v - 2*v - i + 7. Is v at most as big as 7?
True
Suppose 0 = -t - 12 + 8. Let h be (-2 - t) + 26/(-8). Do -2 and h have the same value?
False
Let m be 3 + -3 - 2/(-6)*-100. Do m and -32 have the same value?
False
Let t be (-6)/42*((-60)/16 + 2). Let w = 0.1 - 0.12. Which is smaller: w or t?
w
Let a = -6 - -6.08. Let d = -5.08 + a. Let h = 5.1 + d. Which is smaller: -3 or h?
-3
Suppose 4*b + 14 = 3*k, 2*k + 2*b - 6 = 3*b. Let u(d) = -2 - 3 + 4 + d**2 - d. Let q be u(k). Is q bigger than 4?
False
Let a be 0*2*4/24. Is a equal to -1/11?
False
Let o = -4 + 4. Let g = 0.1 - o. Let b be (-2)/(-4) + (-2)/2. Which is smaller: b or g?
b
Let c = -33 + 32.9. Do 2/3 and c have different values?
True
Let f(m) = -m - 1. Let w(o) = o**3 + 5*o**2 - 4*o + 8. Let t be w(-6). Let r be f(t). Suppose r*s + s = 3*x - 32, x - s - 9 = 0. Is x at least as big as 4?
True
Suppose -3*p - 9 = -3*c + 6*c, c + 4*p = 0. Let t(a) = 3*a**3 + 2*a + 1. Let o be t(-1). Is c less than o?
False
Let f be 4/14 - (870/385)/6. Which is greater: f or 1?
1
Let q = 0 - -2. Is 0.1 at least as big as q?
False
Let a(o) = -o**3 + 2*o**2 + 2*o - 2. Let l be a(2). Let b(k) = -k + 2. Let q be b(0). Suppose 4*t = q + 2. Is t < l?
True
Let l = -8 + 6. Let r be -4*(l - -3) - 2. Let t be 4/6*r/(-14). Do t and 2 have different values?
True
Let z = 0 + -10. Do z and -8 have the same value?
False
Let m(c) = -c**2 + 2. Let p be m(4). Are p and -12 unequal?
True
Let b be (-4)/(-6) + (-3290729)/(-231). Let c = -14246 + b. Let h = c - -2/11. Are 1 and h nonequal?
True
Let h be (-1)/2*4220/14. Let v = h + 151. Let m = 98 - 99. Which is bigger: m or v?
v
Let u = -7 + 12. Suppose -k - u = -2. Let b be -2 - 1 - (1 - 2). Is b at least as big as k?
True
Let y be (-1)/2*(-24)/52. Is -3/4 less than or equal to y?
True
Let d = 3.1 + 0.9. Let r = d - 2. Which is greater: -2 or r?
r
Suppose 3 = b - 1. Suppose 5 - b = m. Which is bigger: m or 1/5?
m
Suppose -2*i = 2*j - 2, -i - 3*j + j = -1. Let n(b) = b**2 + 2*b + 1. Let h be n(-1). Is i bigger than h?
True
Let g(m) = -m + 1. Let c = 2 + -1. Suppose 2*p + c = 3*p. Let x be g(p). Is -2 less than x?
True
Suppose 4*l - 3*l = -c + 2, 0 = 5*c - 3*l - 10. Let k be c/((-6)/(-9)) + 3. Which is greater: 7 or k?
7
Let p = 154 - 153. Which is bigger: p or 3/11?
p
Let c(d) = 10*d**2 - 2*d + 1. Let z be c(1). Let q be 6/z*(-2)/4. Is -1 bigger than q?
False
Let s be ((-4)/3 - -2)*24/2752. Does s = -1?
False
Let x(r) = 5*r + 96. Let t be x(-23). Which is smaller: 2 or t?
t
Let q be 8/2 + (-2)/(-1). Is q at least 5?
True
Let v(n) = 3*n + 17. Let r be v(-12). Are r and 1 unequal?
True
Let v(d) = -d**2 - 12*d - 9. Let h be v(-9). Let o = 19 - h. Is o != 1/2?
True
Let i be (-56)/(-70)*10/236. Is 0 > i?
False
Let a = -6 - -19/3. Which is bigger: a or 0?
a
Let u(l) = l**2 + 5*l - 13. Let b be u(-7). Let w be (-3)/(-2)*2036/42. Le