 + 2*l + o, -3*l + 3 = -0*l for k.
-1
Let k(p) = 4*p - 22. Let l be k(7). Solve -18 = 2*q + 5*z, -5*z - l = -q - 0*q for q.
-4
Let k = 7 + -9. Let u = k - -6. Solve -r = -u*r - 6, 5*r = -c - 8 for c.
2
Suppose -34 = -4*k - 22. Solve -3*p + k*l - 21 = 0, 4*l - 11 - 15 = 3*p for p.
-2
Suppose 0 = 5*l - 4*x - 5, 2*x - 4*x = -10. Solve -4*w + 32 = -3*q - 2*q, l*q = -2*w - 14 for w.
3
Let z = 160 - 151. Solve 2*y - y - 5*f = 18, 5*y + 2*f - z = 0 for y.
3
Let j(l) = -l**2 + 5*l + 6. Let x be j(6). Suppose 5*f - 4 - 6 = x. Suppose f*v + 10 = 4*v. Solve 0*o = v*o + 5*t - 5, -o - 5*t - 11 = 0 for o.
4
Let p be (2*4)/(-1 - 15/(-5)). Suppose 3*m = -3*t + 208 - 61, 2*m = -4*t + 100. Suppose g = 3*g - m. Solve l = -3*l + 5*z, -p*l + g = z for l.
5
Suppose -3*u = -o + 32 - 90, -4*u - 3*o + 73 = 0. Let j = u - 11. Suppose 0 = 2*i - 0 - j. Solve -l - 5 = -5*p + i*l, 5*p = 2*l - 4 for p.
-2
Let f be 54*(4/(-6) + 1). Solve f = 5*w + y, 0 = -w - 2*w - 5*y + 2 for w.
4
Let s be 140/6 + 6/9. Let p be (1/2)/(2/s). Let b(n) = n + 8. Let y be b(-5). Solve -2*o + p = -y*r + 5*r, -8 = -2*o - 3*r for o.
1
Suppose -2 = -q + 1. Suppose q*x - 20 = -x. Solve 4*v + 3*m + x = 1, -3*v - 5*m = 14 for v.
2
Let p = 8 - 3. Let m(k) = -3*k - 1. Let l be m(-1). Solve -2*s = p*f + 13, -l*f = 5*s - 9 + 31 for f.
-1
Suppose 0*l = -l + 2. Suppose -l*q - 5*u + 13 = -10, -3 = -u. Solve 3*g + w = 15, 0 = 3*g + q*w - w - 21 for g.
4
Suppose 9 + 5 = 2*q. Solve -4*k - 4*h - 27 + q = 0, 11 = k - 3*h for k.
-1
Let g be (-8)/(-5) - (-2)/5. Let u be 22/4*g*1. Solve -2*i = -i + 3*a + u, -2*i + 2*a = 6 for i.
-5
Suppose 0 = 5*i - 10*i + 10. Suppose 9 = 2*s + s. Let z be 10*s*i/12. Solve z*m - d + 15 = d, 2*m - 8 = -2*d for m.
-1
Let o be (8/10)/((-4)/(-20)). Let m = 20 - 11. Suppose -m = 4*w - 29. Solve w*y - f + 31 = f, -o*y - 14 = 2*f for y.
-5
Suppose -p = -5*i - 1, 3*i - p - 5 = -6*p. Solve i = 4*t - 2*v + 12, 4*v + v - 18 = -2*t for t.
-1
Let t(i) = 2*i**2 - 7*i + 6. Let z be t(5). Solve 5*q = -4*u + z, 0 = -q - 2*q + 5*u - 17 for q.
1
Suppose -2*p + 3*p = 0. Let v be -2*(p + 3/(-2)). Let k be 6/4*(0 - -2). Solve -2*f + 5*d + 11 = 0, v*f + k*d + 11 = -4 for f.
-2
Let t be -1 - (-1 - -1) - -4. Suppose -n + 3 = q, -3 = t*n - 4*q - 12. Solve -n*f - 5*b = -6, -f = 2*b + 2*b - 9 for f.
-3
Suppose 3 = -5*k + 13. Solve 0 = q + k, 4*p - q - 8 = 6 for p.
3
Let z = 39 - 22. Suppose 0 = -2*b + 2, 2*d - 3*b = -0*b + z. Solve 0 = 2*c - d, -5*v + 5*c = 28 + 2 for v.
-1
Suppose -y - 3 = -3*r, -3*y + 3*r = -2*r + 13. Let f be (3 - (-21)/y)*-10. Suppose 0 = z + 1 - 4. Solve i = -t + z, 4*t - 6 = -f*i + 4 for t.
5
Let c be ((2 + 3)*-1)/(-1). Let s = c + 7. Solve 2*d = -3*m + s, -2*d = -3*d for m.
4
Let b(f) = -3*f - 5. Let y be b(-5). Suppose 4*w = 6*w - y. Suppose 5*k - 2*m - 5 = -7*m, -2*m - 19 = -5*k. Solve l = -w*j + 14, l - 3*l = k*j - 14 for j.
2
Suppose 3*b + 5*g - 10 - 18 = 0, 3*g = -5*b + 36. Suppose n = -3*n + 4*s + 12, b = -2*n - 2*s. Solve 2*q - 4*k = 3 - 25, n = -5*q + 4*k - 25 for q.
-1
Suppose 3*c - 3*x = 6, -3*x = 4*c - x + 16. Let w(i) = -2*i - 1. Let h be w(c). Solve -5*j = h*r + 35, -5*r + 5*j - 7 = -2 for r.
-5
Suppose -5*r + 25 = 0, -3*r + 16 = d - 19. Solve -2*t + 27 = 3*i + 2, d = 2*i + 2*t for i.
5
Let i(r) = -r**3 + r**2 - 9. Let c be i(0). Let a be ((-12)/c)/((-4)/(-6)). Solve -a*j = -9*b + 4*b + 23, 4*b - 20 = 0 for j.
1
Let t = 7 + 7. Solve 2*i = 8, b - t - 6 = -4*i for b.
4
Let w = 32 - 30. Solve 5*n - 4*f + 1 - 42 = 0, -14 = -w*n + f for n.
5
Suppose -3*a - 4 = -10. Solve -2*v - 6 = -0*v, -a*u + 5*v + 25 = 0 for u.
5
Let j = -49 + 50. Suppose 0 = -4*w + w + 12. Solve -5*l + 0 = -k + j, k + 8 = -w*l for k.
-4
Let a = 86 - 50. Let v(g) = 2*g**2 + g. Let k = 1 - 0. Let j be v(k). Solve -2*p = -j*y + 4, 3*y - 5 = -5*p - a for y.
-2
Let d = 16 - 8. Solve 26 = -3*q + 5*w, 0 = 4*q + 2*w + 2*w - d for q.
-2
Let w = 20 + -30. Let t = 26 + w. Solve s - 4 = 4*y, 0 = 5*s - 2*y - t - 4 for s.
4
Suppose 3*x = v + 7, -5*x - v = -13 - 12. Solve 0 = 4*g - 9*g - 5*t, -5*t - x = g for g.
1
Let z(x) be the first derivative of -x**4/4 - 5*x**3/3 + 4*x + 2. Let y be z(-5). Solve 0 = -n + 2*s - 2 - y, -4 = 4*n + 2*s for n.
-2
Let h be (1 + -6)/(3/2 + -4). Solve 5*z + 2*v + 3 = -h*v, 0 = 3*z + 3*v for z.
-3
Let s be ((-12)/(-15))/(6/105). Let z = s + -10. Suppose -z = 2*h - 2*v, 0 = -v + 2*v - 2. Solve 4*m + 3*q + 0*q - 3 = h, m - 12 = 3*q for m.
3
Let p(z) = -z - 11. Let q be p(-12). Suppose -q + 0 = -y. Solve 5*d = -3*b - 0*d + y, 4*d = 5*b - 14 for b.
2
Let o(d) = -11*d - 9. Let m(n) = -5*n - 4. Let j(c) = 9*m(c) - 4*o(c). Let a be j(0). Suppose a*w - 48 = -3*w. Solve 5*k + 3*h + w = 0, k + h = 2*k for k.
-2
Let o(b) = -8*b + 2. Let l be 48/20*10/4. Let v be o(l). Let y = 74 + v. Solve y = 2*m - 5*a, -3*m + 4*m = -4*a - 12 for m.
4
Let c = 3 - -1. Suppose -5*x + 29 - c = 0. Let o = 7 - x. Solve -5*h - 21 = 2*m, 3*h + o*m + 7 + 8 = 0 for h.
-3
Let c(n) = -3*n + 39. Let z be c(10). Suppose 5*a - 85 = 55. Solve -f - j - 8 = 0, 3*f = -2*j - a + z for f.
-3
Suppose -5*h - 16 = 14. Let b = -4 - h. Suppose 5*n + r - 8 = b*r, 5*n + 5*r = 20. Solve n + 0 = 2*x + t, x + 6 = 3*t for x.
0
Suppose -x = -2*y + 8, 0 = -5*x - 3*y + 15 - 3. Solve -b - 13 = 5*d + 3*b, -5*d - b - 22 = x for d.
-5
Let q = -25 - -28. Solve 2*t + n = -2*t + 9, t + 6 = -q*n for t.
3
Let i = -1 - -4. Suppose 0 = 3*s + i - 15. Solve n - 17 = -4*q, -s*q + 3 = -2*n + 1 for q.
3
Let u = 17 - 12. Solve 3 = 4*t + 5*q, 0*t - 5*q + 30 = -u*t for t.
-3
Let c(w) = 2*w - 2. Let v be c(2). Suppose 5*a + 67 = 4*l, 2*l + v*l + 5*a = 77. Suppose -l + 130 = 4*m. Solve -k + g - m = -4*g, g - 20 = 5*k for k.
-3
Suppose 0 = 4*z - q + 10, -2*z = -7*z + 3*q - 9. Let s(g) = -g**3 - 3*g**2 - g. Let a be s(z). Solve -3*p - 2*x = 18, -3*p - 1 - 2 = -a*x for p.
-4
Let t be ((-2 - 1) + 3)*-1. Let k be 18 + (t - 6/2). Solve 2*p - 3*r + 16 = 0, 4*p + k = 4*r - 13 for p.
-5
Suppose u + 12 = 4*u + 3*q, -2*q + 8 = u. Let w(j) = -j + 5. Let h be w(u). Solve 0 = -5*f + b + h, f - 5*b = 3 - 2 for f.
1
Let j be ((-3)/2)/((-6)/20). Suppose -15 = v + 4*x, -2*x - 4 = 4*v - 14. Solve -3*z - 50 = v*c + 2*z, z = -j*c - 30 for c.
-5
Suppose 3*u = -2*j + 9, 2*j = -5*u + j + 22. Solve u*q = -4*n + 2, -q + 10 = 6*n - 2*n for n.
3
Suppose 0 = -j - 3*t + 13, -j - 1 = -4*t - 21. Solve -h = -5*h + 12, -4*h = -f - j for f.
-4
Let j(b) = b**3 + 7*b**2 + 7*b + 5. Let t be j(-6). Let a = t - -4. Suppose -a + 23 = 5*v. Solve -v*w + 4*f = -8*w + 32, -37 = -5*w - 4*f for w.
5
Let a be (-2)/3*(-150)/20. Suppose a*h = -3*y + 9, 0*h + 3*y = 2*h + 9. Solve 3*l + 5*p + 19 = 0, h*l + p = -3*l - 11 for l.
-3
Let u(o) = -o**2 + 5*o. Let g be u(3). Suppose -12 = 2*q - g*q. Let b be q*(4/1 + -2). Solve 0 = 2*v + 4*d - 10, 3*v - 5*d + b = -v for v.
1
Let p = 51 - -5. Suppose -2 = 3*f - p. Solve f + 4 = -3*g + 4*v, -4*v = -4*g - 24 for g.
-2
Suppose 0 = -2*u + 3*q + 18, -2*u + 2*q = -2 - 12. Solve 5*g - u = y, -4*g + g = -3 for y.
2
Let j(d) be the first derivative of -d**2/2 + 10*d - 8. Let u be j(5). Solve f - 5 = -u*a - 20, -3*f - 5 = 5*a for f.
5
Suppose -2*q + 3 = -5. Solve -3*z = -4*n - 3, n + 4 = q*z + 4*n for z.
1
Let f(s) = s**2 + 9*s + 11. Let h be f(-8). Solve 0*n + h = -n - 2*p, -3*p - 2 = 4*n for n.
1
Suppose -5*t - 6 = 4. Let y = t - -4. Let n be y - (-1 + 5) - -7. Solve -2*m - p = -10, n*m - 5*p = -p + 12 for m.
4
Suppose 3*w - 4*g = -0*w + 1, w + 3*g - 9 = 0. Suppose -a + 2*a - 8 = 0. Let c be 2/a + w/(-12). Solve 5*y + c*b = 3*b, -5*y = -b - 10 for y.
3
Let o be 4/(-14) + 74/14. Solve -3*l + 2*f + 4 = 21, 0 = -o*l - 5*f + 5 for l.
-3
Let t be (6 - 9)*11/(-3). Let u = 15 - t. Solve 0*m - 3*m = u*f + 23, 0 = -3*f + 3*m - 12 for f.
-5
Suppose 3*g = -0*g + 42. Solve w = -2*n - 3*n, n + 3*w - g = 0 for n.
-1
Let q(t) = -2*t. Suppose 8 + 2 = 5*f. Let g be q(f). Let o be (g - -2)/(8/(-12)). Solve -y = -b + 6, 2*y - b = -o*y - 18 for y.
-3
Suppose 6*l + 3*i - 27 = l, 0 = -3*l + 3*i - 3. Suppose t - 16 = -l*t. Solve z + 12 = -3*z - a, t*z + 2*a = -8 for z.
-4
Let v(h) = h**3 - h + 10. Let k be v(0). Solve -2*r + y = 3*r + k, r = -5*y - 2 for r.
-2
Suppose -4*i = -3*p + 53, 0*p = -5*p + 4*i + 83. Suppose 12*w = p*w. Solve -3*a + 11 = 4*y, w = -a - y - 1 + 5 for a.
5
Let v be 15/12*(0 - -4). Suppos