w = 6 + -5. Let p be 0 + (-29)/(-5)*-1. Let a = -27/5 - p. Which is greater: a or w?
w
Let l = -41 + 7. Which is smaller: l or 0.1?
l
Let t = 5 + -4. Let w be 2 - (-1*4 + t). Suppose -l = -w*l. Does -1 = l?
False
Let y be 2/11 + 20/11. Suppose -3*k = y*k. Which is smaller: -2/3 or k?
-2/3
Let y = 0.01 + 0.01. Let w = 2.98 + y. Which is bigger: w or -2/7?
w
Let q be (-6)/10 + (-872)/(-520). Do 2 and q have the same value?
False
Suppose -5*k = -3*k + 2. Are -4/5 and k equal?
False
Let t(a) = 5*a + 9. Let h be t(-2). Is -39 at least h?
False
Let p = -186760 - -510041586/2731. Let w = 293361/120164 - p. Let v = -24/11 + w. Is v < 1?
True
Let y be (-1 + 0)/(10/10). Is -2/5 < y?
False
Let m(n) = n**2 - 7*n - 3. Let v be m(8). Suppose 12 = -v*q + 2. Let x = -1.2 + 0.2. Which is smaller: q or x?
q
Suppose -84 = -6*w + 30. Which is smaller: 18 or w?
18
Let c(q) = -q**3 + 11*q**2 - 10*q + 10. Let a be c(10). Let k(d) = -d + 11. Let b be k(a). Let o = -388/45 - -42/5. Which is smaller: b or o?
o
Let z = 9 + -17. Is -10 less than z?
True
Suppose 5*y - 5*t + 10 = 0, -3*y + 6*t = 2*t + 7. Let w = -36 + 35. Are w and y equal?
True
Let y = 0.994 - -0.006. Let x = 3 - 4. Let t be x + ((-2)/(-11) - -1). Which is greater: y or t?
y
Suppose 2*k + 2*m + 3*m = -25, -3*m - 15 = 0. Is k <= 1/48?
True
Let r(v) = -v**2 + 6*v. Let d be r(6). Are 1/3 and d nonequal?
True
Suppose -4*t - 30 = -5*a, 3*a - 18 = -4*t + 2*t. Let u = 4 - a. Is u < -2?
False
Let f = 26 - -49. Let p = f - 71.9. Let g = 3 - p. Is g at least -2?
True
Suppose -k - 1 = 0, 5*k = y + y - 7. Is y less than or equal to 1/10?
False
Let k(b) be the first derivative of b**3/3 - 3*b**2/2 - 4*b - 1. Let c be k(4). Let q be 6/4*(-80)/(-30). Which is smaller: q or c?
c
Suppose 0 = -2*a - 5*l - 28, a - 3*a - 2*l = 16. Let h(z) = z**3 - 4*z**2 - 7*z + 6. Let j be h(5). Is a smaller than j?
False
Let v(a) = -2*a - 8. Let p be v(-7). Let s = p - 4. Let f(w) = -w**3 - 6*w**2 + 1. Let z be f(-6). Is z greater than s?
False
Suppose -10 = -2*j + w, 3*j + 2 = 2*w + 18. Let l(m) = 5*m + 3. Let y(s) = 3*s + 1. Let u(h) = j*l(h) - 7*y(h). Let p be u(7). Which is smaller: p or -4/7?
p
Suppose w - 2*g - g + 15 = 0, -10 = 2*w + 4*g. Which is smaller: w or -4?
w
Suppose -10*d = -14*d + 52. Which is smaller: d or 16?
d
Let y(a) be the second derivative of -a**3/6 + 4*a**2 - a. Let f be y(6). Let h = 8 - 4. Are h and f non-equal?
True
Let c = 29 - 17. Let z be (-6)/10*1588/c. Let a = -79 - z. Which is bigger: a or 0?
a
Let g(w) = -w**2 - 8*w - 4. Let a be g(-6). Suppose -20 = 4*o + 3*t, -2*o - a = 2*t - t. Let f be (-1 - o)*1 - 2. Is f <= 1/6?
True
Let z(x) = -x**2 - x + 16. Let q be z(0). Suppose v = -2*a, -3*v + q = a - 3*a. Suppose 4 = v*h - 0*h. Is h > 2?
False
Suppose -5*x - 5*u + 15 = 0, 1 = x - 3*u - 2. Let d = x + -1. Let s = 22/5 + -83/20. Which is bigger: d or s?
d
Suppose -3*m + 8 + 7 = 0. Which is greater: 4 or m?
m
Let n = 107 - 98. Which is smaller: n or 47/6?
47/6
Suppose -3*t + 8*t - 15 = 0. Suppose 5*r - 9 = 2*k + 2*k, -4*r + 8 = -t*k. Suppose 0*d - 4*o = -4*d - k, 5*d - 3 = -3*o. Which is bigger: d or -1?
d
Let f be -2 + 6/(-3) - -2. Let v be 0 + 3/(-4) + -1. Is f > v?
False
Let j = 21/16 + -73/80. Which is smaller: j or -1?
-1
Suppose 45*k + 40 = 50*k. Suppose -2*i + 7 = -v - 5, -4*v = i - 24. Do k and i have the same value?
True
Let l = 9 + -14. Let u = l + 9. Is u less than 0?
False
Let h be 10/(-21) - (-1)/3. Let s(i) = -i - 7. Let n be s(-8). Let w(z) = -z**3 + 1. Let a be w(n). Which is bigger: h or a?
a
Let j = -818/13 + 62. Are 0 and j unequal?
True
Let h(p) = -5 + 5*p**2 + p**3 - 4*p + 0*p**2 - 3*p. Let w be h(-6). Does 1/9 = w?
False
Let v = -5836825/78 - -74825. Let y = -37/6 - v. Which is bigger: y or -1?
y
Let h = -12.1 - -2.1. Let i = -10.1 - h. Which is smaller: 14 or i?
i
Let s = 0.08 - 7.08. Is s equal to 2?
False
Let a be (-20)/(-12) - 2/(-6). Let k = 8 + -6. Suppose 4*g + 20 = a*u - k, 23 = -2*u - 5*g. Which is bigger: 0.1 or u?
u
Suppose b - 3*b - 4 = 2*a, -a + 10 = 5*b. Which is bigger: a or -1?
-1
Suppose -3*p + 4*s = -7, -4*p + s = -4 - 1. Are p and 3/14 unequal?
True
Let z = -0.01 + -2.99. Suppose 4 = n + 6. Is n greater than z?
True
Let u(s) = s**3 - 6*s**2 - 6*s - 7. Let j be u(7). Suppose -t = -4*a, a - 5*t = -4*a - 15. Which is greater: a or j?
a
Suppose 2*l = -2*l + 3*c - 5, 5*c = 4*l - 5. Let z = -3 - l. Let a(b) = b + 7. Let y be a(-6). Which is smaller: y or z?
y
Let t = -1 - 1. Let a be 324/5 + -2 + 1. Let d = 63 - a. Is t != d?
True
Suppose 3*o + 45 = 10*z - 13*z, 4*o = -3*z - 49. Are -11 and z unequal?
False
Let c = -5 - -2. Let h = c - -2. Let x = 493/5 - 99. Is x <= h?
False
Let n(a) = -2*a**2 - 14*a - 1. Let d be n(10). Let l = d + 5799/17. Which is bigger: -1 or l?
l
Let x be (-2 + 5/2)*0. Let m = x + 6. Let d be 3/m - 3/4. Which is bigger: d or 2?
2
Let p be (-168)/(-44) - (-2)/11. Is 4 smaller than p?
False
Suppose -5*m = 4*f, 7*m - 4*m + 2*f = 0. Is 5 < m?
False
Suppose 33 = -3*f + 33. Which is smaller: f or -2/21?
-2/21
Let o be (-1)/(3/18*-2). Suppose 4*j = -o*l + 20, -3*l = j + 2 - 16. Suppose 5 = 5*p, -5*y = -l*y - 2*p + 1. Which is greater: 3/10 or y?
y
Let a be -1*(-7 + 3 - -4). Which is smaller: a or 2/25?
a
Let d = -1 - 16. Is -17 less than d?
False
Let o be (-4)/10 + (3 - 1792/120). Which is smaller: o or -11?
o
Let g(z) = -11*z + 102. Let m be g(9). Suppose 75 = -4*l + x, 3*x + 5 = 2. Let f be (-3)/(l/(-2) - -1). Are m and f non-equal?
True
Let u(y) = y**3 - 5*y**2 + 5*y - 4. Let z be u(4). Let n be (-86)/42 - -1 - 0. Let c = n - -4/3. Is c less than z?
False
Let r be 1 + (-3)/(6 - 3). Suppose r = 2*o + 3*o + 30. Is -7 at most as big as o?
True
Let j = 1297/24 + -54. Suppose -12*y + 9*y = 3. Which is bigger: j or y?
j
Let x be 2/(-9) - 116/(-36). Suppose -2*a = -x*n - 17, -n + 6 = -4*a + 15. Let y be 3/(2 - a/2). Is 4 at least as big as y?
True
Let l = 10 + -11. Let r = 10576/43 + -246. Let j = -92/129 - r. Is j not equal to l?
True
Let u(r) = -8*r - 1. Let i be u(-1). Let o(y) = -y + 15. Let m be o(i). Which is smaller: m or 7?
7
Suppose -9 = 2*q + 9. Let l = q - -9. Are l and -1 nonequal?
True
Let o = -587/130 + 1/65. Which is smaller: -5 or o?
-5
Let v be 2/(-7) - (-2)/56. Let f be (17/5)/((-7)/392). Let b = -191 - f. Is v not equal to b?
True
Let k = -19/11 + 307/165. Which is bigger: 0.1 or k?
k
Suppose 3*f = -3*n + 15, 2*n - 10 = 2*f + f. Suppose 4*z - 2*z + h = -45, -h = 4*z + 93. Let b be (2/40)/(9/z). Is b greater than or equal to f?
False
Let j be (1 - 0 - 2)*3. Let v be (-1)/j*0 + 1. Let d = 89 - 977/11. Are d and v equal?
False
Let o be ((-375)/5)/(8/10). Let d = -93 - o. Suppose -5*g = -2*g - 3. Which is bigger: d or g?
g
Suppose -y + 2*y + 3*b + 8 = 0, 2*b + 2 = y. Suppose -2*m + 15 = 3*m - 2*k, -9 = -4*m + k. Is m greater than y?
True
Suppose 12 = -g - 5*i, 3*g - i + 6 = 2. Suppose 3*s = -1 + 4. Do s and g have different values?
True
Let s = 91 + -76. Which is bigger: s or 14?
s
Suppose 6 = -x + 3. Let k be (x/21)/(2/(-4)). Is 1 >= k?
True
Let h = 0.06 - -9.94. Let u = 7.7 - h. Let r = 0.3 + u. Is 1/4 greater than or equal to r?
True
Suppose 0 = m + 5*m - 18. Suppose m*y + 5 = -2*y. Let k = 2.5 + -2. Which is smaller: y or k?
y
Let x = -13 + 15. Is x at least -2/7?
True
Let a = 42 + -85/2. Is -2 less than a?
True
Let g(d) = -d + 4. Let i be g(7). Is 1 at most as big as i?
False
Let a be 2/(-3) + (-141)/(-9). Let s = -31 + a. Which is smaller: -17 or s?
-17
Suppose -4*r - 3*k = -0*k, -5*r = -2*k - 23. Suppose -r = -l - 2*l. Which is smaller: l or 2?
l
Let m = -0.23 - -2.23. Which is smaller: 0 or m?
0
Suppose 0*r = 12*r. Is r equal to 0?
True
Let q = -1 + -1. Let v be (-1 + 2)*q/4. Let j = 20 - 21. Does v = j?
False
Suppose -4*z = 8, -5*z - 8 - 8 = -2*x. Which is bigger: 27/7 or x?
27/7
Suppose 4*q - 5*y = -2, 3*y - 16 = -3*q - 2*y. Suppose -q*i - 8 = 2*i. Let u(l) = 2*l + 2. Let w be u(-2). Is w bigger than i?
False
Let a be 6/(48/(-10))*-4. Suppose -3 = 2*k - 7*k + 3*t, a = -5*t. Let g(c) = c - 3. Let n be g(4). Is k at most n?
True
Let h = -2 + 4. Is h at most 0.03?
False
Let t = 4 + -4.2. Let q = -4.98 - 0.02. Let l = q - -5.2. Is l > t?
True
Let i = 0 + -1. Let r = 4 - i. Suppose 4*z + 4*l = 0, -r*l = z - 3*z - 7. Is -1 bigger than z?
F