Let d be (-5 + 8)*(-7)/3. Let z = -4 - d. Solve -4*s - 13 - z = 0 for s.

-4

Suppose -4*z = z - 5. Let r be z - -1 - 21. Solve r = -3*o - 3 for o.

-1

Let f = -6 - -10. Solve 10 = f*l + l for l.

2

Let v be 6*(-3)/12 - 22/(-4). Solve 3 = v*r + 15 for r.

-3

Let d(t) = -t + 13. Let k be d(10). Suppose 0 = v + k*v. Let i be 2*2/(-1) - -19. Solve -i = -3*m - v for m.

5

Suppose 7 = -3*c - 2. Let m(b) = -b3 - 2*b2 + 3*b + 2. Let v be m©. Solve -v*h - 15 = h for h.

-5

Let k(s) = -s**2 + 12*s - 32. Let p be k(7). Solve 2*t = p*t for t.

0

Let y be (1 + 1 + -8)/(-2). Suppose 0*j = y*j - 33. Suppose -3*c + 8*o = 4*o - j, 2*c + o = 0. Solve -3 = -k - c for k.

2

Let k be (6/(-9))/((-1)/39). Suppose -r - 9 = -3*r - 5*f, 0 = 4*r + 2*f - k. Suppose r + 13 = 5*n. Solve n*t = -t for t.

0

Suppose 0 = -4*c + 2 + 6. Suppose c*k - 6 = -0*k. Let t = 20 + -20. Solve j - 7 + k = t for j.

4