6. Is 24 < a?
False
Suppose 0*f + 5*l = 2*f + 2, -2*l = -f. Suppose t + f*z + 7 = 0, 5*z + 0 + 11 = -2*t. Let c = t + 4. Is c bigger than -2/13?
True
Let r be 2 - (20/(-5) + 5). Suppose -5*b - 2 + 8 = -4*f, 4*f = b + 2. Is f smaller than r?
False
Let m = -3.92 + -0.08. Let o = m - -6. Let c = -2.1 + o. Is c <= -1/2?
False
Let w = -7 + 12. Suppose -5*a - 10 = w. Let i(n) = -2*n - 41. Let y be i(-20). Which is bigger: a or y?
y
Let n = 2 - 1.5. Let c = -1.1 - -0.8. Let j = n + c. Are j and 0 nonequal?
True
Let l = 4 + -12. Let c = -15 + 26. Let g = l + c. Which is smaller: -1 or g?
-1
Let o = -255/4 - -64. Let f = -28 + 30.4. Let b = -0.4 + f. Is b < o?
False
Let r(i) = -i**2 - 7*i - 6. Let b be r(-4). Let j(d) = -d**3 + 6*d**2 + 9*d - 10. Let w be j(7). Suppose 0 = -o + w, 2*t - 4*t = 4*o - 30. Is b less than t?
True
Suppose 2 = 7*p - 40. Is 5/2 <= p?
True
Let j be 2 - 1 - (-1)/(-5). Suppose -w = 2*c + 1, 14 = 4*c - 3*w + 1. Which is smaller: c or j?
j
Let l = -308 + 9857/32. Which is greater: 0 or l?
l
Let b = -0.01 - 2.99. Let z = b - -3.1. Let d = 10 - 11. Which is smaller: d or z?
d
Let w be 1/(-3*(-1)/27). Suppose 3*s - w = 5*s + 5*x, -s = 3*x + 5. Let z be (-2 - 1) + 3 + s. Is z at most as big as -1?
True
Let q = -0.23 - -0.34. Let c = q - -0.04. Is c less than 0.1?
False
Let k = 27/8 + -1339/392. Suppose 4*o + v + 3 = 0, -16 = -5*o + 3*v - 7. Are o and k equal?
False
Suppose 15 = 8*v - 3*v, 5*j = -5*v + 35. Suppose 2*x = j - 2. Let u be ((-3)/(-3) - 3) + x. Is -2/3 at most u?
False
Let m = -0.25 - -0.05. Which is smaller: m or -2?
-2
Suppose -5*z - 5*m + 0*m + 35 = 0, 0 = -z + 4*m - 8. Suppose y - 10 = -y + 2*u, 0 = 3*u. Do z and y have different values?
True
Suppose 4 + 11 = 3*o. Suppose -o*x = -49 + 14. Let l be -1 - (x/(-3) - -1). Are 2 and l nonequal?
True
Suppose 0 = 10*f - 3*f - 21. Is 4 at least f?
True
Let g = 5.057 - -0.043. Let b = 3.8 - -1.2. Let o = g - b. Do o and 2 have the same value?
False
Suppose h + 13 = s, -3*s = -h - 8*s - 19. Let d = h - -7. Is -7 at most as big as d?
True
Suppose -2*l + 2*q = -14, -4*l + 2*q + 26 - 4 = 0. Suppose -3*a + 2 = -l*g, 2*g - 1 = -4*a - 13. Suppose 8*d - 5 = 13*d. Is d less than g?
False
Suppose -3*g + 12 = -7*g. Let q = -5 - g. Let j = -2 - q. Is j greater than or equal to 2/21?
False
Let c be 15/9*2 - 3. Is 0 <= c?
True
Let c = -5.96 + 6. Let l = c + -2.04. Are 2 and l nonequal?
True
Suppose -f - 1 = -4. Let m(d) = -d**2 - 7*d - 7. Let x be m(-5). Let z = -2 + x. Are f and z nonequal?
True
Let y be (3/6)/((-4)/48). Which is bigger: y or -11/2?
-11/2
Let l = 3.3 - 3. Is 2/3 less than l?
False
Let w = 6 - 6. Suppose 0 = -0*o + 3*o - 3*k - 24, 5*k + 28 = 2*o. Let l be -3*(o/6)/(-2). Which is bigger: l or w?
l
Let y(q) = q**3 - 5*q**2 + q - 3. Let f be y(5). Suppose -f*p = 5 - 3. Let v = -2 + 1.9. Which is smaller: p or v?
p
Let m = 134 - 669/5. Let p(g) = g**2 + 2*g + 1. Let j be p(-2). Let f be -1*(2 - j)*-1. Is f at least m?
True
Let w be (-38)/10 + (-6)/30. Let g(k) = k**2 + 3*k - 3. Let y be g(w). Which is smaller: y or -0.1?
-0.1
Let l = -17.6 - -16. Let k = l - 5.4. Are k and 1 equal?
False
Let k(x) = -x + 2. Let i be k(3). Is 2/31 not equal to i?
True
Let r(j) = 4*j - 5 - 3*j + 0*j. Let u be r(5). Suppose -3*n + 0*n - 9 = u. Is n greater than or equal to -3?
True
Suppose 0 = 4*u + 5*d - 55, -3*d - 41 = -2*u - 3*u. Is u <= 10?
True
Suppose -2 = -5*h + 3*h. Let k be 2/14*(h - -1). Suppose -3 = 4*f - 7. Which is smaller: k or f?
k
Suppose 2*n + 3*n + 4*k - 22 = 0, -4*n - 3*k + 17 = 0. Do n and 9/4 have different values?
True
Suppose 2*a - 4 = 2*c, 3*a - 9 = 2*c - 3. Suppose -a*g - 2 + 0 = 0. Which is smaller: g or -2/13?
g
Let o(u) = -2*u + 18. Let z be o(6). Suppose -2*n = -z*n - 12. Is n greater than or equal to -3?
True
Let d(v) = -v + 7. Let n be d(5). Let m be ((-9)/6)/(n/(-4)). Let p = 2 - m. Which is bigger: p or -3?
p
Let t = -0.04 - 0.2. Let n = t + -0.06. Let z = 0.1 + n. Which is smaller: z or -1?
-1
Let y(x) be the second derivative of -x**6/720 + x**5/20 - x**4/6 - 3*x. Let n(w) be the third derivative of y(w). Let v be n(7). Is v at least -2?
True
Let w(o) = -o**2 - 6*o + 8. Let q be w(-7). Which is greater: 0 or q?
q
Let w = 1 - -4. Suppose -3 = -2*c + w*h - 19, -4*c = 2*h + 8. Does -2 = c?
False
Suppose -2*k = -h - 3*k + 11, 0 = 2*h - 5*k - 15. Which is smaller: 11 or h?
h
Let p = 1065 - 43667/41. Which is bigger: -0.1 or p?
p
Let o = -5289/17 + 311. Is -0.6 bigger than o?
False
Suppose 0 = -0*t - 3*t + 15. Let j(o) = -o**3 + 4*o**2 - 2*o - 2. Let l be j(2). Suppose 30 = 3*s + 5*b, s - 13 + l = -2*b. Do t and s have different values?
False
Suppose 6 = g - u + 2*u, 0 = 2*g - u. Is g at least -1?
True
Let y be (2/1)/(4/(-22)). Let h = -80 + 68. Is h < y?
True
Suppose -2*m = 41 - 33. Which is bigger: m or -27/5?
m
Suppose 5*s = -x - 9 + 40, -47 = -2*x - 5*s. Let p be (6/4)/(30/x). Are 2 and p unequal?
True
Let a = 3.9 - -0.1. Let t = 3 - a. Let o = -1.1 - t. Are -0.3 and o non-equal?
True
Suppose 6*a = -3*a + 9. Let o(y) = -y**2 + 8*y - 7. Let h be o(7). Let i be (-2)/12*(h - -4). Is i >= a?
False
Suppose 5*p + 4*i = -0*p + 20, p - 2*i = -10. Suppose p = -4*m + 2*m. Let r = -2/31 + -23/124. Are m and r equal?
False
Let t = -490.1 - -463. Let d = -27 - t. Which is smaller: d or -8?
-8
Let c = 6 - 4. Suppose -c*p + p = -1. Let j = 0 - p. Is -2 greater than j?
False
Let u = -16 - -22. Let r(a) = -a**3 + 7*a**2 - 7*a + 9. Let t be r(u). Let d = 1 + t. Which is bigger: d or 3?
d
Let w(i) be the second derivative of -i**3/6 - 6*i**2 - i. Let s be w(-10). Is s <= -5?
False
Let y be (4/1 + -2)/(13 - -1). Let g(d) = -d**2 + d + 1. Let i be g(2). Is i > y?
False
Suppose 7*b - 2 = 6*b. Is b not equal to 17/5?
True
Let t = 1.15 - 0.15. Is -0.3 at least as big as t?
False
Let r be (2/(-3))/(1/3). Let k be (((-84)/(-18))/(-7))/((-20)/(-18)). Is k < r?
False
Let r be (-15)/((-15)/4) - (-272)/(-62). Which is smaller: -1 or r?
-1
Suppose 20*k = 17*k + 57. Is k less than 22?
True
Let z be 15/(-5) + 3*1. Suppose -2*h - h = -4*k + 5, z = 2*h + 6. Which is smaller: k or -0.03?
k
Let r = 902/7 - 128. Which is smaller: 2 or r?
r
Let b(h) = -h**2 + 2*h + 7. Let c be b(4). Which is smaller: c or -2/73?
c
Let k = 208/7 - 30. Let b = 5 - 4. Let v = b - 1.2. Which is greater: k or v?
v
Suppose -1 = -p + 3. Suppose 3*z - p*z = 0. Which is smaller: -1 or z?
-1
Let l be 8*(-2)/(-4) - 2460/618. Do 0 and l have the same value?
False
Let a = -8.92 + -0.08. Let b = 7 + a. Which is bigger: -0.3 or b?
-0.3
Let v = 1.14 - 0.19. Let k = -0.05 - v. Which is bigger: 0.2 or k?
0.2
Let c = 15 - 21. Suppose -10*o + 3*o - 49 = 0. Which is smaller: c or o?
o
Let l = -6 - 3. Let y = l + 9.03. Let p = y - 0.01. Is p at most -1?
False
Let r be -1*(2 + (-32)/20). Is r greater than or equal to -0.03?
False
Suppose 5 = -4*h + 9. Let n be (-1 - -1)/(h + -2). Is n < 2/57?
True
Let g be ((182/21)/13)/((-2)/69). Which is greater: g or -24?
g
Let z(o) = o**3 - 2*o**2 + o - 2. Suppose -4*p + 5*c + 21 = 0, 3*p - p - 3 = -5*c. Suppose -p*q = -q - 6. Let f be z(q). Is f != 1/2?
True
Let f be 6/4*-1*2. Let u be ((-2)/(-4))/(6/36). Let k(w) = -w + 1. Let g be k(u). Is f != g?
True
Let q = 6 + -8. Let a(m) = -m**3 + m**2 + m + 1. Suppose 4*s + 0*s = 0. Let z be a(s). Is z at least as big as q?
True
Suppose 3*r = 7 + 38. Are 16 and r non-equal?
True
Let d be (-183)/39 + (2 - -1). Is -1 greater than d?
True
Let y = -18 + 13. Let c be -1*(3 + y + -1). Which is greater: 0 or c?
c
Let d be 40/35*(-28)/(-8)*1. Which is smaller: 7 or d?
d
Let a be 0 - 1 - 6/14*-1. Which is bigger: a or -1?
a
Suppose 0 = 5*f - 8 - 2. Suppose f*y - 2 = y. Which is smaller: 1 or y?
1
Let i(r) = r**3 - 4*r**2 + 2*r + 2. Let x be i(2). Let l be x*1*(-3)/39. Suppose 1 = t - 2*t. Is t not equal to l?
True
Let q = -84.9 + 85. Are q and -1/36 unequal?
True
Suppose 10*q = 3*q + 28. Is q greater than 4?
False
Let s(l) = 24*l - 3. Let v be s(2). Is v at most 0.1?
False
Let m be (-34)/(-4) + (-24)/(-16). Is m greater than or equal to 8?
True
Let j = 3.4 + -2.4. Is j equal to -24?
False
Let g = 27/4 - 7. Let f(p) = 6*p - 3. Let c(w) = -13*w + 7. Let h(s) = 4*c(s) + 9*f(s). Let x be h(-1). Which is smaller: g or x?
x
Let j be (20/(-30))/((-2)/(-9)). Suppose -5*w = -o + 