Let s = 2 + -56. Let y be ((-2)/3)/(12/s). Suppose y*z = z + 2. Solve z + 7 = 4*h for h.
2
Let z = 8 + -4. Suppose -5*w = -2*t - 6, -t = 5*w + t - 14. Solve w*h - 4 = z for h.
4
Let d be 4/(-16) - 2/(-8). Let z = 2 - d. Solve l = z*l - 1 for l.
1
Suppose -5*s = 4*u + 6 + 10, 3*u + 4*s + 13 = 0. Let y be (2/u)/(2⁄7). Solve -19 = -4*d - y for d.
3
Let f = -1 - -5. Suppose 0 = -f*w + 11 + 5. Solve g - w*g = -15 for g.
5
Let n be 6⁄3 + 0 - -9. Let k = n + -7. Let o be (2 - k)*(-10)/4. Solve -o*t = -2 - 13 for t.
3
Let w(v) = 4*v**2 - 20*v + 8. Let m be w(6). Solve -4*y + 12 = m for y.
-5
Let w = 45 - 41. Solve -p - w + 3 = 0 for p.
-1
Let u = 1 + 4. Suppose -u*m + 11 + 9 = 0. Solve 3*k = -m - 11 for k.
-5
Let j be 18⁄4 + 5/(-10). Suppose 0 = -j*l + 2*l - 3*z + 9, -4*z + 12 = 0. Suppose l = 4*o + o + 5*b - 25, -2*o = 4*b - 16. Solve -o*n - 8 + 0 = 0 for n.
-4