(3). Solve -5*x + 4*k - 40 = 0, 4*k - s = x + 18 for x.
-4
Let b = 3 - 3. Suppose -5*i + 102 = -3. Solve b = 3*j - 3*u - i, 9*j = 4*j - u + 23 for j.
5
Let o(m) = m**2 + 3*m + 1. Let q be o(-4). Suppose q*x + z = 18, -5*z = -3*x - 0*z + 22. Solve 0 = -v - x, 1 = 3*n + v - 5*v for n.
-5
Let o(i) = 11*i**3 - i**2 - 2*i - 1. Let a be o(-1). Let f = a - -4. Let j = 12 + f. Solve 4*t = 5*l - 9, -4*l - j*t = -l - 35 for l.
5
Let m = 10 + -7. Let w(s) = 2*s**2 - 4*s. Let r be w(m). Solve 0 = 5*n + 4*z - 1, -r = -4*n - 4*z + 6*z for n.
1
Suppose -x + 4*t - 24 = -5*x, 0 = 4*t. Suppose h - 5*w = -9 - x, 0 = 2*h - w + 3. Solve 7*s = -3*m + 4*s + 6, h = s - 5 for m.
-3
Let o(n) = -11*n**3 + n**2 + n. Let p be o(-1). Solve 5*j - 4*f = -f - 23, 2*j = 3*f - p for j.
-4
Suppose -2*w + 5*w - 144 = 0. Suppose 4*r + 12 = h, -4*h - 7*r + w = -2*r. Solve -h = -2*o - 4*v, 4*v - 8 - 8 = -4*o for o.
2
Let k(z) = z**3 + 10*z**2 - 12*z - 7. Let v be k(-11). Suppose -3*u + v*q + 18 + 10 = 0, u - 5*q = 24. Solve -3*c = 4*d - 5, u*c = -3*d + c + 6 for d.
-1
Let a(t) = t + 2. Let u be a(0). Solve -5*p + 27 = -2*n - u*n, -2*p = 5*n + 9 for p.
3
Suppose 0 = -8*l + 4*l + 24. Suppose l*g - 3*g - 12 = 0. Let q be 27/4 + (-3)/(-12). Solve u + g*n = -8, 0 = -4*u + 4*n + 35 - q for u.
4
Let t(j) = -j**2 - 7*j - 6. Let z be t(-5). Solve -2*s = y - s - z, y + 5*s = 8 for y.
3
Let b(v) = -v**3 + 2*v**2 + v. Let x be b(-1). Solve 0 = x*q - 7*q - 15, -3*h = q + 3 for h.
0
Suppose 2*j + 0*j = 2*y, -3*j = y - 16. Let w(u) = u**2 - 2*u. Let b be w(-4). Suppose m + 6 = 3*m. Solve -b = z + 5*s, 17 = -m*z - 0*z - j*s for z.
1
Let o be (10/6)/(1/3). Suppose 0 = -0*y + y - 20. Solve o*l = -x + 17, -4*x = 3*l - y + 3 for x.
2
Let k(g) = -g**3 - 9*g**2 - 8*g + 2. Let q be -9 + (-3 + 3 - -1). Let y be k(q). Solve 12 = -y*a - 2*h, -2*a - 3 = -h - 0 for a.
-3
Let m = -6 + 6. Solve 0 = 5*h - 4*v + 4, m = -5*v + 3*v + 2 for h.
0
Suppose 16 = 2*c - 0*c. Solve 4*m + 0 - c = 2*a, 0 = 5*a - 4*m + 2 for a.
2
Let d(k) = 3*k**3 - 2*k**2 - 4*k + 4. Let i be d(2). Let t be 3 + (2 - i/4). Solve t*o - 3*o + 14 = 5*w, 8 = 2*o for w.
2
Let i(c) = c**3 - 5*c**2 + 2*c - 5. Let j be i(5). Let m be 5/((-10)/18) + 0. Let l = -7 - m. Solve -2 - 8 = l*d, 5*p + j = -d for p.
0
Let d = -10 - -16. Let j be (-1)/(-3) - 10/(-6). Let s = d - j. Solve -5 = -s*w - 5*f, -2*w + 0*w - 2*f = -4 for w.
5
Suppose 11 = 4*j + h, 3*j = h + 11 - 1. Let c be (2/j)/((-10)/(-45)). Solve 4*m - 7 = -3*b, 5*b = -4*m - 2 + c for b.
-3
Suppose 0 = -3*h + 20 - 5. Suppose -24 = -2*b - 4*d, h*d - 2 - 6 = 3*b. Suppose 0 = -5*t + 24 + 1. Solve -2*z - 17 = -3*l, -3*z = l + t + b for z.
-4
Let r(f) = -2*f**2 - 25*f - 25. Let w be r(-11). Solve o = -2*k - w, o - 4*o = 4*k + 16 for k.
-4
Let n = 1 + -7. Let u be (-3)/(-2)*(-16)/n. Solve -a + 4*r - 2 = a, -u*r = -5*a - 17 for a.
-5
Suppose 4*h - 2 = 10. Solve -h*m - 5*d + 6 = 0, 3*m + 2*m = 3*d + 10 for m.
2
Suppose 2*r - 3 = 2*b + 3, 5*r = 0. Suppose -5*x = 4*h - 5 - 45, 4*x + 4*h = 44. Let m = b + x. Solve -m*n = -3*z + 6, -3*z = -5*n - z - 13 for n.
-3
Let v = -29 - -42. Let j = -9 + v. Solve 3*a + 2*p + 25 = 0, -j*p = 3*a + p + 40 for a.
-5
Suppose 2*w = 5*w + 42. Let o be (-3)/(-2) + (-7)/w. Solve -3 = -f - 4*x, 1 = -f - x - o for f.
-5
Suppose 0 = 3*d + 3. Let z be 7 + (2 - 1) + d. Let o(x) = 2*x - 5. Let b be o(4). Solve b*v = -0*y + 3*y, -3*v + z = 4*y for y.
1
Let b(i) = i**3 + 2*i**2. Let k be b(2). Suppose u - 5*u + k = 0. Suppose 0 = -c - 3*c + 48. Solve -v - 3 = u*r + 9, -2*v - 5*r = c for v.
4
Let p be 9 - (6/(-9))/(3/(-9)). Solve -v + 2*u - 4*u = -p, -3*v + 18 = 3*u for v.
5
Suppose 5*p = -17 - 18. Let z(b) = -2 - 4*b**2 + b**3 + 11*b**2 + 6. Let w be z(p). Solve 3*k + 4*y = 2*k + 18, 2*k + w*y - 16 = 0 for k.
-2
Let y be -7*(-2 - 128/(-28)). Let a = 32 + y. Solve 3*t + 2*n + 15 = 6*n, t = -5*n + a for t.
-1
Let g be (-46)/(-8) + (-4)/(-16). Solve g*s + 3*o = 3*s - 18, 4*s = 2*o + 6 for s.
-1
Let l(r) be the first derivative of -r**3/3 - r**2/2 + 15*r - 1. Let n be l(0). Solve 0 = q - 3*g - 0 + 5, -3*g = -3*q - n for q.
-5
Suppose 21 = 4*q - 3*i - 9, 0 = 4*q - 2*i - 28. Let d(s) = -s**3 + 4*s**2 + s - 3. Let g be d(4). Solve -w = 5*p - 25, q = p + w + g for p.
5
Let j(x) = x + 2. Let f(b) = -b**2 + 11*b - 12. Let y be f(10). Let n be j(y). Suppose -20 = -4*t - n*t. Solve 0 = -4*i - 3*g - 25, i + 0 = 3*g + t for i.
-4
Suppose 0 = -2*d - 32 - 4. Let r = d - -21. Solve -4*l = 5*k - 40, 0 = 4*k - r*k - l + 1 for k.
4
Let b(f) = 5*f**2 - f - 1. Let k be b(-1). Let q be 3/(-2)*(1 + 1). Let w = q - -3. Solve 0 = -k*x - 3*p - 13, w = -4*x + 2*x + 3*p - 1 for x.
-2
Let j be 4/8 - (-26)/(-4). Let p = 10 + j. Solve 2*g - 7*u + 3*u = -4, 0 = -4*g - p*u + 4 for g.
0
Suppose 8*h = 7*h - 12. Let u = h + 12. Solve u = -4*r + z + 11, -3*r + 4*r - 2*z + 6 = 0 for r.
4
Suppose -u = u. Let t = 57 + -35. Suppose -3*n + n + t = u. Solve z - 5 = -2*g, -5*z + 2*z + n = 5*g for g.
4
Suppose -5*n + 3*n = -4. Solve 5*t = 3*u + 21, -n*u + u + 7 = 3*t for t.
3
Let x be 0*(-3)/(-12)*2. Suppose b - 3 = -x*b. Suppose -2*v - q = 3, 0 = -b*v + 6*q - 3*q + 9. Solve -5*u = y - 4*y - 19, v = y + 2*u - 1 for y.
-3
Let j(a) = 5*a**2 + 3*a - 2. Let b be j(1). Solve -3*q + 9 = -b, 12 = -3*m + 3*q for m.
1
Suppose -5*c + 4*c = -1. Let y be c - 11/(44/(-24)). Solve 5*m = -4*i - 10, 3*m - i - 4 - y = 0 for m.
2
Let y be 0/2 + 3 + (-60)/(-30). Solve 0 = -y*n - 2*g + 13, 4*n - g = 3*g + 16 for n.
3
Let y = 16 - 11. Suppose y*t = 8*t. Solve 4*s - 8 = -a + 6*s, t = 4*a - s - 4 for a.
0
Suppose 0 = 4*z + 2*o - 14, -20 - 14 = -5*z + 3*o. Solve -r + 12 = -4*q, -4*r = z*q + 8 + 7 for r.
0
Let u = -11 + 14. Suppose -2*r = -p - 14, 4*r - 25 = u*r + 5*p. Solve -2*h + r*k = 3*h - 35, -4*h = k - 3 for h.
2
Suppose -4*y - 4 = -16. Suppose 0 = f - y*r - 6, 0*f + 2*f - 2*r - 8 = 0. Solve -2*p = -a - p - f, 4*p - 28 = -4*a for a.
2
Let i = 5 - 5. Solve -5*t - 2*o - 2 + 14 = 0, i = -t + 4*o - 2 for t.
2
Suppose -v + 5 = -0. Solve -4*o - 3*j + 0*j = 0, v*o = 4*j for o.
0
Let f(s) = s**3 - 13*s**2 - 29*s - 13. Let x be f(15). Solve x*u + m - 6 = 0, u - 5*m - 6 = -4*m for u.
4
Let w be (-246)/(-10) - 4/(-10). Solve w = -2*m - 3*v, v + 20 = -m - 2*v for m.
-5
Let r(h) = h**3 + 5*h**2 + 5*h + 6. Let w be r(-4). Suppose 0 = d - 0*d + 2*g + w, 6 = -2*g. Solve -3*m - 1 = q - d, -2*m - 3*q - 5 = 0 for m.
2
Let f = 23 - 21. Solve -w = -4, -3 = -f*k + w + 3 for k.
5
Let y be ((-2)/(-3))/(22/165). Solve -8 = -5*k - 3*m, 2*m + 0 + 28 = y*k for k.
4
Suppose 0 = 5*c + 3*f - 16, 2*f - 5*f + 8 = c. Let r(d) = -2*d**2 + 2*d. Let t be r(c). Let g = t - -4. Solve g*j = -5*j - 5*m + 30, 4*j - 15 = -m for j.
3
Let y be (-3 - (-2)/(-1)) + 7. Solve 0 = -n - y*r - 3, 2*n + 3*r = 2 - 6 for n.
1
Let v(k) = k**3 - 11*k**2 + 2*k - 12. Let n be v(11). Solve n = 4*x + 5*u, -2*u - 29 = -5*x - 0 for x.
5
Suppose -2*l - 5*v + 30 = -l, 2*v = 3*l - 5. Solve -2*i + 2 - 4 = l*h, -2*h - 2*i = 2 for h.
0
Suppose 4*u + 2 + 2 = 0, -4*u + 28 = -4*h. Let q = h + 13. Solve -3*m - 18 = -2*s, -2*m - 9 = -q*s + 14 for m.
-4
Let z = 1 - -1. Let c be (-5)/(10/(-52)) - -1. Let a(x) = x**2 - 4*x - 7. Let b be a(6). Solve r + 13 + 13 = 5*k, 0 = -b*k + z*r + c for k.
5
Let i = 26 - 24. Solve 12 = 2*a + 5*y - 4, -a + i = y for a.
-2
Let c = 8 - 3. Suppose 2*a = a + c. Suppose -4*m = -a*r - 95, 4*m - r + 4*r - 135 = 0. Solve -2*u + 4*w = -m, -2*u = 3*u - 2*w - 35 for u.
5
Let b = -17 - -46. Suppose -38 = 4*u - 4*f + 50, 4*u = -f - 63. Let s = b + u. Solve 0 = -5*g + 2*t - 8, -3*g - 6*t + s = -3*t for g.
0
Let i(f) = 8*f**2. Let h be i(1). Suppose -4*s + 20 = h. Solve -2*v = s*k + 7, v + 5*k = 4*k - 2 for v.
1
Let w(f) = f**2 - 5*f. Suppose -2*b + 5*b + 3 = 0. Let k(t) = -5*t**3 - t**2 - t. Let x be k(b). Let j be w(x). Solve h + y = j, -4*h + y = 4*y - 3 for h.
3
Let f(j) = 2*j + 2. Let v be f(9). Suppose -55 = -5*h + 5*d, 4*h - 9 = d + v. Let n be 2*(-2 - (-27)/h). Solve -8 = -o + 2*y, -4*y = -5*o + n + 5 for o.
-2
Let r be 5*(-1)/(-4)*4. Suppose r = p + 1. Suppose 3*t - 3*o - 27 = 0, 4*t - o - 18 = 6. Solve -t*q - 9 = -p*n, 0*q - 3*q = -2*n + 7 for q.
-5
Let l = -29 - -29. Solve 0 = -5*u + 2*v + 3, l = -3*u - u + 5*v - 1 for u.
1
Let v be 46/8 - 9/(-36). Solve -5*s + 4*a + 26 = 0, -5*s + 0*s - a = -