Let z be 8 + -4 + -3 + 3. Solve -2*h - z + 2 = 0 for h.
-1
Suppose 0 = -2*v + 7*v + 15. Let u = 0 - v. Solve u*k + 1 = -2 for k.
-1
Let u(l) = -l3 + 7*l2 - 5l - 1. Let q be u(6). Let k be (-1 + -2)(4 - 5). Suppose q*y - k - 12 = 0. Solve 0 = -y*j - 3 - 3 for j.
-2
Suppose -2*d - f - 10 = 4*f, 0 = -2*d + 4*f + 8. Suppose d = 3*c - 2*o - 1, 4 = 2*o - 4. Let u(a) = -a + 1. Let l be u(-1). Solve -k - c = -l*k for k.
3
Let j(s) = s3 - s2 - s + 1. Let d(k) = 5*k3 - k2 - 5*k + 4. Let m(b) = d(b) - 6*j(b). Let l be m(5). Let i = 6 + -4. Solve -i*g - 1 + l = 0 for g.
1
Let b(j) = j3 + 12*j2 + 12*j + 13. Let f be b(-11). Solve k + f*k = -3 for k.
-1
Let p(x) = x + 8. Suppose -m - 25 = 4*m. Let r be p(m). Solve -d - r = -2 for d.
-1
Let q be ((6⁄4)/(-1))/((-2)/20). Solve 6*r = r + q for r.
3
Let m = -35 + 39. Solve j = -m - 1 for j.
-5
Let d = -4 + 7. Suppose 0*b - d*b = 0. Solve -5*q + 10 + 5 = b for q.
3