Let d(y) = y3 + 7*y2 + y + 3. Let f be d(-7). Let w = -1 - f. Let j = -2 + w. Solve 5 - j = -p for p.
-4
Let t be (2 + -1)*1*4. Let c be t/(-10) - 4/(-10). Suppose 5*s - 3 = 12, 5*s = -2*y + 17. Solve 4*r - y + 17 = c for r.
-4
Let j(z) = -z3 + 6*z2 - 3*z - 7. Let b be j(5). Solve -7*h - 20 = -b*h for h.
-5
Let h be (-1)/((-3)/(207/(-3))). Let o = h - -44. Solve 4*p - 5 = -o for p.
-4
Suppose 0 - 2 = -2*h. Let w be -2 + (0/h - -2). Suppose 4*z = -4*q - 0*q + 40, -23 = -5*q + 4*z. Solve -2*s - 1 - q = w for s.
-4
Let d(u) = u + 2 - 2*u - 1. Suppose -k + 0*k + 5 = -5*i, 15 = -3*i + 3*k. Let z be d(i). Solve 0*m = m + z for m.
-1
Let u = 8 - 5. Solve -4*s - 1 = u for s.
-1
Suppose -3*l + 4 = -l. Suppose 0 = 4*a - 3*k - 78, -2*k - 32 = -l*a - 4*k. Let u be (-2)/(-4)*a/3. Solve 0 = 4*q - u*q for q.
0
Let f = 15 - 15. Solve f*u - u = 2 for u.
-2
Let c = 44 + -24. Solve 2*q + 3*q = c for q.
4