Let a(n) = n**2 + 6n + 6. Let r be a(-6). Let j be 21 + -2(-9)/r. Suppose j = k - 2*p - 1, -p = k - 10. Solve 0*t - 3*t + k = 0 for t.
5
Suppose 0 = -j + 5*j - b - 15, -4*j + 19 = 3*b. Solve 7*x - 3 = j*x for x.
1
Suppose -3*b + 7 + 8 = 0. Let o(z) = z**2 - 5*z + 9. Let m be o(b). Solve -3*h = -0*h + m for h.
-3
Let q = 10 - 6. Solve -q*n = -9*n - 10 for n.
-2
Suppose -8*q = -3*q. Suppose h = -q*h + 4. Solve -h*o = -1 + 9 for o.
-2
Suppose 0 = 4*o - 0*o - 96. Let g be ((-1)/(-2))/(2/o). Suppose -w - w = 0. Solve 3*y - g = -w*y for y.
2
Suppose 2 = n - 0. Solve n*m = m - 3 for m.
-3
Suppose 0 = -3*x - 12, -4*v - x - 2*x = -4. Suppose c - 4*c = -15. Solve -c = -v*g - 13 for g.
-2
Let j(u) be the first derivative of u4⁄4 - 3*u3 + u**2 - 13*u - 6. Let h be j(9). Solve -h*t = -t + 16 for t.
-4
Let a = -72 - -84. Solve 0 + a = -4*v for v.
-3