Let z = -5 - -8. Suppose v + z = 2*v. Solve -v*w + 7*w = -8 for w.
-2
Let u(k) = -k**2 - 6*k - 4. Let o be u(-5). Let t = 4 + o. Solve -3*i = -1 - t for i.
2
Suppose 6*d + 32 = 2*c + 2*d, 4*c - 38 = -5*d. Let m be (-24)/(-10) - 2⁄5. Solve m*b + b = c for b.
4
Let w(x) be the first derivative of -1⁄3*x3 + 2 - 1⁄4*x4 + 0*x + 1⁄2*x**2. Let v be w(-2). Solve 3*d - v*d = -3 for d.
-3
Suppose r + 2 + 4 = 0. Let l(u) = -u3 - 5*u2 + 8*u + 9. Let t be l®. Let x be -6 - -19 - (1 + t). Solve -4*c = -c - x for c.
5
Suppose -5*l - 9 = g + 17, 3*l = -15. Let j(f) = -f**2 - 6*f - 3. Let b be j(-5). Let w = g + b. Solve -o = -w - 0 for o.
1
Let b be -21*(-1 + -3 + 3). Suppose 0 = -5*s - 5, -5*f + 3*s = 2*s - b. Let l be (-17)/(-5) + f/(-10). Solve 2 - 5 = l*j for j.
-1
Let z(w) = 0 + 4*w + 1 - 2. Let v be z(1). Let c = -3 + v. Solve 5*r = 5 - c for r.
1
Suppose -4*o + 5*o = 0. Let s = 1 - o. Solve -2*r - s + 7 = 0 for r.
3
Suppose -4*x - 1 = -i + 2, -x = 4*i + 22. Let b(s) = s3 + 6*s2 + 5*s + 3. Let n be b(i). Let r be (n + -3)/(0 - 1). Solve -u - 3 = -r*u for u.
-3