Suppose -4 = -4*i + 4*y, 0 = -0*i + 5*i - 3*y - 9. Let m(j) = j**2 - 1. Let t be m(2). Let s be 2 - (-4)/(-6)*t. Solve -12 = i*n - s*n for n.

Let n = -6 + 6. Suppose 2*t - 52 - 16 = n. Let p = -19 + t. Solve -p = -2*s - 3*s for s.

3

Let h = 7 - 12. Let z be h/(-2) - ²⁄₄. Let b = -38 + 47. Solve -z*r - 1 = b for r.

-5

Let f = 108 - 103. Solve 0 = z - f*z + 12 for z.

3

Let l = -17 + 23. Solve 0*s + l = 3*s for s.

2

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

-1

Let k = -2 - -2. Let j(z) = -z**2 - 10*z + 2. Let b = -12 - -2. Let s be j(b). Solve r = -k*r + s for r.

2

Let r be ⁹⁄₂*(-8)/(-12). Solve r = -0*k - k for k.

-3

Let n(k) = -2*k - 7. Let l be n(-6). Suppose -2*q = 5*y - 30, -q + 12 = -l*y + 42. Solve -y*w - 20 = -2*w for w.

-5

Let u(k) = k**2 - 3*k - 3. Let p be u(5). Suppose r - 3 = -x, -2*x + r = -p - 2. Suppose 4*t - 18 = -2*s, 2*t - s - x - 7 = 0. Solve -11 = t*f - 1 for f.

-2

Suppose -2*k - 2*g = 2*k - 24, 12 = 3*g. Suppose a = -k*n + 11 - 5, 18 = 3*a - 5*n. Solve 5*u - a = 14 for u.

4