Let y = 42 + -42. Solve y = 2*r - 3*r + 2 for r.
2
Suppose 0 = 3*d - 0*d. Suppose d = -n - 5*p + 29 - 1, 13 = -4*n + 5*p. Solve -7 - n = -5*y for y.
2
Let z be (-4 + 6)/(2⁄2). Suppose -b - 8 = -w - 3*b, 5*b = -z*w + 17. Solve -w*q = -2*q for q.
0
Suppose 4*z + 4 = 5*l - 11, -4*l - 3*z - 19 = 0. Let g = 3 - l. Solve -2*n = 4 + g for n.
-4
Suppose -5*n - 24 = -74. Let x = n - 10. Suppose -h = 2*h - 6. Solve x = -3*l + h*l - 4 for l.
-4
Suppose 5*d - 50 = -2*h, -2*d + 3*d - 2*h - 10 = 0. Solve 5*y - 3*y + d = 0 for y.
-5
Let j = -7 - -11. Solve d = j - 0 for d.
4
Let p = 49 - 37. Solve -4*y + y = -p for y.
4
Suppose 2 = -2*x + 2*m - 0, -5*m = -2*x - 17. Solve 0 = x*u - 4 - 0 for u.
1
Suppose -36 - 92 = -8*m. Solve 8*x = 4*x + m for x.
4