Let y = -2 + 7. Suppose -k = 3*t - 10, -3*t + 0*t - y*k = -26. Solve t*c - 5 = -1 for c.
2
Suppose -5*d + 12 = 5*q - 13, -5*d = 3*q - 7. Suppose 4*f + 3*p - 20 = -p, -5*p = 0. Suppose 4*u = -f*k + 7 + 15, k - 17 = -5*u. Solve k*y - 1 = -q for y.
-4
Suppose -4*t = -22 + 6. Solve -2*k = -t*k + 4 for k.
2
Suppose -554*u = -548*u. Suppose 58 = 5*y - 3*y. Solve -5*n + y - 4 = u for n.
5
Suppose 8 = 2*f - 8. Let s = f + -8. Solve s = 2*b - 5*b - 6 for b.
-2
Suppose -61*p = -63*p + 40. Solve 0*j = 4*j - p for j.
5
Let p = 2 + -5. Let b be (-6)/((-15)/(-6) + p). Solve -2*y - b = 2*y for y.
-3
Let z be (0 + -1 + 1)*1. Suppose -x - 6 = -3*v - z, 2*x + 2*v = 12. Solve 0 = 2*n + x*n + 5 for n.
-1
Let q = 44 + -42. Solve -m + q = 6 for m.
-4
Let g = -62 + 62. Solve -r - r + 2 = g for r.
1