Let t(y) = -7 - 9*y - 7*y2 - y3 - y**2 - 4. Let f be t(-7). Solve f*h + 4 = -h for h.
-1
Let v be (-24)/10*(-40)/12. Suppose -5*f + 2 + v = 0. Suppose -5*a + 15 = -f*a. Solve -h + 2*h = -a for h.
-5
Suppose 0 = 6*p - p. Solve -n + 5 + p = 0 for n.
5
Let z(w) = -7*w + 8. Let j be z(2). Suppose -s + 4 = -4. Let p = s + j. Solve -u = u - p for u.
1
Suppose 0*y - 5*y = -75. Solve -3*i - 2*i = y for i.
-3
Let p be (-2 - 3)*(-6)/(-5). Let k = 15 + -7. Let m = p + k. Solve -1 - m = j for j.
-3
Suppose 2*p = z - 15, -2*z + 0*p = 5*p + 15. Solve -2 = z*j + 13 for j.
-3
Let r be 1*(2 + 0 + -1). Let h be 3⁄3 + 0 + r. Solve 0 = h*n + 3 - 9 for n.
3
Let u be 0/((3/(-1))/(-3)). Suppose 3 = o + k, 6 + u = 2*o - 4*k. Let y be o/(-6) + 9⁄2. Solve 3*j - j - y = 0 for j.
2
Let x = 6 + -4. Let r = 2 + 1. Solve -3 = -r*u + x*u for u.
3