4. Solve m*h + 3 = 23 for h.
5
Suppose -q - 22*v = -25*v - 108, 2*q + v - 251 = 0. Solve q = 3*z + 129 for z.
-2
Let x(d) = 4*d + 19. Let m be x(-4). Suppose -2*i - m*i = -10, 4*i - 3 = 5*z. Solve -4*u - z = -3*u for u.
-1
Suppose 6*a - 7 = -25. Let u(j) = -3*j - 7. Let i be u(a). Solve i = x - 3*x for x.
-1
Let c = -6 + 15. Let n be c/11 - (-10)/55. Solve -2 - n = -z for z.
3
Let d be 4*(-4)/(-48)*-3*0. Solve d*m + 0*m = -9*m for m.
0
Let i = 191 - 190. Solve -i - 5 = -6*v for v.
1
Let f = 257 - 257. Solve f*c + c - 2*c = 0 for c.
0
Let x = 762 - 762. Let o(i) = -i**3 + 5*i**2 - 3*i + 5. Let n be o(4). Let w = n + x. Solve 0 = 5*g + w + 6 for g.
-3
Suppose -u + 8 = 2*a, 4*a - 14 - 2 = 4*u. Let f = -2 - -4. Solve a*o = 18 - f for o.
4
Let t be (-78)/(-8) + 20/80. Let y be (t/(-3))/(1/(-6)). Let l be (-3)/(-12) + (-62)/(-8). Solve -l = 4*g - y for g.
3
Suppose 0 = 3*j - l + 3, -2*j - 2*l = -0*j + 10. Let m(u) = 2*u**2 + 3 + u + 3 + 2*u - 3. Let n be m(j). Solve 1 = n*d - 9 for d.
2
Suppose -a = -2*a + 5. Suppose 3*f + a*b + 40 = 8*f, 5*b - 5 = -4*f. Suppose 0 = 4*k - f*k + 9. Solve 0 = k*l - 4*l - 25 for l.
5
Let g(q) = 529*q - 533*q + 0*q**2 + q**2. Let z be g(-2). Solve -9*j = -z*j + 15 for j.
5
Let p(a) = -a + 13. Let o be p(8). Suppose -3*n - 3*r + 41 = 2, -r - 59 = -o*n. Let i = -12 + n. Solve w + 1 - 5 = i for w.
4
Let l be 16/28 - 5*8/(-28). Suppose -8*t + 30 = -l*t. Solve -t*b + 5 = -0 for b.
1
Let d be 2 + 2 - (-8)/1. Let w be -12*(44/d + -4). Suppose 0 = -w*q - 2*m + 12, q + 4*m - 9 = -2*q. Solve 15 = -6*j + q*j for j.
-5
Suppose 5*s - 3*h = 5, 0 = h - 5. Solve -s = -7*l + 3 for l.
1
Suppose 5 + 5 = r. Let q be -12 + r - (-11)/1. Solve z = -2*z + q for z.
3
Let w be 4*(-2 + 2/2). Let f = -86 + 78. Let m = w - f. Solve m = 4*r + 12 for r.
-2
Suppose -5*m + 8 = -97. Let o = -21 + m. Solve o = 3*p - 7 + 1 for p.
2
Let r = 154 - 154. Solve -5*u + r = -15 for u.
3
Let n = -12 - -15. Suppose -8*h = -n*h. Solve -s + 4*s = h for s.
0
Let i(o) = o**3 - 8*o + 4. Let l be i(3). Suppose 0 = -2*c - l*c + 81. Solve -4*s + c*s = 10 for s.
2
Suppose -7 = 4*m + 9. Let y(q) = -q**3 - 4*q**2 - q. Let i be y(m). Suppose 0 = w - i*l + 20, 4*w - 1 = -5*l + 24. Solve -r = 4 - w for r.
-4
Suppose -2*o - 4 = -14. Suppose o = -2*b + 3*b. Solve -5*g = -4*g - b for g.
5
Suppose -a = 0, 3*f - 4 - 8 = -5*a. Suppose 16 = f*o, 7*o = 3*u + 3*o + 1. Solve -k = -0*k + u for k.
-5
Let l = 3205 + -3205. Solve l = 22*o - 6*o + 16 for o.
-1
Suppose -4*p - 5*m - 10 = 0, -6*m = -5*p - 2*m + 8. Suppose 3*w + p*w = 0. Suppose 2*u - 4 = -w*u. Solve -u*c + 6 = -4 for c.
5
Suppose 6*f = 4*f - 28. Let k = f + 14. Solve k*a + 8 = -2*a for a.
-4
Suppose -3*i = -60*i + 228. Suppose -3*d = 5*b - 17 - 17, -2*d = 3*b - 21. Solve i = 3*p - b*p for p.
-2
Let a be (12 - 11)/(1/1). Let t(b) = -b**2 + 3*b - 2. Let z be t(2). Solve l + a - 3 = z for l.
2
Let j be (8 + (-6 - 4))/((-3)/6). Solve -8*l - j = -4*l for l.
-1
Suppose 5*u = -2*t + 7*t - 125, -104 = -5*t - 2*u. Let p = -18 + t. Solve a - 9 + p = 0 for a.
5
Let o = 12 - 8. Suppose 5*d = 4*d + o. Let p be 0/(0/d + 1). Solve p*x = -x for x.
0
Let a = -21 + 3. Let u be (a/(-15))/((-15)/(-125)). Solve -5*g - u - 15 = 0 for g.
-5
Suppose -49 = 9*l - 76. Solve -l*g + 0*g = 0 for g.
0
Let h be -1 + -2*(-6 + 3). Suppose -2*l - 6 = h*t - 27, -4*t = -l - 22. Solve -2*m - 3*m = -t for m.
1
Let o(k) be the first derivative of k**4/4 - k**3 + k**2/2 - 2*k + 1. Let r = -39 + 42. Let f be o(r). Solve -i + f = -1 for i.
2
Suppose 3*z = -2*z + 50. Suppose -16 = 8*d - z*d. Solve -b + 5*b = d for b.
2
Let g(m) = -m**3 + 5*m**2 - 2*m. Let a be g(3). Suppose 5*f - 38 = -8. Let j(i) = -i**3 + 6*i**2 + i - 4. Let z be j(f). Solve h - a = -z*h for h.
4
Suppose -6*d + 3*d - 84 = 3*k, 0 = -2*k - 3*d - 59. Let h(o) = o**2 + 28*o + 80. Let i be h(k). Solve i*r + 2 = 3*r for r.
-1
Let d = 42 - 44. Let y = -1 - d. Solve 3*x + y = -11 for x.
-4
Let u(x) = -x + 1. Let v be u(-3). Suppose 0*m - 5*j - v = 2*m, -2*m + 5*j = -16. Solve m*o = 4*o - 2 for o.
2
Let t(a) = -a**2 + 6*a - 7. Let q be t(3). Let v be 22 + -23 - -3*q. Solve -8 = v*s + 7 for s.
-3
Let n = 81 + -78. Solve 2*y = -1 - n for y.
-2
Let f be (84/9 + -6)/((-4)/6). Let s be (-24)/(-3) - (-3 - f)/(-2). Suppose 5*i - 2*k - 29 = 0, 4*i = -0*i + 5*k + 30. Solve -12 = s*r - i*r for r.
-3
Let i(r) = -r + 6. Let g be i(0). Let k = -3 + g. Let v be (24/(-18))/(1/(-9)). Solve k*c - v = -c for c.
3
Let s(c) = 4*c**3 + 5. Let y(w) = -4*w**3 - 4. Let a(g) = 4*s(g) + 5*y(g). Let l be a(1). Let i = -2 - l. Solve 1 = -o + i*o for o.
1
Let w(z) = -z**3 - 8*z**2 + 8*z - 9. Let d(j) = -7*j**2 + 2*j - 4. Let k be d(1). Let s be w(k). Solve s = -n + 4 - 5 for n.
-1
Suppose 0*z - 2*t + 60 = -3*z, -98 = 5*z - 4*t. Let p = 26 + z. Solve p*v - 9*v + 10 = 0 for v.
2
Let h = 1283 + -1260. Solve -h + 3 = -10*a for a.
2
Suppose 30 = 157*y - 147*y. Solve 3*i = y*i + i for i.
0
Let b be (-4628)/39*(-6)/(-4). Let i be (-26)/65 - b/(-5). Let g = i + 37. Solve 0 = -3*d + 4 - g for d.
1
Suppose -21 = 5*j - 276. Solve -10*b - 11 = -j for b.
4
Suppose 4*h - 1 = l + 11, -5*h + 2*l = -12. Solve 6*c - 2 = h*c for c.
1
Let v be (-6)/(-15) - ((-1428)/30 + 5). Solve v - 49 = -2*s for s.
3
Let b = -697 - -701. Solve -5*n = -b*n - 3 for n.
3
Let c(d) = d**2 - 2*d - 2. Let q be c(-2). Solve p = 1 - q for p.
-5
Suppose -21 + 181 = f + 5*h, 0 = -f + 2*h + 181. Solve -f*q + 4 = -174*q for q.
4
Suppose 3*h - 69 = -3*i, -2*h + 0*i + i = -55. Solve 0 = 2*u + 16 - h for u.
5
Let q(t) = -1. Let v(b) = -b**2 + 10*b + 6. Suppose -f + 5*i = -20, -2*f + 3*i - 3 = -22. Let j(o) = f*q(o) - v(o). Let w be j(11). Solve -3 = -w*z + z for z.
-3
Let i be (-35)/28 + 3/(-4). Let p be 168/44 + i/(-11). Solve -v - p + 3 = 0 for v.
-1
Let l be 8/5 + (-4)/(-10). Suppose -3*s - 8 = 10. Let b be 7 + ((-6)/2 - s). Solve l*g - 4 = -b for g.
-3
Let a = 3124 - 3046. Solve -18 = 72*u - a*u for u.
3
Let f be (0 - 2/4)*(-39 - -27). Suppose -3*a = f*a - 90. Solve a = -5*d - 10 for d.
-4
Suppose 0 = 3*j - t - 13, -4*j + 10*t + 17 = 9*t. Suppose -5*u = -3*c + 6, 0 = -4*u - 4*c + 2*c + 4. Let k be 4/((-2)/(-1) + u). Solve j*v = -14 - k for v.
-4
Let s be 15/(2 + 3) + (-7 - -9). Solve -s*x + 434 = 459 for x.
-5
Let p(j) = 2*j - 14. Let r be p(7). Suppose -2*k = -r*k + k. Solve k = f + 2 for f.
-2
Let a(t) be the third derivative of -t**6/120 + t**5/10 + t**4/12 - 5*t**3/6 - 14*t**2. Let o be a(6). Solve -o = -k - 4 for k.
3
Let j(m) = m**3 + 5*m**2 - 8*m. Let r be j(-6). Let f be (-54)/(-24) + r/16. Solve k = -2 - f for k.
-5
Let o = -2341 + 2341. Solve 5*k + 25 = -o*k for k.
-5
Suppose 24*f - 172 = 20*f. Solve 0 = -32*j - 21 - f for j.
-2
Let x = -617 - -629. Suppose -4*i - i = -2*b - 18, 5*i - 30 = 5*b. Solve w + x = -i*w for w.
-4
Let s(k) = k**2 + 16*k - 16. Let y be s(-18). Solve -9*n = -y - 16 for n.
4
Suppose 0 = 7*l - 82*l + 75. Solve -1 + l = 3*d for d.
0
Suppose 0 = -14*h + 114 - 58. Solve 376*y - 374*y - h = 0 for y.
2
Let m(v) = 17*v**2 - 3*v + 3. Let l be m(1). Solve 4*r + l = -3 for r.
-5
Suppose 5*n - 62 = 13. Suppose 5*k + 2 + 3 = y, -5*k = 3*y - n. Solve 3 = -c - k for c.
-3
Let a = 8 - 3. Let z be 51/6 - (-1)/(-2). Let g = z - 6. Solve a = -t + g for t.
-3
Suppose -3*a + 7 = 3*q - 17, 14 = 2*q + 4*a. Solve 2*s - q = -19 for s.
-5
Let p = -753 + 778. Solve 5*j + 0 = p for j.
5
Let r(a) = a**2 - 5*a - 20. Let m be r(12). Suppose m = 7*g - 97. Solve -4*k + 3 = g for k.
-5
Let y(i) be the first derivative of i**4/4 + 2*i**3/3 - 2*i**2 - 3*i - 14. Let z be y(-3). Solve -8 = 4*o - z for o.
-2
Let z(o) = 34*o + 5. Let l = 6 + -8. Let g be z(l). Let b be 48/7 + (-9)/g. Solve -d - 3 = -b for d.
4
Let u(f) = -f**2 - 23*f - 42. Let q be u(-21). Suppose q = -3*t + 8 + 7. Solve a - t*a = 0 for a.
0
Let i(c) be the second derivative of c**3/2 - 13*c**2/2 - 7*c. Let d be i(7). Let m be d + -11 + 8*1. Solve 0*n = m*n + 5 for n.
-1
Let j(i) = i - 2. Let q be j(4). Let r be (-1580)/80 - q/8. Let x = r + 23. Solve 0 = x*n - 8*n - 15 for n.
-3
Suppose -45 = -3*s + 12. Suppose 0 - s = -4*p + 5*x, p + 3*x = 9. Solve -2*j = -p*j + 12 for j.
3
Let n be ((-4)/8)/((-1)/(-6)). Let d be n/2 - (-118)/4. Let q be (10/4)/(14/d). Solve -q*b - 11 = 4 for b.
-3
Let w = -18 - -29. Suppose 2*z + f - 