4). Let u(y) = 2*y - 8. Let s be u(i). Solve 0 = 3*b - 0*b - s for b.
2
Suppose 9 = 4*y - y. Suppose 0 = y*x - 23 + 2. Solve -2*t + 25 = -x*t for t.
-5
Let v(b) = b**2 - 2*b - 5. Let h be v(4). Suppose 0 = 3*k + 2*x + 42, 56 = -k - h*k + 5*x. Let m be k/21 + (-2)/(-3). Solve m = -3*c + 15 for c.
5
Suppose 0*z - 4*z = f - 18, -5*f = -3*z + 2. Suppose 0 - z = -d. Solve 9 - 1 = -d*n for n.
-2
Let t(g) = g - 3. Suppose 3*k + 2*k - 28 = -j, -k + 5 = 0. Let p be t(j). Solve p = s - 6*s - 15 for s.
-3
Let f be (-244)/(-20) + 3/(-15). Suppose -f = 4*x, 0 = -4*l + 5*x + 21 + 18. Solve -2*j + l*j + 12 = 0 for j.
-3
Suppose -8 = -3*u + u. Solve -u*v + v + 3 = 0 for v.
1
Let u(n) = n**2 - 5*n - 4. Let w be u(6). Suppose -3*t = 4*q - 18, w*q - 8 = -4*t + 6. Let s be 1/(q/15)*1. Solve s*b + 11 = -14 for b.
-5
Let h be (-2)/(0 - 4/10). Suppose 2*z + 12*z - 56 = 0. Suppose -l + c = -3*l, z*l - h*c = 28. Solve 0 = 3*f - l*f for f.
0
Suppose 2*q = 4*q - 4. Solve -q*w + 3 + 3 = 0 for w.
3
Let z be (-3)/(-2) - 21/(-6). Suppose 0 = u - 4, 4*j = -3*u + 74 - 6. Suppose j = z*c - 11. Solve 0 = -2*s - c - 1 for s.
-3
Let u(q) = -q**3 - 2*q**2 - q + 6. Let h be u(-3). Solve h = 4*a - 2 for a.
5
Let t be 0 - (0 - 0/3). Suppose t = 4*o + 4*r - 20, -3*o + 4*r = -2 + 1. Solve 0 = o*d + 18 - 6 for d.
-4
Suppose -17*y + 12 = -14*y. Solve 0 = y*p - 3*p - 5 for p.
5
Suppose -5*i = -32 + 22. Solve i*u - u + 1 = 0 for u.
-1
Suppose -2 + 6 = 4*v. Solve -v - 1 = 2*n for n.
-1
Let u = -3 + 6. Suppose -2*a - u*o = -22 - 30, 0 = -4*a - 2*o + 88. Solve a = -2*m + 6*m for m.
5
Let u = -23 - -24. Let w be 0 + (-2 - -3) - u. Solve w = -4*q + q for q.
0
Suppose 3*n - 40 = -3*c + 41, -c - 101 = -3*n. Suppose -h + n = 3*h. Let s = -6 + h. Solve k + 3 = -s for k.
-5
Suppose 2*w = -w + 21. Let p = -3 + w. Suppose p*n + 16 = 0, -4*r = 2*n - 20 - 12. Solve 0*l = -2*l + r for l.
5
Let d(h) = h**2 - 9*h - 5. Let l be d(10). Solve k = -0 + l for k.
5
Let l(m) = -m**2 + 5*m - 1. Let v be l(3). Suppose -v + 2 = -3*n. Solve 0 = x + n - 3 for x.
2
Let g(p) = p**2 + 6*p - 4. Let j be g(-4). Let x = j + 18. Solve 0 = -l + x*l - 20 for l.
4
Let o(q) = -q**2 - 3*q + 20. Let l be o(-5). Solve -2*j = -l + 4 for j.
3
Let u be (-46)/(-4) - 15/10. Let f(q) = -q**2 + 9*q + 10. Let v be f(u). Solve -4*d + v*d + 20 = 0 for d.
5
Let n(g) = g + 6. Let k(m) = -1. Let x(i) = -4*k(i) + n(i). Let w be x(-7). Solve 13 - w = -2*r for r.
-5
Let m = 1 + 2. Suppose -39 + 8 = -5*w - 2*y, 4*y - 27 = -5*w. Suppose -3*d = -h - w, 3*d + 1 = 5*h - 0. Solve -18 = m*f - d for f.
-5
Suppose 0 = 3*i - 4*l - 61, 2*i + 0*i = -5*l + 10. Solve -i = 4*f + f for f.
-3
Suppose 0 = 4*i + 3*x + x + 16, -4*i = -2*x - 8. Solve -5*a + 25 = -i*a for a.
5
Suppose 2*m - 3*m = -4. Suppose f = -5*c - 3, m*f + 0*c - 4*c = 12. Solve x - f*x = 0 for x.
0
Let x = 17 - 9. Let f(y) = y**2 - 7*y + 1. Let c be f(x). Suppose 0 = -g + 4 - 0. Solve -m = -g*m - c for m.
-3
Let h(x) = -x**3 - 5*x**2 - 6*x - 4. Suppose 5*p - 5 = 10. Suppose p*z + 20 = -2*z. Let w be h(z). Solve 0*m + 2*m + w = 0 for m.
-2
Suppose -30 = -5*y + 8*z - 5*z, 3*y = 3*z + 18. Let j = -2 + y. Solve -w + j = -5*w for w.
-1
Let o = 4 + -5. Let q = o + 2. Solve q = -x + 6 for x.
5
Suppose 2*g - 18 = g + 4*r, 2*r - 2 = -5*g. Solve -g*z = -0*z + 2 for z.
-1
Let z = -17 - -19. Solve 0 = t - 2*t - z for t.
-2
Let c(f) = -f**2 + 7*f - 5. Let y be c(6). Let n be -1 - (-4 + 2)/y. Solve 2*o - o = n for o.
1
Suppose 60 = 10*o + 20. Solve 7 = -o*p - 5 for p.
-3
Suppose 4*j = -3*n + 12, 2*n = j - 0 - 14. Solve j*i = 2*i + 12 for i.
3
Suppose 4*i = 2*i + 6. Solve 0*f = -f - i for f.
-3
Let r be (28/(-35))/((-1)/10). Solve -24 = -4*a - r for a.
4
Let a be ((-3)/2)/((-24)/80). Suppose 2*l + 5*g + 1 = 10, -a*l = 3*g - 32. Solve 0 = -2*r + l - 5 for r.
1
Let o = 28 + -139. Let n be (-2)/7 - o/21. Solve 20 = 5*k + n for k.
3
Let u = -88 - -90. Let k(z) = z**3 + 6*z**2 - z + 4. Let w be k(-6). Solve u*b - 6 = -w for b.
-2
Let s(k) = k**3 + 9*k**2 - k - 9. Let j be s(-9). Solve -5*h - 5 = -j*h for h.
-1
Suppose 21 = 2*m + 5*i, 0 = -2*m - i - 2*i + 15. Solve -d = -m*d + 6 for d.
3
Suppose p - 3*p = -x + 13, 2*x + 2*p - 2 = 0. Let f(w) = -4*w**2 + 4 + 1 + 1 - w**3 + x*w. Let u be f(-5). Solve -3*g + u*g = 3 for g.
1
Let l(o) = 5*o. Let h(r) = 4*r - 1. Let t(z) = 3*h(z) - 2*l(z). Let a be t(5). Let v = a - 4. Solve -v*s = -7 - 2 for s.
3
Let c = 11 + -9. Let z = 6 - c. Solve 0 = -3*y + z*y - 2 for y.
2
Let p(c) = 3*c**2 + 3*c. Let r = -1 - 1. Let j be p(r). Solve 22 - j = -4*z for z.
-4
Suppose 0*z = 2*z - 14. Suppose -2*u - 3*u = 20, 4*w - 4 = -u. Let o = w + 1. Solve 4 = o*q + z for q.
-1
Let d be ((-18)/27)/((-2)/(-18)). Let k be 3*(-1 - 16/d). Solve -k = 3*t + 2*t for t.
-1
Suppose -2*j + 4 = 4*x - 4*j, 2*x - 2*j = 0. Suppose -4*r - r - 4*g + 41 = 0, 4*r + g = 24. Let k = -3 + r. Solve 0 = k*w - x - 0 for w.
1
Suppose 14 = z - 6*b + 4*b, -2*b - 46 = -3*z. Solve -3*q = q + z for q.
-4
Suppose 0 = -2*f - t + 26, 5*f - 4*t - 65 = -2*t. Suppose 15 = 6*o - o + 5*b, 0 = -2*o + 5*b + f. Solve -8 = o*q - 0*q for q.
-2
Suppose 3*a - 5*a + 94 = 3*n, 0 = -3*n - 4*a + 104. Solve n - 8 = -5*k for k.
-4
Suppose -43 = -5*q + 3*c, 0*q - 5*c = -3*q + 29. Suppose 5*x - q = x - 3*g, 5*x - 3*g = 37. Suppose -x*o = w + 10 - 37, -w + 22 = 4*o. Solve 0*a = o*a for a.
0
Let t = 82 - 74. Solve -5*g + g + t = 0 for g.
2
Let z(d) = -d**3 - 2*d**2 - 3*d - 5. Let n be z(-2). Suppose -2*j + 3 = -n. Solve -j = -5*x + 8 for x.
2
Let o(v) be the first derivative of -7*v**4/2 + v**3/3 + 2. Let j be o(-1). Let h be (-2 + (-6)/(-2))*3. Solve -2*i = h*i + j for i.
-3
Let p = 7 - 5. Suppose -p*w = 5*d, -3*w = -w. Suppose -4*k - k = d. Solve -4*z = -k*z + 16 for z.
-4
Suppose 5*o = -0*a + 3*a - 69, 0 = o + 3. Suppose 9 + a = 3*f. Suppose -k + b + 0 = 1, k + b - f = 0. Solve -k*q + q = 9 for q.
-3
Let k be (2/28*12)/(3/21). Solve 0*z + 3*z = k for z.
2
Let k(u) = 3*u - 12. Let z be k(4). Solve 5*f + z*f = -10 for f.
-2
Let i be (0 + 0)/(-1 + -1). Solve -3*v + 6*v = i for v.
0
Suppose -5*g - 20 = -g. Let k(d) = -5*d + 2. Let v be k(2). Let l = g - v. Solve q - 2 = l*q for q.
-1
Let r = 2 + 1. Suppose -3*k - 2 = -2*f - 8, 0 = -r*k + 12. Solve -w - 10 = -f*w for w.
5
Let n be (-1)/(-4) + (-23)/(-4). Let b be 1*8 - (n + -4). Suppose b*x = 4*x + 4. Solve -g + 6 = x for g.
4
Let z(v) = 2*v**2 - 4*v + 3. Suppose -7 - 3 = -5*t. Suppose h - 6 = -t*h. Let p be z(h). Solve p*f = -0*f - 15 for f.
-5
Suppose 3*g + 1 - 4 = 0. Suppose -2*r - 3 + g = 0. Let f be 1 - -1 - (r + -2). Solve 2*m - 3 = f for m.
4
Let f(g) = g**2 - 1. Let j be f(3). Suppose -4*a + 0*a + j = 0. Solve 0*n - a = n for n.
-2
Let a(o) = 51 - 16 - o + 29. Let i be a(0). Suppose -5*c + i + 16 = 0. Solve -6*k - c = -2*k for k.
-4
Let j = -40 + 40. Solve -h = -j*h - 5 for h.
5
Let i be (-45)/10*(-6)/(-9). Let m be 2 + i - (-3 - 2). Solve m*g - 9 = g for g.
3
Let b be (-125)/75*(0 - 3). Solve 0*o + b*o = -20 for o.
-4
Let k(d) = -d. Let n be k(-1). Let r be n*3/(-3) + 1. Solve r = 4*y - 12 + 4 for y.
2
Suppose -23 = -4*c + 1. Suppose w = 4*n - 0*n - 5, 4*w - 3*n = c. Suppose 0 = -w*h + 2 + 4. Solve 3*r = -h*r for r.
0
Let w(l) = -l**3 + 4*l**2 + 6*l - 1. Let c be w(5). Let d = -4 + c. Suppose d = -g + 3*g - 2. Solve -z = 3 - g for z.
-2
Let s(z) = z**2 - 6*z - 3. Let x be s(7). Solve 0*r + 4*r = x for r.
1
Let y = 3 + -2. Suppose 5*f = -w - 0*w - 9, 3*f - 15 = -4*w. Solve y = -p + w for p.
5
Let m = 7 + -8. Let z be (-3)/6*m*6. Solve -z*q - 2 = -5*q for q.
1
Suppose -2*a - 3*u + 4 = 11, 4*u = -12. Let y be -3*a*(-4)/6. Let s be y/(-7) - 120/(-28). Solve -s*k = k for k.
0
Let c(q) = q**2 - 4*q - 7. Let y be c(6). Let u be 20/(5/1) - 0. Solve -u*i - i = -y for i.
1
Let m = -24 + 41. Let i = 42 - m. Solve i = -10*s + 5*s for s.
-5
Suppose 3*a - a = 0. Let b = a - 0. Let o be (-13)/(-4) + (-1)/4. Solve b*h + o = -h for h.
-3
Let h be (-4)/(-3)*(-6)/(-4). Suppose 3*d + h*t - 17 = 0, -3*d + 3*t = -d - 7. Solve -p = -1 + d for p.
-4
Suppose 5*w - 18 = q - 4*q, -2*w = -6. Let s = 2 + 2. Suppose y = -s*y. Solve y = g + 4 + q for g.
-5
Suppose -j + 1 = -5. Solve r = -1 + j for r.
5
Let n = 109 + -109. Solve -2*a - 1 - 7 = n for a.
-4
Suppose 4*l - 15 = -7. Suppose -3*o - 55 = -2*c, c - 20 - 9 = l*o. Su