Let o be -3*(1⁄1)/(-1). Solve p + o = 2 for p.
-1
Suppose 10*u - 13*u + 24 = 0. Solve -u = 3*v + 7 for v.
-5
Let r(z) = -z**2 + 3*z + 1. Let p be r(-2). Let w be (-14)/(-4) + p/18. Solve 0 = f - 2*f - w for f.
-3
Let l = 24 - 24. Suppose 131 = 5*i - 79. Let x = i + -18. Solve -5*m - x + 4 = l for m.
-4
Suppose -8 + 2 = -2*v. Solve -v*x = x + 8 for x.
-2
Suppose -15 = -4*c + 3*c. Suppose 0 = 3*d - 24 - c. Let k = -8 + d. Solve 4 = f - k*f for f.
-1
Let z(w) = w3 - 6*w2 + 5*w + 4. Let f be z(5). Suppose 0 = 2*v + f*a - 12, -a - a = -3*v - 6. Solve v = 2*n + 2 + 8 for n.
-5
Let m = 13 + -9. Suppose 0 = -o + m*o. Solve -3*k - 1 + 4 = o for k.
1
Let w be -1 + (-1 - -24) + -2. Solve 0*b + 4*b = w for b.
5
Suppose i - 4*l - 27 = 0, 0*i - 4*l = 4*i - 8. Let v = i - 7. Suppose d - 2*d + 5*k + 15 = v, -5*k = 2*d + 15. Solve d*h - 10 = 2*h for h.
-5