Suppose 3*a + 3 - 30 = 0. Solve -a = -z - 2*z for z.

3

Let u = 23 + -17. Solve 0 = 4*a - 18 + u for a.

3

Let z(m) = 3*m**2 + 1. Let d be z(-1). Suppose 2*n - 10 = -2*w + w, -4*w = 8. Let a = n - d. Solve 0*c + 2 = -a*c for c.

-1

Let w be 42 - (-3)/(6/(-4)). Let l(j) = -2*j. Let b be l(-2). Suppose 0*z - b*z + w = 0. Solve -3*a = -a + z for a.

-5

Suppose -2*w = -w - 2. Suppose 0 = w*v + 1 - 3. Solve h = -0*h - v for h.

-1

Let s be ((-1)/3)/(26). Let q be 3/(-3)*2*s. Suppose 3*t + 3 = t - y, -5*t + 15 = -2*y. Solve -t = -w - q for w.

-1

Let t be 4/(-14) + (-74)/(-14). Let w = -2 + 12. Solve t*d - 5 - w = 0 for d.

3

Let t = -14 + 20. Let n(a) = -a + 7. Let r be n(t). Solve -5*q + r = 6 for q.

-1

Let g = -161 - -166. Solve u + g = -0 for u.

-5

Let w(z) = z**2 + 16*z + 47. Let r be w(-13). Solve -r - 2 = -5*v for v.

2