Let x(b) = b**2 - 1. Let w be x(0). Let f = w + 5. Let y(i) = -i**3 - 2*i**2 + i + 2. Let r be y(-2). Solve r = -z + f*z + 3 for z.

Let a be -3 + 14*³⁄₆. Solve -a + 1 = -k for k.

3

Let f be 6/(-1*(-4)/2). Suppose -2*w + 11 = -3*w. Let z = w + 15. Solve f*t + z = -t for t.

-1

Suppose -2*x + 0 = 2. Let q = x + 6. Solve 0 = 3*w - 17 + q for w.

4

Suppose 0 = 3*m - 3*b - 18, 5*m = -2*b - b - 2. Suppose 6 + m = 4*g. Solve 10 = g*w + 3*w for w.

2

Suppose -6*q = -8*q + 4. Suppose q*t = -5*v + 3*t, -3*t = -3*v. Suppose 3*s + 1 = 4*s. Solve v*h + s = h for h.

1

Suppose s + 3*k - 12 = 0, -4*s = -2*s + 3*k - 15. Suppose p - s = -2. Suppose 2*m = -4*v - 12, -2*m - 3*v = 2*v + 15. Solve m = f - 0*f - p for f.

1

Suppose -3 - 7 = -t. Suppose 0 = -10*l - 2 + 72. Solve -2*q + l*q - t = 0 for q.

2

Suppose 0 = 2*f - 2*m + 4, -5*f + 2*m + 1 = -4. Solve -2*a = -3*a - f for a.

-3

Suppose 0 = -5*b + b. Solve b = -2*m - 2*m + 12 for m.

3

Let v be ⁶⁄₁₅ + (-8)/(-5). Suppose -v*a + 1 = 17. Let h be (-2)/(-5) + a/(-5). Solve h*u + 0 = -2 for u.

-1