2 + 6*z + 7. Let n be s(7). Solve n = -0*l + 5*l + 5 for l.
-1
Suppose -3*x = -4*x. Solve -5 = -x*c + c for c.
-5
Suppose z + z = 0. Suppose 0 = -4*u + 11 + 9. Suppose u*s = 4 + 6. Solve 8 = s*q - z*q for q.
4
Let a(j) be the third derivative of 1/3*j**3 + 5/24*j**4 + 1/60*j**5 + 0 - j**2 + 0*j. Let s be a(-5). Solve -4*m = -s*m - 2 for m.
1
Suppose 0 = m - 2. Suppose -20 = 2*x + 3*x, 22 = -w - 5*x. Let b = w + m. Solve 5*q + b*q = 20 for q.
4
Let a(c) = -c**2 + 5*c. Let o be a(4). Suppose -m = -0*m + o*w, -90 = 5*m + 2*w. Let f be 8/m + 44/10. Solve b = f*b - 12 for b.
4
Let s(t) = -t + 11. Let o be s(5). Solve o = -6*m + 3*m for m.
-2
Suppose 0 = -5*q - 19 - 6. Let c(u) = -3*u. Let i be c(q). Let v = i - 7. Solve v = -4*p - 0 for p.
-2
Suppose 24 = -2*y + 5*y. Suppose -4*f - 2 = -2*x, x + 0 + 2 = 5*f. Let i = 2 + f. Solve -i*c - y = -2 for c.
-2
Let o(r) = -r**3 - r + 2. Let z be o(0). Solve -q = -1 + z for q.
-1
Suppose -z + s + 5 = -0*z, 3*s + 15 = 4*z. Solve -v = -z - 2 for v.
2
Let i = -7 - -4. Let v(c) = 2*c**2 + 3*c + 3. Let o be v(i). Let f = 11 - 8. Solve 6*t - o = f*t for t.
4
Let y(s) = s**2 + s - 1. Let o(z) = 3*z**2 - 9*z - 12. Let m(n) = o(n) - 2*y(n). Let p be m(12). Solve r = -0 - p for r.
-2
Suppose 0 = -0*r - 4*r + 12. Suppose 0 = -r*a - a. Solve a = -3*g - g - 20 for g.
-5
Let z be 1/((0 - -4) + (-3)/1). Solve -3*u = -5 - z for u.
2
Let o(b) = -9 + 1 - b + 2. Let u be o(-6). Solve -3*c + 8*c = u for c.
0
Let m be (4 + 2)/((-3)/((-3)/2)). Solve -m*a - a = -8 for a.
2
Let v(i) = 14*i**2 - 4. Let p be v(3). Suppose -p = -5*z - 32. Solve -4*a = -z - 2 for a.
5
Suppose 2*v = q - 1, 5*v + 5*q = -0*v + 5. Let f = -8 - -14. Solve -f = -2*w - v for w.
3
Suppose 0 = -4*c - m + 5, -3*m - 10 = -5*c - 5*m. Let u = 0 + 5. Solve u*t + c*t = 5 for t.
1
Let x(d) = -d**2 - 6*d + 29. Let y be x(-9). Solve y*v = -v - 3 for v.
-1
Let b = 6 - 4. Suppose -3*c + w + 26 = c, 0 = -b*c - 5*w + 2. Suppose x + x = c. Solve -11 + 2 = -x*m for m.
3
Let h = -10 - -8. Let a(d) = -d**3 + d + 1. Let x be a(h). Let q(z) = z**2 - 8*z + 9. Let w be q(x). Solve w*t - 2 = -0 for t.
1
Let i(k) = -k. Let z(u) = u**2 + 7*u + 1. Let x be z(-6). Let h be i(x). Let p = 2 - -1. Solve -h*v + p - 18 = 0 for v.
-3
Suppose -5*a - 11 = -3*o, 0*o - o + 3*a = -5. Solve -o = 5*s - 17 for s.
3
Let c(z) = -z**2 - 7*z - 3. Let l be c(-6). Solve -l*g = 1 - 4 for g.
1
Suppose l - 2 = 2*l. Let j be (-5)/((-5)/l) + 5. Solve -j = 3*p + 3 for p.
-2
Suppose -2*k + 3*l = -12, 2*k - 3*l + 2*l = 16. Solve 5*w - k = 1 for w.
2
Suppose -4*b + 5*s + 16 = 0, 2*b - b + 2*s - 4 = 0. Solve -b*l + 3 = -3*l for l.
3
Suppose -4*x + x = 3*s + 33, 9 = -3*s + 5*x. Let h = s + 11. Solve -6 = h*c + 9 for c.
-5
Let k = 114 - 112. Solve -2*u = k*u + 4 for u.
-1
Let y be (1/(-2))/(-1)*2. Suppose -4*c - 5*w = y, 3*w = -w + 12. Let d = c + 5. Solve d - 4 = 3*s for s.
-1
Suppose 0 = -b + 2*d, -4*b + d - 6*d + 26 = 0. Let u be (-9)/(-12) + (-3)/b. Solve -i - 1 = -u*i for i.
-1
Suppose -w + 1 = -5. Suppose -2*k + 3*m = -w, 0 = -3*k - 3*m - m + 9. Solve -2*j - k = 1 for j.
-2
Let f(r) = -r**2 + r. Let s(t) = 3*t - 3. Let l(h) = f(h) + s(h). Let n be l(5). Let y = -4 - n. Solve -o = -y*o - 12 for o.
-4
Suppose -3*h = -2*s + 14 + 34, 0 = -h. Suppose 0 = -5*a - 3*o + 8 - 56, 4*o = 5*a + 41. Let p = s + a. Solve -4*m + m = -p for m.
5
Suppose -7*l + 4*l - 10 = 2*m, 5*l + 5*m = -25. Solve j = -l + 2 for j.
2
Suppose -y = y + w - 10, 3*y = -5*w + 1. Suppose y = 2*z + 3. Solve -t + z - 1 = 0 for t.
1
Let i be (-4)/(-30) + 176/30. Solve 4*c - 14 = i for c.
5
Let g(l) = l**2 - 2*l + 1. Suppose -4*y - 5*d - 9 = 0, -17 = -2*y + 4*y + 5*d. Let n be g(y). Let o(k) = k - 6. Let r be o(n). Solve -8 = 5*t - r*t for t.
-4
Suppose -5*i + 2*i + 2*q + 22 = 0, -41 = -5*i - q. Solve 0*u - 4*u - i = 0 for u.
-2
Suppose s + 5*f - 13 = 4*s, 2*s - 23 = -3*f. Solve -s*g + 0*g = -4 for g.
1
Let y be (-18)/4*12/(-9). Let r be (1/(-3) + 1)*y. Solve r*j = j - 12 for j.
-4
Let o(k) = 0*k**3 + 4*k**3 - k**2 + 9*k**3. Suppose 11 = -5*n + 4*s, -3*s + 12 = -0. Let a be o(n). Solve 2*z - a = -z for z.
4
Let k = 6 + -1. Let y = k - 4. Solve 9 - y = -4*j for j.
-2
Let r be -2*(21/(-6) - -2). Let f(g) = -g + 3. Let n be f(r). Solve n = 2*j - 3*j - 3 for j.
-3
Let u(v) = v**2 - 2*v - 1. Let w be u(-1). Solve -w*x - 3*x = -25 for x.
5
Let l(z) = -z + 11. Let s(v) = 4*v - 1. Let h be s(2). Let q be l(h). Solve -4*k + 0*k = -q for k.
1
Suppose 0 = -4*s - 20 + 36. Suppose t + 4*t = 50. Solve -t = 2*n - s*n for n.
5
Let x(n) = -5*n - 21. Let h be x(-5). Solve v + h = 2 for v.
-2
Let d(s) = s. Let f be (-2 + 1)/(1/(-4)). Suppose -f = -4*x, -8*o = -3*o - 3*x - 12. Let g be d(o). Solve 0 = -0*p - g*p + 3 for p.
1
Let n = 150 - 148. Solve -6*p = -4*p - n for p.
1
Let q(k) = -k**2 + 7*k + 21. Let o be q(9). Solve 0 = o*w + 11 - 2 for w.
-3
Let x be 8/20*(1 - -4). Solve -2 = -x*k + 3*k for k.
-2
Let w = -8 - -9. Suppose 5*v - 4 = w. Solve -3*r + 2 + v = 0 for r.
1
Let l(t) = t**2 + 9*t + 4. Let s be l(-9). Let q = -2 + s. Solve -5*b - q = 13 for b.
-3
Let u(n) = n - 9. Let c be u(-6). Let q = 17 + c. Solve 1 = q*x + 7 for x.
-3
Let g(o) be the third derivative of 1/3*o**3 + 0*o + 0 + 4*o**2 + 1/24*o**4. Let r be g(0). Solve 2*l = 2 + r for l.
2
Let t(r) = -r**3 + 3*r**2 + 12*r - 10. Let n be t(5). Solve 2*b + 4 = -n for b.
-2
Let c be 5 - (-9)/(-3) - 5. Let h(j) = j**3 - 6*j**2 + j. Let w be h(6). Let p = c + w. Solve -a + p*a = 0 for a.
0
Suppose 2*l = -l + 3. Suppose 1 = -2*j - l. Let q be (3 - 0 - 2) + j. Solve -2*w - 3*w + 25 = q for w.
5
Let i(s) = 6*s**3 - 2*s**2 + s. Let l(f) = -f**2 + 4*f + 6. Let p be l(5). Let n be i(p). Solve -2 = 3*h - n*h for h.
1
Suppose -5*w + 42 = 17. Solve w*t = 2*t + 9 for t.
3
Let z = -6 + 8. Suppose -2 - 8 = -2*b + 2*w, -b + z*w = -8. Solve 0 = -4*k + b*k - 2 for k.
-1
Suppose 5*q = q + 28. Let x be -3 + q + (0 - 0). Solve x = 5*v + 19 for v.
-3
Let o(c) = -4*c**2 - 53*c - 1. Let b be o(-13). Solve -11*u = -b*u + 1 for u.
1
Let y be (-4 - 27/(-6))*10. Solve -1 = -3*r + y for r.
2
Suppose -2*c + c + 14 = 0. Let t(a) = 2*a**2. Let d be t(1). Suppose -d*o - 2 = -c. Solve -3*b - 6 = o for b.
-4
Suppose -m + 8 = -7. Let h be 4*m/(-6) - 0. Let d = -6 - h. Solve -9 = -d*i - 1 for i.
2
Let b = -14 + 16. Suppose 5 = h + 1. Solve -b + h = -c for c.
-2
Let r(w) be the first derivative of -w**2/2 + w + 2. Let h be r(1). Suppose -2*u + 6 = 2*v - h, -5*v + 3 = 2*u. Solve 0*n - 8 = u*n for n.
-2
Suppose 3*g - 5*x - 130 = 0, -109 = -3*g + x + 25. Let k be (g/(-27))/((-1)/6). Solve 2*f + k = -0*f for f.
-5
Let t = 5 - 1. Suppose -2 = -3*y + t. Let l be (y - 2)/(-1 - 1). Solve -2*s + s = l for s.
0
Let f be 3/24*-2*-8. Solve f*s + 2 = 12 for s.
5
Suppose 0 = -13*o + 70 + 47. Solve -o = 4*f - f for f.
-3
Let q be (-1 + -8)*(-7)/7. Suppose 0 = 8*v - q*v. Solve -5*t + 25 = -v for t.
5
Let x be (-3)/7 - (-93)/21. Solve -y = -x*y + 3 for y.
1
Suppose 4*y = y + 3. Let m be y*1/4*0. Solve 3*a = -m - 15 for a.
-5
Suppose 42 = 4*u + 3*f - 37, 2*f - 78 = -4*u. Let y = -1 + 15. Let v = y - 9. Solve u = v*d - 1 for d.
4
Let y be 5 + (4*-1 - -2). Let w(k) = -k + k - k**y + 7 + 5*k**2. Let t be w(5). Solve t = 5*q - 18 for q.
5
Suppose -8*o = -4*q - 4*o + 44, 0 = -q + 3*o + 9. Let u = -7 + q. Suppose -2*g + u*r + 4 = 0, 1 = -2*g - 5*r + 5. Solve -2*i - g*i + 12 = 0 for i.
3
Let v(t) = -t**2 + 4*t - 8. Let z be v(6). Let i = z - -22. Solve i*w = -w for w.
0
Suppose -h - 3*f + 8 = -6, 4*h + 5*f - 35 = 0. Suppose -h*a = -8 - 7. Solve -a*w + 11 = 5 for w.
2
Let p(n) = -n**3 + 5*n**2 - 5*n + 2. Let u be p(7). Let t = u - -206. Suppose -x = 4*x - t. Solve -6*f + f = -x for f.
3
Let r be (-60)/(-18)*(-12)/(-8). Solve 3*o - 2*o = -r for o.
-5
Let m(f) = -2*f + 5. Let k be m(5). Let o = -19 + 34. Let j = o - k. Solve 3*z = -z + j for z.
5
Let g = -11 - -13. Let j be 20*(g + 12/(-10)). Solve 0 = -3*p + 4 - j for p.
-4
Suppose 0 = -2*m + 3 + 1. Let o be 2/2 - m/(-1). Solve 2*t = -5 + o for t.
-1
Suppose -4 - 12 = 4*j. Let c be (-84)/(-18) + j/6. Solve 0 = c*a + 16 for a.
-4
Let g be (0/(-3))/(-2 + 1). Let y = 7 - 11. Let d = 4 + y. Solve d = 2*o - 10 - g for o.
5
Suppose a = -a + 108. Suppose -4*h + a = -2. Solve -4*z - h = -6 for z.
-2
Suppose m - k = -6*k - 2, -3*