8. Let c = z - 408.93. Let x = 0.07 - c. Is x less than -2/5?
False
Suppose 0 = 3*v - 28 + 94. Let u = 335/3 + -535/6. Let s = u + v. Which is greater: 1 or s?
1
Suppose 3*a - 5 = 2*a, -2*o = -a + 11. Let i be 12/(-40)*4/o. Which is greater: 0 or i?
i
Suppose 10 - 22 = 2*o. Which is bigger: o or -84/13?
o
Let k be (2 + 90/(-35))/(-14). Which is smaller: 0 or k?
0
Let p be (-138)/148*95/315. Let f = p + -1/222. Suppose 0 = -g - 3, -3*d - d = -g + 1. Is d at least f?
False
Let g(b) = b - 1. Let u be g(6). Let q be 1/(-3) - u/(-15). Is q equal to -1/12?
False
Suppose -4*l = i + i - 32, -2*l = -3*i - 16. Let v(h) = h**3 - 8*h**2. Let m be v(l). Let z = 554/15 - 112/3. Is m not equal to z?
True
Suppose 4*b - 7 - 1 = 0. Suppose -o = -b*f + 4, -o = -f + 2*o - 3. Is f bigger than 4?
False
Let g be (-24)/(-5) - (-7)/35. Let b = -6 + g. Let v = -8 - b. Is -7 less than v?
False
Let z(d) = 3*d + 22. Suppose -2*i - 3*w = 17, 4*i - w + 5*w + 32 = 0. Let t be z(i). Which is bigger: 0.08 or t?
t
Let d = -0.63 - -0.73. Are -6 and d nonequal?
True
Let h(y) be the second derivative of y**6/720 - y**5/60 + y**4/6 - 2*y. Let j(m) be the third derivative of h(m). Let i be j(3). Is -1/2 != i?
True
Suppose -7*l = -l + 54. Which is greater: l or -8?
-8
Let m be 1 + (5 - -202)/(-3). Is m greater than or equal to -68?
True
Let d = -73 - -73. Which is bigger: -1/3 or d?
d
Let h(q) = -q - 13. Let g be h(-8). Which is greater: g or -7?
g
Let d be 9/(-7) - 6/(-21). Let j = -6 + 11. Suppose -3*b - 8 = b - 4*g, j*b = 4*g - 12. Is b at most as big as d?
True
Let v be 8 + (-3)/3 - 4. Let n(m) = m**2 - 3*m - 7. Let l be n(6). Let h = l - 7. Which is smaller: v or h?
v
Let k be 5/(-20)*(-2)/2. Suppose 7*u = 3*u. Suppose u = 4*s - 1 - 3. Do s and k have the same value?
False
Suppose 0 = i - 2*i + 8. Suppose 0*f + w - 46 = -5*f, -5*w - 20 = 0. Which is smaller: f or i?
i
Let a(k) be the third derivative of -k**4/24 - 7*k**3/6 - 3*k**2. Let b be a(-6). Are b and -2/3 unequal?
True
Let h = 6 - 2. Suppose -j + 0*a = a + 4, 4*j - h*a = -8. Let b be -3 + (-9)/(-3) + -4. Is j >= b?
True
Suppose 79*z - 16 = 83*z. Let t be -2 + (5 - 2)*-1. Is z at least as big as t?
True
Suppose -4*r + 8 = 4*j, -j + 10 = r + 4*j. Which is smaller: -1 or r?
-1
Let x = -7 - -24. Which is smaller: x or 0.1?
0.1
Let v = -28 + 28. Is -47 >= v?
False
Suppose -5*r = -2*i - 31, 0*i - 7 = r + 4*i. Suppose -2*k = 3*k - r. Which is greater: 1/10 or k?
k
Suppose -5 = -5*l + 5. Let o be (l/6)/((-2)/(-12)). Let f(y) = 2*y - 1. Let v be f(o). Which is smaller: v or 4?
v
Let o(q) = -2*q + 6. Let x be o(3). Is -2/7 >= x?
False
Let q = 30 - 30. Which is smaller: q or 35?
q
Suppose -5*u + 40 + 0 = 0. Let b be 18/8*(1 - (-22)/(-6)). Let z = u + b. Does z = 3?
False
Suppose 5*i = 4*v + 8, 3*v + i + 6 = -2*i. Does v = -2?
True
Let j = 26 + -6. Is j smaller than 19?
False
Suppose -60 = -8*h + 3*h. Let s be (-10)/h - (-7)/(-42). Is s at most -4?
False
Suppose 11*j - 349 = 80. Is 37 smaller than j?
True
Let z be 2/((1/(-3))/1). Which is bigger: z or -7?
z
Let l = 0.1 - 0.1. Let o = 2.149 + -0.149. Do o and l have the same value?
False
Suppose -7 = -6*p - 25. Is p != 2?
True
Let s be (10/(-3))/((-176)/(-27928)). Let u = s - -529. Which is bigger: -1 or u?
u
Let d(o) = o**2 + 5*o + 9. Let m be d(-5). Which is smaller: 6 or m?
6
Let j = 76654 - 2299867/30. Let q = j - -53/6. Which is bigger: 2 or q?
2
Let z(j) = j**2 + 10*j + 1. Let i be z(-9). Which is smaller: i or -7?
i
Let m be 656/14 - 4/(-14). Let r = m + -47. Let a = r + 19/14. Which is smaller: a or 1?
1
Suppose 5*q = 3*l + 15, -3*l = -2*l + 5. Suppose w + 2*m = 14, 2*m = -q*m. Which is smaller: w or 15?
w
Let n = -71/504 + 1/63. Let f = n + -3/8. Let r be 2/(-6) + (-5)/3. Which is bigger: f or r?
f
Suppose -6 = -3*b + 2*v + 3*v, 0 = 4*b - 5*v - 3. Let y = -1 - -1. Let i be 2/(8/(-12) - y). Is i != b?
False
Let w(b) = b**2 + 7*b - 17. Let p be w(-9). Are 1/83 and p equal?
False
Let h be (-22)/126 - 14/(-63). Which is smaller: 0 or h?
0
Let k = -4 - -2. Let g(s) = -3*s + 17. Let t be g(6). Are k and t non-equal?
True
Let m be (6/10)/(3/15). Let d be (m/2)/((-9)/(-6)). Suppose d = -3*f - 2. Is 1/4 > f?
True
Let k(v) = -v**2 - 8*v + 2. Let a(b) = -b - 1. Let j(w) = 2*a(w) - k(w). Let g be j(-7). Let i be (5 + -4)/(1/g). Is i not equal to 5?
True
Let v = 1018/3055 + -6/235. Which is smaller: 0 or v?
0
Suppose -2*z = 5*z + 119. Which is smaller: -18 or z?
-18
Let y be 0/(-2) + 3*3. Let z be -2 - 39/y - 2. Let h = z - -8. Which is smaller: 0 or h?
h
Let s be (-7)/(-35) + 208/10. Let i be 4/(-7) + 6/s. Is i equal to 0.4?
False
Let h(x) = 6*x**2 - 15*x + 18. Let f(v) = -5*v**2 + 14*v - 17. Let i(l) = -7*f(l) - 6*h(l). Let m be i(-9). Suppose -2*j = -2 - 4. Which is bigger: m or j?
j
Suppose -38 + 3 = 5*t. Let p(q) = q**3 + 7*q**2 - 7*q + 2. Let x be p(-8). Is x <= t?
False
Let m be (5/25)/(14/15). Which is greater: 1/4 or m?
1/4
Let o = -2.1 - -0.1. Suppose 0 = -2*v + 2 + 2. Which is smaller: o or v?
o
Let k = -157.95 + 154. Let j = k - 0.05. Is -1 less than j?
False
Suppose 0 = -k - k + 4*n + 24, -4*k - n = -3. Suppose -4*v - 5*y - 8 = 0, 5*v + 2*y + k*y = -10. Does v = -2?
True
Let n = -18 + 18. Let v = -6/19 + 4/19. Is v at least as big as n?
False
Let a(g) = 5*g. Let h be a(2). Suppose h = 5*o - 0. Which is bigger: o or 3/4?
o
Let l(b) = -b + b - 2*b**2 + b**2 - 1. Let d be l(-1). Are d and -1 equal?
False
Let z be (-96)/21 - -1 - 6/14. Are -11/3 and z equal?
False
Let f be 5/(-2)*(-12)/(-55). Let w(p) = -p**2 + 5*p - 4. Let k be w(4). Is f at most k?
True
Let x be 5 - (-4 - (-24)/4). Suppose -2*s = x*s + 95. Is s < -20?
False
Let s be (-6)/(-5) - 12/60. Let r be 74/104 - (-1)/(-4). Which is bigger: s or r?
s
Let u = 76 + -77. Which is smaller: -3 or u?
-3
Suppose 4*t - 4*o = -0*t - 64, -3*t - o = 52. Which is greater: t or -16?
-16
Suppose 5*c = 5*r + 6 + 4, c - 4*r - 2 = 0. Suppose 2*t + 4 = 3*t + v, -2*t + 5*v + 8 = 0. Is c greater than or equal to t?
False
Let v be 17/5 - (-9)/15. Suppose 0 = -v*r - u + 17, -2*r - 2*u + 4 = -12. Is 3 at least r?
True
Let n = -3 + 0. Let g be (-22)/(-6) - 6/(-18). Let s = g + n. Which is smaller: -1/3 or s?
-1/3
Suppose -v + 10*f = 5*f - 6, -f = -2*v + 3. Which is smaller: v or -1/3?
-1/3
Let n(a) = -7*a**2 - 6*a + 5. Let d be n(1). Do -8 and d have different values?
False
Let g be (-12)/(-30) - (-242)/(-5). Let q be (-1)/(-3) + 22/g. Are q and 1 equal?
False
Suppose -2*n - 3*n = 60. Let c = -10 - n. Which is greater: 0 or c?
c
Suppose -3*b + 2*b + 34 = d, 0 = 5*b + 10. Let c be (d/(-21))/(2/(-14)). Suppose -3*s = s + c. Is s smaller than -3?
False
Let b(c) = c**3 + 2*c**2. Let y be b(-2). Suppose -2*l - 22 = 4*g, -4*g - 2 = l + 19. Let n be (-1 - l) + 2/6. Which is smaller: y or n?
y
Let p = 0.03 + -0.63. Let b = 1.6 + p. Does 2 = b?
False
Suppose -r + 1 = -0. Let h = 2 + r. Which is greater: 2 or h?
h
Let v be (3 - (-4)/(-2))*-1. Suppose z + 6 = -z. Do v and z have different values?
True
Let t be (65/(-15) - -4)/(1/(-4)). Suppose -5*w = k - 14, 3 = -w + 2*k - 3. Is t bigger than w?
False
Let s = 6 + -12. Let v = -3 - s. Suppose 0 = -7*n + v*n - 4. Which is smaller: n or 2/7?
n
Let y = 11 + -11. Is 3/4 <= y?
False
Let s = -1 + 1. Is 3/127 bigger than s?
True
Let i = 100 + -58. Let a = -38.2 + i. Let r = 4 - a. Which is bigger: -0.2 or r?
r
Let w(r) = 3*r**2 + 2*r - 5. Let h be w(-5). Let u be 1 + 2*(-33)/h. Is 1 greater than u?
True
Let o(g) = g**3 + 2*g**2 - 2*g + 3. Let s = -3 - 0. Let v be o(s). Suppose -2 = -3*p - 5. Which is greater: p or v?
v
Let j(n) = 4*n**3 + 2*n - 1. Suppose 1 = -4*q - 5*c, q + 3*c + 1 = -q. Let z be j(q). Is 6 >= z?
True
Let p = 2319/20 + -116. Which is smaller: 1 or p?
p
Let p(j) = 3*j**2 + 2*j. Let d be p(-1). Let m = -2 - -1.9. Let o = m + 0. Is o less than d?
True
Let a(j) = -j**2 - 8*j + 4. Let l be a(-8). Is 2 greater than or equal to l?
False
Suppose -35 = 4*k - 5*h, 5*h = 4*k + h + 32. Is k at least as big as -8?
True
Let k = 4.1 + -2.1. Let b = 11 - 10.93. Which is greater: b or k?
k
Let l be (-1)/5 - (-104)/20. Suppose 0 = 4*w - 0*w + f - 2, 0 = -5*w + l*f - 10. Which is smaller: w or 11?
w
Let m(y) = y. Let u be m(2). Let d = -18.1 + 18. Which is smaller: u or d?
d
Let t = 7 + -11.9. Let d = t - -5.