Let z = 6 + -2. Solve z = u + 5 for u.
-1
Let c = -5 - -5. Suppose -2*k = 4*h - 10, 3*h - 4*k - k + 25 = c. Solve z - 5 = -h*z for z.
5
Let l = 7 + -2. Solve l*x = 3*x for x.
0
Let f = 51 - 51. Solve 0 = -f*b + 3*b + 15 for b.
-5
Let a be 1*-2*1/(-2). Let j = 3 - a. Solve 0*g = -j*g for g.
0
Suppose -70 = -4*s + 2*n, 0 = -2*s - n - 11 + 56. Suppose -6*c + 2*c = -8. Suppose -c = -2*g + 2. Solve -g*m = 2*m - s for m.
5
Let r(h) = -4*h + 11. Let u(j) = -2*j + 5. Let k(x) = 6*r(x) - 13*u(x). Let o be k(-1). Let v be (-1)/(-5) - o/(-5). Solve y + y = v for y.
0
Let n = -1 - -10. Let r = 3 - 0. Solve 0*h - r*h = n for h.
-3
Let y = 18 - 13. Solve o + y = -0 for o.
-5
Suppose 25 = 3*d - w, -3*d - d + 4*w + 28 = 0. Suppose 0 = 12*y - 11 - 1. Solve d = -2*a - y for a.
-5