Let q(k) = k**2 + 7*k + 6. Let u be q(-4). Let p be 1 + -1 - u - 1. Solve l - p*l = -12 for l.

Suppose g + 0*g = 0. Let j = g - 3. Let x be (-1 - j)*⁸⁄₈. Solve q - x*q - 1 = 0 for q.

-1

Let b = -3 + 5. Suppose b*p + 3*p = 40. Solve 0 = -t - 3*t + p for t.

2

Let g(b) = -b3 - 5*b2 + 5*b - 6. Let d be g(-6). Suppose d = 3*k - 3 - 3. Let w = 27 - 27. Solve -k*c = -w*c for c.

0

Suppose 5*o - 2*o - 18 = 0. Suppose o*h = h. Solve 2*x - x - 3 = h for x.

3

Let s = 83 - 83. Solve s = 3*u - 6*u + 12 for u.

4

Let x(a) = -a3 + 5*a2 - 6*a + 10. Let p be x(4). Solve -p = -n - 0*n for n.

2

Let z(o) = -3*o - 9*o + 3 + 12 - 7*o2 + 6*o2. Let v be z(-12). Solve r = -4*r + v for r.

3

Suppose -120 = -3*t + t. Suppose 3*c = 0, 0*q - 3*c = 5*q - t. Suppose 0 = 3*u + 3 - q. Solve -2*p - 5 = u*p for p.

-1

Let f = 772 - 432. Let m be 2/(-12) + f/24. Solve 4 = -5*j + m for j.

2

Suppose y = -4 + 1. Let m = -1 - y. Suppose 3*u = m*u. Solve -5*s - 4 - 6 = u for s.

-2