Let c(d) = -10*d3 - d2 - 2*d - 1. Let b(f) = -f3 + 5*f2 - f + 4. Let g be b(5). Let p be c(g). Solve 4*x - p = -x for x.
2
Let c = -15 + 27. Let r be ((-2)/(-4))/(2/c). Solve r*a - 8 = -a for a.
2
Suppose 15 = 4*v - 13. Suppose 0 = -4*x + v + 5. Suppose -f = 5*k - 101, -x*k - 3*f + 80 = 17. Solve 0*a = -4*a - k for a.
-5
Suppose 0 = 5*q - 3 - 22. Suppose 3*c - 11 = 2*g + 9, -3*c = q*g + 8. Let w = 4 - c. Solve -2*f - 3*f - 25 = w for f.
-5
Let w be -1*(-7)/(7⁄2). Solve 0*l - 4 = -w*l for l.
2
Let v be 3/(-12) - (-1)/4. Suppose -4*w + 4 = -v*w. Solve -2*u = -1 - w for u.
1
Suppose -3*c = -2*f + 5, -3*f + 2 = -2*c - 8. Let y = c + 0. Solve -r - y + 3 = 0 for r.
2
Let y be 4/(0 + 2) + -1*1. Solve y + 3 = 2*u for u.
2
Let k(z) = 3*z2 + 13*z - 9. Let m(d) = -2*d2 - 7*d + 5. Let h© = -3*k© - 5*m©. Let g be h(4). Let s be (-9)/2*4/(-2). Solve -g*r = -s + 3 for r.
3
Suppose 0 = q + 23 - 28. Solve -5*y + 4*y = -q for y.
5