Let w(k) = k. Let i be w(5). Suppose -1 = a + v - i, 4*a - 10 = -2*v. Let b be -1a(-3 + 0). Solve -d = b*d for d.

0

Let q = -23 - -25. Solve -t + 5 = q for t.

3

Let d be 6021 - 2/(-14). Solve d*k + k + 12 = 0 for k.

-3

Suppose -32 + 12 = -5*d. Solve -d*k - 15 - 1 = 0 for k.

-4

Let h be -3*-1*11. Let t be 1 - 0 - (3 - h). Solve -t = 5*b - 16 for b.

3

Let g(j) = j2 + 5 - 4*j + 0*j2 - 3. Let y be g(4). Let c be 1*-2 + (-14)/(-2). Solve -c*h = -y*h - 3 for h.

1

Suppose 4*c - m - 1 - 2 = 0, -3*m + 11 = -2*c. Solve -c*b - 10 = 3*b for b.

-2

Suppose -13*v = -15*v + 4. Solve -6*m = -v*m for m.

0

Let j = -2 - -1. Let r be (j - -1)/(2 + 0). Solve 0*t + t = r for t.

0

Suppose 0 = -k + 2 - 0. Suppose 0*w - 21 = -7*w. Solve -k*l - w*l + 5 = 0 for l.

1