26) - 4. Is o >= 0?
True
Let u(b) = -b**3 + b**2 + 5*b + 2. Let p be u(3). Which is greater: -7/11 or p?
-7/11
Let r be 3/(-4) - (-994)/728. Is 2 less than r?
False
Let v = 79.7 - 81. Is -3 >= v?
False
Let t = -22 + 16. Let m be t + (-1 + 0)/1. Let g = 8 + m. Which is smaller: g or 0?
0
Suppose 12*q - 4 = 16*q. Is -1/61 > q?
True
Let w = 7 - 12. Let u = 1.2 + -0.2. Which is bigger: w or u?
u
Let v(q) = -q**3 + q**2 - q - 4. Let a be v(0). Let z be 2/(-3)*18/a. Suppose 0 = -4*b - 0*b + 8. Is z at most b?
False
Suppose 0 - 1 = w. Suppose 0 = -a - 2*a + 9. Suppose a*v + 4 = -2. Which is smaller: w or v?
v
Let k be (-12)/(-10)*(-15)/(-12). Is 0 equal to k?
False
Let o(u) = u**2 + 4*u - 17. Let f be o(-7). Which is smaller: -6 or f?
-6
Let g be 4 + -5 - (0 + 4). Is g greater than -29/7?
False
Let n = -7.1 + 7. Which is smaller: -1/2 or n?
-1/2
Let z = -3/116 - -427/7540. Is -1 <= z?
True
Suppose -11*w + 5*w - 222 = 0. Is w greater than -38?
True
Let t be (-2 - -1)*(3 + -4). Suppose -g + 3 = -4*g + k, g + k = -1. Let p = t + g. Which is greater: p or 0.7?
0.7
Let i = 15 - 8. Let l = 30 - 19. Let w = 19 - l. Which is bigger: w or i?
w
Let f = 0.1 + 0. Let d = -9.9 + 5.9. Are d and f equal?
False
Suppose -4*q = -4*j - 28, 2*j + 22 = 2*q - 2*j. Is q greater than 2?
True
Let g(f) = f**2 - 14*f + 14. Let c be g(13). Let x be (-116)/(-44) + -3 + 0. Which is smaller: c or x?
x
Let y be ((-1)/(-5))/(-1 + 0). Let g = 9.1 + -9. Let h = g - 0. Which is smaller: y or h?
y
Let y(x) = -x**3 + 15*x**2 - x + 15. Let t be y(15). Which is greater: t or -2/87?
t
Let b = -4 - -5. Let m = 0.9 - b. Is m != 0.3?
True
Let y be 0 + (-6 - -8) - (-2 - -3). Is y at most 1?
True
Let c = -10 + 6. Let v(p) = p**2 - 9*p. Let b be v(9). Let m = -3 + b. Is c at most m?
True
Suppose 4*g - 3 = -u + 4*u, 5*u = 5*g - 10. Is u greater than or equal to -2?
False
Let d be (5/(-15))/(5/(-3) - -2). Is d greater than 3/20?
False
Let z = 19 + -16. Let w = z - 4. Is -2 bigger than w?
False
Let m = -3 - -16/5. Let s = -2 + 4. Let h(y) = y**3 - 3*y**2 + 2*y. Let v be h(s). Is m not equal to v?
True
Let c(w) = w - 4. Let h be c(-2). Is -4 at least as big as h?
True
Let l be (-1 + -2)*(-12)/(-9). Suppose -u + 8 = -0*u. Suppose 0*p + 4*p = -u. Which is smaller: l or p?
l
Let z = 3.9 + -4. Is z <= -2/11?
False
Let a = -0.02 + -0.98. Which is greater: -14 or a?
a
Let x(f) = -f**3 + 3*f**2 + 10*f - 6. Let o be x(5). Which is bigger: -5 or o?
-5
Let i = -6.7 - -7. Let o = 0 + 9. Let k = 79/9 - o. Which is greater: i or k?
i
Let u = -601/26 - -23. Which is greater: 1 or u?
1
Let z(m) = 3*m**3 - 7*m**2 + 3*m - 8. Let y(v) = 2*v**3 - 7*v**2 + 2*v - 8. Let q(l) = 4*y(l) - 3*z(l). Let a be q(-7). Which is greater: a or 1?
1
Let h(u) = -4*u**2 + 7*u - 17. Let m(i) = i**2 - 2*i + 4. Let l be (-1 + -1 + 3)*-9. Let c(y) = l*m(y) - 2*h(y). Let x be c(3). Are 1/3 and x non-equal?
True
Let g be 77 + 24/3 + (-8 - -4). Are 81 and g nonequal?
False
Let x(g) be the first derivative of -g**3/3 - 15*g**2/2 - 20*g - 6. Let b be x(-14). Which is smaller: -7 or b?
-7
Let y(i) = -i**3 - 1. Let k(f) = -f - 1. Let n be k(-1). Let r be y(n). Is -2 <= r?
True
Let n = -77 + 76. Which is smaller: -24 or n?
-24
Let s = 3 - 1.8. Is -0.1 greater than or equal to s?
False
Let y(z) = z**3 + 9*z**2 - 2*z + 1. Let s be y(-9). Suppose f + 11 - s = 0. Is f != 8?
False
Let q = 17 + -8. Suppose -2*g + q = -5*g. Which is smaller: -4 or g?
-4
Let u = 3492/5759 - -4/443. Is 2 smaller than u?
False
Let a(k) = k + 11. Suppose s - 2*q = -8, 0*q + 3*q - 37 = 4*s. Let y be a(s). Let b = -40 - -39. Which is greater: y or b?
y
Let d = -19 + 28. Let y(j) = 4*j - 9. Let o(m) = -7*m + 18. Let g(s) = -3*o(s) - 5*y(s). Let k be g(d). Which is smaller: k or -3/4?
-3/4
Let p = 0.09 - 1.79. Let b = p + -0.3. Let m = -5 - -6. Is m smaller than b?
False
Let r = 58 + -58. Let f be ((-1)/(-12))/(3/(-13264)). Let z = -368 - f. Which is bigger: r or z?
z
Let q = 12 - 13. Let u be ((-3)/q + -3)*1. Let l = -27 - -80/3. Which is smaller: l or u?
l
Let y = -4 - 4. Let z be (-2)/(-5) - y/(-45). Which is smaller: 0.1 or z?
0.1
Let v = -15.949 + -0.151. Let w = -5 - v. Let c = 11 - w. Which is smaller: 0.08 or c?
c
Suppose 3*n + 26 = -7. Let h be -4 + (-1)/(n/50). Which is smaller: 2 or h?
h
Let n(j) = j - 1. Let b be 6/(-15) - (-8)/20. Let u be n(b). Suppose -5*v + 6 = 1. Is u at most as big as v?
True
Let o = -5 - -2. Let i = -2 - o. Which is smaller: i or 3?
i
Let u(n) = -3*n + 4. Let t be u(-13). Are 42 and t equal?
False
Suppose -3*q + 150 = -0*q. Let v be q/8 + (-3)/12. Is 4 < v?
True
Suppose t + 0 = 10. Suppose 0 = m - 5, -3*j - m = -0*m + t. Let g = 1 + j. Which is greater: -3 or g?
-3
Let w = -39 - -39. Let c = -13917/7 + 1984. Let v = c + 4. Which is smaller: v or w?
v
Let c be -18*(0 + 2)/2. Which is smaller: -20 or c?
-20
Let v(m) = 16*m**2 - 1. Let g be v(-1). Which is smaller: g or 17?
g
Let b = 2.3 + -17.3. Let v = 10 + b. Is -2/7 bigger than v?
True
Let l = -0.02 + -0.28. Which is bigger: l or 2?
2
Let g(b) = -2*b - 16. Let m be g(-8). Is 1/26 equal to m?
False
Suppose 1 = 5*a - 9. Let f be ((-8)/(-20))/(((-4)/11)/(-2)). Which is smaller: a or f?
a
Let i(x) = -x**2 + 9*x + 10. Let y be i(8). Let o = -28 - -46. Does o = y?
True
Let f(u) = u**3 + 6*u**2 - 7*u + 1. Let q be f(-7). Let b = -0.2 - -0.3. Which is smaller: q or b?
b
Let l(m) = -m**2 + 1. Let r be l(0). Let k be r + (-1)/((-12)/(-9)). Which is smaller: k or -1/2?
-1/2
Let b = 3 + -4. Let q = -1 - b. Let k be ((q - 3)/(-18))/(-1). Which is smaller: -1 or k?
-1
Suppose 5*d + 0*d + 2*r = 22, 5*d - 2*r - 18 = 0. Is d at most as big as 7?
True
Let n(c) = -6*c + 3. Let a be n(3). Let t = 15 + a. Which is greater: 12/11 or t?
12/11
Let f(k) be the second derivative of -k**4/12 - 3*k**3/2 + 9*k**2/2 - k. Let z be f(-10). Let i = -9 + 8. Are i and z unequal?
False
Suppose 2*l + 24 = l + 4*b, -2*l + b = 20. Are -11 and l non-equal?
True
Suppose -y = -7 + 1. Suppose 0 = -2*h - 16 + 2. Let m = h + y. Is 0 at most m?
False
Let f(m) = -m**3 - 8*m**2 - 8*m + 5. Let g be f(-4). Are g and -0.1 nonequal?
True
Let z = -3.4 + 2.9. Which is bigger: z or 6?
6
Let m be 2/(-4)*(-2 - 0). Let p be (296/(-33))/((-82)/3). Let a = -6/41 + p. Which is bigger: a or m?
m
Let t(i) = -i**2 - 5*i + 10. Let x be (-1)/(-5) + 108/(-15). Let f be t(x). Let r = 1 + f. Is r less than -2?
True
Suppose -18 = -2*l - l. Let h(t) = t**2 - 4*t - 7. Let w be h(l). Are 1 and w non-equal?
True
Let r = 18.3 + -18.23. Which is smaller: 0.5 or r?
r
Let q be (-10)/(-3)*21/14. Suppose 5 + 0 = -q*p. Which is smaller: -2 or p?
-2
Let s = 1 + -1.1. Let k = 0 - s. Suppose -o - 4*a = -20, 5*o = 2*a - 7*a + 25. Which is smaller: k or o?
o
Let y(s) = -6*s - 2. Let b be y(-2). Let d = 8 - b. Let k be (-20)/21 + 2/7. Does d = k?
False
Let m(l) = -l**3 - 6*l**2 + 5*l - 10. Let n be m(-7). Suppose 0 = -n*v + 20 - 0. Let c be (-4)/(-10)*v/6. Which is bigger: 1 or c?
1
Suppose 3*z + 12 = 15. Is z != 4?
True
Suppose 2*j = -0*j + 8. Suppose -4 = -b - 2. Let d be (8 - 3)*b/5. Is d equal to j?
False
Let d = -107/5 - -20. Suppose -2*y - 4 = -0*y. Which is greater: y or d?
d
Suppose 2*f + 3*f = 0. Let j = 1367/3 - 445. Let h = -12 + j. Which is smaller: f or h?
h
Let s = -3 - -6. Let o be -8 + 2/6*s. Let u be (-16)/3*9/6. Is u less than o?
True
Suppose -2 = -3*l + 4. Let r be -4 - (-4 + 3 - l). Which is greater: r or -2?
r
Let b be -1 - 2 - (-9 - -6). Is b != -2?
True
Let j be -3 + (1118/(-14) - 2). Let h = -85 - j. Is 0 greater than h?
True
Let o(x) = 6*x**2 - 14*x**2 - 2*x**3 + 7*x**2. Let a be o(-1). Let s = 59/220 - 1/55. Do a and s have the same value?
False
Let g = 1325/4 + -2635/8. Which is smaller: g or 2?
g
Let v = 0.21 + -0.19. Let y = -0.04 + v. Is y at most as big as 0.1?
True
Let l be 18/8 - (-2)/(-8). Suppose 5*h - 3 = c + 3*c, 2*h - 2 = l*c. Which is smaller: c or 0?
c
Let g be (-2)/(-5) - (-4)/(-10). Suppose 4*f - 3*j - 19 = 0, 3*j + 13 = -0*f - 2*f. Suppose -s - f = -2*s. Is g equal to s?
False
Let z be ((-3)/18)/(((-63)/(-6))/7). Which is smaller: z or -0.2?
-0.2
Let d = -3.6 + 3.6. Is 2 <= d?
False
Let r = 2/1981 - -291197/9905. Let w = -29 + r. Let f = 111/5 + -22. Is f < w?
True
Suppose 0 = 2*q + 2*q - 228. Suppose q + 75 = -4*u. Let d be (12/u