Let v(y) = y - 3. Let l be v(3). Suppose -3*k + 6*k - 15 = 0. Suppose -2*t - 5*p = k + 2, 3*p + 1 = -2*t. Solve -t*x + 2*x = l for x.

0

Let m = 7 + -5. Suppose 3*t = -4*q + 8, -2*t + 11 = -0*t - 3*q. Solve 2*l = t*l + m for l.

-1

Let z(m) = -m + 7. Let u(x) = -x + 1. Let q(f) = 3*u(f) - z(f). Let t be q(4). Let d be t/(-8)*4⁄3. Solve -d*s = 2*s + 4 for s.

-1

Suppose 0 = 5*s - 0*s + 2*q - 9, 0 = 4*s - q - 15. Solve 5*g - s*g = 0 for g.

0

Let t = -3 - -6. Suppose 2*o + t*x = -8, 0 = -4*o - x + 4. Suppose 4*m = 5 + 3. Solve m*c - o = 8 for c.

5

Let q(o) = -o**2 - 6*o + 3. Let u be q(-6). Let k be 4⁄18 - (208/(-36) + 2). Solve -u = k*a - 19 for a.

4

Suppose 0 = -5*n - 4*k + 72, -k - k = -4*n + 42. Solve -n = 4*u - 16 for u.

1

Let n(d) = d**2 - 2*d - 6. Let t be n(4). Solve t*r = -0*r - 8 for r.

-4

Suppose 3*v = 4*u + 11, -2*v - 27 = 2*v + 3*u. Let z be 6/(-9)*1*v. Solve -h = -0*h + z for h.

-2

Suppose -9 + 1 = -4*f. Let d be (8/(-2))/f + 4. Solve d*b + 4 = 14 for b.

5