Suppose 3*v - 7*v + 6 = 2*a, -2 = -2*a. Let c be (-5)/2*12/(-10). Solve c*u - 4 = -v for u.
1
Suppose -4*k + 7 = n, 2 = 3*k + 4*n - 13. Solve 2*m - m - k = 0 for m.
1
Let i(a) = -2*a + 1. Suppose 0 - 42 = -2*l - 4*s, 5*l - 61 = s. Suppose -2*x - l = 3*v, v + 7 = -5*x - 6. Let u be i(x). Solve u = -2*c + 1 for c.
-2
Suppose 10 = -5*s - 40. Let t = -1 - s. Solve o = 4*o + t for o.
-3
Let b = 10 + -7. Let p be (0/(b/3))/1. Solve j - 2*j = p for j.
0
Suppose 3*c - 5 = 5*v, -2*c = -v - 7 - 1. Suppose 4*x + 5*u + 20 = 0, v*x + u + u = -8. Suppose z - 9 = -3. Solve x = -z*o + o - 25 for o.
-5
Let i = -28 - -29. Let m(k) = 2*k - 2. Let u be m(2). Solve u*f = f - i for f.
-1
Let h = -17 + 20. Suppose f = -1 + h. Solve f*v = -3*v - 5 for v.
-1
Suppose -3*d = -8*d - 3*f - 10, 5 = -2*d - f. Let w = 11 + -16. Let o = w - d. Solve j + j + 8 = o for j.
-4
Let j = 0 - -2. Let c be j*1 - (-1 + 0). Let y = 198 + -196. Solve y*v - v = c for v.
3