Let k(s) = -s3 + 5*s2 + s - 2. Let t be k(5). Suppose -3*z - 1 = -d, -30 + 11 = -t*d + z. Solve -d = -f - 2 for f.
5
Suppose 3 = -p + 4. Solve 3*g - p = 5 for g.
2
Let k(y) = -y**2 + 7*y - 3. Let q be k(6). Solve 10 = q*m - 5 for m.
5
Suppose -s + 5*c = -0*c - 27, 3*s = -c + 1. Let m = -11 - -15. Suppose 0 = -m*b - 12, -4*b = l + 4*l - 18. Solve s - l = -4*q for q.
1
Suppose -4*b - 3*z + 45 = 0, 0 = 2*b - 5*z - 79 + 24. Suppose 3*x - 4*u + 20 = 0, 3*u + 0 = -2*x + b. Solve x = 4*n - 0*n + 12 for n.
-3
Let u = 4 - 1. Let o be 0*u/6*1. Solve -4*c + 5*c + 5 = o for c.
-5
Suppose 0 = 4*d + 12, -3*d = 4*a + d + 4. Suppose m - a*q = 6*m - 24, 6 = 3*m + 4*q. Suppose m*o + 5*y = 2*o - 3, 27 = 5*o - 4*y. Solve -o*l - 20 = l for l.
-5
Let w be (-22)/(-12) - (-2)/12. Suppose w*a = -2*a. Solve -2*n + a - 6 = 0 for n.
-3
Suppose -8*k + 9*k = 0. Solve k = m + 5 - 1 for m.
-4
Suppose -3*a - 12 = 0, 0 = -5*q + 5*a - 4*a + 14. Solve -2 = q*h - h for h.
-2