Let r(k) = -k**2 + 8*k + 12. Let h be r(9). Suppose 0 = 6*t - h*t. Suppose t = y + 2*a + 4, 4*y - 4 = a - 4*a. Solve y = -2*z - 0 for z.
-2
Let s = -1 + 5. Suppose -5*w - 24 = -s. Let q be w/14 + 23⁄7. Solve q*t + t = -16 for t.
-4
Let h(v) = 2*v**2 - 3*v + 1. Suppose 4*q + 2*r = 7*r + 23, q - 3*r = 11. Let x be h(q). Solve 3*j = 12 - x for j.
3
Let c(h) = -h - 1. Let x be c(1). Let k(u) = -u - 2. Let g be k(x). Solve 0 = r - g*r - 4 for r.
4
Suppose 4*o = 7*o - 9. Solve -o*h - 2 = -4*h for h.
2
Let r(h) = -h3 - 3*h2 + 3*h. Let q be r(-3). Let f = q - -9. Solve f = 2*c + 9 - 1 for c.
-4
Suppose -2*g + g = -2. Suppose -6*j + 40 = -g*j. Let v be (1/(-1))/((-2)/j). Solve -v*w - 15 = -0 for w.
-3
Suppose 4*r - 18 = -c, 3*r = -3*c + 15 - 6. Solve -r*g + 7 = -3 for g.
2
Let c(z) be the second derivative of -z4⁄12 + z3⁄3 + 3*z**2⁄2 - z. Let f = 12 + -9. Let s be c(f). Solve s = 3*r - 2*r - 3 for r.
3
Let r be (-2)/(10⁄3)*-15. Let v = 1 - 0. Solve 4*j - r = -v for j.
2