6). Let n(s) = -2*s**2 - 1 - s**3 - 5*s + 3 + 2*s**3 + 2*s. Let u be n(3). Solve d*r = 3*r + u for r.
-2
Let a be (-1 - -5)*(-9)/(-6). Solve 0 = l - 3*l + a for l.
3
Suppose u + 20 = 5*y, 0 = 4*y - 2*y - 2*u - 16. Solve -3 = -2*c + y for c.
3
Let p = 41 + -39. Solve -1 = -p*q + 7 for q.
4
Let t = -3 - -10. Suppose 2*g + 15 = t*g. Suppose 0 = -2*u, 0*u = -g*v + 5*u + 30. Solve -v = -i - i for i.
5
Suppose 0 = q + 2*q. Suppose q = 2*s + 5 + 9. Let b = 7 + s. Solve b = 2*v - 0*v + 4 for v.
-2
Let k be 6/2 + 6 + -14. Let c be 3*(-3)/(9/k). Solve c*y = -0*y - 25 for y.
-5
Let t(g) = 4*g**3 - 2*g**2. Let c be t(1). Solve -c*h + 6 = -0*h for h.
3
Let c(i) = i**3 - 6*i**2 + 4*i + 6. Let f be c(5). Let p be (-1 + 2)/f - -1. Solve -p*w + 11 = 3 for w.
4
Let o = 34 - 15. Suppose 4*v - o = 13. Solve -4*s + 8*s = v for s.
2
Let j = 10 + -10. Solve j = 3*y + y - 16 for y.
4
Suppose -4*t - 3*y = -39, 6*t - 3*t - 5*y = 22. Solve -2*s - 17 = -t for s.
-4
Let w(c) = -10*c - 7. Let b be w(-1). Solve -14 + 5 = -b*r for r.
3
Let w be 2/((-4)/(-2)) + -8. Let c(g) = -7*g + 1. Let k be c(2). Let j = w - k. Solve -j*a + 10 = -a for a.
2
Let w be 5*6/15 - -2. Suppose 4*z - 48 = -4*v, 3*z = -2*v - 0*v + 32. Let k be (-2)/(-6)*0 + z. Solve -k = -w*f - 4 for f.
1
Let r = -5 - -5. Suppose 4*s - s = r. Let i = 4 + s. Solve -i = k + k for k.
-2
Let i = 3 + 3. Solve -o = -i*o - 5 for o.
-1
Let q be 3/6*1*6. Let w = 8 - 4. Suppose 2 = -2*j + w*j. Solve c + q = -j for c.
-4
Suppose 0*f + 2*f - 30 = 0. Suppose -f = -4*z - 4*h + 17, 4*h = -5*z + 36. Let i(v) = -v + 1. Let w be i(1). Solve 5*r - z*r = w for r.
0
Let g = -16 + 24. Let v(u) = -u + 10. Let r be v(g). Solve -z - r + 1 = 0 for z.
-1
Let v = 17 + -1. Let t = -27 + v. Let x = t - -16. Solve 3*f - 4*f = -x for f.
5
Let z be 4/(-10) + (-48)/(-20). Suppose 0 = z*x + 4 - 12. Solve -x*p + 5 = p for p.
1
Let s(z) = z**3 + 3*z**2 - 4*z + 6. Let j be s(-4). Solve -j*l = -2*l for l.
0
Let z(m) = -m**3 + 5*m**2 - m + 7. Let y be z(5). Solve -t - y = 3 for t.
-5
Suppose 4*i - 3 - 13 = 0. Solve 6 - i = -2*q for q.
-1
Let g be 5 - (-2 - -4) - 4. Let b = 4 + -6. Let l be b + (3 - 1/g). Solve l*c = c - 3 for c.
-3
Let c(h) = -3*h**3 - 2*h**2 - 1 + 3*h**3 - 3*h**2 - h**3 - h. Let r be c(-5). Suppose 6 = -5*u + 56. Solve 0 = r*m - u + 2 for m.
2
Let p(l) = 4*l + 1 + 0 + l - 4*l. Let o be p(1). Suppose 3*d - 9 = 15. Solve -2*m - o*m = d for m.
-2
Suppose 0*v = -3*v - 2*a + 71, 3*v - 2*a - 91 = 0. Suppose -3*u + 0*u + 4*n = v, -10 = -u - 5*n. Let g = u - -8. Solve 0 = q - g + 2 for q.
1
Let o(y) = -2*y - 25. Let f be o(-22). Solve 3*n = -7 + f for n.
4
Suppose -7 = 2*h - 11. Solve -t - h + 7 = 0 for t.
5
Let v = 16 - 24. Let f(z) = z**2 + 9*z + 8. Let o be f(v). Solve o = 3*t - 5 + 2 for t.
1
Let f = 7 - 9. Let m be (-5)/f*(1 + 5). Let d be (-1)/(-3 - (-42)/m). Solve 0*s - d = s for s.
-5
Let y(t) = -1 + 2*t - 6 - 3. Let d be y(6). Solve 4 - d = -2*c for c.
-1
Suppose -9 = 4*c - 0*c - 3*s, 2*c - 9 = -3*s. Suppose c = 3*b + 1 - 19. Solve -w = -b*w - 25 for w.
-5
Let u(o) = -3*o**2 - 7*o - 1. Let k(c) = 4*c**2 + 6*c. Let m = 4 + -7. Let y(i) = m*u(i) - 2*k(i). Let h be y(-9). Solve a + 2 = -h for a.
-5
Suppose 5*v - 1 = -4*i, -2*v + 13 = 4*i - v. Solve 5*k - i*k = 1 for k.
1
Let u be (0/1 - 2) + 12. Let r = 19 + -15. Solve r*m = -m - u for m.
-2
Suppose 4*j + 12 = -0*j. Suppose -5 = -i - 3. Let r be (6 - 21)*i/j. Solve 6*a + r = a for a.
-2
Let f(q) = -q**3 - 4*q**2 + 4*q - 4. Let u be f(-5). Let z be (-3 - -4)/u - 1. Solve z*g = 3*g for g.
0
Let x(r) = -2*r**2 + 12*r - 7. Let t be x(5). Solve -3*n - 15 = -t for n.
-4
Let o(l) = -6*l - 3. Let d be o(-3). Suppose -2*s - d = -5*s. Solve -g + 3 = s for g.
-2
Suppose -3*n + 18 = 2*s, -2*n + 3*s = n - 33. Let p = n - 6. Suppose -2*g = -7*g. Solve g = o + p*o - 6 for o.
2
Let t be -2 - (-19 - (-1)/(-1)). Suppose 4*n + 2*b - t = 0, n - b = -2 + 8. Suppose -3*y + y = -10. Solve -y*h + 5 = -n for h.
2
Let v be 1*(3 + 12/(-3)). Let p(z) = 9*z**2 + 1. Let n be p(v). Solve -w - w - n = 0 for w.
-5
Suppose a + 2 = 4. Let m be 7/a*12/7. Solve m*q - 4 = 2*q for q.
1
Let a(v) = v**2 + 8*v + 9. Let j be a(-7). Solve j - 7 = y for y.
-5
Suppose -5*c = -12 - 3. Suppose c*n = 2*n. Solve n = -d + 2*d - 5 for d.
5
Let a(s) = -s**3 - 9*s**2 - 6*s - 11. Let t be a(-9). Let k = t - 23. Solve -5*r + k = -r for r.
5
Suppose 18*x + 1 - 91 = 0. Solve 2*n = 3*n - x for n.
5
Let j(v) = 2*v - 32. Let p be j(18). Solve k + 20 = -p*k for k.
-4
Let y(a) = 2*a + 1. Let b be y(1). Let k = 0 - b. Let d be 1 + k - (-2 + 0). Solve d = -2*h + 3*h for h.
0
Suppose 2*c - 4*v + 14 = 4*c, -v = 5*c - 17. Solve 3*r + c*r = -18 for r.
-3
Suppose 0 = z - y - 1 + 2, -2*z + 4*y = -4. Let n be 3*z/6*1. Let l be (n - 0)/((-4)/6). Solve 6*p - 9 = l*p for p.
3
Suppose -f - 113 = -s - 3*s, -5 = 5*f. Suppose -3*m + s = 7. Solve -m + 1 = 3*y for y.
-2
Suppose -4*c = -12, 5*r - 6 = 4*r - c. Solve -4*s + 3*s + r = 0 for s.
3
Let c = 14 - 10. Suppose -c*i + 36 = -i. Solve -4*o + 0*o = i for o.
-3
Let z(w) = -w**3 - 2*w**2 - w - 2. Let i(a) = -a**3 + 5*a**2 - 2. Let x be i(5). Let n be z(x). Solve -2*f = -n*f for f.
0
Let c(j) = 6*j**2 + 2. Let r be c(3). Let u be 4/(-12) - r/(-6). Solve -2*v - u = v for v.
-3
Suppose 3*d - 6 = 6. Suppose 2*m - 7 = -2*h + h, 0 = -d*h - 3*m + 23. Let g(r) = r**2 - 5*r + 5. Let f be g(4). Solve -9 - f = h*c for c.
-2
Let u be 1/((-4)/(-4)) - 1. Solve u*y - 16 = 4*y for y.
-4
Suppose 0 = -2*x - x + 9. Solve -k = -1 - x for k.
4
Suppose 2*k = 6*k + 48. Let r be (-9)/3*80/k. Solve r = -3*o - 2*o for o.
-4
Suppose 0*b - 336 = -4*b. Suppose -5*n + 5*i - 3*i + 72 = 0, 0 = 4*n + 5*i - b. Solve -j - 3*j = -n for j.
4
Let f(l) = -l**3 + l**2 - l + 3. Let j be f(0). Let i be -3 - 10*j/(-6). Let s(u) = 2*u**3 - 4*u**2 + 2*u. Let o be s(i). Solve -4*y + 3*y = -o for y.
4
Let j be (20/(-8))/((-2)/(-4)). Let s(m) = -m**3 - 4*m**2 + 6*m + 4. Let t be s(j). Let y be t/((-2)/(-3) - 1). Solve -2*n = -y*n for n.
0
Let m(v) = -8*v**2 + v + 4*v**2 - v**3 - 3*v**2 + 7. Let k be m(-7). Suppose 0*t + 6 = 3*t. Solve 5*n - t*n = k for n.
0
Let n be (2 + -4 + 2)/(-1). Suppose 0 = -n*k + 2*k. Solve k = -r - r + 4 for r.
2
Suppose 4 + 5 = 3*v. Solve -v*z - 4 = -z for z.
-2
Suppose v - 4 = -v. Suppose 5*b - 18 = v. Suppose -2*m - 3*j = 5 + 3, -4*j - 24 = -b*m. Solve -m*r = -4*r for r.
0
Let h be 40 + (-3)/(-9)*1*3. Solve 0 = 5*t + 16 - h for t.
5
Let f = -6 + 11. Let u(d) = -d**2 + 6*d - 1. Let n be u(f). Solve -n*x = -4 - 8 for x.
3
Let d(w) = -2*w**2 + 11*w + 4. Let h be d(5). Solve -3*j + 0 = -h for j.
3
Let p = 3 + 0. Let g(u) = 3*u**3 + 2*u**2 - 1. Let t be g(1). Suppose -t*o + p = -5. Solve -3*v - o*v - 5 = 0 for v.
-1
Let i be 28/12 - 1/3. Suppose -2 = -4*a + r, -i*a = 3*a - 4*r - 8. Solve a = y + 4 for y.
-4
Let y(v) = v - 2. Let z be y(9). Suppose -f - z = 3*a, 1 + 2 = -a. Solve -t - 6 = f*t for t.
-2
Let p(r) = 2 + 4*r**3 + r**2 + 3*r - r - 3*r**3. Let g be p(-3). Let b = 34 + g. Solve 0*a = 4*a - b for a.
3
Let b(k) = 7*k**3 + k. Let d be b(1). Suppose 2*c + 2 = d. Solve 0 = m + c*m - 12 for m.
3
Let m(i) be the first derivative of -i**4/4 - 5*i**3/3 + 5*i**2/2 - 2*i + 1. Let o be m(-6). Solve 1 = -3*p + o*p for p.
1
Let u = 0 + -2. Let a = 8 - u. Suppose -5*g + a = -5. Solve 5*h + 2 + g = 0 for h.
-1
Let c be (-4)/(-10) - (-2)/(-5). Let z = 4 - 1. Solve 0*t - z*t - 6 = c for t.
-2
Let s be 3*(-2 + 0)/(-2). Suppose 0 = 3*r - 6, -s*r - 18 = -5*z - 7*r. Suppose -3*k - 8 = -5*b, 4*k = -z*b - k + 28. Solve -b*o + o = 12 for o.
-4
Let i(m) = -3*m. Let c be i(1). Let v = -4 - c. Let x = v - -1. Solve 4*s + 6 + 6 = x for s.
-3
Let z(p) be the third derivative of -1/24*p**4 + 0 + 1/3*p**3 - p**2 + 0*p. Let n be z(0). Solve 0 = -3*d + n*d - 2 for d.
-2
Let w(z) = 13*z**2 + 3*z**2 - 3*z - z**2 + 2*z. Let x be w(-1). Let g(p) = -p**3 + 3*p**2 + 2*p - 2. Let a be g(3). Solve a*o - x = 8*o for o.
-4
Let d(i) = -3*i - 3. Let b be d(-1). Let a = 0 - -1. Let t be -2 - a/(1/(-14)). Solve b = o + 3*o - t for o.
3
Suppose 2*i + 6 = 4*r, -i = -2*r + 3*r - 3. Suppose 27 = 4*f - z, 2 = r*z - 0. Let m be 3 + -2 + (0 - -3). Solve m*d - 5 = f for d.
3
Suppose -4*g - 5*h + 10 = -2*h, -3*g - 2*h = -8. Solve 2*l - g = 6 for l.
5
Let x = 2 - 2. Let r be ((-4)/(-1