 5*k - 21 for x.
-1
Suppose -14 + 4 = -10*d. Let o(t) = t**2 - 9*t + 11. Let z be o(8). Solve d = 5*r - 4*w + z, 5*r - 2*w - 4 = 0 for r.
2
Let v(i) = -i**3 + 5*i**2 - 4*i + 1. Let w be v(4). Let n = w + 4. Solve 5*q + 9 = 3*l + 26, 0 = n*l - 5 for q.
4
Suppose -23 = 5*w + 4*s - 53, 33 = 4*w + 5*s. Solve 3*a + w*n + 11 = 0, -4*n - 4 - 3 = 3*a for a.
-5
Suppose 6*b = 5*r + b - 5, r = 4*b - 2. Solve 4*i + r = -n, 0 = -4*i - i + 2*n + 4 for i.
0
Suppose s + 5*l + 5 - 12 = 0, -l - 7 = -4*s. Solve -s*c + 0*c - 4 = -5*n, -3*c + 3*n - 6 = 0 for c.
-2
Let n(q) = -q**2 + 6*q + 1. Let f be n(6). Solve 4*a + 4*l = 16, 2*a - 3*l + f = -16 for a.
-1
Let y(j) = j + 12. Let s be y(-8). Solve 5*w + 5*f = -0*w + 25, s*w - 2*f = 14 for w.
4
Suppose 0 = 3*m + 7 - 22. Suppose 2*u + 10 = 3*s - 2*u, -4*s + 10 = -2*u. Suppose -8 = -0*y - s*y. Solve -m*t = -2*f + 33, 2*t - 11 = t - y*f for t.
-5
Let r be 7/1 - 3/((-9)/(-6)). Solve -20 = -r*t, -5*p + 4*t + 18 = 59 for p.
-5
Let u(m) = m**2 + 5*m + 1. Let d be u(-4). Let w = 8 + d. Suppose 0*p - p = -3*a + 7, -5*p + 41 = 4*a. Solve 0 = -p*l - y - 21, 13 + 17 = -2*l + w*y for l.
-5
Let s = -21 + 26. Solve s*k + 10 = -2*j, 6*k - k + 10 = -j for k.
-2
Let s be 6*((-5)/(-10) - 0). Solve 5*a = -s*k + 8, 2*a + 5*k + 36 = 6*a for a.
4
Suppose 3*v - 56 = 4*i, 0*v = -v + 2*i + 20. Solve 5*h + 3*z + z = -26, -v = 4*z for h.
-2
Let n(m) = m**3 - m**2 - 4. Let w be n(3). Solve 5*k - w = u + 6, -k = -4*u - 23 for u.
-5
Let c = 4 + -7. Let i = -1 - c. Suppose i*a + 2*a - 160 = 0. Solve -3*m = -8*m - 2*p - 5, -5*m = -5*p + a for m.
-3
Suppose 3*a + 4*m - 3 + 5 = 0, -4*m = -5*a + 18. Solve -4*j = -4*g - 12, -2*g - 12 = a*j + 2*g for j.
0
Let f = 14 - 28. Let q = f - -20. Let j be ((-5)/(-2))/(q/12). Solve -2*l + j*c - 2 + 8 = 0, -2 = 3*l - 2*c for l.
-2
Suppose 5*r = 2*y + 8, -r + 3*y + 3 = 4*y. Solve -r*m - 2*m = -5*g + 16, -g + 2*m = -2 for g.
4
Let g be (3 + -7)*27/12. Let l = -6 - g. Let u = 4 - -5. Solve 5*i - 5 - 10 = -3*n, 5*n = l*i - u for i.
3
Suppose 6*p - 13 = 23. Solve -2*w = 3*j - 6*j + p, 5*w = -j + 2 for w.
0
Let c = -8 + 11. Suppose -1 = -c*n + 11. Solve 0 = m - n*u - 18, 5*m - 5 = 4*u - u for m.
-2
Suppose -2*y = 5*j - 51, -5*j + 61 = 4*y - 7*y. Solve -k = -2*p + j, 4*k + 2*p + p - 11 = 0 for k.
-1
Suppose -11 = -k - 5*y, -2*k - 5*y + 8 = -2*y. Suppose 2*x - x - 2 = 0. Let u = k + x. Solve 4*i + 0 = -8, -u = z + i for z.
-1
Let r(b) = 3*b**2 + 7*b**3 - 2*b - 3*b**3 - 2 - 3*b**3. Let z be r(-3). Let q be (6/(-5))/((-3)/15). Solve z*g - 6 = 3*j - 27, g = -3*j + q for g.
-3
Suppose -4*w - 12 = -8*w. Solve 2*r = -4*u + 12, u + w = -r + 6 for r.
0
Suppose 2 - 8 = -z. Let p be (1/(1/3))/1. Solve -3*u + p*n + n - 10 = 0, -2*u = -2*n + z for u.
-2
Let g = 101 + -88. Solve -2*q = -5*a + g, -3*q = -a + 2*a - 6 for a.
3
Let j(u) be the first derivative of u**3/3 + 4*u**2 + 20*u + 9. Let y be j(-6). Solve 0 = -4*n + r + 2, -n = n + 3*r - y for n.
1
Suppose 11 = 4*j - 5. Suppose 4*r - 44 = -j*p, 0*r - 40 = -2*p + 4*r. Solve 3*c = h - p, 0*h - 3*c = h + 10 for h.
2
Let k = 12 - 6. Let q = -3 + k. Suppose -9 + 0 = -q*u. Solve 4*a + 4 = 0, v + u*a + 11 = 3*v for v.
4
Let q be 16/(-12)*27/6. Let i(f) = f**3 + 7*f**2 + 3*f - 13. Let r be i(q). Solve -3*k = w - r*k + 5, w - 19 = -4*k for w.
3
Let y = -32 + 35. Solve -2 = i - 3*f - 13, y*f + 15 = 0 for i.
-4
Let w be (-2*6)/(-4) - 11. Suppose 0 = -j + 2*j - 12. Let f = j + w. Solve 3*h = -2*n + 20, 2*n + 0*n = h + f for n.
4
Let b be (-2)/4 + 17/2. Let d = -1 + b. Let i(t) = -t**3 - t**2 + 2*t - 1. Let j be i(-3). Solve -2*a + o = -j, -2*a + 2*o - d*o - 19 = 0 for a.
3
Let x be -2*(12/(-8) - 3). Solve -5*l = -2*i - x, 0 = -3*i + 4*i - 3 for l.
3
Let z = -15 - -19. Solve 3*b = 4*u - u + 18, 4*u = -3*b + z for u.
-2
Suppose t + 0*t - 3*y = 6, -4*y = -2*t + 8. Solve -2*f - 2*c + 1 + 13 = t, -5*c = -15 for f.
4
Let z = 5 + 0. Solve -z*n = -10, 13 - 1 = 5*r - 4*n for r.
4
Let c = -4 - -6. Suppose -34 = -3*y - 22. Solve -c*l - 9 = -y*v + v, -5*l + 10 = -v for l.
3
Let k be 1 + -2 - (9 + -15). Suppose -k*j + j = -24. Solve -2*f + 11 = -c, -2*f - 13 = -j*f - c for f.
4
Suppose 0 = -4*n + 33 + 79. Let c be 8/n - 33/(-7). Solve -4*w - q - 12 = 0, -c*w - 2*q - 2*q = 4 for w.
-4
Suppose -3*m = 49 + 44. Let t = m - -51. Solve 0 = -4*g + 2*u + u - 12, 4*g - 5*u = -t for g.
0
Let k(u) = -5*u + 61. Let l(c) = c - 15. Let q(p) = -2*k(p) - 9*l(p). Let n be q(-8). Solve 0 = 4*v - f + 10, -4*v = -n*f - 0*f + 18 for v.
-2
Let b = -60 - -30. Let y be (-10)/3*144/b. Solve -2*w = -6 + y, 5*m + 4*w = -30 for m.
-2
Suppose -2*f + 94 = -3*a, 12 + 205 = 5*f - 3*a. Solve 21 = h - 4*v, 8 = -5*h + 2*v + f for h.
5
Let x be -13 + 3*2/3. Let i = 15 + 0. Let w = x + i. Solve 3*m + m = w*g + 8, 0 = -2*m - 4*g + 16 for m.
4
Let n be (2/4)/((-5)/60). Let p = -2 - n. Suppose p*r + 0 = -4*w + 12, -3 = -2*r + w. Solve -5*o - 15 = -3*q, -25 = -5*o - 7*q + r*q for o.
0
Suppose -73 = 3*w - 79. Solve w*h + 5*m - 40 = -5, -5*h = 5*m - 50 for h.
5
Let j = -1 - -1. Let r(x) be the second derivative of x**4/12 + x**3/6 - 6*x. Let b be r(1). Solve -5*i - 3*m = -37, -b*i + m + 2 + 4 = j for i.
5
Let d be (20 - -2)*(-2)/4. Let k = -7 - d. Solve p + 25 = -0*p - k*a, -a - 5 = 0 for p.
-5
Let t(k) = k**3 + k**2 - 7*k - 1. Let p be t(-3). Solve -2*l = -3*s - 12, 4*s - 8 + 24 = -p*l for l.
0
Let k(i) = i**3 + 6*i**2 + 5*i + 5. Let r be k(-5). Suppose -l = l - 10. Let h be (-1)/l + 21/r. Solve 4*u + 20 = -0*u + h*p, 5*u + p + 13 = 0 for u.
-3
Suppose 3*l + 159 = 5*m, -3*m + 4*l = 2*m - 157. Suppose 0 = 5*i - m - 37. Solve 0 = -j + 3*a - 7, 2*j - 2 - i = -4*a for j.
2
Let z be (-74)/(-4) - (-2)/4. Solve -l = 4*n - z, -2 = 3*n - 5*l + 1 for n.
4
Let f(j) = -j. Let q be f(0). Suppose 4*y - 5*b = 37, -5*y = 4*b - q*b + 5. Solve -4*m + 3*u - 2 = 6*u, -4 = 2*m + y*u for m.
1
Suppose 4*s = 8 - 0. Let t(j) be the first derivative of j**2/2 + 4*j - 3. Let v be t(3). Solve s*x - 19 = x - 4*p, p - v = -x for x.
3
Let u(m) = m**2 + 11*m - 60. Let t be u(-15). Solve -5*v - q + 5 = 0, t = v - 2*q - q - 17 for v.
2
Let f be (0 - -1)*0/1. Suppose a + a + 136 = f. Let c be a*(6/(-4) - -1). Solve -2*r = -j + 7, 0*j = 5*r + 3*j + c for r.
-5
Suppose -11*u = -10*u - 3. Solve 2*n + 33 = 5*w + 10, -4*w - u*n + 23 = 0 for w.
5
Let h(v) = 4*v**2 + 3*v + 3. Let b be h(-1). Solve -6*g + b*g + 6 = -j, 12 = -4*g - 4*j for g.
1
Let h = 7 - 2. Suppose -2*s = -6, -4*s + 12 = -7*n + 2*n. Solve -a + 3*c + 17 = -n*a, -15 = h*a + 5*c for a.
2
Suppose -5*a + a = 0. Suppose 3*u + a*u - 5*k - 9 = 0, 12 = 4*u - k. Solve -2*j = -7*j + 25, 5*j = u*w + 16 for w.
3
Let h = -26 - -38. Suppose -2*t = -5*o + 40, 4*t - 44 = -4*o - h. Let r be 2*(-2)/(o/(-10)). Solve 5*z = -2*b + r, -z - 2*b = -7 - 2 for z.
-1
Suppose 3*w + 7*g = 2*g - 6, 5*w - 30 = 5*g. Suppose 3*s - 15 = 5*h, -4*h + 25 = -h + 5*s. Solve h = -3*r - 15, z - w*r - 7 = 7 for z.
-1
Suppose 3*v + v = 0. Suppose 0 = o - 2, 5*o = -3*j + o - 1. Let i be (1/2)/(j/(-48)). Solve v*l + 3*d + 18 = -3*l, 0 = -3*l + 2*d - i for l.
-4
Let n be (-6 + 0)/3 + 4. Suppose -n*r + 4*r = 8. Let l = -1 + r. Solve -3*o = 4*m + 1, -m + 0*o - l = -2*o for m.
-1
Let r = -5 + 8. Let t(u) = 3 - r + 4*u**2 + 3 + u**3 - 7*u + 2*u. Let w be t(-5). Solve -m - 11 + 0 = 3*y, 4*y + 23 = -w*m for m.
-5
Let z(a) = a**3 + 5*a**2 - 1 + 3*a + 3 + a + 0*a**3. Let h be z(-4). Solve 0 = -3*y - y - 2*w - 10, w = y - h for y.
-1
Suppose 5*k - k = 84. Let x be k/28 + 93/4. Solve -10 = 5*p, -4 = 3*u - 4*p - x for u.
4
Suppose 4*h + 4*p + 41 - 5 = 0, 0 = -4*h + 3*p - 15. Let d = 10 + h. Let o(a) = a**2 - 2*a - 3. Let v be o(d). Solve -25 = -v*s - 5*b, 3*s - b + 0 = 3 for s.
2
Suppose -5*d - 5*f = 5 - 0, d + 4*f = -13. Let r = -11 - -23. Solve -3*i + 2*m = i + r, 2*i + d*m = -6 for i.
-3
Let o(c) = -c**3 + 11*c**2 - 9*c - 8. Let f = -1 + 11. Let x be o(f). Suppose 7 + 1 = x*k. Solve -2*q = -3*q + 5*w - 26, -20 = -k*w for q.
-1
Suppose c = l + 6, -c + 0*c - 9 = 4*l. Let y(m) = -m + 1. Let v be y(l). Let q = v + -2. Solve -g - 3*u + 15 = 0, u = 3*g - q*u + 3 for g.
3
Let c be -2 + 4 - 4*-5. Let w = -3 + 7. Let f be 1*2 + -2 + w. Solve 4*s = f, h + 3*h = 2*s - c for h.
-5
Let m be (-2)/4 + 1/2. Suppose 6*l - 11 = 1. Solve -5*x - 16 = 4*y - m*y, 3*y + 12 = -l*x for y.
-4
S