Let r(k) = k**2 + 4*k + 5. Let c be r(-3). Solve 0 = 5*w + c + 13 for w.
-3
Suppose 0*j = -3*j. Solve -5*c + c - 20 = j for c.
-5
Let b = 21 - 10. Solve 0 = -4*m - b - 9 for m.
-5
Suppose 3*j = 2*j - s - 3, 3*j + 14 = -4*s. Solve 0 = -c + j*c for c.
0
Suppose 5*v - 4*o = -6, -3*o - 6 = 2*v - o. Let t = 2 + v. Solve -4*d - 9 - 3 = t for d.
-3
Let q = 0 + 4. Suppose -q*p = -p + 9. Let i = 3 + p. Solve -2*o + 0*o - 10 = i for o.
-5
Let z be 12⁄5 - 10⁄25. Solve 4*n - z*n + 2 = 0 for n.
-1
Suppose y + 3*x - 9 = 8, -4*y = -2*x - 138. Let b = y - 20. Solve f - 4*f = -b for f.
4
Let u = 10 + -1. Solve -4*x - 11 = u for x.
-5
Suppose k + 16 = 3*k. Let f(g) = -g**2 + 9*g - 6. Let x be f(5). Suppose -u = 6*u - x. Solve 0 = 3*w + k - u for w.
-2