ve 5*p + 4*w = 32, 3*w + 5 + n = 5*p for p.
4
Suppose -n - 4*n = -25. Solve 0 = j - 5*j + 2*z - 2, -5*z = n*j - 35 for j.
2
Suppose 0 = 2*b - 8 - 8. Suppose 0 = -5*z + 15, 2*z = -0*x + x + 4. Solve -a + 20 = -5*t, -3*a = -0*t - x*t - b for a.
0
Suppose 2*p + 3 = -13. Let i(b) = -b + 2. Let a be i(p). Solve u + a + 1 = -2*j, -2*u = j + 10 for u.
-3
Suppose -4*j = 12, 2*x - 35 + 0 = 5*j. Suppose 2*m = -m. Let h be (m + 2)*(-3)/(-2). Solve -5*s = r + x, -r + 29 = -h*s + 3*r for s.
-3
Let u be -3 + (-3 - -7) - -1. Suppose u*i + 3 = -z, 0 = z + 5*i - 6*i - 6. Solve 0 = 4*d - v - v - 24, -4*d - z*v = -4 for d.
4
Suppose -o = 4*f - 7, 3*o = -2*f + 6*f - 27. Suppose -w + 8 = -2*x + 5*x, 6 = -2*w + 5*x. Solve 0 = -w*h - 8, -3*h + f = -n + 16 for n.
1
Let y = 12 - 10. Suppose 3*o + 9 = y*z, 10 = -3*z + 5*z - 4*o. Solve -f - 4*h + 13 = 1, z*f + 3*h = 0 for f.
-4
Suppose -47*n + 41*n = -12. Solve n*j - 14 = 2*r, 5*r + 25 = -2*j + 4 for r.
-5
Let z = 1 - -2. Let w(h) = h**2 - 4. Let n be w(-3). Suppose -n*u = 25, -q - 5*u - 10 = 6. Solve g + 5*f = 1 - q, -z*g + f = 8 for g.
-3
Let x = -8 + 6. Suppose -14 - 16 = 3*s. Let t = x - s. Solve -4*h - i = 3*i - t, 3*i = 15 for h.
-3
Let d(j) = -j**2 + 10*j - 6. Let l be d(9). Suppose -3*m = -2*g - 19, -2*m - 15 = -l*m + 5*g. Solve f - 17 = -0*f - m*c, 4*c - 28 = 4*f for f.
-3
Suppose -4*u = 36 - 12. Let w(l) = l**2 + 4*l - 8. Let n be w(u). Solve 2*t + 21 = -5*f, -2*f = -n*t + 12 + 6 for f.
-5
Let y(g) = -g**3 - 4*g**2 - 2*g + 1. Let r be y(-2). Let z be 1*(-1)/2*-16. Let u = r + z. Solve -i + 5*m = m - 10, -u*m - 2 = 4*i for i.
2
Let c(o) be the third derivative of o**5/60 + o**4/6 + 2*o**3/3 + 4*o**2. Let x be c(-3). Solve l = h + x, 0*h - 1 = -5*l + h for l.
0
Suppose -a - 4*a - 35 = 4*v, 0 = -2*a - 6. Let k = v + 10. Solve 2*y - 2 = 0, k*s - 14 = 3*y + 3 for s.
4
Let j(f) = f**2 + 6*f - 5. Let d be j(-7). Let h be (-1)/(((-7)/d)/7). Solve 5*u + 5 = -5*r, 1 = -3*r - 4*u - h for r.
-1
Suppose -3*c - 5*b + 4*b + 6 = 0, -2*c = 2*b. Solve -5*v - 25 = m - 5*m, m - 8 = c*v for m.
5
Suppose -3*w + 4*v - 58 = 0, -2*w + 6*v - 4*v = 40. Let n be w/(-8) - 24/32. Solve n*u - 7 = -3*g + 2*g, 0 = -g + 3*u - 8 for g.
1
Suppose 0 = 4*h + h - 3*s - 18, -4*h + 14 = -2*s. Solve 2 = h*q - m, -3*q = -5*m - 1 - 9 for q.
0
Suppose -2*l = 2*l + 4, 3*d + l = 83. Suppose -5*n + d = 8. Suppose 0 = -n*a + 4*t + 36, -2*a - 6*t = -2*t - 12. Solve 4*v - 2*x - a = -x, -2*v - 2 = x for v.
1
Let s(l) = -l**3 - 9*l**2 - 3*l + 42. Let y be s(-8). Let h = 0 + 10. Let z = 14 - h. Solve z*k - 10 = 2*n, 0 - 8 = -y*k + 2*n for k.
1
Let c = 9 - -16. Let q be 5*((-12)/(-5) - 2). Suppose 5*z - 24 = 2*z + 2*b, 5*z - 3*b - 39 = 0. Solve -f - 5 = q*a, -a + z*a = -c for f.
5
Let u(a) = -a**3 + 11*a**2 - a + 13. Let l be u(11). Let k be (3 - -2)/(0 + 1). Solve -2*h + k*v = 3 + 1, -l = h + v for h.
-2
Let n = 81 - 78. Solve -2*o - 5*s = -n*o + 16, -o - 5*s = 24 for o.
-4
Let l be (2/4)/(2/20). Suppose 5*f = 0, -2*h - 2*f + 33 = -5*h. Let o = -8 - h. Solve -o*t + 0*t + 10 = k, l*t - 35 = 2*k for k.
-5
Let b = 5 + -2. Solve 5*r = -d - 24, b*d + r = -20 + 4 for d.
-4
Suppose -i - 15 = 4*i. Let f be (i*1)/((-2)/2). Solve 0 + 28 = -4*n + 5*d, f*n = 5*d - 26 for n.
-2
Let y(s) = s**3 + 12*s**2 - 3*s - 18. Let n be y(-12). Solve -5*h + b + 31 = 4*b, -n = -2*h - 4*b for h.
5
Suppose 5*w + 6 = -9. Let v be (2*-3)/(-3) - w. Solve -v*h + 0 = 5, -2*h + 3 = -d for d.
-5
Let j = -34 - -39. Solve 6 = -3*l - l + 3*h, 5*l + j*h - 10 = 0 for l.
0
Suppose 16 = -3*b - 5*m, -5*b + 3*m + 30 = -0*b. Solve 15 = -2*s - b*s + 5*t, 7 = -4*s + 3*t for s.
2
Let m(p) = -p**3 - 6*p**2 + 16*p. Let a be m(-8). Solve 4*u + 4 = -2*j, j + 1 + a = -u for j.
0
Let q = -1 + -2. Let b = 15 + q. Solve 3*d = 4*x + d - b, 3*d = -2*x + 6 for x.
3
Let d be 4 + 0/(-1 + -2). Let c = -4 + 7. Solve -d*q - 6*w - 5 = -w, -3*w = -4*q + c for q.
0
Suppose 0 = -p + 2*p + 1. Let o = p + -8. Let l be 0 + 4 + 18/o. Solve 0 = -3*g - 3*i + 6, 3*g - 3*i + l = -4*i for g.
-2
Suppose 0 = -5*l + 27 + 73. Solve 3*g + 4*m = -l, -4*g + m + 5 = g for g.
0
Suppose 8 = 2*c - p, -c + 2*p - 6*p = 5. Solve -5*j + 3*l = 22, c*l = 2 - 5 for j.
-5
Suppose 0 = -2*x - q + 3, -4*x + 3*q + 24 = -q. Solve -4*t - 2*a = -12, -5*a + 3 + 13 = x*t for t.
2
Let o be ((-2)/4)/(3/(-12)). Let n(k) = 0 - 4*k + 1 - o. Let p be n(-1). Solve p*m - 7*g - 7 = -3*g, g = -4 for m.
-3
Suppose -3*l - 9 = 3*n - 39, 0 = 2*l - 5*n + 15. Solve 0 = -2*w + 5*d - 10*d - 13, 4*d = l*w - 17 for w.
1
Let b = -12 - -16. Solve 0 = 5*p - b*s - 2, s - 5 = -3*p + 3 for p.
2
Let l(v) = v**3 - v**2 - v + 42. Let i be l(0). Suppose -12 = -2*k + i. Solve 2*z = -8, 0 = -4*s + 2*z - 3 + k for s.
4
Suppose -3*l + 6 = 3*c, l - 11 = -2*c - 2*c. Let m = 35 + -32. Solve 0 = -c*d - m*a, -4*a - 3 = -d - 28 for d.
-5
Let d be (-175)/(-55) + (-2)/11. Suppose 8*k = 5*k. Solve k*q + q = 5*o - 19, -o = -q - d for o.
4
Let p be 0/2 + 0 + 72 + -41. Let x(s) = s**3 - s - 1. Let b be x(2). Solve -b*d - 4*h + p = 0, 0 = -3*d - d + h + 8 for d.
3
Suppose -2*m + p = 3, 4*p + 6 - 18 = -4*m. Let k = 166 - 162. Solve k*c - 5*n + 9 = m, -3*n - 2 = -5 for c.
-1
Suppose 3*d - 3*m = 9, 3*d - 1 = -4*m + 1. Solve 3*x + 3*z = x + 8, 4*x - 16 = d*z for x.
4
Let u be (-36)/(-14) + (-52)/91. Solve 0 = u*b - 3*f - 5, 5*f + 23 = -4*b for b.
-2
Let f = 10 + -14. Let n be 10/(f/(-2)) + -1. Solve -n*o - 2*t + 14 = -0, 5*t - 23 = -4*o for o.
2
Suppose -d - 5 = -2*y, 5*y - 9 = 2*d + 4. Let z be (12/(-4))/(-3)*11. Let i = -6 + z. Solve i*n + 8*r + 14 = 5*r, 0 = -y*n - r - 10 for n.
-4
Let n be (-14)/49 - (-16)/7. Suppose 2 = n*g - 2. Solve -5*o - 4*v = 30, -g*o = -2*v + 3*v + 9 for o.
-2
Suppose 7 = 3*p + 1. Solve 3*b + 4 = 4*y + b, 4*y - b = p for y.
0
Suppose -a - 4*y = 0, -2*a + 2*y = 3*y - 7. Solve -i = 3*m + i - 11, -a = -i for m.
1
Suppose 0 = -5*a + 15, -4*l - 5*a + 6 = -21. Solve -p - 2*g = l*g - 28, 5*g - 13 = 4*p for p.
3
Suppose -v + 15 = 2*p, -2*v + 0*p = -2*p. Solve 0 = -q + v*s + 1 + 4, -2*q - 3*s - 3 = 0 for q.
0
Let t(q) = q**2 + 1. Let x be t(2). Solve 5*f - 2*y - 21 = 0, -x*y + y = -4*f + 12 for f.
5
Let p(i) = -i + 6. Let u be p(6). Suppose 3*j + j = u. Solve j*z + y - 14 = -2*z, 5*y - 5 = 3*z for z.
5
Let m be (2/(-5))/((-1)/(-15)). Let w be 2/(m/(-15)) + 0. Let g = -7 - -12. Solve -3*n - p = 10, -2*p + g*p + 18 = -w*n for n.
-3
Let b = 25 + -17. Suppose -4*t - 4 = b*l - 4*l, 3*l + 3 = t. Solve -3*p - 5*v = 17, t = -0*p - 2*p - 2*v - 6 for p.
1
Let p be (-2)/(-3) + (-13)/(-3). Suppose 0 = -184*n + 175*n. Solve -p*m + 4*f - 11 = n, 6*f - 3*f = 3*m + 9 for m.
1
Let h(t) = t**2 + 11*t. Let y be h(-11). Solve -2*v - 2 = y, 3*g + 0*v + 3 = -3*v for g.
0
Let l be 4/20 - 68/(-10). Suppose l*a - 48 = 4*a. Let k = -1 + 2. Solve a = 3*t + k, 2*z = 2*t - 16 for z.
-3
Let p be ((-2)/4)/(1/2). Let u(x) be the third derivative of -x**4/2 - x**3/6 - x**2. Let d be u(p). Solve 2*t - t - d = 5*n, -2*n + 3*t + 6 = 0 for n.
-3
Let s(y) = 0 + 10 - y + 2*y. Let a be s(-7). Solve 8 = a*q + 2*c, 5*q - 16 = -3*c + c for q.
4
Suppose -c + 6 - 2 = 0. Let f be (-2 + -2 + 5)*8. Suppose -10 = -3*g - 4. Solve -5*h = -0*h - c*a - 6, g*a = -f for h.
-2
Let d = 13 - 10. Let w = 5 - d. Solve -w*u = -3*i - 9, -1 + 0 = 2*i - 3*u for i.
-5
Let s(z) = z + 4*z**2 + 3*z**2 - 6*z**2. Let t be s(-2). Solve -26 = 5*w - 3*o, -5*w + 4*w = t*o for w.
-4
Suppose 5*h - 16 = -d, -3*d + 0*d - h - 8 = 0. Let f(r) = r**2 + 3*r - 1. Let x be f(d). Solve 3*i = m - 8, -x = i - 3*m + 5 for i.
-2
Let a(q) = -q**2 - 9*q + 12. Let b be a(-10). Solve b*o + 3*d - 17 = -6, 0 = 5*o + 5*d - 25 for o.
4
Let s be (0/3)/(-2 - 0). Solve s*j - 5*j + 25 = o, 5*o + 3*j - 15 = 0 for o.
0
Let w be (5 - (2 - 0)) + 0. Suppose x - w*x + 4 = 0. Solve -k = -4*a - 18, -6*a - x*k = -a + 29 for a.
-5
Let c(l) be the first derivative of l**2/2 + 5*l + 1. Let j be c(-5). Let r = 159 + -151. Solve 3*b = -4*t + b - 16, j = 2*b + r for t.
-2
Let d be (2/6)/(2/36). Let c = d - 2. Suppose -4*h = 3 - 19. Solve -2*a + 2*s = h, -c*a + 0*a - 8 = -s for a.
-2
Suppose 4*q - 3*x = -12, 3*x - 8 = 5*q + x. Suppose -5*j + o + 29 = 0, -o - 4 + 10 = 2*j. Suppose -z = -q*z - j. Solve -6 = -4*f - 2*b, 2 - z = -f + b for f.
2
Suppose 0*h - 5*h = -25. Let c be 8/2 - (5 - h). Suppose 2*t + 4 - 8