3, 4*v + 6 = -4*y + 18. Let d be y/9 + (-26)/(-6). Solve l - d*l - c - 15 = 0, -2*c + 10 = -2*l for l.
-4
Let f(k) = -k**3 - 7*k**2 - 2*k - 11. Let s be f(-7). Suppose 2 = -3*b + 4*q + 4, s*q = 5*b - 7. Solve -3*l + 5 = -o - b*l, -4*o + 2*l = 18 for o.
-4
Suppose -8 = -3*m + 7*m. Let n be (0/3)/(3 + m). Suppose -25 = j - 6*j, 0 = c - 3*j + 11. Solve z + l + n = 2, -c = -l for z.
-2
Let f(z) = z**2 + 4*z + 1. Let q be f(-5). Let y(v) = 4*v - 1. Let g be y(q). Solve 5*p - 2*d - d - 5 = 0, p - g = 5*d for p.
-2
Suppose -11 = -5*v + 14. Solve -5*c - 2*i + 25 = 0, -3*c = -v*c + 5*i + 10 for c.
5
Suppose 2*j - 40 + 32 = 0. Solve j*q + o + 4*o + 6 = 0, 2 = o for q.
-4
Suppose -3*u + n - 3*n + 49 = 0, 3*n + 3 = 0. Suppose 4*s - u - 3 = 0. Suppose -3*d = -s*d + 6. Solve -4*t = -3*q - 2*q + 22, -3*t + d*q - 15 = 0 for t.
-3
Suppose l - 3*l - 4*z = 0, -4*l + 4*z + 24 = 0. Suppose 10 + 10 = l*n. Solve -12 - 23 = -5*k + 5*c, 4*c + 10 = -n*k for k.
2
Let s be (-24)/56 + 3/7. Solve 0 = m + 5*n + 30, -3*n - 10 = -m - s*n for m.
-5
Suppose 11*r - 6*r + 2*b - 24 = 0, -r + b = -2. Solve -6 = -5*p - 4*y, -4*p - 6*y + r = -3*y for p.
-2
Let p(j) be the second derivative of j**4/12 + 2*j**3/3 - j. Let y be p(-5). Solve -4*g = y*v + 2, -5*v + 25 = -9*g + 4*g for g.
-3
Suppose -2*y = 1 - 5. Let g = y + 8. Solve h + 4*j = -j - 13, 5*j + g = 0 for h.
-3
Let z(h) = -h + 2. Let n be z(2). Solve n = -k - 3, 4*u + 0 = 3*k + 17 for u.
2
Suppose -n - 9 = -3*h, -h + 4*h - 9 = 3*n. Let i be ((-3)/(-4))/(h/(-12)). Let y = i - -3. Solve 0*x + 6 = -3*x + 3*m, -5*x + 2*m - 13 = y for x.
-3
Let u be 64 + -4 + 3 + 2. Suppose -4*f - 23 = -3*w + f, -5*w = -3*f - u. Solve -3*a + 4*d = -4, -a - w = 4*a - d for a.
-4
Let h be 1 + 3 - 21/7. Solve 4*w - 4*r + 20 = 0, -3*r + 14 = w - h for w.
0
Let m be (-10)/4*(-4)/2. Suppose -o + m - 2 = 0. Solve 3*y + 4*s - 24 = 0, 2*s + o = 3*s for y.
4
Suppose -t - 12 = 2*t. Let h be 1/t - (-34)/8. Solve -3 = h*r - 5*x + 4, 4*x = 12 for r.
2
Suppose -3*y - y + 22 = 5*v, 5*v - 20 = -5*y. Let d be 3 + -3 - (v + -10). Solve -8 = -3*f + 4*f - d*k, -4*f = k + 15 for f.
-4
Let a = -14 + 15. Solve 3*q + 0 + a = -4*w, -5*q = 5*w for w.
-1
Let u(z) = 2*z + 1. Let y be u(8). Let o = 1 + 1. Suppose o*m - m = 3. Solve v = -5*w - 23, v - m*w = -0*v + y for v.
2
Let r be -2 - (-11 + 16/4). Solve y = 3*n - 4*y - 16, -y - r = 0 for n.
-3
Let y(b) = b - 2. Let v be y(4). Solve -5*k - 3*i - 17 = 0, 0 = -0*k + 2*k - i - v for k.
-1
Let r be 5*-1*(1 - 0). Let l = r + 9. Suppose 4*m - 2*u - 20 = 2*m, 4*m - 2*u = 30. Solve -3*h - 2*p = -l*p + m, -3*h + 3*p = 0 for h.
-5
Let p(f) = -4*f + 29. Let g be p(7). Suppose 6*n = n - 25. Let v = -3 - n. Solve g = -3*l + k, 2*l - k = -0*k - v for l.
1
Suppose -2*m - h - 2*h + 18 = 0, -5*m + 24 = -3*h. Solve -3*a + m = -t, -3*a - 2*t = t - 6 for a.
2
Suppose -3*f + 4*f - 4 = 0. Suppose 5*m + 4*x - 35 = x, -5*m + 10 = -2*x. Solve -m = -2*s, 0 = -f*u + 4*s - 12 - 8 for u.
-3
Suppose 0 + 10 = 5*r. Suppose -r*s + l = -9 + 1, -4*l = s + 14. Solve o + 24 = -5*c + 2*o, 4 = s*c + 3*o for c.
-4
Suppose 5*p - 10 = 0, 4*p = 5*o - 43 - 24. Solve -4*c - 2*i - 3 = -o, i - 21 = -5*c for c.
5
Suppose -12 = -5*t + 4*n + 29, -5*t = 4*n - 9. Suppose 0*h - h = t. Let r(k) = -2*k - 6. Let w be r(h). Solve w*p = -5*f, -4*p = f + 5 + 11 for p.
-5
Suppose -x = -2*x. Suppose -16 = -4*q, x*q = 3*c + 2*q - 14. Solve -t + 8 = -4*i + 2*t, 0 = -c*t for i.
-2
Suppose 0 = 5*i - 4*i. Suppose 2*r + 3*u - 11 = i, -8 = r - 4*r + 4*u. Solve 2*d + 7 = -s, 18 = -d + r*s + 1 for d.
-5
Suppose -10*q = -2*q - 32. Solve -3*i + 14 = -q*o, -2 = -4*i - 10 for o.
-5
Let m = 3 + -12. Let z = m - -12. Let r be (-1 - 0) + 2*3. Solve r*a + 25 = -n, -3 - 12 = z*n for a.
-4
Let j(r) = -2*r - 8. Let h be j(-6). Solve 0 = 3*s - 15, 18 = -h*n - 0*s + 2*s for n.
-2
Let f = 2 - 0. Suppose 0 = -f*x + 5*h + 18, 5*x - 20 - 2 = h. Solve -5*d + 25 = 0, -2*p + 15 = x*d - 9 for p.
2
Suppose 5 = 3*u - 1. Let s(p) = p**3 + 6*p**2 - 7*p + 5. Let z be s(-7). Solve u*b - 5*y + 19 = z, 3*b - y - 5 = 0 for b.
3
Suppose j = -4*t + 4*j + 5, -2*t - 5 = -3*j. Let n(c) = -c**3 + c**2 + c + 2. Let k be n(0). Let a = t - k. Solve -z = a*p + 18, 6*z - z = -4*p - 35 for z.
-3
Suppose -h - 2 = -2*h. Let d be (-1 + -2)*(-96)/18. Let v be (12/5)/(d/40). Solve h*u + 2*o = 10, -v = 4*u - 4*o - 2 for u.
2
Let p(r) = 5*r + 22. Let n(x) = 3*x + 15. Let q(h) = -8*n(h) + 5*p(h). Let m be q(14). Solve 0 = -0*u - 5*u - m*d - 25, -2*d - 9 = -u for u.
-1
Suppose -w + 3*o + 0*o - 3 = 0, 5*w - 2 = -2*o. Solve s + 4*j = 12, j - 3 + w = 3*s for s.
0
Let d(l) = 5*l. Let x be d(1). Suppose -5*m + x*c + 20 = 0, -2*c + 0*c = 2*m. Solve 6*h + 5 = m*b + 7*h, h - 17 = -5*b for b.
4
Let j be (-2)/(-10) - (-420)/25. Let m = j + -9. Solve 3*x - m*x + 6 = 2*n, -2*x = 2*n for x.
2
Let n(y) = y + 10. Let i be n(-8). Let u(x) = 3*x - 2*x + 3*x**2 - i + 0*x - 2*x**2. Let q be u(-2). Solve -g - 3*z = -8, -z + q - 1 = 4*g for g.
-1
Let n(t) = t**3 + 8*t**2 - t - 5. Let b be n(-8). Suppose 0 = b*h - 5 - 4. Solve 3*u - 16 = 5*p - 0*p, 5*u - h*p = 0 for u.
-3
Let q(z) = z**3 + 3*z**2 - 3*z + 1. Let h be q(-4). Let c be 2/h - 66/(-18). Let m be 6/c*1 - 0. Solve -3*f - 7 = -m*t + 12, 0 = 5*f + 25 for t.
2
Let c = -39 - -58. Let j = -14 + c. Solve 4*u = -4*h + 12, 0*h - j*h + 35 = -5*u for u.
-2
Let x(i) = -2*i + 1. Let m be x(6). Let t(o) = -o - 8. Let v be t(m). Suppose 2*q = -g - 2*q + 14, -g = v*q - 11. Solve z = -y - 7, -6*y - 21 = -y - g*z for y.
-5
Let c(v) = -22*v - 1. Let h be c(-3). Suppose i + h = 6*i - 5*m, 2*i - 31 = 3*m. Let l be (i + (0 - 2))/2. Solve -5*o = 5*s - s - 40, 0 = -l*o - 2*s + 22 for o.
4
Suppose -5*x - 20 = 4*f - 3*f, -16 = -2*f + 4*x. Suppose -4*p + f*p = 12. Let h = 6 + p. Solve 5*z + o + 7 = 0, -4*o = h*z - 3 + 14 for z.
-1
Let o(b) = -b - 2. Let v be o(-2). Suppose a - 3 = -v*a. Let h = 9 + 4. Solve -2*k = 3*k + a*x - h, 3*x - 1 = k for k.
2
Suppose 0 = 3*u - 2*u - 18. Let v = u + -13. Let n be (-5)/2*(-4)/v. Solve 3*j - n = 3*y + 1, 2 = 2*j + 2*y for j.
1
Let u = 6 + 0. Suppose -f = -2*i - 8, u*i + 22 = 3*f + i. Solve 2*n = -j + n + 8, f*n - 20 = -j for j.
4
Let m be (2/(-9))/((-2)/18). Let l(d) = -d**2 + 3*d + 1. Let z be (1/(-2))/((-2)/8). Let q be l(z). Solve 4*g - 12 = -m*n, -q*g - 2 = -3*n - 20 for n.
-2
Let i = 3 - -1. Suppose -d = 2*d + 2*m - 4, -4*d + 2*m = i. Solve -r + 3*n + 1 = d, r = -r + 3*n - 4 for r.
-5
Let p(f) be the first derivative of -5*f**2/2 - 2. Let u be p(2). Let z(i) = i**2 + 7*i - 14. Let c be z(u). Solve 3*g + 4 = 2*m - 16, c = -m - 5*g for m.
4
Let m be (1 - -3)/((-2)/(-11)). Suppose 3*r + m = 5*x + 4*r, x + r = 6. Solve 6 + 12 = -5*i - 2*z, x*i + 4*z + 24 = 0 for i.
-2
Let q(h) = h - 5. Let i(l) = 10*l**2 - 1. Let j be i(-1). Let d be q(j). Solve 2*a - d*c - 29 = 7*a, 0 = -2*a + 2*c - 8 for a.
-5
Suppose -2*p + 15 = -1. Suppose 0 = -3*m - 1 + 16. Suppose -f - 3 = -3*t, 3 = -p*t + m*t + 3*f. Solve 0 = -4*z - 4*c - 16, t*z + z - 8 = c for z.
1
Suppose -10 = 2*f, 2*f + 15 = 3*l + 2. Solve 0 = -4*c + s + 5, -c - 5*s + 18 = l for c.
2
Let d(k) = -k + 14. Let n = -8 - -19. Let m be d(n). Solve 3*f = 9, m*f = 2*u - 4*u + 9 for u.
0
Suppose 2 = -4*c + 14. Let b = -2 - -10. Suppose 3*x - b = 7. Solve 20 = c*v + 5*o + 1, x*o = -v + 23 for v.
-2
Let z(d) = -d - 12. Let i be z(-14). Solve -i*t + 12 = 4*h, 2*t - 3*h + 4 = t for t.
2
Suppose -3 = 3*p, -5*p + 3 = g + 6. Solve o - 3*u - 14 = -o, -g*u = 8 for o.
1
Let y = -15 + 20. Solve y*z = -5*q, 7 = -4*z - 2*q + 3 for z.
-2
Let y = 8 - 4. Let r be (-6)/4*(-20)/30. Let x be (-5)/(1/(-2)*r). Solve 2*g - 2 = 4*g - y*w, 2*g + x = -4*w for g.
-3
Let m(q) = q. Let c be m(2). Suppose -c*p = -p - 54. Suppose -2*n + p = n. Solve -4*u = 5*r + 9, -2*r - n = -0*u - 2*u for u.
4
Suppose -4*l = -l + 27. Let o = -3 - l. Solve 0 = -2*k + 2*m + 10, o*m = k + m - 9 for k.
4
Suppose -5*d - 1 + 31 = z, 35 = 2*d + 5*z. Solve 3*p = d*i - 20, p = -2*i + 6*i - 9 for i.
1
Let r = 36 - 34. Solve -4*s - 8 = 4*i, 0 = -r*i - 5*s - 1 + 6 for i.
-5
Let h be (-2)/(-2 - 21/(-12)). Suppose -3*t = -h*t - 15. Let o(i) = i**2 + i + 4. Let j be o(t). Solve -4*r = -2*x + 4 + j, 3*r + x + 18 = 0 for r.
-5
Let p = -34 - -43. Solve -3*t = -m + 5 + p, 4*m - 3*t - 29 = 0 for m.
5
Suppose -3*z + 