Let k(z) = -z**2 + 6*z + 6. Let u be k(6). Let f be ((-3)/u)/(1/(-30)). Solve -5 = -4*s + f for s.

5

Let t(b) = -b**2 + 7*b - 1. Let l be t(7). Let w = l + 6. Suppose 0*q + 3*r = -2*q + 1, 0 = 2*q + w*r + 9. Solve -3*f - f = -q for f.

2

Let n(v) = 3*v + 1. Let o be n(3). Let y = 13 - 2. Let b = y - o. Solve u - b - 2 = 0 for u.

3

Let f = 6 + -10. Let x(a) = a + 7. Let y be x(f). Solve 2*j - y - 3 = 0 for j.

3

Let q = -7 - -13. Solve q*o = 4*o - 8 for o.

-4

Suppose 0 = 3*l + 3*n - 15, l + 4*n - 4 = 4. Suppose -4*v - l*a = -12 - 0, 5*a + 10 = 0. Solve 4*i = v*i for i.

0

Let v = -1 - -1. Suppose 16 = 5*x + 1. Suppose -x*w + 4 = -w. Solve -3*y + w*y = v for y.

0

Suppose 3*c - 5 = -c + 5*k, c + 3 = -3*k. Solve 0 = -r + 4 - c for r.

4

Let a = -14 + 34. Suppose -8 = -3*l - 5*c, c = 2*l + l - a. Solve l*i = i for i.

0

Let c be (-4)/6 + (-17)/(-3). Let p(n) = n**2 + 2*n - 3. Let i be p(-3). Suppose -h - h + d + 25 = 0, i = -c*h - d + 59. Solve w - h = 4*w for w.

-4