Let k(d) = 1 + 3*d - 3*d + 6 + d. Let v be k(5). Solve h + 2*h = v for h.
4
Let s be 4/(-18) - (-56)/9. Solve -4*i + 2 = s for i.
-1
Let r(v) = -v3 - 7*v2 - v - 3. Let q be r(-7). Suppose -30 = 212*m - 217*m. Solve m*n - 2*n = -q for n.
-1
Suppose -2*k = -59 + 53. Solve k*p + 10 - 1 = 0 for p.
-3
Let c(a) = 2*a - 4. Let u be c(3). Let b = 13 - 8. Suppose u*x - b = x. Solve -x*g = -0*g + 15 for g.
-3
Let x(j) = -j3 - 6*j2 - 4*j + 5. Let h = 9 - 14. Let s be x(h). Solve 4*f - 2*f - 10 = s for f.
5
Suppose 2*p + 5 - 13 = 0. Solve -h = -3*h - p for h.
-2
Let n be 2 - (3 + 3)/(-2). Solve 0 = -0*a - a + n for a.
5
Suppose -3*l = 1 - 13. Suppose -5*g + 13 = w, 4*w - 16 = -l*g + 4. Solve -4*b + 2 = -g for b.
1
Suppose -4*v - 11 + 37 = 2*h, 4*v = 2*h - 10. Solve 6*r - h = 3*r for r.
3