Let a(u) = u**3 - 10*u**2 - 56*u. Let j be a(14). Suppose -3*r + 0 + 6 = 0. Solve j = -v + r*v - 5 for v.

Let w(a) = 2*a - 7. Let z be w(5). Let o(t) = 13*t - 4. Let r be o(z). Let b be ((-8)/(-5))/(14/r). Solve 2*x - b = -2*x for x.

1

Let x(n) = n - 9. Let q be x(7). Let i be (-3 + 3)*q/4. Let z = 3 - i. Solve z*r - 4 + 16 = 0 for r.

-4

Let j = -36 + 51. Solve -3*z + 0*z = -j for z.

5

Suppose 0*w = 4*c + w - 25, -2*c = -3*w + 5. Suppose -i = -c*d + 17, i - 23 = -5*d + 5*i. Suppose 0 = -n - 3, p + n = 2*p - 10. Solve 5*m - d = p for m.

2

Let f be (-12)/3*(3 + (-12)/3). Solve -f*d - 1 = -21 for d.

5

Let m be ((-3)/3 - -1) + (-3 - -9). Solve 2*z = -m - 0 for z.

-3

Suppose -15*t + 12 = -11*t. Solve 11 = t*j + 2 for j.

3

Suppose -w = 4*m - 16, 0*w - m = w - 4. Solve 0 = -w*s - 2*s for s.

0

Let w(m) = 3*m**3 - 1. Let x be w(1). Solve 0 = 5*u + 13 + x for u.

-3

Suppose 0 = j - 6*j + 40. Suppose 3*x + x = j. Solve -x*v - 3 = -1 for v.

-1