et x be l(-5). Let o = x - -2143/16. Is o less than -1?
False
Let l be (-2)/3*3*-1. Suppose 3*j - 2*j = 3*r, -4*j + 22 = -r. Suppose 2*w + 2 - j = 0. Is w greater than l?
False
Let y(v) = v**3 + 5*v**2 - 4*v + 2. Let l be y(-6). Let g(k) = -k**2 - 11*k - 11. Let r be g(l). Which is smaller: r or 4/11?
r
Suppose 7 = -2*h - 7. Does h = -3?
False
Let j be -4 - ((-4)/(-2) - 1). Let u = j + 3. Let d be (4/24)/(u/(-4)). Is 0 less than or equal to d?
True
Let y be (-7)/(28/16) + 3. Is -3 at most y?
True
Let i = 9037/5 - 1823. Let b = i - -16. Suppose 3*q - 9 = -3*f, -3*q + 7*q + 12 = 4*f. Which is smaller: q or b?
q
Let p(q) = q**3 - 5*q**2 + 4*q + 1. Let k be p(4). Let u = -2 - -1. Let v be (-4)/(-46) - (u - -1). Is k less than v?
False
Suppose -60*r = -58*r + 12. Is -24/5 equal to r?
False
Suppose -1 = 4*y - 5*y. Let a(j) = j. Let o be a(y). Let h be ((-14)/(-4) + -3)/2. Does h = o?
False
Suppose -h = 3*k + 1 - 0, -29 = 5*h + 3*k. Let j(o) = o**3 + 6*o**2 - 7*o. Let m be j(h). Which is greater: m or -3?
m
Let k be 2/4 - 3/(-6). Let m be 66/34 - 6/9*3. Which is smaller: k or m?
m
Let z be (-26)/(-3 - (2 - 3)). Suppose -5*t + 6 = -3*u - 23, -4*t - u = -z. Suppose 14 = 5*j + t. Is 0 smaller than j?
True
Let o(p) = 2*p - 6. Let q be o(4). Let u = 2 - -2. Suppose -z - u*z = -20. Which is greater: z or q?
z
Suppose 2*u = -0*u + 4. Suppose g + g = a + u, 5*g - 3*a = 6. Do g and 0 have different values?
False
Let x(p) be the third derivative of p**4/24 + p**3/6 + 4*p**2. Let k be x(-3). Let o be -2*k/(-4)*0. Which is smaller: -2/17 or o?
-2/17
Let i = 381/5 + -76. Let a = -49 + 32. Let h = 17 + a. Does i = h?
False
Let v(w) = w + 6. Let n be ((-3)/(-1))/((-3)/6). Let i be v(n). Is 1 <= i?
False
Let v(d) = d**2 + 5*d - 6. Let r be v(-6). Let z = r + 5. Suppose 4*i + 4 = z*i. Are 1 and i non-equal?
True
Let v be (-2026)/(-14) + 1 - 2. Let m be (-4)/(-10)*24*-15. Let c = m + v. Which is greater: 2/3 or c?
2/3
Let t(u) = -u**2 - 4*u + 3. Let g be t(-4). Suppose 0 = g*q - 2*q - v + 1, 4*q = -3*v + 10. Let l be (-2)/4*(q - 1). Are l and -1 nonequal?
True
Let c be ((-2)/(-3))/(74/(-6)). Let v(z) = z**2 - 6*z - 7. Let l be v(7). Is c equal to l?
False
Let o = 0.72 + 5.28. Which is greater: o or 0?
o
Let r(f) = -f + 1. Let j be r(1). Let x be j + -2*3/(-2). Suppose x + 2 = 5*h. Is 0 less than or equal to h?
True
Let h = 5 + -18. Let v = -8 - h. Is v < 5?
False
Suppose -7*f - 2*f = f. Are -3/23 and f unequal?
True
Let k = -2/27 + -44/135. Let a = -0.2 + 0. Which is bigger: a or k?
a
Let n = 31/95 + -10/19. Suppose d + 5*r = -2*d + 3, 5*r + 5 = 5*d. Which is greater: n or d?
d
Let d be -2*1*(-2)/(-2). Suppose -l - c + 417 = 2*l, 0 = l + 4*c - 128. Let f be (-2 - (-264)/l)*10. Is d greater than f?
False
Let t = 1 + -1.1. Let x = 3.8 - 3.7. Is x not equal to t?
True
Let n = -0.02 + -2.98. Let r = -6 + 16. Let a = r + -9. Is n bigger than a?
False
Let h = -0.59 + 0.19. Is h greater than or equal to 7?
False
Let u be (-32)/18 - -2 - (-16)/(-99). Let l(s) = -s**3 - 6*s**2 - 6*s - 6. Let v be l(-5). Is u at least as big as v?
True
Let t = 0 - 0. Let a = -0.2 - t. Let m = -4 - -3. Is m > a?
False
Suppose 22 = 4*i + 2*v, 4*i + 3*v + 39 = 7*i. Let c(t) = -t**3 - 3*t**2 - 3*t - 2. Let l be c(-3). Let n = i - l. Which is bigger: -1 or n?
n
Suppose 0*i + t = -2*i + 4, -5*i - 3*t + 11 = 0. Let q(s) = -2*s**2 + 1. Let u be q(i). Is u <= -2/3?
True
Suppose -3*j + 8 + 1 = 0. Let b be j*((-177)/(-171) - 1). Which is smaller: b or 1?
b
Let w be 41/(-200) + (-2)/(-16). Is 0 less than or equal to w?
False
Let n be (27/(-6))/((-6)/(-16)). Is -12 at least as big as n?
True
Let p = -8790 + 9853591/1121. Let v = p + 2207/39235. Is 0 equal to v?
False
Let r = 18 - 12. Is r >= 6?
True
Suppose 0 = h + 3, -3*l + h = l - 15. Which is smaller: 2 or l?
2
Let r be 25/5 + (0 - 0). Suppose -2*c = -r*c + g + 7, -3*g = -3*c - 3. Suppose -5*l + 11 + c = 0. Is l at least 2?
True
Suppose -3*x - 5*i - 28 = 0, -3*i + 20 = 8. Let g = -15 - x. Is 4/21 greater than g?
False
Let k = -62 + 61. Which is smaller: k or 3/7?
k
Let g(c) = c - 3. Let p be (-78)/(-12) + 1/2. Let b be g(p). Is 4 less than b?
False
Let b = 8 + -8.12. Which is smaller: 0.2 or b?
b
Let y be 2 + 1*(-2 - 0). Which is greater: 2/25 or y?
2/25
Let j = 146/5 + -9047/310. Which is bigger: 0 or j?
j
Let y be 4*((-6)/(-4) + 0). Let k = 2 - y. Let b(f) = f + 2. Let c be b(-7). Which is bigger: k or c?
k
Let b = 20 + -3. Let h = 35 - b. Let j be 0 + (h/15)/(-3). Which is smaller: j or 0?
j
Let t be (-8)/(-6)*3/(-2). Suppose 4*c - 15 = 3*h + c, -3*h - 11 = -2*c. Which is smaller: t or h?
t
Let r(s) = -s**3 - 6*s**2 + 7*s + 2. Let x be r(-7). Suppose -3*f - h + 0*h - 1 = 0, 2*h + 10 = x*f. Let b be (1 - (-3)/(-5))/2. Is f smaller than b?
False
Let t be (-8)/(-52) + (-112)/52. Is -7 smaller than t?
True
Let v be 12/10*18/(-27). Let p(o) = o**2 + 4*o + 3. Let b be p(-2). Which is bigger: b or v?
v
Let g(j) = -j**3 + 5*j**2 - j + 2. Let b be g(4). Suppose -3*v - d = 8, v + b = -3*v - 2*d. Is v less than or equal to 2?
True
Let v be (-129)/(-12) + (-2)/(-8). Suppose -i = -7*z + 2*z + v, -3*z + 3*i = -9. Is z less than or equal to 5/2?
True
Let o(f) be the first derivative of f**3/3 - 3*f**2 + f - 2. Let b be o(5). Is -3 at least as big as b?
True
Suppose -12 = -0*f + 4*f. Let g = -3 + 3/2. Is f greater than or equal to g?
False
Suppose p + 2*p - 9 = 0. Let k = -1 - -1. Suppose -i + k*i = -2. Do i and p have the same value?
False
Suppose 0 = -4*r + 5*g - 81 + 24, -2*r + g = 27. Is -11 smaller than r?
False
Let x = -943/5 + 189. Is x greater than -5?
True
Suppose 2*k - 1 - 3 = 0. Is k at least as big as 15/7?
False
Suppose 5*n = 2*z - 13, -2*z - n - 8 = 3*z. Let j be ((-2)/(-4))/(z/2). Let w(o) = o - 5. Let b be w(5). Which is bigger: b or j?
b
Let l = -16 + 18. Let s = 4 - l. Do s and 6/5 have the same value?
False
Let q be 6/4*8/3. Let w = 9 + -7. Let u be w/8 - q/16. Which is greater: u or -2?
u
Suppose 0 = -4*j - 5*b + 5, -3*j - 3*b - 4 = -2*j. Which is greater: -0.05 or j?
j
Suppose -5 = 4*q - 5*q. Suppose q*n + 5 + 10 = 0. Which is greater: n or 2?
2
Let y be 1 + 1/1 - 1. Let j = 379 - 380. Which is smaller: y or j?
j
Let k = -4 - 12. Let t = k + 13.1. Let i = 0.1 - t. Which is greater: i or 0?
i
Let o be (2 + -5 + -1)*1. Let s be (o/22)/((-4)/6). Is s less than 1?
True
Let c = 6 - 3. Let n = c - 1. Let f be 13/4 - (-3)/(-12). Which is smaller: f or n?
n
Let x(w) = -4*w**2 - 4*w + 3. Let u be x(2). Let y = u + 13. Is -8 < y?
False
Suppose 0*r - r = -2*k + 75, 115 = 3*k - 2*r. Let h be (6/(-20))/((-63)/k). Suppose 5 - 3 = -2*q. Which is smaller: q or h?
q
Suppose -10 - 8 = 6*n. Let l(f) = f**2 - 7*f + 5. Let y be l(6). Which is smaller: y or n?
n
Let g = 3 - 2.9. Let v = 0.03 - 3.03. Let a = v + 2. Is g < a?
False
Let y = -33 + 32. Is 2/41 greater than y?
True
Let w = 3 + -6. Is -4 less than w?
True
Suppose n = 5*i - 743, 4*n - 20 = 3*i - 459. Suppose 5*u = 4*g - 372, -i = 3*u + 5*g + 89. Let x = 531/7 + u. Is x bigger than 0?
False
Let y = 0.3 + -0.4. Let t be (-1)/4 + 9/(-12). Which is greater: t or y?
y
Let m = -4 + 3. Let w be 3/m - -3 - 2. Is 1 > w?
True
Let w(m) = -m**3 - 8*m**2 + 9*m + 12. Let l be w(-9). Let n(p) = -p**3 + 12*p**2 + 7. Let j be n(l). Is -2 less than or equal to j?
True
Let l = -46/7 + 1217/182. Which is greater: l or 1?
1
Let c be 38/(-13) + 0 - -3. Let n(v) = 2*v - 11. Let w be n(6). Which is greater: c or w?
w
Let v = 1.35 + -1.42. Which is greater: v or -0.4?
v
Let a be 1869/273 + 2/13. Which is bigger: a or 6?
a
Let a = 646582/399 + -11346/7. Let r = a - 6/19. Which is smaller: r or -1?
-1
Let a = -38 + 53. Which is greater: 0.2 or a?
a
Let w be 1/3 - (-2 + 1)/3. Is w smaller than 12?
True
Suppose -3*y + 2 = -7. Is y >= 3?
True
Suppose 5*x + 3*w = 10 + 10, -w + 6 = x. Let u = -226/7 - -32. Which is smaller: x or u?
u
Let t = -7.1 - -7.2. Which is greater: 15 or t?
15
Suppose 8*s - 3*s + 5*n + 25 = 0, s - 19 = 5*n. Which is smaller: -2 or s?
-2
Let z be -1 + (-1*2 - -3). Suppose 4*a - 5*n = 1 + 3, a + 5*n - 1 = z. Let c be 0/a*2/4. Are c and 0 non-equal?
False
Suppose 5*j - 26 = 89. Is j greater than 22?
True
Suppose 1 = 2*h - 3. Let u = h + -10. Which is greater: u or -1?
-1
Let n be 6*-2*(-4)/(-88). Which is smaller: 