 k = -4 + 7. Suppose 0 = 3*u - 2*u - k. Let z be 1/u*(-3)/7. Which is smaller: -1 or z?
-1
Let h = -70.6 + 70. Let p = -0.35 - 0.05. Let b = h + p. Is b greater than or equal to 3/4?
False
Let j be 1/(((-3)/8)/(-3)). Let o be j/(-3) + 1/(-3). Let b = 3 + o. Is b < 2/3?
True
Let a = -36 - -36.09. Which is smaller: a or -1/4?
-1/4
Let r = -10.86 + 11. Let v = -9.14 + r. Is v > 2?
False
Let j be (20/(-14))/((-3)/21). Let g be (-9 + -1)*8/j. Is g greater than -7?
False
Let k = -313/6 + 52. Which is smaller: k or 1?
k
Let x(h) = h**2 - 4*h - 5. Let t(b) = b**2 + 5. Let j be t(0). Let c be x(j). Which is bigger: 1 or c?
1
Suppose 4*y - 6 = 2*t, -5*t - 2*y = -y - 29. Let r = -33 + 38. Is r at most as big as t?
True
Let z(y) = y - 1. Let a(q) = -12. Let r(k) = a(k) - 2*z(k). Let x be r(-7). Do x and 5 have different values?
True
Let u(s) = -s - 1. Let a be u(2). Let g(t) = t**3 + 3*t**2 - 1. Let x be g(a). Let c = -2.7 - -1.7. Is x < c?
False
Let j(z) = -2*z - 1. Let s be j(-1). Let q be (-2)/4*552/10. Let i = q + 28. Which is bigger: i or s?
s
Let o(g) = g**2 + 14*g + 4. Let x = -17 + 3. Let m be o(x). Let l be 2/5 + 6/10. Is m greater than l?
True
Let g = -1.7 - -4.7. Which is smaller: -1/5 or g?
-1/5
Suppose 12 + 4 = 4*y. Is y > 4?
False
Let q be (2/(-7))/(12 - 11). Which is smaller: q or 12?
q
Suppose 17*q - 15*q - 10 = 0. Which is bigger: q or 13/3?
q
Let g be (1/(-2))/((-1)/6). Let q be g + (-2)/(-1)*-2. Let o be (1/(-4))/(q/4). Is o smaller than 1/8?
False
Suppose b + b - 24 = -x, b - 5*x + 10 = 0. Suppose k = -2*k - 5*t + 14, -3*k + b = 4*t. Are -2 and k equal?
True
Let j(d) = d**3 - 3*d**2 - 4*d + 4. Let r be j(4). Let w be 599/9 - r/18. Let z = 65 - w. Is 0.1 bigger than z?
True
Let a = 2.6 + -2.7. Which is smaller: 0.3 or a?
a
Let x = 8 - 23. Let i = x + 15. Suppose 5*p - 21 + 1 = b, -3*b - 3*p = -12. Do i and b have the same value?
True
Let m be 3/8 + (-609)/(-232). Is m at most as big as 19/5?
True
Let z = 0.4 - 0.72. Let g = z - -2.22. Let m = -2 + g. Which is greater: -0.3 or m?
m
Let y = 11 + -8. Suppose -8*p = -y*p + 5. Are 1/8 and p equal?
False
Let r = -12 + 17. Suppose 2*q = r*q. Let f = 463/345 - 1/115. Which is smaller: q or f?
q
Suppose -j + 2 = -1. Suppose -j*i + i + 4 = 0. Suppose 3*q - 3 = 0, -q + i = -u + 3*q. Is u smaller than 0?
False
Let p(b) = b - 1. Let r be p(3). Let u be -10*6/(-28) - r. Suppose -67*x = -61*x + 6. Which is greater: x or u?
u
Let h = 27 - 16. Is 11 smaller than h?
False
Let j = -829 - -14105/17. Let o = j - 127/204. Which is smaller: o or -1?
-1
Let c = 94 + -76. Is c < 19?
True
Suppose -4*c + 2*d - 15 = -d, 5*d = c + 8. Let g = -2 + 3. Which is bigger: c or g?
g
Suppose 5*x = 5*w - 35, 5*x = 3*w + 8*x + 9. Let j be ((-2)/(-3))/((-4)/(-12)). Let n be ((-6)/(-4))/(j/4). Which is smaller: w or n?
w
Let i be 32/24 - 1*(2 + -1). Which is smaller: i or -29?
-29
Let b = 519 + -7263/14. Let q = 1/126 + b. Is q at least as big as 0.1?
True
Let d = 0.08 - 2.08. Let p = d - -5. Let c = p + -4. Is -2 > c?
False
Let u = 5 - 4. Let p be (-3)/(-5)*(-6)/9. Which is smaller: p or u?
p
Let j = 7/6 + -8/3. Let i = -2.04 - -0.04. Which is smaller: i or j?
i
Let x = -149 - -130. Is x greater than -19?
False
Let m(n) = 0 + n**2 + 0 + 4*n. Let v be m(-4). Let a be v*(-1 + 3 + -3). Is a at least 3?
False
Suppose 4 = 3*g + 7. Let m = 1 - g. Are 4 and m equal?
False
Let n(l) = -l**3 + 3*l**2 - 2*l + 3. Let m(t) = -2*t - 7. Let z be m(-5). Let f be n(z). Is -3 >= f?
True
Let s = -4763/6 + 796. Is 2 <= s?
True
Let b be 1/((-2)/(24/(-1))). Let z(u) = u + 8. Let q be z(-5). Suppose 0 = k - 5*k + 3*x - b, -q*x + 12 = -3*k. Is -1/5 less than k?
True
Suppose -s - 3 = -5*y, y + 2*s = 3*s + 3. Let v = -1/3 - y. Let m be -1*(-2 - 1)/3. Is v > m?
False
Let o = -38/5 + 157/20. Do -9 and o have different values?
True
Suppose 0 = 7*u - 4*u - 30. Which is bigger: 8 or u?
u
Let t = -14 + 10. Let f be (-2)/(1 - 5)*t. Let a be 3/(-2) + f/(-4). Which is smaller: a or -1/7?
a
Let m = -515/1416 + -2/177. Suppose -4*g = -5*f + f + 16, 0 = 4*f + 2*g + 8. Which is bigger: f or m?
f
Let a = 1 + 0. Let y = 0.4 - 0.3. Let l = y + -0.1. Which is bigger: a or l?
a
Suppose 0 = -2*u + 2*i - 4, -i - 19 = 4*u + 9. Is -16 bigger than u?
False
Suppose 0 = h - 7 + 2. Which is bigger: h or 6?
6
Let i(b) = -7*b**2 - 1. Let f be i(-1). Let w = -24 + 12. Let h = w + 3. Is f at least h?
True
Suppose 0 = -0*j - 6*j. Is j equal to -7?
False
Let r = -7.86 + -0.14. Let n = -6 - r. Is n at most as big as 0.2?
False
Let w be ((-48)/18)/(2 - (1 - 1)). Is w greater than -1?
False
Let r(q) = -q**2 - 9*q - 3. Let w be r(-10). Suppose 5*k + 5*t + 45 = 0, -3*k + 3*t - 27 = 7*t. Let x = w - k. Which is smaller: x or -5?
-5
Let h = 62.3 + -62. Let n = -9 + 10.1. Let c = 1 - n. Is h smaller than c?
False
Suppose -7 = 5*n + 8. Let k(o) = o**3 + 4*o**2 + 4*o + 3. Let s be k(n). Is s bigger than 1/10?
False
Let i = -0.246 + 0.036. Is i less than or equal to 0?
True
Let c = 35/76 + -4/19. Which is greater: c or 30?
30
Let k = -1/59 - 52/413. Which is greater: k or 1?
1
Suppose 0 = -0*f - 4*f - 20. Let s(z) = z**2 + 4*z + 3. Let x be s(f). Let p be (x/(-42))/((-2)/(-12)). Are p and -2 non-equal?
True
Let f = -1 - -10. Which is smaller: 10 or f?
f
Suppose -2*w = -2 - 4. Suppose -t - 4 = -2*k + 3*k, 2*t - w*k = 12. Is t < -1?
False
Suppose 4*n + 8 = 0, -3*n = 5*y + 2*n. Let x(w) = w + 12. Suppose -3*o = -o + 26. Let b be x(o). Are b and y non-equal?
True
Let p be 1 + (3/(-3) - (-5)/11). Do 0 and p have the same value?
False
Let m = 12 - 13. Let w = m - -0.9. Which is bigger: 2/5 or w?
2/5
Let l = -0.2 - -0.3. Let z = 0.7 - -0.1. Let a = 0.2 + z. Is a greater than l?
True
Suppose 0 = y + 4*u + 1 + 10, 0 = 4*y + u - 1. Let p(k) = -k**3 - 5*k**2 + 5*k + 1 - 2 + k**2. Let l be p(-5). Is l greater than y?
False
Suppose 4*s + k = -11, 0*k = -3*s + 2*k. Let l be -1 + 2 - (-2 + 0). Suppose -l*f - y - 7 = 0, y - 2 + 0 = 0. Are f and s equal?
False
Suppose 4*k - 2*k = 42. Suppose 3*s = -9 + k. Suppose -5*h + 5*v - 35 = 0, -2*h + 2 + s = 2*v. Are -4/5 and h nonequal?
True
Suppose -16 = -4*h, -7*l + 2*l = 4*h - 26. Let j be 6*-1*l/(-4). Suppose -6 = -8*p + 5*p. Is p at most j?
True
Let d(o) = 2*o**2 + 25*o - 18. Let y be d(-13). Which is smaller: y or -2/3?
y
Suppose 4*n - 21 - 49 = -5*z, -8 = -4*z. Let p be 154/(-670) - (-3)/n. Which is greater: -1 or p?
p
Let q(a) = -a**3 - 4*a**2 - a - 2. Let w be q(-4). Let v = w + -3. Is v < -2?
False
Let l(m) = m**3 - 7*m**2 + 6*m + 4. Let a be l(6). Let z be (a/(-9))/((-6)/9). Which is smaller: z or 2?
z
Let k = 193/3 + -59. Are 4 and k non-equal?
True
Suppose -2 = -u - 1. Let n be (-2)/(-3) - 4/6. Are n and u unequal?
True
Suppose 1 = 3*g + 7. Let u(q) = q**3 + 2*q**2 + 2*q - 1. Let c be u(g). Let f(b) = -b**3 - 6*b**2 - 5*b + 1. Let p be f(c). Is p less than or equal to -1?
False
Let d be -8 + 10 - 5/((-10)/(-4)). Is d <= -17?
False
Let z = 26 - 27. Is -2/121 bigger than z?
True
Let s be (-222)/21 + 6/(-14). Which is smaller: -10 or s?
s
Let s = 205 - 205.2. Which is smaller: 5.9 or s?
s
Let i = 111 - 106. Let h be 2/2 + (6 - -1). Which is greater: h or i?
h
Suppose -5*d + 2*d = -3. Let u be (6/(-8))/(2/16). Let l be (-3)/5*4/u. Which is greater: l or d?
d
Let y be (2/(-1))/(-2)*0. Which is greater: y or 10?
10
Let z = 10 + 0. Is 9 not equal to z?
True
Let a be (12/(-8))/(6/(-8)). Suppose 0 = -w + a*w + 1. Suppose -3*i = 1 + 5. Is w <= i?
False
Let k = 3.94 + -0.14. Let n = k + 0.2. Let h = 0.8 - -0.2. Is n > h?
True
Suppose 2*n + z - 11 = 0, -3*z + 2*z = 3*n - 15. Suppose -4*p + 25 = p - 5*h, n*p + 3*h = -15. Is 0 < p?
False
Let s(p) = p - 2. Let z be s(-5). Let u(v) = -v**3 - 6*v**2 + 6*v - 10. Let h be u(z). Is h at least as big as -3?
True
Let i(d) be the first derivative of -d**3/3 + 3*d**2 - 6*d - 1. Let y be i(5). Which is bigger: y or 0?
0
Let q(t) = -4*t**2 - 6*t + 11. Let u(j) = -j**2 - 2*j + 4. Let x(m) = -3*q(m) + 8*u(m). Let w be x(1). Suppose -5*l + 0*l = w. Which is greater: -2/7 or l?
-2/7
Suppose 2*k - 24 = 4*y, 7 + 9 = -y + 3*k. Let s(m) = -m**3 + m**2 + 2*m - 3. Let r be s(3). Let u = -20 - r. Which is bigger: u or y?
y
Suppose 0 = -3*t + 7*t. Is 0 smaller than t?
False
Let j be ((-10)/(-15))/(4/36). Which is smaller: 7 or j?
j
Let x 