Let x = 23 - 10. Let f = x - 8. Solve 20 = h - f*h for h.

-5

Let q(b) = -1 + b + 1 + 0 + 5 - b**2. Let u be q(0). Solve 0 = u*v + 10 for v.

-2

Suppose 4*m + 280 + 56 = 0. Let r be m/(-22) + 422. Solve 4 = -0*p - r*p for p.

-1

Suppose -5*h + 3 = -17. Suppose 2*o = -0*r - h*r, -2*o = -5*r + 18. Solve -7 = -5*l - r for l.

1

Suppose -15 = -2*y - 3*l, 3*l + 11 = 2*y + 2*l. Let k = y + -2. Solve -k + 2 = 2*t for t.

-1

Let k(z) = -2*z**2 - 2*z + 3. Let c be k(2). Let i = -6 - c. Solve -5*s = -i*s + 10 for s.

-5

Suppose -5*v + 17 = -3*f, -v + f - 3*f + 6 = 0. Let l be (-2)/7 - (-2)/7. Let t = l + 5. Solve 1 = t*z - v for z.

1

Let r(v) = 0*v3 - 9 - 12*v + 6*v2 + 2*v + v3. Let a be r(-7). Let o(h) = -h3 + 12*h**2 + 2*h - 16. Let j be o(a). Solve -n - j = n for n.

-4

Let q = -4 + 7. Solve -q*d = -3 - 0 for d.

1

Let q be (-1)/4 - (-12)/48. Solve q*h = h - 2 for h.

2