Let d(w) = -w - 12. Let z(g) = g**2 + g - 5. Let v be z(0). Let c be d(v). Let x = -4 - c. Solve -15 = 2*m + x*m for m.
-3
Let j be -3*-14*1⁄3. Suppose 4*h - 10 = -2*l + j, -4*h = 4*l - 36. Solve 20 = -l*u + u for u.
-4
Let v = -12 - -15. Solve 0 = 2*q + v*q for q.
0
Let i(d) = -d3 + 3*d2 + d + 2. Let g be i(3). Let r(f) = -f**2 + 8*f - 5. Let o be r(g). Suppose 4*b - 8 = 12. Solve -o = -b*v + 10 for v.
4
Suppose 0 = 6*w - 5*w. Suppose 30 = 5*u - w. Suppose 4*q - 17 = 5*y, -15 = -5*q - 3*y - 3. Solve q*g = 3 - u for g.
-1
Let n(u) = -u3 - 3*u2 + 2*u + 6. Let b be n(-3). Suppose -4*d + 23 = 7. Solve -8 = -d*o - b*o for o.
2
Suppose -2*c = -5*b + 3 + 18, -3 = -4*c + b. Let h = 2 + -2. Suppose 10 = 3*o - h*o + 5*v, c*o + 4*v - 8 = 0. Solve o = a + 3*a for a.
0
Suppose 0*z + z = 0. Suppose z*b = 4*b. Suppose 0 = -4*r + r. Solve r = -b*q - 3*q for q.
0
Let n be 186⁄15 - 8⁄20. Solve 8 = -5*p - n for p.
-4
Suppose -5*d - 3*z - 2*z + 55 = 0, 0 = -4*d + 3*z + 9. Solve -3 = -3*u - d for u.
-1