9 = -j*y - 4*c for y.
-1
Let o(h) be the first derivative of h**4/4 - 2*h**3 + 7*h**2/2 - 8*h + 5. Let c be o(5). Solve 0 + 5 = 5*u - b, 2*b + 10 = c*u for u.
0
Suppose -45 = -x + 2*u + u, x = u + 45. Solve d + 4*y - 35 = -2*d, 0 = -5*d - 4*y + x for d.
5
Let h = 5 - 10. Let a be ((-12)/(-30))/((-1)/h). Solve 4*b = 2*t + a, -4*b - 5 = 3*t - 32 for b.
3
Let d be 56/9 - 4/18. Suppose -3*b = -d*b + 12. Solve 12 = -4*g, -3*i = -g + b + 2 for i.
-3
Let c be ((2 - 0) + 10/(-8))*4. Solve 3*m - 4*x - 31 = 0, 4*m - 1 = -4*x + c for m.
5
Suppose 0 = -5*d - 4*r - 46, -5*r + 4 = -2*d + 12. Let q be 28/((-3)/(9/d)). Let o = q - 4. Solve -2*m - k + 2 = 0, -k = 4*m - 6*k + o for m.
0
Let t be (-5)/(-2) + 6/12. Suppose 4*i + 52 = 2*w + 16, -3*w + 66 = -2*i. Suppose 0*n = 2*n - w. Solve -4*k + n = 4*b, t*k - 4 = 3*b - b for b.
1
Let n(x) = -x**3 - 6*x**2 - 6*x - 3. Let v be n(-5). Let r be 4/2 - (-5 + 2). Suppose -r*w + 19 - 4 = 0. Solve s - v*s = w*d + 11, 0 = -4*d - 12 for s.
-2
Let x = 191 + -185. Solve 4*a + 7 = -3*i, 0 = -5*a + 4 + x for i.
-5
Let g = 9 - 3. Let t be 1/(3/g) + 12. Solve -3*u - 4 = -2*a, 4*a - 3*u - t = -0 for a.
5
Suppose 0 = 2*q - 45 + 5. Let m be 14/4 - 2/(-4). Suppose -p - 60 = -4*l + 95, -3*p + 81 = 2*l. Solve -l + 14 = x + m*k, -3*k - q = x for x.
-5
Let m(t) = t**2 - 5*t - 8. Let v be m(6). Let d be (-1)/((-2)/(-12)*v). Solve -d*c = -3*w + 21, 2*c = -2*w + 3*c + 11 for w.
4
Suppose 2*r + 16 = r - 2*i, -5*r = 4*i + 50. Let o = r + 31. Suppose 0 = -5*h - 0*h + 20. Solve -h*u + 15 + o = -4*f, -4*f = 2*u + 10 for u.
5
Suppose 13 = 6*a - a + 3*f, 4*a - 13 = -5*f. Solve a*t = 3*m - 2, -m - m = 2*t - 18 for m.
4
Let g = -1 - 9. Let o = 14 + g. Solve 3*u = o*z - 3, 3*u = 5*z - 1 - 5 for u.
3
Let v = 140 + -139. Solve -v = -2*m + 3, 4*p + 2*m = 0 for p.
-1
Suppose 33 = 4*q + 4*a + 13, 0 = -4*q - 3*a + 18. Let l be (-1)/q - 42/(-18). Solve -4*t - 9 = n, 5*n - l*t - 18 = n for n.
3
Let c = -1 - -6. Solve c = -k - k + g, -15 = 5*g for k.
-4
Suppose 3*i + 3*r = -i - 1, 5*i + r - 7 = 0. Solve 2*t - 5*t - i*z - 4 = 0, 17 = -4*t - 5*z for t.
2
Suppose w = 5*t - 74 - 73, -3*w = -t + 35. Solve 2*r + 4*i - t = 5*r, 0 = -3*r + i - 14 for r.
-3
Suppose -3*w = 4*p + 2, -5*p + 4*w + 12 = -p. Let j = 4 - p. Let l = 31 - 14. Solve -5 = 2*y - 4*b + l, -3*y - 3*b = -j for y.
-3
Let w(s) = -s**3 - s**2 - s + 16. Let p be w(0). Suppose 2*f - p = -2*f. Solve 4*h - 16 = -2*u, f*h = h + 15 for u.
-2
Suppose -w + 7 + 17 = 0. Let x = w - 20. Suppose -5 = 2*z - 11, v + 4*z = 12. Solve 3*o = -x*m + 6*m + 4, 2*o = v for m.
-2
Suppose 0 = -2*l - 2*l + 2*o, 5*l = -4*o + 13. Let d(p) = 8*p**2. Let b be d(l). Solve 2*z - b = 0, 5*z - 14 = -4*g + g for g.
-2
Let g be (0 - -3)/(-3) - 8. Let z be 0 + (-5)/(15/g). Solve 3 = -c + 5*a, z*c + 2*a + 6 + 3 = 0 for c.
-3
Let u(o) = -o**3 - 7*o**2 + 3. Let f be u(-7). Solve w - 9 = -3*m - 2*m, f*m - 23 = -5*w for w.
4
Suppose 0 = -3*i - 13 + 7. Let b = i - -15. Suppose -5*x + b = -7. Solve 0 = -5*a, -6 = 5*w - 5*a + x for w.
-2
Let g = -8 + 5. Let o be 8 - (2 + -3) - g. Suppose -4*u + o = -0*u. Solve 0 = -y - 3, 0*a + u*y + 9 = a for a.
0
Let n = 50 + -50. Solve 5*c + n*c - l - 15 = 0, 36 = 4*c + 4*l for c.
4
Suppose -v + 3 = 2. Solve -z + b - v = 2*b, -4*z + 4*b = -12 for z.
1
Let p(x) = x + 2. Let w be p(6). Let s(a) = 2*a - 1. Let q be s(w). Solve -3*r + l + 4 = 0, 4*r + 3 = -2*l + q for r.
2
Let g be 30/(-3)*(-1)/2. Solve g*x = -3*i + 5*i - 1, -2*i + x = 3 for i.
-2
Let d(v) = v**2 + 8*v + 3. Let l(b) = 5*b**2 + 41*b + 15. Let i(w) = -11*d(w) + 2*l(w). Let h be i(-4). Solve 0 = 5*p + r + 6 + 3, 0 = -h*p + 2*r - 12 for p.
-2
Suppose -z - 8 = 3*z. Let p(v) = 5*v + 4. Let d(h) = 4*h + 3. Let g(o) = -4*d(o) + 3*p(o). Let y be g(z). Solve -y*q + 4*l = 24, 0 = -q + 5*q - 2*l + 24 for q.
-4
Let o(i) = i**2 + 7*i + 5. Let q be (-26)/7 - (-6)/(-21). Let d be o(q). Let g be 0 - (4/2 + d). Solve 3*u = -4*a + g*u - 10, 0 = a - u for a.
-5
Let v(q) = -5*q**3 + 2*q**2 + 2*q + 1. Let z be v(-1). Let u be (z - 2)/(0 - -1). Let r be (u/(-2))/(2/(-4)). Solve r = t - 2*s, 0 = -3*s + 7*s for t.
4
Let a(d) be the second derivative of 1/20*d**5 + d**3 - d**2 - 1/2*d**4 + d + 0. Let f be a(5). Solve 7 = 3*k + 5*p, 0 = f*k + 2*k + 5*p - 15 for k.
4
Suppose 21 = 2*h + 3*n, 0 = -3*h + 2*h - 4*n + 18. Solve 0 = v - h*v + 4*g - 13, 2*v + 13 = -g for v.
-5
Let m be (-2)/3*60/(-8). Suppose 3*q + m*p = 0, q - 11 = -3*q - 3*p. Solve -q*u - 5*n = 5, -3*n + 18 = -u - 3*u for u.
-3
Let n = 7 + -1. Suppose -4 = -2*p - 2*y + 2, -2*p - y = -n. Solve -x = 4*v + 24, 2*v - 13 = p*v + 2*x for v.
-5
Suppose 0 = r + 2*k + 5 - 2, 4*k + 12 = 4*r. Suppose 5 - r = 2*a. Solve -2*o - 5*h = 2 + 6, -2*h - 8 = a*o for o.
-4
Let a(v) = -v**2 + 4*v + 2. Let j be a(4). Suppose 11 = -s - 3*w, 10 = -4*w + j*w. Solve -s*m + 3*n - 15 = 0, 2*m - 2 = -2*n - 6 for m.
-3
Let m be 20 + (-3)/(-6)*-2. Suppose t = -4*j - j - m, -3*t - 15 = j. Let q be j*(0 - 15/9). Solve -3*a - 2*n - 7 = 0, q*a - 5*n = 2*a + 28 for a.
1
Suppose -4*h = 5*j + 5, 3*j - 2 = -h - 5. Let v be (1/(-4))/(2/(-8)). Let z be (-33)/(-15) - v/5. Solve h = 5*l + 3*i - 22, z*i = 2*l - l + 6 for l.
2
Suppose -3*t - 6 = 0, z = -z + 3*t - 14. Let l = -7 - z. Solve -l*o + 7*m - 40 = 2*m, 3*o - 5 = -4*m for o.
-5
Let h(j) = -j**3 + 3*j**2 - 2*j + 3. Let r be h(2). Solve 4*y - y - 3*b - r = 0, -y + 4*b + 1 = 0 for y.
1
Let x be 1/(-2) - -11*(-2)/(-4). Solve x*l - 1 = 3*y, 2*l + 5 = -y + 1 for y.
-2
Suppose 3*n + 4 = 2*u, -3*n + 11 = 4*u - 15. Suppose -5*x - 4*m = -25, 4*m = 3*x - x - 10. Solve 4*f - 4 = -n*z, 3*z - 8*z = x*f for f.
2
Let d be (7 - 4/2) + 0. Suppose -5*t + 18 = 4*b, 10 - 2 = 3*t + b. Let u be (2/t)/((-2)/(-50)). Solve 2*i - 4*n - 2 = 0, 3*n + u = -d*i - 2*n for i.
-3
Suppose 0 = 4*q - 3*t - 70, 35 + 66 = 5*q + 3*t. Suppose -5*l + 79 = -3*a, -l + 3*a + q = 4*a. Solve 0 = 4*d - 2*d - 3*k - l, 2*d + 7 = -5*k for d.
4
Let r(l) = l + 3. Let m be r(-7). Let y = m + 8. Suppose -2*c = -c - y. Solve -c*z = 3*j - 1, 5*j = 2*z + 6*j + 1 for z.
-2
Let r(u) = u**3 + 3*u**2 - 4*u - 4. Let v be r(-4). Let w = v + 9. Suppose w - 20 = -3*o. Solve -3*i = -s - 12, -o*s = 4*i - s for i.
3
Suppose -2*s + 20 = 2*w - 2, -w - 2*s = -15. Let k = 32 - 22. Let l = -6 + k. Solve 5*h = 2*u, -l*h + 3*u + w = -0*h for h.
-2
Suppose 0 = -g + 2*g - 9. Let l be 0*((-9)/(-2))/g. Solve -w + 3*b - 1 = l, -4*b = b + 5 for w.
-4
Let s = 59 - 56. Solve -3*u = -5*u - t - 2, -3*u - 6 = s*t for u.
0
Let q(h) = 3*h**2 - 4*h - 1. Let y be q(-5). Suppose 4*c = 5*j + 47 + y, 77 = 3*c + 2*j. Solve 7 = 2*l - m, m = -4*l - 2*m + c for l.
5
Let d = 25 - 16. Suppose -v - 4 = -d. Solve g + 12 = v*g - f, -g = -5*f + 16 for g.
4
Suppose 32*l = 17*l + 30. Solve 2*v = l*d + 6, v - 5*v = 2*d for v.
1
Suppose 8 = -2*i, 4*i + 19 = 4*x - x. Suppose v - x + 5 = 0. Let w = 8 + v. Solve -w*a + 3*h + 5 = -2*a, -5*a = -3*h - 17 for a.
4
Let u = -10 + 7. Let k be (4 + 1)*u/(-5). Solve -6 = -5*z + 4*w - k*w, 2*z - 2*w = -4 for z.
2
Suppose 0 = -3*w + 7*w - m - 5, 2*w - m - 5 = 0. Solve -4*q + w*z + 17 = z, 0 = -2*q + 5*z - 19 for q.
3
Let i(s) = s**3 + 7*s**2 - 8*s - 1. Let l be i(-8). Let t be 2 + l/(-1 - 0). Solve 6*b - 2*b - h = 15, -t*b + 3*h = 0 for b.
5
Let w(h) = -2*h**2 + 15*h - 13. Let j be w(6). Solve s - 4 = 3*y, 3*y - 2 = -j*s - 0*y for s.
1
Suppose -5*u = -2*i - 39, i = 3*i + u + 21. Let v be (-20)/i + 2/6. Solve -v*p + 4*d + 7 = -3*p, -2*p = 5*d + 5 for p.
5
Let b(l) = -l**2 - l + 3. Let r be b(-4). Let w(s) = -s - 5. Let g be w(r). Solve 4*x - 8 = g*t - 7*t, -10 = -5*x + 5*t for x.
2
Suppose -5*m + 8 = -2. Solve -4*b + 8 = 3*d, -m = -3*b + 5*d + 4 for b.
2
Let j(a) = 5*a + 3 - 1 - 3. Let g be j(1). Suppose -g*s - 16 = -2*h + 28, -59 = -3*h - s. Solve -5*q + 4*d + h = -0*d, -3*q + 12 = 5*d for q.
4
Suppose -2*c - 53 = -63. Solve -2*q - c = -2*s + 1, 31 = -5*q - 3*s for q.
-5
Let l be 1 - (-1 - -2) - 9. Let m = l - -17. Suppose -3*d + m*d - 20 = 0. Solve -4*v = d, -2*b + b = -4*v for b.
-4
Suppose 2*w = -8, 2*w - w - 41 = -5*y. Let c = y + -4. Solve -5*a + c*x + 5 = 0, -4*a - x = -3*a - 1 for a.
1
Let a be -1 + (12 - -2)/2. Suppose 2*q = a*q - 100. Suppose 5*i = 5*p - q, -6*i + 5 = -i + p. Solve -3*c - c = 2*u + 18, i = -3*c + u - 1 for c.
-2
Let i(s) = s**2 - 16*s -