Suppose -12 = 4*k - 28. Solve 4*x + 0 = k for x.
1
Suppose 6*r - 56 = 2*r. Let n = r + -10. Suppose -3*i = 2*a + 10, 3*a = 4*i - 3 - 12. Solve 0 = 2*m - i - n for m.
2
Suppose 5*d = l - 33, 0*l + 12 = 4*l. Let f = -6 - d. Solve f*m = 3*m for m.
0
Let y(k) = -6*k - 5. Let t be y(-8). Suppose 4*h + q - t = -0*q, -5*h + 2*q + 44 = 0. Solve -j - h = 4*j for j.
-2
Let n = 5 - 1. Solve n*a + 6 = -14 for a.
-5
Suppose 16*r - 7*r - 18 = 0. Let t = 1 + -1. Solve 3*g + r - 11 = t for g.
3
Suppose 0 = -2*u - 0*u. Let s(v) = -2*v - 12. Let z be s(-6). Let f = z - u. Solve f = y - 5*y + 4 for y.
1
Let n be ((-18)/(-12))/(3⁄8). Suppose -2*w = n*o + 8, -4*o + 20 = -3*o - 5*w. Let y = 16 - o. Solve f = -3*f + y for f.
4
Suppose -4*s - 15 = 5, 4*v - 81 = 5*s. Let j = v - 2. Solve a + j = -3*a for a.
-3
Let u = 10 - 10. Suppose u = -5*k + 27 + 18. Solve 0*j = 3*j - k for j.
3