Let b(l) = -12 - 9*l2 + 5*l3 - 10*l - 12*l3 + 6*l3. Let d be b(-8). Let t(x) = x + 1. Let w be t(d). Solve 2*u - 3 = w*u for u.

-1

Suppose 8*t - 95 = 9. Solve 0 = -4*z + 3 + t for z.

4

Suppose 0 = -7*w + 4*w. Solve 4*v + 9 + 3 = w for v.

-3

Let h(o) = 4*o**2 + 3*o - 3. Let n be h(-3). Suppose n = 5*z - 1. Solve 0 = -y - 2 + z for y.

3

Let u = 25 + -20. Solve -u*f - 41 = -16 for f.

-5

Let l(v) = -v3 + 2*v2 + v. Suppose 4 = 2*a + c, 10 = a + 4*a - 5*c. Let n be l(a). Solve n + 1 = -3*t for t.

-1

Let d be 4/(-8)*-2*3. Suppose -d*x + 16 = -11. Suppose r + 2*c + c + 10 = 0, -3*r - 4*c - 5 = 0. Solve r*i = x - 4 for i.

1

Let a be 3 + (-4)/1 - -1. Let b = 1 - a. Solve u + b = -0 for u.

-1

Suppose -a + 0*a + 4*g = -12, -3*a + g = -14. Solve a*w = -12 - 4 for w.

-4

Let c(a) = -a + 11. Let p be c(6). Solve -j = -p*j + 8 for j.

2