Let j(u) = -u**2 + 4*u + 22. Let i be j(7). Solve -3*a + 2*a = -i for a.
1
Suppose -3*k + 26 = 2*k + 3*s, -4*k - s + 25 = 0. Let t be 5⁄3 - 12/(-36). Suppose -k = -t*h - 1. Solve -h*r - 2 = -r for r.
-1
Suppose 1 + 4 = -5*c, -2*t - 1 = c. Solve k + 1 + 0 = t for k.
-1
Suppose -2*g = -11 - 1. Suppose s - 5*o + g = -2, -3*s - 2o = 7. Let w be s + -3(-1 + 0). Solve n + n = w for n.
0
Suppose 6*w - 3*w = -2*n + 85, -2*w + 66 = -n. Let s = w - 22. Let r = -7 + s. Solve -15 = -3*i - r*i for i.
3
Let y(v) be the first derivative of -v4⁄4 - 2*v3 - 7*v**2⁄2 - 4*v - 5. Let g be y(-5). Solve 4*c = 6 + g for c.
3
Let n(l) = 36*l**3 - l. Let h be n(1). Let r be (-9)/(-7) - 10/h. Solve -3*w - 8 = r for w.
-3
Let b be 8/(-14) - -18*2⁄14. Solve m + 6 = -b*m for m.
-2
Let t(a) = a3 + 16*a2 + 15*a + 2. Let v be t(-15). Solve -m - 6 = -v for m.
-4
Let p(h) = 4*h - 12. Let t be p(7). Let l(y) = 3*y. Let f be l(1). Suppose 0 = -c, w + f*c = -w. Solve w = z - 5*z + t for z.
4