6. Let t(n) = -3*n**2 + 5*n + 7. Let r(d) = -2*c(d) + 5*t(d). Let o be r(6). Is 1 at least o?
True
Let z = -271/20 - -55/4. Let k = -135 - -132. Which is smaller: k or z?
k
Suppose f - 4*f + 5*c = -907, 3*f - 4*c - 905 = 0. Let m = -575/2 + f. Let z = -11 + m. Which is smaller: -1 or z?
-1
Let i be (-4)/(-12)*(-9)/(-21). Let c = 0.2 + -0.1. Which is smaller: i or c?
c
Let h = 15 + -7. Let b = 529/66 - h. Let r = -145/858 + b. Is r greater than or equal to 0?
False
Let h(i) = -49*i - 1. Suppose -3*t - 3 = 2*o, -2*t = t - o + 3. Let g be h(t). Let z be 0 + -2 - g/(-22). Which is greater: z or 1?
1
Let h = 37 - 22. Suppose -h = -5*q + 10. Let v = -3 + q. Which is smaller: v or -2/5?
-2/5
Let s be (18/40)/(24/10). Is -1 > s?
False
Let q = -87.4 + 85. Which is greater: q or 0.2?
0.2
Let c be 5 + -3 - (-4 - -1). Suppose -6 + 26 = c*g. Suppose 0 = g*f - 6*f + a - 4, 4*f = 3*a - 12. Which is bigger: 1 or f?
1
Suppose -17 = 4*j - 73. Let i be (-4)/j + 80/(-14). Let k = -29 - -24. Which is bigger: k or i?
k
Let q = -18.1 + 18. Is -1 smaller than q?
True
Let j(g) = g**2 - 6*g - 9. Let k be j(7). Let b be 1/(-2)*5*k. Do b and 5 have the same value?
True
Let f = -25 + 74. Which is smaller: 48 or f?
48
Let m = 0 + 0.1. Let w = 0.09 - 4.09. Is w < m?
True
Suppose -3*q = 5*f + 2747, 3*f + 2216 = -4*q + 570. Let m be (-2)/6 + f/105. Let s = -103/21 - m. Is s at least as big as 0.2?
True
Let b(z) = -2 - 5*z - 1 - z + 4*z. Let l be b(-4). Is l != 5?
False
Let l = 93 - 467/5. Let x be 1/(-5)*1 - 1/(-5). Which is smaller: x or l?
l
Suppose 3*r = -3*d + 2 + 4, -2*d + 1 = r. Which is greater: -20/11 or d?
d
Suppose 3 = 4*c - 3*c. Suppose -4*o + 12 = -p, -3*o = o - c*p - 20. Is 2 <= o?
True
Suppose 0 = 2*f - 3*q - 27, -3*f + q + 0*q = -23. Suppose t + 10 = f*t. Suppose -5*x + 2 = -3. Which is greater: x or t?
t
Let m = -2.47 - -2.4. Let g = -2.9 + 3. Which is greater: m or g?
g
Suppose -m - 4*n = -4, -2*m - 14 = -3*n - 0*n. Let r = m - -5. Which is smaller: 10/9 or r?
r
Let t(f) = -f**2 - 8*f - 14. Let g be t(-8). Which is smaller: -16 or g?
-16
Let s = -2071/4 + 514. Is 1 equal to s?
False
Let a(k) = k**3 + 10*k**2 - k - 12. Let g be a(-10). Let y be (0 - g)*4/32. Which is smaller: 0 or y?
0
Suppose -8*u + 2*u = 18. Is u equal to 3?
False
Suppose -6 + 1 = 5*w. Let p be 10 - (0 - -1) - 1. Let l be ((-2)/p)/(2 - 1). Are w and l non-equal?
True
Suppose 5 - 1 = 4*b. Let y be ((-1)/14)/((-364)/(-637)). Is y equal to b?
False
Let k = -211/205 - 48/41. Which is smaller: k or -1?
k
Let t be -1 - (2 + 14/(-6)). Let m = 9 + -15. Which is greater: t or m?
t
Let g(j) = j**3 - 12*j**2 + 7*j + 8. Let s be g(11). Let r be (-2)/(-4) + s/40. Let p = 0 - -1. Which is greater: p or r?
p
Let h = 0 + -3. Let z = 1 - -1. Suppose 5*g + 17 = -d, 0*g = -z*g + 2*d - 14. Is h less than g?
False
Let q be 135/(-672)*10 - -2. Let n = q + 353/112. Let b = 125/42 - n. Which is smaller: b or -1?
-1
Let m(q) = q**3 - q**2 - 4*q + 3. Let p be m(2). Suppose 4*l + 3*i = 71, 3*l - i + 6*i = 67. Let f be (-4)/l + 12/(-7). Which is bigger: f or p?
p
Let t(r) = -r**2 + 3*r - 3. Let u be t(5). Let l = u + 14. Is 1/27 > l?
False
Let y = -0.3 - -0.1. Let r be 124/(-96) - (-2)/(-6). Let l = r - -23/24. Which is bigger: l or y?
y
Let p = 0.02 + 0.18. Is p > 0?
True
Let u(x) = -x**3 + 6*x**2 - 4*x - 2. Let k be u(5). Suppose 0 = k*s - 4*p - 7, 0 = 2*s + 2*s + 4*p. Let t = s - 2. Is t at least -2?
True
Suppose 0*r - 270 = 6*r. Are -47 and r nonequal?
True
Let o be (6 - 3)/(-3)*1. Let p be (-2)/((-6)/4 - o). Let v be 2/p - (-7)/(-2). Which is smaller: v or 1/3?
v
Let n(b) = -2*b - b**3 - 19*b**2 - 11*b + 15 - 5*b. Let q be n(-18). Is q at least as big as 14?
True
Let d = -0.1 + 4.1. Suppose 30 = 5*u + 6*b - b, -4*u = -5*b - 15. Let y be 1/u*(-5)/(-3). Which is bigger: d or y?
d
Let p(d) be the second derivative of -d**4/12 + d**3/2 + 3*d**2/2 + 7*d. Let r be p(3). Is r > 1?
True
Suppose 0 = 3*q + 4*y - 30, 6*q = q - 5*y + 45. Let z = 12 + -6. Is z >= q?
True
Let o = 2 - 2.4. Let m = 1.3 - 1. Let l = o + m. Are 2 and l nonequal?
True
Suppose -9*t + 7 = -2*t. Do -4/39 and t have different values?
True
Let x = -28 - -27. Let l be ((-9)/(-32))/(x/4). Do -2 and l have different values?
True
Suppose 26 - 2 = -4*q. Let c = -4 - q. Let d = 0.13 + 0.07. Is d smaller than c?
True
Let w = -25 - -74/3. Let c = 8 - 8.3. Is w greater than or equal to c?
False
Let y = 16073/38 - 423. Is 0 at least as big as y?
True
Suppose 4*n - 2*n - 10 = 0. Suppose -n*y = -y. Suppose -5*z + 5 = -0. Which is smaller: z or y?
y
Let s(d) = 3*d**3 - 3*d**2 + d + 3. Let n(y) = y**3 + y**2 + y - 1. Let q(t) = 2*n(t) - s(t). Let u be q(5). Which is bigger: u or 2/5?
2/5
Let r = 307 + -2145/7. Suppose x - a - 1 = 0, -5*x + 4*a + 3 + 1 = 0. Which is bigger: x or r?
r
Suppose -i - 2*f + 14 = 0, -5*i = 3*f - 5*f - 10. Suppose -2*m = 0, m - i = -g - 1. Let w = 3 - -1. Which is bigger: g or w?
w
Suppose 0 = -4*v + 4, 2*v + v + 27 = 3*y. Which is greater: y or 8?
y
Let v be 0 + 2 + 1 - -1. Let o = v - 2. Is 2 less than or equal to o?
True
Let i = -38 + 113/3. Let l(u) = u**2 + 6*u + 6. Let v be l(-5). Suppose 3*a = 4*a + v. Which is bigger: i or a?
i
Let r = 3 + -3. Let z be r + 0/(-1 + -1). Which is greater: z or 4/5?
4/5
Let d = -3 - -1. Let w be 0 + -4*d/4. Let f(z) = 2*z**2 - 2*z - 1. Let c be f(w). Is c less than 4?
True
Let g be (-4*1/4)/(-25). Let r(k) = k**2 - k. Let h be r(0). Which is smaller: g or h?
h
Suppose -239 = 5*d - 79. Let a = d - -63/2. Which is greater: a or 2/3?
2/3
Suppose 0 = -5*b - 3*o - 14, b - 5 = -0*b + 2*o. Let y = b + -2. Is -4 greater than or equal to y?
False
Let u(f) = 2*f - 4 + 0*f - 5*f. Let o be u(-6). Let y be 2 + (-60)/o - -2. Do y and -1/4 have the same value?
False
Suppose 3*x + 2 = x. Is -3/8 < x?
False
Let r = -0.1 + 0. Which is smaller: -0.06 or r?
r
Let v = 347/28 - 47/4. Let k = 17/21 - v. Let m(j) = -j**3 + 8*j**2 - j + 9. Let d be m(8). Which is smaller: d or k?
k
Let c be -4 + 1 - (-1 + 96/22). Which is smaller: -6 or c?
c
Let h(i) = -i**3 + i**2. Let k be h(1). Is k bigger than 1/6?
False
Suppose 24 = 8*j - 256. Are 34 and j equal?
False
Let o be 1/(-4) + (-15)/(-12). Let b = 25 - 526/21. Is o not equal to b?
True
Let j be ((-10)/(-100))/(2/8). Is -14 less than or equal to j?
True
Let d = 1 + -1.11. Let b = d + 0.01. Do b and 1 have the same value?
False
Let m be 8/670*(-10)/(-36). Let j = 2398/4221 + m. Which is smaller: 0 or j?
0
Let v = -0.14 + 0.06. Let c = -3.08 - v. Which is smaller: 2/3 or c?
c
Let r be ((-11)/3)/(2*(-6)/(-24)). Which is smaller: -7 or r?
r
Suppose -4*u + 21 = 2*r - r, 0 = u - 5*r + 21. Let n = u + -8. Is -2 at most as big as n?
False
Let j = -7.8 - -8.1. Let o = 3 - 6. Let v = o - -4. Is v equal to j?
False
Suppose 3*h - h - 10 = 0. Suppose -3*m = -4*y - 15, 3 = y - h*m + 28. Let c(f) = f**3 + f**2 - f + 2. Let x be c(0). Which is bigger: x or y?
x
Let n be (18/(-45))/(1/5). Let h be (-40)/6*n/6. Is 1 less than or equal to h?
True
Suppose 4*d - 2*o - 2 + 6 = 0, -3*o = 5*d - 17. Which is smaller: d or 17?
d
Suppose v + 2*v - 12 = 0. Let j(s) = s**3 - 13*s**2 + s - 11. Let u be j(13). Suppose -3*a - u*r = -11 - 14, 4*r = v*a. Which is smaller: a or 6?
a
Let g be (-2)/(-4) + (-26)/(-4). Suppose 21 = 7*a - 28. Suppose c + 3*m + a - 16 = 0, -3*c + g = 4*m. Which is bigger: c or -5/3?
-5/3
Let o(z) = 11*z + 86. Let j be o(-7). Is 9 at most as big as j?
True
Let j(a) = -5*a - a**2 + 2*a**2 - 3 - 7*a - 10. Let g be j(13). Which is greater: 7/6 or g?
7/6
Suppose -5*k - 3*g + 270 = 0, 0*k + 5*g - 54 = -k. Is 52 < k?
True
Let t = 143 - 134. Which is smaller: t or 5?
5
Let y = 0.5 + -0.6. Which is greater: -11 or y?
y
Let n = 0.56 - -0.14. Let q = n + -0.8. Which is smaller: q or -1/15?
q
Let w = -25 - -6. Let p be (-1)/(-1) - w - 2. Let h be (-38)/(-72) + 4/p. Is h less than 0?
False
Suppose -7*p = -2*p + 3*s - 11, 0 = -2*p + 2*s - 2. Suppose -8 = -7*b + 6. Is p > b?
False
Suppose 4 = 47*f - 43*f. Is 2/237 at most f?
True
Let z be (6/8)/(3/12). Let k be -3 - (3/z + -2). Which is smaller: -1 or k?
k
Suppose 10 = -2*m - 0*m, 122 = d + m. Do 127 and d have the same value?
True
Let s(t) = -t + 2. Let r be s(0). Let v(i) = 0*i**r - i + i**3 + 4 - 3*i**2 + 0*i**3. Let c be v(3). Which is smaller: