Let m(x) = 3*x - 2. Let i be m(2). Suppose 4*r - 4*c - 17 = 5*r, 4*r + 4*c + 8 = 0. Suppose -t = 1, -2*t - 8 = r*z - 5*z. Solve -1 = z*w - i for w.

1

Suppose -3*d = -4*z - 3, 0 = -5*z - 5*d + 3 + 2. Let h = z + -4. Let l be h/(-10) + 13⁄5. Solve 0 = l*n - 11 - 4 for n.

5

Suppose -5*j + 9*j = 40. Solve -7*v = -12*v + j for v.

2

Let t(s) = s**2 + 7*s - 12. Let x be t(-9). Suppose -j = 5*c - 19, 0 = -3*c + x + 3. Solve -1 = -j*d + 3*d for d.

1

Let x(b) = b3 + 3*b2 - 6*b - 4. Let l be x(-4). Suppose u + 5*j - 11 + 4 = 0, -5*u + l*j = 52. Let d be 1*4/(u/(-6)). Solve 4 - 1 = d*k for k.

1

Suppose k + 20 = 5*s - 4*k, -4*s + 3*k + 17 = 0. Suppose 2*x + 3*x - s = 0. Solve -3*p - 5 = x for p.

-2

Suppose 15 = 5*z - 0. Solve -z*w = -4 - 2 for w.

2

Let h be 0/(-5) + (0 - -4). Solve -3 = -x - h for x.

-1

Let b be 3/(-5) + (-24)/(-40). Solve -4*y + 20 = -b*y for y.

5

Suppose 0 = v + 1 - 6. Solve u + 0 - v = 0 for u.

5