Let f = 11 + -4. Let j(b) = -b**2 + 8*b - 8. Let g be j(f). Let s be 4/(-20) + g/(-5). Solve 4*a - 3*a = s for a.

Let z = 2 + -1. Suppose 2*o = 5 + z. Suppose -3 = -d + 1. Solve -d + o = -n for n.

1

Let c(b) be the first derivative of b**2 - 9*b - 3. Let z be c(6). Suppose -q = m + 2*m - 3, -5*m = q - z. Solve 4 = 2*f - m for f.

2

Let k = -4 + 9. Let m(z) = z3 + 3*z2 + z + 2. Let c be m(-2). Suppose -16 = -c*g + 16. Solve g + 2 = k*i for i.

2

Let s(m) = m + 1. Let d be s(0). Let h(w) = w - 13. Let y(p) = 3*p - 38. Let z(n) = -17*h(n) + 6*y(n). Let l be z(7). Solve l = 3*u - d - 8 for u.

3

Suppose -i = -2*a + 6*a - 16, -12 = -4*i - 3*a. Suppose i = 3*c - 2*c - 1. Let j be (-1)/c + ³⁄₃. Solve j = -5*z + 21 - 6 for z.

3

Suppose y + 8 = -2*v - 3*y, -2*y - 10 = 0. Suppose 0 = -2*b - b + v. Suppose 8 = 4*c + 5*r - 4, -48 = -4*c + 4*r. Solve b*l + c = -2*l for l.

-2

Let q(d) = 7*d - 4. Let c(m) = 6*m - 3. Let v(i) = -6*c(i) + 5*q(i). Let t be v(-9). Let f = 19 - t. Solve -f = 2*y + y for y.

-4

Let d(f) = -2*f + 1. Let i be d(7). Let s = i + 18. Suppose v + h - 10 = 3*h, -s*h - 20 = 0. Solve -5 = v*q - q for q.

-5

Suppose -3*t - 16 = -7*t. Solve -8 = -2*o + t*o for o.

-4

Let c = 5 - -1. Suppose f + f - c = 0. Solve f*l = l for l.

0