. Let k be c(8). Let j(l) = l**3 - 8*l**2 - 2*l + 8. Let i be j(k). Which is bigger: -6 or i?
-6
Let h = 1.4 - 16.4. Is 3/7 at least h?
True
Let o = 14 + -9. Let z(i) = -i**2 + 6*i - 4. Let j be z(o). Are j and 0 non-equal?
True
Let f(s) = 0 - 10 + s + 8. Suppose 3*v - 17 = -4*d, 0*v = 5*d + 4*v - 21. Let b be f(d). Is b smaller than 1?
False
Suppose -13 = -n - 4*u, -u + 0 + 2 = 0. Suppose 0*r = n*r - 2*a + 5, 0 = 2*r - 2*a + 2. Let k = -357 + 10355/29. Which is greater: k or r?
k
Let v(p) = p**2 + 5*p + 6. Let d be v(-5). Let n(q) = q**2 - 5*q - 7. Let x be n(d). Which is bigger: x or 0?
0
Let r(d) = -3*d + 4. Let z be r(-2). Is 10 bigger than z?
False
Suppose -2*c - 5*g + 40 = 3*c, -4*g + 35 = 5*c. Let o(f) = f**3 - 6*f**2 - 7*f - 6. Let p be o(7). Let b be p - (c/(-3) - 2). Is b != -3?
False
Let v = -3.5 - -1.9. Is -0.1 <= v?
False
Let j be (4 + -10 + 11)/((-1)/(-1)). Let i be 0 - (2 - 18/8). Is j >= i?
True
Suppose -91 + 16 = 5*s + 5*p, -3*s = -4*p + 73. Is s greater than -18?
False
Let l = 9 + -5. Suppose -b - l = 6. Let i(w) = -w**2 - 9*w + 12. Let u be i(b). Which is smaller: 4 or u?
u
Let i = -5 - -13. Let v(c) = -2*c**2 + 5*c + 7. Let h be v(i). Let p = h - -564/7. Is -1 at least p?
False
Let k be (16/(-20))/(2/5). Suppose -3*c + 11 = -n - 0*c, 3*n + 4*c - 6 = 0. Is k >= n?
True
Let v = 70.04 + -70. Let u = 1 + -0.96. Let z = u - v. Do 1/3 and z have the same value?
False
Let o be 4/(-16) + (-17)/(-4). Suppose -4*l + 8*l + 2*i = -10, -l - i - o = 0. Which is greater: 1 or l?
1
Let x be (6/(-5))/(3/75). Let a be -2 + ((-128)/x)/2. Let i be 2/4 + (-7)/6. Is a < i?
False
Let h(n) = -7*n**2 + 6*n + 10. Let r(l) = -10*l**2 + 9*l + 15. Let z(m) = -7*h(m) + 5*r(m). Let v be z(4). Let c = -80 + 244/3. Is c >= v?
True
Let b be 56/189*(-3)/4. Which is smaller: -0.5 or b?
-0.5
Suppose 5*l = -2*o - 0*o - 18, 2*l - o = 0. Which is smaller: l or -3?
-3
Let v be (-1540)/24*(-5)/25. Which is bigger: v or 14?
14
Let f = 120.51 + -79.68. Let x = f + -41. Let j = -0.03 + x. Which is smaller: j or 0?
j
Suppose -2*w + 3*s = -0*w - 26, 0 = -w - 4*s + 13. Let o = -18 + w. Let p = 4 + o. Which is bigger: -1/3 or p?
-1/3
Let s be -5*13/((-1820)/(-1224)). Let r = s + 44. Which is smaller: -1 or r?
-1
Let c(n) = 12*n + 1. Let h be c(3). Let a = h - 145/4. Is 0 <= a?
True
Suppose 3*z = z. Suppose -k + z*k = 0. Which is smaller: 2 or k?
k
Suppose o + 4*x - 2*x = -4, 5*o + 4 = -2*x. Suppose -4*v = p - 1, o = v + 3*p - 0*p - 3. Are -1.3 and v unequal?
True
Let d = 24 - 55. Is d at least as big as -30?
False
Let v = 45.8 - 46. Is v at most as big as -0.2?
True
Let n be ((-2)/6)/((-4)/(-4308)). Let g = 2509/7 + n. Let w be 8/6 - 2/3. Which is greater: w or g?
w
Let s = 5.7 - -1.3. Let p = 10 - 1. Let y = p - s. Is y at least 2/7?
True
Let w = 87 + -74. Which is greater: w or -0.1?
w
Let p = 0.2 + -1.2. Suppose 3*x - 6*x - 51 = -3*i, -5*x = 2*i - 20. Let o be 20/16*(-3)/i. Which is smaller: o or p?
p
Suppose 4*a - 20 = 5*a. Which is smaller: a or -21?
-21
Suppose -4*w = 4*b - 24, 0 = 2*w - 6*b + 9*b - 15. Which is smaller: 7/3 or w?
7/3
Let g = 0.03 - -0.07. Let r = g + -0.06. Are r and 0 unequal?
True
Suppose -f = -4*f + 3. Suppose 11 = 5*d - 3*m, -d - m - f = -8. Let k = -2/279 + 1399/558. Which is smaller: d or k?
k
Let r = -86/171 + -1/19. Which is smaller: 0 or r?
r
Let l be (-3)/(-4 + 87/24). Suppose 4*g = -4 + l. Which is smaller: 2/77 or g?
2/77
Let u be (-32)/(-78) - (-12 - -5)/(-21). Is 0 >= u?
False
Let j(n) = n**2 - 8*n + 6. Let m be j(7). Which is bigger: m or -0.23?
-0.23
Suppose 3*n - 9 = 0, 3*a - 99 = -0*a - n. Which is smaller: 33 or a?
a
Let n be ((-1)/(-2))/(6/4). Let a(j) = -j - 2. Let k be a(-7). Suppose k*p + 5 = -0*p. Is p equal to n?
False
Suppose 2*z - 12 = 5*z + 3*v, -5*v - 16 = 3*z. Suppose 0*o = -2*o + 5*t + 8, 4*t + 7 = o. Is o at least z?
True
Let s = -1 + 2. Suppose 3 = -5*d - 2. Let o be d/(-4) - 2/24. Which is smaller: o or s?
o
Let q = 185 + -1297/7. Is 0.15 smaller than q?
False
Let v(x) = -x**3 + 5*x**2 - 4*x. Let s be v(4). Suppose -2 = -3*t - 14, -t - 8 = -4*d. Which is bigger: s or d?
d
Let u(j) = -j**2 - 4*j - 9. Let p be u(-7). Let w = -2 - p. Suppose -q - w = 3*q. Is q > -6?
False
Let j(v) = -2*v + 1. Let r be j(-4). Is r less than 8?
False
Let a = -10 + 5. Do -5 and a have the same value?
True
Let o be (-1 - 3)*(-11)/2. Let y be 268/22 + (-4)/o. Let h be (-8)/(-18) + (-4)/y. Is 0 equal to h?
False
Let x(s) be the second derivative of -s**3/6 + 3*s**2 - s. Suppose 5*n = 3*n + 12. Let z be x(n). Which is smaller: -1 or z?
-1
Let x be 74/110 - (-15)/25. Which is smaller: 0 or x?
0
Let m be (5/(-2))/(1/2). Are m and -7/2 equal?
False
Suppose 93 = 5*o + 473. Let m be (-14)/63 - o/18. Which is smaller: m or 5?
m
Let l(u) = -5*u. Let p be l(-1). Suppose -5*a - 10 = -5, 4*g - p*a - 5 = 0. Let j = -5 - -5. Is g >= j?
True
Let n = -6 - -5.6. Let u = -9 - -5. Let d = u + 3. Which is smaller: d or n?
d
Let h be (1 + 0 - 2)/(-1). Let k be (-3)/6*((-29)/11 + 3). Which is greater: h or k?
h
Let t = 4.1 - 4. Let f = -4 - -5. Is f less than or equal to t?
False
Let n be (18/(-21))/((-2)/14). Suppose k = -3*s + n, 0 = -3*s + 3*k + k + 6. Let u = s - 3. Is u at most as big as -2?
False
Let o = 0.1 + -0.5. Let a = 0.1 + o. Let s = a + 0.2. Which is greater: 0.1 or s?
0.1
Suppose 4*s = 4*g, 0 = -2*g + 3*s - 0*s. Suppose 4*c = 3*c + 4*o + 20, g = c + 2*o + 10. Let k be (2/(-4))/((-3)/(-4)). Is k less than or equal to c?
True
Let i(s) = s**2 + 6. Let c(g) = 3*g - 6. Let w be c(4). Let d(j) = -j**2 - 5. Let f(z) = w*i(z) + 7*d(z). Let p be f(-1). Which is smaller: p or -1/6?
-1/6
Let x(t) = 0*t**2 + 8*t**3 + 2*t - t - t**2. Let l be x(1). Let i be 9*(l/6 - 1). Which is bigger: i or 5/3?
i
Let i = 2.228 + -0.168. Let b = -0.06 + i. Is b not equal to 1/4?
True
Let c(h) = h - 5. Let f(l) = -l + 10. Let t be f(6). Let b be c(t). Is b bigger than 2/35?
False
Suppose 0*p + 3*s - 9 = -5*p, -5*s = -15. Let l be -3*(p + 1/(-9)). Which is smaller: -1 or l?
-1
Let h(p) = p**3 - 8*p**2 - 11*p + 11. Let u be h(9). Which is smaller: u or -5?
u
Let f = -5 + 3. Let u = -2 - f. Is 1 > u?
True
Let o = 0.9 + -0.9. Let h be 6 - (3 - (1 + 1)). Suppose d = -4*d + h. Which is greater: d or o?
d
Suppose 4*a + 10*a + 14 = 0. Is a bigger than -8/5?
True
Suppose -3*q - 2 = 34. Which is smaller: q or -14?
-14
Suppose -2*h - 12 = -2*t + 6*t, 3*t + 19 = -4*h. Let m be ((-38)/24)/(124/60). Let u = 1/62 + m. Which is greater: u or t?
u
Let o be (-2 - (-22)/9)/6. Suppose -2*a - 10 = c + c, 0 = -3*c - 4*a - 19. Is c less than or equal to o?
True
Let p(b) = 24*b**3 - 2*b**2 + b. Let z be p(1). Let a = -32 + z. Let k be (4/18)/(24/a). Which is smaller: 1 or k?
k
Let z(n) = -4*n**2 + 2*n - 1. Let a be z(1). Let h(f) = -f**3 - 11*f**2 - f - 14. Let y be h(-11). Let c = y + 0. Is a at most c?
True
Let f(s) = s - 2. Let z be f(5). Suppose 3*c + 3*y = -2*y + 15, 0 = 3*c + y - z. Which is bigger: c or -2/3?
c
Let a = -38 + 60. Let p = a - 24. Is -5/6 not equal to p?
True
Suppose 0 = -3*x - 0*x. Suppose 2*z + 1 + 1 = x. Let r be z/4 - (-33)/(-12). Are -3 and r nonequal?
False
Let k = 2 + -1. Let f = -1 + 2.1. Let j = f - k. Are j and -0.2 equal?
False
Let g = 8 + -2. Is 0 <= g?
True
Suppose 5 = 6*r - 11*r. Suppose -3*y + 10 = 2*y. Let n = r + y. Which is bigger: 2 or n?
2
Let o = 0.03 + -3.03. Let s(a) = -a**3 - 5*a**2 + 6*a + 1. Let g be s(-6). Which is bigger: o or g?
g
Let l be 3/(54/15) + (-5)/10. Let o be (-3)/(2 + 0 - 6). Is o != l?
True
Let j be (-5*6/(-45))/3. Let p = 4 - 3. Which is smaller: j or p?
j
Let i = 1 - -3. Suppose i*w = 6 + 14. Are 4 and w equal?
False
Suppose 0 = -4*g + 4*l + 32, l - 1 = -3. Is 5 < g?
True
Suppose 0 = h + 2*f + 2*f - 5, 4*f = 4*h - 20. Let r = h + -2. Do 2 and r have the same value?
False
Suppose -2*k - 58 = -4*g, 0*g = 3*g + k - 31. Which is smaller: 10 or g?
10
Suppose 2*n + 3*g - 3 = -0*n, -5 = -3*n - 4*g. Is n greater than -2/5?
True
Suppose 0 = z - 6*p + 3*p + 15, 2*z + 2*p = -46. Let y be 162/z - (-4)/(-14). Let a be 10/y - (-4)/4. Is a bigger than -1?
True
Suppose 22 = -a - n, -4*n = -2*a - 31 - 37. Let w be (-13)/a + 7/(-2). Is -3 < w?
False
Suppose -2*l - 15 = 3*l. Let y be 6*(2 + l + 2). Let c = -4 + y. Is c >= 4/5?
True
Let u = 0 - 0. Let