e 0 = -4*a + 5*a + s - 8, 0 = -3*a + t*s + 9 for a.
5
Let y = -76 - -79. Solve -d + 4*o = 24, 2*o - 25 = -y*o for d.
-4
Suppose 5*y - 58 = -3*x, -3*y + 39 + 7 = -x. Solve 2*l + y = 4*s + 2, 0 = -4*l - 5*s + 28 for l.
2
Suppose -r - 3*l = -9, -l + 1 + 2 = -r. Solve -3 = -4*i - 5*d, r*i - d - 9 = -4*i for i.
2
Suppose -3*y + 6 = -2*d - 11, -5*d + 3*y - 29 = 0. Let k = d - -7. Suppose -k*l + 0 = -6. Solve 0 = l*q - 5*i - 6 + 32, 4*i = 5*q + 31 for q.
-3
Suppose 0 = 4*d - 4*t - 12, -2*t - 4 = -6*t. Solve -6 = 3*k - 0, -d*k - 16 = 4*s for s.
-2
Let m(w) = 4*w - 4. Let d be m(1). Solve 2*l = -0*t - t - 13, d = t - 2*l - 7 for t.
-3
Suppose 8*i - 26 + 2 = 0. Solve -5*d + 3*n = 7, -5*d + 2*n + i*n - 15 = 0 for d.
1
Suppose -1 = 2*s - 7. Solve x = 3*c + 14, -2*c - s*x = -3*c - 18 for c.
-3
Suppose 4*l = 32 + 4. Solve l = v + 4*a - 2, 2*a - 1 = v for v.
3
Let l = 110 - 109. Solve 2 = -5*f + 3*t + l, -3*f + 5*t + 9 = 0 for f.
-2
Suppose -d = -4*q, q = -d - 3*q + 8. Let y be (4/(-10))/((-6)/60). Suppose y*a + v = 15, 4*v = -d*a - v - 5. Solve -3*j = -k + 18 - 4, -k - a*j - 26 = 0 for k.
-1
Let q be (4/(-6))/((-4)/18). Let g = 6 - 4. Let u be 230/18 - 4/(-18). Solve u = s + 3*x, g*x = s + x + q for s.
1
Let m(j) = -j**3 - 4*j**2 + 4*j - 3. Let h be m(-5). Suppose -b = 2*u - 12 - h, -3*b - u + 57 = 0. Solve -1 = 3*x + 3*g + b, -2*g - 6 = 0 for x.
-4
Let v = 2 - -3. Suppose 15 = -3*z - 4*f + 50, -5*z - 3*f + 40 = 0. Suppose j + 3 = z. Solve -j*q + v*n - 4 = 10, -5*q = -2*n + 14 for q.
-2
Let o be ((-4)/(2 - 4))/(6/9). Solve -5*a + a - 22 = 2*s, 4*s = -o*a - 29 for a.
-3
Suppose -6*p + 8 = -2*p. Suppose -3*t = -p*u - 19, -2*t + t = -3*u - 18. Solve 4*g = -2*b + 6, -5*b + 2 = -b + t*g for b.
-1
Let v = 59 + -27. Solve -3*t - 19 = -7, -v = 3*g + 5*t for g.
-4
Suppose 0*d + 8 = d + q, -3*d = 5*q - 30. Solve d*z + 3*c + 5 = 30, -5*z - 2*c = -20 for z.
2
Let t(s) = s**3 - s - 1. Let k be t(-1). Let c be -2 - (1 + k)*-1. Let p be 3/c*(-8)/6. Solve p*f = -4*x + 18, -7*f = -5*x - 3*f - 10 for x.
2
Let h be 2/(-4) + (-51)/(-6). Suppose 5*s + 8 + 2 = -q, -2*s - h = 0. Solve x - 3*x = 5*n - q, 3*n - 12 = 0 for x.
-5
Let y be ((-24)/15)/(4/40*-1). Suppose 0*o - 8 = 2*q - 3*o, -5*q = -4*o + 6. Solve y = -4*s, -22 = b + 4*s - q for b.
-4
Let z = -9 + 15. Let f be (4/z)/(6/9). Let k be (f/(-1) + 0)*-6. Solve 2*p = -3*w - 3*p - k, -w - p = 0 for w.
3
Suppose 10 = 5*u + 5*r, -5*r = 7*u - 3*u - 8. Suppose i = -4*i + 2*i. Solve w - u - 1 = i, 5*w - 23 = -2*b for b.
4
Suppose -b + 4*q + 0*q = -4, b + q = 4. Let s = 9 - b. Solve v - 3*i + 2 = 5, 0 = -4*v - s*i - 22 for v.
-3
Let t = 24 - 19. Let v = -2 + 15. Solve -3*f + v + t = 3*a, 4*f = 4*a + 8 for f.
4
Suppose 12 = -u - 4*x, 0*u + 4*u = -5*x - 15. Solve -5*n + 5 = 4*f, 29 = 4*f - 3*n - u*n for f.
5
Let m(o) = -o**2 - 5*o + 16. Let g be m(-7). Solve 5*s = 25, g*b + 15 = -0*b + 5*s for b.
5
Let h be (-39)/(-26) + (-6)/4. Let j = -6 + 9. Solve b + 4*o - 1 = j*o, h = -4*b + 4*o + 12 for b.
2
Let t(u) = u**3 - 14*u**2 + 14*u - 8. Let m be t(13). Let c(q) = q. Let w be c(-1). Let p be w/(0 + 2/(-10)). Solve -11 = -4*h + h - 2*r, p = m*r for h.
3
Let d(q) = q**2 + 8*q + 9. Let k be d(-7). Suppose 1 = l - k. Solve -l*y + 18 + 5 = 4*v, -y = 2*v - 11 for y.
1
Suppose l + 2*t = 1, 0*t = 3*l + 2*t - 15. Suppose 3*o + 2*z - l = 0, 5*z + 41 = 5*o + z. Solve q + o*f + 6 + 0 = 0, 4*q + 6 = -2*f for q.
-1
Let p(n) = n - 13. Let r(q) = 2*q - 26. Let f(h) = -13*p(h) + 6*r(h). Let j be f(6). Solve -3*u + k - 3 = -j*u, -u - k = 3 for u.
2
Suppose z + 1 = -t, 0 = 2*t - 0*t - z - 10. Suppose t*c = -5*f + 7, -3*f + 2 = -f + 2*c. Let s be 0/(-2) + 0/f. Solve 0 = -m - s*r + r + 3, 5*m = -r + 15 for m.
3
Let j be (-12)/8*(-3)/(9/14). Solve -5*f = 4*w + j, 0 = w - 4*f - 0*f - 14 for w.
2
Let z be ((-10)/4)/(135/(-108)). Solve z*a + 1 = 5*w - 19, 10 = -2*a for w.
2
Suppose 3*n - 2*n - 2*z - 5 = 0, -3*n - 4*z = -15. Solve 0 = -5*b + 5*g + 15, -5*b + g - n = 6*g for b.
1
Let a be (-2)/8 + (-54)/(-24). Solve 2*g + 4 = -0*g, 5*g - a = 3*y for y.
-4
Suppose 0*u + 88 = 5*u + 4*l, u - l = 23. Let n be 2 + 28/(-1 - 1). Let w = u + n. Solve 3*i + 27 = 3*s + w*i, -4 = -4*s + 4*i for s.
4
Let n(g) = -2*g - 6. Let y = -1 + 2. Let z be -6*(y + 1/(-3)). Let f be n(z). Solve f*m - 3*s = 4, -m = 2*s + 2*s + 20 for m.
-4
Let g(q) be the second derivative of -q**4/12 + 2*q**3/3 - q**2/2 + 2*q. Let p be g(3). Solve -i = -p*t - 3, 2*t + i + 15 = -2*t for t.
-3
Let u = -1 + 6. Suppose -4*k = -16, -3*o + u*k - 5 = -0*o. Suppose 2*h + 13 = p, -4*p = -0*h - h - 24. Solve 0*n + 5*n = -q + 10, 0 = -2*q + p*n + o for q.
5
Let q = 0 + 4. Solve q*j - f = -16, 6*f - f = -4*j - 16 for j.
-4
Suppose 3*d + 6 = 15. Suppose y - 8 = -d*y. Solve -4*r + 4*j - 2*j - 18 = 0, 0 = -y*r + 3*j - 19 for r.
-2
Let f be 5 - 5/(5/2). Suppose -2*h + 7 = f*u - 8, -u = 4*h - 15. Solve -3*q + 8*q - 17 = -4*j, 0 = u*j - q - 8 for j.
3
Let p be -2 + (-2)/(-1) - 2. Let v = 0 - p. Solve v*d = -4, 5*h - 2*d + 8 = 2 for h.
-2
Let d = -17 + 62. Suppose d = 5*s - 2*s. Solve 4*w = r + s, 0*r - r = 4*w - 25 for w.
5
Suppose 0 = 5*n - 5 - 20. Solve -2*k = -5*i - 15, 3*k + 40 = -n*i - 0*k for i.
-5
Suppose -h - 12 = -4*a - 5*h, 2*h + 15 = 5*a. Let k = 7 - -9. Suppose 3*l = -l + k. Solve -3 = -n + 5*w, -a*n - 2*n - l*w = 14 for n.
-2
Let u be (2/3)/(4/(-78)). Let a = -8 - u. Solve -a*i - 5*b = -30, -4*i + 4*b + 4 = -4 for i.
4
Suppose -8*v = 8 - 24. Let s = -3 + 7. Let k = 1 + s. Solve -3*z + k = -1, v*a = -2*z for a.
-2
Let f = -40 + 52. Let d = 4 + -1. Suppose d*a = 5*a - 8. Solve -3*m = a*i - 22, -3*m - f = -m - 4*i for m.
2
Suppose 0 = 4*j - 28 + 4. Solve y = 4*k + j, -2*y - k + 2 + 1 = 0 for y.
2
Suppose -6*i - i + 91 = 0. Solve 2*k + 2*t = k - 5, -4*t - i = -k for k.
1
Let v(p) = -p**2 - 9*p. Let x be v(-9). Suppose 0 = 2*f + 4*t - 40, 3*t - 86 + 14 = -5*f. Solve x = -4*n - i + 2*i + 6, -3*i = 3*n - f for n.
2
Let s(o) = -2*o - 1. Let q be s(-2). Solve 9*b - 5*d = 4*b, 0 = -q*b - 2*d + 15 for b.
3
Let l = 126 - 122. Solve -1 + 0 = u - 3*p, -5*u = -l*p + 5 for u.
-1
Suppose 4*l - v - 6 - 89 = 0, 4*v + 92 = 4*l. Solve 2*h + 2 = -4*w + 5*w, 0 = 4*h + 3*w + l for h.
-3
Suppose -s = c + 1 + 1, 2*s - c = 8. Suppose 3*r - 12 = -3*m, r + 4*m = 6*r - 2. Solve -5*y = -4*g + 3*g, r*y = s for g.
5
Let d = -1 - -5. Solve -4*o - 7 = d*x + o, -5*o = -4*x - 17 for x.
-3
Suppose -16*f + 12*f = -40. Let v = f + -2. Solve -2*i - 4*j = -12, 6 = -v*i + 4*i + 2*j for i.
0
Suppose d = 5, 0 = 3*s - 8*s - 2*d + 30. Suppose 0 = -s*z + z. Let t = 9 + 18. Solve 3*a = -4*c - t, 4*a = -z*a - 20 for c.
-3
Let m be (-2 + (-48)/(-15))*5. Let q = m - -2. Suppose -u - 2*r - q = -5*u, -2*u = r - 8. Solve -u*j = -5*x, 2*x = 5*x + 3*j for x.
0
Let n be (-2)/(-9) - 80/(-45). Solve -5*k + n*j + 3*j = 5, -35 = -5*k - 3*j for k.
4
Let o(u) = u**2 - 2*u + 2. Let t be o(4). Let k = 40 - t. Solve 3*x - 5 = -5*v, -k = 5*v - 3*x - x for v.
-2
Let l be (-9 - -12)*(0 + 1). Suppose -l*h = -8*h. Solve h = -j - 5, 4*j + 4 = -3*f - 10 for f.
2
Let c(l) = -4*l - 2. Let b = -7 + 4. Let q be c(b). Solve 0 + 3 = -3*j, q = -3*r - 4*j for r.
-2
Suppose -5*s - 6 = 14. Let f be 7 - (0 - (-2 + 2)). Let k = s + f. Solve -3*b = 4*u - 4*b + 3, -u + b = k for u.
0
Suppose -2*i + 0*i = 0. Solve 0 = 2*o - 3*c - 7, -5*o + i*c = -3*c - 22 for o.
5
Let s(o) be the first derivative of 3*o**2 - 4*o + 2. Let v be s(4). Solve 4*g = 4*m + v, 2*m + 6 = 4*g + 5*m for g.
3
Let g(l) = l**3 + 4*l**2 + 2*l - 2. Let u be g(-2). Solve -2*n - 7 = -3*s, 0*n - 5*n = -u*s + 23 for n.
-5
Suppose -2*b + 5 = 3*b. Let z be (-4)/((-12)/(-9))*b. Let u = z - -6. Solve u*a = -2*a + 4*o - 27, 0 = a + 5*o - 12 for a.
-3
Let l = -5 + 8. Suppose 84 = l*g - 0*g. Suppose 0 = -0*t - 4*t + 4*d + g, d = -2*t - 1. Solve -5*j + t*f - 7 = 5, j = 4*f + 12 for j.
-4
Let g = 27 + 12. Suppose -3*h + 0*x - 2*x + 42 = 0, -g = -3*h - x. Solve 2*n + 6 = -o - 3*o, 2*n - h = 2*o for n.
3
Let x(p) = 3*p**2 - 1. Let u = -7 - -6. Let y be x(u). Solve -4*d + 2*g = 8 + 2, -d - y*g - 10 = 0 for d.
-4
Let x = -5 + 53. Suppose 0 + 3 = -2*i - 3*w, 4*i - 3 = 3*w. Suppose -2*h = i, 4*h + x + 27 = 5*g. Solve 0 = 3*v + g, -l - 10 = 5*v + 10 for l.
5
Let t be (-4)/(-10) + (-26)/(-10). Solve 0 = -3*y - 4*n + t, 0 = -y - 5*n + 1 for y.
1
