4. Let n be b(l). Suppose 5*s - 76 - 4 = 0. Solve 4*f - 2*t = -s, n = f - 5*t - 5 + 18 for f.
-3
Let s be 15 - (2 - -1) - 3. Let b = s + -6. Let x be 3/1 - (0 - 2). Solve -c = n - 5, -b*c + x*n = c - 20 for c.
5
Let b = -96 - -101. Solve -2*i + 7*i = 5*q - b, i + q - 7 = 0 for i.
3
Let q = -73 - -76. Solve -13 = 4*h - 2*h - 3*x, q*h = -3*x + 18 for h.
1
Suppose 5*r - i = 15, 25 = -4*i - i. Solve 0 = 3*f - 2*g + 5, 5*f - r*g = 8*f + 13 for f.
-3
Let d be 16/10*35/14. Let y be 8 - (3 + 1) - (5 + -3). Let h = -5 + 9. Solve -13 = -5*g - y*u - 3, d*g - 8 = h*u for g.
2
Let x(m) = -5*m**2 + 7*m + 3. Let p(u) = -u**2 + 1. Let b(i) = 6*p(i) - x(i). Let a be b(-7). Solve 0 = -4*w - 3*l - l + 24, 26 = 5*w + a*l for w.
4
Let d be (-20)/35 - 75/(-21). Solve -30 = -d*n - 5*u, -5 + 2 = -u for n.
5
Let t(j) be the first derivative of -j**3/3 - 4*j**2 + 3. Let y be t(-5). Suppose -a - 2*a = -y. Solve 0*c - 24 = 4*u - a*c, -3*c + 14 = -2*u for u.
-1
Let n(q) = -3*q. Let w be n(-5). Let s = -31 + 22. Let f = 26 + s. Solve -5*k + 4*b - w = 0, 7*k + f = 4*k + 4*b for k.
1
Let s = 13 - 9. Suppose s*k + k = 125. Solve 0 = 2*c + 3*c - j - 23, -5*j + k = 3*c for c.
5
Suppose 0 = -54*y + 64*y. Solve s + y*g - 2 = 3*g, -3*g = -5*s + 10 for s.
2
Suppose 0 = h + b + b - 8, 2 = 2*b. Solve u + v + 19 = -2*v, h = -4*u + 2*v for u.
-4
Let n = -6 - -4. Let r be (n - -1)/3*-6. Solve 0 = -x - r*c - 2, -x + 4*x + 4*c + 6 = 0 for x.
-2
Suppose 4*j = 1 + 11. Solve 0 = 5*d + 2*h - 5, -4*d + 12 = -j*h - 15 for d.
3
Let w(r) = -2*r**3 + 32*r**2 + 2*r - 17. Let k be w(16). Solve -5*x - k = 0, 2*a + 27 = -a - 4*x for a.
-5
Let g(k) = -k**2 + 7*k + 2. Let f be g(7). Suppose f*o = o - 2. Let p = o + 2. Solve w - 5*y - 4 = -3*y, -5*y - 10 = p for w.
0
Suppose -23 = -2*g - 5*m, -11 = 2*g - g - 5*m. Suppose -2*z - g*j = -5*z + 12, 2*j = -2*z + 8. Solve 12 = 2*l - 4*q - 12, -4*l + z*q + 28 = 0 for l.
2
Suppose 5*l = f - 3, 0 = 3*l - 2*f + 10 - 4. Suppose r = -l*r. Solve u = -2*v - 13, r*u - u = v + 9 for u.
-5
Let f = -8 + 13. Solve -q = f*j + 2, q + j = -0*j - 2 for q.
-2
Let y(r) = r**2 + 17*r + 75. Let u be y(-8). Suppose -4*l - 4*o + 33 = -o, -2*o - 10 = 0. Solve u*n - 4*g = -l, -n + 0*g - 4 = 2*g for n.
-4
Let t(w) = -12*w - 4. Let n be t(-4). Let h be n/(-3)*3/(-2). Suppose -7 = 5*c - h. Solve 2*a = 7*a - r - 14, 0 = -c*r - 12 for a.
2
Let k be (0 + -3)/(-5 - -4). Suppose 4*s + 11 = 3*d, d + 5*s + 6 = -k*d. Solve -4*j = -r - 3 + d, -j - 2 = r for j.
0
Let a(x) = -3 + 0 + 0 - x. Let i be a(-7). Suppose -2*l = -10, -i*v + 0*l = 2*l - 18. Solve 0 = -4*n + 2*c - 12, v*n = -0*n - 3*c - 22 for n.
-5
Let l = 12 + -7. Let h(s) = -s**2 - 11*s + 3. Let m be h(-11). Solve -l*z - 2*j - 46 + 11 = 0, -m*j = 3*z + 30 for z.
-5
Suppose 0 = -4*j + 2*j. Suppose 4*t - 17 - 19 = j. Suppose -t*v + 4*v + 125 = 0. Solve -4*d - u + 0 - 11 = 0, 5*u - v = 0 for d.
-4
Suppose 0 = -i - 4*i + 25, 0 = -5*f - 5*i. Let w = -1 - f. Solve -2*y = -0*b + 4*b + 30, 15 = b - w*y for b.
-5
Let t be 0 + (-3)/((-6)/4). Suppose 0 = t*n + 2*n - 8. Suppose 6 = -n*a + 4*a. Solve 4*d - 4 = -2*g, g - a*d + 19 = 2*d for g.
-4
Let b(g) = 16*g - 5. Let v be b(5). Let x be v/9 - 2/6. Let m be 2/x - 11/(-4). Solve m*q = -c + 7, 0*q + 23 = -4*c + 5*q for c.
-2
Suppose -4*n = -3*n - 9. Suppose -6 = -3*v + n. Let b = 1 + 1. Solve 5*t = -2*y + 14, -y + b*t - v + 3 = 0 for y.
2
Let p = -10 + 16. Let q = p + -5. Solve -q = n + 2*j, -2*n - 14 = 2*n - 2*j for n.
-3
Let f be (-8)/2*15/(-4). Let d = -31 - -31. Suppose 0*a + a - f = d. Solve 0*g - 5*g + a = 5*i, -g - 5*i + 7 = 0 for g.
2
Let m = -100 + 104. Solve -4*n - j - 5 = -4*j, 3*j + 11 = -m*n for n.
-2
Let s(t) = -t + 7. Let u be s(-5). Let x be (-9)/(-3)*1/3. Suppose -g + 6 = x. Solve -2*y + 2 = 3*h + u, -4*h + g*y - 21 = 0 for h.
-4
Suppose 3*p = 46 - 7. Let m = p + -11. Solve 0 = k - s + m, k + 5*s = s - 12 for k.
-4
Suppose 5*w - 34 = -9. Solve y - 6*y = 5*g, 3*y = 2*g + w for y.
1
Let a be -4*(3/6 + 1). Let i = a + 11. Solve 2*j - 15 = -i*r, j = -0*j + 2*r + 3 for j.
5
Suppose -5*u - 32 = -4*m, 0*m + 3*u = -5*m + 3. Suppose -a - m*k - 5 - 5 = 0, 24 = 4*a - 4*k. Solve -4*s = -a*j + 14, 2*j - 3*s = -0*j + 11 for j.
1
Suppose 0 = -0*s - 7*s + 28. Solve 0 = -5*h - 20, s*d - 3*h = -d + 32 for d.
4
Suppose 11 - 13 = -k. Solve -2*q - 2*z + 3*z - 8 = 0, -2*z + 10 = -k*q for q.
-3
Let t be 2 - (-1 + 0 + 1). Suppose -s + 11 = -2*m, -2*m - t = 6. Solve -p - x - 3 + 7 = 0, -20 = -5*p + s*x for p.
4
Suppose -5*b = 9 - 24. Suppose 0 = -4*a + b*a. Solve a = 2*j - 5*k - 1 + 16, -j = -4*k + 15 for j.
5
Suppose 3*d = d + 2, 0 = -5*c - 4*d + 4. Solve 0 = -r - 3*r + 5*b - 3, 5*r - b + 9 = c for r.
-2
Suppose 2*b - 11 - 1 = 0. Let u = b + 0. Solve u*q + 5*z = q - 25, 2*q + 4*z = -14 for q.
-3
Suppose 0 = 9*z - 58 - 203. Solve -2*x - 5*i = -z, -i = -4*x + 2*x - 1 for x.
2
Let s = 13 - 10. Solve -5*u - 5 = -5*o, s*u + 2*o = -o + 9 for u.
1
Let u be (-1)/(2 - (-25)/(-12)). Let o be (-1)/4 - (-219)/u. Solve -5*l = 5*h - 15, 4*l - h = h + o for l.
4
Suppose 7 = 2*o + 3. Suppose -g = o*g - 15. Solve 2*l - 6 = -5*s, -2 = -g*s - l + 1 for s.
0
Let k(n) = -3*n - 1. Let p be k(-1). Solve 4*d = p*t - 9 - 11, -2*t - 16 = 5*d for d.
-4
Let r be 9/(-2)*56/21. Let v be 6/r + 1/2. Solve j = q, v*q - 3 = -2*j + q for j.
3
Suppose 0 = -38*a + 36*a + 4. Solve -2 = -2*b + a*d, 2*b + 2 = 3*b - 2*d for b.
0
Let y = 7 - -24. Solve 0 = i - 3*b + 17, 5*i + y + 4 = 5*b for i.
-2
Let c = 3 - -1. Let l(k) = k**2 - 15*k + 2. Let d be l(11). Let a = -20 - d. Solve a = -5*z - c*i, -2*z + 2*i = -0*z - 2 for z.
-2
Suppose -1 = -2*k + 1, 2*m = -3*k + 33. Suppose 0*j + 5*j - m = 0. Solve -2*b + 12 = -2*i, j*b - 2*b - 5*i - 18 = 0 for b.
3
Let a = 3 - 0. Let m = -6 + 9. Solve 0 = -5*s + a*n - 15, 0*s = s - 3*n + m for s.
-3
Let v(q) = -q**2 - 5*q - 4. Let k be v(-3). Let d(g) = g**k + 0 + 1 + 0*g**2 + 3*g. Let z be d(-4). Solve -4*i = w - 2*w - 12, 10 = -z*i - 5*w for i.
2
Suppose -3*b - 1 = 8. Let u = b - -4. Let g = -1 + u. Solve 2*a + 10 = 3*p - 3*a, g = -5*p + 4*a - 5 for p.
-5
Let n(q) = q**2 - q + 4. Let a be n(0). Suppose -2*x = -r - a, 2*x = r + 3*x - 2. Solve -3*i - 10 - 1 = s, -3*i - 4*s - 26 = r for i.
-2
Suppose -10 = -b - 7. Solve -5*f - 5*t = -b - 12, 3*f - 2*t + 1 = 0 for f.
1
Suppose -3*t + 0*t = -5*r - 26, r = t - 6. Suppose 10 = 2*q - 0*q. Suppose -4*c - 5*y = c + q, 3*c - y = 13. Solve -c*b = -t*d + 10, 2*b - 4 = -d + 3*b for d.
2
Let m be (-112)/(-36) + 2/(-18). Solve 3*c - 5*d - 1 = -0*c, m*c + 2*d - 8 = 0 for c.
2
Let d = -1 + 4. Suppose -d*y - 66 = -5*y. Suppose -3*n + 12 + y = 0. Solve -3*l + 5 + 10 = 0, 0 = 2*q - l + n for q.
-5
Suppose -2*q - 2 = -3*q. Suppose -2*p = -o - 18 - 8, 4*p - 80 = -5*o. Let n be 5/p + (-1)/3. Solve 3*c = s - 7, s - 4 = -n*s + q*c for s.
-2
Suppose 5*d = 3*y - 31, -4*y + 3*d = 6*d + 7. Solve -3*k - 2*r + 6 = 0, 4*r = -k + r + y for k.
2
Let g be 9/2*(-6)/(-9). Let h(a) = -a. Let i be h(-2). Let z = 7 - i. Solve -z*v - f = g, -v + 1 = 2*v + 2*f for v.
-1
Let u(j) = -2*j**2 + 2*j. Let a be u(2). Let k be 36/21 - a/14. Suppose 0 = -k*y - 7 + 19. Solve 0 = -3*h + c + 3*c + 2, 2*h + c = -y for h.
-2
Let u be -24*(-3)/(-18)*-4. Let a = u - 6. Suppose -5*q + 2 = -18, -a = 2*i - 4*q. Solve b - i - 1 = 2*w, -2*b = 3*w + 13 for w.
-3
Suppose 3*u + 20 = 2*p, -7*p + 2*u + 16 = -5*p. Suppose 0 = 4*w + 2*j - p, -w + 23 = -5*j - 0. Solve -n = -t, -5*t - 5*n + w*n = 35 for t.
-5
Suppose 8 - 2 = 2*a. Solve a*g - 4*x - 39 = -4, -5*g = x - 20 for g.
5
Suppose -3*d + 3*x + 9 = 0, -3*d + x + 5 = -d. Suppose -3*u = d*u. Let h(f) = -f**2 + 3*f + 4. Let r be h(3). Solve -5*n - 20 = u, -r*k - 3*n = -3 - 1 for k.
4
Let y(l) = -l**3 + 9*l**2 + 3*l - 5. Let f be y(9). Suppose 4*z + 2 = -2*p + f, 0 = 4*p - z - 22. Solve 0 = x + 4*q + 2, -2*x - 2*q + 8 = -p*q for x.
2
Let v be ((-6)/(2/2))/(-2). Let o(a) = a - 4 + 4 + 2*a**2 - 2. Let c be o(-2). Solve 2*b = v*u + 7, 0*b + b - u = c for b.
5
Suppose 0 = 2*n + 4*a - 20, 3*n + 0*n - 18 = -2*a. Suppose -3*s = -5*d + 27, 15 = 2*d + s + 2. Let p = d - 2. Solve 2*z - 2 = -4*k, -n*k = -3*z - p + 7 for k.
0
Let a = -7 - -24. Solve -3*k + 8 = -k, 0 = -l - 5*k + a for l.
-3
Let c = 0 - -16. Solve 5*r - c = -0*b - 3*b, -4*r = -4*b - 32 for r.
5
Let g(v) = -v**2 - 6*v + 2. Let 