Let z(w) = -w2 + w + 3. Let x(n) = n3 + 12*n**2 + 12*n + 11. Let a be x(-11). Let t be z(a). Solve -1 = t*s - 7 for s.

2

Suppose 0 = 2*b - 3*p - 3, 2 + 1 = 5*b - 3*p. Suppose d + b*d = 2. Solve -n - 4 = -d*n for n.

4

Let y be (0/(-3) + -1 + 1)/(-2). Solve s + 3*s - 8 = y for s.

2

Let g be 6/(-2) + -12 + 15. Solve g = -f + 4*f for f.

0

Suppose 0 = 2*x - b - 22, -b + 0*b - 13 = -x. Let p = x + -5. Suppose 0 = p*w - 12 - 4. Solve -w = -z + 1 for z.

5

Suppose 0 = -2*l - 3*f - 4, 4*f - 48 = l + 3*l. Let c = l + 11. Solve -c*i - 2 = -4*i for i.

2

Let d = -5 - -5. Suppose 0 = 5*x - 0*x. Solve d = -x*t + t - 2 for t.

2

Let h = 4 - 3. Let i be (2/(-5))/(5/(-25)). Solve 0 = a - h - i for a.

3

Suppose 4*i + 20 = n, 4*i + 36 = 4*n - i. Solve n*w = 2*w + 8 for w.

4

Let z be (-27)/6*4/(-6). Solve z*q = 8*q - 20 for q.

4