Let p(n) = 7*n + 3. Let v(t) be the second derivative of t**3/2 + t**2 - 3*t. Let k(a) = -2*p(a) + 5*v(a). Let x be k(-2). Solve -2*h - x*h = -16 for h.

Suppose -2*w + 5*w - 15 = 0. Suppose -4*n - 72 = 2*d, 4*d - 3*d + 29 = w*n. Let c be (-4)/6 - d/6. Solve c*x = -11 - 14 for x.

-5

Let p(f) = 2*f**3 + 2*f - 1. Let v be p(1). Suppose 2*j - v*s = -5*s - 4, 0 = s + 4. Solve l = j + 3 for l.

5

Let v = 80 - 77. Solve 0 = -v*h + 2 - 17 for h.

-5

Let r = -78 - -80. Solve -r*p + 0*p = 2 for p.

-1

Let y = -1 - -2. Let k© = -2*c - 4. Let t be k(-4). Solve -y = m + t for m.

-5

Let h = 5 + 15. Suppose 0 = u - 2 - 3. Solve -5*r - u = -h for r.

3

Suppose -l + 2 = -0*g + 3*g, -4*g - 12 = 5*l. Suppose 4 = g*h, 7*w - 3 = 4*w + 3*h. Solve w*q + 4 = -5 for q.

-3

Let c = 5 + -1. Let d = 7 - c. Suppose 2*v = -a + 11, -5*a + 20 = v + 2*v. Solve d = 4*o - v for o.

2

Let o = 4 + -4. Let a = 3 - o. Suppose t + 2*t - 24 = 0. Solve -a*i = -t*i + 10 for i.

2

Let b = 0 + 6. Let y be 1 - b/9*-3. Solve 9 + 6 = y*g for g.

5