6). Let h = -303 - -303.1. Which is greater: o or h?
h
Let y = 1.8 - 2.8. Let t be (2/(-3))/((-5)/(-9)). Are y and t non-equal?
True
Let s be 32/6 - (-4)/(-12). Let k = -4 + s. Which is bigger: k or -1?
k
Let w = 3 - 3. Let y = -1 + w. Is y <= 3/7?
True
Let r = -24.1 - -24.7. Suppose -5*q - 19 = -c, -2*q + 2*c = -q + 11. Is r < q?
False
Suppose 0 = -5*w + 2 + 3. Let i = -2 - w. Let l = -9 - -5. Which is greater: i or l?
i
Let a = 25 + -23. Is 12 less than a?
False
Suppose -2 = 5*y - 7. Let q = 20 - 20. Which is smaller: y or q?
q
Let q = -5 + 4.95. Are 3/5 and q nonequal?
True
Let b = 9.7 + -9.5. Let x be (-3)/2*8/(-3). Let k be 6/(-9)*(-3)/x. Which is greater: k or b?
k
Let a = 12 + -10. Suppose -a*o - 1 = o + 5*i, -o + 4*i = 23. Is o < 1?
True
Suppose 5*g - 9 = 2*g. Suppose 3*w + 9 = 0, -i + g*w + 14 = 4. Which is greater: i or 0?
i
Suppose 5*c = t - 0*c + 4, -c + 1 = 0. Which is smaller: t or 8/5?
t
Suppose -5*i - 4*y = 89, -y + 2 = i + 20. Let j = i - -154/9. Is 0 not equal to j?
True
Let r(s) = -s**2 - 9*s - 9. Let w be r(-8). Let g be (2 - w)*7/(-21). Let b = -2/13 - -23/65. Which is greater: b or g?
b
Let g be ((-45)/(-12) - 2) + -4. Are -2 and g equal?
False
Let m = 13 - 10. Which is bigger: m or 2?
m
Let j(g) = -g**3 + 4*g**2 - 3*g + 3. Let y be j(3). Let q be (-102)/(-72) - 2/y. Which is smaller: q or 1?
q
Let v = -0.05 - 0.15. Let i = 4 + -3.7. Let x = v + i. Is x less than 0.1?
False
Let t be 5/10 + 2/(-4). Let d(p) = -p**3 + 4*p**2 - 3*p - 1. Let j(o) = 2*o - 7. Let w be j(5). Let g be d(w). Which is smaller: t or g?
g
Suppose 2*f - 27 = 5*y, -y - 3*y - 24 = -4*f. Suppose 5 = 2*s + f. Which is greater: 1 or s?
s
Let v(h) = -h - 5. Let a be v(0). Suppose -3*l + 12 - 6 = 0. Suppose -r - l*i + 6*i = 1, -5*r = -5*i + 20. Is r > a?
False
Suppose 0 = 5*j - t + 17, -2*t = 3*j - 6*t. Suppose 0 = 4*s + 15 - 47. Let i = 5 - s. Which is smaller: j or i?
j
Suppose -2*h + 3*h - 1 = 0. Which is smaller: -1/40 or h?
-1/40
Let n = -26 - -30. Suppose 3*o - 2 - 11 = 2*l, -5*l = -n*o + 15. Suppose 0 = -p - 2 + 4. Which is greater: p or l?
p
Suppose -j = k + 4, -3 + 16 = 3*k - 2*j. Which is smaller: k or -1/14?
-1/14
Suppose 2*k = -2*k. Suppose k = -5*b + 16 + 29. Let j = -8 + b. Which is bigger: j or -2/11?
j
Let v = -1.5 - 5.5. Let l = 7.3 + v. Is l <= -1?
False
Let r(t) = -3*t - 1 + 4 - t**2 - 4. Let p be r(-3). Let k = 97 - 681/7. Which is greater: p or k?
k
Let x = -0.08 - 0.92. Let g = 20 - 20.9. Let o = -1 - g. Which is smaller: o or x?
x
Let m(v) = -v**2 + 10*v + 1. Let i be m(10). Suppose -i = 3*h + 2. Which is smaller: h or -1/13?
h
Suppose -5*a = -5*r + 60, -2*a = 5*r - 2*r - 51. Which is bigger: r or 14?
r
Let d be (-25)/(-10)*260/(-25). Which is bigger: -25 or d?
-25
Let x(p) = p + 2. Let q be x(-2). Let i = -14 - -24. Let u = i + -11. Is u >= q?
False
Suppose 0 = h - 2*h - 203. Let n = h + 1621/8. Which is smaller: n or 0?
n
Let c be 15*(-2)/(-63) - 24/56. Let s be (-6)/(-2)*(-2)/6. Let j = s - -2. Is c >= j?
False
Suppose -6 = -n + 5*x, -5*n + 7 = -x + 1. Is 1 at most n?
True
Let k = 87 + -94. Is k at most -8?
False
Let b = -0.2 + -0.8. Let r = -0.1 + 0.06. Which is smaller: b or r?
b
Suppose -3*a - 2*k = -3*k - 26, -4*a - 3*k = -52. Which is greater: 11 or a?
11
Let j = -8 + 7. Is j greater than 1?
False
Suppose 3*h + 6 = 5*h, 5*h - 30 = 5*t. Let s = -3 - t. Let j(i) = i + 3. Let x be j(-4). Which is smaller: x or s?
x
Let b = 7 + -8. Is -2/33 less than b?
False
Let i = -32696/279 - 2512/31. Let o = 198 + i. Suppose 15 = j + 5*x, 0 = -5*j - 4*x + 11 + 1. Is o <= j?
True
Let p be (-10)/8 - (-4 + 3). Let y = 4 - 3.6. Let b = y - 0.2. Is b bigger than p?
True
Let r be 3/6*6*2/6. Let b be (-8)/3*9/78. Is r < b?
False
Let i(c) be the second derivative of c**4/12 + c**3/3 - 9*c. Let w be i(0). Is w at most as big as -1/4?
False
Let s be ((2/(-2))/(-9))/((-1)/(-3)). Which is smaller: -1 or s?
-1
Let g(j) = 2*j**2 - 3*j - 7. Let z be g(5). Suppose -u + 4*k = -z, -3*u + 2*k + 0*k + 44 = 0. Suppose 0 - 7 = d + 2*w, -4*d + u = -2*w. Is 1 less than d?
False
Let s = 0.3 + 0. Let v = s - -1.7. Let n = -1.9 + v. Which is greater: n or 3?
3
Suppose -8 + 41 = 3*p. Let m = p + -16. Let l = -5 - m. Which is greater: l or 2/3?
2/3
Let g be ((-32)/24)/((-4)/(-42)). Does g = -15?
False
Let i be (-4 + -1)/((-1)/(-2)). Let g be ((-4)/i)/(26/(-10)). Which is greater: -2/9 or g?
g
Let z = -216 + 215.9. Which is smaller: -157 or z?
-157
Let o = -9.7 + 11. Let j = o - 2.7. Which is bigger: j or 0?
0
Let k = 18 + -29. Let c = -8 - k. Are 2 and c nonequal?
True
Let b = 40 - 13. Which is bigger: b or -0.1?
b
Let p = 1 + -3. Let g = -0.26 + -11.74. Let y = 12 + g. Is p <= y?
True
Let u be (-6)/(-9) - 2/3. Suppose u = 3*w + 2*w. Suppose -5*y = c - 10, 1 - 3 = -y - 3*c. Does w = y?
False
Let w be 0 - (-2)/14*-1. Let s = 4 - 7. Let r = s + 2. Are r and w nonequal?
True
Let p be 366/105 + 2 + -4. Let c = -2/7 + p. Which is smaller: c or 0?
0
Let s be 9/15 - (-14)/(-10). Does s = -3?
False
Let p = 6 - 5.7. Suppose -31 = -y - 5*m, 2*y + 7 = 4*m - 1. Let j(q) = -q**3 + 5*q**2 + 5*q + 6. Let a be j(y). Which is smaller: p or a?
a
Suppose 6*b = 4*b. Suppose -2*n - 3*n + 5 = b. Is 0 at most n?
True
Let m = -34 - -53. Let g = 21 - m. Is g less than or equal to 4/7?
False
Let d = -125 - -1623/13. Let z = 33 - 18. Suppose -2*g + 12 = -2*w + 2*g, -5*g + z = -2*w. Is d != w?
True
Suppose -2*g = -5*g - 15. Let w = 6 + g. Let s be w/(((-5)/(-4))/5). Is s at most 3?
False
Let m be 1*-2*(-3)/294. Which is smaller: -1 or m?
-1
Let u(l) = -2*l**2 + 2. Let a be u(2). Let q = a + 11. Suppose -q*z - 20 = 0, -z = 4*k + z. Which is smaller: -1 or k?
-1
Let g = 0.2 + -0.3. Let j = -22 - -20. Let t be 26/72 - j/(-8). Is g at most t?
True
Let u = -16/11 - 40/33. Which is greater: u or -1?
-1
Let c = -4 + 10. Let k be (-1)/10*(-15)/c. Let i = 24 - 19. Is k >= i?
False
Let g = -12 + 11.8. Let r = g + 0.1. Which is bigger: r or -3?
r
Let l = 34 + -19. Suppose 3*p + l = -2*p. Is -1/2 greater than or equal to p?
True
Let c(n) = -4*n + 3. Let y be c(-5). Which is greater: 26 or y?
26
Let n = -1/4 + -1/12. Let d = n - 0. Is 0 bigger than d?
True
Suppose 2*d + 6 = b + 5*d, -3*b + 13 = 4*d. Let l be 9/4*(-1)/b. Which is bigger: -1 or l?
l
Let i = 0.6 + -0.61. Is i < -2/7?
False
Let p(z) = -z**2 + 8*z - 4. Let s be p(7). Let n(a) = a**3 - 2*a**2 - 2*a - 2. Let d be n(s). Let j be d/14*(0 + -4). Is j at most as big as -1?
False
Let u(r) = r - 2. Let n be u(-6). Let q = n - -6. Let s be (q + 1 - 0) + 1. Is 0 bigger than s?
False
Let v = 0.136 + -0.336. Are -2/21 and v unequal?
True
Let z = 11/9 - 8/117. Is 0 at most z?
True
Let t = 4 - -1. Let j = -4.5 + t. Let h = j - 1.5. Which is greater: h or 0?
0
Let w = -0.3 - -0.4. Suppose 5*d + 3*b + 2*b = -40, 3*b = -15. Let o(g) = -2*g - 4. Let v be o(d). Which is bigger: w or v?
v
Let q be 2/(-6)*(-6)/2. Let h be (-10)/(-32) - 2/8. Is q >= h?
True
Let m = 61 - 60.5. Which is smaller: m or 0?
0
Let w be (3/4)/(6/4). Let y = -40/57 - -2/57. Are y and w nonequal?
True
Let h = -52735 - -6961091/132. Let j = -13/12 + h. Let c = 2 - 3. Is j greater than or equal to c?
True
Let g = 5.05 + 1.01. Let c = g + -6. Let t = -1.94 - c. Which is smaller: t or -2/7?
t
Let i(u) be the second derivative of u**5/20 - u**4/3 + 3*u**2/2 + u. Let c be i(4). Which is smaller: c or 8/3?
8/3
Suppose -4*z + 102 - 18 = -3*a, 4*a = z - 34. Which is smaller: z or 19?
z
Suppose -r + 3 = 2*v, 0 = 5*v + 3*r - 6 - 3. Suppose 0 = -v*n - n. Is -1/5 smaller than n?
True
Let v = -4487 - -17599/4. Let s = v - -3703/44. Let t = s - -148/55. Which is bigger: 1 or t?
1
Let s(z) be the second derivative of -z**4/12 - 2*z**3/3 + 2*z**2 - 4*z. Let x be s(-5). Is -2 less than x?
True
Suppose 2*z - 8 = -2*z. Suppose k = -6 + z. Is k greater than or equal to -9/2?
True
Let w be -1*2 + 6/9*3. Which is smaller: 3/14 or w?
w
Suppose -5*i - 48 = -2*i - 2*x, -5*i = -3*x + 80. Let n(y) = -14*y**2 - 1. Let f be n(-1). Is f > i?
True
Let d(u) = -2*u**2 + 3*u + u**3 - 124 + 122 - 4*u**3. Let x be d(1). Suppose 2*l = -w, 0*w + 2 = 5*l + 3*w. Which is smaller: l or x?
x
Let y be 6 + (-1 + 0 - 1). Suppose -4*w + y*v = 0, -2*w + 4*v + 24 = -4*w. Let i = 4 + w. Are 1/4 and i equal?
False
Let b = 86 + -92. Is b less t