Suppose 0 = -5*v + 3*c + 37 - 12, -2*c + 10 = 0. Solve -5*z - 7 - v = 0 for z.

-3

Suppose -3*z + 21 = 3*t, 5*t = -4*z + 20 + 10. Solve k + k = -t for k.

-1

Let a(m) = 4*m. Let z be a(1). Solve z*f - 5 = 3 for f.

2

Let w(z) = z + 5. Let v be w(-5). Let a(u) = 2*u3 - 3*u2 + u - 1. Let g be a(2). Suppose -g*q = -2*s - 5 - 7, 2*q = s + 5. Solve -2 = -q*n - v for n.

1

Suppose 3*v + 5*q = 56, 0 = 5*v + 3*q - 32 - 56. Solve -3*a = 5 - v for a.

4

Let h(d) = -2*d - 2. Let z be h(-2). Suppose 0 = 3*n + 4*u - 4, 2*n + z*u = 6*u - 4. Solve n = -0*x + 2*x - 4 for x.

2

Suppose 0 - 12 = -a - 3*s, -4*s = -12. Suppose g = -a*q - 6 + 1, -5*q = 10. Suppose 5*k + 3*p = 23, 6*k = k + 5*p + 15. Solve -k*u + 11 = -g for u.

3

Let m = -5 - -9. Let v = m + -2. Let k be v/7 + 136⁄14. Solve -k + 4 = -3*j for j.

2

Let d be (-14)/21*18/(-4). Suppose -4*k + a = -7*k + 5, 5*k = -4*a + 6. Solve 5*n = d + k for n.

1

Let h(b) = 5*b**2 - 1. Let m be h(-1). Let u = m - 1. Suppose -u*v = v. Solve v = 2*l + 3 - 13 for l.

5