Let a = -13 - -33. Suppose 0 = 2*n + 3*n - a. Let c = -4 + n. Solve 2*w - 10 = -c for w.
5
Let x© = c3 - 3*c2 - 5*c + 6. Let m be x(4). Suppose 14 = -3*f + m. Let j = 4 + f. Solve w - 3 = -j for w.
3
Let t(z) = -z**3 + 2*z. Let x be t(2). Let d = 6 + x. Solve 1 = -d*c - 5 for c.
-3
Let u(s) be the third derivative of s4⁄24 + s3⁄2 - s**2. Let z be u(0). Solve -2*y = -3*y + z for y.
3
Let k(h) = h3 - 6*h2 + 5*h + 1. Let l be k(5). Solve 5*d - l = -11 for d.
-2
Let k = 22 + -14. Let n be 3/(0 + 6/k). Suppose -n*w + 51 = -37. Solve w - 2 = -4*f for f.
-5
Let l be (-2 - -5)/(6⁄236). Let a be 12⁄60 + l/10. Solve -a = 5*o - 32 for o.
4
Suppose -5*i + 9 + 11 = 0. Suppose 0*t - 4*d = -i*t - 16, -3*t + 18 = 3*d. Solve -3*z + 2 = -t for z.
1
Suppose 0 = i - 0 - 8. Let a be 14/i*(2 + 2). Suppose 2*y + a = 5*j - 1, -5*j = -3*y - 7. Solve 2*t = 6 + j for t.
4
Let m = 34 - 34. Solve 1 = s - m for s.
1