Let t be -4*(2/(-4))/(-1). Let d = t + 5. Solve 3 = d*h - 0*h for h.
1
Let j = -57 + 63. Solve -4 = j*u - 2*u for u.
-1
Suppose 3*v = 2*v + 5. Suppose 25 = -v*w, 4*c + 3*w = -4 - 3. Solve -3 = -c*h + 3 for h.
3
Let t = 10 - 6. Suppose t*w - 16 = -4. Suppose -3*h + 0 = -w. Solve -3 = -2*p - h for p.
1
Suppose 4*r + 2*v = 2, 0 = -r - 3*v - 2. Solve a + r = -0 for a.
-1
Suppose -4*d = -i - 5, 0*i + 5*d = -2*i + 16. Solve 0 = -i*h + 2 - 14 for h.
-4
Let d be (-1 - -5)*9/((-54)/(-6)). Solve 0 = 4*x + d + 12 for x.
-4
Suppose 2*h + 2*h - 28 = 0. Suppose 3*g - h*a - 37 = -2*a, -4*a = g + 16. Solve -25 = x + g*x for x.
-5
Let a(b) = b**2 - 12*b + 8. Let y be a(12). Solve -2*n + 2 = y for n.
-3
Let s be 0 - (-3)/((-6)/(-4)). Suppose u = -s*u. Solve 4*g + 4 = -u for g.
-1