Let b be (7 - 0)*(0 + 1). Let q(f) = -7*f3 + 7*f2 + 5*f + 15. Let t(v) = v**3 - v - 1. Let a(p) = q(p) + 6*t(p). Let i be a(b). Solve -4*d + i*d = 8 for d.

-4

Suppose 2*o + 0 = 8. Suppose -t - 3*t = 3*p - 32, o*t - 16 = p. Solve -p*j + 6*j - 6 = 0 for j.

3

Let w(j) = -25*j. Suppose 8 = -3*b - h, 0 = -b + 2*b - 2*h - 9. Let n be w(b). Solve 2*p = 7*p + n for p.

-5

Let k(b) = b - 4. Let s be k(6). Let j = -7 + 10. Solve j = s*g - g for g.

3

Let g(d) = 2*d + 2. Suppose t = -n - 4, -3*n + 0*t = t + 10. Let h be g(n). Let c = 6 + h. Solve 4*b + 2 = -c for b.

-1

Let b = 13 + -10. Suppose -w + b*w = 4. Solve -w*q = -8 - 2 for q.

5

Suppose 2*h + 5*w - 8 = 0, h - 4*w + 12 = -10. Let o = 15 - 9. Let u = h + o. Solve -2*l - 3*l - 5 = u for l.

-1

Let c = 3 + -1. Suppose -c*m = -6*m + 8. Solve 0 + m = -2*k for k.

-1

Suppose 4*d - 15 = -d. Solve d = -5*z + 28 for z.

5

Suppose -5*q + 8 = -4*u + 2*u, 20 = 3*q - 5*u. Solve -4*n + 8 = -q*n for n.

2