Let l be (-2)/(-3) + (-416)/(-24). Let c(k) = k**3 - 17*k**2 - 18*k. Let t be c(l). Solve a + a - 8 = t for a.

Suppose 0 = -j - 0*j. Solve j = -2*w - 1 - 3 for w.

-2

Let l(n) = 3*n - 4. Let i be l(3). Let c = 0 + i. Suppose -c*r + 5 = -0*r. Solve -f - 2 - r = 0 for f.

-3

Suppose p = -5*n + 34 + 8, 4*p - 16 = -n. Let g = -8 + n. Solve g = y - 0*y for y.

0

Suppose 0 = 3*g - 4 - 14. Suppose 0 = -0*n + 2*n - g. Suppose -50 = -2*u - n*u. Solve -l = -3*l + u for l.

5

Suppose 85 - 15 = 10*v. Solve 0 = -3*o + v + 2 for o.

3

Let d = 5 - 5. Solve d = -t - 0 + 3 for t.

3

Let u(a) = -17*a + 3. Let z be u(-1). Let v = -15 + z. Solve -c = -0*c + v for c.

-5

Let c be ⁶⁄₄₂ - 83/(-7). Let w = -2 - -4. Solve 2*s = -w*s + c for s.

3

Let h = 0 + 1. Let u be 2*h + ¹⁄₁. Let m be (-2)/(-4)*0*1. Solve m = 5*j - 2*j + u for j.

-1

Let x be -5-1(-4)/(-2). Let i(v) be the first derivative of -v**²⁄₂ + 13*v + 3. Let t be i(x). Solve 2 = t*c - 10 for c.

4