). Let o = -1 + n. Let b(g) = -g**3 + 6*g**2 - 6*g + 6. Let c be b(5). Do o and c have different values?
True
Let u(y) = -y + 8. Let r be u(7). Which is smaller: r or 1/8?
1/8
Let y = -3 + 2. Let b = y - -2. Is 0 smaller than b?
True
Let p = 0 - 0.15. Let u = 0.05 - p. Is 0.2 at least as big as u?
True
Let a(l) = -l**3 - 8*l**2 - 9*l - 13. Let j be a(-7). Do j and 0 have the same value?
False
Let a = 74 - 51. Is 23 at most a?
True
Let o be ((-2)/(-12))/(3/(-4)). Do o and 1 have the same value?
False
Suppose 2*q + 2*d + 17 = -3*d, 2*d = -2. Let y be 2/(-5) - (-115)/(-25). Is q less than y?
True
Let s be 5*((-4)/(-6) + 296/60). Which is smaller: s or 27?
27
Let d(l) be the first derivative of -l**4/4 - 4*l**3/3 + l**2/2 + 4*l + 2. Let t be d(-4). Suppose y - 2*y = t. Is 1/6 at most y?
False
Let l = -243/2 + 121. Which is greater: 0.1 or l?
0.1
Let u = -51/2 + 26. Is u >= 9?
False
Suppose 3*p - c = -17 - 4, 3*c - 21 = 3*p. Let l = -12 - p. Is l less than -4?
True
Suppose -2*l = 2*l - 12. Let v be (1/l)/(5/30). Let o(k) = k + 1. Let d be o(2). Which is bigger: d or v?
d
Suppose 9 = -4*b + 49. Suppose -4*a = -m + b, 3 - 1 = -5*a - 4*m. Is -1 bigger than a?
True
Suppose 4*i + 4*f = 24, -2*f + 7 = -3*i - 0*f. Let s(o) = -2*o**2 - 3*o - 1. Let h be s(-2). Let q be (-4)/84 - 1/h. Which is bigger: q or i?
i
Let a = 22 - 21.92. Let t = a + 0.02. Let v = -11 + 16. Is v smaller than t?
False
Let a be (-2)/(-10) - 146/480. Let w = a + -11/816. Which is bigger: -1 or w?
w
Let o = 1030 - 1760. Let m be (-4)/8 - o/364. Let d = m + -27/13. Do -0.1 and d have different values?
True
Let q be 1 + -2 - (-77)/70. Does q = 1?
False
Let w be 2/(-2) + (-14)/7. Let y be -1*2*w/(-2). Is y > -2?
False
Suppose 4*w = 6 + 10. Suppose -5*r + 4 = -2*u - 1, 2*r - 34 = 4*u. Let k = -5 - u. Which is greater: w or k?
k
Let q = 7 + -6.95. Let c = q + -1.05. Is c bigger than -0.04?
False
Let c = 4 + -11. Let x = c - -6.9. Which is bigger: x or -6?
x
Suppose 0 = -2*y + u - 4*u + 13, 2*y - 20 = 4*u. Let k be 6/(-9)*(-3)/y. Suppose -2*x - 10 = 5*j, -10 = -0*x - x + 5*j. Which is smaller: x or k?
x
Let v(z) = z**3 - 2*z**2 - 3. Let k be v(3). Suppose 5*w = -4 - k. Which is smaller: w or -1?
w
Suppose 0 - 4 = -4*v. Is 2 less than v?
False
Let f be 2/12 - 10/51. Which is smaller: f or 1?
f
Let d(s) be the second derivative of s**5/5 - s**4/12 - s**3/6 + s**2/2 + s. Let b be d(1). Let w be 16/21 + (-1)/b. Which is smaller: 1 or w?
w
Let q = -1 + -1. Which is smaller: q or 11?
q
Suppose 2*r + y - 56 = 0, -5*r = -4*y - 135 - 5. Suppose r = -4*h + 4*a, -4 + 1 = h + a. Which is bigger: h or -6?
h
Let b = -228 - -1827/8. Are b and 0 equal?
False
Let a be 605/1386 - 4/18. Which is smaller: 0 or a?
0
Suppose 3*q = -2*r + 26 + 23, 5*r = -4*q + 112. Let a be ((-8)/r)/((-12)/(-9)). Which is smaller: a or -1?
-1
Let d = 1 + -0.9. Let g = -13 - -2. Let z = g + 10.7. Which is bigger: z or d?
d
Let v = 0.4 + -0.3. Suppose -x + 24 = -4*k, 0 = 3*x - 5*k + 15 - 52. Let a be (-140)/(-147) + x/(-6). Which is greater: a or v?
a
Let k(y) = -9*y**3 - y + 1. Suppose 8 = 5*z + 3. Let o be k(z). Do -10 and o have different values?
True
Let z = 0.3 - -5.7. Let a = -5.9 + z. Are a and 0.2 nonequal?
True
Let j = 1.5 - 1.7. Let q = 0.09 - 8.09. Let y = 8 + q. Which is greater: y or j?
y
Let x(b) = b**3 - 8*b**2 - 2*b + 10. Let p be x(8). Let c(y) = -7*y**3 + y - 1. Let q be c(1). Which is bigger: q or p?
p
Let p = 20675/29 - 713. Let x = p - 79/116. Suppose -4*s + o + 2 + 3 = 0, -25 = 4*s + 5*o. Which is smaller: s or x?
x
Let t(c) = -c**3 - c**2 + c - 2. Let u be t(-2). Suppose -3*d + 10 - 4 = u. Let r be (1*(-2 + -4))/d. Is -1 bigger than r?
True
Let b = -5 + 7. Let f = -4 + b. Is f > -1/2?
False
Let x be -1 + 4/(208/(-177)). Let n = x - -17/4. Which is bigger: n or 1?
1
Let x = -7 - -9. Suppose x*p + 29 = 1. Do -15 and p have the same value?
False
Let o = -0.04 + 1.24. Let d = 4 - 4.2. Let f = o + d. Which is greater: f or -1/8?
f
Suppose -10 = -16*k + 6. Is -2/177 less than or equal to k?
True
Let y = -54 + 54.6. Is -3 <= y?
True
Let i = -87 - -87. Are -2/665 and i unequal?
True
Let z(d) be the third derivative of -d**5/120 + 7*d**4/24 - d**3/3 + d**2. Let y(b) be the first derivative of z(b). Let p be y(5). Which is smaller: 1 or p?
1
Suppose -16*y = -11*y. Which is smaller: y or 1?
y
Let n be (1/(-2))/((-2)/4). Is n <= -1/8?
False
Let b = -4 + 4. Suppose b = -2*x - c - 6, -4*x + c = -2*c + 2. Which is greater: x or -7/3?
x
Suppose -17 - 11 = 4*c. Is c smaller than -6?
True
Let s = 64.1 + -64. Suppose -9 = 7*g - 4*g. Which is bigger: g or s?
s
Suppose 0 = g + 1 - 2. Suppose -5*o + 0*y + 51 = y, -3*o - 3*y = -21. Let z = o + -10. Is g < z?
False
Let k = -0.65 + 1.15. Is 13 > k?
True
Let f = 1 + -6. Let i = 9 + f. Suppose 4*d + 4*k = -0 - 4, -d + 19 = -i*k. Which is greater: -2/5 or d?
d
Let g = 7.94 + -8. Let f = g + 0.16. Let i = f + -0.14. Is i bigger than -0.1?
True
Let y be (0 + 2)/(5*1). Let f = 77.2 + -77. Which is bigger: f or y?
y
Suppose 3*k = -3 - 6. Let r(v) be the second derivative of -v**5/20 + v**4/3 - v**3/2 - v**2/2 - 2*v. Let y be r(3). Which is greater: k or y?
y
Let z be 0/(2 + 0) - 0. Let d = -2 + z. Let s = -7 - -5. Is d equal to s?
True
Let x = 1/6 - -1/3. Let z = 6 + -3. Which is smaller: z or x?
x
Let j(b) = 4*b**3 + 2*b**2 - 2*b + 1. Let u be j(1). Suppose -3*f - u + 26 = 0. Which is smaller: 11/2 or f?
11/2
Let m = 0 + 0. Suppose 0 = t - m*t. Let h = -17/2 + 9. Which is smaller: h or t?
t
Let s(v) = 6*v - 2. Let g(a) = 5*a - 2. Let i(j) = -3*g(j) + 2*s(j). Let y be i(2). Which is greater: -1 or y?
-1
Let h = 12139/9 + -1351. Let b be ((-2)/(-5))/(-1)*5. Which is smaller: h or b?
h
Let o = -1.1 - -0.94. Let d = -0.06 - o. Let f = -0.3 + d. Is f bigger than 2/3?
False
Let v = -169 - -124. Is v > -2?
False
Let v = -8 + 2. Which is greater: -5 or v?
-5
Let d be (14/(-4))/(-1) - 4. Suppose 0 = 2*x - 0*x - s + 2, 5*s + 2 = -2*x. Which is smaller: d or x?
x
Let l = 0.55 + -0.5. Which is greater: l or -1?
l
Let z be (-2)/(-5) - (-159)/15. Suppose 0 = 2*k + 1 + z. Let w be k/14*(-10)/(-15). Which is bigger: w or 1?
1
Let s be 10/(((-20)/(-3))/5). Let o = s + -7. Which is smaller: o or 2?
o
Let x be (-42)/(0 - -1 - 3). Let u be (-83)/x + 18/63. Is -4 smaller than u?
True
Suppose -10*u - 40 = -0*u. Let r be 0 - (-3)/(3/5). Suppose -8 = r*z - 3*z. Are u and z equal?
True
Let a = -87 + 72. Is 0.2 greater than a?
True
Let r(z) = z - 2. Let a be r(-6). Let f = a + 11. Let x be 4/6 - (-1)/f. Is x at most 0.1?
False
Suppose 2*a - 6 = 2*d - 0, 5*d - 4*a = -16. Do -5 and d have the same value?
False
Let h = 99 + -89.7. Let a = h - 2.7. Let l = a + -7. Which is smaller: 1 or l?
l
Let f = 53 - 19. Let r be 2/2 + f/(-36). Let s = 4/9 + r. Is s not equal to -0.3?
True
Let h = -0.131 - -0.031. Is 10 less than or equal to h?
False
Let u = 1 - 0.8. Let w = 0.3 - u. Let k(i) = i**3 + 4*i**2 + 3*i. Let h be k(-3). Which is bigger: h or w?
w
Suppose -6*u = -4*u. Is u greater than 14?
False
Let r = -4498/5 - -903. Let u = -18/5 + r. Is 0 smaller than u?
False
Let f(v) = -v + 1. Let b be f(0). Suppose c = b, -3*k - 2*c = -2*k - 2. Is 0 bigger than k?
False
Let u be (-2)/7 + (-48)/28. Let q be -3 + (1 - 2/u). Which is smaller: q or 1/3?
q
Let b = -121.03 - -122. Let l = b + 0.03. Which is smaller: l or -2/7?
-2/7
Suppose 0 = -2*z - 0 + 4. Suppose m = -3 + z. Suppose -3*i + 6*i = 0. Do i and m have the same value?
False
Let h = 0.7 + 1.3. Let u = -165/2 + 1163/14. Is h at least u?
True
Let t be 1 - 75/36*(-6)/(-15). Let a = -3 + 4. Which is bigger: t or a?
a
Let h(r) = r**2 + r + 1. Let t be h(0). Let p(i) = -t + i**3 - 4*i**2 + 0 + 5*i**2. Let b be p(0). Are b and -2 unequal?
True
Let z(q) = q**2 + 5*q - 4. Let j be z(-6). Let n(s) = s - 13. Let d be n(18). Which is greater: d or j?
d
Let x = -0.3 + 0.7. Let m = 19 + -18.4. Let i = m + x. Does i = -0.1?
False
Let v = 110 + -881/8. Is -4 > v?
False
Let u(t) = 3*t**2 + 6*t + 8. Let s be u(-6). Let j = 238/3 - s. Which is bigger: 0.1 or j?
0.1
Let d be -8 + 2/4*4. Let r = 7 + d. Is 2 less than r?
False
Let b(h) be the third derivative of -h**4/24 - h**3/2 + h**2. Let f be b(-6). Suppose -f - 7 = -5*k. Is k equal to 0.1?
False
Let f = 0 - -3. Suppose 2*u = 4*c - 16, f*