l) = 4*n(l) - 8*t(l). Let p be y(-1). Suppose -w - p = -3*q, w - 4 = -3*w + 3*q. Is w >= 2?
True
Suppose -3*t - 16 = t. Let s(p) = 3*p. Let q(y) = y. Let h(n) = t*q(n) - s(n). Let v be h(1). Is -5 less than v?
False
Let b be (-20)/5 - -4 - -20. Suppose -2*h = l + 8 - 3, 0 = 4*l + b. Which is smaller: h or -3/10?
-3/10
Let c be 3/(42/(-2048)) - 1. Let j = c - -147. Let y = 4.204 - 3.104. Which is greater: j or y?
y
Let b = -1.7 + -2.3. Let k = 21 + b. Let a = k + -17. Which is smaller: -2/55 or a?
-2/55
Let l(g) = -g + 2. Let c be l(3). Let k be 0 + 1 + 0 + c. Let h be (-9 + -3 - -4)*(-2)/(-18). Is h less than k?
True
Let l be ((-8)/(-7780))/((-1)/5). Which is bigger: l or 0?
0
Let h(v) = v**3 + 10*v**2 - 4*v - 39. Let k be h(-10). Which is smaller: -120 or k?
-120
Let m = -50 + 13. Suppose -3*g = -126 + 21. Let q = g + m. Is q greater than -3/2?
False
Suppose -13 = -5*m + 7. Suppose 0 = -5*d - m - 1. Which is bigger: d or -4/15?
-4/15
Let k(u) be the second derivative of u**5/120 - u**4/8 - u**3 - 7*u. Let m(q) be the second derivative of k(q). Let j be m(4). Which is bigger: j or -1/5?
j
Let b(a) = -6*a + 38. Let c be b(6). Suppose -3 = i - 0*i. Let l be (c/(-3))/(4/i). Is l smaller than -6?
False
Let u be (24/(-10))/((-4)/(-210)). Let j = 231 + u. Let f = j - 205/2. Is 3 less than or equal to f?
False
Let s(r) = -2*r - 10. Let g be s(-13). Let w be ((-18)/g)/(-9)*10. Is 1 less than or equal to w?
True
Let m be 3/(-5)*(-15)/(-12). Let a = -42 + 50. Let i = 7.9 - a. Is m less than i?
True
Suppose 1651 = -3*k - 2*o, 3*o - 2*o = 3*k + 1654. Which is bigger: -550 or k?
-550
Let z = 20 - 16. Let u be 14/(-56) - (-1)/z. Let x = 3 + u. Is x equal to -2/7?
False
Suppose 2*s + 5*c - 53 = 0, -117 = -5*s - 6*c + 9*c. Is s bigger than 23?
True
Suppose -14 = t - 15, -22 = -3*q - 4*t. Let c(o) = 4*o - 5. Let b(r) = r - 1. Let a(i) = 6*b(i) - c(i). Let y be a(3). Are y and q equal?
False
Let y be 15/(-10)*912/(-9). Let s = 88 - y. Which is smaller: s or -63?
s
Let k = -5 - -3.1. Let v = k - -1.5. Is v smaller than -4?
False
Let t = -75 + -42. Which is smaller: t or -116?
t
Let l = 734146094395/12177 + -60289570. Let m = l + -2/451. Suppose 2*i + 2 = -3*x + i, -3*x + 5*i = -28. Is x bigger than m?
True
Let u(p) = 0 - 7 + 3 - 2*p + p. Let j be u(-6). Let t be 1/(-30) + j/10. Is 0 greater than t?
False
Let n = 55 + -26. Suppose 0 = -2*c + 5*c + 4*o - 41, 0 = 2*c + 3*o - n. Which is smaller: c or 2?
2
Let r(w) = w**2 + 9*w + 4. Let x be r(-9). Suppose -d = -u - 0*d - 1, 3*u - 12 = -2*d. Suppose -x*v = -2*p + 6, -1 + u = -v. Is p at most as big as 4/5?
False
Let o = -946 + 242. Do -1 and o have different values?
True
Suppose 0*p = 3*p - 6. Let n be -9*8/108*(0 + -3). Is n equal to p?
True
Let l be 28/6 + (-6)/9. Suppose l*q + 39 = -5. Is q not equal to -11?
False
Let i = -728/7257 + 4/59. Which is smaller: 0 or i?
i
Let j = 0.025 + 0.395. Let g = -2/277 + 560/831. Do g and j have different values?
True
Let j = -627 - -628. Which is smaller: j or 102?
j
Let c(d) = d**2 + 12*d - 9. Let x be c(-13). Let u be 2 - (-1)/(x/20). Is u smaller than 7?
False
Suppose -c + 2 = 1. Suppose f - 4*f = 2*s + 21, 3*s - c = 2*f. Which is greater: f or -18/5?
-18/5
Let u = 116 + -70. Suppose -10 = -47*j + u*j. Is 12 equal to j?
False
Let w(g) = -3*g - 31. Let o(x) = -2*x - 31. Let l(t) = 4*o(t) - 3*w(t). Let y be l(16). Is y at most as big as -16?
False
Suppose 0 = -6*k - 321 - 39. Let q = k + 182/3. Let x be (0 + -1)/(1/(-2)). Which is bigger: x or q?
x
Let r = 135.91 - 136. Let j = r + -0.53. Which is smaller: j or -1?
-1
Suppose 2*d = -6, -h - 3*d - 4 = 16. Let m be (-15)/h*(-22)/(-33). Let u(c) = c**3 + c - 1. Let g be u(1). Is m at least g?
False
Let t(f) = 27 - 3*f + 16 - 4. Let c be t(13). Is -11/10 < c?
True
Suppose 5*q + 2*a - 7*a - 10 = 0, 0 = 2*q + 4*a + 2. Which is bigger: q or -2/95?
q
Suppose 2*x - 2*f - 39 = -7, 4*x = -5*f + 28. Let p be (-2)/(-6) - ((-104)/x + -3). Which is smaller: 11 or p?
11
Let r = 960 - 4796/5. Which is bigger: r or -4/3?
r
Suppose z - 1 = -g, -4*g + 2 = z + 7. Is g not equal to -23/9?
True
Suppose -3*s + 5 = -7. Suppose s*z - 12 = 6*z. Let v = z - -12. Is v less than 7?
True
Suppose 0 = 2*m + 3*m + 5*v + 10, m - 4 = v. Which is bigger: 3/134 or m?
m
Suppose -5*y + 32 = -3*y. Let w(f) = 30*f - 1523. Let x be w(51). Which is smaller: x or y?
x
Let s be (3 + (7 - 0))/(-1). Which is smaller: -6 or s?
s
Let q be 15/1458*-3*2/(-15). Which is greater: 1 or q?
1
Let p be ((-11 - -13) + -12)/(2/5). Is 0.2 at most p?
False
Suppose -11*p + 45 = -6*p. Suppose -460 = x + p*x. Which is smaller: -47 or x?
-47
Let o = -44 - -37. Let g be 12 + 0/(2 + o). Is g < 12?
False
Let u = 2.4 + -0.4. Let b(t) = -t**3 + 10*t**2 + 13*t - 24. Let o be b(11). Let g be ((-405)/100 + 4)*(o - 0). Is g greater than u?
False
Suppose 51*d - 2088 = -7*d. Is 147/4 greater than or equal to d?
True
Let m be 1/(-2)*13*13/72332. Which is bigger: 1 or m?
1
Let c = -1059 - -7439/7. Suppose 42*f - 27*f = 45. Which is smaller: f or c?
f
Let t = -1454/7 + 208. Let s = -1209.74 + 1200. Let j = 0.26 - s. Is j less than t?
False
Suppose 6*m = 2*m - 16. Let s(v) = v + 3. Let h be s(m). Let u be (h/8)/(6/(-36)). Is u less than or equal to 1?
True
Let l(r) = 2*r**2 - r + 3. Let f be l(2). Let c(v) = v**2 - 8*v - 7. Let y be c(f). Suppose -4*q = -h - 7 + 3, -y*q + 5*h - 16 = 0. Which is greater: -0.5 or q?
q
Let i be (-1*14/21)/(194/72). Is -1 smaller than i?
True
Let m = -543 - -914. Let t = m + -354.9. Let f = -16 + t. Which is smaller: -0.6 or f?
-0.6
Let i = 123104 - 5539103/45. Let c = 63/5 - i. Is c greater than -0.02?
False
Let a = 66 - 132. Let i be 0 + 1 + a/(10 + -4). Is -12 at most i?
True
Let l be (16/2)/4 + -2. Suppose -3 = z - l*z. Let p be (-1)/(-15)*(-5)/z. Is p < 0.2?
True
Let c be 0 + (-965)/(-2425) - 2/5. Is 1 less than or equal to c?
False
Let h(t) = t**2 - 4*t + 1. Suppose 4 = 4*d - 4*u, 0 = -3*d + 2*u - 4*u + 8. Let a be h(d). Let b = a - -2. Which is greater: b or 0?
0
Suppose 5*v + 5 = -50. Let w = -5 - v. Suppose 1 = 5*l + w. Which is smaller: 1/7 or l?
l
Suppose -p - 2*h - 18 = -5, h = -4*p - 45. Let z = -11 - p. Suppose 5*j - 5*k = z, j - 3*j = 2*k + 4. Which is smaller: 2/11 or j?
j
Let s be ((-136)/40*61)/(4/5). Which is bigger: -258 or s?
-258
Let g(v) = v**3 - 14*v**2 + 4*v + 5. Let p be g(14). Let o = p + -62. Does 1 = o?
False
Let n = -10669/4704014 + 3/2426. Which is bigger: n or 0?
0
Suppose 33*o - 2*w + 61 = 28*o, -4*o = -4*w + 44. Let p = 0.3 + 0.2. Is p <= o?
False
Let r = 131 - 143. Let g(o) = o**3 - 2*o**2 - 3*o - 1. Let p be g(3). Is r greater than p?
False
Let j(a) = -4*a**2 - 15*a - 16. Let z be j(7). Is -318 equal to z?
False
Let b = -0.21 - -0.3. Let q = b + 0.21. Is q > 0.3?
False
Let b(i) = i**2 - 2*i - 2. Let v be b(3). Let t be ((-16)/6 - -2) + v. Suppose 0 = -600*m + 613*m - 78. Is m < t?
False
Let u(s) = s**3 - 4*s**2 - 12*s + 1. Let a be u(6). Let v be ((-1)/3)/(2/6). Let f be ((-54)/(-21) - a) + v. Is 1 < f?
False
Let p be -8 - (6/(-45) - 6063/765). Let l = -1 + 0. Which is bigger: p or l?
p
Let y be 11/9 + -1 + 144/81. Let g be ((-3)/y)/(-1)*(6 - 26). Is -31 < g?
True
Suppose -10*j - 5 = -55. Suppose 3*y - j*y - 8 = 0. Suppose -3*r = -x - 4*x + 34, -4*r = 3*x - 3. Are r and y nonequal?
True
Let j = 0.0892 - -0.0108. Is 340 <= j?
False
Let l = 8 + -14. Let d(x) = x**2 + 6*x - 8. Let z be d(l). Suppose 0 = 2*o - 5*f + 9, 4*o - 3*f = -13 - 12. Which is greater: o or z?
o
Let g(v) = -v**3 + 4*v**2 - 4*v - 4. Let y be g(4). Let j be 5/2*2*(-4)/y. Which is greater: j or 1/7?
j
Let v = 131/77 - -8/11. Is v smaller than 1?
False
Suppose -4*x + 2*y + 175 = -y, 5*y = 4*x - 169. Let o = 1463 + -1416. Is x > o?
False
Let x(m) = -13*m**3 + 17*m**2 - 9*m - 3. Let n(a) = 6*a**3 - 8*a**2 + 4*a + 1. Let b(u) = 9*n(u) + 4*x(u). Let q be b(3). Which is greater: q or -1/2?
q
Let v = -95 - -94. Which is bigger: -2/593 or v?
-2/593
Suppose 0 = -41*l + 38*l. Which is smaller: l or -5/38?
-5/38
Let p = 8.4 + 1.6. Let x = p + -16. Let w = x - -6.2. Is w < -0.3?
False
Let m = 0.12 - -5.88. Let a = -6.5 + m. Let t = 0.7 + a. Which is bigger: 0 or t?
t
Let m = -9.93 - 3.07. Is 26 less than or equal to m?
False
Suppose 0 = 5*o + d + 2, 3 = -2*o - 2*d - 1. Suppose o = 