-y*v + u*v + k, 4*k = 4*v - 24 for v.
4
Suppose 32*t - 34*t + 8 = 0. Solve 4*z - p - 2 = 0, 0 = 2*z + 5*p + t + 6 for z.
0
Suppose -1 = -s + 4. Solve -2*l = s*d - 18, 4*d - 28 = 3*l - 8*l for d.
2
Let p(y) = -y**3 - 3*y**2 + 4*y + 2. Let o be p(-4). Suppose -o*c - 3*c = -15. Suppose -g = -c*g + 38. Solve -g = -2*i - w + 6*w, w = -5*i - 20 for i.
-3
Let x(w) = 2*w**2 + 15*w + 10. Let r be x(-7). Solve q = -g - 1, -4*q + 9*q = -r*g - 7 for q.
-2
Let k be (10/(-4))/((-8)/16). Solve 5*c - 3 + 0 = -3*l, 0 = -k*l - 3*c - 11 for l.
-4
Suppose -16*t = -20*t. Solve 4*u + 5*g = -0*u + 29, -2*u + 5*g - 23 = t for u.
1
Let i be (9/4)/((-6)/(-32)). Suppose 3 = -3*u + i. Solve -u*p + 4*q = -9, -17 = 2*p + 4*q + q for p.
-1
Suppose -f + 4*f - 12 = 0. Solve 0 = -f*k + 8, 0*d - 6 = 3*d - 3*k for d.
0
Let q(a) = 8*a - 4. Let v be q(2). Solve -2*y = 3*k - 5*y + v, 2*k = -4*y - 2 for k.
-3
Let d be (1/(-5))/((-3)/15). Suppose -5 - d = -i. Solve 5*g - 21 = -h, 4*g - 14 = -4*h + i*h for h.
1
Let c be (30/24)/(1/(-4)). Let n be 2/(-10) + (-76)/c. Solve -2*p + t + 0 = -9, -4*p + t = -n for p.
3
Suppose j = 4*j. Suppose j = -3*l + 14 - 2. Solve -g + 0*g + 1 = 0, -l*u = -2*g - 10 for u.
3
Suppose 0 = 3*s - k + 1 - 0, 1 = k. Suppose d + s*d + 3*v - 19 = 0, 5*v = 2*d + 17. Solve -d*y + 4 = 0, 4*i + 19 = -2*y + 5*y for i.
-4
Let l be 8/(-28) - 48/(-21). Solve 0*u - 2*u = -4*d - 10, -20 = l*d + 4*u for d.
-4
Let x be -2*2/((-12)/3). Suppose 3 = -4*l - p + 2, -x = p. Solve v - y - 4*y - 10 = l, -4 = -3*v + 2*y for v.
0
Suppose 5*f = 3*p + 30, 0*f = 2*f + 4*p + 14. Solve -3 = -2*d + 2*c - 5, 8 = -f*d + 4*c for d.
4
Suppose -2*m + 0*m + 4 = 0. Suppose -5*v = -5*i - 25, 5*v - m*i - 12 = 2*v. Suppose -6*a + v*a = -8. Solve -3*r - w = -5*w - 1, -3*w - a = -2*r for r.
-5
Let w = 1 + 14. Let u(k) = 29*k + 5. Let y(f) = -6*f - 1. Let m(i) = -2*u(i) - 11*y(i). Let x be m(3). Solve w = 3*p + 3*r, 0*p = -5*p - 4*r + x for p.
5
Suppose 29 = 5*d + 4. Suppose d*m - 2*m + 5*c + 13 = 0, 2*m = 4*c + 28. Let f(n) = n + 1. Let u be f(5). Solve -b - 4 = b - t, m*b + u = 3*t for b.
-3
Suppose 0 = 7*d - 84. Solve -2*o = d - 2, -2*o = -3*k + 19 for k.
3
Let v(p) be the first derivative of -3*p**4/4 + p**3 + p**2 + 2*p - 1. Let a be v(-2). Let y = -6 + a. Solve -3*d - 4*l + 32 = 0, 2*d - 4*d - 4*l + y = 0 for d.
4
Let v(y) = 2*y**2 + 10*y + 8. Let x be v(-6). Let i be (x/(-25))/(2/(-5)). Solve 0 = -5*r + 4*l - 3, 4 = r - 3*l - i for r.
-3
Let c = -18 + 21. Solve y - 5 = 5*d - d, 2*y - 10 = c*d for d.
0
Let x(v) = v + 2. Let k be x(-1). Solve -13 = -4*l - b, -l - 2*b + 4 = -k for l.
3
Suppose 3*n + 3*u = -3 - 9, 0 = n + 3*u + 14. Let f be -1 + n + -2 + 7. Solve x + 5*t = 30, f*x = 3*x + 3*t - 5 for x.
5
Let h(j) = -j**3 - 9*j**2 + 11*j - 5. Let q(w) = w**3 - w. Let b(o) = h(o) + 2*q(o). Let n be b(8). Solve 0 = -2*u + 3*y - 3, y - 1 = u - n*u for u.
0
Suppose -p + 33 = 2*p. Suppose -21 = -3*u + k + 2*k, -u = -3*k - p. Solve b = -2*g - 1, b + 6 = 3*g + u for g.
0
Suppose -5*g = 3*w - g + 7, 8 = 4*w + g. Let i be (-8)/(1 - (-3 - -6)). Solve -5*d - 17 + 47 = -w*t, -37 = -i*d + 5*t for d.
3
Suppose -l + 1 - 4 = 0. Let g be 3 + (-1 - l) + -1. Solve 5*t = -g*d + 16, 3*t - 12 - 4 = -4*d for t.
0
Suppose 0 = 27*a - 26*a - 3. Solve b = 4*y + 16, -a*b + 16 = b for y.
-3
Let t(o) = o**3 + 6*o**2 + 6*o + 6. Let k be t(-5). Solve -5*m = -b - 8, b + 0 = -4*m + k for m.
1
Let m be (-216)/22 + (-4)/22. Let y = -9 - m. Solve -r - y = 2*h, -4*r - 7 = -r + 4*h for r.
-5
Let r(h) = 2 - 2 + h**2. Suppose -2*k = a - 0*k - 6, 2*a = 3*k - 16. Let c be r(a). Solve 6*u - c*q - 17 = 3*u, 0 = 3*q + 6 for u.
3
Let p = -7 - -10. Suppose 2*d = -p*d - 15. Let v be (-1)/2 - d/6. Solve v = a + 3*c + 3 - 0, -4*a = -5*c + 12 for a.
-3
Let k(m) = -m**2 - 6*m - 4. Let f be k(-5). Suppose 0 = -u - f + 3. Solve -v + 3*c + 2 = 0, 0 = -2*c + 4*c + u for v.
-1
Suppose -83*g = -85*g + 4. Solve s = -2*p, 2*s - g*p + 16 = 2*p for s.
-4
Let w(u) = u**3 + u**2 - u + 10. Let j be w(0). Solve 0 = -2*d + j, -r - 3*d = -0*r - 11 for r.
-4
Suppose 2*l - 4*q - 6 = 0, 5*l - 3*l + q = 11. Suppose -5*x - v + l*v = -24, 5*v + 13 = 2*x. Let j = x - 2. Solve 0 = 3*n + j*g - 7, 2*n - 3 = 5*g - 11 for n.
1
Suppose 0 = -5*z + 7*z. Suppose -3*p - g + 0*g = -5, g + 4 = z. Let o be (-13)/(-5) - 6/(-15). Solve -3*n + 3 = p*a, -16 = o*n + 2*n - 2*a for n.
-2
Let z(r) = 5*r**3 + 2*r - 1. Let p be z(1). Suppose 3*g - p = 3. Solve w - 3*a + 4 = -2*a, 4 = -5*w - g*a for w.
-2
Suppose v = -2*n + 11, -v = -5*n - 2*v + 35. Suppose 10 + n = 3*c. Solve 3*l - 3*p = -c, 7*l + 2*p = 3*l - 26 for l.
-5
Let t = 7 - 3. Suppose h = -h + t. Suppose -q + 5*q + h*j - 12 = 0, 5*q - j = 8. Solve q*w + w + 13 = 4*g, -2*g + 14 = -4*w for g.
1
Let o = -20 + 38. Suppose -k + 4*k - o = 0. Let j = k - 2. Solve 3*s + p + j*p + 18 = 0, 4*p + 10 = 2*s for s.
-1
Let y = 65 + -45. Let b be (-32)/y + 4/(-10). Let v be -5 - -6 - (-1 - b). Solve u + s + 3 = v, -u - 3*s - 3 = -s for u.
-3
Let q be 19/4 - (-1)/4. Suppose -2*j - 875 = -7*j + 5*n, 5*j = -n + 869. Suppose j = 4*i + 54. Solve 4*m - q = 3*b, 0 = -m - 0*b - 5*b + i for m.
5
Suppose 0 = f + 3 - 11. Suppose f*b = 3*b. Let l be ((-16)/2)/(b + -2). Solve 2*m - l*k + 2*k = 10, -m - 1 = 2*k for m.
3
Let u = -19 + 27. Let l be ((-2)/(-6))/(3/18). Suppose 5*s - 27 = -4*k, 5*k - 16 - l = -s. Solve -3*r + 5*z + s = 0, 1 = r - u*z + 4*z for r.
1
Let s be (-33)/9 - (-2)/(-6). Let i = s + 8. Solve -k - k - 2 = i*w, 5*w - 11 = 2*k for k.
-3
Let y(p) = -p**3 + p**2 - 2*p + 1. Let g be y(1). Let k = g - -13. Solve -2*f - f + 3*c + k = 0, -5*c = 2*f - 8 for f.
4
Suppose 6 = 12*k - 9*k. Solve -v - 3 = k*g - g, -8 = g - 4*v for g.
-4
Suppose -2 + 14 = 6*q. Solve 0*p + 5*p - q*k + 15 = 0, -3*p = -4*k + 23 for p.
-1
Suppose -4*p - 1 = -9. Let z be 4/(-22) + (-144)/(-66). Solve p*y - z = g - 6*g, -y - g - 2 = 0 for y.
-4
Let k = 5 + -2. Suppose -14 = -2*x - 4. Solve i + x = -3*g, k*g = -4*i + 3 - 5 for i.
1
Let f = 5 + -4. Let k be (-21)/(-7) + f + -2. Solve h = -k*h - 2*o - 12, -4*h = -o + 16 for h.
-4
Let b be (-3)/1*(-1)/1. Suppose 30 = 5*f + 5*g, -5*f - 2*g + 4*g - 5 = 0. Let m be 1*(1 + 0 + f). Solve b*v + 0 = -t - 5, -v + 3 = -m*t for t.
-2
Suppose -4*o - 4*q + 0*q = -104, -3*q = 5*o - 138. Solve w = -p - 3*p - 15, 3*w = 3*p + o for w.
5
Suppose -4*l - 10 = -9*l. Let f = -4 - -7. Let s = 4 - -12. Solve 4*v - l*i = -f*i + s, 2*i = -8 for v.
5
Suppose -6 = -3*h - 3. Let v be (1*-14)/(-2) - h. Let w be (-8)/4*v/(-4). Solve -w*o + 5*o = -2, -3*o = -m + 1 for m.
-2
Suppose -4*r - 4*h = 0, -3 = r - 0*h + 2*h. Suppose -i = r*m - 17, -4*i + 2*m - 38 = -8*i. Solve 2*b + 3*q + 17 = 0, 0 = -3*b + 5*q + i + 14 for b.
-1
Let w = 2 + -18. Let o be (-272)/(-9) - w/(-72). Solve -l + o = -2*l + 5*v, -5*l - v = 20 for l.
-5
Suppose 0*s = -2*s. Suppose s = c - 5*c. Solve -2*x + 3*k = -13, -k + c*k - 6 = -x for x.
5
Suppose 0 = 4*c - 7 - 1. Suppose 4*s = -c*b + 22, 4*b - 5*b + 4*s = 13. Solve b*a + 7 = -d, -a = -4*a + d - 17 for a.
-4
Let t = 27 - 18. Let k be t/5*35/7. Solve 0*l + 4*z + k = l, l + 5*z = -9 for l.
1
Let k be 0/(4 + 4/(-2)). Let w be 0 + k + 2 - 0. Solve -3*r + 4 = 4*i, 5*i = -0*i - w*r - 2 for i.
-2
Let x(v) = v**2 - 2*v + 9. Let n be x(7). Let r = -29 + n. Solve 0 = 5*z, -4*s + z - r = -s for s.
-5
Let m be 10/4 - 7/14. Solve 4*f - 8 = m*a - 28, 4*f - 5*a = -32 for f.
-3
Let a(i) = 4*i + i**2 - 2*i - 3*i + 3 - i**3. Let k be a(0). Solve n + 20 = 2*l + 4*n, k*n = 12 for l.
4
Let u be (-2 + (-1 - -3))/3. Let y = u + 2. Solve 17 = 5*l + y*z, -3*l - 2*l + 19 = 4*z for l.
3
Suppose -2*i - 2*i + 5*q = -180, 5*q + 20 = 0. Solve 5*y + 4*v = i, 7*y = 2*y + 5*v - 5 for y.
4
Let f(v) = -v**2 - 8*v - 1. Let b be f(-6). Solve 3*t - 3*y - 10 = -1, 3*y - b = -t for t.
5
Let f = -100 + 108. Let g(x) be the second derivative of -x**5/20 + 2*x**4/3 + 5*x**2/2 - x. Let j be g(f). Solve -4*u = 2*l - u + 2, j*u = -4*l - 2 for l.
2
Let j(r) = -2*r**2 + 2*r - 2. Let p be j(3). Let u be 2/7 + 4/p. Suppose u = -4*n - n. Solve 0 = y - 5*o - 7 - 8, -4*y - o - 3 = n for y.
0
Let s be 3 + (-9)/3 + 2. Let h be 1/1*(2 - s). Solve -z = 5*c - 9, c = -h*c + 1 for z.
4
Let t be 0*(2 - (-10)/(-4)). Solve -2*y = -2*a - 2, t = -4*a - 4*y + 39 - 3 for a.
4
Let i = -72 + 107. Let l(o) = -o - 