+ 4. Let i = z + 2. Solve 5 = -3*h - i for h.
-3
Suppose p = 2*p. Solve p = -2*r + r - 4 for r.
-4
Suppose 0 = -2*w + 6*s - 10*s - 12, -w - 3 = s. Solve w = 4*g - g + 6 for g.
-2
Let h = -2 - -6. Suppose 5*u - 25 = 4*j, -j + 0*u + 20 = 4*u. Solve -20 = -h*p - j*p for p.
5
Let x be 13/2*3 - (-52)/104. Solve 4*b - 8*b + x = 0 for b.
5
Suppose 0 = b - 2, 3*b = -3*x + 4*b + 13. Solve -1 = x*i + 4 for i.
-1
Suppose d + 3*d = 64. Suppose -11*k + d = -7*k. Suppose 4*f - 6 = 7*f, 5*l = k*f + 28. Solve l*w - 5 = 3 for w.
2
Let u(h) = -2*h - 6. Let l be u(-5). Let v be (-3 - 14/(-4))*l. Suppose -j = -v*j. Solve 5*i - 2*i - 9 = j for i.
3
Let n be (-2)/(-1) - (-1 - -2). Let i be n/3 - (-35)/3. Let a = 2 - -4. Solve a*m - 2*m = -i for m.
-3
Suppose 5*y - 2 - 33 = 4*q, -y = 2*q + 7. Solve 0 = y*l + l for l.
0
Suppose 5*c - c + 5*k - 7 = 0, -3*k + 6 = 3*c. Suppose 0*f + f = -5, 4 = c*q + f. Solve q*d = -2 - 1 for d.
-1
Let a be (12/2)/(3/(10 + -4)). Solve 0 = 5*h - h + a for h.
-3
Let a = -15 + 22. Suppose 3*v = a*v - 4*p, -8 = v - 3*p. Solve 2 = 3*z - v*z for z.
-2
Let u(s) = 3*s. Let n be u(1). Let v(q) = q - 5. Let t = 14 - 9. Let o be v(t). Solve -n*c - 6 - 9 = o for c.
-5
Suppose l + 10 = -3*b, -l - 5*b = -6*l + 30. Solve l + 2 = -k for k.
-4
Suppose -c - 10 = 5*j + 2, 0 = -4*j - 16. Let h = c + -3. Solve 0 = -h*t - 2 - 23 for t.
-5
Let b(k) = -6*k + 14. Let c be b(0). Solve -3*q + c = -1 for q.
5
Let d = 46 + -41. Suppose w - 49 = -3*y, 2*w = 5*w - 12. Solve -y = -d*f - 0 for f.
3
Suppose 3*u = -2 + 8. Suppose -1 - 14 = 5*o. Let a = o - -3. Solve a = w + u*w - 3 for w.
1
Let n = 18 - 16. Let r be (2 + 28)/n - 3. Solve 13 = -5*l - r for l.
-5
Suppose -x = 4*x - 20. Solve 0 = x*w - 3 - 1 for w.
1
Let j = -43 + 43. Suppose 3*s = -g + 8, 0 = -5*g - 0*s - 2*s + 14. Solve -d - g = -j for d.
-2
Let w(u) = 2*u**2 + u. Let v be w(-2). Solve v*i - 16 = 2*i for i.
4
Let l be (-1 + 5)/(2 - 0). Let s be ((-4)/6)/(l/(-6)). Suppose s*a + 5*y = 39, 0*y + 5*y = 15. Solve -3*k = 3 + a for k.
-5
Let o(l) = -l**2 + 9*l + 13. Let i be o(9). Suppose -2*x + 5*r = i, 7 = 4*x + r - 22. Solve -2*h - x = -2 for h.
-2
Suppose 0 = 3*y - 3*f, -5 + 3 = -f. Let d be ((-4)/(-8))/(1/12). Solve y*c = d*c for c.
0
Suppose 8*i = 3*i + 20. Suppose 3*q + 22 = -6*u + u, -q - 24 = 5*u. Let w be (0 - q)/(i/(-28)). Solve w*x - 6 = 4*x for x.
2
Suppose -31 - 29 = -12*v. Solve -3*k - 14 + v = 0 for k.
-3
Let b(a) = a**2. Let h be b(-2). Let i = h + -8. Let j = i - -7. Solve j*w - 8 = -w for w.
2
Let w(p) = p**3 + 4*p**2 - 2*p - 5. Let u be w(-4). Let b be 4 - (2 + -3 + u). Solve -b*j + 0 + 10 = 0 for j.
5
Let z = 0 - 2. Let k be z/(-7) + 18/(-14). Let a be 36/6 + -1 + k. Solve a = -3*w + w for w.
-2
Suppose -l - 2 = 5*w - 17, 0 = 3*l + 3*w - 69. Solve 10*r - 5*r + l = 0 for r.
-5
Suppose 5 = -3*i + 17. Solve -1 = i*j + 3 for j.
-1
Suppose -2*p + 141 = 3*p + 4*u, 0 = -5*p - 2*u + 133. Solve x = 6*x - p for x.
5
Let a(i) = -i + 9. Let w be a(5). Let v(l) = 6*l**3 - 2*l + 2*l**2 + 5 + 0 - w. Let h be v(1). Solve -h - 1 = -2*j for j.
4
Let s = -5 + 7. Suppose z + 20 = 4*r, -2*z - 18 = -s*r - 2. Suppose 2*x - 3 = 3. Solve x*y + r = -y for y.
-1
Suppose y - 2*y = -5. Suppose 2*f = y*f - 9. Suppose -4*c + 10 = c + f*u, -c + 3*u + 20 = 0. Solve 0 = d + 2 - c for d.
3
Suppose u + 24 = -4*j, 3*u + 2*u - 27 = j. Let y = j + 7. Solve -i + 3 + 1 = y for i.
4
Suppose -2 = -u + 2. Suppose -2*s - 1 = 4*t - 21, -u*t = -3*s. Suppose -t*i = i. Solve i*p = -3*p + 3 for p.
1
Suppose 2*h - 3 = h. Solve 4 = -h*q + 1 for q.
-1
Let n(k) = -k**3 - 15*k**2 + k + 20. Let q be n(-15). Solve -3*l - 2*l = -q for l.
1
Let y be 3*6/(-9)*-1. Suppose -5*t + 0*t + 12 = h, y*h = 2*t. Suppose -q = -2*i - 14, t*q + i - 26 = 4*i. Solve -3*v + 1 - q = 0 for v.
-3
Let j(h) = -h**2 - 13*h - 7. Let y be j(-10). Suppose -2*n - n + 11 = t, 3*t - y = n. Solve t*p - 3*p = 0 for p.
0
Let z(b) = 5*b - 2*b - b**3 + 3 - 2*b**2 + 0*b. Let f be z(-3). Solve f + 1 = 2*w for w.
2
Suppose -k = -5*b + 19, 5*k = b + 2*b - 29. Suppose 3*c + a = -3 + 7, b*c - 5*a = 16. Solve 0 = c*i - 8 for i.
4
Let r = -23 + 28. Solve 0 = -3*t + r*t for t.
0
Let q(b) = b**3 + 5*b**2 + 4*b. Let h be q(-4). Let c be 12/2 + -1 + 2. Suppose 2*n = 5*y - 32, -2*y - 2*n + 17 = -c*n. Solve v - y*v - 5 = h for v.
-1
Suppose 5*a = -4*f - 7, -3*a + 3*f - 5 - 10 = 0. Let i = -3 - a. Suppose i*r - 10 = -2*r. Solve 3 - r = 2*w for w.
-1
Suppose 0 + 6 = 3*b. Suppose 0*d - 5*d - 15 = 2*y, -y = -5*d. Let u be (d - -1)*(-1)/2. Solve -5*v + b*v = u for v.
0
Suppose i = -3*i + u + 23, -4*u = -4. Let j be (-22)/(-4) - i/4. Suppose 3*p = 7*p. Solve p*z = 2*z - j for z.
2
Let t = -24 + 10. Let b be (-2 - 0)/(t/21). Solve b*v + 0*v = -9 for v.
-3
Suppose -2*b + 5*b - 5*x = -25, -5*b = -x + 5. Solve -6 = -b*p + 3*p for p.
-2
Let f = 8 + -2. Suppose 0 = -3*h + 2*g - f, 0 = 2*h + 3*h + 3*g - 9. Let v = 18 - 10. Solve h*l - v = 2*l for l.
-4
Let r(j) = -2*j + 4. Let m be r(2). Solve m = -2*f + f for f.
0
Let v(n) = -3*n - 1. Let w be v(-2). Let a be 4 + -4 + w + -2. Solve 2*q - q + a = 0 for q.
-3
Let u(h) be the first derivative of -3*h**2/2 - h + 4. Let g be u(-3). Solve -g = 3*z - 2 for z.
-2
Let x = -19 - -12. Let q = 22 + x. Solve -n - q = 4*n for n.
-3
Let k(o) = -3*o**2 + 18*o + 24. Suppose -g = -2*g - 11. Let j(m) = -m**2 + 6*m + 8. Let c(q) = g*j(q) + 4*k(q). Let a be c(7). Solve 5*u - 6 + a = 0 for u.
1
Let u(j) = 5*j**2 + 2*j - 4*j + 0 - j**3 - 3 + 1. Let k be u(4). Solve -5*y = -k*y for y.
0
Let u(l) = -l + 5. Let w be u(7). Let z = w + 5. Solve 5 = z*c + 2 for c.
1
Suppose 5*o = 2*o. Suppose 0 = -4*b + 2*b. Suppose 2*j + 2*k + 1 = 19, b = -k. Solve o = -3*d + j - 24 for d.
-5
Let a(d) = d + 3. Let i(p) = -p + 1. Let k(m) = a(m) + 2*i(m). Let t be k(0). Solve -2*z - 3 = -t for z.
1
Let c(j) = j**2 + 13*j - 14. Let x be c(-14). Let h be (-34)/8 + (-2)/(-8). Let s = h + 6. Solve -3*z - 8 + s = x for z.
-2
Let v(j) = 3*j**2 - 2*j - 1. Let s be v(-1). Suppose 3*x = -0*l - s*l - 27, -3*l = 0. Let u be 6/((x/(-2))/3). Solve u*k = -k + 20 for k.
4
Suppose -3*f - 30 = -3*y, -y - 26 = -2*y + 5*f. Suppose y*n - 70 = n. Suppose 5*p = 1 + n. Solve -p*j = j for j.
0
Suppose 3*d = -5*j + 9, 3*j + 12 = 5*j - 3*d. Let m be 4/j - 1/3. Solve -2*r + 9 = m for r.
4
Let p = 4 - 0. Suppose -9*a = -a - 2*a. Solve a = -p*x + 2*x for x.
0
Let r(k) = -k**2 - 14*k + 6. Let q be r(-14). Suppose 3*o - o - 10 = 0. Solve o*s = 2*s + q for s.
2
Suppose 3 - 9 = -3*z. Solve z*a + 4 = -0*a for a.
-2
Suppose -u = -2*y + 26, -3*y - 2*u = -u - 39. Suppose 2*n - y = 3. Solve -4*t + 0*t - n = 0 for t.
-2
Let o(n) = 3*n + 11. Let k be o(6). Solve -5*m - k + 4 = 0 for m.
-5
Let n(k) = k**2 - k - 1. Let i(d) = -20*d**3 + 2*d**2 - 5*d - 4. Let m(z) = i(z) - 3*n(z). Let c be m(-1). Suppose 4*l = 6*l - c. Solve l = -3*b + b for b.
-5
Let c(l) = -2*l**2 + 3*l + 3. Let s(x) = -4*x**2 + 5*x + 5. Let t(o) = 7*c(o) - 4*s(o). Let q be t(-1). Let z be (q*(-2)/(-2))/2. Solve -z = 4*a - 9 for a.
2
Let j(o) = o**3 - 11*o**2 + 12*o - 15. Let m be j(10). Let x = m + -2. Let f = 2 + -2. Solve f = x*g + g + 8 for g.
-2
Suppose -u + 2*u = z, -3*z + 4*u = 4. Solve z*j - j - 3 = 0 for j.
1
Let q be 5/7 + 4/14. Let o(r) = 7*r**2 + 1. Let b be o(q). Solve -l = l + b for l.
-4
Let i = -4 + 5. Let u(w) = 3*w**2 + w - 1. Let n be u(i). Let j = 2 + n. Solve -t + 4 = j for t.
-1
Let d = 3 - 1. Let f(b) = b**3 - b**2 - b + 2. Let s be f(d). Solve s*h + 16 = 4 for h.
-3
Suppose -3*w + 20 - 2 = 0. Solve 0 = -3*r + 3 - w for r.
-1
Suppose 5*w = 3*x + 8, -3*x = -4*x - 1. Solve -w = 4*v - 13 for v.
3
Suppose -2*u + 62 = z + 2*z, -2*z + u = -53. Suppose z = 5*w - 6. Let o = -3 + w. Solve -o*m = -5*m for m.
0
Let k = -136 - -138. Solve -k*l + 3 = -3 for l.
3
Suppose 3*n + 7 = 25. Solve -4*g + n = -2 for g.
2
Suppose 0 + 15 = 3*f. Let y be (0 + 0)/(f/5). Solve y = 3*j + 1 - 16 for j.
5
Let x be (1 + 2)/((-9)/(-6)). Solve -x*w = -3*w + 2 for w.
2
Let j = 0 - 0. Let t be (-1 - j) + (0 - 0). Let h be (t - (2 + -3)) + 4. Solve 0*o + o = h for o.
4
Suppose -4*q = -2*s - 6, 4*q - 2*s - 2*s = 12. Suppose -5*c = -2*m - 12, -2*c = -q*c + 4*m. Solve -c - 2 = d for d.
-4
Suppose -4*y = -n - 8, -6*y + y + 5*n = -10. Solve 0 = -7*a + y*a for a.
0
Suppose 0 = -h + 2 + 6. S