, -12 = -k + z*k for h.
3
Suppose -2*z + 18 = y, 2*z - 2*y = -0*z + 18. Suppose z + 25 = 2*v. Solve l - 3*p = -v, -5*p = -p - 20 for l.
-2
Let s = 0 - -13. Let v be (4/(-6))/(3/(-45)). Let g = s - v. Solve 0 = -g*u - 10 + 4, 3*u - 6 = 4*q for q.
-3
Suppose 3*r + 3*l + l = 40, -3*r + 39 = 3*l. Let g = r - 10. Solve 2*w - 2 = -s + g, -10 = 2*s - 5*w for s.
0
Suppose 5 = -d + 2*i, -4*d + 25 = -d + 2*i. Let t = 41 - 18. Solve d*v + u - t = 4*u, 2*v - u - 9 = 0 for v.
4
Let u be (-2 + 3)*(-7)/(-1). Solve -5*r - 12 = -2*v, 3*v - u*v = -4*r for v.
-4
Suppose -2*o - 2 = 3*a - 7*o, 5*o = -a + 6. Solve 2*l - a = -3*x + 7, l = x + 4 for x.
0
Suppose 5 = 4*y + y. Let o(a) = -3*a + 8. Let x be o(-9). Solve 0 = -3*f + 2*l - y, -2*l - x = -5*f - 6*l for f.
3
Suppose -24 = -5*h - h. Solve 3*o + 5*m - 37 = 6*o, 0 = 3*o - h*m + 32 for o.
-4
Let c = 14 + 0. Let l = 30 - c. Solve 4*d = -4*j + l, j + 8 = 4*d - 3 for j.
1
Let b = 6 - 2. Let t be (5 - 6)/(3/(-12)). Solve 8 - 2 = 2*k, -t*v + b*k = -4 for v.
4
Suppose 5*q - q = 0. Solve 0 = 4*o - 5*z - 20, -2*z - 15 = -3*o - q*z for o.
5
Let m(b) = -b**3 - 5*b**2 - 3*b + 2. Let h be m(-5). Solve 5*p = l + 8 + 15, -5*p = l - h for l.
-3
Let w = 2 + 2. Suppose h + 0 = d - w, 15 = 4*d - 3*h. Solve -2*y = -5*i - 3, i = -7*y + d*y - 5 for i.
-1
Suppose -3*u + 4*u - 12 = 0. Suppose 4*n - 4*i - u = 0, 5*n + i = -4*i + 35. Solve -20 = 4*a + 3*s, 3 = -n*a + s - 3 for a.
-2
Let g(s) = -s - 4. Let f be g(-6). Suppose -f*r + 6*r - 12 = 0. Solve -5*h = b + 3 - 14, -r*h = -2*b - 17 for h.
3
Let n be 1/((-14)/35)*8/(-10). Solve 0 = -2*b - h + 3, n*b = 4*h - 10 - 2 for b.
0
Let z(o) = 2*o**2 + 2*o. Let k be z(-2). Suppose 2*v - 58 = -3*y, -y = -k*v + 5*v - 19. Solve -5*u = 5*w - 20, 4*w + 2*u = -2 + y for w.
5
Let u(l) = 8*l + 3*l**2 + 11*l - 27*l. Let s be u(4). Solve s = -4*h - d - 4, d = 0 for h.
-5
Let v = -13 + 5. Let j = -6 - v. Suppose -4 = -j*f - 0. Solve 2*s - 12 = 3*w, 4*s - f*w = -w + 14 for s.
3
Let k = 4 + -1. Suppose 3*q = -3*y, 2 = -k*q - 7. Solve 0 = -3*n - 3*j - y, -5*j = -10 for n.
-3
Let p(a) = a**2 - 6*a - 5. Let s = 6 + 1. Let i be p(s). Let c be (8 - i) + -3 + 5. Solve 0*r = -4*r + c, 3*z - r - 10 = 0 for z.
4
Suppose 5*o + f - 33 + 13 = 0, -2*o = 4*f + 10. Solve -o*g + w = -2*w + 14, -16 = g - 5*w for g.
-1
Suppose -40 = -7*v + 2*v. Let r = -6 + v. Let s = 3 + -1. Solve -3*b - 3*g = r*g - 19, -2*b - s*g + 10 = 0 for b.
3
Suppose -28*s + 27*s + 14 = 0. Solve 2*b + 4*t + s = 0, -4*t + 0*t - 12 = 0 for b.
-1
Let g be ((-16)/12)/(4/(-9)). Solve -3*h - 2 = 2*m, -g*m + 4*h + 10 + 4 = 0 for m.
2
Suppose 2*l - 15 - 1 = 0. Let i be 78/5 - l/(-20). Let t(d) = 2*d - 8. Let k be t(6). Solve k*y + y + 3*h = -i, 4*y + 2*h = -12 for y.
-2
Let s(v) = v**2 - 5*v - 5. Let d(i) = 2*i**2 - 11*i - 10. Let j(x) = -6*d(x) + 11*s(x). Let k be j(11). Solve 4 = 4*p - 2*b, -3*p = -k*p + 3*b + 6 for p.
0
Suppose f + 2 = 5. Let v = 3 - f. Let o = 3 + 0. Solve v = -o*w + k - 0 - 2, w - 10 = -5*k for w.
0
Let t be (2/6)/(8/96). Solve -t*i + 4*a = 9*a + 3, -5*a - 15 = 0 for i.
3
Let z be (-2 + 1 - -8)*2. Suppose -4*h - 10 = 5*b, -b - 2*h - 3 = -h. Let c be ((-3)/(-4))/(1/4). Solve c*w - 3*t = -12, -5*w - b*t + z = -1 for w.
1
Suppose 6*y = 5*h + y - 10, -3*h + y + 8 = 0. Let u(t) = -t**3 + 6*t**2 + 2*t - 8. Let o be u(6). Solve -r + o*m = -16, h*r + 4*m = 7*r - 4 for r.
-4
Suppose 5*m + 5 = -55. Let k be ((-7)/21)/(2/m). Solve 5*x - 28 = -k*p, -2*p = -5*x + 2*x + 4 for x.
4
Suppose 0 = 4*z + 16, -3*b = -z - z - 17. Suppose 8*i - 9*i + b = 0. Solve u = -4*a + 5, -a + 4*u = -0 + i for a.
1
Suppose 0 = 3*z - x - 3*x - 18, -5*x = -5*z + 25. Solve 3*i + 9 = 3*o - 0, z*i - o = -4 for i.
-1
Let x(l) be the first derivative of -l**4/4 + l**3 + l**2 - 3*l - 3. Let q be x(3). Solve 5*j - 3*d = d + 18, 3*d = q*j - 12 for j.
2
Suppose -4*l = 27 - 11. Let k = 3 + l. Let j = k - -3. Solve 3*u = -j*u + n - 9, -n = 3*u + 7 for u.
-2
Let k = -48 + 53. Solve x + 4*y + 0 + k = 0, 3*x + 5*y + 8 = 0 for x.
-1
Suppose 26*l = 23*l + 12. Solve 0 = 2*p - 3*o, -3*o = -o + l for p.
-3
Let n(u) = -u**3 - 4*u**2 + 3*u - 6. Let t be n(-5). Suppose -36 = -4*j + 4*c, 3*j - 2*c = 5*j - 6. Solve 0 = 2*i + i + 4*f - j, t*i - 8 = 5*f for i.
2
Let x(o) = 3*o - 11 + 11. Suppose 2*p + g - 6*g + 18 = 0, -g + 5 = p. Let i be x(p). Solve -3*q + 2*r = -11, -i*q - 5*r + 5 = -r for q.
3
Suppose -15 = 2*m - 5*m. Solve -k = -4*k - 3*a - 3, 2*k = -m*a - 2 for k.
-1
Let k be (-1)/(4/(-35 - -3)). Let c(q) = -q**2 + 7*q + 10. Let o be c(k). Solve -t = 4*b + 1 - o, t - 2 = -3*b for b.
-1
Suppose 3 = -5*z + 78. Suppose -2*n + 3*i = -n + 6, 0 = -5*i + z. Solve 3 = -a, -4*x + n*a - 5 = 2 for x.
-4
Let v be 8/(-4)*6/(-4). Suppose 5*o = -4*m + 33, 0*m - v*m = 3*o - 21. Suppose m*k - k = 1. Solve -3*i + 2*s = 3*s + 10, 0 = 2*i - 5*s + k for i.
-3
Let i(m) = -2*m + 4. Let z be i(3). Let p be 3/z - 90/(-12). Solve x + 22 - p = 4*n, x - 5*n + 20 = 0 for x.
0
Let q(o) = 40*o**2 - 2*o - 2. Let v be q(-1). Solve 2 = -2*k + f - 5, 5*k = -5*f - v for k.
-5
Let f be (-10)/(-8) + 6/8. Suppose -5*x = -f*j + 4*j - 27, -5*x + 4*j = -21. Suppose 0 = -v - 0*v + x. Solve 8 = v*h + s, 5*h - 6 = 3*s - 5*s for h.
2
Let r(y) = -y + 1. Let t be r(-4). Solve -5*h + 5 = -t*b, b + 3*h - 1 = 6 for b.
1
Suppose 0 = 5*v + 10, 5*v = -4*q + v. Suppose -2*f + 24 = q*f - 4*m, 3*f + 4*m = 18. Suppose -2*r = -2 - f. Solve 4*o - 2 = -u + 10, r*o = -5*u + 12 for o.
3
Suppose 5*x - 5 = -5*v, 2*x + 5*v = 4*x - 16. Solve 0 = w + n, -w + 0*w + x*n + 20 = 0 for w.
5
Let j be ((-22)/8)/((-2)/8). Let d = j + -7. Solve -3*v + 18 = 3*m, m = d*v - 2 - 2 for m.
4
Let m(o) = 8*o + 3. Let b be m(0). Solve 0 = -4*f - 16, w = -2*f - b*f - 17 for w.
3
Suppose 57 = 4*u + 13. Suppose -5 = -4*n + u. Suppose -n = -2*i - 2. Solve 3*a - 3*b + 12 = 0, 2*a - i + 4 = -3*b for a.
-3
Suppose 2*b - 3*o = -6, 0 = -3*o + 4*o - 4. Suppose 0*h = -b*s + 5*h + 36, 8 = 2*s + 2*h. Solve -2*c + 3*q = -s*c + 29, 0 = -c + q + 1 for c.
4
Suppose 0 = -5*z - 0*z + 20. Suppose -16 = -2*r + z. Suppose -d + 0*d + 2*j + 15 = 0, j - r = -3*d. Solve -31 = -2*n + d*i, -3*i - 33 = -3*n - 9 for n.
3
Let m be (-144)/(-63) - 4/14. Suppose m*h - 9 = -3*x, h + x - 2 = 2. Solve -2*l = -o - 5*l + 5, h*l = -2*o + 10 for o.
5
Let w be 28/(-5) - (-12)/(-30). Let q = 9 + w. Let v = -4 + 6. Solve 17 = 4*k - 3*i, 0 = q*k - 4*i + v*i - 13 for k.
5
Let f = 56 - 56. Solve f = 4*z - 16, -5*z + 4 = 4*r - 8*r for r.
4
Suppose 4*b - 21 = b - f, -2*b - 2*f + 18 = 0. Solve -3*g + 20 = -4*v, -g - b*v + 3*v = 2 for g.
4
Let x(s) = -3*s - 3. Let r be x(-5). Suppose -8 = -5*n + r. Suppose 40 = 3*b + n. Solve 5*q - 6*v = -2*v + 16, 0 = 3*v + b for q.
0
Let v(a) = -a + a - 4 + a. Let c be v(6). Suppose -5*z = -0*b - 5*b, 30 = 5*z + 5*b. Solve -4*m + 8 = 4*u, -2*u - c = -z*m - m for m.
1
Let d = -4 + 9. Solve k = 2*k - 1, 0 = -d*x - 3*k - 12 for x.
-3
Let f be (3 - -1) + -3 + -1. Solve f = -5*j - 0*p - 4*p + 19, -j + 4*p - 1 = 0 for j.
3
Let y(z) = -11*z - 2. Let r(n) = -n**2 + 2*n + 1. Let l be r(3). Let j be y(l). Let h be 48/j - 4/10. Solve -4*w + 5*i - h*i = 5, 0 = 5*i + 25 for w.
-5
Suppose 0 = -5*y - 25 - 25. Let x = -7 - y. Solve 3*m - x*i = 12, 0 = 4*i + 22 - 2 for m.
-1
Suppose 0 = 4*o + 9 - 29, -15 = -5*v - o. Suppose 5*w = -7 + v. Let t = w + 4. Solve 4 = 4*a + 4*h, -a + t*h = 13 - 2 for a.
-2
Suppose 2*i + 0*g = -2*g - 10, 0 = -3*i + 2*g - 10. Let d be 1 + 0 + -1 - i. Suppose -4*s + d = -4. Solve -3*n + 5*b = 4, b - s*b - 6 = -4*n for n.
2
Let q = 29 - 27. Solve 0 = -5*u - 4*w + 1, -22 = q*u - 0*u - 4*w for u.
-3
Suppose k = 4*d - 4 - 2, 58 = 5*k + 2*d. Solve -5*o + 3*f - 30 = 0, 4*f + 5 - k = -5*o for o.
-3
Suppose -1 - 7 = -4*o. Suppose -6 = o*g - 4*g. Suppose 0 = -5*d - 4*w, 3*d - 2*d - g*w - 19 = 0. Solve 3*f - 4 = -d*s + 9, -f = 5*s - 19 for f.
-1
Suppose m = -z + 3, 3*z - 2*m = 3 + 6. Solve -6*j + 9 = -4*g - z*j, g - 4*j = -12 for g.
0
Let v = -13 + 15. Suppose v*t + 2*t - 12 = 0. Solve s + f + 1 = 0, 2*f = s + t*s + 28 for s.
-5
Let s(c) = c**2 + 17*c + 56. Let d be s(-13). Solve -3 = -j - d*q - 0, 6 = 3*q for j.
-5
Let v(p) = 2*p + 52. Let y be v(-25). Solve -a + y = -2*m - 0*a, 4*m = a - 8 for m.
-3
Let j = -24 - -29. Let i(r) = r - 5. Let h be i(5). Solve h = 5*m - j*n - 40, 5*m - 3*n