Let t(b) = -b**2 - 3*b + 4. Let d be t(-4). Suppose -2*v + 11 - 3 = d. Suppose v = 5*j + k, 3*j = 2*k - 0 - 8. Solve s + 2*s = j for s.

0

Suppose 0 = -0*r + 2*r - 4. Solve 0*d = r*d - 2 for d.

1

Suppose 5 = -2*z + 3*z. Suppose -3*b - 11 = 4*y, -1 = -z*b - 26. Solve 3*s = 2*s - y for s.

-1

Let h be (-4)/14 - (-23)/7. Let t be (h/(-6)*-4)/(-1). Let y be 0/((0 + -1)*t). Solve -r = -y*r - 2 for r.

2

Let p be (4 - 1) + (3 - 3). Solve 0 = -5*z + 8 - p for z.

1

Let v be 81/(-18)*20/(-6). Solve 0 = -3*m - 2*m - v for m.

-3

Suppose 0 = z - 0*z - 5, 4*z - 11 = m. Suppose 4*d - m*d = 0. Solve d = g + g for g.

0

Let u = -16 - -18. Solve -u*p + 3 + 1 = 0 for p.

2

Suppose -2*g - k + 15 = 0, -5*g + 15 = -g - 3*k. Solve 0*c = 2*c + g for c.

-3

Let k = -1 - -4. Solve -k = 2*b + 5 for b.

-4