Let m(k) = -k**3 - 7*k**2 + k + 10. Let l = -19 + 12. Let v be m(l). Let y = -3 + v. Solve 5*u - 7 - 13 = y for u.

Let p = -14 + 12. Let m be ⁷⁶⁄₁₃ + p/(-13). Solve -3*a + m = -a for a.

3

Let b = 6 - 0. Let v = 8 - b. Suppose v*k - 3*w - 11 = 0, -3*w = k + w. Solve -k*h = h - 20 for h.

4

Let h(z) = z + 4. Let c be h(-4). Suppose c = -2*g + 6*g - 32. Solve 6*d - 2*d = -g for d.

-2

Let i = 1 + -3. Let f be -1*(-4 + i) - 3. Suppose -3*c = 0, 0 = f*s + s + 5*c - 12. Solve -2*u = s*u - 25 for u.

5

Let p(u) = -u - 1. Suppose -2*f + 5 + 1 = 0. Let o be p(f). Let w = 5 + o. Solve 5*m + w = 6 for m.

1

Suppose -10 + 18 = 4*b. Solve 2*q = -b*q for q.

0

Suppose 0*m + 4*m + 2*m = 0. Solve g + 1 = -m for g.

-1

Let w(s) = 2s - 1. Let h be w(2). Let v be (h + -7)(0 - 1). Solve v*r - 4 - 4 = 0 for r.

2

Let b(g) = -2*g - 7. Let w be b(-6). Let y(i) = -i3 - 3*i2 + 17. Let s be y(-4). Suppose -4*v - s = -3*a, v = w*a + 4 - 76. Solve 5*x + 0 = -a for x.

-3

Let y = -12 + 17. Let u be 3 + 0 + -2 + y. Solve -3*i = -i + u for i.

-3