Let u = 0 - -5. Let p(w) = w3 - 4*w2 - 6w + 5. Let v be p(u). Let h be v(3/(-2) + 1). Solve h*r + 12 = 4*r for r.
3
Suppose -2*t + t = 11*t. Suppose 0 = -0*r + 3*r - 21. Solve -5*j - 8 - r = t for j.
-3
Let t(u) = -u3 + 13*u2 + 13*u + 16. Let s be t(14). Suppose -13 = -3*i + 2. Suppose -x + i*x = 0. Solve x = y + s*y for y.
0
Let q(y) = 3*y - 8. Let b be q(4). Suppose b*i = i. Solve i = -3*j + j for j.
0
Suppose t + 30 = 3*t. Solve k - t = 6*k for k.
-3
Let c(d) = -3*d - 1. Let i be c(1). Let r = i - -6. Suppose 0 = -r*m - 8 + 18. Solve 4*w - m + 1 = 0 for w.
1
Suppose 16 = 4*o - 0. Let s be 1/o - 7/(-4). Suppose 0*h + s*h = 0. Solve h = -v + 2 for v.
2
Let q = -91 + 114. Solve -5*x = q - 3 for x.
-4
Let z be (-2 - -1) + -1 - -6. Suppose -z*q = q. Let k = -3 + 3. Solve t + k - 1 = q for t.
1
Let o be -2 - (-2 - -1 - 1). Solve -m = -o + 3 for m.
-3