Let k be (12⁄5)/(6/(-20)). Let c = -5 - k. Solve -9 = -3*f - c for f.
2
Let z(x) = -x3 + 4*x2 + 8*x - 3. Let o be z(5). Solve -b - 3*b - o = 0 for b.
-3
Let z = 14 + 0. Suppose -4*p - z + 46 = 0. Suppose 24 + 24 = 4*d. Solve 4*g = d + p for g.
5
Suppose 4*w = 8 + 12. Solve 0 = -3*f + 2*f - w for f.
-5
Suppose 4*j = 3*h - h + 14, 5*h = -5*j + 10. Suppose -25 = -j*n + a, -2*a + 3*a = 5. Solve n = 4*p + 30 for p.
-5
Let n = -1 + 6. Suppose -26 + 11 = -5*i + 2*d, -2*d + 10 = 0. Solve n = -5*t - i for t.
-2
Let p(g) = 7*g**2 + g + 1. Suppose 5 = -3*t - 7. Let d be (-2 - -1)/(-3 - t). Let q be p(d). Solve -3*x + 2 = -q for x.
3
Let g(u) = u3 - 12*u2 + 11*u + 3. Suppose 33 = j + 2*j. Let p be g(j). Solve 2*i - p*i = -2 for i.
2
Let d(h) = -h**2 - 9*h + 3. Let p(y) = -5*y + 0*y - 4*y. Let z be p(1). Let s be d(z). Solve -s*j + 10 = -2 for j.
4
Suppose -2*z - 3*z + 4*o + 23 = 0, -9 = -5*z - 3*o. Let f = -2 + 5. Solve -6*d + f = -z*d for d.
1