Suppose -16 = 5*n - 11. Let f = 3 + n. Solve 5*k + f = -8 for k.
-2
Suppose -5*s + s = -8. Solve -3*p = s*p + 5 for p.
-1
Suppose 3*c - 10 = 2*p, 4*c - 3*p - 1 = 3*c. Solve c*q - 4 = 2*q for q.
2
Let w(k) = 3*k. Let v be w(-1). Let z = v + 5. Suppose 0 = -x - 3*s + z, 3*x = 4*s + s + 6. Solve x*r = -0 - 2 for r.
-1
Let o = -56 + 60. Solve -o*j - 2 = 2 for j.
-1
Suppose 2*j + 51 = 7*b - 2*b, -5*j - 34 = -4*b. Suppose -z + b = 9. Solve z*i + 8 = -2 for i.
-5
Let b = -36 + 36. Solve 4*n + 1 + 3 = b for n.
-1
Let d© = -c3 + 5*c2 - 4. Let r be (6⁄4 + -2)*-8. Let v be d®. Suppose v = 2*u + u. Solve 2 + 14 = -u*w for w.
-4
Let m = -27 - -15. Let g be (m/5)/((-2)/15). Suppose 0 = 3*n - g. Solve 4*x + 10 + n = 0 for x.
-4
Let t be (-3)/2*(-44)/33 - -18. Solve 5 - t = -5*g for g.
3