Let x(a) = a**2 - 5*a - 1. Let m be x(4). Let y = m - -5. Solve -3 = -y*z + z for z.

Suppose -6 = -4*b + 10. Solve 3 = b*n - 1 for n.

1

Let s = 3 - 3. Let c = 5 - s. Suppose -2*m + c - 1 = 0. Solve -2*y = -4*y - m for y.

-1

Let f = 9 - 7. Solve 0 = z - f*z - 5 for z.

-5

Suppose 0 = 5*d - d + 64. Let c = d + 24. Suppose 2 + 2 = k. Solve 0 = k*z - 2*z + c for z.

-4

Suppose 0 = -s + 6*s - 25. Suppose -s*k = -5*f + 65, -5*k + 2*f - 6*f = 74. Let a be ⁶⁴⁄₂₈ + 4/k. Solve -5*c = -a*c + 12 for c.

-4

Let k(z) be the first derivative of -z**²⁄₂ + 7*z + 2. Let o be k(0). Let m = o - 7. Solve -5*i + 4*i - 3 = m for i.

-3

Let u(a) = -4*a - 1. Let l be u(-1). Suppose 0 = 34*z - 33*z. Solve 2*k + l + 7 = z for k.

-5

Suppose -2o - 1 = -11. Let p be (o + -5)(1 + 0). Let l = p + 3. Solve 4*b + l + 13 = 0 for b.

-4

Let m = 11 - 6. Let w be 1*-3 + 1 + 0. Let c = w + m. Solve 2*t - c = t for t.

3

Let k be (-10)/(-4)*⁸⁄₅. Suppose -3 - 5 = -k*q. Suppose -v - 10 = -q*v. Solve 3*l - v = l for l.

5