igger: a or -1?
a
Let y = 7 - 2. Let w be 5365/(-20) - (2 - (2 + 2)). Let x = w + 270. Is x > y?
False
Let c = 127 + -126.954. Let l = 0.146 - c. Is l at most as big as 47?
True
Let i be 3 - (-4 - (-24)/4). Let d be i - 2/(8/(-116)). Suppose 3*t + 0*t - d = 0. Is 10 greater than t?
False
Let d(g) be the third derivative of 5*g**2 - 1/12*g**4 + 0 + 5/6*g**3 + 0*g. Let b be d(4). Which is greater: b or -2?
-2
Suppose -3*q = 3*o + 6, q + 1 - 3 = -2*o. Let h be q/2 + 407/143. Which is smaller: h or 0.4?
h
Let g be (-4270)/(-25) + 4/(-2). Let y = g - 170. Is y != -1?
True
Let r = -4170 - -8101/2. Let t(p) = -p**2 - 25*p + 38. Let u be t(-21). Let d = r + u. Is 0 greater than or equal to d?
False
Suppose 0 = -2*s - 224 + 82. Is -70 greater than s?
True
Let o = -5.55 - -0.65. Let c = -7.9 - o. Let s = 6 + -5.7. Which is greater: s or c?
s
Let g = 48 + -45. Suppose g*n + 5*x = n - 35, 0 = -n - x - 10. Which is smaller: 3 or n?
n
Let u = -2/59 - -63/118. Let w = 274 - 6575/24. Let x = 59/264 - w. Which is greater: x or u?
u
Let t(b) = -b + 5. Let f be t(6). Let p be ((-18)/(-5))/((-129)/24870). Let u = -694 - p. Is u < f?
False
Let p be 3*(-2)/10 + (-1926)/(-10). Suppose 4*a + 0*r + p = -2*r, 0 = a + 5*r + 39. Which is bigger: a or -47?
-47
Let g(y) = -34*y - 307. Let w be g(-9). Is w at least 3/58?
False
Let y = 41.69 - 2.09. Let q = 39 - y. Which is smaller: q or -1?
-1
Let u be (-19 - -25) + 5724/(-952). Is u at least -1?
True
Let l = 34 - 70. Let h be l/12 + 5/2. Suppose m = -i + 5 - 4, -3*m + 7 = 5*i. Are m and h non-equal?
True
Let a = -0.4 - -0.2. Let x = -8.85 + 9. Let i = 0.35 - x. Are a and i non-equal?
True
Let z(a) = -2*a**3 - 53*a**2 - 36*a - 89. Let d be z(-26). Is d at most 170?
False
Suppose 5*p + 120 = 5*x - 95, -x = -4*p - 163. Let c be (-2)/72*(-4)/p*-6. Are -1 and c equal?
False
Let c(l) = -4*l + 16. Suppose 0 = -k - 2, -4*g + 2*k + 16 = -16. Let j be c(g). Is j smaller than -12?
False
Let n(r) = -5*r**3 + 20*r**2 + 11*r - 26. Let b(y) = y**3 - y**2. Let j(v) = -6*b(v) - n(v). Let g be j(-13). Is 4/15 bigger than g?
True
Suppose h + h = 8*h + 4*h. Suppose -k + 2*m - 8 = k, 5*k + 3*m - 20 = 0. Is h > k?
False
Let r = 1.82 - 1.72. Is r > -71?
True
Let h be (2664/144)/(((-10)/4)/5). Which is greater: -38 or h?
h
Let s be (6/9)/(5/1160). Is s not equal to 155?
True
Let l(q) = q + 5. Suppose 92 = 3*u + u. Suppose 5*y = -7 - u. Let r be l(y). Is r >= -6/11?
False
Let k = -4 - -8. Suppose -k*u + 6 = -7*u. Let s be (0 - u)/((-88)/(-24)). Is s at least as big as 2?
False
Let u = 25.002 + -25. Let k = u + -0.402. Are k and 2 nonequal?
True
Suppose 34 + 16 = -2*d. Let w be (-51)/(-115) + 10/d. Suppose -56*y = -27*y - 30*y. Which is smaller: w or y?
y
Let i = 19.44 - 18.44. Which is greater: -638 or i?
i
Suppose -2*z = h - 14, 2*h - 3*h = -3*z + 11. Let p = 516 - 521. Let k = p + z. Does k = 2/103?
False
Let a = -0.2 - -0.19. Let y = 0.001 + 0.289. Let h = a - y. Is h greater than -1/3?
True
Let u(t) = -14 + 6 + t - 7*t**2 + 3*t + 2*t + t**3. Let c be u(6). Which is bigger: -9 or c?
c
Let x be (2/4)/(10/(-40)). Let b = x - -2. Let u be (-4 + 1 - b) + 4. Is u smaller than -1/19?
False
Let n = -170883518445/252771008 - 3/5158592. Let m = -676 - n. Which is bigger: 0 or m?
m
Let v = -49.9 - -48.9. Which is bigger: v or -4.8?
v
Suppose 0 = 5*g + 10, 2*x + 4*g + 8 = -2*x. Let r = -8668 + 8666. Are x and r nonequal?
True
Let r be -2*((-12)/15)/4. Which is smaller: r or -60.2?
-60.2
Let y(w) = 4*w - 2. Let v be y(5). Let c be (-2)/(3/12*v). Suppose 0 = 5*n + 4*h - 17, 0*n + 5*n + 10 = 5*h. Which is bigger: c or n?
n
Let z = 1121 - 1935. Which is bigger: -813 or z?
-813
Let h = -16 + -1. Let l = -3 - h. Let y = -21 + l. Is 0.3 >= y?
True
Let r be 3/(-3) - (-15)/17. Let f(c) = 112*c + 1680. Let h be f(-15). Is h <= r?
False
Let t(q) = -q**2 - 2*q - 3. Let r be t(-2). Let f(l) = 3*l - 2. Let a(b) = b**2 - 1. Let j(v) = 2*a(v) + f(v). Let d be j(r). Is d bigger than 5?
False
Let a = 0.02033 - 61.28033. Let p = a + 33.3. Let y = 28 + p. Which is smaller: 1 or y?
y
Suppose -7*l + 6*l = 17. Let q = -13 - l. Which is smaller: q or 2?
2
Let k(j) = 119*j - 108. Let y be k(8). Does y = 844?
True
Let v = -110 + 147. Let p = -37.1 + v. Let d = 0 + -2. Is p smaller than d?
False
Let h(l) = -2*l**2 - 6*l + 16. Let j be h(6). Which is bigger: -551/6 or j?
-551/6
Suppose 3*z + 5 = 8. Is -1/30 < z?
True
Suppose 5 = 27*q + 32. Is 6/35 equal to q?
False
Let u = 134952184/564129 - -1/62681. Let d = u - 239. Suppose 0 = -4*p + 2*p. Which is greater: p or d?
d
Suppose 0 = 4*f - 3*g - 674, 2*g - 6 = -2. Let v = f - 95. Which is smaller: 74 or v?
74
Let j = -1181/5 - -237. Let n = 2/5 - j. Is n < 17?
True
Let q = -10 + 22. Suppose -u - 1 = -5*g + 19, 0 = g - 2*u - 13. Suppose x - 3*x = -p + 8, -g*x = -4*p + q. Which is greater: -3 or x?
-3
Let q = -25 - -28. Suppose 5*w = 3*n - 8, 0*w - 4 = -2*n + q*w. Let c = 6 + -9. Which is smaller: c or n?
n
Let q = 115 - 119. Let v(g) be the first derivative of -g**4/4 - 2*g**3/3 + 4*g**2 + 6*g - 1. Let d be v(q). Is d not equal to 4?
True
Let b be -9 - -12 - (-11)/(-4). Which is bigger: b or -3/50?
b
Suppose -b + 4*o - 5 = -17, b = -2*o. Suppose b = 2*g + 6. Let i = 0 + 8. Which is smaller: g or i?
g
Let x be 1/1 + 5*-2. Let q = 757 + -756.9. Do x and q have the same value?
False
Let z = 7822 + -164212/21. Is 2 less than z?
True
Suppose 36 - 6 = 5*v. Suppose 0 = -4*g - 5*m + 136, -m + 5*m + 170 = 5*g. Suppose g*p = 39*p - 35. Which is bigger: v or p?
p
Let s = 2591 + -2590. Is s <= -1/29?
False
Let k(t) = -6*t - 24. Let f be k(2). Is f at most as big as -30?
True
Let l(b) be the first derivative of -b**4/4 - 7*b**3/3 - 2*b**2 - 6*b - 1. Let m be l(-7). Let y = 11 - m. Is -12 smaller than y?
True
Suppose 0 = 4*u - 12, -62 = -2*r - 5*u + 95. Let w = r - 33. Let a = -55 + w. Is -16 <= a?
False
Suppose 0 = -28*c + 26*c + 30. Which is smaller: 5 or c?
5
Let m = 5 - 9. Let a be (-2 + (-15)/(-10))*(-350)/(-42). Is a bigger than m?
False
Let i = 0.915 - 1.015. Do i and 424 have different values?
True
Let m be (3/15*5)/(0 - 1). Suppose 0*i + 15 = -5*u - 3*i, -5 = 5*u + i. Is u greater than m?
True
Suppose 5*p + 80 = -145. Let b = 36 + p. Do -10 and b have the same value?
False
Let x be (-10)/(-12)*(-234)/(-780). Which is greater: x or 0.0486?
x
Let c = -0.093 - -13.173. Let l = c + -13. Let x = 0.18 - l. Which is bigger: x or -4/9?
x
Let y = 0.275 - 0.375. Are 185/4 and y unequal?
True
Let u = -81 - -84. Is u >= 13/5?
True
Suppose 17*m - 1921 = -1904. Is m not equal to -1/804?
True
Suppose -224 - 296 = -4*l. Let f be (-5)/15 - l/(-3). Suppose -3*r + r - 11 = 5*q, 5*q - f = r. Is -18 at least r?
True
Let g = 713 - 716. Let l = -0.07 - -0.07. Which is bigger: g or l?
l
Let j = 0.142 - -0.058. Which is smaller: j or -0.005?
-0.005
Suppose 3*g + 604 = -6*z + 2*z, 0 = -3*z + 2*g - 436. Which is smaller: -147 or z?
z
Let t = -123 - -130. Let w = 18 + -13. Which is smaller: w or t?
w
Let d(r) = 2*r**2 - 9*r - 17. Let g be d(6). Let t = -4 - -7. Suppose 0*u + 2*v - 12 = -u, -t*u = -3*v + 9. Is g at least as big as u?
False
Suppose -81 = -50*n + 41*n. Are n and 14 equal?
False
Let h = -117 + 116. Is h less than -2/947?
True
Let s(t) = 9*t**2 - 2*t + 3. Let f(r) = -28*r**2 + 7*r - 10. Let k be (14/(-1))/(9 - 7). Let y(z) = k*s(z) - 2*f(z). Let x be y(-1). Is -6 > x?
True
Suppose p + x = -6, 5*x - 9 = -34. Is -1/11 not equal to p?
True
Let m = -49 + 49. Suppose 5*n - 2*n + t + 29 = m, -3*n + 4*t - 4 = 0. Which is greater: -7 or n?
-7
Suppose -88*p + 38*p = -40*p. Which is greater: -3/886 or p?
p
Let r(y) = y**3 + 3*y**2 - 3*y + 1. Let q be 3*-2*(-2)/(-4). Let p be r(q). Suppose -9*i = -0*i - 99. Which is smaller: p or i?
p
Let y(v) = -v**2 - 10*v + 219. Let d be y(-17). Which is greater: 99 or d?
d
Let k be (-5)/7*-6*2/10. Let t(y) = 3*y - 2 - 4*y + 4. Let a be t(0). Is k > a?
False
Let s(v) = -3*v - 19. Let x be s(-17). Let f = x - 31. Let c = -7 + 7.3. Is f != c?
True
Suppose -8 = -2*r - 0. Suppose -25*u = -23*u + r. Is u < -11/6?
True
Let v = 3.87 + -4.17. Is 20 at most v?
False
Let m(g) = 24*g - 235. Let x be m(14). Which is smaller: x or 103?
x
Let y = -0.035 + -19.965. Let q = -27 - y. Let r = -2.9 - -3. Is r < q?
False
Let s be 96/(-105) - 12/(