Let g = -6 + 9. Suppose -c = g*c - 16. Solve 0 = c*j - 21 + 1 for j.
5
Suppose 0*y + 8 = -4*y. Let v = 6 + y. Solve -v*h = h for h.
0
Let z = 1 + 1. Suppose h - 17 = -x, -3 = -z*x + 1. Solve 2*p = -p + h for p.
5
Let d(a) = -4 + 1 + 8 + a. Let s be d(-5). Let l(g) = -g3 + 5*g2 + 5*g + 6. Let t be l(6). Solve -3*k + 6 + t = s for k.
2
Suppose 3*n - 75 = -3*g + 6*n, -5*g - 3*n + 85 = 0. Solve -g + 5 = -5*u for u.
3
Let u(z) = z3 + 0*z2 - 6*z - 3*z3 + 6*z2 + z**3 + 7. Let j be u(5). Solve j*p + p = 0 for p.
0
Suppose 0 = -5*g - 1 + 11. Solve g = a + a for a.
1
Suppose -3*u - 12 = -4*g, -3*u + 8 + 4 = 4*g. Suppose 2*m = -u*y + y + 2, 4*m + 4*y = 4. Solve 10 = -3*q + m for q.
-3
Let x(w) = -w3 - 2*w2 - 2*w - 1. Let n be x(-1). Let h(z) = z. Let r be h(n). Solve r = -4*o - o - 15 for o.
-3
Let w(q) = 3*q + 48. Let v be w(-15). Solve -5*u + 22 = -v for u.
5