Let r(f) be the second derivative of f520 - 7*f412 + f3 + f2 - 2*f. Let c be r(6). Suppose 3*v + 3 = 6*v. Solve 9 = -c*m - v for m.

-5

Suppose 0 = -0*z + 2*z - 2. Solve 0 = 2*u + 1 + z for u.

-1

Suppose -3*n = -3*s - 120, -n + 85 = 2*n + 4*s. Suppose -3*l - 5*z = -0*z - 31, 5*z = -5*l + n. Solve -3*o = -l*o - 5 for o.

5

Suppose 5*p = -2*a + p + 16, 5*a + 5 = 5*p. Solve 3 = -k - a for k.

-5

Let s(u) = u3 - u2 - 4u + 3. Let x be s(2). Let v be (-2 - x)(-2 + 1). Let k(z) = z**2 - 8*z - 4. Let m be k(9). Solve m = -d + v for d.

-4

Let q = 0 + 0. Let p be 2 - (q - -4) - -2. Suppose k - 12 - 8 = p. Solve 5*z = z - k for z.

-5

Let l = -38 + 38. Solve 4*r - 4 - 12 = l for r.

4

Suppose 5*m + 40 = 9*m. Let n(y) = -y + 10. Let c be n(m). Solve -p + c + 1 = 0 for p.

1

Let i = 7 - 1. Solve 4 = i*n - 4*n for n.

2

Let y(v) = 3*v - 13. Let r be y(6). Suppose g + 57 = r*l - l, -g - 5 = 0. Suppose m - 5*d = 23, 5*m + 5*d = d - 1. Solve 0 = -m*a - l + 1 for a.

-4