Let b = 19 - 15. Solve -3 = a - b for a.

Let t be (-5)/(20/(-16)) + 1. Solve 0 = 5*q + t for q.

-1

Let s(i) = -2*i + 2. Let a be s(-4). Suppose 0 = -a*v + 6*v + 20. Solve -v*n - 3 = 7 for n.

-2

Suppose u - 19 = 4*q, u - q - 17 = q. Solve u = -5*s - 10 for s.

-5

Let q be (-6)/27 + ⁴⁴⁄₃₆. Suppose -5*b + 5 = 5*f, f = -5*b + 4 + q. Suppose 0*j - 5*j = f. Solve j*m = -m for m.

0

Let f(k) = k + 12. Let p be f(-6). Suppose -14 = -4*u - p. Solve 0 = u*d + 1 + 5 for d.

-3

Let a(p) = p**2 + 8*p + 7. Let f be a(-7). Suppose 4*s = -f*s. Suppose -w = -s*w - 6. Solve 0 = -2*k + w for k.

3

Let q = 10 - 6. Suppose -5*s = 3*j - 16 - 13, 4*j = q*s - 4. Let l = j - 1. Solve -6*i = -l*i + 16 for i.

-4

Let k(m) = m**2 + m - 2. Let j be k(-4). Suppose 2*i - 15 = -3*i. Suppose 0*f = -i*f. Solve 3*r + 2*r + j = f for r.

-2

Suppose 3*t - w = 4*w, -4*t = -5*w - 5. Solve 17 = -4*c + t for c.

-3

Suppose 0*y + y - 7 = 0. Solve 0 = 3*z + 19 - y for z.

-4