79 or c?
2/179
Let q(z) = -2*z**2 - 40*z - 40. Let c be q(-16). Is 86 at least as big as c?
False
Let u(z) = 2*z**3 - z**2 + 15*z + 27. Let k be u(-2). Which is smaller: k or -24?
-24
Let z = 157 + -153. Suppose 0 = -g + 5*r + 3 + 12, -z*r - 3 = g. Let c(s) = 2*s**2 - 4*s. Let j be c(3). Which is smaller: g or j?
g
Suppose 0 = 4*t - 2*i - 42, -5*t - 2*i + 4*i + 51 = 0. Let h be 16/72 - 29/t. Let g(l) = -l**3 - 4*l**2 - 3*l - 7. Let v be g(h). Is v > -2/5?
False
Suppose -64 = -27*w - 64. Is w smaller than 4/9?
True
Let r = 0 - -3. Let o = 27 + -30. Let c = o + r. Is 1/2 greater than or equal to c?
True
Suppose 0 = 6*q - 4*q + 44. Which is smaller: q or -24?
-24
Let s be 72/(-4 + 3) + -4 + 7. Is -66 at least s?
True
Let c be (-1 - 0)*(-28 - 3). Let p = 7 - c. Let n be (-136)/p - (-1)/3. Are 6 and n non-equal?
False
Let i(y) = -22*y + 21. Let a be i(1). Is -0.7 at least as big as a?
True
Suppose -3*s - 31 = -10. Let w(h) = h**2 + 3*h - 16. Let p be w(s). Which is greater: p or 14?
14
Let k = -0.05 - -0.15. Suppose 5*u + 0*v = -v + 22, -2*u - 2*v = -12. Suppose 0 = -4*t + f - 24, -5*f + 6 + 18 = -u*t. Which is bigger: t or k?
k
Let t = 36 + -35. Let s be -1 - 0 - (2 - (-5)/t). Let m(a) = a**2 + 6*a + 2. Let v be m(-4). Which is smaller: v or s?
s
Suppose -q + 47 + 2 = 0. Suppose y + 0*w - w = q, 5*y - w - 257 = 0. Which is greater: y or 1?
y
Suppose 10*l - 15*l = 0. Suppose l = 2*o - 8 - 0. Suppose o*z = 4 + 16. Is 2 not equal to z?
True
Suppose 7*s - 4 = 3*s. Is s less than 3/8?
False
Suppose 667 = -4*p + 4*h + 31, -5*h - 171 = p. Are p and -323/2 unequal?
True
Suppose -21 = -2*w - 33. Let v be (2/(-6))/((-4)/w)*-36. Is v >= 20?
False
Let i be (-40)/70*(-14)/(-18). Let f = -801 - -800.9. Does f = i?
False
Suppose -12*n + 2*n - 340 = 0. Let l be (-1 - 3) + (-140)/n. Is 2/3 greater than l?
True
Let o = -97 + 228. Let y = o + -115. Do y and 3/7 have different values?
True
Let l = 5.5 - 7. Let n = l + -0.5. Let c = 7 + n. Which is greater: c or 0?
c
Let c = -403 - -680. Which is smaller: c or 278?
c
Suppose -2*w + 5*m = 722, 1083 = -3*w - 10*m + 6*m. Which is greater: w or -360?
-360
Suppose -y + z + 3 = 0, -4*y - 2*z = -0*y. Suppose -y = -5*f + 4*f. Is 1 greater than f?
False
Let l be 2/(-2 + 15/6). Suppose l*d + 7 + 33 = 0. Suppose -3*s + 1 = 34. Do d and s have the same value?
False
Suppose 3*c - 10 = -4*p, 0*c - 4*c = -2*p + 16. Suppose 130 = 5*w + 2*b, -p*w = 2*b + 2*b - 104. Which is greater: w or 27?
27
Suppose 26 = 11*t + 2*t. Suppose 6*i = t*i - 24. Is -2 smaller than i?
False
Let v = 1727 - 1726. Is v equal to -1/596?
False
Let r be 6/69*4/((-32)/(-6)). Which is smaller: 1 or r?
r
Suppose 0 = -5*r - 3*s + 1046, r = 6*r + 4*s - 1043. Which is smaller: 210 or r?
210
Suppose 1 = n + 6, 3*n + 12 = -3*a. Let f be a/2 - 25/(-10). Let g(p) = p**2 - 5*p - 1. Let s be g(5). Which is smaller: f or s?
s
Let t = -13015076/2559 - -5086. Is t bigger than 0?
False
Let r(m) = m**3 - 9*m**2 + 9*m - 11. Suppose -3*o + 24 = -0*o. Let f be r(o). Which is bigger: f or -6?
f
Let s = -1301 - -1477. Which is bigger: s or 175?
s
Let u = -215 - 36. Is -250 bigger than u?
True
Let g(k) = k**3 - k - 6. Let c be g(0). Let x(s) be the first derivative of s**4/4 + 7*s**3/3 + 2*s**2 - 8*s + 3. Let h be x(c). Is 3 bigger than h?
False
Let l = 0.144 + 79.856. Let s = -80.8 + l. Which is smaller: s or 2?
s
Let j(x) = x**3 - 12*x**2 + 13*x - 6. Let i be j(11). Let p be 3*(-4)/12*i. Which is greater: -17 or p?
p
Let v(w) = w**3 + 15*w**2 + 16*w - 1. Let q be v(-14). Let f = q - -48. Let r = f + -19. Is 0 greater than r?
False
Let t be (4 - 0) + 112/(-28). Which is bigger: t or -4/663?
t
Let y(p) = -p**2. Let z be y(-4). Let j = z - -7. Let k = 0 + -8. Is k < j?
False
Let s be (2 - 0)/((-34)/17). Is -3/472 >= s?
True
Let r(w) = -w**2 + 4*w - 2. Let d be r(5). Let a(b) = -b - 6. Let q be a(d). Is -1/47 less than q?
True
Let l = -0.56 - -0.06. Let v = l + 0.4. Is v < 1/17?
True
Suppose -3*o - 12*o + 2085 = 0. Which is smaller: 141 or o?
o
Let g = -59 - -60.85. Let f = -0.15 - g. Let x = 0.36 - 0.46. Which is greater: x or f?
x
Let m be (-75)/250 + (1077/(-10) - 1). Which is bigger: -215/2 or m?
-215/2
Let b = -8.79833 + 0.19833. Let r be 0 - 4/6*1. Is r <= b?
False
Let y = 44 + -44. Is -5 greater than or equal to y?
False
Let k = 268 + -319. Is -1 at least k?
True
Let i be 60/(-105)*26/(-8). Is i less than 0.2?
False
Let d(p) = -p**3 + 11*p**2 - 23*p - 7. Let w be d(3). Let a be (-10)/45 - (-16304)/(-5445). Let y = a - -2/121. Which is bigger: y or w?
y
Let b = 38 + -110/3. Suppose 4*l + 8 = -3*a, -5*a - 2*l + 2 = -3*l. Is a greater than b?
False
Let p = 86 + -58. Let x be (36/p)/((-9)/6). Suppose 5*t = -i - 5, 3*t + 4 = -t + 3*i. Which is greater: t or x?
x
Suppose -5*u - 4*v + v = -4905, -u + 979 = v. Is u != 983?
True
Suppose 12*d + 213 + 27 = 0. Is d less than or equal to -19?
True
Let h be (-1)/((-134)/(-68) - (-14)/(-7)). Is 34 greater than or equal to h?
True
Let x = -0.36 - -0.24. Let n = x - -0.02. Let k = 1.08 + -0.08. Is k at least n?
True
Suppose -42*u + 61*u - 190 = 0. Let j = 5 - -1. Suppose 4*v - j = u. Is 7 at most v?
False
Let y = -94 - -104. Let t = y + -9. Which is greater: 1/4 or t?
t
Let u be 17 - 104/(9 - -4). Is 25 > u?
True
Let z be ((9/3)/12)/(297/(-216)). Which is bigger: -58 or z?
z
Let a = 405 + -475.9. Let h = a + 65. Let v = -6 - h. Is 2 less than v?
False
Let s(y) = -y**2 - 12*y - 1. Let t(j) = -j**2 - 11*j - 2. Let m(l) = 2*l**2 - l + 4. Let o be m(0). Let c(a) = o*t(a) - 3*s(a). Let f be c(-7). Is 1 at most f?
True
Let s be (72/30)/(-2)*30. Is -42 less than or equal to s?
True
Let h be (-7 - -4)/(3/(-76)). Suppose 4*k + h = 892. Let v = k + -2654/13. Which is bigger: v or -1?
v
Suppose -a = -6*a + 5. Let v(h) = -h**3 + 1. Let u be v(a). Which is smaller: u or -8/15?
-8/15
Let f(a) = -a - 4. Let o be (-4)/18 - 896/(-63). Suppose 11*z - 39 = o*z. Let t be f(z). Is t at most as big as -2/5?
False
Let m(h) = h**2 + 5*h + 2. Let c be m(-5). Suppose 5*d + 2 - 7 = t, 10 = c*t. Let y be (-6*1 - -3) + d. Which is greater: -2/35 or y?
-2/35
Suppose 0 = 4*b + 5*g - 22, b - 6 + 2 = -2*g. Suppose -3*k + b = k. Let y be (-1 + (-12)/(-20))/k. Which is greater: y or 0?
0
Let m be 6/9 - 80/210. Is -65 at least m?
False
Let y(c) = 9*c**2. Let k be y(1). Let n be (-2)/(-6)*k/(-24). Let g = -15 - -16. Which is bigger: n or g?
g
Let i be 1110/(-22) + 11/(121/(-6)). Is i bigger than -51?
False
Let v be (162/15)/((-4 + 5)/5). Let c be 3/(v/4) - 89/117. Do c and 0 have the same value?
False
Let p = 837 - 2513/3. Let i = 3.1 + -3. Which is greater: i or p?
i
Let p be (-1)/(2 + (-9)/5). Let j(o) = 0*o + 4*o - 1 + 2 - 7 + o**2. Let h be j(p). Are h and 5 non-equal?
True
Suppose 0 = -m - 4*i + 3830, 4*m - 4*i = -2*i + 15248. Let b be (-7)/(-28) - m/(-112). Let z = b + -311/8. Which is bigger: z or -4?
-4
Let s = 762 + -650. Do s and 0.04 have different values?
True
Let s(p) = -p**3 + 16*p**2 + 1. Let l be s(16). Let r(v) = v**2 + 5*v - 2. Let j be r(-5). Which is bigger: j or l?
l
Let n = 346 - 427. Is n bigger than -81?
False
Suppose 13 + 32 = -3*u. Let h = u + 25. Let f be 0 + (2 + 0)/h. Is f at least 0?
True
Let f(p) be the second derivative of p**3/2 - 20*p**2 - 7*p. Let q be f(12). Is -4 bigger than q?
False
Let p be (-2 - -2) + 1 - 4/4. Let t = -18 + 26. Let l be (4/(-5))/(t/(-20)). Which is smaller: l or p?
p
Let l = -0.05 - -0.1. Let r = 75.95 - 76. Let b = r - l. Is b less than -0.02?
True
Let r(u) be the first derivative of -3*u**4/4 + u - 9. Suppose -4*v + 4*y = -v - 19, 2*v = y + 6. Let k be r(v). Which is bigger: k or -3?
k
Let s be 3/((-66)/(-19)) - 12/(-24). Is 2 > s?
True
Let s = 0.08 - 2.2. Let z = -2.2 - s. Let n = -7 + 7.1. Which is smaller: n or z?
z
Let k = -32/7 - -146/35. Let u = -168 + 167.55. Let v = -0.45 - u. Which is smaller: v or k?
k
Suppose p + 21 - 6 = 4*y, 0 = p + 3. Suppose y*j = 1 - 16. Is j at least as big as -11/3?
False
Let c = 11568 - 150528/13. Is -11 > c?
True
Suppose 0 = -2*s - 3*h + 3 - 10, h = -3*s. Suppose 0 = 5*v + 5, -w - 5*v = 4 + s. Let r be (-3 - (-8)/2)*-1 + -2. Which is bigger: r or w?
w
Let g(d) = d**2 + 7*d + 5. Let q be g(-4). Let x be 2/5 + (-256)/(-10). Let r = -32 + x. Which is smaller: r or q?
q
Let p = -79 - -2