Let n = -3 + 5. Let y(z) = z**2 + 23*z - 24. Let v be y(-24). Suppose v = -n*u - 1 + 9. Solve -s = -u*s + 3 for s.

Let y(z) = -z3 + z2 + z. Let j be y(0). Suppose 2*h + j = -2*g - 10, 5*h = -25. Solve 0*i + 2*i = g for i.

0

Let d be ⁴⁄₁₄ - ¹⁰⁄₃₅. Let b® = -r3 + 8*r2 + 3*r. Let i be b(8). Suppose w - 7 + i = -4*c, 0 = -3*w - 2*c - 1. Solve d = -w*p - 2*p for p.

0

Suppose 6*l - 12 = 2*l. Solve 1 = -l*b + 4 for b.

1

Suppose 2*x + 0*x + 4*j = -12, 0 = 3*x - j - 10. Suppose -8 = -3*q - x. Solve -4 = 4*l - q*l for l.

-2

Suppose 28 = -k + 5*k. Let l = -5 + k. Solve l*t + 6 = -t for t.

-2

Suppose 5*m - 9*m = 0. Solve m = 5*f + 9 + 11 for f.

-4

Suppose 3*k = -p + 9, -3*k + 5*p + 9 = -0*k. Suppose 2*v + c = 7, -v + 11 = 2*v + c. Suppose -12 = -v*h - 4. Solve m + k + h = 0 for m.

-5

Suppose -5*i - 14 + 29 = 0. Solve p + i = -0*p for p.

-3

Suppose -n + 12 = n. Suppose 0 = -2*g + 11 - 7. Solve -g*z - n = z for z.

-2

Suppose 2*l - 3*p = -0*p + 6, -3*l + 28 = 5*p. Let b be (13/(-13))/((-2)/4). Solve -b = -g - l for g.

-4