Suppose -21 = -3*z - 15. Solve z*d = -3*d for d.
0
Let c(b) be the first derivative of b3⁄3 + 6*b2 + 3*b + 1. Let y(m) = 3*m + 12. Let v be y(-8). Let o be c(v). Solve -o = 2*t + t for t.
-1
Let r(a) = a + 2. Let d(i) = i3 + 8*i2 + 7*i + 2. Let u be d(-7). Suppose 10 = 5*p, u = w + 3*p - 2*p. Let s be r(w). Solve s*n - 5*n = 12 for n.
-4
Suppose 7 = -3*i - 3*v + 22, -15 = -3*i - 4*v. Let b = i + 0. Solve p - b = -0 for p.
5
Let j = 18 + -15. Solve j*s - 2 = 4*s for s.
-2
Let q(t) = t2. Let p(g) = 2*g3 + 7*g**2 + g + 1. Let w(k) = -p(k) + 6*q(k). Let y(d) = -d - 7. Let u be y(-6). Let s be w(u). Solve s + 3 = -o for o.
-4
Suppose -4*o + 3*o + 5 = 0. Suppose 6*h = 3*x + 3*h - 90, -o*x - 4*h = -177. Let a be x/12 - (-1)/4. Solve a*u + 7 = 1 for u.
-2
Suppose 0 = n + 2*n - 5*f + 6, 4*n - 3*f = -19. Let u = 11 + n. Solve 5*t = u*t - 5 for t.
-5
Let v = 33 + -30. Solve p + 1 = -v for p.
-4
Let i(w) = 3*w2 - 1. Let s(l) = l3 - 6*l**2 + 1. Let g be s(6). Let r be i(g). Solve -4 = r*z - 4*z for z.
2