Let v(j) = -j + 12. Let x be v(7). Solve 6*h + x = h for h.
-1
Let h = 6 + -6. Suppose 0*o + 4*o - 24 = h. Solve -l = -4*l + o for l.
2
Suppose 0 = -2*s - 3*s + 25. Suppose c + 5 = -4*d - 7, -s*c - 2*d = -12. Let k = 4 + 0. Solve -8 - c = k*q for q.
-3
Suppose 5*w - 21 = -2*a, -17*w = -21*w + 2a + 6. Let o be (1-2)/(1⁄2). Let h = 8 + o. Solve w*m - h = -m for m.
1
Suppose -z - 112 = -4*m, -3*z - 17 = -2*m + m. Suppose -4*l + 3 = -m. Solve 0*k - 4*k + l = 0 for k.
2
Suppose 5*r - 4 = z, -4*z - z + 5*r - 20 = 0. Let q be -3*z/(-24)*0. Solve q*l - 5*l + 15 = 0 for l.
3
Let p be 2/(2*1⁄4). Suppose 0*x = -p*r - 2*x + 12, -r - 2*x = -3. Solve -r*g = g - 4 for g.
1
Suppose 0 = -5*s + 10 + 15. Solve 0*y - 15 = -s*y for y.
3
Let a = 10 - 6. Suppose -160 = 2*i - 7*i. Suppose a*h + i = 4*l, 2*l = 5*l - 2*h - 19. Solve -10 = l*q - q for q.
-5
Suppose -z + 16 = 3*z. Suppose 3*u - 2*t - 23 = 0, -z*t = 5*u - 3*t - 21. Suppose 0 = 3*g + u*l + 13, -3*l - 40 + 9 = -4*g. Solve -c - 3 = -g for c.
1