Let v(d) = d3 + 6*d2 + 4*d + 4. Let f be 2/(-8) + 15/(-4). Let g be v(f). Solve 0*t - 5*t + g = 0 for t.
4
Suppose -2*d = 4*d. Suppose 3*v - 2 = 7. Solve v*f + 2*f - 10 = d for f.
2
Let j(s) = -s3 + 4*s2 + 5. Suppose 5*b = -0*b + 20. Let f be j(b). Suppose -w = 1, 3*q - 5*q + 5*w = -f. Solve -2*k - 6 = -q*k for k.
-3
Let x(w) = w - 11. Let g be x(13). Suppose m - 7 = -g. Solve 8 = -m*n - 2 for n.
-2
Let i = -44 + 46. Solve -i*b = b for b.
0
Let v = 12 - 9. Let h = -3 + v. Solve 3 + h = 3*m for m.
1
Let a(z) = z3 - 7*z2 + z - 4. Let w be a(7). Solve w*d + 8 = d for d.
-4
Let s(v) = 5*v2 + 1. Let y(d) = 2*d2 + d + 3. Let r be y(-3). Suppose -2*c = 5*w + r, 3*c + 0*w + w = -1. Let b be s©. Solve -2*p + b = -0*p for p.
3
Let g(n) = -n3 - 5*n2 - 4*n - 5. Let m be g(-5). Solve 4*z = -z - m for z.
-3
Let h(g) = -5*g - 17. Let m be h(-4). Solve b - m*b = -6 for b.
3