olve -c*s - 2*h + 19 = h, 3*h - 11 = -2*s for s.
4
Let v be 12/10*40/16. Solve -v*s + 1 = -2*p, 0 = -5*p - 3*s + 8 for p.
1
Suppose 2*u + 1 = 4*j + 7, 52 = 4*u + 2*j. Solve l + u = -4*b + 1, 13 = -5*b - l for b.
-3
Let b = -3 - -8. Let n(k) = -50*k**3 + 2*k**2 + k. Let y be n(-1). Suppose -y = -27*z + 24*z. Solve 2*c = -b*r + 11, z = 3*r - 3*c - c for r.
3
Suppose 0 = 3*o + 2*o - 75. Let v be (-3)/o*-5 - 2. Let w(k) = -3*k**3 - 1. Let i be w(v). Solve 2*x + l = -7 - i, -x - 4 = l for x.
-5
Let l be (-6)/4*(8 + -10). Solve -7 = -d + l*k + 4, 0 = -k - 4 for d.
-1
Suppose -30 = 21*d - 36*d. Solve -5*m - 3*o = 0, -5*m + d*o - 4*o + 5 = 0 for m.
3
Let m(n) = -n**3 + 30*n**2 + 174*n + 41. Let l be m(35). Solve -2*s + l*c = 5*c, s - 2*c = 0 for s.
0
Let l = 2223 - 2193. Solve 2*c - 23 = 3*b, -4*c + 11 = -5*b - l for c.
4
Let n be (-1045)/(-275) + 8/(-10). Solve -19*t = -14*t + n*z + 29, -t + 5 = -3*z for t.
-4
Suppose 0*k = -4*k + 8. Let w be (0 - -4)*(-11)/k. Let q = 28 + w. Solve 2*j - 23 = -5*g, 3*g = 2*g + j + q for g.
5
Let r(v) be the second derivative of v**4/12 - v**3/2 + 2*v**2 - 8*v. Let c be r(3). Solve -4*a - 21 = -f, -18 = 3*a + f - c*f for a.
-5
Let a be (-1 + 6/10)/(12/(-1620)). Let i = -52 + a. Solve -i*b = -3*y - 6*b + 6, -5*y = b + 7 for y.
-2
Let h = -74 + 86. Let i(v) = -4*v + 48. Let y be i(h). Solve y = 4*r - 2*o + 14, 2*r + 5*o - 7 = 4 for r.
-2
Let y be (-2)/2*27/(-9). Suppose -4*h = -y*h - 5. Solve 12 = -3*v + w, 3*w + 7 = -h*v - 27 for v.
-5
Suppose -3*b + 9 = 0, -3*b + 30 = -2*u + 5*u. Let o = -4 + u. Suppose -5*m + 2*n - 26 = -141, 0 = n + 5. Solve -5*j = -4*h + 1 - m, -3*h = o*j - 12 for h.
0
Let x be ((-7)/(-1) + -7)/((-9)/(-3)). Solve -4*i + 24 = 4*q - x*q, -2*q + 10 = 0 for i.
1
Let t(l) = -l + 11. Let j be t(8). Suppose -j*n + n - 4*y + 48 = 0, -4*n = -3*y - 74. Let s be 6/15 - (-92)/n. Solve -m - 15 = -v + 3*m, -v - m - s = 0 for v.
-1
Let h be (-1 - -2) + -1 - -21. Let w = h - 12. Let b = -408 + 410. Solve 3*x - w = 0, -2*a + x - 15 = -b*x for a.
-3
Suppose -2*k = 0, w = -0*w + 2*k. Suppose -3*p + p - 28 = w. Let m be (-21)/(-3)*(-8)/p. Solve 4*o = 2*c + 18, -5*o = m*c + 3 + 7 for c.
-5
Let p be 106/22 + ((-24)/44)/(-3). Solve 5*h = -p, -2*g - 4*h = -h + 13 for g.
-5
Let v = 762 + -758. Solve -z - z - 2*m + 14 = 0, v*z - 22 = -m for z.
5
Suppose 32*q = -0*q + 64. Solve 4*h + 3*l = -8, -2*h - 3 = 3*h + q*l for h.
1
Suppose 6 = 4*d - 10. Suppose -a = -3*t + 53, -d*t = -0*a + 5*a - 39. Solve -i - u = u - 3, u + t = -4*i for i.
-5
Let q(z) = z**2 + 12*z - 9. Let h be q(4). Let i = -55 + h. Solve 5*g = f + 6 - 4, i = -5*g for f.
-2
Let k(j) be the first derivative of 2*j**3 + 3*j**2/2 + 3*j + 5. Let n be k(-1). Solve -q = -n*q + m + 9, -12 = 4*q + 4*m for q.
1
Let l = -22 + 7. Let g be (18/l)/(6/40). Let k = -4 - g. Solve n - t = -6*t + 17, k*n - t = 5 for n.
2
Suppose 48 = 3*d + 33. Solve -3*g - d = -5*z + 6, 4*z + g - 19 = 0 for z.
4
Let z(h) = -h**2 - 24*h + 4. Let r be z(-23). Suppose -4*o - t + r = 0, t + 2*t - 25 = -4*o. Solve 2*w + 9 = 3*x, 0 = -3*x + 5*x - w - o for x.
5
Let b = -547 - -555. Let j = 9 - 5. Solve 6*v - b = 2*v + j*y, -18 = -5*v - 3*y for v.
3
Suppose 0 = -1117*a + 1123*a - 30. Solve -5 = -4*h - 2*k + 9, -2*h = 3*k - a for h.
4
Let c(z) = -23 - z**2 - 3*z + z + 22 - 3*z**3. Let j be c(-1). Solve 7 - 24 = 3*p + 2*y, j*p + 4*y + 19 = 0 for p.
-5
Let c be (-2)/(-7) - 2/7. Let z = 810 - 805. Solve -4*l + c*l = -z*n - 29, n + 2 = -3*l for n.
-5
Let k = 111 - 204. Let q = -89 - k. Solve o + 5 = 2*o + 5*a, q*o + 3*a - 3 = 0 for o.
0
Let v = 14 + 11. Let w(d) = 3*d**2 + 13*d + 1. Let a be w(-5). Solve -4*t - v - a = -5*i, t = -4*i + 12 for t.
-4
Let p = -8 + 9. Let o be (p + 5)/(30/20). Solve o*j = 4*q + 24, 5*j - 5*q - 26 = -q for j.
2
Suppose h - 4 = 5*b, 2*h - 36 = -0*b + 3*b. Suppose -3*g + h = d, 41 = 5*g - 4*d + 6*d. Solve t - 3 = -k, 4*k + 2*t = -g + 17 for k.
2
Let o(c) = -c**3 - 19*c**2 + 4*c + 79. Let s be o(-19). Solve 4*i - s*i + 3*v = -13, 2*i + 2*v = -6 for i.
2
Suppose 3*w - 4*c - 21 = 8, -4*w = 5*c + 13. Suppose -11*r + w*r = -16. Solve 0 = -4*n - t - 11, 0*n + r*t = 5*n + 4 for n.
-2
Suppose 10 = -6*i + 22. Solve -2*t + 8 = -4*q, 2 = i*t + 2*q + 6 for t.
0
Let f(a) = a + 3. Let y be f(-4). Let w be 6/(3/(-3)*y). Suppose v + 0*v = 5. Solve -v*n + 3*t + 15 = 0, -n - n + 2*t = -w for n.
3
Let q(l) = -3*l - 6. Let p be q(-4). Suppose -3*z + p = -0*z. Suppose -5*i + 14 = z*i. Solve x = 2*m - 5, 2*m + i*m + 5 = 5*x for x.
5
Let b(z) = z**3 - 10*z**2 - 22*z - 21. Let t be b(12). Solve 5*k - 6 = t*h, -4*h - 11*k + 8*k + 21 = 0 for h.
3
Suppose -2*b = -u - 11, b + 4*u - 8 = -16. Solve 25 = -4*z + 3*s, -15 = -b*s - s for z.
-4
Let l = -2 + 4. Let r be 3*(l + (-2)/3). Let g = -1256 + 1259. Solve 9*y - 6*y = g*o + 9, r*o = -5*y - 3 for y.
1
Suppose 4*i - 3*v - 2*v - 24 = 0, -2*v - 18 = -3*i. Solve 5*s - k = 22, i*s - s - 14 = -3*k for s.
4
Suppose -6 - 44 = -10*z. Let y(g) = -g**2 + 7*g - 8. Let d be y(3). Solve d*a - 2*w + 2 = -0*a, -5*a = -z*w - 10 for a.
-3
Suppose 65 = 8*m + 41. Solve 0 = 2*x + d + 11, x + 5*d + 37 = -m*x for x.
-3
Let g = 1047 - 1043. Solve 2*d - 3*u + 15 = 5, g*d + 6 = -u for d.
-2
Suppose 5*c + 9 = -4*c. Let x be 1 + c/(-6) + (-22)/(-12). Solve -2*k + 3 = -q, q - 2*q - k + x = 0 for q.
1
Suppose -a + 6*a - 3*x + 18 = 0, 3*x = 2*a. Let h = a + 10. Solve -16 = 4*r + h*d, -r + 2*d - 4 = d for r.
-4
Let l = -8 - -19. Let c be (-24)/(-11) - 2/l. Let t be (c/(-2))/((-1)/18). Solve t = d - 4*h, d + 3*h + 9 = 4*d for d.
-2
Let l(t) be the second derivative of t**5/20 + t**4/3 - t**3/2 - 4*t**2 - 15*t. Let x be l(-4). Solve 1 = 2*b - k, -2*k - 5 = -x*b - k for b.
2
Suppose 0 = -5*o, 7 = 3*v + 2*o - 11. Suppose 0 = v*g - 8*g + 5*g. Solve 0 = -2*p - 4*j - 16, g*j + 3*j = -4*p - 7 for p.
2
Suppose -22 = 2*h - 28, -r - 5*h + 19 = 0. Solve 0 = 4*i - r*d - 12, -5*i + 0*d + 4*d = -14 for i.
2
Suppose 0 = 7*s + 6*s - 377. Suppose s - 7 = 11*j. Solve 0 = 4*y - y + 5*t, 0 = -j*y - 5*t - 5 for y.
5
Let s(q) = -6*q**2 + 21*q - 9. Let x be s(3). Solve 0*m + 16 = -2*l + 4*m, x = 4*l - 4*m + 20 for l.
-2
Let t(s) = -s + 1. Let b = -36 - -33. Let h be t(b). Solve -o = -5*o - h*m - 12, -2*o + 15 = -5*m for o.
0
Let p(x) = -x**2 + 10 + x - 9 + 4*x. Let a be p(4). Let v = 1352 - 1347. Solve 9 = 4*o - v*l, -3*o - 5 = -a*l - 13 for o.
1
Let p be 42/9*(3 + -24). Let r = p + 102. Solve w + 2*w - 7 = g, -3*g + r*w - 6 = 0 for g.
2
Let l be 2/((-81)/(-18) - 4). Solve -l*w = 5*g + 16, 3*g - 3 + 16 = w for w.
1
Let h = -5 - -14. Let a be 8/(-28)*(11 + -18). Solve -3*l = -9, 0 = -a*k + 5*l - h - 2 for k.
2
Let q(u) = 9*u + 29. Let j be q(-6). Let i be 3/(-2 + j) + 76/36. Solve -5*g - 5*b + i*b + 18 = 0, 5*b = 2*g - 1 for g.
3
Let u = -1 + 3. Let q(i) = i**3 + 3*i**2 - 4*i + 3. Suppose -2*x - 9 = -5*x, r + 7 = x. Let o be q(r). Solve -n = -u*s - o, -4*n + 0*n + 2 = -3*s for n.
-1
Suppose 4*m - 18 = -4*p - 2, -4*m + 4*p = -48. Suppose 2*x = -m - 2. Let r be (x + 3)*10/(-4). Solve 17 = -r*k + l, 15 = -3*k - 5*l - 12 for k.
-4
Let l = -1 - -3. Suppose -2 - 8 = -l*u. Let h(f) = -4*f**2 - 24*f + 4. Let m be h(-6). Solve 2*v - u*q = 14, -4*v - m*q + 6 = 34 for v.
-3
Let f = 44 + -37. Suppose 2*s = 5*s + 3*o - 39, 0 = -s - 3*o + 11. Solve -5*q = -2*d, -2*q + 5*d + s = -f for q.
-2
Let y(j) = j**3 - 4*j + 2. Let t(o) = -o - 18. Let g be t(-20). Let u be y(g). Solve -u*b - 3*r = -12 - 1, 5*b - 22 = -4*r for b.
2
Suppose 3*h - 4*r = -14, 25*r + 25 = 5*h + 28*r. Solve 11 = -2*a - 3*z, 5*a - 1 = h*z - 0 for a.
-1
Let t be (-18)/5*(0 + (5 - 10)). Let p = -41 - -26. Let g = t + p. Solve -v + 5 = 2*k - 1, -4*k + 12 = g*v for k.
3
Suppose 0*v = o + 4*v - 1, -5*v + 10 = 3*o. Let l = 18 + 7. Suppose -20 = -4*u + 4*y, 2*y - 10 = -2*u - 4. Solve 0 = -u*k - c - o, 4*c = -c - l for k.
0
Let p be 80/24*(92/20 - 1). Solve u + 4*f + f = 18, -f = -4*u - p for u.
-2
Let a = -2686 + 2702. Solve 2*u + a = 3*o, -3*u - 16*o + 11*o - 5 = 0 for u.
-5
Let z(g) be the first derivative of g**3/3 + g**2/2 - 3*g + 3. Let k = -10 + 7. Let i be z(k). Solve -o + 2 = 2*c - i, c - 2*o = 0 for c.
2
Suppose m - 4 - 2 = 3*q, q + 13 = 4*m. Let s = 98 - 75. Solve -h = l, -m*h - 1 = -5*l + s for l.
3
Suppose -3*a + 8*a - 54 = -2*r, 5*a - 20 = 0. Solve 30 = -