Let c be (-2)/(31 + -1). Let h = c + 3. Solve 0 = h*a + 2*a - 12 for a.

3

Let b = 9 + -8. Solve 4 = 5*y - b for y.

1

Let k(u) = -u3 - u2 - 1. Let r be k(-2). Suppose r + 1 = v. Solve y - v = 5*y for y.

-1

Let r(m) be the first derivative of m**22 - 4*m + 1. Let x = -20 + 27. Let k be r(x). Solve a + k = -0 for a.

-3

Let f© = c3 - 8*c2 + 7*c. Let u = -9 + 16. Let t be f(u). Suppose 0 = -4*m + 20 - t. Solve 4*r = m + 3 for r.

2

Let f be 0/(4*416). Solve 9*s - 4*s = f for s.

0

Suppose 4*y + 0*y = -3*g + 18, -2*y - 18 = -3*g. Solve -n = -g*n + 15 for n.

3

Let o(k) = k**2 - 4*k + 3. Let y be o(4). Solve q = -y*q + 8 for q.

2

Let l(q) = q - 5. Let k be l(5). Let r be (k/1)/((-4)/4). Solve r = -3*t + t for t.

0

Suppose 5*x = -2*v - 111, 4*v + 9 = -3*x - 52. Let q = 25 + x. Solve 3*i - 5*i - q = 0 for i.

-1