Suppose 5*v = -3*l - 9, -3*l + 12 = -v - v. Suppose k - l = 1. Solve 2 = -k*i - 1 for i.
-1
Let h be (2/(-3))/(2/(-3)). Suppose 2*k - 4*k - 32 = 0. Let y = 18 + k. Solve h = -c - y for c.
-3
Let t be (0 - -20)*5⁄20. Solve -d = -t*d - 20 for d.
-5
Suppose -5*w - 1 = -3*w - 3*r, 3*r + 11 = 5*w. Solve 0 = w*t + 4 - 0 for t.
-1
Let x = -12 - -17. Solve -x = -2*s + 5 for s.
5
Suppose -3*k + 28 = -2. Solve -c = -6*c + k for c.
2
Let p be (1 + -1)*(-1)/(-2). Suppose p = 2*s - 3*s + 1. Suppose -a = -s - 3. Solve -4 = 4*f + a for f.
-2
Suppose 3*y = 3*r, -2*y = 3*r + 3*y. Suppose 0 = 2*c - 2*s + 6, 0 = c - 4*c + 4*s - 13. Let k = -1 + c. Solve r*b + b - 5 = k for b.
5
Let s(l) be the first derivative of l4⁄4 + 10*l3⁄3 + 4*l**2 - 3*l + 4. Let c be s(-9). Solve x + x = -c for x.
-3
Let d(w) = -5*w - 28. Let u be d(-6). Solve u*v - v + 4 = 0 for v.
-4