 4. Let q be s(-1). Solve -q + 9 = 2*o for o.
-1
Suppose -4*w + 65 = 61. Solve w = u - 0 for u.
1
Let r be ((-8 - -6) + (-5)/(-3))*-24. Solve 3*l + 2 = r for l.
2
Let i = -5 - -11. Suppose 26*h = 18*h + 24. Solve h*r + i = r for r.
-3
Suppose 2*u + 2 - 6 = 0, 2*v - 12 = -3*u. Suppose 11 = 2*g + v*s, 5*g + 3*s - s = 11. Let j be 0 - g - (-2 - 1). Solve -j*d - 4 = 2*d for d.
-1
Let k = -675 - -687. Solve 10 = 17*x - k*x for x.
2
Suppose 5*v = 2*v - 87. Let n = -24 - v. Solve 5*p - 4*p = n for p.
5
Suppose 0 = -49*r + 45*r. Solve k = 3 - r for k.
3
Let t be 8/(-8)*(-15 + (2 - 1)). Solve -25 = -9*j + t*j for j.
-5
Let n = -12 - -14. Suppose 0 = 5*x, o - n*x - 1 = -4*x. Let g be 4/18 + (-86)/(-18). Solve g = -2*p - o for p.
-3
Suppose 24*r - 413 = 1003. Solve 56 - r = 3*y for y.
-1
Suppose 5*k = -24 + 104. Suppose 4*b - k = -0*b. Suppose 3*l + 4*m - 10 - 21 = 0, b*l + 4*m = 36. Solve -1 = r - l for r.
4
Let l(x) = x - 8. Let o be l(9). Solve n - 2*n + o = 0 for n.
1
Suppose -5*n + 7*n + 4 = 0. Let s be n/(-7) - 57/(-21). Suppose 4*y - 20 = -0*y. Solve -s*g = 1 + y for g.
-2
Let l(z) = -10*z + 2 + 20*z + z**2 - 7*z. Let m be l(-2). Solve 1 = -m*v + v for v.
1
Suppose 43 = 5*j + 5*x - 7*x, 0 = -4*x - 16. Suppose 6*k = j + 11. Solve -2 - k = q for q.
-5
Suppose 7*d - 5 = 2*d. Let t be 68/(-6) + 20/15. Let f = t - -13. Solve d = f*g - 14 for g.
5
Let h be (-2)/4*-54 - -3. Let s be ((-10)/25)/((-1)/h). Solve -s = v + 3*v for v.
-3
Let g be 2*(-1)/(-2) - (-2 - -2). Let p be g/(-2) + (-330)/(-44). Solve -2 + p = -5*f for f.
-1
Let z(w) = 4 + 2*w + 6*w**2 - 7*w**2 + 5*w - 5*w. Let q be z(2). Suppose -f + 3 = -0*f. Solve -f = q*h - 23 for h.
5
Let q be ((-1)/(-2))/(1/4). Let h be (-6)/10*(2 - 7). Suppose -10 = -4*z + 26. Solve -h = q*t - z for t.
3
Suppose -32 = -4*t + 4*r, 4 + 4 = -3*t - 5*r. Let y(v) = -v**3 + 6*v**2 - 4*v - 6. Let g be y(t). Solve -5*k = -g - 15 for k.
5
Suppose m = -5*n + 919, -2*n + 228 = -2*m - 130. Solve n*f = 190*f - 35 for f.
5
Suppose -5*u - 5*m = 0, 0 = 10*u - 7*u + 5*m. Solve u = 8*p - 13*p + 5 for p.
1
Let j be (6/9)/(2 + (-292)/147). Let s = j - 47. Solve z - s*z + 4 = 0 for z.
4
Let n(q) = 27*q**2 + q + 2. Let t be n(1). Suppose t*a = 27*a + 9. Solve -a = -3*g + 3 for g.
2
Suppose -239 = -64*y + 17. Solve -5*q - 2 = -y*q for q.
-2
Let l(j) = -2*j - 7. Let q be l(-5). Suppose 0 = -2*d - q*d + 150. Let o be (-2)/(-5)*d/12. Solve 0 = -5*v - o - 4 for v.
-1
Suppose -9*q = -13*q + 216. Suppose -3*t + 34 = 2*v, 5*v = -5*t + 3*v + q. Solve -t = -3*d + d for d.
5
Suppose 0 = -5*n + 4 + 6. Suppose 3*v - 14 = -n. Let h = -7 - -12. Solve -v*s - h = -1 for s.
-1
Let i be ((-768)/448)/(10/14 - 1). Solve 0*a = -3*a - i for a.
-2
Suppose 0 = 2*b + 4*r, -4*r + 20 = 5*b + r. Suppose -5*p - 102 = b. Let m = p - -22. Solve 0 = -m*a + a for a.
0
Let q(d) = -d**3 - 11*d**2 - 11*d + 1. Let m be q(-10). Solve -m*l - 5 = -10*l for l.
-5
Let c(b) = b**2 + 3*b + 2. Let s be c(-2). Suppose -5*w = -3*q - q + 97, -17 = w - 2*q. Let f be 44/6 - (-7)/(w/4). Solve 2*k = f - s for k.
3
Suppose -6*w + 14 - 2 = 0. Suppose 34 = w*b + 22. Solve -2*c - c + b = 0 for c.
2
Suppose 0 = 2*i - 3*a + 1, 0 = -0*i + i - 5*a + 11. Solve f - 5 = -i*f for f.
1
Let o be ((-45)/(-6) + -7)*(0 - -14). Solve 0 = -0*n - 7*n - o for n.
-1
Suppose 0 = 2*z - 4*z + 8. Let b = -8 + z. Let j be (-6 + 4)*6/b. Solve j*m = m for m.
0
Let h(b) = -2*b - 4. Let i(a) = -a**3 + 10*a**2 - 8*a - 13. Let q be i(9). Let y be h(q). Suppose 4 = 3*z + 2*r, 5*r = -y*z + z + 1. Solve -z = j - 3 for j.
1
Let d = -62 + 64. Solve -d*i + 20 = -6*i for i.
-5
Suppose -127*i = -126*i - 4. Solve -i*a + 8 = 24 for a.
-4
Suppose -a + 2 = -2*a + x, -6 = -5*a - 3*x. Solve 8*r - 3*r + 10 = a for r.
-2
Suppose 2*l + 26 = l. Let t be 4*1 - l/13. Solve -2*o + t*o - 16 = 0 for o.
4
Suppose 12*k - 33 = 27. Let w be (1 - 4)*84/(-18). Solve -k*p = 39 - w for p.
-5
Let y(w) be the third derivative of w**5/60 + w**4/8 - 13*w**3/2 - 22*w**2. Let g be y(-8). Solve -5*p + 4*p = g for p.
-1
Suppose 7*m - 174 = -55. Suppose 10*k = m*k - 21. Solve -9 = k*w + 3 for w.
-4
Let m be 3 - 7/(7/(-3)). Suppose 5*j + 2*p - 23 - 4 = 0, 2*j - 4*p - m = 0. Solve -4*z - j = -1 for z.
-1
Let d(x) = x**2 + 3*x + 2. Let f be d(-3). Let u = -10 + 8. Let t = u + 2. Solve t*l = -l - f for l.
-2
Let m be 1/(-3 + 15/(-18) + 4). Solve -4 + m = -2*o for o.
-1
Let z be -4 - -3 - -4 - 1. Let c be ((-5)/(-2))/(7/14). Suppose -c*b = -z*b. Solve b*o = 2*o for o.
0
Let h = -43 + 55. Solve h = 5*z - z for z.
3
Suppose 84*p - 1840 = -31*p. Solve -p = -43*n + 47*n for n.
-4
Let u = -79 - -82. Solve 0*q + u = q for q.
3
Let r(z) = -z**3 + 6*z**2 - 6*z + 2. Let j be r(5). Let y be (2/j)/((-2)/(-6)). Let h be y + 3 + (-14)/(-2). Solve -h = -4*q + 2*q for q.
4
Let p(k) = 29*k**2 + k - 1. Let t be p(-1). Let c be (-1)/(1 - 36/38). Let w = t + c. Solve 2*u = -0*u - w for u.
-4
Suppose -2*s - 4 + 1 = 5*j, 0 = 5*s - 2*j - 7. Solve s = 3*t + 4 for t.
-1
Let c be 2/(-8) - 84/(-16). Suppose 27 = c*m - 4*n, -2*m - 4*n + 0 = 6. Suppose -2 = -5*o + m. Solve 0 = -q - 0 + o for q.
1
Suppose 3*j - 2*j = 0, -3*h + 21 = 5*j. Solve 3*y - h = -4 for y.
1
Suppose 864 + 96 = 64*b. Solve 17*l + b + 2 = 0 for l.
-1
Let i(p) = p**3 - 4*p**2 + 2*p + 7. Let q be i(3). Let z(c) = 2*c**2 - 7*c - 2. Let k be z(q). Solve -k = x - 3*x for x.
1
Let u be (-850)/20*2/(-5). Solve 12 = -r + u for r.
5
Let x be 3/(-6)*(0 + -10). Suppose -2*a = 3*j + 2*a + 55, 0 = -x*j + a - 61. Let u = j - -23. Solve -p - u = p for p.
-5
Let i(v) = -2*v**2 + 3*v + 7. Let w be i(0). Solve w = -2*b - 1 for b.
-4
Let o be -6*2*(-1)/4. Let r be (-2 - -2) + -1 + o. Solve -2 - 2 = r*h for h.
-2
Let m = 430 - 287. Let h = m + -141. Solve 5 = 3*g + h*g for g.
1
Let s be (3 - -3) + 2 + -4. Suppose 0 = -i + 3*i - 4*g - 36, s*i - 54 = 2*g. Solve -p = 3*p + i for p.
-3
Let y be -8*(18/(-99) - 17/88). Solve 9*k - 12*k + y = 0 for k.
1
Suppose -5*c + 4*o = 3*o - 39, -4*o = -5*c + 36. Suppose 58 = 7*j + 22*j. Solve 6*i - c = j*i for i.
2
Suppose 0 = 2*q + 5*a - 16, 5*q - 65 = -2*a + 17. Solve 4*s + q = 10*s for s.
3
Let n(b) = -b - 15. Let f(l) = 3*l + 45. Let y(r) = 4*f(r) + 11*n(r). Let w be y(-6). Solve -a + w = -4*a for a.
-3
Let h = 22 + -16. Let j be (3 + -4)*h/(-3). Suppose 0 = -5*u + y + 3, 6*u - j*u - 12 = -4*y. Solve -k - u = -5 for k.
4
Suppose 4*m = 7*m - 24. Suppose -10 = 26*y - 88. Solve -y*n = -n - m for n.
4
Suppose 5*v = 116 - 41. Suppose 4*a + 12 = 0, -3*a - v = -2*s - 0*a. Solve 2 = s*l - 5*l for l.
-1
Let p = 29 - 27. Let q(x) = x + 7. Let n be q(p). Solve -3*o = n + 3 for o.
-4
Let y be (-27)/(-18) - (-2)/4. Suppose -5*w + 3 = -y*w. Solve s + 2 = -w for s.
-3
Let h = 252 - 219. Solve 5*z - h = 16*z for z.
-3
Let i be (6 - (-7)/(-2) - -1)*2. Solve 0 = 9*l - i*l + 8 for l.
-4
Let t = 7 + -4. Suppose a - 17 = 2*f - 6*f, a - t*f + 4 = 0. Let h be (-5)/((-140)/(-8)) - (-74)/14. Solve 0 = h*q + 15 - a for q.
-2
Let n(m) = m**3 - 6*m**2 - 2. Let q be n(6). Let o be ((-14)/21)/(q/45). Solve -4*z - o + 3 = 0 for z.
-3
Let t = -195 - -199. Solve -2*m + t = -4*m for m.
-2
Let p be (-1002)/(-48) + 1/8. Suppose 4*y = -5 + p. Let w be ((-2)/2)/((-2)/18). Solve -20 = w*a - y*a for a.
-4
Let r be (-20)/(-6)*(-6)/(-4). Let u be ((-6)/(-6)*0)/1. Solve u = r*c - 4*c - 1 for c.
1
Let b(o) = o**3 - 3*o**2 - 6*o - 3. Let v be b(5). Let g = -17 + v. Solve -5*n + 2 + 18 = g for n.
4
Let n = 20 - 18. Let z be (n/(-4))/(2/(-12)). Suppose -g = z*g. Solve o - 2 + g = 0 for o.
2
Let a(t) = -t**3 + 8*t**2 + 11*t - 10. Suppose 32 = 5*i - 13. Let s be a(i). Solve 3*y = -y + s for y.
2
Let a(z) = -z**2 - 11*z - 15. Let b be a(-6). Let w(v) = -12*v**3 + v**2. Let k be w(-1). Let y = b - k. Solve -y*m + 4 = 12 for m.
-4
Let g = 69 - 76. Let s be 164/28 - -1 - 1/g. Solve -8 = 5*w + s for w.
-3
Let n(k) = 96 + k**2 - 5*k + k - 93 - 9*k. Let r be n(14). Let d = r - 12. Solve -4*b - d - 11 = 0 for b.
-4
Let u(n) be the third derivative of -n**5/30 - 3*n**4/8 + 17*n**3/6 - 11*n**2. Let v be u(-5). Solve 0 = 2*s - 5*s + v for s.
4
Let w = -7 + 5. Let d(y) = 2*y**2 + 3*y + 1. Let s be d(w). Let g be (11 - s)/(-4)*-1. Solve 20 = -3*x - g*x for x.
-4
Let s be (-1)/(-8)*30 + 3/12. Let c(u) = -u**3 - 2*u**2 + 4*u. Let o be c(-4). Let p = o - 10. Solv