Suppose 6*c + 40 = 2*c. Let z = -8 - c. Solve -7*r = -z*r + 10 for r.
-2
Let j(n) = n + 9. Let h be j(-6). Let r(k) = -k + 10. Let v be r(7). Solve v*o - 2*o = h for o.
3
Let i be 3/(-6) + (4⁄8)/1. Solve i = 3*h - 4*h - 5 for h.
-5
Suppose 3*q + q = 12. Solve -3*f = -q - 0 for f.
1
Let i(p) = p**2 - 4*p - 17. Let l be i(7). Solve -l*g + 5 = -3 for g.
2
Let v = -11 - -13. Suppose -5 = q - v*q. Solve 5*o - q + 0 = 0 for o.
1
Suppose 3*d + 25 = 8*d. Suppose 3*t = 9, -d*i + 2*t + 17 = t. Solve -2 = i*p - 22 for p.
5
Suppose -3*q = -8*q - 15. Let k be q/(-15) + 2/(-10). Suppose k = -2*u - 2*u + 12. Solve -u*n + 0 = -6 for n.
2
Let n(t) = 4*t3 - t2 + 1. Let w be n(1). Suppose -3*v = -11 - w. Suppose -v = -5*x + 20. Solve -x*f = -4*f - 4 for f.
4
Let n = -2 + 47. Suppose -z + 4*f = -24, -3*f = -5*z + 24 + n. Solve -y - z = 2*y for y.
-4