Let t = 23 + -20. Solve 0*s + t*s = 9 for s.

3

Let r be (4/(-6))/(2/(-9)). Suppose 25 = -5*k, 0 = j + r*j - k - 5. Suppose -3*q - q + 18 = 2*d, -5*d - 4*q = -27. Solve d*p - 12 + j = 0 for p.

4

Suppose 8 = -2*i + 4*c, -12 = -i - i - c. Suppose i*w + 0*w = 0. Solve -h + 1 = -w*h for h.

1

Let y be 1⁄8 + (-329)/(-56) + -4. Solve 0 = -2*h - y - 2 for h.

-2

Let q(n) = n - 7. Let m be q(7). Solve -z - 5 = -m for z.

-5

Let h® = -r + 1. Let z be h(5). Let a(l) = l3 + 3*l2 - 4*l + 3. Let u be a(z). Solve y + 2*y - u = 0 for y.

1

Let q be 2 + 3/(-1 - -4). Suppose 4*i - k = 6, -5*i = k + q*k + 3. Let p(l) = 5*l**2 + 1. Let z be p(i). Solve 0 = z*j - 3*j - 3 for j.

1

Let z be 6⁄4 + (-45)/(-30). Solve -8 = z*l - 2 for l.

-2

Let s(h) = 4*h - 5. Let o be s(6). Suppose -z - 4*g + o = 0, 3*z + 4*g - 25 = -0*g. Solve 0 = 4*k - z - 9 for k.

3

Let v = 10 - 6. Suppose 13 = v*o + 5. Let t(n) = -n3 - 4*n2 + 3*n - 4. Let y be t(-5). Solve o*g - y - 2 = 0 for g.

4