*b - 9. Let f be d(4). Let t be f*1/(-5) - -3. Solve 0*m - 30 = -5*m - n, -t*m + 5*n - 5 = 0 for m.
5
Suppose 0 = 2*p - 11 + 1. Let y be 45/18*6/p. Let b = y + -3. Solve -3*x + 2 = -w - b*w, 2*x = 2 for w.
1
Suppose -3*g = 2*v + 2*v - 83, -2*g + 42 = 2*v. Let k be (8/v)/(6/60). Solve -k = i - 5*w, -2*w - 2*w + 3 = -i for i.
1
Suppose 4*g - 7 = 3*g. Let n be 0/g - 6/4*-2. Solve -n*x = -5*f + f - 10, 0 = -x - f + 1 for x.
2
Let x(j) = 101*j + 11. Let k be x(-6). Let i be 2/10 - k/25. Solve -3*o - 26 + 9 = 2*z, 0 = 3*z + 4*o + i for z.
-4
Let t(v) = v**3 - 4*v**2 + 3*v + 2. Let u = -24 + 28. Let w be t(u). Solve -2*n = -h - 10, -w = -2*n + 4*h + 2 for n.
4
Let x(q) = 3*q + 17. Let r be x(-15). Let h = 45 + r. Solve -5*b + t - 4*t - 9 = 0, 5*b - t + h = 0 for b.
-3
Let q = -76 + -11. Let h = q + 89. Solve 4*u - b = -13, -4*u + 1 = -h*u - 3*b for u.
-4
Let f be (6/10)/(18/90). Let d be 2 + (-3 - (-7 + 4)). Suppose 3*j - 3 = -3*t + 24, -d*t + 18 = -4*j. Solve -y + t = 2*y, 21 = f*a + 2*y for a.
5
Let n be (5/15)/((-4)/18)*-2. Suppose 0 = -i - 3*g, n*g = 2*i + 6*g. Solve 4*l = -3*v - 11, 3*v - 34 = 5*l - i for l.
-5
Let f(o) = o**3 - o**2 + o + 2. Let i be f(0). Let t = -2214 - -2217. Solve 0 = -j - t*v - 4 - 3, v + 4 = -i*j for j.
-1
Suppose -30 = -9*q - 3. Solve 2*x - 4 = -4*h, -q = -3*h + 3*x - x for h.
1
Let m(i) = 10*i + 4. Let k be m(-5). Let g = k - -67. Let t be (-8 - (-4 + 3 - 14)) + -2. Solve 5*c + u = -g, t*c + 3*u + 8 = c for c.
-5
Let p(u) = -u**2 - 13*u + 4. Let r be p(-13). Suppose -20 = -2*s - r*c, -2*s + 22 = -s + 5*c. Solve 13 = -5*y - 3*k, -s*y = -0*y + 3*k - 2 for y.
-5
Let t(c) be the first derivative of -c**3/3 - c**2/2 - 3*c + 3. Let s be t(0). Let m be (1/s)/(2/(-30)). Solve a - 2 = 0, m = -f - 0*f + a for f.
-3
Suppose -5*q = -9*q + 140. Let a = q + -54. Let d = a + 24. Solve 3*p = d*p + 2*i - 16, -2*p + i + 7 = 0 for p.
5
Let m = -10 - -17. Suppose g - 10 = -b, -3*g + 58 = b + 4*b. Let o be m/(b/8) - 0. Solve o*n + 2*w + 0*w - 2 = 0, 3*n = -4*w + 4 for n.
0
Let d be (-4)/6 + 49/(-3). Let c(r) = r**3 + 5*r**2 - 4*r + 3. Let x be c(-3). Let p = d + x. Solve 5*w = 5*q - 20, 5*w + 0*q + p = 3*q for w.
-2
Let d = 22 + -18. Suppose d*k - 8 = -0*k. Suppose -g + 16 = 3*g. Solve -4*b + 4*c + 18 = k, 2*c - g = -2*b for b.
3
Let x(j) = -j + 4. Let n be x(5). Let q(a) = -19*a + 1. Let r be q(n). Solve -4*i = -3*l - 20, -4*i - 2*l = -3*l - r for i.
5
Suppose 0 = 3*o + 3*w + 18, 5*w + 15 = -2*o - 12. Let f = 1 + o. Suppose f = -s - 0 + 5. Solve -k = s*p + 15, -27 + 12 = 5*p + 2*k for p.
-3
Let q be 14/(-4) + -1*2/4. Let p be (-1)/q + 6/(-48)*2. Solve 5*l - 2*z + 6*z + 25 = 0, p = 4*l - 5*z - 21 for l.
-1
Let a(d) be the first derivative of d**3/3 + 13*d**2/2 + 36*d - 36. Let r be a(-9). Solve -2*z - 3 + 13 = 0, r = -3*o + z - 17 for o.
-4
Let n(b) = -b - 8. Let i(y) = y**3 - 4*y**2 - 3. Let k be i(2). Let l be n(k). Solve 0 = -5*o - g - 12, 3*o + g + 9 = l for o.
-3
Let w be 1628/(-110) - (-1)/(-5). Let b be (-1 + (-10)/w)*-12. Solve b*k + 22 = -o, -5*k = 2*o - 4*k + 9 for o.
-2
Let k(l) = -5*l + 10. Let q be k(10). Let i = q - -44. Solve -5*h + i = -h, 0 = -5*o + 5*h + 20 for o.
5
Let a be 1 + (-5)/1 - -2*7. Solve -2*v + i + 9 = 0, 10 = 4*v - 4*i - a for v.
4
Let j = 16 + -11. Suppose 30 = j*x + 4*o, -6 = 2*x - 3*o + 5. Suppose a - x = 1. Solve -3*r + 15 = 0, 5*f - a*r = -0*r for f.
3
Let t be 26/13*(-6)/4 - -5. Solve 2*k - 5*h - 14 = -t, -h = k + 8 for k.
-4
Suppose 0 = 14*t + 56 - 98. Solve -7*s = t*j - 8*s + 12, s + 12 = -5*j for j.
-3
Suppose -22*m - 27*m = 0. Solve 2*w + t + 1 + m = 0, -5*t = -3*w + 31 for w.
2
Suppose 0 = -9*p + 33 + 75. Let g be 16/3 + (p/18)/1. Solve 3*b = u + g, 2*u = 3*b - 2*u + 3 for b.
3
Let m = -484 + 487. Suppose -2 + 8 = 3*a - 3*b, -4*b = 2*a + 8. Solve a = -5*z + y - 18, 3*y = -m*z + 2*y - 6 for z.
-3
Let l = -96 - -99. Suppose 4*i - 3*i = 3*z - 6, z = l*i - 6. Solve 34 = i*v - 5*u, -4*v + 17 = -0*v - u for v.
3
Suppose -5*u - 5*g = 0, 0 = 7*u - 12*u - 3*g. Solve -4*y + 5*l = u, -5*y - l = -32 + 3 for y.
5
Let f = 254 - 252. Solve f*l = x + 2 + 6, -l = -x - 5 for x.
-2
Let o = -416 + 421. Solve -5*l = -3*z - 28, -2*l - 4*z - 19 = -o*l for l.
5
Suppose 15*x - x = 294. Suppose 5*b = 4*z + 13, 3*b + 0 - x = -2*z. Solve -n = 3*t, -2*t - z*t = -2*n for n.
0
Let d be (2/1 + 0)*2. Let x(q) be the first derivative of -q**3/3 + 9*q**2/2 + 26*q + 16. Let w be x(11). Solve d*z - z - 5*u = 20, w*u = z - 16 for z.
0
Let z = 57 - 39. Suppose 2*d - 4 = -y - 0, -4 = 3*d - y. Solve -3*n - 3*x - z = d, x - 15 = 3*n + 3*x for n.
-3
Let a(g) be the first derivative of g**4/4 + 7*g**3 + 19*g**2/2 - 15*g + 20. Let n be a(-20). Solve 0 = -n*v - 5*i - 10, -2 = 4*v + 3*i + 6 for v.
-2
Let v(b) = -b. Let t be v(-3). Suppose -5*y + 7 + 13 = -5*z, -4*y + 2 = t*z. Let j be 0/(0 - 0 - y). Solve j = 3*l - 5*l + 4, 3*l = -4*o - 6 for o.
-3
Suppose 4*g - 7*g - 2*i = -17, -2*g = i - 10. Solve 2*b - 2*t = -2, -g*b + 2*t + 2 = -0 for b.
4
Suppose 5*y - 7 = 4*o, -2*y = -6*o + o + 4. Suppose 175 = -s + 6*s. Let t = 72 - s. Solve -4*x = 5*w + t, y*w - w = -10 for x.
-3
Suppose -f + 19 = -0*f. Suppose 5*g + 70 = -q + 6*q, 3*g = q - 34. Let v be g/(-45) - 32/(-18). Solve 0 = 2*y - 4*h + 26, -4*h - h + f = v*y for y.
-3
Suppose -41 - 91 = -33*a. Solve -a*h + 3*m = 32, 5*h = -0*m + 2*m - 33 for h.
-5
Let i be 21/7*1/1. Suppose -q - 6 = -0*m - i*m, 0 = 2*q - 5*m + 13. Let p be (-6)/18 + (-30)/q. Solve -4*k + j + 20 = -p*j, -4*j - 20 = 0 for k.
0
Suppose -2*g = 4 + 2. Let r = g - -5. Let l be 13 - 15 - (-5)/(5/4). Solve -l*p + r*b - 7 = 5*b, b = 3*p - 17 for p.
4
Let v(h) = -2*h + 16. Let x be v(7). Let n = 4 + 4. Suppose 2*f + x*f = n. Solve f*m + 6 = 0, 2 - 16 = 5*y + 3*m for y.
-1
Let b be 2*(-4)/(-6)*3. Suppose 7*o - 17 = 4. Suppose -2*d + o*d - 6 = -b*m, -4*m - 2*d = -4. Solve 0 = -4*s - 8, -m*l + 3*s - 6 = s for l.
-5
Let y = -25 + 34. Suppose y = 2*c - x - 5, 3*c + 3*x - 12 = 0. Solve -3*n - 17 = 4*g, -2*g + 0*n = 4*n + c for g.
-5
Let i(t) = t + 36. Let p be i(-6). Let m = -30 + p. Solve m = 4*k + 2*o + 6, -3*k - 4 = o - 0 for k.
-1
Suppose -5*t = 2*d + 14, 0 - 7 = d + 3*t. Let j be d/(-3) - 3/18*-4. Solve 4*w + 4*z = 0, -j*w - 4 = -z + 2*z for w.
-2
Suppose 5 - 4 = -l + n, -4*l = -5*n + 9. Suppose 13 - 5 = l*r - 2*y, -4*r = 4*y - 8. Solve -3*v = 3, 0 = -q - r*v - 6 + 1 for q.
-3
Suppose 908 = 11*p + 853. Solve -c + p = -9*s + 10*s, 3*c + s = 13 for c.
4
Suppose -3*x - 2*b + 13 = 0, x - 6 = -2*b + 1. Let o = -214 - -225. Let p be 3/2 + 4/8. Solve -5*y + o = -p*d, y + x*d = 4*y - 12 for y.
1
Let p = -22 + 16. Let f be p + 8 - 3*1. Let b = 3 + f. Solve -3*n - 2*c + 2 = -b, n - 2*c = -12 for n.
-2
Let p = -198 + 202. Solve -l = 2*l - p*g - 32, 5*l - 3*g = 35 for l.
4
Suppose -4*h + 108 = -4*o, 0*h + 2*h + 3*o = 49. Suppose -4*w + 14 + h = 0. Solve -3*l = q + 5, -3*l - 3*q = -q + w for l.
0
Let q be 5/(-30) + 2 - (-2)/12. Solve -5*n + 11 = 4*w, 7*w = q*w + 5*n - 20 for w.
-1
Let d be (-2)/12 - 147/(-18). Suppose 0 = -2*a + 60 - d. Let g = 34 - a. Solve 5 = 4*s - 2*r - 1, -4*r = 2*s - g for s.
2
Let u(w) = -w**3 + 6*w**2 + 19*w - 18. Suppose -10*l + 88 = l. Let c be u(l). Solve 0 = 4*q - 2*v + 3*v + 3, -2*v - c = -q for q.
0
Let t = -43 + 105. Suppose 3*g + 2 = t. Solve 0 = 4*m + b - g - 1, 0 = 5*b - 5 for m.
5
Let y = 35 + -32. Let x(i) = -i**2 + 13. Let z be x(y). Solve b - 8 = 5*b + 2*m, -z*m - 16 = 2*b for b.
0
Let n(i) = -i**3 - 7*i**2 + 3*i + 8. Let c be n(-7). Let o = -11 - c. Suppose 32 = 3*z - 5*s, 2*z + 0*s - 16 = -o*s. Solve -2*g = -10, y + 2*g = 5 + z for y.
4
Suppose 2*s + 18 = -3*d, -5*s - d - 16 = 3. Let k = 6 + s. Solve 0*r - i = -5*r - 21, k*i = 2*r - 2 for r.
-5
Let u be (-34)/(-6) + (-10)/6. Suppose u = -12*c + 112. Solve 4*l = c + 7, 10 = -s + 3*l for s.
2
Suppose 4*m - 15 = -0*m + 5*b, m - b - 4 = 0. Suppose m*a - 83 = 2*x, -71 = -6*a + a - x. Solve r = -5*g + 3, g - a = -5*r + 4*g for r.
3
Suppose -2*b = -d, -3*d - 4*b + 19 = -1. Solve 5*t + g = -d*g - 15, g + 6 = -2*t for t.
-3
Suppose 3*s - 4*s - 44 = -4*t, 5*t = -4*s + 76. Let g be 16/t - (-1)/(-3). Let z(j) = -j + 8. Let v be z(6). Solve -4*f - v*h = 1 + 3, 0 = f + 4*h + g for f.
-1
Let k(f) = 4*f**3 + 45*f**2 + 16*f + 58. Let q be k(-11). Solve -q*z - 15 = 0, -3*z 