Let g = 30 - 18. Solve -v + 5*v = -g for v.

-3

Suppose 0 = d - h - 2, -4*h - 2 = -2*d - d. Suppose -o + 2*o = 2. Suppose -b + 3*p + p = -12, 5*b + o*p + d = 0. Solve b = -t - 4*t for t.

0

Suppose -4*b = -5*b. Solve -3*s + b*s = 9 for s.

-3

Let k(h) = -7*h - 6. Let z(t) = t3 + 5*t2 - 6*t - 7. Let u be z(-6). Let d be k(u). Suppose 0 = -5*j - n + 33, 5*j - d = 3*n + n. Solve -2*l = -j*l for l.

0

Suppose -t = -0 + 4. Let w = t + 8. Suppose -5*s + 21 = -w. Solve g = s*g - 8 for g.

2

Let v be 0 - 1 - (2 - 2). Let d = v + 11. Solve 0 = -3*b - d + 1 for b.

-3

Suppose -6*m - 25 = -43. Solve -1 = 2*z - m for z.

1

Suppose 0 = x - 0*x - 7. Let j = x + -4. Solve -n + j*n = 4 for n.

2

Let d = 8 + -8. Solve d*v - 12 = 4*v for v.

-3

Suppose -f - 4*f + 15 = 0, 4*r - 2*f = 2. Solve -15 = -r*l - l for l.

5