olve d = -5*n + 112 for n.
-5
Suppose 40 = 4*d + 4*v, -v + 52 = 5*d - d. Let p(w) = -2*w + 48. Let t be p(d). Solve -4*b + 0 = -t for b.
5
Let d(f) = -f**3 + 17*f**2 + 61*f - 6. Let u be d(20). Solve u*l = 57 - 1 for l.
4
Let a(z) = 2 + 3*z - 2*z + 3*z + 10*z - z**2. Let q be a(14). Let d(f) = 3*f - 3. Let v be d(q). Solve -2*n - v = 3 for n.
-3
Let c be 12*(-7)/(-28) + (-2)/(-1). Suppose -5*g + 0*z - 5 = 5*z, 2*z = -c*g + 4. Solve 0 = -7*v + g*v + 20 for v.
4
Let a(i) = 10*i**2 - 12*i - 6. Let t be a(3). Solve 11*f + t = -5*f for f.
-3
Let f(r) = 5*r - 46. Let g be f(8). Let u(n) = -4*n. Let s be u(2). Let q = g - s. Solve 3*w + q*w = 15 for w.
3
Suppose t + 11 = -a, 0*a - 2*a - 10 = 5*t. Let q be (3 - -2)/a*-9. Solve -q*w - 16 = w for w.
-4
Let r(t) be the first derivative of t**4/4 + 5*t**3/3 + t**2 + 4. Let j be r(-4). Suppose -4*d + 3 = 3*x - 0, d = 5*x + 18. Solve -d*l + 4 = -j for l.
4
Let p = -222 - -226. Solve p = -d + 9 for d.
5
Suppose -w - 2*c - 6 = 4, 0 = w - 3*c + 10. Let a be (-8)/w*(-25)/10. Let j be 33/3 - 2/a. Solve -4*y + 4 + j = 0 for y.
4
Let m = 28 - 14. Let c = m + -12. Solve 0 = -0*i - i - c for i.
-2
Let i(k) = 2*k**3 - k**2 + 2*k. Let u be i(1). Suppose z = -u*z. Solve z*f = -3*f - 3 for f.
-1
Suppose 67 = -s + 5*m, -106 = 4*s - 3*m + 162. Let t = 67 + s. Solve t = 2*a - 4*a - 8 for a.
-4
Suppose 30 = 2*q + 3*q. Let u = -222 - -222. Suppose 0 = 2*h - 4*d - q, u*d + d + 3 = h. Solve -h + 0 = s for s.
-3
Let k(y) = -y**2 - 12*y + 2. Let x be k(0). Solve -22 = 5*f - x for f.
-4
Suppose 0 = 2*c - 4. Suppose 3*q - 17*q + 280 = 0. Solve c*v - q = 7*v for v.
-4
Suppose -10*q = -7*q - 30. Suppose -q = -5*n + 3*n. Solve -d + 0 = -n for d.
5
Suppose -u + 3*g + 13 = -0*u, 5*g + 19 = u. Let y(b) = b**3 + 11*b**2 + b + 11. Let p be y(-11). Suppose 2*m - m = p. Solve -h + m = -u for h.
4
Suppose 27 - 11 = -4*p, -4*j + 20 = -5*p. Suppose 3*d + 0*n - 5*n - 11 = j, -2*d + 2*n + 14 = 0. Solve 0*g + d = -3*g for g.
-4
Let v be 4 + -13 - (-3 + 0/1). Let i be (-40)/(-25) - v/15. Solve c - i = -5 for c.
-3
Suppose -2*c + 5*h - 19 = -4*c, -3*h = 4*c - 17. Suppose -3*r + 25 = -c*r. Solve -2*m + r = 3*m for m.
5
Suppose -6*a - 5*t = -2*a - 190, -5*a + 5*t + 215 = 0. Suppose -3*d + 24 = 2*q - 5, -5*q + a = 2*d. Solve -6*z + 5 = -q*z for z.
-5
Suppose 3*z - 1 = 2*j, -j - 2*z + 22 = 3*j. Let r be -1 + (-12)/(-2) - 0. Solve r*n = j*n for n.
0
Let v be 70*(-6)/45*-6. Let a = v - 51. Solve -l + a - 2 = 0 for l.
3
Let g be 27*(-2 + (160/(-12))/(-5)). Let k = 22 - g. Solve -9 = k*o + 7 for o.
-4
Let u be (-96)/(-7) + 8/28. Suppose -3*w = -4 - u. Solve -3*i - 3 = w for i.
-3
Let z(v) = 2*v**2 + 10*v + 15. Let a be z(-2). Solve -r = 5 - a for r.
-2
Let p be (-1 + 0)*(-6 + 5). Let n be -1*(8/(-4) + p). Suppose -2*d = 4*f - 8, d + 2 = 3*f + n. Solve 3*b = -d*b for b.
0
Suppose -5*r = -6*r + 11. Solve r*q - 3*q = -16 for q.
-2
Suppose 0 = 4*d - 12, -4*d = -x - 6 - 1. Suppose 5*h = 5*z - 45, -h + x = -2*h. Let q be (-1)/2*(-6 + z). Solve m = 3 - q for m.
2
Let o(r) = r**3 - 6*r**2 + 9*r - 2. Suppose w + 20 = 6*w. Let b be o(w). Solve 2 + b = 4*a for a.
1
Let c = 25 + -25. Suppose c = -3*k + 7 + 2. Solve u - 12 = -k*u for u.
3
Let i(j) = -j**3 - 7*j**2 + 17*j - 2. Let m be i(-9). Suppose 2*l - m = -3. Solve 0 = -5*a - 8 - l for a.
-2
Let q(u) = u**3. Let n(m) = 6*m**3 - 6*m**2 + 4*m + 5. Let c(b) = -n(b) + 5*q(b). Let o be c(5). Solve o*p - p = 3 for p.
-3
Let y = 505 - 507. Let d(n) be the second derivative of -n**4/12 - n**3/2 - n**2/2 + n. Let z be d(y). Solve h = 2*h - z for h.
1
Let c = 622 - 617. Let s(q) = -4*q**2 - 6*q - q**2 + 6*q**2. Let b be s(7). Solve b = c*w + 27 for w.
-4
Suppose k + 0*k + 2 = -4*t, 0 = 5*k + 4*t - 38. Suppose 30 - k = 10*c. Solve -r = r - c for r.
1
Suppose -22 = -4*l - 6. Suppose -2*u = -0*u + 8. Let f be u - 5/(-1) - 1. Solve -l*r = -f*r - 12 for r.
3
Let z(b) = -4*b + 20. Let s(g) = 7*g - 40. Let a(y) = -3*s(y) - 5*z(y). Let o be a(11). Solve 0*f = 3*f - o for f.
3
Let v = -183 + 195. Solve 0 = 5*n + 32 - v for n.
-4
Suppose 4*k - 39 - 5 = 0. Suppose -k*i = -14*i + 6. Solve -6*u + i*u = 0 for u.
0
Suppose -3*v = 2*i + 62, -3*v + 3*i - 4 = 68. Let d = -22 - v. Solve 0 = -d*n + n - 2 for n.
2
Let v = 10 + -3. Suppose 5*g = v + 13. Let j be 0/(-17) - 8/(-2). Solve 0*i = g*i - j for i.
1
Suppose 0 = 4*p + p. Suppose -14 = -4*u + 6. Let s be (-2)/4 + u/2. Solve p = -x + 2*x + s for x.
-2
Suppose 4*s - 4 = 3*b - 27, -3*b - 2*s = -11. Solve -b*l + 17*l = 48 for l.
4
Suppose 6*b + 365 = -199. Let w = b - -95. Solve -6 = y - w for y.
-5
Let m = -4 + -1. Let c(p) = p**3 + 6*p**2 + 5*p + 2. Let f be c(m). Let o be ((0/1)/3)/4. Solve -s - s - f = o for s.
-1
Let q(t) = 5*t**2 + 30*t + 6. Let y be q(-6). Solve -10 = -y*w + 14 for w.
4
Let i(q) be the second derivative of -q**4/12 + 5*q**3/3 - 6*q**2 + 14*q. Let n be i(8). Solve n*d + d + 25 = 0 for d.
-5
Suppose 3*v - 4 = -v. Let n be -2 + (0 - -5) - v. Solve -n*y - 1 - 1 = 0 for y.
-1
Suppose -4*h = -5*i + 18 + 18, i = 2*h + 6. Suppose -i*d + 121 - 17 = 0. Solve -3 + d = -5*a for a.
-2
Let j(w) = w. Let h(u) = -6*u + 40. Let l(c) = h(c) - 4*j(c). Let s(k) = -3*k + 13. Let v(d) = -2*l(d) + 7*s(d). Let n be v(7). Solve n*m + 0*m = -8 for m.
-2
Let w = 150 + -120. Suppose 35*a - 30*a - w = 0. Solve 3*x - a*x = 0 for x.
0
Suppose -3*j = -168 - 123. Let w = j - 95. Solve -w*z = 2*z + 12 for z.
-3
Let a be (-1)/(-3)*0/24. Solve a = -x + 4*x for x.
0
Suppose -196 - 178 = -11*m. Suppose -31*q = -m*q. Solve q = -k + 2*k + 2 for k.
-2
Suppose -2*h = 3*x - 5, -5*h + 5*x - 38 - 12 = 0. Let m = 7 - h. Solve -d + m = 3*d for d.
3
Let h(q) = q**2 - 8*q + 12. Let z be h(8). Let r = z - 12. Suppose r = -3*m + 1 + 5. Solve 3*n + m = -7 for n.
-3
Let l = 73 - 72. Solve 3 = -i + l for i.
-2
Let o be 3 + 2/((-6)/(-3)). Let z be (-152)/(-32) + 1/o. Suppose 3*i - 38 = -z*u, 0*i + 16 = 3*u - 5*i. Solve 3*t - 8 = u*t for t.
-2
Let x = 45 - 32. Suppose -v = -n + x, -4*v + 0*v + 83 = 5*n. Suppose 0 = -5*m + 4*p + n, -2*p + 3*p + 3 = m. Solve 0 = -2*f + m*f for f.
0
Let l be (-26)/(-6*1/(-3)). Let r(k) = k**2 + 11*k - 21. Let w be r(l). Solve 0 = w*y - 0 + 5 for y.
-1
Let p = 10 - 6. Suppose 15 = 5*r - 5*x, -2*x + 30 = -52*r + 56*r. Solve 0 = -r*d + p*d for d.
0
Suppose 27 - 40 = 3*u + 5*j, 2*j = -10. Solve -u*b - 16 = -32 for b.
4
Let v be (3 - 2)/1 - -20. Let b = -7 + v. Solve -3*q + b = 2 for q.
4
Suppose 20*q - 23*q = 0. Solve q = -4*l + 5*l for l.
0
Suppose 3*n + 2*f - 3 = 35, -3*n = 3*f - 36. Solve 26*r - n*r = 12 for r.
1
Suppose 2*s = 4*t - 3*s - 21, 4*t - s = 17. Let a be (-3)/4 - (-15)/t. Let b be (-3 + 3)/(-1 + a). Solve b = 2*w + 3*w + 15 for w.
-3
Let u = 161 + -156. Suppose -5*d = 3*m - 40, 5*m + u - 45 = -3*d. Solve 0 = m*a + 6 + 4 for a.
-2
Let o = 1 + -1. Solve 16*c - 18*c = o for c.
0
Suppose 27*b = 32*b - 50. Solve b*h + 14 = 3*h for h.
-2
Let t = -29 + 43. Suppose -1 = -5*q + t. Suppose -5*r - 5*h = -4 - 16, 2*r = q*h - 2. Solve 0 = 2*o + r*o for o.
0
Suppose 0 = -106*f + 114*f. Solve f = 2*m - 27 + 29 for m.
-1
Let r be 14*(5 - (-162)/(-42)). Solve 6 = 19*s - r*s for s.
2
Let u(q) = -701 - 9*q + 724 + 0*q - q**2. Let t be u(-11). Solve -l + 0 + t = 0 for l.
1
Suppose 5 + 32 = 2*n + 3*j, 23 = 3*n - 2*j. Solve -n + 3 = 4*r for r.
-2
Let m(z) be the first derivative of -1/4*z**4 + 9 + 9*z - 3*z**2 - 8/3*z**3. Let h be m(-7). Solve 14 - 4 = -h*t for t.
-5
Suppose -4*m + 3 = 3*t, 0 = -t - 4 + 1. Let y = -2 - -4. Suppose -4*l + y*l = 0. Solve l = p + m - 1 for p.
-2
Suppose -5*z + 2*r - 6*r = -30, 2*r - 10 = 0. Solve -3*p = z*p for p.
0
Suppose -21*q + 18 = -66. Solve -q*m - 4 = -0*m for m.
-1
Let j = -1078 + 1089. Solve -5*k = 6 - j for k.
1
Suppose -5*p = -4*f + 1 + 4, 3*f = 5*p. Let d(r) = -r - p*r + 5*r - 2*r + 12. Let k be d(9). Solve k = -q + 1 for q.
-2
Let d(x) = -2*x - 24. Let r be d(-12). Let w be ((1 - 2)*r)/(5 - 4). Solve -s - 2*s - 6 = w for s.
-2
Let q(b) = -9*b + 4. Let a be q(-2). Suppose 0*v - a = -2*h - 2*v, -4*v = -4*h + 12. Solve 0 = h*f - 2*f - 20 for f.
4
Let c(g) = -g**2 + 2*g + 4. Let h be c(0). Suppose -4*q = w, -h*w - w + q = 0. Suppose w = j - 3*j. Solve j = k + 4*k + 15 for k.
-3
Suppose -98*a = -119*a + 231. Solve 15*d - a = 26*d for d.
-1
Let s be 1/(1/2 - 1). L