Let z = 7 - 1. Solve c = z*c + 20 for c.
-4
Suppose -3*j + 2*n = 2*j - 17, 12 = 3*n. Suppose 6*r = j*r + 3. Suppose 0 = r*b - 6*b + 12. Solve -8 = -b*c - 20 for c.
-3
Suppose 3*q - 14 = 1. Solve 0 = -2*f + 7*f - q for f.
1
Let p = 47 + -46. Suppose -j = -2*j + 9. Let h = j - 5. Solve h = -c + p for c.
-3
Let n = 1 + 4. Solve 0*j - 15 = n*j for j.
-3
Let v = 7 - 3. Let k = 6 - 2. Solve -k = -0*l - v*l for l.
1
Let u(m) = m3 + 7*m2 - 9*m - 3. Let y be u(-8). Suppose 0 = -3*z - y*i + 37, 0 = z - 2*z + 4*i - 16. Solve z*n - n + 6 = 0 for n.
-2
Suppose 4*x - 19 = -5*c - 0*x, 5*c = -2*x + 17. Solve -j = -4*j + c for j.
1
Let t = -11 - -8. Let v = t - -3. Solve 8 = -2*z - v*z for z.
-4
Suppose 0 = 4*j - 7*j + 9. Solve -m = -j*m + 4 for m.
2