Suppose -12 = c + 4*n, c = 4*n - 5*n. Let x be 2 + c - (-6)/(-2). Solve 0*m - x*m = 0 for m.
0
Let u be -1 + (-6)/(-9)*3. Suppose -u - 3 = -b. Solve 0*m = -m + b for m.
4
Suppose 0 = 2*x + x. Solve 0 = -2*r - x + 4 for r.
2
Let s = -1 - -2. Let y = 4 + s. Solve 0 = g - 6*g + y for g.
1
Suppose 0 = -8*c + 81 - 25. Solve -9*r = -c*r for r.
0
Suppose 3*x - 34 = -5*p, -3*x = 2*x + 2*p - 44. Suppose 4*n - x = 2*r, 5*r - 3*n - 24 = -4*n. Solve -r = 2*y + 4 for y.
-4
Let y(k) = 3*k - 220 - 5*k + 4*k + 217. Let i be y(3). Solve 16 = i*x + x for x.
4
Let j = 73 + -73. Solve 5 = -5*c - j*c for c.
-1
Let l = -11 + 3. Let u = -5 - l. Solve -a + u + 0 = 0 for a.
3
Let t be ((-2)/2 - -39) + 1. Let g = -7 + t. Suppose g = -s + 3*s. Solve -8*u + 4*u - s = 0 for u.
-4