Let t be 3*1/1 + 1. Let v be t/6 + 52/3. Let s be (-2)/(-3)*v/4. Solve -3 + 0 = -s*c for c.

Suppose 0 = -2*k + 2*c, 5*c + 0 = 4*k + 2. Solve 3*x - k - 1 = 0 for x.

1

Suppose -5*j = -9 - 31. Solve 0 = -2*i - j - 2 for i.

-5

Let q(i) = 26*i**2 - 3*i + 1. Let p be q(1). Suppose -5*o - 2*w + 0*w + 24 = 0, 4*o = -4*w + p. Solve -o*r + 3 = -1 for r.

1

Suppose -3*w = 4*n - 51, n - 2*w - 22 = -n. Let k be (n - 2) + 6 + -7. Solve 4*v = k + 11 for v.

5

Let v = 11 + -14. Let b be (-2)/3*2*v. Solve -b*f + f = -15 for f.

5

Let i(d) = d**2 + 4*d - 2. Let j be i(-4). Let s(z) = z + 2. Let y be s(j). Let u = -14 - -39. Solve y = -4*l - l + u for l.

5

Suppose 2*c = -c. Suppose c = 2*d - 2 - 4. Suppose -2*h + 4*z - 14 = -4*h, 18 = 4*h + d*z. Solve h*l - 15 + 3 = 0 for l.

4

Let t be 1 - 3 - (-42)/7. Suppose -s - 15 = -t*s. Suppose -4*b = -0*b - 16. Solve -s*n + b = -4*n for n.

4

Suppose -2*m = -36 - 6. Solve 5*f + m = 6 for f.

-3

Let b(f) = f2 + 3*f - 8. Let d(i) = -i3 + 7*i**2 - 7*i. Let a be d(6). Let x be b(a). Solve x = 5*w - 15 for w.

5