Let u be 210 + 145. Suppose -u*t = -9*t. Solve d + d = t for d.

0

Suppose 4 = n - 13. Suppose -3*d = -16 - n. Suppose 9 + d = 2*b + 4*g, -3*b = -5*g + 25. Solve b = -p - p - 6 for p.

-3

Let l = 29 + -20. Suppose 0 = -5*i, 0 = -3*p - 2*i + l + 6. Solve 0 = p*z - 5 + 20 for z.

-3

Let h = -29 + 33. Solve -y - h*y - 15 = 0 for y.

-3

Suppose 60 = 3*m + m. Let o = -12 + m. Solve -x + 8 = -o*x for x.

-4

Let o(u) = u + 1. Let k be o(1). Suppose 3*b = -k*b + 20. Solve 0*p = b*p + 16 for p.

-4

Let v be ((-30)/(-9))/(23). Suppose -2*r + v = -5. Solve -3*z = -r*z + 8 for z.

4

Let c = -12 + 26. Suppose -4*w - 2 = -18. Solve -34 = w*b - c for b.

-5

Let v(k) = 4*k + 12. Let c(p) = -3*p - 8. Let x(f) = -7*c(f) - 5*v(f). Let i be 1/(-2) + 516. Let h be x(i). Solve -2*g = -h*g for g.

0

Let i = -1 + -11. Let q = i - -30. Solve -q + 6 = -4*d for d.

3