Suppose -4*a + 12 - 32 = -3*k, 2*a = -k. Suppose 0 = 2*x - k. Solve -l = -0*l - x for l.
2
Suppose -v + 2*a + 4 = 0, 0 = -3*v - 2*v + a + 29. Solve 0 = -4*q + v + 2 for q.
2
Let i = 0 + 0. Solve -q + 5 = -i for q.
5
Suppose -u + 28 = -4*w, 5*w - 29 + 1 = -4*u. Solve 0 = 5*f - 2*f + u for f.
-4
Let v = 3 - 3. Suppose v = 2*j - 6 - 2. Solve -2 = 2*x + j for x.
-3
Let z(k) = -2*k + 19. Let m be z(7). Let w = -2 - -2. Solve w = n - 0 - m for n.
5
Suppose -c + 1 + 4 = -4*o, 2*c - 4*o - 10 = 0. Solve -3*t = -c - 1 for t.
2
Suppose 1 - 1 = -13*n. Solve n = -0*w + 4*w for w.
0
Suppose -a - 2 = 5*x - 27, -25 = -3*a - 5*x. Suppose -4*z - z = a. Solve -g + 3 + 2 = z for g.
5
Let z = -10 + 15. Suppose z*h + 2*u = -33, -3*u + 27 = -4*h - 4*u. Let i(n) = n3 + 7*n2 - n - 6. Let r be i(h). Solve -2*a = -3*a - r for a.
-1