 -13. Solve -s + 6 = -3*s, k = -n*f - 5*s - 21 for f.
-2
Suppose 0 = 5*b - 29 + 4. Solve 5*v + 4*y = 10, -3*v - b*y + 8 + 11 = 0 for v.
-2
Let l(f) = f**3 - 4*f**2 - 10*f - 9. Let m be l(6). Solve -3*u = 2*o - 2, 3*u - m = -o - 5 for o.
4
Suppose -2 = 12*z - 13*z. Solve 4*f = 3*n + 4, 3*n = -n - z*f - 20 for n.
-4
Suppose q - 1 - 2 = 0. Suppose q*l - 15 = -0*l. Solve -5*x + 1 = -4*w + 5, 0 = -l*w - x - 24 for w.
-4
Let d(l) = l**3 + l**2 - l + 5. Let a be d(0). Suppose 0*n + 75 = a*n. Solve -n = 3*i, 27 = 5*x - 5*i - 18 for x.
4
Suppose 0 = 7*g - 4*g. Solve -2*n = a + 3, g = 5*n + a + 3*a for n.
-4
Let m(h) = h**3 + 5*h**2 - 4*h - 7. Let f be m(-4). Suppose -6*l + l = -f. Solve l*a = -4*t + 28, a - 20 = -3*a - 2*t for a.
4
Let a be (36/16)/((-3)/(-12)). Let q(j) = 7*j + 1 - 4*j**2 - 2*j + j**3 - 5. Let m be q(3). Solve 3*y - a = m*y - t, 0 = y - t - 1 for y.
5
Suppose -6 - 2 = -d. Solve -3*a + 3*u = u - 17, 2*a + 2*u = d for a.
5
Let k(i) = -2*i - 12. Let a be k(-6). Let r = 1 - 8. Let b(t) = -t - 5. Let g be b(r). Solve a = 5*o - 0*o + g*u, 2*o - 4*u + 24 = 0 for o.
-2
Let v(x) = 2*x + 26. Let g be v(-11). Solve 29 = -4*t - 5*d, 2*t - t - d - g = 0 for t.
-1
Suppose -u - 3 = z, -3*u + 2*u + 32 = -4*z. Let d(p) = 2*p + 16. Let k be d(z). Solve -6 = 3*r, -k*t - 7 = -t + 3*r for t.
-1
Suppose 4*h + 5 = 5*h. Suppose -5*l + 16 = 4*b, h*b = -3*l + 7 + 13. Let i = l + 6. Solve 0 = -p + 6*p + 2*g + i, -3 = -4*p + g for p.
0
Let m be (-4)/18 - (-910)/45. Suppose -4*u = -8 + m. Let d = u - -5. Solve -s = -2, l = 5*s - d - 3 for l.
5
Let q be ((-9)/4)/(3/(-16)). Suppose -3*b + 3 = 5*j - 6, 0 = 4*b + 4*j - q. Solve a + 1 = -2*m, 4*m + 17 = b*a - 10 for a.
5
Let g be (-1 - 14)/(-3) - 3. Suppose 0*l + g*l = 8. Solve l*f + 28 = -0*f + 4*z, 0 = -f - 3*z + 5 for f.
-4
Let y(p) = 5*p**3 + 4*p**2 + 11. Let m(l) = 4*l**3 + 4*l**2 - l + 10. Let q(j) = 4*m(j) - 3*y(j). Let g be q(-5). Solve -3*x = w + 6, g*w = -x + 4 - 1 for x.
-3
Let g(z) = z**2 + 19*z + 18. Let x be g(-18). Solve -3*c + 0*c + 5*v - 17 = x, 0 = 4*c - v for c.
1
Suppose 7*z = 17 - 3. Solve p - 2*b = -9, -z*p - 29 = 3*p - 2*b for p.
-5
Suppose v + 3*v = 4*w + 12, -v - 5 = -5*w. Suppose g = v*g - 24. Solve -2*x + 4 = 4*r - g, -3*r = x - 10 for r.
5
Suppose -2*j + 3*x - 19 = -6*j, -5*j + 10 = x. Solve -13 + j = 2*s + 4*u, 0 = -s - u - 5 for s.
-4
Let g = -17 + 32. Solve -4*l + 5*v = 0, l - 7*v = -2*v - g for l.
5
Let v = -3 + 7. Solve -5*w - a = v, 2*w - 5*w = -a + 4 for w.
-1
Let o = -6 + 10. Solve 4*m - o*k = -4, 3*k - 7*k = 3*m - 18 for m.
2
Let g(f) = f**3 - 5*f**2 - 4*f - 8. Let z be g(6). Suppose 7 = l - p, l + 5*p - 3 = -14. Let j = 7 - l. Solve j*c = h - 10, 2*c = 5*h + z + 11 for c.
-5
Let c(a) = -a**3 + 7*a**2 - a + 7. Let r be c(7). Suppose 5*d - 10 + 0 = r. Solve 5*h = -p - 5 - 11, h - d = 5*p for p.
-1
Let p be (-1)/2*(7 - 71). Suppose 5*d - p = 3*o + 3, -4*o = d + 16. Solve -4*r - 20 = 3*a, 0 = -0*r + d*r - 5*a + 20 for r.
-5
Let s(f) = -f**3 + 28*f**2 + 30*f - 21. Let i be s(29). Solve 4*n - n - 15 = -3*v, 0 = -n - 2*v + i for n.
2
Let s be (25/1)/(-2 - -3). Suppose 0 = 3*x + 2*x - s. Solve 3*d = 4*p + 21, 5*d - 3*p - 29 = -x for d.
3
Let r = 36 + -31. Suppose 4*l + 0*a - 26 = -3*a, 5*a - 10 = 0. Let v be 5*(2/(-10) + 1). Solve v*x = -r*u - l - 9, 4*x + u = -6 for x.
-1
Suppose -5*s + 3*s - 3*p + 21 = 0, -3*s + 2*p = -12. Suppose h = 2*o - 5, -s + 26 = 5*o. Solve h*i + i = -8, 0 = 3*b - 5*i - 4 for b.
-2
Let l(r) = r**2 + 2*r - 10. Let y be l(-5). Solve 4*s + 3 = 3*k, -y*k = 2*s - s - 5 for s.
0
Suppose 0*u = -3*u + 6. Let c be (15/6)/((-1)/u). Let i be (-6)/c*(0 - -5). Solve -y = 3, k - 6*k + 2*y = -i for k.
0
Let m be 3/(-6)*2 - -2. Let y = 3 - 2. Solve -i = -a + y, -m = -2*a - i - 11 for a.
-3
Let h(l) = l. Suppose -2*r = r + 3. Let v be h(r). Let j be 0 + 1/(v/(-4)). Solve j*d = 0, 2*i = -i - 5*d - 3 for i.
-1
Suppose -t + k = -9, -5*t + 21 = -0*t + k. Suppose 0 = y - t - 7. Let o(x) = -x**2 + 3*x + 3. Let a be o(3). Solve -2*r + a*v = y, 5 = r + 5*v - 15 for r.
0
Let y be (-2)/(-1 + (-10)/(-12)). Let f be (0 + 1)/(2/y). Solve 3*j - f*j = r + 1, 5*j + 4*r = 3 for j.
-1
Suppose 3*g + 1 = 4, 2*g = -4*n + 10. Solve 4*f = -16 - 0, 5*f = -n*v - 22 for v.
-1
Let y be (-4)/(-14) - 2/7. Let c(x) = x + 2. Let o be c(y). Solve -2*l = -o*a - 6, l - 12 = -3*a - 3*l for a.
0
Let y(x) = -2*x**2 - x + x**3 + 1 + 0*x - 3. Let d be y(4). Solve -d = 4*u - 2*s, -7*u + 2*u + 3*s - 34 = 0 for u.
-5
Let d = 6 - 4. Suppose -d*o + 3*o = 5. Solve -3*i - 9 = -3*c, -40 + 13 = -i - o*c for i.
2
Let d be 177/21 + (-3)/7. Let x be 12/d + 2/4. Solve 0*t + 26 = x*t + 5*l, 5*t + l - 19 = 0 for t.
3
Let d be 2 - 3/(-1 + -2). Suppose -20 = -5*s + d*s. Solve 0 = -2*w - 0*w + 4, s = 4*m + 3*w for m.
1
Let m be -2 - (-9 - (2 - 5)). Suppose -14 + m = -3*v + c, -5*c + 1 = 2*v. Solve 4*f = -12, 3*l - v*f - 15 = -0*f for l.
2
Suppose u - 130 = -4*u. Let f = u + -16. Solve g = l - 6, -3*g - 2*g - f = 0 for l.
4
Suppose 6*f = f + 75. Let j = 10 - 7. Let n = -28 + 54. Solve -n + 5 = k - 5*m, -j*m = -f for k.
4
Let u be (-140)/(-18) - (-4)/18. Let b = 0 + u. Solve -2*t - t - b = -5*l, 3*l + 2 = -5*t for l.
1
Suppose 2*p + o - 12 = -o, -5*p + 3*o + 22 = 0. Solve -3*a - p*x - 35 = 0, 0*a - 2*a + 2*x - 2 = 0 for a.
-5
Suppose 172 = 5*u + 57. Let l = -18 + u. Solve 4 = 2*b + 2*b, 5*w = l*b - 10 for w.
-1
Let u = -3 + 14. Solve h = 3*k - u, -2*h = k + 3*h - 25 for k.
5
Let k(h) = -2*h + 30. Let y be k(14). Let u(w) = -w + 3. Let z be u(2). Let i = 1 - z. Solve 2*f = -5*b + 13, -3*b - 5 = -i*b - y*f for b.
1
Suppose 7*k - 57 = 10*k. Let x = k + 26. Solve -2*m + 2*z = -2, -4*m - 4*z = -5*z - x for m.
2
Let h be 3/12 + 90/24. Solve -h*g - 12 = -3*i - 7*g, -i + 8 = 3*g for i.
2
Suppose 2*x - 2 = 8. Suppose 21*p - 6 = 18*p. Let y(z) = 3*z**2 - 3*z + 3. Let o be y(p). Solve 5*d - 44 = -x*c - o, -2*c - 16 = -4*d for d.
5
Let g = -13 - -9. Let z be g/(-6) + 30/9. Solve -o - h + 2 = -2*o, z*h = -8 for o.
-4
Let q = 15 - 13. Solve q*v + 2*v = -u + 11, 0 = -5*v + 2*u + 4 for v.
2
Let f(z) be the third derivative of -z**4/8 + z**3/2 - 3*z**2. Let m be f(-4). Solve 5*o + m = p, o - 4*p - 9 = 7 for o.
-4
Let t(n) = n - 11. Let d be t(15). Let z be 3/(-9) - (-43)/3. Suppose z = d*h - 6. Solve 0 = h*o - 20, 2*o - 20 = -c + 5*c for c.
-3
Let h(d) be the first derivative of 2*d + 3 - 1/2*d**2. Let j be h(2). Solve -4*t - 2*f = -4, j*t - 3*f = 3*t for t.
2
Suppose 28 = 2*p - 2. Suppose -3*j = -2*v + 29, 1 = -5*v - j + 31. Suppose -f = -v - 18. Solve d - f = -4*c, d + p = 3*c + c for d.
5
Suppose -18*w + 16*w + 28 = 0. Solve -h + 2 = 2*v + 2*h, v = 5*h + w for v.
4
Suppose 0 = -4*m - 2*w + 14, m = -0*m + 3*w. Suppose -4*i + q + 21 = -0*i, 3*i - 5*q = m. Solve -7 = 2*g + 3*n, g = -5*n - 27 + i for g.
4
Let n be (2 - -3)*(-70)/(-25). Suppose -o = 6*o - n. Solve 3*t - 5 = -4*b, -5*b + o + 5 = 3*t for t.
-1
Let i be ((-3)/(3/26))/(-1). Suppose -5*c - 2*n - 5 = 0, c - n - i = 4*n. Solve 4*s + 5*d + 11 = 0, 0 = 2*s - 2*d - c + 11 for s.
-4
Let o be (5 + -15)*(-2)/4. Let l(c) = -c**3 + 3*c**2 + 4*c - 4. Let h be l(3). Let z = -4 + h. Solve z*w = -3*y + 2*y + o, 0 = 4*y + 5*w - 20 for y.
5
Let h be ((-56)/(-35))/(4/10). Solve -17 = -5*z + w, 0 = -4*z + h*w + 18 + 2 for z.
3
Suppose 6*s = s + 20. Let y be ((-7)/21)/(1/(-12)). Suppose -2*w + 15 = w. Solve -f + w = y*l, -s*f - 6 = 2*l + l for l.
2
Suppose 2*m - 2*p = 50, -2*p - 3 - 3 = 0. Let x = m + -21. Solve -5*k - x = -4*w, 1 - 2 = 5*w - 4*k for w.
-1
Suppose q + 15 = 4*o, -2*q + 40 = 4*o + 2*q. Let k be (o + -6)/(2/(-4)). Let x = k + -2. Solve 3*u + x*u + 3 = p, 3*p - 4 = 4*u for u.
-1
Let r be -6 + 9 + 1*-3. Solve 2 = 2*p - 0*p, -5*a + p - 16 = r for a.
-3
Let p = 18 - 13. Solve -13 = -p*m + 2*i, 3*m + 26 - 9 = -5*i for m.
1
Let t = -63 + 63. Solve i - 3*a = 0, i - 7 = -t*a - 4*a for i.
3
Let u(y) = y**2 + 6*y + 4. Let k be u(-6). Solve 2*r = 2*s - k, 4*s + 2*r = 18 + 2 for s.
4
Let n(b) = 3*b**3 - 4*b**2 + 3*b. Let t be n(1). Solve 5*k = 2*k + t*l + 8, 0 = -3*l - 3 for k.
2
Suppose 5*x - 238 = -3*h, 2*h = -h - 12. Suppose 0 = -g + k - 31, 3*g - 2*k - x = 5*g. Let b be 8/g - (-74)/14. Solve 3*w - w = 2*y, 0 = -2*w + 3*y - b for w.
5
Let w be 4/(-10) + 243/45. Suppose 0 = g - w*g + 68. Solve -5*y + 8 =