-5*a. Let h = 8 - p. Solve h*x + 5 - 2 = -t, 1 = -x + 4*t for x.
-1
Let p be 1 + 1 + (-6 - -8). Suppose -j + 0*j = -p. Solve 3*l + 25 = 5*a, a - j = -l + 1 for a.
5
Let v = 1 - 1. Let d(n) = -n**3 - n**2 + 3*n - 4. Let z be d(-3). Suppose -z*h = -h - 24. Solve -5*t + 17 = o, -2*t + o - h*o + 16 = v for t.
3
Suppose -4 = -5*b + 3*j - 0, 0 = -5*b + 5*j. Solve 5*o - 4*p + 20 = 0, 0 = -b*p + p for o.
-4
Let h = -15 - -25. Let b = 12 - h. Solve -b*d - 1 = 5*v + 5, 3*d + 9 = -5*v for d.
-3
Let s(f) be the second derivative of -2*f**2 + f - 1/3*f**3 + 0. Let a be s(-8). Solve 3*u - a = 3*v, 3*v = 4*u - 11 - 4 for u.
3
Suppose 6*r - 10 = 4*r. Let k = 5 - r. Solve 0 + 6 = 3*b, k = 2*p - 2*b for p.
2
Let c = 41 - 39. Solve -4*a + n - c = 0, 5*n = -2*a + 10 - 0 for a.
0
Let y = 14 + -13. Solve -f + 1 = -y, -5*u = f + 13 for u.
-3
Let w = 7 + -13. Let r be 30/9 - (-2)/w. Suppose -q + r + 0 = 0. Solve 4*c - 6 = -5*y + q, -c + 21 = 5*y for y.
5
Let l be (-16)/6*27/(-2). Suppose -u + 0 = -9. Let s be (6/u + -1)*-9. Solve -4*a - 26 = -2*f, f - 4*a = -s*f + l for f.
5
Let j be 26/4 - (-6)/(-12). Let l be 1 - (-3)/j*4. Solve -l*g = 4*b + 17, -2*b - 9 = g + b for g.
-3
Suppose -5*u - 46 = -3*r - u, 0 = 3*r - 5*u - 41. Solve -z - r = -4*w, -4*w = 5*z - 6*w + 20 for z.
-2
Let n(l) = 9*l - 36. Let z be n(4). Solve -4*x - 4*h = -z*h + 12, 0 = 3*x - 4*h + 2 for x.
-2
Let c be -1 + (-9)/6*-4. Suppose 5*q = 4*u + 33, 5*u - 13 = -c*q + 2. Suppose -q*f = -29 + 9. Solve -4*t + f*k + 20 = 0, 4*t - 9 = t - 3*k for t.
4
Suppose 0*m + 15 = -3*m. Let p(k) = -2*k - 5. Let b be p(m). Solve -a = 3, -w + a = -3*w + b for w.
4
Let u(h) = -h**3 + 10*h**2 + 12*h - 3. Let v be u(11). Solve 2*m = -l - 3 + v, -3*m = -3*l + 6 for m.
1
Let o = 274 - 424. Let c be o/(-35) - 2/7. Solve 3*n + 23 = 4*q, -c*n = -3*n + 4*q - 19 for n.
-1
Let u be -3 + (-1 - (2 + -1)). Let d = u + 10. Let b = 12 + 10. Solve -d*x - b = -3*h + 6*h, -4*h = x + 18 for x.
-2
Let h(p) be the third derivative of p**5/20 - p**4/6 + p**3/2 - 2*p**2. Let a be h(2). Let d be 2/7 + 19/a. Solve -l = -2*q - 7, -5 = -l - 2*q + d*q for l.
3
Let m(w) = w + 2. Let f be m(2). Solve -f*g = -0*a - a + 17, 3*a - 3 = -4*g for a.
5
Let c = 15 + -11. Let f be (-1)/2*-1*10. Let y = 0 - -4. Solve f*n = -2*t, c*t + y*n = 7*t for t.
0
Suppose 0 = 3*t + t - 16. Let b = t + -2. Solve -3*f = -v + 11, 5*f = 5*v + b - 7 for v.
-4
Let z(x) = 2*x - 8. Let m be z(6). Suppose 24 = m*q + 8. Solve -2*d - q*t - 6 = 0, 0 = -d - 4*d - 4*t - 9 for d.
-1
Let s = 27 + -22. Solve 3 = -r + 3*n - 2, -s*r - 2*n = -9 for r.
1
Let h(u) = u**2 - 4*u - 9. Let s be h(6). Let o be (4/6)/(1/s). Solve 0 = -2*k + o*i - 0 - 2, -4*i = -16 for k.
3
Let d be (-4)/(-16) - (-19)/4. Let g(a) = -d*a**2 - 7*a + 3*a**2 + 4 + a**2. Let x be g(-6). Solve 0 = 5*z + h + x, 4*z + 19 = -h - 2*h for z.
-1
Suppose 4*g = 4*b - 8*b - 4, -3*b + 3*g = -3. Solve -5*y = 0, b*k + 5*y = 3*k - 3 for k.
1
Let o(h) = 2*h - 7. Let l be o(6). Let w = -10 - -22. Let u = w - l. Solve 0 = 5*y - 3*n - u, 0*n + 3*n + 3 = 3*y for y.
2
Suppose 0 = -3*x - 5*w, -3*x - 7*w = -3*w. Let z be 21 + (-2)/2*0. Let k(h) = -3*h - 3. Let n be k(-2). Solve r - 2*c = -c + 5, x = n*r - 5*c - z for r.
2
Let z(p) = p**3 - 32*p**2 - 69*p + 38. Let t be z(34). Solve t*v + 5*o + 31 = 0, -3*v - 2*v = 2*o + 26 for v.
-4
Let v = 17 - 16. Suppose -2*s = -6*s - 5*p + 3, -p - v = 0. Solve -s*c + 1 = 7, -9 = 3*i + 4*c for i.
1
Suppose 4*l - d + 9 = 0, 5*d - 2*d = -3*l - 3. Let p be l/(96/50 + -2). Solve q = -5*x + p, 5*q = -3*x - 5 + 20 for x.
5
Let v(j) = j - 3. Let r be v(0). Let d = 7 + r. Suppose 9*k - d*k = 15. Solve 2*i + 3*i - 31 = -k*h, 5*i - 21 = 2*h for h.
2
Let x = 1 - -1. Suppose -x*s + 2 = -2. Solve 18 = 2*j - d - s*d, 2*d = 2*j - 14 for j.
3
Let x(b) = 2*b + 46. Let d be x(-23). Solve 0*p - s - 1 = 2*p, 5*p - 2*s + 25 = d for p.
-3
Suppose -2*p = -s + 10, 3*s - p - p - 18 = 0. Let u(j) = -2*j - 6 + j + j - 2*j. Let k be u(-4). Solve -s*q + 16 = -k*i, 5*i = q - 9 - 4 for q.
3
Let p = -2 + -7. Let d = p + 13. Solve -5*v = 2*q - 0*v + 11, 4*q - 20 = d*v for q.
2
Let f(p) = -p - 3. Suppose 0 = 2*n + 5*w + 10 + 4, -4*n + 2*w = 28. Let g be f(n). Solve -g*t - 24 = 2*a, 5 = -4*a - t - 15 for a.
-4
Suppose 8 = 4*j - 8. Suppose -5*n = -j - 6. Solve 0 = 5*o + n*v - 19, -11 = 5*o - 6*o - 4*v for o.
3
Let u = 10 - 7. Solve 10*o - 2*i = 5*o - 11, u*i + 3 = o for o.
-3
Let i = 5 + -3. Suppose -3 = -2*x + 7. Suppose -x*m - 5*b = -115, 3*b - 142 + 33 = -5*m. Solve -5*k + o + i*o = -m, 3*o + 14 = -k for k.
1
Suppose 5*j = -j + 96. Solve 3*t + o - j = 0, -5*t + 0*o - 3*o + 32 = 0 for t.
4
Let t be 90/12*(-8)/(-6). Let k = 5 - 4. Let a be 14/3 - k/(-3). Solve -5*u - 3*f + t = 2*f, -u + 2*f = -a for u.
3
Suppose -5*y = k + 27, 3*k - 5 = 3*y + 4. Let o be 2/(-4) - k/4. Let f = 30 + -18. Solve -2*z - 5*l - 1 = o, 3*z - l + 5 = f for z.
2
Suppose 4*v - 3*j - 7 + 0 = 0, 0 = 5*v - 3*j - 5. Let h be (-1)/((2/v)/23). Let m = 5 + 9. Solve h + 6 = 3*d + 4*w, -w = 3*d - m for d.
3
Let l be (1 + -4 + 2)*-5. Solve 5*p + 3*h - 8 = 2*h, 0 = 3*p + l*h + 4 for p.
2
Suppose 2*h = -2*m + 8, 3*h + m + 2 = 8*h. Solve 0 = -4*i + x - h + 22, -i + 3 = 2*x for i.
5
Let g(t) = 6*t - 2. Let m be g(7). Suppose -10 = -2*o - 2*h, 2*o - 2*h - m = -o. Let b(k) = -k + 4. Let x be b(0). Solve -3*n = 15, x*z + n + o = -n for z.
0
Let a(x) = -3*x - 1. Let q be a(-5). Solve 5*v - v - 5*d + 26 = 0, 4*v + d + q = 0 for v.
-4
Suppose 2*u - 5*f + 0*f - 9 = 0, 4*f = 2*u - 8. Let h = 3 - 2. Let p be 17/(1/1)*h. Solve -m + 3*c = p, -u*m + 6 = -0*c + 2*c for m.
-2
Suppose 32 = 27*s - 25*s. Suppose 4*u + 2*k + 10 = 0, -5*u + 0*k + 2*k = -10. Let b = u - -2. Solve 5*r + s = 4*z, -4*r = -b*z + 3 + 5 for z.
4
Suppose 5*f - 2*o - 3*o = 20, o + 2 = 0. Solve s - z = -6 - 0, -f*z = -4 for s.
-4
Let s = -14 - -23. Suppose 4*v - 5*j + 0 + 7 = 0, 0 = 5*j - 15. Let p be 0 - (2 + 0 + -4). Solve s = -z + 5*c - v, -p*c - 10 = -4*z for z.
4
Let o(l) = l**2 - 8*l + 12. Let g be o(10). Solve -3*n - g = -4*f, 2*f - 26 = 6*n - 2*n for f.
5
Let d be 325/20 + (-1)/4. Solve -d = 3*l + 4*t, -3*l - 2*t = -0*t + 8 for l.
0
Let u = -5 + 9. Solve -1 - 5 = -4*f + 3*s, u*f = -s + 14 for f.
3
Suppose l + y = 3*l + 7, -4*l + 5*y = 17. Let c = 23 + l. Solve 0 = -2*b - 0*b + 4*h - c, -b + 3*h = 14 for b.
-2
Let u = 1 - -1. Suppose 3*b - m + 2 = 0, b + m - u = -0*b. Solve 3*f - 5*o - 4 = 0, b = f - 2*f - 2*o - 6 for f.
-2
Let t be (-5 + 6)/(0 + -1). Let f = t + 4. Solve 0*o = -5*o + 3*q + 9, 4*o = -q - f for o.
0
Suppose -5*k + 3*a + 51 = 0, 3*k + k + 5*a = 26. Solve 23 = 2*j + 5*t, -4*j + 0 = -t + k for j.
-1
Let x be 2 - 5/(15/6). Suppose 4 = 2*n - 16. Suppose y = 3*y - n. Solve 0*a - 11 = -a + 3*j, x = y*a + j + 9 for a.
-1
Suppose -2*z + 68 = 60. Solve 8 = -5*c - 4*s, 7*c = z*c + 4*s - 24 for c.
-4
Let t be 0 - 6/9*-3. Let m be ((-2)/4)/(2/24). Let d = -3 - m. Solve -4*k = -d*s, 2*s + t*k - 10 = s for s.
4
Suppose -31*b - 2 = -32*b. Solve -b*l = -4*v - 6, -v - 3 = -l - 0*l for l.
3
Suppose -9 + 29 = 5*u. Solve -2*r = u*i - 4, 3*i - 3 = 4*r - 22 for i.
-1
Suppose 3*h = -0*h + 30. Let p be 34/(-4)*(-20)/10. Solve p = s - 4*v, -12 = -s + 5*v + h for s.
-3
Suppose -4*j + 8 = 0, 0*y + 13 = 3*y - j. Solve -y*l = -o + 20, -5*l - 20 = -3*o - 0*o for l.
-4
Suppose 0 = -3*u - 5*m - 16, 2*u - 5*m + 23 = 54. Let p be 2*u*2/6. Solve s = 2*v - p - 0, -4*v = -s for v.
-1
Let h = -179 - -181. Solve -5*p + 34 - 2 = 3*r, -2*r - h*p + 16 = 0 for r.
4
Let z(k) = -k + 2. Let r be z(-3). Let o = 26 - 18. Solve o = 4*x + 24, r*q = -x + 1 for q.
1
Let y be (0/(-2))/(-5) + 6. Solve -2*q = 4*v + q + y, 0 = 3*v + 5*q + 10 for v.
0
Let r = -10 + 15. Suppose -26 = -r*h + 2*x, -5*h + x + 11 = 4*x. Solve 10 = -2*t, 21 = -h*v - 3*t + 2 for v.
-1
Let x = -27 - -44. Let r be 16/(-32) + x/2. Solve 2*t = 2*n + 10, -5*t + 1 = 3*n + r for t.
1
Suppose 3*z + 2 - 8 = 0. Solve -h = 5*x - 17, 2*x + h - z = 3*h for x.
3
Let c(i) = -i**2 - 12*i - 11. Let y be c(-8). Solve 4*r + 7 = -4*l - y, 29 = -3*l - 5*r for l.
-3
Let c(n) = 4*n**2 + 2*n - 1. Let w be c(1). Suppose -2*u - 6 = 2*m - 6*u, 3 = w*m - 4*u. Solve -2*p - 5 = m*p - t, -p = -t - 3 for p.
-2
Let l(i) = -4*i**2 + 13*i + 2. Let q be l(3). Solve 13 = 4*r + 5*k, 0*r - 3*r = q*k - 11 for r.
2
Let