Let b = 12 + -17. Let g = b + 7. Solve -d + g = 3 for d.

-1

Let w = 4 - -3. Let d = w + -8. Let r be 1*(1 - -3) - d. Solve 2*f = f - r for f.

-5

Let n(z) = z - 3 - 6 - 4*z. Let i be n(-6). Let w = i + 1. Solve -f - f - w = 0 for f.

-5

Suppose i + 0*i = 2. Suppose 5*n - 31 = -2*r + 174, 0 = n + 5*r - 18. Let w = -23 + n. Solve -i*o - 3*o = w for o.

-4

Let a = -15 + 35. Suppose 2 = 5*u - 2*y - 0, 0 = -3*u + 3*y + 3. Solve c - 5*c - a = u for c.

-5

Let y be (-2 + 1)/(2/(-10)). Suppose 5 = y*g - 0. Suppose -2 = -2*d + 3*d, 3*d = 4*p - 26. Solve g - 6 = -p*b for b.

1

Let r = 0 - -2. Suppose 0 = -7*g + 3*g - 3*d + 15, -r*d = -2. Solve g*t = -t for t.

0

Let l(m) = -5*m - 23. Let h be l(-5). Solve 2 = -2*y - h for y.

-2

Let c = -15 + 15. Suppose b + 4*y + 4 = 0, 0*y - 4*y = -2*b + 16. Suppose -2*x - 16 = -b*x. Solve c*u + 2*u + x = 0 for u.

-4

Let b(g) = -g**2 + 15*g - 9. Let k be b(14). Solve 2 = -x + k for x.

3