Let z© = 31*c3 - c2. Let g be z(1). Suppose 5*d - 4*m = g, 0 = -4*d - 0*m + 4*m + 24. Solve -2*v = d - 16 for v.

5

Let o(b) = b**2 + 8*b + 8. Let m be o(-8). Suppose 3*l + 2*n - m = 0, n = -l - n. Solve l*f - 10 = -f for f.

2

Suppose 0 = -h + 4*h. Let q be 0 - 0 - (17 - 19). Suppose 4*x + 1 - 2 = d, x + q = d. Solve -a + d*a = h for a.

0

Let d = -5 + 5. Solve -v = -d*v for v.

0

Suppose 0 = -2*c - 15 + 3. Let g be c*4/(-6)*1. Solve -g*v = -0*v - 4 for v.

1

Let m = -21 - -36. Solve -2*f + m = f for f.

5

Let m be ((-1)/((-4)/16))/2. Solve -3*q - m*q + 15 = 0 for q.

3

Let p be (12/(-10))/(6/(-40)). Suppose 0 = 5*r + p - 38. Solve v - 4*v = -r for v.

2

Let u(d) = -d**2 + 3. Let g(k) = k - 4. Let l be g(4). Let x be u(l). Solve 0 = -x*h + 2*h for h.

0

Let y(l) = l - 1. Let s be y(2). Let d(b) = 2 + s - 2 - b. Let c be d(-5). Solve c*m = m - 20 for m.

-4