6. Suppose 0*c + 3*c = -p - 98, 138 = -4*c - 5*p. Let y = a - c. Which is smaller: 0 or y?
y
Suppose 4*n = 5*v - 0*v - 24, -3*n = 2*v - 5. Let z(h) = h**2 - 2*h + 1. Let u be z(3). Is v at least as big as u?
True
Suppose 0 = -2*p - 2*z - 160, -p - z = 4*p + 420. Is -86 less than or equal to p?
True
Suppose 0 = -2*f + 3*i - 41, 2*i - 5 = 7*i. Is f bigger than -23?
True
Suppose 2*s = 3*v - 7, -4*s - 2 = 4*v + 2. Let p = 101 - 96. Which is smaller: p or s?
s
Let o = -1.23 - -38.23. Is -0.1 equal to o?
False
Let k be (-1)/1*(1 + -3). Let v(g) = -k - 3 + 0 - g. Let f be v(-4). Is f < -2?
False
Suppose -4*w = -o + 157, 2*o + 4*w - 3*w - 350 = 0. Let g = 1209/7 - o. Suppose 3*n = 3*x + 9, n = 2*x + 2*n - 3. Which is smaller: g or x?
g
Let x(s) = -s**3 + 3*s**2 + 1. Let n = 5 - 4. Let a(h) = 4*h**2 - 2*h + 1. Let p be a(n). Let r be x(p). Do 1 and r have different values?
False
Suppose -2*p + 36 = 46. Are -40/9 and p equal?
False
Let w be 3256/160 + 2/4. Let p = w - 81/4. Which is greater: p or 0?
p
Let q be (-2)/(-10) - (-4 + 1398/315). Is q <= -1?
False
Let s(j) = -j**3 + 10*j**2 + 2*j + 3. Let z be s(10). Which is smaller: z or 21?
21
Let h = -0.1 + 0. Let u(o) = -4*o + 14. Let q be u(3). Which is bigger: q or h?
q
Suppose 16 + 53 = -3*f. Let p = f + 68/3. Which is bigger: p or -2/9?
-2/9
Let d(y) = y**2 - 11*y + 2. Let k be d(7). Is k less than or equal to -26?
True
Let o(d) = d**2 + 13*d + 37. Let s be o(-9). Do s and -2/75 have the same value?
False
Let o = 1 + 2. Let d be 15/5*-1*o. Let y be 6/d - 11/(-3). Is y bigger than 0?
True
Suppose 40 = 5*t - f, 5*t - 4*f - 45 = -2*f. Let u be 1/t - 1/1. Let h = -3 + 2. Is h >= u?
False
Let z = 37 - 42. Which is smaller: 0.3 or z?
z
Let a be 0 + 1 + 0 + 197. Let l be (-6)/9*a/(-12). Which is smaller: l or 12?
l
Let s(z) = -z**3 + 7*z**2 + 8*z + 1. Let d be s(8). Let h be d/3 + (-33)/18. Which is smaller: 0.1 or h?
h
Let w = -6.9 - -9.9. Which is greater: w or 2/3?
w
Let l be 20/30 + 31/3. Suppose -4*q - 5 - l = 0. Is -4 greater than q?
False
Let p be 2/(-6) - 1*-1. Suppose -18 - 17 = 5*o. Let s = o + 8. Which is greater: s or p?
s
Let u = 0 - 0. Let h(p) = p**2 + 5*p + 3. Let f(w) = -w**2 + 4*w + 8. Let j be f(6). Let x be h(j). Is u bigger than x?
True
Let h(k) = -k**3 - 6*k**2 - 7*k - 2. Let b be h(-5). Suppose -2*y + 12 = -0*i - 2*i, 3*y - b = -2*i. Is i not equal to -1/2?
True
Let q(d) = d + 3. Let w be q(-8). Let k = 10 + w. Suppose -5*c + 15 = 0, 5*n + 2*c - k = -4. Which is bigger: 0 or n?
0
Let k be (-2 - -2)*1*2/4. Let f be (1 - 1 - -1)/6. Which is smaller: f or k?
k
Let c = 42 - 41. Is 2/57 smaller than c?
True
Suppose r - z + 27 = 4*z, 10 = 5*r + 4*z. Let p be (r + (-22)/(-10))/1. Which is smaller: -1 or p?
-1
Suppose 0 = -3*r + 5*r - 10. Suppose 3*d + 10 = -n, -r*n - 11 = d - 31. Is d bigger than -6?
True
Let r = -36 - -57. Is 22 <= r?
False
Let c be (-2)/((-6)/(-3))*-1. Let n be (1*(-1 + 0))/c. Let q(s) = -4*s**3 - s - 1. Let y be q(n). Are y and 3 unequal?
True
Suppose -4 + 29 = -5*n, -2*n = -j + 16. Let y be ((-8)/j)/((-3)/9). Let v be (-2)/8*(9 - y). Which is smaller: v or -2?
-2
Let o = -129 + 66. Do 0.1 and o have the same value?
False
Suppose n = 2 + 1. Let z be n/7 + (-20)/(-35). Is 1/10 <= z?
True
Let r = -5 - -6. Let u be (45/40)/(45/(-12)). Which is bigger: r or u?
r
Suppose 3*a - 8*a = 15, -2*y - 5*a = -115. Which is greater: 66 or y?
66
Suppose -5*f = 4*l + l, 0 = -4*f + l + 10. Suppose 3 = r - f. Suppose r*h + 5*t - 12 = 3*t, -4*h - 3*t = -11. Which is greater: 1 or h?
h
Let m = -178 + 187. Is 41/5 less than m?
True
Let h be 4/(-6)*1*6. Let j be (-1 - (2 + h)) + -1. Is j greater than -2/5?
True
Let s = -75 - -82. Which is smaller: 70/11 or s?
70/11
Let s = -6 - -8. Suppose 6*i + 20 = 5*v + i, -4*v - i - 4 = 0. Which is bigger: v or s?
s
Let s be (4 - (-25)/(-7))*(-1)/6. Which is smaller: s or 0.3?
s
Let v = -14.2 - -14. Let z = -0.3 - -0.2. Let s = 0.3 + z. Is v < s?
True
Let a = 42 + -41. Let l(x) = -x**3 - 6*x**2 - 3. Let m be l(-6). Let b be 3/18*(-2)/m. Are a and b non-equal?
True
Let g = 18.4 - 19. Which is bigger: g or 4?
4
Let f(y) = -y. Let x be f(0). Suppose 4*c - 47 = -3*g, -4*g + 2 + 2 = x. Suppose -4*t = 3*q + 2, 3*t - 2*q = -4 + c. Which is bigger: t or 2/7?
t
Let v be (14/(-42))/((-2)/(-66)). Suppose -2*d + 11 - 35 = 0. Which is smaller: v or d?
d
Let x = -12 - -17. Let v = x - 5. Let n = v - -2. Is n greater than 3?
False
Let d be 25/30 + 3 - 4. Let f(p) = -p**3 + 3*p**2 + 1. Suppose 0 = x - 1 - 2. Let y be f(x). Are y and d non-equal?
True
Let t = 1/4 - -7/36. Which is greater: t or -1?
t
Suppose 2*l + 3*t = 2*t - 9, 0 = l - 2*t + 2. Which is smaller: l or -5?
-5
Let v be (-12)/6*2/(-2). Suppose -b - v + 1 = 0. Which is smaller: b or 1/3?
b
Let t(d) = -d - 5. Let z(i) = -i**2 + 2*i + 3. Let m be z(4). Let l be t(m). Suppose l*q - 3*q - 15 = 0. Which is smaller: -4 or q?
q
Let r be (0 + 1)*2/(-5). Suppose -4*j = q - 28 - 24, j = -4*q + 28. Suppose -2*w = 5*u - 13, -u = 4*w - 5 - j. Which is smaller: r or u?
r
Let t = 4 + -7/2. Suppose 0*s + 2*s - 6 = 0. Suppose 0*h - h + s = 0. Which is smaller: h or t?
t
Let s(z) = -z - 5. Let f be s(-3). Let o be (f + 3)/((-2)/8). Let g be (o/70)/(1/(-5)). Which is smaller: g or 0?
0
Let g = 996/35 + -142/5. Which is smaller: g or 0?
0
Let p be ((-633)/30)/((-144)/(-255)). Let x = 127/32 - p. Let a = 42 - x. Is a smaller than 1?
True
Let c = -2 + 19. Let g = c + -15.7. Let m = g + -0.3. Is m less than or equal to 1/5?
False
Let q be ((-8)/(-12))/((-12)/27). Is -0.1 at most q?
False
Let x be 4/4 + -1 + 0. Let h = 2/47 + 39/188. Which is smaller: h or x?
x
Suppose -5*y + 10 = 2*z + 54, -4*y - 55 = -5*z. Which is smaller: y or -9?
y
Let w(i) = i**3 + i**2 - i - 1. Let h(o) = 3*o**3 - 2*o**2 + 3*o - 1. Let p(u) = -h(u) + 4*w(u). Let s be p(-7). Which is bigger: -2 or s?
-2
Suppose 0 = 2*c - 5*i + 1, -2*i = 2*i - 4. Suppose -5*z - 6 = -c*z. Which is bigger: z or -1?
-1
Let v = -48 + 68. Suppose 5*q + z - 25 = 0, -2*z + v = 4*q - 0*z. Suppose -5*w - q = -0*w. Is w equal to -1?
True
Let k = 4 + -6. Let n(i) be the first derivative of -i**4/4 - i**3 - i**2 + i + 1. Let x be n(k). Which is smaller: x or 1/4?
1/4
Suppose t - 10 = 57. Let k = 143/2 - t. Let d = -4 + k. Which is bigger: 1 or d?
1
Let m be -1 + 0 + (-1)/1. Let p(n) be the second derivative of n**4/12 - n**3/2 - 11*n**2/2 - 9*n. Let h be p(5). Which is greater: m or h?
h
Let c be (2/4)/(6/12). Is c at least 0?
True
Let d = 14 - 13. Let w(k) be the first derivative of k**4/4 - 4*k**3/3 + 2*k**2 - 2*k + 2. Let f be w(3). Are d and f non-equal?
False
Let c be -2 + 3 - 4/(-2). Suppose -g + 4*g = -c*z - 9, 5*g + 23 = -z. Let n be (18/(-32))/((-3)/4). Is n less than z?
True
Suppose 5*z - 8 = -0*r - 2*r, -4*r - 4*z - 8 = 0. Let y be 2/r - 14/21. Is y >= -2?
True
Let q(n) = n - 2. Let c be q(8). Which is bigger: c or 0?
c
Suppose 0 = -q - 2*s + 8, -6*s + 16 = -4*q - 2*s. Are 14 and q equal?
False
Suppose 30 = -2*o + 5*o + 3*d, 0 = -o - 2*d + 12. Let j = 6 - o. Let b be (-4)/(1/3*10). Which is smaller: b or j?
j
Suppose w - 4*s + 12 - 2 = 0, -4*s - 60 = 4*w. Which is smaller: w or -15?
-15
Let n be (3/(-9))/((-1)/9). Suppose -5 = 4*l + n. Which is smaller: -1 or l?
l
Let f be (-4)/(-3)*9/(-6). Let r(b) = -b + 7. Let y be r(8). Which is bigger: y or f?
y
Let x be (-2)/(-4) + 2771/(-5406). Which is smaller: -1 or x?
-1
Let q(x) = x + 1. Let w(a) = a. Let l(o) = q(o) - 2*w(o). Let t be l(0). Which is greater: t or 0?
t
Let i = -37 - -22. Let g(x) = x**3 - 8*x**2 + 7*x - 8. Let o be g(7). Let c be (4/i)/(o/(-12)). Which is greater: 0 or c?
0
Let m = 2.1 + -1.8. Let i = 0.4 - m. Let f = 0.1 - 0.14. Is f at least as big as i?
False
Let k = -21 + 22. Which is smaller: k or 8/7?
k
Let q be ((-30)/(-4))/((-4)/8). Let i be 4 - 2 - q/(-6). Which is smaller: i or -9?
-9
Let b = -17 - -16.86. Let l = b - 0.26. Are 1 and l unequal?
True
Let h = 39 - 39. Which is greater: -0.5 or h?
h
Suppose -4*l = -2*p - 20, -5*l - 3 = -2*l. Is -64/5 bigger than p?
False
Suppose 0 = 3*p - 0*y - y + 165, 5*p + 2*y + 286 = 0. Which is smaller: -55 or p?
p
Let w = 16.3 + -17. Let x = 0.3 - w. Does 0.4 = x?
False
Suppose 3*d + 2 = d. Let p = 1/13 + -22/117. Which is smaller: d or p?
d
Let n(p) = -p**3 - 5*p**2 + 