Suppose 0 = w + w. Suppose w = 2*k - 7*k. Solve 3*i + 0 - 12 = k for i.
4
Suppose 4*z - 3 = -15. Let c(x) be the first derivative of -x4⁄4 - 2*x3⁄3 - x**2⁄2 + 3*x + 1. Let b be c(z). Solve -2*m - m + b = 0 for m.
5
Suppose 3*b + 30 = 5*l, b + 5*l = 9 + 1. Let t(w) = w3 + 4*w2 - 5*w + 1. Let m be t(b). Let p be (m/2)/((-3)/(-18)). Solve 9 = -p*g + 6*g for g.
3
Suppose 3*u - 1 - 2 = 0. Let n be (34/(-8))/(4/(-16)). Suppose 2*f - 14 = -2*m, f - 5*m = -0*m - n. Solve u = -f*c - 5 for c.
-2
Suppose 6*m = 25 + 11. Solve m*g = 2*g for g.
0
Let l be (4*-1)/(2⁄1). Suppose 0 = -g - 4*q + q - 8, 0 = 3*g + 4*q + 4. Let s = g + l. Solve s*t - 6*t = 20 for t.
-5
Let p = -19 - -19. Solve m - 4*m + 3 = p for m.
1
Suppose -4*m + 9 + 7 = 0. Suppose -2 = m*c + 14. Let z be c/(-2) + 0 + 1. Solve 0*b = -b - z for b.
-3
Let w be (-14)/(-21)(-54)/4. Let s be 24/w(-3)/4. Solve -s*r = -4*r for r.
0
Let h be -2 - 0*(-1)/(-3). Let n = h - -3. Suppose -2*t + 22 = 5*i, -t - 3*i = -11 - n. Solve t*p = p + 10 for p.
2