4. Suppose -12 = -3*z + 4*i + 7, 0 = -4*i - x. Suppose -y - 6 = -1, -25 = -z*a + y. Solve 0 = a*t + 4, -c - t + 3 = -5*t for c.
-1
Suppose -15*l + 22*l - 35 = 0. Suppose 24 = 23*f - 183. Solve h = 2*h + 3*a + 11, l*h - f = a for h.
1
Suppose 5 = c, -3*c + 6 = 3*v - 27. Let n(g) = -3*g**3 + 16*g**2 + 13*g - 3. Let i be n(v). Solve -3*x + 9 = -k, i = -4*k - x + 2*x for k.
0
Let b(c) = -c**3 - 8*c**2 - 2*c - 16. Let o be 9674/(-126) + (-5)/((-45)/(-2)). Let j = o + 69. Let g be b(j). Solve 2*f + n + g - 2 = 0, 5*f = -3*n + 4 for f.
2
Let o(a) be the second derivative of a**4/12 + 2*a**3 - a**2/2 - 3*a. Let m be o(-11). Let z be 33/12 + (-3)/m. Solve 3*q + z*b = 3, 2 - 7 = -5*q + 5*b for q.
1
Let g = -912 + 914. Let h be (-19 - -18)*(g/(-2) - 4). Solve 0 = -3*b + 2*p - 18, 0*b + 4*p = -h*b - 8 for b.
-4
Let d = -120 + 120. Suppose 16 = k - 3*q + 4, -2*q - 6 = d. Solve p + 2*p - 6 = 3*z, 6 = k*p - z for p.
2
Let b be 21/(-14) + -3 - 1/2. Let z be (b/2)/((-22)/44). Solve -5*p + 15 = z*t, -t + 5*p + 0 + 15 = 0 for t.
5
Let k(n) = 2*n**3 + 15*n - 30 - n**2 - n**2 - 9*n - 13*n - n**3. Let z be k(5). Solve 5*m + 3*q = -4, -z = -m + q + 2*q for m.
1
Suppose -3*s + 4*p + 6 = 0, -2*s - 3*p + 21 = -0*s. Solve 2*t - 18*b + 21*b - s = 0, 9 = 3*t + 5*b for t.
3
Suppose z - 3*z = 3*j - 3, 4*z = 0. Let v be (-9)/(2250/(-40))*10/(-12)*-15. Let x(d) = d - 2. Let p be x(6). Solve -v*m + j = -3*h, m - 5 = -p*h + 1 for h.
1
Let z(y) = y**2 - 21*y - 71. Let u be z(24). Let s be (2 - u)/((-4)/(-16)). Solve -4*m - 4*k - 8 = 0, 5*m - 2*k - 10 = s*m for m.
2
Suppose -n + 2*y = -254, 0*y - 5*y = -3*n + 763. Let p be n/(-96)*(-3)/2. Let v = 33 - 18. Solve 9 = -3*o + 3*t, 0 = -p*o - 0*t - 5*t + v for o.
0
Let b = 50 + -57. Let m be 3*((-28)/3)/b. Let x be (-4)/(-10)*-3*-5. Solve 0 = 3*a - 0*a + 3*n + x, 20 = -m*n for a.
3
Let a be (-20)/6*696/(-1160). Solve a*u - 2*o = 24, -u + o = -6*u + 12 for u.
4
Let s be (-2282)/18 - (-92)/(-414). Let v = s - -132. Solve 4*l - v*m + 0 = -5, l + 3*m - 3 = 0 for l.
0
Let q = -508 + 1270. Let f = q - 759. Solve -3*c = f*y - 6*c + 12, 0 = -4*y + 2*c - 14 for y.
-3
Let z be (-23)/(-5) - ((-14)/126 - 104/360). Solve z*t = -10*m + 12*m + 5, 4*t = -4 for m.
-5
Suppose 18*s = 793 - 757. Solve -2*q + s*m = 20, 5*q + 0*m = -5*m + 10 for q.
-4
Let s = -8 - -13. Let x be 0 - -5 - (-2 + 3). Suppose -5*z - 2*d + 119 - 107 = 0, 0 = -2*z + 5*d + 28. Solve 4*c - 20 = z*u, -s*u - x*c + 2 = 9 for u.
-3
Let x = -112 + 115. Suppose -2*v + 6 = -2*l + 30, 4*v = x*l - 38. Solve 0 = -n + 3*t + 6, -2*n - 3*n - 5*t - l = 0 for n.
0
Let l(p) = -2*p + 2. Let q be l(-12). Suppose 4*a + 14 = -q. Let v(f) = -f**2 - 12*f - 17. Let c be v(a). Solve -2*n - 18 = -3*z - 5*n, -3 = 2*z - c*n for z.
3
Let m be ((-8)/16)/((-6)/9*-3)*-84. Solve -d + m - 16 = -i, -3*i - 16 = -4*d for d.
1
Suppose 96*c - 42 = 94*c - 3*z, -3*c + 5*z = -44. Solve -4*l - 8 = 0, c*k - 14*k = -2*l + 12 for k.
4
Let u(k) = k**3 - 10*k**2 + 12*k + 55. Let m be u(7). Let f be (-71)/(-568) - 31/m. Solve 15 = 3*y, f*y - y - 35 = -5*t for t.
4
Suppose 6*a - 2*a = 8. Suppose 4*q = z + 2, a*q - 3 = -5*z + 31. Let s(o) = -21*o - 19. Let c be s(-1). Solve -z*f - 4*b + 20 = -c*f, 2 = 2*b for f.
4
Let j be 30/18*(-2 + 5). Let f = 39 + -14. Let a = -214 + 214. Solve -3*r + 23 = -2*t, a*t - j*t + r = f for t.
-4
Let q be ((-1408)/112 - -13) + -81*3/(-21). Solve -2*w - 2 = -3*v + 9, -2*v + q = w for w.
2
Suppose -2*t + 4*y = -4, 3*t + 12*y - 14 = 10*y. Solve 0 = -5*q + 5, -3*i - t*q = -3*q + 5 for i.
-2
Suppose 0 = -5*u - 71 - 1334. Let y = u - -284. Solve d + 10 = 5*m, 50 = y*d + 5*m + 20 for d.
5
Suppose -2*f - 2*k = -28, 280*k = f + 275*k - 2. Solve 8 = -f*g + 10*g, -3*i + 3*g + 3 = 0 for i.
-3
Let j = 54 - 54. Suppose 15*d - 20*d + 100 = j. Suppose -4*h = -d - 32. Solve -3*w = 4*b + h + 3, -2*w + b = 7 for w.
-4
Suppose 4214 = 15*u + 1124. Let z = 208 - u. Solve 4*r - 1 = z*d + 5, -4 = -r + 3*d for r.
1
Let b(p) be the second derivative of p**4/12 + 2*p**3/3 + 3*p**2/2 + 4*p - 5. Let k be b(-4). Solve 3*a + 7*w + 15 = k*w, 0 = 3*w for a.
-5
Let l(i) = -i**2 + 25*i + 56. Let c be l(27). Let h = -22 + 25. Let x = h + -3. Solve -r + 2*r + 5*u - 25 = 0, -c*u + 8 = x for r.
5
Let d be 1/((-1)/(-14)) + (101 - 106). Suppose d*y + 15*y = 288. Solve 2*q = -2*o - 6, 14 = -4*o + 3*q - y for o.
-5
Let a be ((-2)/6)/(1/(-3)). Let f be (-3)/12 - 210/(-40). Suppose 10 = -f*z - 5*v, 72 = -v + 68. Solve 0*h + 2*d = z*h + 10, -h - a = 3*d for h.
-4
Let i(c) = 206*c - 5150. Let t be i(25). Suppose 60 = b + 2*b. Solve t*s + b = 4*s, 0 = 5*m + 2*s - 20 for m.
2
Suppose 5*j - 18 = -y, 2*j + 6 = 4*j. Suppose 4*q = -y + 11. Let k be q/13 - (1 + (-76)/13). Solve -k*h = -7*u + 4*u + 10, -3*u = 3*h + 30 for h.
-5
Let m(s) = -s**3 + 41*s**2 + 335*s + 59. Let z be m(48). Solve 42*t - 46*t = a - z, 0 = 5*a + 3*t - 21 for a.
3
Let p(h) = 10*h - 20. Let g be p(3). Let y be (25/g - 5)*-8. Let w = y + -15. Solve w*l - 3 + 28 = 0, l - 1 = 2*a for a.
-3
Let x = 425 + -254. Suppose 258 = 3*p - x. Suppose -5*j - 43 = -p. Solve 4*f - 4 = -3*q, 5*q = -0*q - j for f.
4
Let f(x) = 7*x**2 + 5*x + 4. Let t be f(-1). Suppose 0 = t*j - 56 + 20. Solve -j = -2*c - 5*y + 1, -1 = 3*c - 4*y for c.
1
Suppose -21*m + 30*m + 28*m - 4810 = 0. Solve -4*n + 133*x - 7 = m*x, 5*n = -5*x for n.
-1
Let r be 20 - ((-33)/44 - (-18)/(-8)). Suppose r*k + 18 = 32*k. Solve k*m - o + 3*o = 4, m - 5*o = 14 for m.
4
Suppose 21 + 3 = 6*m. Suppose h + 73 = m*s - 0*h, 5*h + 59 = 2*s. Solve -3*o + 1 = -3*p - 4*o, -3*p - s = 5*o for p.
1
Suppose 0 = 65*y - 66*y + 14. Solve -u = -b + 2, 3*b - 8*u = -9*u + y for b.
4
Let y(o) = 313*o - 3424. Let i be y(11). Solve -3*d + 0*v - 2*v = -13, -3*d = -4*v - i for d.
5
Let x be (2860/2002)/((-5)/(-14)). Solve x*h + 41 = 21*j - 16*j, 0 = 3*j - 2*h - 23 for j.
5
Suppose 73*k - 77*k + 4*n = 4, 5*k - n + 1 = 0. Solve -2*z = v - 0*z - 1, -2*z - 4 = k for v.
5
Let w = -2390 + 2407. Solve -3*t = -2*u + t + 18, 3*u + w = -5*t for u.
1
Let p = -636 - -770. Suppose 2*r = 3*a + 151 - p, -4*a = 3*r. Solve -5*k + r*q - 4 = 0, k - 5*q = -4 - 1 for k.
0
Suppose -10*g + 7 = -9 - 14. Solve 5*l = 25, l = -g*h - 2*l for h.
-5
Suppose 4*t = 3*n + 12 - 7, t + 2*n = 4. Solve 2*l - 4*l = 4*z - 8, t*z + 4 = 3*l for z.
1
Let f be -167 + 186 - (12 - 1). Solve -y + 17 = -4*y - 4*l, -4*l - f = 0 for y.
-3
Let r = -645 - -644. Let i be -7 - (-13 + 9) - (-4 - r). Solve i = -4*m - 4*q - 8, -3*m - 4 = 2*m - q for m.
-1
Let c = -39 - 582. Let g be c/15 + 0 + (-12)/20. Let p be 1/3 + (-196)/g. Solve q = -p*r + 6, 5*q + 23 + 5 = 4*r for q.
-4
Let x(h) = 6*h + 29. Let b be x(-4). Suppose -2*s = 2*r - 22, -s + b*r - 1 = 18. Solve -3*a + u = s, 5*a + 1 = -2*u + 2 for a.
-1
Let z(t) be the second derivative of t**3/3 - 7*t**2/2 - t + 49. Let y be z(6). Solve -y*f = -3*m - 9, 6 + 4 = 2*f + 2*m for f.
3
Let m(s) = 19*s + 128. Let n(y) = 7*y + 43. Let z(p) = 6*m(p) - 17*n(p). Let i be z(7). Solve -i*d + 7 = 5*u - 0*d, 0 = u - 5*d - 23 for u.
3
Let q = 71 + -58. Suppose -q*s + 72 = -5*s. Suppose 0 = s*m - 13*m + 72. Solve -l + 7 = -4*n, 0 = -3*n + 6*l - l - m for n.
-1
Suppose -o - 14*l = -87, -3*o + l + 13 = 10. Solve -5*n = -4*u - 3, 4*u = o*u + 2*n for u.
-2
Let z(n) = -n**3 - 124*n**2 + 115*n - 1246. Let v be z(-125). Solve 0 = 8*f, -2*d = 3*d + v*f + 10 for d.
-2
Suppose -6*n + 2*n = -176. Suppose 128 = 3*w + 5*l, 2*w - 2*l = -58 + 154. Let r = w - n. Solve d - 15 = -i + 5*i, 2 = -r*d for i.
-4
Let b(u) = u**3 - 24*u**2 - 89*u + 1604. Let i be b(25). Solve 5*t = 5*r, -2*r = -10*t + 9*t + i for r.
-4
Let r = -2442 + 2445. Solve 0 = -g + r*u, 2 = 3*g - 4*u - 3 for g.
3
Let k = -288 + 530. Let j = k + -240. Solve 3*c - j = -0*c - s, 5*c - 4*s + 8 = 0 for c.
0
Let x = 18 - 9. Suppose 2*h + 0*k + 2 = -2*k, -h + k = -x. Solve 3*y - h*b = 21, 5*y + 0*y = -3*b + 6 for y.
3
Suppose 10 = 4*m - 3*k + 5*k, -20 = -4*k. Solve 0 = -2*a - 3*i - 7 + 1, m = -2*a - 4*i - 6 for a.
-3
Let h be (36/(-8))/((-1)/26). Suppose -37 = -m - 2*b, h = 5*m + 3*b - 33. Let r be 253/9 + (-30)/m + 1. Solve 2*u - 3 = -c, 4*c - 2*u + r = -0*u for c.
-5
Let m be 9820/60*(0 + -3)*-1. Let k = 491 - m. Solve -5*t + 15 = k, -5*t + 2*t = -p - 6 for p.
3
Let x(q) = -417*q**3 - 9*q + 9. Let j be x(1). Let r = j + 438. Solv