Let z(b) = b**2 - 12*b + 23. Let p be z(10). Solve 0 = -h + p*h + 4 for h.

-2

Let d be (12/(-10))/((-6)/20). Suppose 4*g - 2*y = 0, -6*g = -g + 2*y. Suppose 0 = 5*x + 5*t + 5, 0*t - 3*t - 9 = g. Solve -f + d = -x*f for f.

-4

Let u(i) = -i3 + 9*i2 + 4. Let o be u(9). Solve 0 = 2*q - o - 4 for q.

4

Suppose -5*d + 16 = i - 4*i, -4*d = -5*i - 18. Suppose -5 + 0 = -3*g + 5*j, 4*g + 4*j - 28 = 0. Let m = -3 + g. Solve 3*p = d*p + m for p.

2

Let b(m) = -m + 6. Let j be b(6). Let r be -11-1*2. Suppose 8 + 2 = i. Solve j*s - i = -r*s for s.

5

Suppose 0*f + 6 = 2*d - 3*f, -5*d - 3*f - 6 = 0. Solve 3*j + 5 + 4 = d for j.

-3

Let i(y) = 7*y + 1. Let c be i(1). Suppose 3*g - c = -g. Let m(l) = l**2 - 8*l + 7. Let o be m(7). Solve -g*f = -o*f for f.

0

Let p = 14 - 10. Solve -p*n + 2*n - 2 = 0 for n.

-1

Suppose 3 = g + 1. Suppose 4*u - 2*u = -2*p, -g*u + 3*p = -25. Solve 3 = 2*i - u*i for i.

-1

Let n(z) = z3 - 8*z2 - z + 7. Let a be (-3 - -27)/3*1. Let x be n(a). Let i = x - -9. Solve 4*t = 2*t - i for t.

-4