8*s - o*s - 16, -5*l + 5*s - 10 = 0 for l.
1
Suppose -23 + 3 = -5*l. Solve 12 = 6*s - 2*s, 3*c - 24 = -l*s for c.
4
Let h(g) be the first derivative of -g**3 - g**2/2 + 2*g - 9. Let z be h(2). Let u = z + 15. Solve 4*d = -d + 4*v + 27, u = 2*d + v for d.
3
Suppose -223 = -4*k - 671. Let g = k - -118. Solve 0 = -5*b - 20, 5*b + 9 = -r - g for r.
5
Let d(m) be the first derivative of -m**4/4 + 3*m**3 - 9*m**2/2 + 12*m + 2. Let h = 1 + 7. Let i be d(h). Solve -x - 4*x = 2*v + 20, -i*v - x = 4 for v.
0
Suppose -4*h = 3 - 19. Solve -k + 0*k - h*z = 12, -k = -2*z - 12 for k.
4
Let r(m) = -3*m - 5. Let n be r(-6). Solve -a - 10 = -4*b, -1 = -4*a - 2*b + n for a.
2
Suppose -9*x + 39 = -6*x + 5*c, -3*c = 0. Solve -4*a - 3*b + x = 0, -5*a + 2*b + b = 4 for a.
1
Let v be 14/28 + -1*(-3)/2. Solve -v*y + 4 = p - 4*y, 0 = p - 3*y - 7 for p.
-2
Suppose 0 = -2*l + w - 4*w, -2*l - 4*w = 0. Solve 3*t + l = -4*m + 8, 3*m = 5*t - 23 for t.
4
Let u = 11 + -5. Suppose -u = -c + 4*t, 3*t - t = 3*c - 18. Let d be (-3)/((-3)/12*c). Solve 3*m = -0*i + 5*i + 40, 25 = 3*m - d*i for m.
5
Let i(p) = p**3 - p**2 - 3*p + 5. Let v be i(2). Suppose f + 4 = v*f. Solve 2*q - 23 = -5*m, 4*m + 0*q - f*q - 22 = 0 for m.
5
Suppose t + z - 70 = 5, -t - 3*z + 81 = 0. Let i be (13/(-3))/((-12)/t). Let y be -2 + 0 + i/2. Solve -3*g = 4*r - y - 9, 3*r = 3*g + 15 for g.
0
Suppose 4*l + 4*v - 16 = 0, -8 = -2*v - 6. Let x = -14 - -16. Suppose -5*y - o + 23 = -3*o, -2*y + 8 = -x*o. Solve -5*s = 3*p + l, -y*p + 2*s - 5 = s for p.
-1
Suppose 0 = -y - 2 + 19. Suppose 6*l - 5*l - 3*w - y = 0, -2*w = -5*l + 20. Solve 3*v = -2*o - v + 4, -2*o = 2*v + l for o.
-4
Let i(t) = -17*t - 170. Let w be i(-10). Solve -3*v + 6*p + 10 = 2*p, w = 2*v - 4*p - 8 for v.
2
Let w = -33 - -33. Suppose 0*a - 3*a - 5 = -5*f, 5*f - 20 = w. Let l = 5 + 0. Solve 2*j + n + 7 = -0*n, -5*n = -l*j + a for j.
-2
Suppose -3*o - 5*q + 302 = 0, o - 6*o - 4*q = -486. Let s = 96 - o. Solve 4*f + 3*g = 9, -s*f + f + 12 = 4*g for f.
0
Suppose 2*v - 7*v = 3*j - 22, 4*v = 5*j + 25. Solve 2*c = v*l - 10, -2*c = -4*l - c + 11 for l.
4
Let b(y) = -y**3 - 7*y**2 - 8*y + 2. Suppose -3*d = d + 24. Let u be b(d). Let k(i) = i - 12. Let g be k(u). Solve 3*x = -x + 2*m - 8, -3*m + 4 = -g*x for x.
-2
Suppose 5*u = w + 6, 0*u = -3*w - 4*u + 20. Solve 3*y + w*s + 11 = -0*y, -3*y = -4*s - 29 for y.
3
Suppose 6 = 5*u - 24. Suppose -c = 2*c - u. Suppose c*d - 36 = -4*d. Solve 0 = 3*t + 3*h + d, 5*t - 2 = -2*h + 3 for t.
3
Let k = -564 + 564. Solve k = -3*b - t + 15, 2*b - 5*b = 5*t - 15 for b.
5
Suppose 0 = -10*f + 14*f - 444. Let y = -99 + f. Solve -4*d + 2*h + y = 0, 0*h = -d - 4*h + 3 for d.
3
Let f be (-145)/(-58)*2/5. Solve -5*r + 9 = 3*j + f, 3 = -2*j + 5*r for j.
1
Suppose i - 2*i + 5*b = 10, 4*b = i + 6. Suppose -z = -5, 2*c - 3 = -z + i. Solve -7*t - 4*k = -2*t - 23, k - 14 = -c*t for t.
3
Suppose -w + 3 = -3*g, -2*w = -3*g + 8*g - 17. Suppose w*s - 12 = 3*s. Solve -8 = 4*t, 0 = v + 2*v + t - s for v.
2
Let o = 92 + -84. Let b be (-284)/(-16) + 2/o. Solve 0 = -k + 5*c + b, 4*k + 2*c + 12 = 2*k for k.
-2
Suppose -399*i - 40 = -409*i. Solve -5*t - 2 = -i*c - 3*t, -5*c + 4*t - 2 = 0 for c.
2
Suppose -4*r = 14 - 30. Solve -4*y = k - 0 + 7, 8 = -r*y for k.
1
Suppose 0 = -4*z + 27*z - 23. Let b(r) = 3*r**2 - r + 1. Let c be b(1). Let k be (5 - (4 - c))*z. Solve -4*v - 8 - k = 2*q, 2*q + 15 = -5*v for q.
0
Let i be 26/143 + 120/66. Solve 4*j = -2*d - d + 14, j - i*d + 2 = 0 for j.
2
Let u = -71 - -76. Solve 4*l + l + 5 = 0, 1 = 2*t + u*l for t.
3
Let v(m) = 19*m + 971. Let g be v(-51). Suppose o - 4 = 1, -5*s - 35 = -4*o. Let t = 3 + s. Solve t = z - g*z - 2*n, n = 2 for z.
-4
Let u(f) = 2*f - 14. Let y be u(7). Suppose -5*n = -4*c + 83, -3*n - c + 4*c - 48 = y. Let t = 23 + n. Solve -18 = t*b - 5*p + 12, -3*b = 5*p + 5 for b.
-5
Let h(i) = i**3 + 8*i**2 + i + 11. Suppose 0 = 2*l - 5*y + 21, y - 2*y - 39 = 5*l. Let g be h(l). Solve 4*d = -g*p - 14, 0 = -d - 4*p + 2 + 1 for d.
-5
Suppose -5*k + 2*m + 16 = 0, -k = -6*k - 2*m + 4. Solve 0 = 5*d - 4*a - k, 3*d - a - 3*a + 2 = 0 for d.
2
Let k(c) = 29*c - 55. Let m be k(2). Solve 3*s - 5 = w + 2, 3*w = -m*s + 3 for w.
-1
Suppose 10 = 5*n - 5*v, 4*n - 5 = -0*n + 5*v. Solve -5*a - 10 = n*o, 5*a = -2*o - o for o.
-5
Let b = 526 - 524. Solve -1 = -w + d, 3 = 5*w + 2*d - b for w.
1
Let q be (0 - (-28)/10) + 12/60. Solve -b + 4*z + 5 = -4*b, q*z + 30 = 3*b for b.
5
Let t be 9*1/((-3)/118). Let s be (-1)/(-3) - t/18. Suppose -3*k + 4 = -s. Solve 0 = -4*c + k, 4*c + 4 = 3*a for a.
4
Let c(w) = 42*w**2 + 1. Let p be c(1). Let j = p + -17. Let a = -18 + j. Solve 0 = 2*m + a, 4*b + 4*m + 6 = -b for b.
2
Let l(c) = -3*c - 13. Let m be l(-5). Let k be (6/(-4) - m)/((-14)/28). Solve 5*n = -q + 10, 2*n = 4*q + 33 - k for n.
3
Let k(t) = -2*t. Let o be (-2)/((0 - -1)/1). Let v be k(o). Solve -6*h - 4*x = -h - 30, 0 = v*h + 2*x - 18 for h.
2
Let j(m) = m**2 + m. Let g be -2*(-1 + -6 - 2). Suppose 0 = 3*v + g - 21. Let r be j(v). Solve -5*k - r - 2 = 4*n, n - 3*k + 1 = 0 for n.
-1
Let b be 2/(-6)*(-42)/2. Let d(j) = j**2 + 84*j + 926. Let k be d(-13). Solve -5*n + 2*f + b = 16, 5 = k*n + 4*f for n.
-1
Let s be -2 + -1 - 200/(-10). Let f(i) = -i**3 + 16*i**2 + 18*i - 12. Let r be f(s). Solve -5*u = r*p, p - 3 = 3*u - 19 for u.
4
Let f = -7 - 0. Let t be 13 + -3 + f/((-28)/16). Let n(p) = 4*p - 3. Let d be n(2). Solve 0 = 3*a - m + 2*m + t, d*a - 5*m = 10 for a.
-3
Let t(k) be the second derivative of k**5/20 - 2*k**4/3 + 4*k**3/3 - 3*k**2/2 - 6*k. Let x be t(7). Solve 0 = x*r - 4, 2*o = -2*o - 3*r - 1 for o.
-1
Let t(z) = 23*z - 5. Let u be t(7). Let p be 78/u*(9 - 2/(-2)). Solve 4*v - 11 = -p*m, -4 - 8 = -3*v for m.
-1
Suppose 3 = v, 4*y - v - v + 26 = 0. Let r = 6 + y. Suppose -213*h = -214*h + 6. Solve 3*w + 0 - r = 2*k, -2*w = h for k.
-5
Let m be (-2 + (3 - 6))/(-1). Suppose 5*o = -5*o + m*o. Solve o = -a - 3*k - 18, k = -5*a + 3*k - 5 for a.
-3
Let m(o) = -o**2 + 11*o + 2. Let u be m(7). Let v = u + -20. Solve -n + 14 = z + 2*n, -5*z + n - v = 0 for z.
-1
Let p = -293 - -300. Suppose 3 - 48 = -5*o. Suppose b + o = 4*b. Solve -2 - p = -3*u - 3*s, -b*u = -3*s - 15 for u.
4
Let m(j) = 2*j**2 - 5*j + 1. Let a be 66/12 + (-1)/2. Suppose -5*u + a*k = -30, -5*u = -u - 5*k - 26. Let r be m(u). Solve 2*d + 3*h = -r, -h + 0 = 5 for d.
1
Let p(k) = -2*k**2 + 2*k - 3. Let a be p(5). Let q be 34/(-85) + a/5. Let b be 3/(-12) + q/(-4). Solve 3*r - b*w - 18 = 0, 0*r - w - 15 = -3*r for r.
4
Let h(g) = 3*g + 43. Let r be h(-13). Suppose -3*o + 52 = o. Let q = o + 10. Solve 0 = 4*z + 2*y - r - 18, 5*y = -2*z + q for z.
4
Let s(d) = d**3 - 6*d**2 - 3*d + 3. Let c be s(6). Let z = c - -21. Suppose 0 = 2*j - 4*q, -j + z = -q + 3. Solve g = 5*f - 16 + 4, f + j = 3*g for g.
3
Let c be (-6)/21 - (-88)/14. Let d = c + -13. Let i = 15 + d. Solve -2*h - b + i = b, 0 = 2*h + 4*b - 18 for h.
-1
Let w = 15 - 3. Suppose 0 = -3*c + 3*t, -2*c + w = 6*t - 2*t. Solve 3*s - 13 = -4*l + c*s, l = -2*s - 2 for l.
4
Suppose 0 = -17*w - 15*w + 36*w. Solve -r - 7 = 5*f - 3*f, -4*r + 4 = w for f.
-4
Suppose -3*a = -5*f - 31, -5*a + 26 = -2*a - 4*f. Let l(w) = 3*w + 4. Let n be l(a). Solve -3*j + i + 5 = 0, 2*i = 4*j - i - n for j.
1
Let c = 44 - 36. Let r(d) = 0*d**2 + d - 4*d + d**2 - 5*d + 6. Let y be r(c). Solve -5*a - 2 = -y*a, -4*x = -5*a + 2 for x.
2
Suppose 18*k = -0*k + 144. Let n(a) = -2*a - 2. Let q be n(-3). Suppose 0 = q*t - 8*t + k. Solve 5 = -5*p, -m - 4 = t*p + 3 for m.
-5
Suppose 3*s + 10 = 7*s - 2*n, -3*n = -s - 10. Solve -s*t - 23 = l, 0*l - 4*t - 13 = -l for l.
-3
Suppose -4*h = 3*g, 4*g - 14*h = -18*h + 4. Let o(j) = 2*j**2 - 2*j - 1. Let x be o(2). Solve -x*a = -5*f - g*a - 2, -5*a = 10 for f.
0
Suppose 8 = -i + 2*t, 4*t = -8*i + 13*i + 10. Let n = -3 + 7. Solve 3*y - n*q + 12 = 0, i*y - 5*q + 15 = -2*y for y.
0
Let s = -750 - -765. Solve 2 = -2*v, s*m + 5 = 13*m + 5*v for m.
-5
Let k = 1669 + -1663. Solve k = 2*j + 5*i - 12, j + 2*i - 8 = 0 for j.
4
Let h be 57/456 + (-31)/(-8). Solve 9 = -h*y + 2*q - q, -3*q = -3 for y.
-2
Suppose 5*b = -9 + 89. Let c = -71 - -75. Suppose -4 = -c*g, 4*p - 7 = -g + 2*g. Solve 0 = 4*l - p*t, -3*l + l + 5*t = -b for l.
-2
Suppose -9*r = -6*r. Solve 0 = -4*v - r*j - 3*j, 0 = 4*v + 5*j for v.
0
Supp