Let c(x) = x**3 - 7*x**2 + 7*x - 1. Let z be c(6). Suppose -2*q + z*w - 3 - 1 = 0, 8 = -4*q + 2*w. Which is bigger: -6/11 or q?
-6/11
Let x be (-6)/(-20)*(-7)/7. Which is greater: 0 or x?
0
Let s be (-3)/6*(-9 - -1). Let o = -520 + 524. Does s = o?
True
Let y = 0.043 + 0.057. Is -2 equal to y?
False
Let v(k) = k**2 + 4*k + 1. Let g be v(-4). Suppose -5*b - 21 = 9. Let s = b + 7. Is s at most g?
True
Let j = -696/119 + 36/7. Which is bigger: 0 or j?
0
Let d = -2 + -1. Let r = 5 + d. Let v = r + -2.2. Which is bigger: v or 0.1?
0.1
Let u = -0.41 - -0.4. Let o = u - 1.99. Let g = o + 2.1. Are 0 and g non-equal?
True
Let t = -1.8 + 0.8. Is t greater than -3/10?
False
Suppose 0 = -o + 2*o - 1. Let g = -229/568 + 2/71. Is o < g?
False
Let t(o) = -2*o**3 - o**2 + 4*o + 3. Let g be t(-2). Suppose g*i - 2*i - 10 = 0. Suppose 0 = i*f - 6 - 2. Is f > 5?
False
Let g = -59971/345 + 2776/23. Let y = g + 53. Let a = 0.1 + 0. Is y >= a?
False
Suppose -3*p + 3*w = 2*p - 5, 4 = 4*p - 3*w. Suppose 3*i - 7*i = 0. Which is smaller: i or p?
i
Let k = 6.8 - 8. Let q = 0.2 + k. Which is bigger: q or 0.1?
0.1
Let q be 1 + -4 + 22/6. Which is smaller: q or 0.02?
0.02
Suppose -9*j = -4*j. Which is smaller: -4/7 or j?
-4/7
Let t = 1.73 - -0.27. Let v = t + 1. Which is smaller: 4 or v?
v
Let s = -37 - -36. Which is smaller: 2/27 or s?
s
Suppose -2*h = 2*h. Suppose h*c - c = 0. Suppose -5*q - 3*r = 2*r - 15, -3*q + 4*r - 12 = 0. Is q != c?
False
Let x be (-12)/(-90) + (2/6)/(-1). Is x >= 1?
False
Suppose 26 = -5*f - 5*g + 1, -4*g + 34 = -5*f. Let q be 1/f - (-60)/(-72). Which is greater: 5/12 or q?
5/12
Let i be 41921/80 + (0 - 0). Let q = i - 524. Let k = q - -71/720. Is k != 0?
True
Let k = 134 - 133. Is 8/7 greater than or equal to k?
True
Let h = 37 - 34. Is 3 at most as big as h?
True
Let t be 1 + 4*2/(-4). Let h be 3 - (0 + t - -3). Which is smaller: -3/8 or h?
-3/8
Let t = 117 + -125. Which is smaller: -6 or t?
t
Let u(o) = -o + 5. Let b be u(5). Suppose -3 = -3*p - b. Let w = 2/7 - 1/28. Which is smaller: p or w?
w
Let r = -5 - -2. Let t = 2 + r. Are -3 and t equal?
False
Suppose 22 = 3*s + 1. Let z(t) = -t**2 + 6*t + 6. Let q be z(s). Let a be -2 - 2*20/(-16). Which is smaller: a or q?
q
Let r = -11 - -10. Is -8 equal to r?
False
Suppose 0 = -4*b - b. Let x = 39 - 70. Let k be (-2)/(-7) - x/(-35). Is b equal to k?
False
Let u = -2309/16 + 144. Which is smaller: u or 1?
u
Let y(x) = -2*x + 2. Let i be y(-1). Let c be (-2)/(-2) + i/(-5). Let m = -4 + 3. Do m and c have the same value?
False
Let x be 5 - (24/15 + 4). Is 0 greater than or equal to x?
True
Let t be 0*((-2)/(-5) - (-63)/(-45)). Which is smaller: t or 1/19?
t
Suppose -5*h = t - 3*h - 9, 5 = t + h. Suppose 3*d = 5*n - 2*d - 505, -4*n - d + 404 = 0. Let z = -1213/12 + n. Which is greater: z or t?
t
Let g = 1.2 + -6.09. Let t = g + -0.11. Let h = 4.8 + t. Which is smaller: 2/7 or h?
h
Let c(o) = -o - 3. Let h be c(-4). Which is smaller: -3 or h?
-3
Let r = -3.01 + 0.01. Let i = -2.8 - r. Which is smaller: -2 or i?
-2
Suppose -r + 6551 = -3*o, 3*r = -2*r - 5. Let k be 1 - (o/11)/3. Let q = k - 67. Which is smaller: q or -1?
-1
Let q = -12 - -11.82. Let k = 0.72 - q. Let s = k - -0.1. Is 2/3 at least as big as s?
False
Let j(h) = -h**2 - 7*h - 2. Let l be j(-5). Suppose 4*t = -0*t - l. Let z = 1 + t. Which is greater: z or -2/3?
-2/3
Let z(s) = -s + 7. Let f be z(5). Suppose -7 = -f*j - 1. Let q = 4 - j. Are -0.2 and q equal?
False
Let d = -1.6 - -1.4. Which is greater: 1/6 or d?
1/6
Let m(g) = -2*g + 3. Let l = 3 - 1. Let b be m(l). Is -1 greater than or equal to b?
True
Let o be ((-4)/3)/(8/(-60)). Suppose -2*j + 4*m - 14 = 0, m + o = -2*j + 3*m. Let s(r) = r**2 + 4*r + 4. Let i be s(j). Does -2/5 = i?
False
Suppose c = -5*x + 2*c + 10, 0 = 2*x - c - 4. Let d(r) = 9*r + 2. Let i be d(2). Suppose 4*n + n = i. Is n <= x?
False
Suppose 5 = -u + 4. Let v = 4 - 2. Let q be (v*1)/(3 + -4). Is q at least u?
False
Let x = -8 - -13. Suppose -2*z = 2*z - 36. Let y = z + -6. Which is greater: x or y?
x
Let q be 26/39 - 4/3. Suppose 0 = -f - 2 - 2. Let m be (2/12)/((-2)/f). Which is bigger: m or q?
m
Let h = 20 + -20. Let v be 4/2 - 29/14. Which is greater: v or h?
h
Suppose l + 4*g + 7 = g, 2*l + g + 4 = 0. Suppose 4*x + 4 = 0, 4*a + x + 5 = -0*a. Is l bigger than a?
False
Let u = 5 + -4.7. Let t = u + -0.2. Let i = 0 - t. Is -1 <= i?
True
Let q be 7 + (-5)/((-15)/(-9)). Let b = 3 + -1. Which is bigger: b or q?
q
Let i be (-2)/6 + (-4)/6. Let n = 0.25 - -0.05. Let r = n - -0.7. Which is bigger: r or i?
r
Let a(p) = -p**3 - 11*p**2 - 9*p - 5. Let u be a(-10). Let y be (3/u)/(0 - 1). Suppose -4*j - 1 = 3. Which is smaller: j or y?
j
Let h = -1.9 - -1.6. Let p = 0 + 2. Let b = 0 - p. Which is greater: b or h?
h
Let h be (-6)/10 - 21/4590*-134. Is 0 < h?
True
Let s = -8401/1545 + 82/15. Let a = 351/1442 - s. Let j(l) = l**3 + 12*l**2 - 11*l + 26. Let r be j(-13). Which is smaller: r or a?
r
Let i be (-4)/6*(-30)/(-65). Is i > 0?
False
Let v = 7.82 + 0.18. Which is smaller: v or -1?
-1
Let j = -1 + -1. Let d be 7 - 5 - (2 - j). Let y be (-3)/6*6*d. Which is bigger: 5 or y?
y
Suppose -3*k + 2*f - 9 - 2 = 0, -4*f = 3*k - 13. Let g be 1*(2/15 + 8/30). Which is bigger: g or k?
g
Let l = -2/33 + 47/231. Let t = 0.04 - 0.05. Let o = t + 2.01. Which is smaller: l or o?
l
Suppose 9*v = 13*v - 1128. Let f = v + -5921/21. Which is bigger: 0 or f?
f
Let g = -21/13 - -263/26. Is 8 >= g?
False
Let f = 0.75 - 0.52. Is f > 1?
False
Let c = 0.14 + -2.1. Let z = -0.04 + c. Is 0 at least z?
True
Let f(p) be the third derivative of 0*p - 1/60*p**5 - 1/6*p**4 + 0 + p**2 - 1/3*p**3. Let r be f(-2). Which is bigger: r or 3?
3
Suppose 2*v + 4 = 6*v. Suppose -3*g + g = 0. Let i be 3/9 + g + 0. Are i and v equal?
False
Suppose 0 = -n + 3*n - 2. Is 1 equal to n?
True
Suppose -3*m + 23 = -0*f + f, f - 11 = 3*m. Is f at least 17?
True
Let f(o) be the first derivative of -o**2/2 - 5*o - 3. Let a be f(-3). Which is smaller: 0 or a?
a
Let g(r) = -r**2 + 2*r. Let s be g(2). Suppose s = -3*o + x + 57, -5*o = -6*x + x - 95. Which is greater: 20 or o?
20
Let r = 0.036 + -5.836. Let b = -6 - r. Is b at most 3?
True
Suppose -9 = -3*r + s, 4*r - 5*s + 10 = 33. Let z be (-4)/(r + 0/(-1)). Which is bigger: z or 0?
0
Let w(d) = d**2 - 3*d - 1. Suppose 5*p - 10 = -0*p. Let z be w(p). Is -4 bigger than z?
False
Suppose -5*m = -3*t + 5, -3*t = 2*m + m - 21. Suppose t*j + 14 + 11 = 0. Which is smaller: -4 or j?
j
Let n be 52/70*(-20)/48. Let u = n + 1/6. Which is greater: 1 or u?
1
Let j be 5*2*(-12)/(-15). Let k = -9 + j. Which is bigger: k or 2/9?
2/9
Let y be (-691)/(-3069) + (-36)/162. Which is bigger: y or 1?
1
Suppose x + x = 0. Let f be 1085/30*1/7. Let n = f + -149/30. Is x at most n?
True
Let m(d) be the third derivative of d**4/24 + d**3 + 2*d**2. Let b be m(-5). Let o be b/((-24)/(-9)) + 0. Which is smaller: o or 1?
o
Let i = -6 - -11. Suppose -9 = -i*a + 6. Is a smaller than 3?
False
Suppose -5*y + 4*q = -0*q - 20, -4*q - 20 = 4*y. Let h be 2 + 28/(-8) + y. Suppose 2*n = -5*l - 3*n - 25, -n = -4*l - 10. Which is smaller: l or h?
l
Suppose 10 = 5*x + 5. Let q be 1/8*2 - 0. Which is bigger: q or x?
x
Let d be 1/((-5)/12) - -1. Let q be (-1*(1 - 4) + -3)/3. Which is smaller: d or q?
d
Let o = 0.21 - -9.79. Let a = -7 + o. Is 2 not equal to a?
True
Let x be 0 + ((-128)/(-68) - 2). Which is bigger: 0 or x?
0
Suppose 0 = -6*u + u. Suppose -5*b - 5*z = -35, 4*b = -b + 2*z. Suppose -b*l = -3*l. Is l at least u?
True
Let g be (-72)/(-154) - (-2)/(-7). Let k = 19 + -11. Suppose -l - 11 = a + 3*l, 0 = 4*a + 4*l + k. Is g smaller than a?
True
Suppose 0 = -2*p + 5*t + 3, 0 = 3*p - 0*t - t - 11. Suppose -10 = -5*o + f + 38, 0 = -4*o + 5*f + 51. Suppose o = l + 2*l. Is p < l?
False
Let n = 90 + -53. Is 1 at most n?
True
Let w(l) = -l**3 + 10*l**2 - 8*l - 4. Let n be w(9). Suppose a - 4 = v, n*a + 2*v + 3 - 2 = 0. Which is smaller: 2/11 or a?
2/11
Let a be 8/(2 - -2) - 5 - -1. Let p(u) = -9*u**2 - 2*u + 1. Let g be p(1). Let m be 2*(g/4 - a). Is m at most -1?
True
Let k = 139/588 - -2/147. Let j = -3.4 + 4. Let b = 1.4 + j. Are b and k unequal?
True
Let u be (-1 + 3 + -2)/1. Let y be ((0 + u)/(-3))/1. Is 2/3 <= y?
False
Let n = 134 - 134. Is n >= 0?
True
Let c be -4