Suppose 0 = -3*k - 4 + 13. Solve 6 = -k*z - 0*z for z.

Suppose -145 = -3*k - 367. Let t be ²⁄₆ - k/3. Suppose y + 12 = -3*h + 6, -5*h - 10 = -y. Solve 0 = -5*m - y*m - t for m.

-5

Let t be (-2)/(-2 - (-6)/4). Let x be (t + -3)/((-1)/(-5)). Suppose -5*b = -5*i, x*i = 2*i - 2*b + 15. Solve 4*g = 9 + i for g.

3

Suppose 3*k = 2*k + 10. Let t be (-34)/(-10) - k/25. Solve -2*r + t*r = 3 for r.

3

Let m(o) = o3 + 6*o2 - o + 2. Let w be m(-6). Suppose -4 = -3*f + w. Solve 0 = -f*d - 1 - 7 for d.

-2

Suppose -4*h + h + b = -14, -3*h + 4*b = -29. Solve -h*y + y - 8 = 0 for y.

-4

Let p = 5 - -7. Solve -c = 2*c - p for c.

4

Suppose 10 + 6 = -4*v. Let d = 7 + v. Suppose 0 = -c - 2 + d, 0 = 5*q + 2*c - 22. Solve 2*s + 6 + q = 0 for s.

-5

Suppose 4*b - 12 = 3*b - s, 4*s + 3 = -b. Solve -4*o - b + 5 = 0 for o.

-3

Suppose -u - 5*v + 27 = 0, v = 2*u - 2*v - 15. Solve -3*s - u + 0 = 0 for s.

-4

Let r(i) = 6*i**2 + i - 1. Let f be r(1). Let h = f + -3. Let q be (4 + -1)*⁸⁄₆. Solve -q*y - 5 = -h*y for y.

-5