Let c be (12 - 12)*(-2)/4. Suppose c = -r - 0*r. Solve 4*t - 2*t - 6 = r for t.
3
Suppose -3*m + 8 = -2*m. Solve 8 = -4*g - m for g.
-4
Let n(p) = -2*p - 4. Let r be n(-8). Suppose 4*s - 3 = 2*g - 3*g, -r = s - 4*g. Suppose -6*h + 3*h = -21. Solve 3*m - h*m - 8 = s for m.
-2
Let v(w) = w3 - 7*w2 + 6*w + 4. Let t be v(6). Solve 2*d - 10 = t*d for d.
-5
Let d = -72 - -75. Solve -z - 4 = d*z for z.
-1
Let t(k) = k + 7. Let x be t(-10). Let a be (-17)/x + (-2)/(-6). Suppose -n = n - a. Solve -n*g - 6 = -0 for g.
-2
Suppose 0 = -4*j - 2*t + 4, 2*t + 0*t + 2 = -j. Solve 5*q - 3*q + j = 0 for q.
-1
Suppose 2 = w - 0. Suppose -u - w + 4 = 0. Let x = 0 + 0. Solve v - 3*v + u = x for v.
1
Let t = -3 - -7. Suppose t*a = -2*n + 8, 0 = -4*n + a + 11 - 4. Solve -n*j = j for j.
0
Let m = 5 + -3. Solve l = -m*l + 15 for l.
5