Let l(k) = -k3 + 4*k2 + 6*k - 3. Let t be l(5). Let d be 3 + -3 + (2 - -1). Suppose -d + t = -y. Solve 1 + y = 2*u for u.

1

Let b = 3 - -2. Suppose -k = b*t - 6*k, 4*k = 16. Solve 0 = -5*d - 6 - t for d.

-2

Suppose -3*u - 4 = -5*u. Let f be u + 0/(2/(-1)). Solve -f = 3*v - v for v.

-1

Suppose -3*o - 2 = -4*c, -2*o - 2 = 3*c - 6*c. Suppose 0 = m - 5*v + 2, 4*v + 24 = 2*m + 2*m. Suppose -m = c*s - 4*s. Solve -8 = s*w - 4 for w.

-1

Let m(l) = l**2 - 5l + 6. Let c be m(4). Let h be c(1 + -3 - -8). Solve -h = -5*o + o for o.

3

Let k be (1/(-2))/(1/(-4)). Suppose 2*s = -5*m + 1 + 3, 2*s - m - 16 = 0. Let v be 37 - (-53)/s. Solve k*u + 0*u - v = 0 for u.

4

Suppose -2*v + 5*v + 2*v = 0. Solve v*z = 3*z - 9 for z.

3

Let z(v) = -v + 4. Let c be z(2). Suppose 0 = c*p - 2*x + 4, -3*x - 27 = -4*p - 6*x. Suppose h + 4*n = 2*n + 18, n = -4*h + 37. Solve p*d + 4 = -h for d.

-4

Let y(w) = -w**2 + 8*w. Let b be y(8). Let z(k) = -2 + 3 - k + 2. Let n be z(b). Solve -n*c + 6 = -9 for c.

5

Let y be (-4)/16 + 6312. Solve -y = -2*w + w for w.

5