Let c(f) = -f3 - f2 + 3*f - 3. Let w be c(2). Let h be (-6)/w + 68⁄6. Suppose 0 = -2*o - 3*o + 65. Solve -o = 5*r + h for r.
-5
Suppose -2*b = 5*z, -3*z = -z - 5*b. Solve 0 = 2*j - z - 4 for j.
2
Let w(s) = 6*s**2 - s - 2. Let a be w(-1). Solve -a*q = -16 - 4 for q.
4
Let j be 1 - ((-2)/2 - 1). Suppose 4 = j*h - 4*h. Let r = 1 - h. Solve -q + 8 = -r*q for q.
-2
Let d = -8 + 7. Let h = 13 + d. Solve 4*w + 0*w - h = 0 for w.
3
Suppose -5*v = -0*f + 3*f, 0 = 3*f. Let k be (-3 + (v - -2))*0. Solve -4 = -k*s - s for s.
4
Suppose -c = 3*j - 11, -3*c - 17 = -7*c - 3*j. Suppose d = -z, -c*d - 3*z - 1 = 1. Suppose -3 + 18 = 3*m. Solve 1 = -d*n - m for n.
-3
Suppose v - 2 = -4*k, -5*k + 3*v - 5 - 1 = 0. Suppose 5*f + 10 = -5*o, -2*f + 16 = -3*o - k*o. Solve f*b + b = 0 for b.
0
Let t = 13 - 12. Suppose -3*a + 6 = -3. Suppose -6 = y - a*y. Solve -h + y = t for h.
2
Let o be ((-10)/(-4) - 0)*-2. Let n = o + 5. Solve n = -2*h - 4 for h.
-2