Let m = -5 - -8. Solve 3*y - m - 3 = 0 for y.
2
Suppose 0 = 3*v + 3 - 21. Let y be 1 - (-3)/v*22. Solve y + 13 = 5*m for m.
5
Suppose 0 = l + 1 - 3. Let j = 15 + 0. Suppose 2*s - 10 = -2*z, -j = 5*z - l*s - 3*s. Solve -6 = -n - z for n.
5
Let n(s) = -s + 1. Let a be 0-3(-2)/12. Let c be n(a). Solve c + 1 = 2*z for z.
1
Let i(t) = -t3 + 5*t2 - 2*t - 5. Let y be i(4). Let j(k) = -k3 - 6*k2 - 3*k + 7. Let a be j(-5). Let w = a + y. Solve w*l = -2*l - 2 for l.
-1
Suppose 2*n = -n + 3. Suppose a - 8 = n. Solve -5*m - 6 - a = 0 for m.
-3
Suppose 0 = -f - 0*f + 1. Let k be (10/(-6))/(f/(-9)). Solve -1 = -4*v + k for v.
4
Suppose 3*f + 5*s = 2*s + 3, -3*s = 2*f + 1. Solve -f + 2 = -b for b.
2
Suppose -1 = b - 0, 15 = 5*q - 5*b. Let f be (2/(-4))/(q/(-12)). Solve f*d = -7 - 8 for d.
-5
Suppose 27 = 5*k - 13. Solve k = s + 3*s for s.
2