*2*6. Suppose 0 = -u - 2*u + a. Let g be ((-2)/(-3))/(u/9). Are g and 3 nonequal?
True
Let g = -141 + 141. Which is smaller: g or -0.02?
-0.02
Let n be 24/18 - (-8)/(-6). Is -2/81 at most n?
True
Suppose -4*l = -6*l + 6. Is 4 greater than l?
True
Suppose 79 = 4*o + z, o - 15 = -5*z - 0*z. Suppose -2*n = 3*f - o, 4*n = -n + 20. Is f bigger than 8/3?
True
Let a(p) = p**2 - 6*p + 2. Suppose c = -2*c + 2*n + 11, -c - 3*n = -11. Let l be a(c). Which is greater: l or -2?
-2
Suppose 5 = -5*o, 3*o = -0*x + 5*x - 28. Suppose 0 = -6*n + x*n - 4. Is -4 at least n?
True
Let v = -190 - -2852/15. Which is smaller: -1 or v?
-1
Let w = -23.1 + 12.3. Let h = w + 10. Is h at most 2/3?
True
Let c(w) = -w**3 + 4*w**2 - w + 1. Let z be c(3). Let f = z - 12. Is -5 less than f?
False
Suppose q = -4*q. Suppose i + 2*i - 315 = 0. Let s = i + -423/4. Is s at most as big as q?
True
Let p = 4 + -5. Let q(z) = -z**2 + 1. Let c be q(p). Let b be -2 - (c - 0) - -2. Which is bigger: -2/9 or b?
b
Let o be 4/6 + (-1)/3. Suppose -2 = -h + f, 3*h - 4*f + 2 = 7. Suppose 6 - 18 = 3*v - h*q, -4*v - 2*q = -2. Is o at most v?
False
Suppose 4*r = -0*r + x - 3, -6 = -2*r + 2*x. Let p = 933 - 933. Are r and p non-equal?
True
Let q = 11 - 6. Suppose 0 = -2*k - q*m - 23, 0*m - 2*m - 6 = 4*k. Let l = 27 + -51/2. Which is greater: k or l?
l
Suppose -5*u - 5 - 5 = 0. Let f = 49 + -56. Which is smaller: u or f?
f
Let h = 7 + 11. Let d = h + -18. Is 1/5 != d?
True
Let y be -2 + (-6)/4 + 15/6. Is 16 smaller than y?
False
Let k = -0.07 + 0.69. Let t = -0.6 + k. Let i be 0 - ((-4)/(-2) + -1). Which is smaller: i or t?
i
Let i be 3/(-3) + -5 + 0. Let s be i/1 + -4 + 5. Is s > -4?
False
Let x be -6 - (1*-6)/3. Let t = x + 2. Let o = -0.1 + 0.1. Is o at most t?
False
Let l = -1/147 - 431/1470. Suppose 8 = 3*r + 38. Let p be (-8)/(-10) + (-2)/r. Which is greater: l or p?
p
Let n = 10 + -8. Suppose -3*f + 6 = -4*f + 5*p, 0 = 4*f + n*p + 2. Is -3/5 smaller than f?
False
Let j be -2 + (1/2 - -2). Is 0.01 equal to j?
False
Let g = -1.8 + 2. Let a be (4/48)/((6/4)/(-3)). Which is smaller: g or a?
a
Suppose 3*n = 7*n - 5*k + 24, 3*k + 18 = -3*n. Let b = n - -4. Is -3/5 not equal to b?
True
Let t = -6 - -9. Let p = -3.6 + t. Let w = p + 1.6. Are w and 1 equal?
True
Suppose 0 = 2*u + 5*q + 25 + 22, -5*u - 108 = 3*q. Let c be (-7)/u*6/(-4). Is c at most -3?
False
Let p = 292 + -1454/5. Suppose w = -g - 4, 3*g = g - w - 4. Is g smaller than p?
True
Suppose -7*v - 10 = -2*v. Let k = -15 - v. Is -12 != k?
True
Suppose -2*b - 9 = -5*b. Suppose -m + 2 = 2*t - b*m, 0 = -5*m - 10. Let n be (-1 - -3)*3/(-15). Which is greater: t or n?
n
Suppose 4*o + 6*o = 0. Which is bigger: o or 1/107?
1/107
Let a = 108 + -102. Is 15 less than or equal to a?
False
Let x be (-4)/20 + 48/(-10). Are -6 and x unequal?
True
Let z be 4/(-14) + 558/42. Let a = z - 22. Which is smaller: a or -10?
-10
Let v = 2 - 3. Let g be 4/10*(-45)/(-378). Is g equal to v?
False
Suppose 3*r = -5*y + y + 5, -4*r + 12 = 0. Let i be y/2*(0 + 0). Which is greater: i or -3/7?
i
Let r(n) = 2*n**3 - 6*n**2 - 3*n + 2. Let f be r(3). Is f <= -8?
False
Let i be -3*5*51/(-5). Let k = 768/5 - i. Which is greater: 2 or k?
2
Suppose -c = -2 + 1. Let w = -3 - -4. Does w = c?
True
Let m be (-15)/(-6)*1*-2. Let k = -58 - -59. Which is bigger: k or m?
k
Let z = 3821/1687 + 5/241. Is 2 >= z?
False
Let q(l) = -29*l. Let g be q(-1). Suppose -2*y = -4*z - 7*y - g, -5*y - 21 = -4*z. Let a be (-2)/(-4) - (-7)/(-10). Is a at most as big as z?
False
Let b(c) = c + 14. Let y be b(-7). Is y <= -4?
False
Let d be ((-14)/6 - -2)/((-399)/42). Which is bigger: d or 0?
d
Let l(v) = v**2 + 5*v - 3. Let r(a) = a**2 - 4*a + 2. Let k(w) = 2*w**2 - 7*w + 3. Let d(j) = 3*k(j) - 7*r(j). Let q be d(7). Let y be l(q). Is -2 at least y?
True
Let d(z) = 2*z + 4. Let k be d(-5). Let u(i) = -i**3 - 7*i**2 - 7*i - 3. Let f be u(k). Is -2/3 greater than f?
False
Let v = -0.92 + 1.02. Is v less than or equal to 18?
True
Let i = 9.47 + -1.47. Is i less than or equal to -0.4?
False
Let n = -0.94 - 52.06. Which is smaller: 1/3 or n?
n
Suppose -u - 2*q + 5 = -6, -4*u + 2*q - 6 = 0. Let l be 3/(3/(-1)) + u. Is l <= -3?
False
Let p(y) = -5*y + 1. Let x be p(2). Is x != -9?
False
Let r = 29 - 29. Let c = 8 - 6. Let j = -1.8 + c. Which is smaller: r or j?
r
Let w be (10/(-45))/((-4)/78). Is w less than or equal to 3?
False
Let u = 3 - -1. Let f be 2/u + 5/(-14). Do 0 and f have different values?
True
Suppose -792 = n - 5*n. Let i be (-300)/n - 2/(-11). Which is greater: i or -2?
i
Suppose u + 6 = 2*y, 8*u + 4*y = 3*u + 40. Suppose 0 = -p + u*p - 102. Let i be p/(-8) - (-1)/4. Is i smaller than -3?
True
Let j be -27 - -1*(-3)/3. Let l be 8/j - (-16)/(-14). Are l and -1 nonequal?
True
Suppose 3*j + 15 = 2*j - 3*m, m + 19 = -5*j. Let c be (j/15)/(12/(-5)). Is c <= -1?
False
Let n = 142 - 992/7. Suppose 3*m = -m. Suppose -4*z + 8 = 4*a, 3*z - 4 = -5*a - m*z. Which is bigger: a or n?
n
Let y = 8 + -1. Are -1 and y nonequal?
True
Let n be 5/50*26 - 3. Does n = 20?
False
Let y = 4.1 - 0.1. Let o = y + -4. Which is smaller: -1 or o?
-1
Let w be (-142)/(-78) - (-6)/(-39). Suppose -4*o = -3*h + 13, 0 = 4*h - 0*o - 5*o - 17. Is h at most w?
False
Let z = -26 - -26. Let f(m) = m**2 - 4*m - 4. Let h be f(5). Are h and z unequal?
True
Let q be (23/(-1))/(-6 - -7). Is -22 smaller than q?
False
Suppose 0 = t - 5*t. Which is greater: -2/17 or t?
t
Let o(w) = w**3 - 5*w**2 + 4*w - 2. Let n be o(4). Let j = -8490092/115985 - 2/23197. Let x = j + 73. Which is bigger: x or n?
x
Let i be (-114)/10 + (-4)/(-10). Is i < -12?
False
Let b = -43 - -44. Which is bigger: b or -0.05?
b
Let s = 22 + -16. Let x be -4 + s/(1 - -1). Let f = 65/42 - 11/6. Which is smaller: x or f?
x
Let m(h) = 2*h. Let j be m(2). Suppose -3*s + 1 = -j*u - 3, 0 = -u + s. Let x be 3/(-8)*u/6. Is -2 less than x?
True
Let o = -0.8 + 0.1. Let m = o - -0.6. Is m > -3/7?
True
Suppose -l + 6*l = 15. Let k be 1620/390 + (4/(-26) - 0). Which is smaller: k or l?
l
Let j(x) = -15*x + 1. Let o be j(-1). Suppose -2*v = -5*d + o, -5*v + d + 0*d = -6. Let w be (-2)/4 - 5/v. Is -3 at least as big as w?
True
Let d = 4 + 1. Suppose 4*h + d*g + 7 = 0, -3*h + 2*g - 7*g = 4. Let b = -2 - h. Do b and 1 have different values?
False
Suppose -9 = 4*h - 1. Suppose -g = -0 + 2. Is h not equal to g?
False
Let a = -131 + 652/5. Which is bigger: -2 or a?
a
Let f = -3 - -6. Let n be f/2*2/(-3). Which is greater: n or -2?
n
Let n = 0.15 + 0.01. Let y = n - 0.06. Are y and -0.5 non-equal?
True
Let r be 23/(-7) + 4/14. Let c(f) = f**3 + 6*f**2 - 7*f + 2. Let x be c(-7). Suppose 0*z - 2*w - 16 = x*z, 5*z = 2*w - 12. Is r equal to z?
False
Let c = 7.3 + -7. Let s = 0.2 - c. Is s at most -2/7?
False
Let u = -261 + 177. Let v be 1 - 4 - 288/u. Is v > 1?
False
Let m(a) be the third derivative of -a**6/120 - 2*a**5/15 - a**4/3 - 4*a**3/3 - a**2. Suppose 7*v + 35 = 2*v. Let b be m(v). Is b >= 0.2?
False
Suppose -3*n - 10 = -n. Do n and -1 have the same value?
False
Suppose 2*f = -3*r + 10, -1 = r - 3*f + 3. Let c = -6 + r. Is -3 greater than or equal to c?
True
Let j = -4.13 - -0.13. Let x = j - -4.06. Which is smaller: x or 0?
0
Let p = 111 - 110. Is p >= -12?
True
Let u = -3871/5 + 771. Which is greater: -4 or u?
u
Suppose 0 = -5*s - 65 - 20. Let q = 67/4 + s. Is q > 6?
False
Let w = 9/88 + 281/264. Let r = -3 - -3. Is w at most r?
False
Suppose -18 = -7*x + 9*x + 5*f, 0 = -4*f. Let l be 3/(x/((-6)/2)). Let n be ((-3)/(-6))/(2/(-4)). Which is smaller: n or l?
n
Let n be 0/(4 + -6 + 1). Suppose 0 = 2*g - 2*p + 2, g + 5*p + 1 + 18 = n. Is 2 at least g?
True
Suppose -12 = -2*o - 2*o. Let v(r) = -6 + 4*r - 1 - o*r. Let x be v(7). Which is greater: -3/8 or x?
x
Let u(j) = j**2 - 3*j - 1. Let w be u(3). Are w and -3 unequal?
True
Let h be 2 + 4/4*2. Which is greater: 5 or h?
5
Suppose 0 = 37*z - 35*z - 48. Is 26 greater than z?
True
Suppose -2*c - 270 = -44. Which is bigger: -112 or c?
-112
Let d = -45 + 30. Is d less than or equal to -0.1?
True
Let t(k) = -k**3 - 11*k**2 + 9*k - 16. Let r be t(-12). Which is smaller: 41/2 or r?
r
Let a = -297/875 - -108701/750750. Let o = 1/78 + a. Is 0 equal to o?
False
Let s be 2/10 - (-120)/25. Let x(u) = -u**3 + 4*u**2 - 4*u + 3. Let y be x(3). Suppose 3*i + 5 =