6. Let z = g + -0.16. Is o at least as big as z?
True
Let c be (-2)/(-3)*12/(-508). Let t = -365/1016 + c. Which is smaller: t or 0?
t
Let a = 41110248/35 + -1174261. Let v = a + -2084/7. Let j = -20 + v. Which is bigger: j or -1?
j
Suppose -3*j - 37 = -3*y + 2*j, -4*y + 3*j = -31. Let u be (12/(-9))/(y/(-6)). Let n be -1 - (u + 0)/(-1). Is n equal to -2/11?
False
Let w = 1298/7 + -185. Let o be (-10)/28*2 + 1. Which is greater: w or o?
w
Suppose 4*y - 6*y = -16. Let x = 23 + -20. Let i be y/x*(-6)/4. Which is smaller: -2 or i?
i
Let c(x) = -2*x**3 + 6*x**2 + 3*x - 2. Let d be c(4). Is -22 less than or equal to d?
True
Suppose 4*i - 8 - 4 = 0. Suppose -5*r + i*j = -8, 5*r - 4 = -j - 0*j. Which is bigger: 0 or r?
r
Let f = -4 + 3. Let q(x) = x**2 + 11*x + 16. Let n be q(-10). Which is smaller: f or n?
f
Suppose -35 = -4*w - 3*g, -3*w = -2*w + 3*g - 11. Which is smaller: w or 9?
w
Let r be ((-20)/6)/((-1)/3). Suppose -5*x = -30 + r. Let f be 4/(-3)*1*-3. Is f at least x?
True
Suppose -i - 2*k + 20 = 3*k, 2*i = -5*k + 25. Suppose r = -5*h + 11, -5*h + 7 = -3. Let g = i + r. Which is smaller: g or 4?
4
Let r = 0.1 - -0.3. Let h = r + -1.5. Let n = h - 4.9. Is 1 at least n?
True
Suppose -4*s + 14 - 38 = 0. Let l be 3/s + 6/4. Which is greater: 0 or l?
l
Let c be (7 - 1)*(-1)/(-2). Let p be (-2)/c + 28/(-3). Let z(x) = -x**2 - 11*x - 10. Let k be z(p). Which is smaller: 5/4 or k?
k
Let s be 34/(-90) - 18/81. Is -2 equal to s?
False
Let w = 221/1501 + 5/79. Which is greater: 1 or w?
1
Suppose 0 = u + 4*u. Which is greater: u or -5/6?
u
Let n = 35 + -22. Let m = -12 + n. Is m bigger than -1/10?
True
Let w be ((-18)/(-4509))/((-4)/3). Which is smaller: w or 0?
w
Suppose 3*l = -l + 5*q - 19, -5*l = -5*q + 20. Let f be ((-385)/(-100) - 4)/((-1)/(-12)). Which is greater: l or f?
l
Let k be 4*3/6 - -4. Suppose k = 3*x + m, 6*m - m = -5*x + 10. Which is smaller: 4 or x?
x
Let r = -12 - -13. Is r less than or equal to -3?
False
Suppose 7*y = -6*y - 26. Let b = -7 + 4. Is b at least y?
False
Suppose 3*f = -3*b + 8*b + 5, -16 = -b + 4*f. Is -9 >= b?
False
Let s be (-2)/((-4)/(4 + -3)). Which is smaller: s or 0?
0
Let b = -2 + 10. Suppose -8 - 2 = -5*j. Suppose -j*a - b = -2. Is a at least as big as -1?
False
Let a = -5 + 2. Let p = 3.4 + a. Let q = p - 0.5. Which is greater: -1 or q?
q
Let n = 13.9 - 2.9. Let o = n + -10.96. Is o at most 0?
False
Suppose 16 = -r + 5*r. Suppose 0 = 2*v + r - 18. Are 9 and v unequal?
True
Let t(w) = 2*w**2 + 3*w - 10. Let c be t(6). Are 79 and c equal?
False
Suppose 3*b - 6*p + 12 = -3*p, 0 = -2*b - 3*p + 17. Let v = b - -5. Suppose m = -0*m + v. Which is smaller: -0.1 or m?
-0.1
Let o be ((-6)/(-333))/(2/(-54)). Let d = 22/259 - o. Let p = -0.1 - -0.2. Which is bigger: d or p?
d
Suppose -5*v + 0*v - 50 = 0. Let q be 0/2 - v/2. Is 4 greater than q?
False
Let p = 2.3 - -2.2. Let a = -5 + p. Let w = a + 0.7. Which is smaller: 2 or w?
w
Suppose 1 + 3 = -2*q. Let p(r) = -r**3 + 12*r**2 - 10*r - 14. Let l be p(11). Which is smaller: q or l?
l
Let b = -2 + 8. Suppose -5*j - 7 = 3*s, 5*s + 0*j = -3*j + 15. Is s at least b?
True
Let g be 50/(-3)*(-18)/(-15). Do g and 2 have the same value?
False
Let a(x) = x**3 + 5*x**2 - 1. Let j = 15 + -20. Let d be a(j). Is d < -1/3?
True
Suppose -v + 2*h = -0 + 1, 4*h + 4 = 0. Is v less than -1?
True
Let a = -20.52 + 24. Let w = a - -0.32. Let r = -0.8 + w. Is r equal to 0.1?
False
Let d = -3693 - -77317/21. Let g = 88/7 + d. Let y(o) = o - 4. Let j be y(6). Is g < j?
True
Let l be 2/(-10)*5/(-4). Let k = -4 - -8. Let a(z) = -z**2 + 5*z - 5. Let t be a(k). Which is greater: l or t?
l
Let x(v) be the third derivative of -v**5/60 + 5*v**4/24 - v**3/2 - v**2. Let h be x(4). Which is smaller: h or -2/29?
-2/29
Let m be (-12625)/(-10)*(-1)/(-15). Let o = 84 - m. Let u be -2 + (-1 + 4)*1. Which is greater: o or u?
u
Let o = 0 - 0. Let p(n) = -n**2 - 3*n + 3. Let i be p(-3). Suppose -i = -c - 2*c. Which is bigger: o or c?
c
Let c(q) = q**2 + 11*q + 11. Let a be c(-7). Which is bigger: a or -16?
-16
Suppose 8*m = 2*m + 12. Suppose -3 = -m*q - 5. Is q equal to 4?
False
Let q be (2/(-3))/((-30)/(-315)). Are -1/5 and q unequal?
True
Let h = 106 + -105.8. Which is greater: -0.38 or h?
h
Let l be ((-6)/(-4))/(42/(-1560)). Let t = -56 - l. Let z(d) = d**3 - 2*d**2 + d. Let h be z(1). Are t and h unequal?
True
Suppose -4*r - 4 = -4*c, -5*c - 2*r - r = 19. Let l be c*((-6)/(-2) + 0). Let b = 8 + l. Do b and 6 have different values?
True
Let p(s) = -s. Let n(d) be the first derivative of 3*d**2/2 + d + 3. Let x(o) = -n(o) - 4*p(o). Let k be x(2). Do 2/9 and k have different values?
True
Suppose -5*x - 6 - 7 = -3*p, 2*x = -4*p. Let f = 433/4620 - -1/660. Which is smaller: f or p?
f
Let d = 0.7 + -0.7. Let x = -2.96 + 3. Is d at least as big as x?
False
Let d be -1 + (1 - -2) - -12. Let j be (-4)/d - 46/(-14). Let f be (9/(-18))/((-1)/6). Is j at most f?
True
Let n = 0.68 - -0.32. Is n > 110/3?
False
Let i be -1*3/1 + -2 + 6. Are i and 2/97 equal?
False
Let t = -145 - -174. Which is smaller: 27 or t?
27
Let k = 141 - 5783/41. Let t = 0 - -1. Which is smaller: k or t?
k
Let j = 4821/7 - 684. Which is greater: j or 4?
j
Suppose -3*v + 8*v - 10 = 2*h, 2*v + 5*h - 4 = 0. Which is greater: 7 or v?
7
Let x(f) = 6*f**2 - 10*f. Let q(m) = m**2 - 2*m. Let u(d) = 11*q(d) - 2*x(d). Let g be u(-1). Which is smaller: g or 0.05?
0.05
Let a = 15 + 29. Let q = a + -40.2. Let f = 4 - q. Is -0.3 != f?
True
Let v be (1252/66)/((-8)/(-84)). Let i = 199 - v. Which is greater: i or 0?
0
Suppose 0 = 2*q - 8, -4*v - 71 = v + q. Is v smaller than -16?
False
Let a = 8 + -3. Let n = a - -1. Suppose -5*r = -3*r + n. Are -3 and r non-equal?
False
Let v be -4*(-1 - 5/2). Suppose -4*m + v = h, 3*m + h + 10 = 5*m. Is m at least -2/3?
True
Suppose 0*o = -o + 4*b - 371, 4*o + 1504 = -4*b. Let w = -7127/19 - o. Is w greater than -1?
True
Let l = 11 + -20. Let c be -1 - (0 + 3/l). Is -0.08 < c?
False
Let a = 0.55 - 0.85. Is a <= 25?
True
Let o be ((-679)/(-3724) - 1/7)/3. Is 1 <= o?
False
Let g = -0.12 + 0.02. Which is smaller: 4 or g?
g
Let p = 1336 - 921. Let x = p + -6227/15. Is -1 at least x?
False
Suppose 0 = 5*w - 0*w - 1850. Let g be 7*134/w + -2. Let f = 5/37 - g. Do f and 1 have the same value?
False
Suppose 5*h + 0*j - 5*j = 10, 11 = -5*h - 2*j. Which is smaller: -4/5 or h?
h
Let s(f) = 6*f**2 - f. Let p be s(1). Suppose p = 2*x - 3. Let u = -5 + x. Is u at most as big as -2?
False
Let p(k) = k**2 - 6*k + 6. Let w be p(5). Suppose -8 = 4*b + 2*z, b - 22 = 4*z - 6. Suppose b*r - r = -w. Which is smaller: r or -2/7?
-2/7
Suppose -4 = o - 15. Is o at most as big as 11?
True
Let t be ((-16)/(-380))/(6/45). Is t smaller than 0?
False
Let p = 0.28 + 0.12. Let j = 0.6 - p. Which is bigger: 2 or j?
2
Let k be 12328/6*2/(-24). Let u = -171 - k. Which is greater: u or 0.2?
u
Let d be 2/(1/(21/12)). Which is bigger: 5 or d?
5
Let d = 0 - 0.1. Let r = d + 0.2. Let m = 41 + -40. Is m >= r?
True
Suppose 2*q + 2*q = -b - 33, 2*q - b + 15 = 0. Which is bigger: -5 or q?
-5
Suppose 3*g = 4*t + 1 - 4, -t + 5*g + 22 = 0. Is t at most as big as -8?
False
Let g = 85 + -85.1. Which is greater: -1/6 or g?
g
Suppose 4*q - 51 + 3 = 0. Which is smaller: 5 or q?
5
Let z(j) = 5*j - 1. Let t be z(1). Let p be 3/6 + t/8. Which is smaller: p or -1?
-1
Suppose -3*s + 35 = 2*s. Let y(u) be the third derivative of -u**6/120 + u**5/10 + u**4/4 + u**3/2 + 2*u**2. Let n be y(s). Is n > -4?
False
Let h(d) = -7*d**3 - 8*d**2 + 3*d + 8. Let r(i) = i**3 + i**2 - 1. Let q(t) = -h(t) - 6*r(t). Let u be q(-3). Is u smaller than -6/7?
True
Let l = -74 - -74. Is l greater than or equal to -36?
True
Let i be (0/(-1))/(-4 + 7). Which is greater: 1 or i?
1
Let v = -0.4 - 0.8. Let y = 0.8 + v. Which is bigger: y or 2?
2
Let d = 3.3 + -3. Let t = 0.3 - d. Which is smaller: t or -1?
-1
Let p be (-7)/30 - 27/45. Which is greater: -2 or p?
p
Let q(g) be the third derivative of -g**6/120 - 7*g**5/60 + g**4/3 - g**3/6 - g**2. Let x be q(-8). Is -1 less than x?
False
Let r = 5 - 6. Let b be (r - (2 - 2)) + 2. Let g = 89/24 + -19/8. Are g and b equal?
False
Let s(i) = i**3 + 6*i**2 - 8*i - 7. Let b be s(-7). Does b = -1/31?
False
Suppose -5*v = -2*c + 4, -3*v = 3*c + c - 8. Suppose v = 4*q - 0*q 