Let q(l) = l**3 + 5*l**2 - 7*l + 1. Let i be q(-6). Let v = i + -6. Solve -16 = 3*m - v for m.

Let t be 1/(-5) + ⁹⁄₄₅. Solve -2*d + 2 + 2 = t for d.

2

Suppose -3*d = -4*h - 12, -4*h - h = 0. Suppose -5*m + 18 + 27 = 0. Solve -m = -t + d*t for t.

-3

Suppose 6 = 3*o - 3*q - 18, 0 = -2*o - q + 4. Solve 3 + 1 = -o*d for d.

-1

Suppose -d + 48 = 2*d + 5*o, 5*o + 40 = 5*d. Solve -2*i - 3 = -d for i.

4

Suppose 10*k + 60 = 14*k. Suppose -2*q + 4*z + 36 = -0*q, z = -q + k. Solve 0 = -2*n - 2*n - q for n.

-4

Let t(m) = m - 12. Let x be t(14). Solve j - 4 = x*j for j.

-4

Let y(k) = k + 4. Let l be y(-4). Suppose l - 16 = -4*d. Suppose -a - 5*h + 13 = 0, 2*h - 9 = -3*a + 4. Solve 0 = a*z - 11 - d for z.

5

Let v = 0 + 3. Let q(f) = f**2 - f - 3. Let b be q(v). Suppose -m + 2*z - 2 = 0, 0*m + b*m = 2*z + 2. Solve m*x + 2 + 2 = 0 for x.

-2

Let l = 69 + -44. Solve 7*y = 2*y - l for y.

-5

Suppose 3*s = -3*l + 21, -3*l + 19 = 4*s - 4. Solve 4*i + 15 = -l for i.

-5