Let k® = -2*r - 4. Let s be k(-3). Solve 10 = -s*m - 3*m for m.
-2
Suppose 5*s + 2 = 27. Suppose -3*v + 16 = -8. Solve -r = -s*r + v for r.
2
Let d = 9 + -4. Suppose -2*l + 6*l + 16 = -x, -4*x = l + 4. Solve d*r - r = x for r.
0
Let y be (1 - (-9)/(-6))*-2. Let z be 2 + (-3 + y)*1. Solve -l = -z*l for l.
0
Suppose -12 = -5*n + n. Suppose l + n = 2*l. Solve -8*f = -l*f + 25 for f.
-5
Suppose 3*x - 3*r = 0, -1 = 3*x - 4*r + 3. Suppose 118 = 5*k - 3*i, -5*k + 110 = -0*i + 5*i. Solve 7 = -x*w + k for w.
4
Let d = 9 - 7. Solve -d*k - 3 - 1 = 0 for k.
-2
Let s = 19 + -7. Suppose -4*w = -0*w + s. Let j be (w - 1)/(-5 + 3). Solve 2 = -3*k + j*k for k.
-2
Suppose 0 = -b + 4*b - c + 4, 0 = -2*c + 8. Let j = -5 - b. Let p be (4 + j)/((-1)/2). Solve 0*d = p*d + 6 for d.
-3
Let z = 0 - 0. Let f = z - -2. Solve f = -g + 7 for g.
5