Let i(k) = k**2 - 3*k. Let h be i(3). Let r be 8*(2 + 3/6). Suppose h + r = 5*b. Solve 0 = -4*d - b for d.

Suppose -4*a + 5 = -3. Let v = -6 - -7. Let r = v + a. Solve 0*u = r*u for u.

0

Let r = 3 - -1. Solve 16 + 0 = -r*j for j.

-4

Let j be 4 + 1 + (2 - 1 - 1). Suppose 0 = -2*f - 2*f - 5*d + 32, -4*f + 3*d = 0. Solve 0 = -f*r - 10 - j for r.

-5

Suppose -15*u - 10 = -16*u. Solve 0 = 5*f + 15 + u for f.

-5

Let u be (-19)/(-7) - 8/(-28). Let p(v) = -v3 + 3*v2 + v. Let s be p(u). Suppose -4*i + 45 = 3*h, -2*h + 4*i - 15 = -s*h. Solve 5*y = -h + 35 for y.

4

Let p = 40 + -40. Solve -4*j - 1 - 3 = p for j.

-1

Let w be (-8)/(-32) + ⁷⁄₄. Suppose -3*h = 17 - w. Let t be h + 5 + (5 - 0). Solve 0 = t*p - 4 + 29 for p.

-5

Suppose 2*v - v - 7 = 0. Suppose -4*o = -5*b - 15, -2*o = -3*b - v - 2. Let s be ((-2)/6)/(2/(-12)). Solve o*l - s = l for l.

-2

Let f = -110 - -112. Solve -6 = -z - f*z for z.

2

Let l(d) = d - 5. Let t be l(7). Solve 0 = 2*g - t + 12 for g.

-5