Let c be 7 - ((1 - 2) + 1). Solve -2*v + 20 = -c*v for v.

Let u be 16 + 1 + -1 + -1. Solve -c - 2*c = -u for c.

5

Suppose 0 = -5*h + 10, 0 - 4 = -2*a + 2*h. Let n = -1 + a. Suppose 10*w = -0*w + 80. Solve w*k = n*k + 10 for k.

2

Suppose -p + 0*p = 0. Suppose p*m + m = 5*g - 5, 4*g + 5*m + 25 = 0. Solve 4 = -h - g*h for h.

-4

Let i = 29 + -19. Let k be (-4)/i + (-36)/(-15). Suppose -3 = -u + k*w + w, -5*w = 4*u - 29. Solve 2*l + u = -l for l.

-2

Let q = -2 - 5. Let n = -4 - q. Let t be (0/3)/(4 - 1). Solve -n = -t*h - h for h.

3

Let c be 10 + (-3 - (-9)/3). Suppose c = -4*n + 46. Solve -2*b - b = -n for b.

3

Let f(u) = u3 - 3*u2 - 6*u + 8. Let d be f(4). Solve 0 = -2*z - d*z for z.

0

Let g = 13 + -1. Suppose g + 3 = 3*z. Solve d - z*d = 20 for d.

-5

Suppose -18*g + 51 + 147 = 0. Solve 5*y + g + 4 = 0 for y.

-3

Let k = -126 - -131. Let h(v) = v2 + v - 1. Let n(u) = 4*u2 + u. Let t© = -3*h© + n©. Let a be t(-3). Solve -a - 2 = -k*f for f.

4