(-5). Let l be (-33)/6*(-1)/i. Let c = 2/7 - l. Which is bigger: c or -2?
c
Let j(c) = 9*c - 8*c**2 - c**3 - 7 + c + c**2 + 18. Let x be j(-8). Which is bigger: -4 or x?
-4
Let p = -0.13 - -0.13. Is -20 < p?
True
Let k be ((-6)/27)/(4 + (-122)/6). Which is bigger: k or 1?
1
Let o(d) be the third derivative of d**5/60 + d**4/6 + d**3/2 + 2*d**2. Let t be o(-3). Which is bigger: t or -2/7?
t
Suppose -4*g = -3*g. Suppose g = -3*y - 0*y - 9. Suppose -3*x + 10 = -8*x. Which is smaller: y or x?
y
Let p = 130 - 648/5. Is 0 smaller than p?
True
Suppose -10*s - 6*s = -96. Let t be 14/(-2) - (-1 - 1). Let j = t + 11. Does j = s?
True
Let r be -1 - (60/(-2094))/(2/70). Which is greater: 0 or r?
r
Let x be (-10 - 1) + (-7 - -10). Is -10 > x?
False
Let g = 0 - -1. Let b = -619/7 - -89. Are b and g equal?
False
Let z be 4/(-6) - 13/3. Let h = -8 - z. Is -4 > h?
False
Suppose n - 3 - 13 = 5*t, -7 = 5*n + 4*t. Is 1/3 at most as big as n?
True
Let q(k) = -2*k**3 - k**2 - k - 1. Let a be q(-1). Let j be -6 - -5 - (-2)/a. Is 4 greater than or equal to j?
True
Suppose -4*c - 19 = -4*v - 7*c, 4*v + c - 17 = 0. Suppose -3*o = v - 1, 2*o - 42 = 4*n. Is n greater than or equal to -11?
True
Let d(x) = 2*x + x - x**3 - 3*x**2 + 1 + x**2. Let p be d(-2). Suppose 4*w + 5*v = -18, -2*w - v + 0*v - 6 = 0. Which is bigger: p or w?
w
Let i be (-8)/44 - 9/(-110). Let o(r) = r - 8. Let c be o(7). Which is greater: c or i?
i
Let q(k) = -k**2 - 9*k + 2. Let x be q(-9). Suppose -x*n = n + 3. Let f = 0.34 - 0.04. Which is smaller: n or f?
n
Suppose 3*d + 2*i - 50 = 0, -i - 12 = -4*i. Which is smaller: d or 12?
12
Let n = -1.35 + 0.35. Are n and 25 equal?
False
Let q be 8/16 + (-10)/4. Let j = -4 - q. Which is greater: j or -7/5?
-7/5
Let y be ((-5)/(-4))/(1/4). Let c = 38 + -32. Let f = y - c. Is f > 4/9?
False
Let b = -14 + 16.1. Let t = 0.1 - b. Which is smaller: 0.1 or t?
t
Let n be 6 - -36 - 6/3. Which is bigger: 39 or n?
n
Let j(r) = -r + 10. Let a be j(8). Let v be (-248)/(-40) + 2/(-10). Suppose -7*g + 10*g = v. Is g <= a?
True
Let h be (2/(-6))/((-6)/9 + 1). Is h at least 4/11?
False
Let z = -592/3 + 8321/42. Which is smaller: 2 or z?
z
Let t = 22 + -15. Which is bigger: t or 6?
t
Suppose 0 = -4*b + 5*u + 62, 4*u - 52 = -4*b + 28. Let v be (-4)/b + (-56)/(-9). Is 7 <= v?
False
Suppose 2*p - 3*p = -2. Let n be p - 1/((-14)/(-32)). Suppose 3 = u + 2. Are u and n non-equal?
True
Suppose 36 - 45 = 3*d. Is d less than or equal to 3?
True
Let j be 8/36 - (-26)/45. Let k(d) = -d**2 - 9*d + 2. Let q be k(-9). Is q equal to j?
False
Let v(q) = -q**2 - 7*q - 4. Let c be v(-6). Suppose 0 = -n + c*n. Suppose -2*i - 1 + 7 = n. Which is greater: 5 or i?
5
Suppose 2*a = 6*a. Suppose a*z = 3*z - 3. Which is greater: z or 2/9?
z
Suppose -5 - 39 = 4*c. Is -10 less than or equal to c?
False
Let n be ((-28)/399)/(4/(-6)). Suppose 0 = 3*g - 0*g. Which is greater: n or g?
n
Let z be 13/3 - 4/(-6). Let w be 62/(-10) + 1/z. Let p be (w/(-12))/((-4)/(-6)). Which is bigger: 0 or p?
p
Let x be ((-16)/(-52))/(5/3 - 1). Which is smaller: x or 1?
x
Let c(u) = u**3 + 8*u**2 - 19*u + 7. Let f be c(-10). Let z(p) = p**2 - 5*p - 8. Let v be z(6). Which is smaller: v or f?
f
Suppose 6*g - 3*g - 3 = 0. Is -1/4 equal to g?
False
Suppose 5*g - 6 = u, -4*u - u - 30 = 2*g. Suppose 3*s - 4*q + 23 = -5*q, 2*s - q = -12. Is u at least as big as s?
True
Let d = 16 + -18. Let x be (-6 - d)*(-10)/(-28). Is x >= -1?
False
Let u = -0.1 + 0.3. Let i = -0.53 - -0.03. Let s = -0.4 - i. Are u and s non-equal?
True
Suppose -4*g + 14 = -2*r - 8, -3*r - 11 = 5*g. Let z(p) = -p**3 - p**2 - p + 4. Let x be z(0). Let t = r + x. Is -7/2 bigger than t?
False
Let x = 10 - 13. Let f = -2 + x. Which is smaller: -7 or f?
-7
Suppose 16 = -4*n - 4*k, -2*n - 3 = -4*k + 11. Is n less than -3?
True
Let a be ((-45)/(-54))/(1/((-2)/(-13))). Which is smaller: a or 0?
0
Let y be (-1)/3 + (-116)/(-60) - 2. Which is bigger: 0.14 or y?
0.14
Suppose 5*c = 53 - 23. Is 6 at most as big as c?
True
Suppose x + 52 = -2*x + 5*f, x + 5*f = -24. Is -21 bigger than x?
False
Let j(k) = k**3 - k**2 + k + 1. Let q be j(0). Let o(l) = -l - 4. Let i be o(-12). Suppose i = 6*y - 2*y. Is y at most as big as q?
False
Let c = 17 + -32. Let m be 5/c*(-1 + 1). Which is bigger: 1 or m?
1
Let m = 8085897825318838/795 - 10170938463097. Let t = -2197681 + m. Let x = t - 2/159. Is x at most -1?
False
Let b be ((-854)/2205)/(-2) + (-4)/18. Is b at least 1?
False
Let l = 0 + -1. Let x be ((-8)/(-10))/((-6)/15). Let f be 2/(-3) + x/(-21). Is f greater than l?
True
Suppose -m + 4 = -2. Let o(t) = -t**2 + 6*t + 3. Let x be o(m). Let j be (1 + (1 - x))*1. Which is greater: -3 or j?
j
Let f = -27 - -39. Let m be (-3)/f + (-81)/12. Let j be (21/m)/(9/(-2)). Is j at least as big as 2?
False
Let h = -15.99 + 16. Are h and 0.1 nonequal?
True
Let t be 12/(-16)*(-16)/(-234). Is -1 at most t?
True
Suppose -5*o = -26 + 6. Which is bigger: o or 3?
o
Suppose 5*r + 16 = 3*d, -2*d - d - 3*r = 0. Suppose 0 = -2*s - 4*o + 6, -d*o = s + s - 10. Which is smaller: s or 6?
6
Let p(s) = -s**2 + s + 2. Let u be p(0). Suppose u*q = -2*q - 8. Let j = -3 + 3. Is j not equal to q?
True
Let m = -137/580 + -2/145. Let i(k) = k**3 - k**2 - k - 1. Let w be i(2). Which is smaller: w or m?
m
Let q(i) = -2*i + 11. Let f(k) = k**3 + k**2 - 4*k + 5. Let v be f(2). Let z be q(v). Which is smaller: -2 or z?
z
Let a(x) = -3*x**3 - 7*x**2 + 6*x - 4. Let m be a(-6). Let g = 1431/4 - m. Is 3 less than or equal to g?
False
Let o(l) = l - 1. Let x be o(5). Let b(f) = f**3 - f - 1 - x - f**2 + 1 + 2. Let s be b(0). Which is greater: -5/4 or s?
-5/4
Let u = 2.5 + 0.5. Do u and 3 have the same value?
True
Let p = -18 - -17. Suppose 2*g = -5*u + 26 + 10, 0 = -4*u + 3*g + 15. Let f be (45/u)/5 - 2. Which is smaller: f or p?
p
Let n = 114 + -66. Suppose 2*m - 2*s = 7*m + n, -5*s - 20 = 0. Let t be (-1 - -3)*(-2)/m. Which is smaller: 0 or t?
0
Let n be (-5)/2*(-36)/15. Suppose 4*u + 4 = -4*z, 2*u + 3*z + n = 1. Which is bigger: u or 0?
u
Suppose 20 = 4*g, 3*v + g - 5 = -v. Suppose -u - 3*m - 16 = v, -2*m - 8 = 3*u - m. Are u and 0 nonequal?
True
Let j = 14.8 + -15. Let f = 0 + 0. Let x = j - f. Is x greater than or equal to -3?
True
Suppose 3*n + 24 = -0*n. Let v be 4/(-3)*n/(-48). Is -1 != v?
True
Let g = -241 + 1677/7. Is 0 > g?
True
Let o = -6 + 11. Let v = o - 3. Is 3 less than v?
False
Let m be (1/2)/((-2)/8). Let t be (-42)/9*m/(-21). Which is bigger: 0 or t?
0
Suppose 0 = 13*b - 2*b - 484. Which is bigger: b or 43?
b
Let c = 455/3 + -153. Let l be 0/(-3) - 10/5. Are l and c nonequal?
True
Suppose -w - 5 + 2 = 0. Is w at most -21/5?
False
Let z(u) be the first derivative of -u**4/4 + 5*u**3/3 + 7*u**2/2 - u + 1. Let h be z(6). Which is smaller: h or 0?
0
Let b = -4.1 + 1.6. Let m = b + 2.8. Are -1/4 and m unequal?
True
Let c = 10 - 42. Is c < 1?
True
Let n be -2*(-2 + 9/6). Which is smaller: n or 1/64?
1/64
Suppose -i + 2*g + 10 = 3*g, -28 = -2*i - 4*g. Let h be (i/3)/(-2) - -3. Suppose h*r = -r + 3. Which is greater: r or 2?
2
Suppose 2*d = t + t, -5*d + 6 = -3*t. Suppose t*w + 4*k + 1 = 8, -4*w + 5*k - 1 = 0. Let x = -4 + 4. Is x at most as big as w?
True
Let q = -20.007 - -0.007. Is q < 2?
True
Let i be (7 + 0)*(-18)/(-21). Suppose 11 = 3*b + b + 3*h, 2*h = -2*b + i. Is 2 less than or equal to b?
True
Let c(k) = -20*k**3 + k**2 + k. Let d be c(-1). Suppose 5*z + 38 = -x - 3*x, d = -5*z + 5*x. Is z greater than or equal to -7?
True
Let s be (-1 - 0)*(6 + -2). Which is smaller: s or -1?
s
Let y = 6.5 + -1.5. Let d = y + -4.7. Which is smaller: d or -1?
-1
Let x be ((-144)/81)/(-8) + 25/(-72). Is 0 less than x?
False
Let n(l) = l**3 - 6*l**2 + 5. Let g be n(6). Suppose -g*s - 21 = 3*i - i, -2*i - 3 = -s. Which is bigger: -4 or i?
i
Let f = 5.96 - -0.04. Let p = 11 + -18. Let a = f + p. Is a less than or equal to 0.3?
True
Suppose 3*n - 2*n = -65. Let b = n + 781/12. Which is smaller: 1 or b?
b
Suppose 2*v - 3*v = -9. Let u = v - 5. Is 5 >= u?
True
Let m = 15.95 - 16. Is m less than or equal to 2?
True
Suppose -4*x + 2 - 6 = 0. Let j be 0 + x*1/(-1). Which is smaller: 2 or j?
j
Let u(v) = 5*v - 4. Let w(b) = b + 1. Let m(s) = u(s) - 3*w(s). Let c be m(5). Is 0 greater than or equal to c?
False
Let h(z) = z + 9. Let t