Let v = c - -2. Suppose -8 = -5*p + w, 5*p + 2*w + v = 3. Which is bigger: 0 or p?
p
Let t(o) = -o**3 - 6*o**2 + 8*o + 9. Let l be t(-7). Suppose -1 = -2*y + y - l*z, 0 = 3*z + 6. Let g be ((-8)/(-20))/(6/y). Which is greater: 0 or g?
g
Suppose -5*k + 41 = 41. Is k less than or equal to 2/29?
True
Let n = 73 - 74. Which is bigger: n or -17?
n
Let f = -6 + 11. Suppose n - f = -5*c, -4*c + 7*c + 15 = 3*n. Let j = 131/385 + -3/55. Is j at least as big as c?
True
Let q(s) = 2*s + 2. Let c be q(-7). Let m be (2/c)/((-14)/(-5187)). Let t = 61 + m. Is 0 bigger than t?
True
Suppose -5*y = j - 8, 0*j = -j + 5*y + 38. Suppose -4*t + j = c, -3*t - 2 = -3*c - 8. Let r(z) = 3*z - 6. Let a be r(4). Which is bigger: t or a?
a
Let f = -22.964 + -0.036. Let l = -19 - f. Is l at most -3?
False
Let n be 2*2*5/4. Suppose 2*b - 5*r = 1, -3*r = 6*b - b - 18. Suppose 5*u - n = 0, -3*u + 3 = -2*j - b*j. Is j greater than 0.1?
False
Let t(z) = -z**2 - 5*z + 1. Let g be t(-4). Suppose -r = -g*r + 4. Suppose q + r = -0. Are -0.1 and q non-equal?
True
Let m = 70 - 203/3. Suppose y + 5 = 2*s, 0 = 2*y - 2*s + 3*s - 10. Which is smaller: y or m?
m
Let l = 7 - 3. Suppose 3*p - 2*a - 6 = 4*p, -l*a = 5*p + 12. Which is smaller: -4/5 or p?
-4/5
Let f = 1200 + -1263.7. Let m = 69 + f. Let j = 5 - m. Is -0.1 equal to j?
False
Let x = -15 - -15.3. Let u = 1.3 + -0.3. Which is smaller: u or x?
x
Let b(s) = s**3 - 7*s**2 - 10*s + 12. Let d be b(8). Which is greater: 2/5 or d?
2/5
Suppose -1 = u - 0. Which is bigger: -1/32 or u?
-1/32
Let u(a) be the second derivative of -a**5/20 - 7*a**4/12 - 4*a**3/3 - 7*a**2/2 + 2*a. Let x be u(-6). Let n = 8 - x. Is 2/3 bigger than n?
False
Suppose -3*i + z = -17, -5*z = 6*i - 2*i - 10. Suppose 3*s - k + 1 = -5, -i*s - 24 = 3*k. Let n = 6 + s. Is n < 3?
False
Let t = 0.343 - 0.043. Which is smaller: -1/3 or t?
-1/3
Suppose -5*p + 2*c - 3 = 0, 2*p - 3*c = -c. Let b be ((-9)/(-18))/(1/2). Let x be (-1)/(p + (-2)/b). Which is greater: -0.1 or x?
x
Suppose -4*a - 26 = -3*i, 0*i + 3*a + 9 = -3*i. Suppose 40 = 2*l - 8. Suppose -i*f + l = f. Which is smaller: 9 or f?
f
Suppose 3*j = 8*j - 2*y - 40, 5*y - 45 = -2*j. Suppose 0*s + j = -2*s. Which is bigger: -6 or s?
s
Suppose 77 = 2*m - 3*m. Let w be (8/(-14))/(110/m). Which is smaller: w or -1?
-1
Suppose -2*m + 27 - 61 = 0. Which is smaller: m or -16?
m
Let p = -0.4 + 2.4. Let s be 8/20 - (-18)/5. Suppose 2 - 6 = s*t. Is p greater than t?
True
Suppose 5*k = -5*r - 50, -4*k - 6*r - 41 = -r. Let q be (1/(-3))/(1/k). Let d be 4/3 - 1/q. Is 0 != d?
True
Suppose -5*o - 6 = 3*m + 64, -3*o - 72 = 3*m. Which is smaller: m or -26?
-26
Let g = 0.357 + -0.057. Which is greater: -11 or g?
g
Let a = -76 + 50. Let h = -15 - a. Which is bigger: h or 12?
12
Let a be 140/(-528) - (4 + -2)/(-8). Is -1 equal to a?
False
Suppose 3*n = -3*v - 21, -4*v + 34 = -2*n - 2*v. Is -13 at least n?
False
Let k = -12.9 + 13. Let o = 0.39 - 6.59. Let y = 6 + o. Is k > y?
True
Let w(p) = -p. Let f be w(0). Suppose 0*h - 2*h + 6 = f. Let z be 1 + ((-11)/h - -2). Is z < -2?
False
Let z = 0.03 + -0.07. Let q = 0.06 - z. Let n = -1 - -1. Which is bigger: n or q?
q
Let t = -6 - -3. Let j = 3.04 + t. Let i = 0.54 - j. Is i != -0.1?
True
Let i be ((-9)/(-3) + 1)*2. Let y(a) = -a + 19. Let t be y(12). Is i greater than or equal to t?
True
Suppose -12 + 9 = d. Is -3 >= d?
True
Suppose 0 = -2*y - 4*n - 14, 2*y + 9 = 3*n - 5. Which is greater: y or -2?
-2
Let v = 0 + 2. Let o = -2.1 + 2. Let b = o - 0. Is v less than or equal to b?
False
Let a = -13.7 - -10.7. Is 2/17 bigger than a?
True
Let b = -14 + 12. Let v be 1 + (-2 - -4)*-1. Is v less than or equal to b?
False
Let k(d) = d**3 - 11*d**2 + 10*d + 1. Let p be k(10). Which is smaller: 6/43 or p?
6/43
Let q be (-1 - 1)/(-1) + 16/(-10). Which is bigger: q or -0.21?
q
Let a = -50141 + 4261938/85. Let m = a + 6/17. Let g be ((-2)/10)/((-14)/(-35)). Which is smaller: m or g?
g
Let m be 15/25*2/(-3). Let n = -2 - -6. Let d be (3/6)/((-2)/n). Are m and d equal?
False
Let j = 4 + -3. Is 4/5 greater than or equal to j?
False
Let z be ((-2)/60)/((-9)/36). Which is smaller: -2/7 or z?
-2/7
Let v be -3 + -1 + (-3)/(-3). Let k = -2 - v. Let j be ((-2)/((-2)/k))/(-2). Which is greater: -1 or j?
j
Suppose -12*z - z = 13. Which is bigger: -1/52 or z?
-1/52
Let w = -3 + -2. Let g(k) = -k - 1. Let r be g(w). Suppose r*l - 2*l = 0. Is l < 1/6?
True
Let k be (-6)/(-8) + (-3 - -3). Let l = 27 + -27. Which is bigger: l or k?
k
Let v = -0.1 + 0.2. Let f = 6 - 6. Let z = f + 0. Which is smaller: z or v?
z
Let m be (81/10)/(350/(-12)). Let b = 2/235 - 97/5875. Let z = m + b. Which is greater: -0.4 or z?
z
Let s(b) = -b**2 - 6. Let p be s(0). Let c be (-3)/1 + (-4 - p). Which is smaller: -2/3 or c?
c
Suppose 0*v - 5*v = 0. Let h = -1 + v. Let s be 0 + (-2)/3 - 0. Which is smaller: s or h?
h
Let y be (-2)/(-8) - (-6)/(-8). Let z(h) = 2*h - 1. Let v be z(2). Suppose -l = -2*r, l + r = v*l. Which is smaller: l or y?
y
Suppose 4*g - 8 = -v - 2, 15 = v - 5*g. Let k be ((-2)/4)/((-2)/48). Let m be v/72 + (-3)/k. Which is bigger: -1 or m?
m
Suppose 2 = -3*i - 4. Let r be i/8 + 3/(-4). Suppose -2 = -3*y + 2*y. Is r less than y?
True
Suppose -8 = -6*z + 2*z. Let i = z + -6. Which is smaller: -3 or i?
i
Suppose -171 = -5*q + 59. Is 47 >= q?
True
Let f = 0.2 + 0.8. Suppose 2*t - 3 = -13. Which is bigger: f or t?
f
Let j = -4 - -8. Suppose 2*t = 5*m + t - 13, 3*t = 2*m. Which is smaller: m or j?
m
Let g be 1/(-1) + (-4)/(-3). Let t be (0 - -2)/(3 - 1). Let i = t - 0. Are i and g nonequal?
True
Let f(j) = j**2 + 16*j + 10. Let w be f(-15). Which is smaller: w or -1?
w
Let t = 4 - 4. Let y = -247 - -1239/5. Which is greater: y or t?
y
Let r(d) = -7*d - 11. Let p be r(-5). Is p greater than 25?
False
Let d = -19 - -22. Are d and 3 equal?
True
Let x(y) = 4*y + 8. Let j(s) = -5*s - 9. Let z(a) = -3*j(a) - 4*x(a). Let o be z(-6). Let w = 2 - 2.2. Which is greater: o or w?
o
Let g be 42/15 + (-4)/5. Is g < 4?
True
Let g = 0.08 - 0. Do -1 and g have the same value?
False
Suppose 0 = c - 5*f - 18, 2*c - 43 + 7 = -5*f. Is -0.2 at least as big as c?
False
Let b = 25357/63 + -3981/7. Suppose f = -f - 332. Let q = b - f. Which is smaller: -1 or q?
-1
Let x be (-4)/12 + 5/(-3). Let l be (-1)/x - 5/4. Which is bigger: 0 or l?
0
Suppose -5*f + c = 0, -f - 21 = 4*c - 0*c. Let p = f - 3. Do -5 and p have the same value?
False
Let d be (-2)/2*(-40)/(-24). Which is smaller: -2 or d?
-2
Let i = 1 + -1. Suppose -3*c - 3 = -0. Which is smaller: c or i?
c
Let t(a) = -a**2 - 9*a + 21. Let y be t(-11). Which is smaller: -1/29 or y?
y
Let q be 42/(-3)*1/(-2). Suppose 5*a - 8 - q = 0. Suppose -5*p + 26 = -u + 2, -4*u = -5*p + 36. Is p < a?
False
Let t = -11 - -7. Suppose -z + 3 = 10. Let u = t - z. Are 3 and u non-equal?
False
Suppose 15 = 2*t - 3*z, 4*z + 12 = t - 3. Suppose 0 = -m + t*m. Is m not equal to 2/53?
True
Let b = -62 + 54. Are b and -12 unequal?
True
Suppose 5*c = 12 + 8. Suppose 1 = c*g - 5*g. Is -1/3 greater than or equal to g?
True
Let o(n) = -n**3 - 5*n**2 + 6*n + 1. Let s(x) = x**3 - 2*x**2 - 2*x - 4. Let r be s(-4). Let m be 2/(-8) - r/(-16). Let f be o(m). Which is smaller: -1 or f?
-1
Let v = 3581457/524 + -100324155013/14674620. Let i = v - -2/1867. Let a = 4/3 + i. Are 1 and a equal?
False
Let c be -1 + (-1 - 0) + 2. Let i(d) = 0 + c + d. Let u be i(-1). Are -2 and u equal?
False
Suppose -5*y = -z + 5, -4*z + 19 = -2*y - 1. Suppose 0 = -z*t - 3 - 2. Is t less than -1/2?
True
Let n be (-1 - -2) + (-6)/10. Let q(g) = -g**2 + 3*g - 2. Suppose -3*o - 6 = -5*o. Let h be q(o). Which is smaller: n or h?
h
Let q = 16 - 22. Let r be q/(-27) + 8/18. Is r greater than -0.1?
True
Let b = -324/7 + 46. Is b equal to -1/9?
False
Suppose -5*j + 31 = 2*t, -5*j - 3 = -4*t + 14. Let z = t - 6. Do 2 and z have different values?
False
Let p be ((-4)/(-6))/(3/216). Suppose 0*l - 6*l = p. Is l < -9?
False
Let j(d) = -d**2 + 1. Let v be j(-2). Let a = 18 + -20. Is v at least a?
False
Suppose -4*y + 0*y + 312 = 0. Suppose 3*a - y = 2*q, -5*q + a = 4*a + 174. Let x be (-8)/q - (-94)/(-18). Is -4 less than x?
False
Let r(z) = z**2 - 14*z - 30. Let y be r(16). Let a be 0/2 + 2 + 0. Let v = y + a. Is v greater than 5?
False
Let n = 0.2 + -4. Let c = n + 4. Let