4. Let f be a(8). Let d be i(f). Suppose 0 = -d*j + 6 + 10. Solve -10 = -j*b + 6 for b.
4
Let z = -1739 - -1761. Solve z*l = 25*l - 12 for l.
4
Let q = 59 - 54. Solve -q + 9 = -c for c.
-4
Let v = -54 + 58. Let x = v + -2. Solve 7 = x*g - 1 for g.
4
Suppose 0 = 119*b - 117*b - 3*z - 49, -41 = -3*b - 2*z. Solve -15*h = -b*h - 8 for h.
-4
Let h be 72/3 - 8*27/36. Solve 59 + 31 = h*g for g.
5
Let f be -1 - ((-8)/(-4) - 1). Let k be f*-4*(-2)/(-4). Solve -k = -a + 5*a for a.
-1
Suppose 3*j - 5*y = -2*y, -5*j + 2*y = -6. Solve -j*v = -3*v + 2 for v.
2
Let t(g) = -42*g**2 + g + 1. Let a = -1 + 0. Let l be t(a). Let q be 3/(2/(l/(-9))). Solve 0 = q*x - 2*x + 10 for x.
-2
Let c be (-13 + (4 - 1))*-16. Suppose 3*j + 1 = 31. Let k be (-4)/j - c/(-25). Solve k = -f + 2 for f.
-4
Let p(y) = y**3 - 6*y**2 + 3 + 0*y**3 + 0. Let z be p(6). Let x be 0/(z/(3 - 6)). Solve x = g - 5*g - 20 for g.
-5
Let j be (-105)/(10/(-2)) - (-1 + -2). Let k be ((-3)/((-18)/33))/(12/j). Solve 20 = -7*f + k*f for f.
5
Let g be 14/(-21)*(-3)/(-2). Let n be ((-2 - 0) + 2)/g. Suppose -2*k - 3 = -7. Solve n = 4*c - k*c - 8 for c.
4
Suppose 0 = -31*n + 293 + 79. Solve 0 = -n*t + 7*t - 10 for t.
-2
Let d(j) = 122*j**2 + j - 1. Let p be d(1). Let g = -1 + 1. Suppose 5*h + 22 - p = g. Solve w = -3*w - h for w.
-5
Let r be (-16)/4*(0 - (11 + -1)). Let y = -37 + r. Solve -y*b = -17 + 2 for b.
5
Suppose 0 = 68*l - 65*l - 6. Solve 5*g = l*g for g.
0
Let c(b) = 6 - b**3 + 5*b**2 + 4*b - 2*b + 4*b. Let a be c(6). Solve 2*u + 0 = a for u.
3
Suppose 6*k + 6 = 7*k. Suppose 0*h = h + k. Let t be (h/9)/((-2)/9). Solve 6*m = 5*m - t for m.
-3
Suppose -w + 318 = 5*w. Suppose -4*r = -69 + w. Solve 0 = -5*n + 7*n - r for n.
2
Let r be (-2 + (4 - 7))*(-4)/10. Solve -1 = c - r for c.
1
Suppose 5*y - 3*u = -5, 2*y = 7*y - 2*u. Solve -11*a - 18 = -y*a for a.
-2
Let w = 900 - 898. Solve -7*l + w*l + 20 = 0 for l.
4
Suppose 0 = 5*w - 0*u + 3*u - 52, -2*w + 2*u + 8 = 0. Suppose -k + 12 = 3*i, -6*k - 12 = -w*k - 2*i. Solve -k*s - 4 - 11 = 0 for s.
-5
Suppose 30 = 5*l - 5*w, -5*l - 17*w = -13*w - 57. Solve l*m - 52 = -79 for m.
-3
Suppose -2 = -2*l + 2*q, -l + 2 = 2*l - 2*q. Let o be (1*-6 - -3) + 3. Solve o = -2*a + 2 - l for a.
1
Suppose -63*q + 67*q - 5*u - 22 = 0, -4*u - 5 = q. Solve q*g = -g for g.
0
Suppose 0 = -5*d - 2*r + 8, -3*r - 1 - 4 = -d. Suppose 5*q = -25, 4*z - 2*q + q - 121 = 0. Suppose 24*s + 30 = z*s. Solve -d*f - f - s = 0 for f.
-2
Suppose 5*t + 18 = -5*k + 3, -20 = 4*k. Let c be 30/4*12/9. Solve 2*r = c - t for r.
4
Suppose -104 = -26*a + 26. Solve -a*q = -11*q + 12 for q.
2
Let u(q) = -39*q + 2. Let p be u(-1). Let z = p - 41. Solve d = -z*d for d.
0
Let x = -754 + 760. Solve 2*q - x = -0 for q.
3
Suppose 46*f + 30*f = 1292. Solve 9*c = f + 1 for c.
2
Suppose 4*p + 3*p = 112. Suppose -6 - 22 = 2*z. Let o = z + p. Solve 0*h - 6 = -o*h for h.
3
Let g be (-4 - 24/(-9))*-6. Suppose -2*k - g = -3*j, 16 = j - 3*k - k. Solve j = -2*n - 4 + 10 for n.
3
Let y = -802 - -933. Solve -130*z = -y*z + 1 for z.
1
Suppose -88*h = -85*h - 30. Let w(c) = -c**2 + 10*c + 5. Let b be w(h). Solve -9 = b*p + 11 for p.
-4
Let d = 731 + -692. Solve 9*x + d = 3 for x.
-4
Let c be 1*-2 - (-2 - 0). Let k = 57 - 44. Suppose -r + 16 = k. Solve -y + 0 + r = c for y.
3
Suppose -6*i = -4 - 8. Let s be i*((-4)/(-2) + 1/(-2)). Solve p = s*p - 2 for p.
1
Suppose o - 2*o + 3 = 0. Suppose -4*v = -2*a - 30, -v + 2*a + 21 = -o*a. Suppose -25*t + 22*t = -v. Solve 0*u = -u + t for u.
2
Let q be 2*6/(-4)*-1. Suppose u + 24 = -q*u. Let z = 9 + u. Solve -z*g - g = 0 for g.
0
Suppose -15*a + 19*a + 8 = p, -5*p + 18 = 2*a. Solve 11*i = p*i for i.
0
Let l be -2 - ((-6)/(-3) - 2). Let v be (18/27)/(l/(-9)). Suppose v*u - 2 = 7. Solve 0*h - h = -u for h.
3
Suppose 7*f + 30 = 2*f. Let y(z) = z + 8. Let l be y(f). Let q(h) = 10*h. Let p be q(2). Solve -2*c = l*c - p for c.
5
Let y(o) = o**2 + 6*o - 11. Let v be y(-8). Suppose 8 = v*s + 4*q - 1, 5*s - 5*q - 45 = 0. Solve 4*w + s + 7 = 0 for w.
-3
Let f = -77 + -23. Let s = f + 103. Solve -8 = s*o + o for o.
-2
Suppose 0 = -3*t - 4*f + 163, 4*f = 4*t - 171 - 37. Let y = t + -48. Solve 0 = -o - 0 + y for o.
5
Suppose 0 = -0*n + 2*n - 4. Suppose -10 = -2*p - n. Solve 0 = p*l - 1 - 3 for l.
1
Suppose 0 = 2*f - 2*k + 6, 0*f + 2*k = -f. Suppose 0 = -2*i - 81 + 273. Let b be ((-24)/i)/(f/8). Solve 2 = -3*d - b for d.
-1
Suppose 4*i = -2*n + 6, 0*n + 27 = 5*n - 2*i. Suppose 6*y - y = n. Solve -5 - y = -2*f for f.
3
Let l(h) be the first derivative of h**2 + 8*h + 49. Let q be 1*(1 + 0)*0. Let z be l(q). Solve -6*x = -2*x - z for x.
2
Suppose 31*f = 21*f + 30. Suppose -b - 2*k = -0*b - 8, -16 = -b - 4*k. Suppose 0 = -0*g + 3*g - 3*p + f, b = 2*g + 3*p - 13. Solve -g - 1 = c for c.
-3
Suppose 14*z + 175 = 9*z. Let l = 51 + z. Solve 9*f = 5*f + l for f.
4
Let d be ((-24)/(-2))/(12/33). Solve -9*o = 2*o + d for o.
-3
Let n(l) be the third derivative of l**4/24 + 13*l**3/6 - 2*l**2. Let c be n(-10). Suppose c*s + 15 = 6*s. Solve -s*q = -14 + 4 for q.
2
Suppose -32 = -b - d - 26, -5*b + 3*d = -22. Solve b*l + 0*l + 15 = 0 for l.
-3
Let w(f) = -f**3 + 11*f**2 - 8*f - 18. Let c = -40 + 50. Let x be w(c). Solve 3*h = x*h - 1 for h.
-1
Let b = 835 + -835. Solve b*h - 14*h + 28 = 0 for h.
2
Let i be ((-3984)/1245)/((-4)/10). Solve -i*p = -18*p + 40 for p.
4
Let c(i) = -i**3 - 27*i**2 + 28*i + 4. Let f be c(-28). Solve -4 = -f*u + 4 for u.
2
Let l be 21/((-14)/(-4) - 2). Suppose 1491 = -3*b + 1503. Solve -b*u = -2 - l for u.
4
Let g be 270/50 - 4/10. Suppose 4*n - 2 = g*n. Let j = 5 + n. Solve 11 - 2 = -j*w for w.
-3
Suppose 3*u + 12 = 21. Solve 4*y = y - u for y.
-1
Let l be (-6)/10 + (-112)/(-20). Let n be (-6)/5*(-15)/(-3). Let x be (n/7 + -2)*-7. Solve -l*i = -0*i - x for i.
4
Let c = 68 + -66. Suppose x + 3*a + 1 = -3, c*a = x - 11. Solve -2*k - x = -1 for k.
-2
Suppose -4*l + 24 = -316. Let j be (3 - l/20)/(1/(-4)). Solve -j = -3*i - 14 for i.
-3
Let k(c) = c**2 - 2*c + 1. Let g be k(4). Solve 7 = 8*l - g for l.
2
Let s = -346 + 348. Solve -s = 5*m - 7 for m.
1
Let t(a) = 4 + 13 + 78*a - 79*a. Let d = 50 + -33. Let u be t(d). Solve u*k + 4 = k for k.
4
Let h(q) = 2*q - 10. Let y be h(7). Suppose -l = -3*l - 4*g + 16, -8 = -y*g. Solve -2*f = -l*f + 4 for f.
2
Let w(n) = -n**2 + 5*n + 3. Let h = 4 + 1. Let z be w(h). Suppose -49*b = 5*b. Solve b = -z*q + 4*q for q.
0
Suppose 534 = -3*d + 603. Solve d*f = 22*f + 5 for f.
5
Suppose 0 = -8*h - 4*h + 180. Solve -2*n + h = -7*n for n.
-3
Let c be (48/(-32))/((-1)/6). Solve -3*k = -3 + c for k.
-2
Let w = -19 - -24. Let z be 1 - w - -3 - -2. Solve f - z = 1 for f.
2
Suppose -7*n - 23 - 61 = 0. Let w be ((-8)/n)/(1/3). Solve 2*q = 4*q - w for q.
1
Let j be (-3)/(33/11)*-8. Solve 22*z - j = -96 for z.
-4
Let r = 51 + -45. Let s = r - 0. Solve -5*d + s = -3*d for d.
3
Let r = -43 + 45. Let t = -309 - -315. Solve -t*s + 7*s = -r for s.
-2
Suppose 21 = -3*y + 6*y. Suppose -o + y = 2*z, -4 = -z + o + 4. Solve 10*g - z*g + 25 = 0 for g.
-5
Let l(g) = -g**2 - 2*g + 24. Let w be l(4). Solve w*i = i - 2 for i.
2
Let d be 47/3 - (-12)/(-18). Solve 8*t + d = 3*t for t.
-3
Let i(y) = 2*y + 11. Let n be i(-9). Let w = n + 10. Let o = w - -1. Solve -2*b - o = 2*b for b.
-1
Suppose -12*r + 10*r = 0. Suppose 5*w = -r + 50. Solve 2 = 3*y - w for y.
4
Suppose -55 = -8*s + 3*s. Let z = s + -1. Suppose 3*o = 8*o - z. Solve i - 2*i - o = 0 for i.
-2
Let o be 16/4 + (-34)/1. Let l = 50 + o. Solve -c + l = 3*c for c.
5
Suppose -380*z + 384*z = 56. Solve -13*t = -z*t for t.
0
Suppose c = -0*c + 3*z + 11, 4*c - 12 = 4*z. Let h be (5/15)/c*-12. Let n be (h/(-2))/((-2)/16). Solve -2*f = -6*f - n for f.
-4
Let z = -3 - 3. Let o(i) = -2*i + 3. Let f be o(z). Solve x - f = -2*x for x.
5
Let s = -10 + 22. Let v be (5/(-3) + 3)*s. Suppose 0 = 3*c - 4*p - 18, 0 = 2*c - 3*p + 4 - v. Solve c = 3*o + 15 for o.
-3
Let i(p) = -p + 14. Let y be -2*((-8)/28 - (-146)/(-28)). Let k be i(y). Solve 0 = -k*z + 4*z - 4 for z.
4
Suppose 28*g + 12*g = 160. Solve -g*m = -2*m - 8 for m.
4
Let k(i) = i**2 - 2*i - 3. Let b be k(-3). Let v = 20 - b. Solve 0*j = 4*j - v for j.
2
Let q(s) = -54*s - 216. Let r be q(-4). Solve -5*z = -z - r*z for z.
0
Let n be (5/(-3))/(1/(-6)). Let c be 2/(-4) - (-9)/(-6)*-5. Let