Let y(v) = -3*v2 + v2 + 17*v + 4 + v**2 - 8*v. Let f be y(9). Solve -f*k + 3 - 11 = 0 for k.

-2

Suppose 2*j + j = -4*o + 17, -j + 3 = 0. Solve -o - 8 = -5*y for y.

2

Let r(l) = -l**2 - 3*l + 5. Let c be r(-5). Let v = c + 7. Solve g - 2*g + v = 0 for g.

2

Let j be 1 + (2 - (-2 - -5)). Suppose 0*z - z + 4 = j. Solve 0 = 2*i + z for i.

-2

Let s be (7 - 5)/(2⁄5). Solve -c + s*c = -8 for c.

-2

Let x(k) = -k**2 + k + 5. Let d = 5 - 3. Suppose i + d = 0, -y + 0*y - 2 = i. Let a be x(y). Solve a*c + 25 + 0 = 0 for c.

-5

Let d be (-10)/(-25) - (-13)/5. Suppose 0 = 5*z + 20, -2*p + 5*z = -3*p - 8. Solve -d*k + 0*k = -p for k.

4

Suppose 0 = 2*o - 10 - 0. Suppose o*g = g. Suppose -10 = -5*z + 2*c, -3*z + g = -4*c + 8. Solve -3*u = -u + z for u.

-2

Suppose -3*x + 20 - 11 = 0. Solve 0 = -b + 4*b - x for b.

1

Let q(n) = -n - 8. Let a be q(-8). Solve a = -2*i - i + 6 for i.

2