6. Is b at most as big as 0?
False
Let i(h) = -h - 17. Let k(g) = -1. Suppose 3*q + 5*s - 17 = 0, -3*q - 23 = -0*q - 5*s. Let m(a) = q*i(a) + 4*k(a). Let l be m(-9). Is 5 at least as big as l?
True
Let k = 70 - 68. Suppose -84 = k*b - 2. Is b at most -41?
True
Let h = 173 - -93. Let k be (-6)/(-15) + h/(-640). Let y = -31/64 + k. Which is smaller: y or 32?
y
Let b be ((-2 - -9) + 0)*(-1105)/85. Is b <= -94?
False
Let m = -175 - -130. Which is smaller: m or -40?
m
Suppose 4*f = -f - 2*h + 15, 3*f - 9 = -2*h. Suppose 0 = -4*d - 1 - 3, -f*l + 5*d + 59 = 0. Suppose 0 = -3*w + 6*w - l. Are 7 and w unequal?
True
Let y(m) = m**2 - 12*m - 1. Let d = 65 - 53. Let k be y(d). Let s be (1/(-2))/((-1)/(-4)). Which is bigger: s or k?
k
Suppose -3*a = -2*j + 5*j - 24, 0 = 5*a + j - 32. Suppose 3*n + n - 21 = k, -4*n = 2*k - a. Is -5 not equal to k?
False
Let x = 2.61 + -1.554. Let c = x + -0.056. Is 77 at most c?
False
Let s = -6581/457 - -1/2285. Let m = s - -386/15. Is 11 less than m?
True
Let s(p) = -7*p**2 + 10*p - 16. Let x(h) = -15*h**2 + 20*h - 32. Let i(l) = -13*s(l) + 6*x(l). Let f be i(8). Which is greater: -6 or f?
f
Let i be (-156)/(-182) - 18/21. Are -5/343 and i equal?
False
Suppose 4 = -a - 5. Let o = a - -13. Suppose 6*w = 2*w + o. Is 4/3 at most as big as w?
False
Let u = 24 + -7. Let s = u + -10. Which is smaller: s or -0.2?
-0.2
Suppose -3*u - 360 = -6*u. Let z = 178 - u. Is z bigger than 59?
False
Let n be 873/99 - 4/(-22). Suppose -7 - n = -4*u. Suppose 0 = o - 6*o + b + 4, -4 = u*o + b. Is o at most as big as 1/30?
True
Let l = -0.07 + 0.1. Let s = -5.1 - -3.1. Let c = 1.9 + s. Which is smaller: l or c?
c
Let g = 164671/107 - 1539. Are g and -3 unequal?
True
Let b be (-1)/(-3) + 18006/90. Let h = 201 - b. Is 2 less than h?
False
Let y be 1*(45/(-35) - 6/(-21)). Let r be (-2)/(-24)*(-24)/9. Is r >= y?
True
Suppose 9*b + 5*s - 45 = 14*b, -73 = 5*b + 2*s. Let p be 0 - (1*-1 + 14). Let q = b - p. Is q greater than -0.1?
True
Let d = -78 + -82. Which is smaller: d or -163?
-163
Let l = -3 + 8. Let c be l/15 - 8/18. Which is bigger: c or -1?
c
Let d = 2.6 - -15.4. Let g = 20 - d. Let z be (4/10)/(1/15). Is z != g?
True
Let k(j) = j**3 + 12*j**2 - 2*j - 2. Let r be k(-12). Let o = r + -18. Suppose 0 = 2*s - 6*s + o. Is s at least as big as 6/5?
False
Suppose 2*u - 3 = c - 6*c, -16 = -4*c - 5*u. Let f be (c/(-2))/((-20)/600). Let j = 7 - 22. Does f = j?
True
Let m = -1830/53 + 6439876/186507. Is 1 at least m?
True
Let u(f) = f - 14. Let o be u(16). Let n be (0 + (-15)/(-6))*2. Suppose 1 = -n*i + 6. Which is smaller: o or i?
i
Let v = -213.6 - -213.5. Which is smaller: v or 116?
v
Suppose -7164 + 1644 = -46*t. Do t and 475/4 have different values?
True
Let t be 4370/21 - (120/(-63) + 2). Which is greater: t or 206?
t
Let m be (-3)/(-9) - (0 - (-20)/62). Is 1 greater than m?
True
Let o = 5/23 + -38/69. Let x = -36 + 40.9. Let j = 0.1 + x. Is j equal to o?
False
Let f(b) = 5*b**3 + 5*b**2 - 7*b + 4. Let d be f(2). Which is bigger: 48 or d?
d
Let w be (-60)/(-33)*-1 + 2. Let g = -77.8 - -78. Is g less than w?
False
Let d = -1280 + 1264. Which is greater: -6 or d?
-6
Let u = 0.3 + -0.4. Let a = -5.2 - -0.2. Which is bigger: u or a?
u
Suppose -4 = -t - 1. Suppose -t*i + 25 = 2*i. Suppose -21 = -4*w + 3. Are w and i non-equal?
True
Let y(g) = g**2 + 5*g. Let i be y(-4). Let c be 462/121 + (-4)/(-22). Let r be -11 + 2 + c + 1. Is i equal to r?
True
Let j = 20 - 19. Let i = -1.3 + j. Are -2/9 and i nonequal?
True
Let y = 1.65 - -0.15. Let n = y + -2.2. Is n less than -1?
False
Let m = -600 - -562. Which is smaller: -153/4 or m?
-153/4
Let p = 470080/22667 - 394/19. Does -1 = p?
False
Suppose 3*n - 972 = n - 4*s, -4*n = 3*s - 1924. Let w = n + -1454/3. Do -6 and w have different values?
True
Let h be 12/(-8)*(-360)/27. Which is smaller: h or 21?
h
Let a = 6.03 + -0.03. Let g = 116 - 119. Which is bigger: g or a?
a
Let q = -28 + 15. Let k = q + 3.5. Let g = k + 11. Is 1/3 at most g?
True
Let p = -1.77 - -0.97. Which is greater: p or 29?
29
Suppose -4*b + 5*z - 21 = 0, -2*b - z = -3 - 4. Suppose 3*o - 5*q + 0*q + b = 0, 2*q - 16 = -4*o. Is o less than or equal to 1/9?
False
Let u(k) = -29*k + 545. Let t be u(22). Is -3 >= t?
True
Let o = 76 + -48. Let v be (-78)/(-140) - 14/o. Suppose 5*z - 5*s = 20, -4*z - 3*s = 2*s + 11. Which is bigger: z or v?
z
Let b(u) = 6*u + 61. Let l(g) = 2*g + 20. Let d(v) = 6*b(v) - 17*l(v). Let n be d(-6). Which is bigger: n or 15?
15
Suppose -18 = 11*d - 73. Which is smaller: d or 8?
d
Let c = -42 + 75. Let i = c - 23. Is -1/4 > i?
False
Let o = 153 - 153. Is -112 less than or equal to o?
True
Let n be 805 - 808 - 70/(-24). Let d be ((-2)/(-3))/((-2)/(-3)). Which is bigger: n or d?
d
Let h be -4*13/(-20) - (-3)/(-1). Let l = -12 - -13. Which is greater: l or h?
l
Let k be 1*(-35 - -2)*1. Is k != -31?
True
Suppose -11 + 3 = 8*b. Does b = 2/111?
False
Let j be ((-45)/(-54))/((-35)/(-14)). Let n be (-1)/4 + 11/76. Which is greater: j or n?
j
Suppose 1343 = -20*z + 483. Let r = -40 - z. Is -1 bigger than r?
False
Let j = 5595 + -867218/155. Which is greater: j or 1?
1
Suppose -4*f = 3*j - 8*j - 9, -4*j = 4*f. Let p = -246 + 245.995. Which is greater: p or j?
p
Suppose -192 = -8*m + 2*m. Let f be m + (-4 + 1)/(-3). Which is greater: 1/3 or f?
f
Suppose -3*g = -5*z - 76, -5*g + 2*z + 111 + 22 = 0. Suppose 3*c = 2*d + 2*c + g, 3*d + 2*c + 51 = 0. Is d greater than -2?
False
Let d = -6 + 6. Suppose -14 = 2*g + o - 6*o, d = 5*g - 5*o + 20. Let n be g/(-8)*(-3)/3. Is n < 0?
True
Suppose 60*v - 610 = 5*t + 65*v, 0 = v - 1. Which is bigger: t or -493/4?
t
Suppose -3*s = 12, -3*s - 5615 - 2032 = 5*x. Is -1527 bigger than x?
False
Let r = 341 - 13978/41. Let o = 71/410 - r. Which is smaller: 1 or o?
o
Let a = 59 - 142. Are a and -84 unequal?
True
Let b = 0.24 - 0.15. Let u(q) = -q**3 + 7*q**2 - 11*q + 5. Let d be u(2). Which is greater: b or d?
d
Let g(b) = -b**2 - 34*b - 172. Let w be g(-27). Which is bigger: w or 13?
w
Let t = -1314 + 10527/8. Let f = -1233/632 + t. Let g = 95/2291 + f. Does g = 0?
False
Let l(n) = -n**3 + 6*n**2 + 9*n - 12. Let s be l(7). Is s not equal to -11?
True
Let w = -0.04 - 4.96. Let t = -24.8 - -29.95. Let j = t + w. Do j and -0.1 have different values?
True
Let o(p) = p**2 + 7*p + 9. Let b be o(-2). Is b at least as big as -2/433?
False
Let n be ((6/8)/((-108)/96))/5. Is n at least as big as -14?
True
Let s be (-2 - (0 + -1))/((-30)/(-690)). Let p = 23 + s. Which is smaller: -14/11 or p?
-14/11
Suppose -170*y = -185*y + 60. Is y less than or equal to 47?
True
Let v be (3/30)/((-559)/(-1016)). Let r be 6/(((-215)/4)/((-9)/36)). Let d = v - r. Is d greater than or equal to 1?
False
Let q = -0.0019 + 5.6419. Is q smaller than -1?
False
Let g be (-1 - -4)/(-2 + (-105)/(-55)). Let j = -33 - g. Is j greater than or equal to 2/5?
False
Suppose -6*x + 405 = 531. Do x and -8 have the same value?
False
Let o be (-490)/(-12)*14 + 2. Suppose -17*i = 2*s - 12*i + 1157, -s + i - 582 = 0. Let z = o + s. Are z and -7 non-equal?
True
Let t(p) = -19*p - 68. Let o be t(-2). Is -29 < o?
False
Suppose 0*h = 4*h + 28. Let s(x) = -9*x - 26. Let q(z) = -13*z - 39. Let n(p) = -5*q(p) + 7*s(p). Let w be n(h). Is w smaller than -2?
False
Let p be (-6)/(-15) - 24/10. Let n(a) = 4*a**2 + 2*a. Let b be n(p). Let o be ((-4)/b)/((-2)/30). Is 6 > o?
True
Let k(m) = 2*m**3 + 11*m**2 - 6*m + 1. Let p be k(-6). Which is smaller: p or -1/329?
-1/329
Let z = 0.65 - -49.35. Let t = -31 + z. Let v = t - 20. Is -2/27 > v?
True
Let q(p) = 2*p**2 + 22*p - 6. Let l be q(-12). Do l and 16 have different values?
True
Suppose 2*g - 3*y + 5*y = 0, 3*y - 3 = 0. Let i = 17 - 29. Let s = 12.4 + i. Is g at most as big as s?
True
Let d be (5 + -4)*-20*(-1)/(-2). Let r = d + 10. Is -7/6 greater than r?
False
Let g = 23 + -14. Let c = -7.8 + g. Let i = c + -1. Is i at least 1?
False
Let o = -0.062 + -11.938. Let h = -43 - o. Is 0 at least as big as h?
True
Let v = -9 - -22. Suppose 5*x - v = 57. Let q = -13 + x. Which is bigger: q or 7/4?
7/4
Suppose 5*t - 49 = 2*p - 22, -4*p - 5*t = -21. Let z = 58530/19 + -542493/190. Let g = 225 - z. Which is bigger: g or p?
g
Let t be 3 + (-1 - 6/(-2)). Suppose 4*d = t*d. Let o = 15 - 16. Which is smaller: d or o?
o
Let d 