Let t(z) = 6*z3 - z2 - z + 1. Let w be t(1). Let u = -2 - -13. Let b = -8 + u. Solve -i = b - w for i.
2
Suppose d - 2 = -2*k, 7*k - 4*k - 3 = d. Solve -7 = -2*t + k for t.
4
Suppose 7 = -5*w + 32. Let t(b) = -3*b2 - 15*b - 5. Let x(h) = 2*h2 + 8*h + 3. Let y(i) = 3*t(i) + 5*x(i). Let m be y(w). Solve 5*f - 2 + 12 = m for f.
-2
Suppose -3*d = -3*k + k + 8, 0 = -d - 5*k + 20. Let b = -23 + 23. Suppose -j + d*j = b. Solve -20 = 4*y - j*y for y.
-5
Let w = 8 - 5. Let n be -5(-4)/10(5 - 2). Solve -n - 3 = w*z for z.
-3
Let t be (-1)/(-1) - (-3 - 0). Suppose 4*a = 3*a + t. Solve -a = -3*l + 11 for l.
5
Let j(d) = -d**2 - 21*d - 15. Let u be j(-20). Solve -u*w + 26 = 1 for w.
5
Suppose 15 = x - w, 0 = -w - w + 10. Let t = 2 + -2. Suppose t*j - 2*j = -2*v + 20, -5*j - x = v. Solve -3*r + v*r - 4 = 0 for r.
2
Suppose q - 4*c - 40 = -3*q, 2*q - 3*c - 23 = 0. Let b(n) = 7 + 3*n + 3 - 4*n. Let s be b(q). Solve s*u - 7*u = 0 for u.
0
Let u be 2/(-7) - 150/(-35). Solve -u*s = -7*s + 15 for s.
5