-2*s - 20 = -4*d for d.
3
Let x(l) = -l**3 + 4*l**2 + 4. Let y be x(4). Suppose -y*s = s. Solve -h + s*h + 4*f - 18 = 0, 14 = -h + 3*f for h.
-2
Suppose 3*p - 4*u = 16, 3*u - u - 12 = -p. Let n be 1 + p/(-4) - -9. Solve -5 = -2*w - 3*c + 2*c, n = 3*w + c for w.
3
Suppose -4*a = -9 - 3. Suppose -a*d = 4*b - 4 - 6, 5*d = -4*b + 6. Solve -5*t - k = -t + 6, 5*t = b*k + 3 for t.
-1
Let b = 15 + -13. Solve b = r - 3*z - 2, -5*r = -5*z - 20 for r.
4
Let v = 154 - 142. Solve 3*n + 8 = 2*m - 3*m, -3*m = -3*n - v for m.
1
Let c(i) = -13*i - 6. Let y be c(8). Let h be (-2 - -1)/(5/y). Solve 4*w = 2*p - 0*p + h, -p = -w + 7 for p.
-3
Suppose 6 = 3*x - 3. Suppose -3*d = t + 6 + 2, 3*d - 8 = -5*t. Solve 0 = -t*k - q - x*q + 4, 0 = q for k.
1
Let s = -26 - -18. Let g = s + 12. Solve -31 = -3*w + g*u, -2*u - 21 = -2*w - 3 for w.
5
Suppose -6*u = -4*z - 3*u - 13, 0 = 5*z - 4*u + 17. Let t = -2 - -4. Let i = t - z. Solve 3*c + 3*l = -0*l - i, 0 = 2*c - 5*l + 9 for c.
-2
Suppose i = 20 - 20. Solve i = -q - 3*q + m, -5*q = -4*m - 11 for q.
-1
Let b be 1/3*24/2. Let a = 34 - 30. Solve -b*r + 16 = -0*r + 3*j, -r + a = -5*j for r.
4
Suppose -f = -4*f + 12. Suppose 0*h + h = 4*b - 10, f*h + 2 = -3*b. Solve 3*a + 3 = b*j, -5*j + 0*j + 5*a + 5 = 0 for j.
0
Let k(w) = -w**3 + 5*w**2 + 7*w - 6. Let v be k(6). Suppose -3*f + 7 + 23 = v. Solve -4*c + 2*n - f = -2, -c + n = 2 for c.
-2
Let o(q) = q + 5. Let a be o(-5). Let w be 0/((a - -3) + -5). Solve -3*v - 6*f + f + 19 = 0, w = 5*v + 3*f - 5 for v.
-2
Let s(k) = -12*k + 1. Suppose -2*i = -4*i. Let p be 0 - i - 6/6. Let v be s(p). Solve 6*c - c - v = -d, 4*d + 8 = 0 for c.
3
Let i(l) = -3 - 9*l + 2 + l. Let w be i(-1). Solve -2*s + w*s + 2*q + 2 = 0, -s = -2*q + 10 for s.
-2
Suppose 0*k = -2*k + 6. Suppose k*m = -5*r - 57, 3 - 24 = r + 3*m. Let d = 13 + r. Solve -5*q - 1 = d*i - i, -4*i + 12 = 0 for q.
-2
Let v(a) = -6*a - 4. Let y be v(-3). Suppose 0*r + r - 2*h = y, 0 = -r + 3*h + 17. Solve -3*p + 2*j + 8 = -3, 4*p + r = -3*j for p.
1
Suppose -2 = -4*o + 6. Solve 3*w = 0, 0 = 2*u - 5*w + 8 - o for u.
-3
Suppose 3*m = -2*m + 15. Let w = 2 - -2. Suppose -c - w*c - 7 = 4*q, 5 = -5*q - 5*c. Solve -5 = -5*j, -m*t = -q*j + 5*j - 6 for t.
1
Let m = -2 - -3. Let i(v) = -2 + 2 - m + v + 2. Let z be i(2). Solve 5*g + 2*x + 15 = 0, -2*g - 5 - 1 = z*x for g.
-3
Let v be 4/22 + (-6)/33. Suppose 18*f - 380 - 232 = 0. Solve -3*h + f = 5*k, -3*h + 2*k = -v*h + 1 for h.
3
Let o be (-3 + 2)*(-7 - -2). Suppose -3*i - 8 = -5*h, o*h - 4*h = i. Suppose 4*f - 19 = -3*u, -13 = 5*f - h*u - 29. Solve 5*a = f*r - 3, -a - 3*r - 9 = 3 for a.
-3
Let n = -9 + 15. Let b(a) = a**2 - 7*a + 9. Let j be b(n). Solve 0 = -3*t + 4*x - 4, 0 = -3*t - 0*x - 3*x + j for t.
0
Suppose -3 = -4*y - 5*s, y + 5*s + 4 - 1 = 0. Solve -3*p - 18 = -3*i, i + y*p = 3 - 0 for i.
5
Let d = 5 + -6. Let s = d + 4. Let r be s/(-5) - 26/(-10). Solve -1 - 9 = -2*x + 2*v, 12 = 4*x - r*v for x.
1
Suppose -20 = -4*v - 4. Solve 5*l - 15 = 0, 0 = v*r + r - 3*l - 16 for r.
5
Suppose 0*f + 42 = 3*f. Let p = 15 - f. Solve -3*r - 8 = -z - p, -5*r - 45 = 5*z for z.
-5
Suppose 33 = 2*m + m. Let v = -15 + m. Let n be ((-8)/10)/(v/20). Solve 24 = -n*j + 4*u, -3*j - 6*u + 3*u = 6 for j.
-4
Let i(x) = -x**2 - 6*x - 4. Let z be i(-4). Solve -23 = -h + 5*h - w, z*h = 5*w - 35 for h.
-5
Let i = -25 - -30. Solve -3*t = 5*a - 18 - 5, i*t + 5*a = 25 for t.
1
Suppose 4*v + 0*v = -5*u + 23, 3*u - v = 7. Let p = 2 + 1. Suppose p*r + 4*x = 23, 4*x - 3 - 22 = -5*r. Solve 3*b + 0 - r = -2*s, -u*b = 4*s - 5 for b.
-1
Let g be 0/(0 - 1 - 0). Suppose t - 20 = -4*t. Solve g = -i - b - 1, -2*i - t*b = 1 - 7 for i.
-5
Suppose 0 = -6*p + 2*p. Suppose 3 + p = a. Solve -5*g + 2*g = a*h + 3, 45 = -5*g + 5*h for g.
-5
Suppose -2*u = -16 - 4. Solve 0 = 3*z + 5*t + 28 - u, 4*z + t = -7 for z.
-1
Let w(o) = -3*o**3 + 9 - o**2 + 0*o**3 - 8. Let p be w(-1). Solve -t - c - 2*c + p = 0, 4*t + 5*c + 2 = 0 for t.
-3
Suppose 6*t - t = -30. Suppose 17 = -3*x - 2*c, 20 = 2*c - 7*c. Let d = x - t. Solve -d*p + 5*n = 10 - 2, 5*n = 5*p + 10 for p.
-1
Let s = 7 + -4. Let k = -26 + 36. Suppose g = 5*w - 25, 2*w - 2*g = -7*g + k. Solve a = -a - y + s, 5*a + 15 = w*y for a.
0
Suppose 3*z - 96 = -3*z. Solve -4*q - z = -2*s, -2*s - 8 = 2*q - 5*s for q.
-4
Let f(o) = -3*o. Let j be f(-4). Solve -g + 1 = -3*c + j, -c + g + 7 = 0 for c.
2
Let x(w) = w - 7. Let z be x(7). Solve -13 = -3*o - 5*l, -3*o + z*l = l + 7 for o.
-4
Let i(u) = u**2 + 7*u + 3. Let s be i(-7). Solve g + 2*r = -9, 4*g + r + s = 2 for g.
1
Let m(v) = -v**3 - 3*v**2 - v. Let c be m(-3). Solve 13 = 5*p - 4*x, -c*x + 5 = -p + 1 for p.
5
Let s(a) = 4*a**3 + a - 2. Let h be s(1). Solve 0 = -h*i - 3*y + 18, 5 = i + i - 5*y for i.
5
Suppose -m + 2 = 5*j, -5*j = -0*m - 2*m + 19. Solve 0*l + 3*u + 9 = 4*l, -4*u + m = l for l.
3
Let p be (-10)/(-35) + (-12)/(-7). Solve 16 = 5*s + p*u, -4*s - 6*u + 23 = -u for s.
2
Let n = 37 - 62. Let c be (-17)/(-5) - (-10)/n. Solve a + 2*p = -p + 10, -c*p + 14 = 5*a for a.
1
Suppose -j + 4*b + 29 = 0, 0*b + 5*b = -5*j + 270. Suppose 4*i = -23 - j. Let z be (-3)/9*i/2. Solve -z*k - 28 = -5*g, -4*k + 9*k - 20 = -5*g for k.
-1
Suppose 2*l - 37 = 5*j, 0 = 5*l - 4*j - 63 + 13. Solve -17 = 4*o + 5*u, -5*o + l*u - 13 = 4*u for o.
-3
Let c(p) be the second derivative of -p**4/12 + 11*p**3/6 + 3*p**2 - 2*p. Let x be c(11). Solve f - z - x = 0, -9 = -3*f + 5*f + 5*z for f.
3
Suppose -5*m + 8 = -37. Let s = m + -4. Suppose f = -2*f + 2*y + 13, -10 = -3*f + 5*y. Solve -f*g + 3*i = -13 - 5, -2*g + s*i + 11 = 0 for g.
3
Suppose -120*c = -123*c + 27. Solve 0 = -5*w - 5, 0*f + 2*f - w - c = 0 for f.
4
Let f = 10 + -18. Let d = f + 10. Solve 6*v - 3*u - 5 = d*v, -2*u = -v - 5 for v.
5
Let q be 7/(-14) - (-78)/4. Suppose u = 4*o - q, u + 1 + 2 = 0. Solve -2*i - k + 0*k + 8 = 0, 2*i - o = k for i.
3
Let d be 204/21 + (-2)/(-7). Let p be d/(-45) + (-2)/(-9). Solve -12 = 5*n - n - 2*l, p = -3*n + 4*l + 1 for n.
-5
Let w(d) be the first derivative of -d**4/4 + 14*d**3/3 - 6*d**2 - 10*d - 2. Let n be w(13). Solve 17 - 6 = n*k + s, -7 = -3*k + s for k.
3
Let c be 4 - 1 - (-1 + -1). Suppose 2*s = c*s. Let k(h) = h**2 + h + 1. Let f be k(s). Solve 0*j = 2*j - 3*o - 3, 0 = o - f for j.
3
Let j(g) = g**3 - 6*g**2 - 27*g + 4. Let l be j(9). Solve -l*f - 12 = -3*b, 4*f = -b - 0*b - 12 for f.
-3
Let w(a) = 3*a**2 - 2*a - 2. Let z be w(2). Let s be 0/(z/(-2)) - 1. Let d be 1 - (1 - 3 - s). Solve d*b - 7 = k, -2*k + 5*b - 20 = -2 for k.
1
Let w(p) be the third derivative of -p**6/120 + p**5/60 - p**3/2 - 5*p**2. Let v be w(-2). Solve v = 3*q + 5*x, 5*x - 9 = 3*q + 4*x for q.
-2
Let s(m) = m**2 - 1. Let f = -7 - -7. Let b be s(f). Let n = b + 4. Solve n*p = -5*u + 22, 4*u - 10 = 2*u for p.
-1
Let s(k) = -3*k + 2*k + k + 10 - k. Let p be s(7). Solve 15 = 3*f + 3*i, p*f + i + 4*i = 25 for f.
0
Suppose 5*m = 27 - 2. Solve 1 = -4*z + t, m*z + 6*t - 4*t - 15 = 0 for z.
1
Suppose 5*f = x - 38 + 209, 0 = 4*x - 16. Suppose 7*a + 0*a = f. Solve -h - 2*y - a = -0*h, y = -3*h + 10 for h.
5
Let o = -24 - -16. Let g = 16 + o. Suppose -m + g = 3*m. Solve 35 = 5*n - 5*r, m*n + 8 = 4*n + r for n.
5
Suppose -25 = -2*i - 3*i. Suppose -98 - 42 = -5*s. Solve -i*c = 4*k, 2*c - k + s = 3*k for c.
-4
Let r(i) = -i**2 - 4*i + 5. Let b be r(-4). Let g = b + -2. Suppose 4*y = -5*n - 7, -y + g*n + 17 = -2*n. Solve 2*h + 5*f = 15, -y*f + 1 = -2*h - 19 for h.
-5
Suppose 5*y + 11 = 31. Solve f - y*x + 3*x = 2, -16 = -2*f - 2*x for f.
5
Let x be 0/((-3)/(6/4)). Let d be 1 - -4 - x - 1. Suppose -o = -d*a + 13, 2*o = 5*a - 2 - 15. Solve 4*s + 0 - 10 = -2*h, s + a*h = -5 for s.
4
Let y = -6 - -13. Suppose -4*g + g = 3. Let f = g + y. Solve j - f*j = 4*w + 26, 4*j = -w - 12 for w.
-4
Let i = -40 + 45. Let d = -1 + 1. Solve 28 = -d*u - 2*u + 4*h, 0 = 2*u + i*h - 17 for u.
-4
Suppose 4*s + 5*a + 8 = 0, 3*a + 24 = 7*s - 3*s. Let t(f) = -f**s + 5*f - 6*f - f**3. Let o be t(-1). Solve o*l = -15, -8 = q + q + 2*l for q.
1
Suppose -3*f = -f - 2. Let l = f - -4. Let j be 3/4*4*1. Solve -c = c - j*s - 6, -26 = 2*c + l*s for c.
-3
Let b be (1 - 1) + (-4 - -4). Let p = 0 + 2. Let a(c) = -c**2 + 2*c + 2. Let y be a(p). Solve 7 = -z + s + 1, b = -5*z + y*s - 15 for z.
-1
Let n be 0/(4/(20/(-5))). Solve n = 5*o - v - 5, -o