Let q(z) = 6*z**2 + z - 1. Let f be q(1). Let i = f - 6. Solve i = -0*x + 3*x for x.

Suppose 2*k + i = -3 + 12, i = 3*k - 16. Solve -k*a + 13 + 7 = 0 for a.

4

Suppose 3*l = 4*l - 4*o, o = 0. Solve l = -9*s + 4*s + 15 for s.

3

Let b = -43 - -103. Suppose -4*c + 5*c + 4*y = 21, 5*y = -5*c + b. Let t be -2 + c - ⁹⁄₃. Solve -x + 15 = t*x for x.

3

Let d be ((-2)/(-1))/2 - -3. Suppose -d*a + 5 - 1 = 0. Solve -6 = -5*w - a for w.

1

Let s = 20 - 10. Solve 5*b + 5 = -s for b.

-3

Let v be 6 + -2 - (5 + -1). Solve -w + v = 2 for w.

-2

Suppose 5*j - 8 = 3*j. Let w(d) = 3*d**3 + d. Let i be w(1). Suppose -4 - j = -i*u. Solve 0 = -b + u for b.

2

Let h(j) = j3 + 6*j2 + 7*j + 12. Let f be h(-5). Solve c = f*c for c.

0

Suppose -3*i - 2 = -4*l, 3*l - 2 = 13. Solve i = -6*z + 3*z for z.

-2

Let n(l) be the third derivative of -l⁴⁄₂₄ - l³⁄₃ + l**2. Let v be n(-6). Suppose -g + 2 = -v. Solve -4*a = g + 2 for a.

-2