2*c + 4*c + 5*l - 17, 3*c - 4*l = -9. Let y be c/(-17)*(-1 - -2). Is y greater than -1?
True
Let c = 943/3751 + -7/121. Is c at least as big as 1?
False
Let m = -11 + 8. Is 15 greater than or equal to m?
True
Let h be (-1494)/(-27)*(-6)/4. Is h less than or equal to -83?
True
Let m = -2 + -6. Does m = -8?
True
Suppose -2*q = 4*w - q + 43, 3*q = 4*w + 31. Is w <= -11?
False
Let l(i) = i**3 - 11*i**2 + 11*i - 8. Let z be l(10). Suppose 5*f + 6*o + 54 = z*o, -2*f = 2*o + 22. Is f equal to 1?
False
Let g = -28 - -29. Which is smaller: g or 2/89?
2/89
Let f(p) = p**2 - p - 1. Let t be f(3). Which is greater: 6 or t?
6
Let s = 47 + 1. Let j be (-1)/(-6) + 4/s. Which is bigger: j or -1?
j
Suppose o = 5*v - 22, o + 2 = 4*o + 2*v. Is o <= -7/4?
True
Let m = 3 + -2. Suppose 0*w = -w - m. Let h be w/3 - 28/(-147). Is h smaller than 0?
True
Let d(p) = p**3 + 4*p**2 - 7*p - 7. Let o be d(-5). Let f(l) = -2 + o*l - 1 + 0*l**2 - l**2. Let h be f(3). Is h smaller than -1?
True
Let j = -1706951/30 + 56887. Let r = -56/5 - j. Do 0 and r have the same value?
False
Let t = -91/2 - -54. Do t and 9 have the same value?
False
Suppose -4 + 3 = g. Let k = g + 2. Let j be 1 - (k - -1 - 3). Is 1/3 < j?
True
Let z = -39 + 38.8. Is z at least 1?
False
Let c = 23 + -17. Is c less than 8?
True
Suppose 2*f + 5*z - 14 = 0, 3*f + 2 - 18 = -5*z. Let l = f - 2. Is -0.05 at most l?
True
Suppose 0 = -2*h - 14 + 4. Let g = h + 5. Let a be -6*(-2)/5 - 2. Is g at most as big as a?
True
Let r be 3 - ((-4 - -2) + 1). Suppose 14 = -3*h + r*h + b, -h = 4*b - 11. Is h at least 16?
False
Let u be (-2)/5 + 624/(-40). Is -16 not equal to u?
False
Let l(t) be the second derivative of -t**5/20 - 5*t**4/12 + 5*t**3/6 - t**2 + 3*t. Let k be l(-6). Suppose 0 = k*w - 7 - 1. Which is greater: w or 1?
w
Let h = 477.01 + -474. Let d = h - 0.01. Is d at most 1?
False
Let p = 29 - 30. Is 1/8 bigger than p?
True
Suppose 0 = 12*h - 11*h + 8. Which is greater: h or -7?
-7
Suppose u + 0*m = -2*m + 9, -4*u + 4*m - 12 = 0. Which is smaller: 7 or u?
u
Suppose -j - 3*k + 19 - 50 = 0, -k + 15 = -j. Is -19 > j?
False
Suppose c + 2*c = -5*z + 32, 5*z = -4*c + 36. Suppose 0 = 4*n + c*x - 4, 3*n = -x + 4 - 1. Which is bigger: n or -2/27?
n
Let w be (-3)/6*3/6. Let u be ((-3)/(2 + 1))/1. Is w bigger than u?
True
Let p = 0.8 + -0.6. Are -4 and p nonequal?
True
Suppose -2*c + 8 = -3*f, -c + 8 = -3*c - 5*f. Let a = -2943 + 58873/20. Let i = -2/5 + a. Which is greater: c or i?
c
Let w = 2 + -5. Let u be (-150)/(0 - w) - 0. Let t = 352/7 + u. Is -4 at most as big as t?
True
Let i = 6764645/13 + -520818. Let p be 6/(-2) - -1 - -463. Let o = p + i. Is o <= 0?
False
Let j(a) = -a**3 + 3*a - 3. Let g be j(2). Let y = -13 - -6. Is y bigger than g?
False
Let y be (78/7)/(3/(-21)). Do -79 and y have the same value?
False
Let i = -4.1 + 4. Let q(u) = u**3 - 4*u**2 - 4*u + 3. Let x be q(5). Let p be 6*x/42 - 2. Which is smaller: i or p?
p
Let o(d) = d**2 + 7*d - 2. Let t be o(-6). Let g be (1 - t/10) + -1. Which is greater: g or 2?
2
Let g(j) = -j**3 - 4*j**2 - 4*j - 4. Let y be g(-3). Let x be -2 - (1 + y) - -2. Let n(i) = i**2 + 5*i - 5. Let v be n(-6). Which is smaller: x or v?
x
Let z be (-2)/((0 - 0) + -2). Let c = 74 - 19. Let k be 2/7 + c/(-70). Which is smaller: k or z?
k
Suppose 2 = -v + 4. Suppose 2*z + a - 8 = 5*a, -3*z + 3*a + 6 = 0. Which is smaller: z or v?
z
Let c = 8 - 3. Suppose m - 6*m + 5 = 0, -4*m = c*d - 4. Is d <= 0?
True
Let p = 7.9 + 19.1. Which is bigger: p or -1?
p
Suppose 2 = -5*d - 3. Let x = 8 - 0. Let g be (0 + 3)/(0 + x). Which is smaller: g or d?
d
Let q = -11 + 11. Which is greater: 2/7 or q?
2/7
Let r(z) = -2*z - 17. Let i be r(-7). Which is smaller: i or -1?
i
Let h = 21 + -15. Let t = -5 + h. Let g = -11 - -97/9. Which is smaller: t or g?
g
Let m = 10 - 2. Let x = m - 8. Are x and -0.9 non-equal?
True
Let s = 4 + -3.9. Let i = s + -0.1. Is 2 <= i?
False
Let g = 1.1 + -1. Let k = 0.06 - g. Which is bigger: 0.1 or k?
0.1
Let j(v) = -2*v**3 - 2*v**2 + 1. Let y be j(-1). Let u = -1 + y. Which is bigger: u or -1/5?
u
Let z be (6/30)/(1/2). Which is greater: 0 or z?
z
Let i = -5 - -15. Let j = 14 - i. Is j less than 4?
False
Let t(d) = d**2 + 2. Let f be t(3). Suppose 3*p - z - f + 0 = 0, -18 = -5*p + 2*z. Is p at least 4?
True
Let j = -1.6 + 2. Is 0.3 bigger than j?
False
Let g = 0.4 - 0.3. Let u = 2 - 5. Let v = -2.8 - u. Which is greater: v or g?
v
Let f be (3 - 4)/(0 - (-3)/(-6)). Is 5/9 < f?
True
Let x = 0.03 + -0.13. Are x and 3/2 non-equal?
True
Let t = -4.8 - -0.8. Let l = -3.8 - t. Let m = l - 0. Is 2/5 not equal to m?
True
Let o(j) = -j**3 + 6*j**2 - 4*j - 1. Let x be o(5). Suppose -4*s + 0 + x = 0. Suppose 0*y + 5*u + s = -2*y, 4 = -4*u. Is -2 at least y?
False
Let u = -11 + 11. Let y(l) = -l**2 - l - 6. Let m be y(u). Is m at least -6?
True
Let r(g) = g**3 + 8*g**2 + g + 8. Let t be r(-8). Are -5/4 and t unequal?
True
Let s(w) = w**2 + 5*w - 10. Let n be s(-6). Let d be 8 - n/16*-4. Which is bigger: d or -2/3?
d
Suppose -3*w + 6 = -5*w. Let r be w/(-1)*(-2 + 6). Which is smaller: r or 0?
0
Let y(r) = r**3 + 4*r**2 + 4*r + 2. Let d be y(-2). Let i = 1 - d. Let q be -1 + 1 + (0 - i). Which is bigger: 1/3 or q?
q
Let u(y) = y + 21. Let o be u(-20). Let n be 3/2*8/6. Which is smaller: o or n?
o
Let x = 46.01 - 46. Is 2 at least as big as x?
True
Let p = 53242/57 - 934. Let c = -14/19 + p. Which is smaller: c or -1?
-1
Suppose -4*j + 24 = g + 3*g, 5*g + 3*j - 20 = 0. Suppose -2*q + 4 = -4*s, q - 9 = -4*s - 1. Suppose -3*k - q = -k - 3*b, k + 2*b = 5. Is g at most k?
True
Let o be ((-12)/(-10))/(2 + 8/(-5)). Which is smaller: o or 0?
0
Let s be (-152)/(-32) + (-1 - 3). Let m = 0 - -0.1. Is s <= m?
False
Let w(y) = y**3 + y**2 - 6*y - 6. Let p be w(-4). Let a be (-8)/50*(-25)/p. Which is greater: a or 1?
1
Let v be (-627)/(-2) - (-7)/14. Let t = -2194/7 + v. Which is smaller: t or 1?
t
Let d be (-1)/((-6)/21) - 2. Let v = -9 - -11. Suppose -1 = -j + v. Is j greater than d?
True
Suppose -748 = -4*a + 3*g, -a - 2*g + 578 = 2*a. Let z = a - 2086/11. Is 0.1 greater than z?
False
Let v(o) = 26*o - 9. Let i be v(1). Which is greater: i or 13?
i
Let y be (-6)/(-21) + (-3)/(-42)*-4. Which is greater: -4/3 or y?
y
Let z be -8 - -9 - (-1 + 1). Is z not equal to 2/11?
True
Suppose 4*p = 8 - 0. Does -1/10 = p?
False
Let u = 82 + -493/6. Suppose -4*m + 3 = s, m - s + 3 = 6*m. Suppose 5*t + m + 5 = 0. Is u greater than or equal to t?
True
Let u(f) = -f + 6. Let g be ((-6)/(-5))/(6/(-20)). Let c be ((-14)/g*-2)/(-1). Let r be u(c). Is -2 < r?
True
Let b = 1.5 + -0.8. Let h = b + -0.9. Let m = 0 + 0.2. Which is smaller: m or h?
h
Suppose 2*a = -5*a + 21. Let p be (-10)/(-14) + 8/28. Let h be -4 + 10 - (0 + p). Which is smaller: a or h?
a
Let z = -15 + 8. Is z less than or equal to -2?
True
Let f = 15 - 15. Is f < -2/11?
False
Let c = 6/7 + -17/28. Let r = -16.06 + 0.06. Let v = r - -15.6. Which is bigger: c or v?
c
Let z be (-2)/4*(-12 + 2). Suppose -z*w + 22 = -3*w. Suppose 1 = -3*y + q, 0 = -y + q - 6*q - w. Which is greater: y or -0.1?
-0.1
Let a be 1 + 0 + (-306)/(-3). Let i be (-4)/2 - a/(-30). Let u = i + -8/5. Which is bigger: u or -1?
u
Let v be (-6)/14 - (-29382)/(-336). Let n = v + 88. Which is smaller: n or 2/9?
n
Let v = 759/5 - 151. Which is greater: v or 0?
v
Let d = -361/5 + 72. Is -1 less than or equal to d?
True
Let j(d) = -2*d. Let w be j(-3). Let b = w - 6. Is b less than or equal to 0?
True
Suppose -s = -5*s - 3*n - 5, 3*s + 2*n + 5 = 0. Let i(u) = -u**3 - 4*u**2 + 3*u - 4. Let l be i(s). Let k = l - 3. Is 4 at most k?
False
Let h(z) = -z**3 + 11*z**2 + 32*z - 12. Let d be h(13). Which is bigger: 65 or d?
d
Suppose 0*k = -k + 45. Suppose 4*n - 9*n = -k. Is n >= 9?
True
Suppose -4*t + 4 = -0*t. Let b = t + -1. Let x = b + 1. Is x bigger than 2?
False
Let n be -3 + 33/(-27)*-3. Which is bigger: n or 1/5?
n
Suppose f + 0*f + 2*l = -5, -4*f = -l + 2. Let a = 630 + -316. Let t = -4712/15 + a. Is f at most as big as t?
True
Let c = -126 + 128. Let k = 3 - 1. Is c not equal to k?
False
Let n = -21.5 + 17. Let m = -0.5 + n. Is 1 at most as big as m?
False
Let j = 3.4 + 0.6. Is j <= 0?
False
Suppose 15 = 4*g + g. Let v = 1 + 4. Suppose 8*y - v = g*y. Which is smaller: y or 1/7?
1/7
Let p = 0 - 0