e -3*g + 4*w - 6 = -1, 0 = 2*g - w. Let m = -6 - g. Let q(a) = a**2 + 6*a - 8. Let s be q(m). Is -1/4 less than s?
False
Let h = -125 - -102. Is h at least as big as -23?
True
Let h be (4/6)/((-30)/18). Let q = h + 1/15. Which is smaller: 1/2 or q?
q
Let a(v) = -2*v**2 + 4*v + 12. Let u be a(4). Is u less than or equal to -8/3?
True
Let k = -68 + 65. Is k at least as big as 0.2?
False
Let i be 2*(-1)/(-4)*2. Let j = 8/7 - 71/56. Is j smaller than i?
True
Let l = 9 - 3. Suppose -l*z + 4*z = 14. Let w be 32/14 + 2/z. Is w at least as big as 2?
True
Let l be (-2)/3 - 25/2. Let a = -13 - l. Does a = 0?
False
Let r(w) = -w**2 - w. Let j be r(1). Which is greater: -16/7 or j?
j
Let r(w) = -w**3 + 6*w**2 - 4*w - 4. Let o be r(5). Is o greater than 1?
False
Suppose q - 5*p + 3 = 0, q + 0*p + 3 = 4*p. Which is greater: -0.4 or q?
-0.4
Let f = -1 - 3. Let i = -0.54 + -0.46. Is f < i?
True
Let q be (-4)/(-3)*(2 - -1). Let u be (2 - 0)/((-2)/(-3)). Is u at most q?
True
Suppose -f = -3*l, 4*l = -4*f + 8*l - 8. Let q = 3 - f. Suppose -2*m - k - 11 = 0, 4*m + 11 = -k - q. Is -3 at most as big as m?
True
Let i(a) = a**2 - 3*a**2 - 3*a**2 - 6 + a**3 + 2*a + a**2. Let w be i(4). Which is greater: 1 or w?
w
Let m(z) = -2*z**2 - z. Let y be m(1). Let r(j) = -j**2 + 5*j. Let h be r(5). Suppose 3*n - 5*d = -h*d + 8, 0 = 5*n - 5*d. Which is bigger: n or y?
y
Let n be (-2 + -1)/((120/(-16))/(-5)). Are n and -18/29 nonequal?
True
Let l = 0.09 + -0.09. Which is smaller: 1/8 or l?
l
Let n = 7684/9 - 855. Is n at most -1?
True
Suppose 0 = -2*y + 3*y - 1. Let t = 2 - y. Let h(j) = -j + 1. Let n be h(1). Is n at most as big as t?
True
Let m = -4469/4 + 1103. Is -15 >= m?
False
Let a = 55 + -38. Suppose -q - 3*b = 2*b - 24, 0 = -2*q + 3*b - a. Which is smaller: 3/10 or q?
q
Suppose -30 = -0*v + 5*v. Let m = -6 - v. Suppose m = -4*h - 0 + 4. Which is bigger: 2 or h?
2
Suppose -87 = k - 24. Let g be ((-6)/14)/(k/14). Which is smaller: -2/5 or g?
-2/5
Let d(m) = 27*m**2. Let q be d(1). Suppose q = z - 4*z. Which is smaller: -11 or z?
-11
Let y = -12.06 + 0.06. Is 0 at most as big as y?
False
Let u be (6/20)/(2/(-4)). Let x = -0.01 - -0.11. Is x at most u?
False
Let m be 1 - 1/(-1)*-1. Suppose -z - 2 = -d, 4*z + z = 0. Let l = m - d. Is l equal to 1?
False
Suppose 2*q = -3*u - 2, 0*q = q - 5*u - 12. Suppose -q*b = -7*b. Is 1/2 at least b?
True
Suppose 0*t = -4*t. Do -2/27 and t have different values?
True
Let a = -13 - -6. Let n = a + 6. Let z = 41 + -1105/27. Which is bigger: z or n?
z
Let y = -91 - -225/2. Is y at most as big as 21?
False
Let p(x) = x**3 + 6*x**2 - 2*x - 9. Let b be p(-6). Suppose -b*o = -6*o. Let r be ((-6)/20)/(6/(-8)). Is o not equal to r?
True
Suppose -3*f = 2*f + 30. Let w = 3 + f. Let k = -4 + 2. Is w equal to k?
False
Let r = 339/4 + -86. Are r and 4/3 equal?
False
Let j be (-5 - 55/(-10))*(-4)/94. Is j equal to -1?
False
Let s = -10.5 + 43.5. Which is greater: -2/7 or s?
s
Let r = -9 + -6. Let d = r + 11. Which is greater: d or 2?
2
Suppose 3*m + 16 = 4*i, m - i + 4 = 4*m. Is -2/3 at most as big as m?
True
Suppose 0 = 18*o - 6*o - 948. Is 79 at most o?
True
Let i = 3.35 - 0.35. Which is greater: i or 0?
i
Let j = -141 - -124.9. Let v = j + 16. Is v >= 5?
False
Let n = 9 - 4. Suppose -3*b - 2*b = -3*x + 3, 0 = n*x - b - 5. Which is smaller: -2/35 or x?
-2/35
Let m = -7 + 11. Suppose 0*k + k - m*i + 6 = 0, -2*i = 2*k - 38. Let n be 5/k*(-10)/(-25). Which is smaller: n or 1?
n
Let b be 6/(-15) - 27/(-5). Let f = -6 - b. Let h = -8 - f. Is 0.1 at most as big as h?
True
Let q = -0.7 - -0.5. Let i = -5 - -6.95. Let z = 0.05 + i. Is z less than q?
False
Let h(j) = -j + 33. Let v be h(-11). Is v < 44?
False
Let d be ((-4)/(-6) - 1)*-6. Suppose -3*s - d = -s. Which is smaller: -1/2 or s?
s
Let c be ((-15)/(-9) + 1)*(-6)/216. Is c less than or equal to 1/4?
True
Let u = 1 - -17. Let s be (-6)/(-8) - 1/(-4). Let o be 0 - s - (-21)/u. Which is greater: -1 or o?
o
Let x(l) = l**3 + 17*l**2 - 2*l - 34. Let r be x(-17). Is 105 at most as big as r?
False
Suppose -16 = -6*g + 2*g. Let n = 19 - 15. Is n equal to g?
True
Suppose h + 0*h = 2*v + 14, -8 = 4*h. Let b = -6 + v. Let a be (-2 - -3)*(-4)/b. Is -1 bigger than a?
False
Let r = 128 + -1666/13. Let o(k) = -8 - k + 4 + 0. Let y be o(-3). Which is smaller: y or r?
y
Let p be (-6725)/2245 - (-3)/1. Let h = p - -3137/1347. Is h at most as big as 1?
False
Suppose -282*x = -286*x + 16. Are 9 and x non-equal?
True
Let f(u) = u + 9. Let m be f(-13). Which is smaller: 2 or m?
m
Let f(p) = p**3 + 4*p**2 - 5*p - 5. Let l be f(-5). Let i(a) = -a**3 - 6*a**2 - 6*a - 4. Let v be i(l). Let h be 0 - 2/(-1) - v. Which is bigger: -1/3 or h?
h
Suppose -2*o + 3 = 5. Let c be (2 - o) + (-3)/1. Let v be (c - 0)/(2 - 4). Which is smaller: 1/7 or v?
v
Let y be 1/((-1167)/(-234) - 5). Which is greater: y or -79?
y
Let o = 0 + 2. Let w = -36 + 36.2. Which is bigger: w or o?
o
Let h(c) = -c + 1. Let z be h(-6). Let j(k) = k**2 + 0*k**2 - 6*k - 12 + 15 - 11. Let l be j(z). Is l less than or equal to -4/7?
True
Suppose c - 3 = -2. Which is bigger: 2/5 or c?
c
Suppose 0 = r - 2*m - 10, 3*r - r = -2*m - 4. Let v = r - 2. Which is smaller: v or 1/15?
v
Suppose b + d - 6 = 0, 12 = 3*b + d - 0*d. Let g be (b/(-10))/(12/10). Is g at least as big as 2?
False
Let r = -0.02 - -0.02. Let t = 5 - 3. Let q = r - t. Is q >= -2?
True
Let l = 15 + -15. Which is smaller: l or 1?
l
Let q(m) = m**3 - 5*m**2 - 5*m - 2. Let x be q(6). Let p be (-7)/(-5) - x/10. Let w = 69/5 - 14. Is w < p?
True
Let k be (-2)/(-8)*(-1 - -3). Let h = 1 - 0. Let r = h - -1. Is r > k?
True
Let v = -16 - -8. Let f be v/6 - 2/(-2). Let b = -0.07 - 0.23. Is f > b?
False
Suppose 2*t = 7*t. Suppose -v + 1 = -t*v. Which is greater: v or -1/7?
v
Let d = -45 - -44. Which is greater: 1/67 or d?
1/67
Let p(q) = 3*q - 8. Let t be p(6). Let g = 13 - t. Is 12/7 at most as big as g?
True
Let r = -7/2 - -4. Let s = 0.5 + -0.7. Let t = -1.2 - s. Which is smaller: t or r?
t
Let i(o) = o**2 + 8*o - 3. Let r be i(-8). Let c(a) = 2 - 3 + 7*a + 4 + a**3 + 7*a**2. Let p be c(-6). Is p at most r?
True
Let d(w) = w**3 - 3*w**2 + 2*w + 4. Let b be d(3). Suppose k = b - 9. Let a = -18 + 127/7. Is k less than a?
False
Let k = -124 + 622/5. Do -74 and k have the same value?
False
Let r be ((-6)/(-4))/(6/8). Which is greater: r or 11/5?
11/5
Suppose 2*v + 5*u = -0*v - 1, -3*u + 45 = 5*v. Suppose h + v = -h. Which is greater: -5 or h?
-5
Let h(i) = -i - 13. Let y(t) = 9*t. Let q be y(-1). Let a be h(q). Which is smaller: a or 0.1?
a
Suppose 0 = p - 2 - 1. Suppose -2*s - p*u = -12, -2*s - 13 = -2*u - 5. Is -1 at least s?
False
Let j be ((-184)/(-40) - 4)/((-2)/(-50)). Is j not equal to 15?
False
Let l = 8 + -8. Let r be 4/16 + 3/4. Which is greater: r or l?
r
Let d(q) = q**2 + 4*q + 1. Let r be d(-5). Suppose r*c - 2*c = -4. Is -0.1 not equal to c?
True
Let p(z) = -z**3 + 2*z**2 - 2*z + 1. Let a(b) = -b**2 - 3*b - 1. Let l be a(-2). Let t be p(l). Let h = 19/51 - -5/17. Which is smaller: t or h?
t
Let t be 30/9 + (-2)/(-3). Let u be t/12 - (-20)/(-6). Let o be 1 - 2/(-3)*u. Which is greater: o or 1?
1
Let m(u) = u - 2. Let h be m(2). Let s = h - 0. Suppose -p = -s*p. Is p greater than or equal to -1/4?
True
Let h be 7 + (9/(-3) - -2). Suppose -y = -2*i - h, -4*i - 6 = -6*i - 2*y. Which is smaller: 6 or i?
i
Let y = -0.3 + 0.2. Let n = -1.6 - 0.4. Let l = -2.1 - n. Is y greater than or equal to l?
True
Let j = 21 - 41. Let y = 20 + j. Is y bigger than 2/21?
False
Suppose -8*m + 5*m - 12 = 0. Which is bigger: m or -11/3?
-11/3
Let f be 72/(-546) + 2/(-13). Is f at most as big as 0?
True
Let c(j) = 5*j**3 + j**2 - 1. Let r be c(-2). Let d = -58 - r. Let b be 1*(-3)/d*-1. Is 0 at most as big as b?
False
Suppose 0 - 2 = -2*o. Let u = 23.14 + -23. Let c = -2.14 + u. Which is bigger: o or c?
o
Let n be (-1 + 2)*(25/(-5) + 11). Which is smaller: n or 7?
n
Let j = -8 - -6. Let q be 1/(0 - 1 - (8 + -13)). Does q = j?
False
Suppose 2*i - 6*i + 10 = -5*l, -3*l + 4*i - 14 = 0. Suppose -2*x = -3*x. Suppose x = l*o - 0*o. Is o smaller than 2/7?
True
Let z = -16 - -29. Let w = z + -8. Which is greater: 3 or w?
w
Let d(i) = -i**3 + 17*i**2 + 20*i - 37. Let l be d(18). Let m be (-94)/56 - (-2)/8. Let g = m - -19/14. Is l >= g