Let v(a) = -a + 13. Let k be v(10). Suppose -s + 20 = 3*s - k*j, 0 = 2*s + j - 10. Let z(l) = -l. Let d be z(-2). Solve 0 = d*h - 7*h + s for h.

1

Suppose 0 = -7*n - 0 + 14. Solve 2*o = -n*o for o.

0

Let n = 13 + -9. Solve -n*d = -7*d for d.

0

Let z = 16 + -7. Suppose z = 3*b + g, b - 3 - 11 = -4*g. Solve -b*c - 3 = -9 for c.

3

Suppose 0 = -11*c + 4*c + 21. Solve c*y + 2 = -7 for y.

-3

Let x be (-7)/(1 + (-6)/4). Let c = 17 - x. Solve c*u - 1 = 4*u for u.

-1

Let k be 2/((-16)/12 + 2). Suppose -n = -17 - k. Solve -10*o + 5*o = n for o.

-4

Let u(d) = 4*d + 32. Let z be u(-8). Solve -15 = 5*g - z*g for g.

-3

Let g be ((-72)/(-20) - 4) + (-6)/(-15). Solve g = 4*s - 7 + 23 for s.

-4

Suppose -8*l - 5 = -45. Solve -l*o = 24 - 4 for o.

-4