Let v(h) = h**3 + 7*h**2 + 5*h - 5. Let o be v(-6). Let s = o + -1. Solve 7*l - 3*l + 20 = s for l.

Let b(q) = -q - 1. Let n = 17 + -23. Let h be b(n). Solve h*w + 0 = -20 for w.

-4

Let j be (-8)/2 - (2 + -1). Let b = 9 + j. Solve b*q - 6 = q for q.

2

Let w = -150 + 153. Solve 7 = -w*l - 5 for l.

-4

Suppose 2 = -2*j - q + 7, 3*q = -2*j + 7. Let d be (-8 + 8)/(j/2). Solve d = -0*y - 3*y - 9 for y.

-3

Let t be 2 + ((-6)/(-2))/3. Suppose 0 = 4*a - o - 13, -3*a - t*o - 7 = 2. Suppose 0 = 3*s + a - 11, 2*u - 9 = -3*s. Solve u = -3*c + 2 - 5 for c.

-1

Let g = -14 - 0. Suppose u + 2*u = 6. Let b = u - g. Solve 4*s + b = -0*s for s.

-4

Suppose 0 = 2r + 8 - 32. Let x be 6/(-9)-1*r. Solve 5*y = -x + 18 for y.

2

Let w be (-1 + 5)/(-1 + 3). Suppose w*t = 2 - 0. Suppose 0 = -c + 2 + t. Solve k = -c*k + 20 for k.

5

Let p(m) = -m + 8. Let x be p(3). Solve -x*y = -17 - 3 for y.

4

Suppose 0 = 3*y + 9 - 57. Solve -4 = -5*w + y for w.

4