Let h(w) = -w + 10. Let t be h(8). Let v = t - 2. Solve 3*s + v - 15 = 0 for s.

Let y(d) = d**2 + 4*d + 5. Let m be y(-4). Suppose 0 = 3*n - 1 - m. Suppose -k - 5 = -n*k. Solve z = k*z for z.

0

Suppose -2*j = j. Suppose 2*n + 30 = 5*n - 5*h, -4*n = 4*h - 8. Solve j = 4*b + 3 + n for b.

-2

Let m be 2 - 2*⁹⁄₃. Let d = 6 + m. Suppose -d*u + k + 5 = 0, 3*u - 27 = -8*k + 3*k. Solve -u*b + b + 6 = 0 for b.

2

Let r(y) = -y**2 + y. Let o be r(1). Let u(v) = 2*v + 19. Let x be u(-8). Suppose c - x*c + 10 = 0. Solve 15 = -o*p + c*p for p.

3

Suppose -2*q - 2*q - 76 = k, 0 = 4*q - 2*k + 88. Let z = q - -10. Let s = z + 22. Solve -4*v = -4 + s for v.

-2

Suppose -2*v = 4*c - 2*c - 22, -c + 27 = -3*v. Solve c = -3*j - 2*j for j.

-3

Suppose 3*m + 4*v = 32 - 4, 0 = -5*m + 4*v + 4. Suppose -m*x = -7x. Let d be (-3 - -2)(x - 0). Solve 3*q - 1 - 2 = d for q.

1

Let y be (8 + -1)*(-2 + 1). Suppose -v + 4 - 8 = 0. Let i = v - y. Solve l = i*l for l.

0

Suppose x + 17 = 3*z - 4*x, 5*z - 16 = -4*x. Suppose 5*l + 2*j = 26, -j - 8 = -z*l + 5. Solve 0 = -3*n + l*n - 4 for n.

4

Suppose 0 = 2*n - 4 - 0. Solve -n*s = s + 9 for s.

-3