Let y(l) = l**3 + l + 3. Let b be y(0). Suppose -13 = -5*k - 4*v + v, 2*v = -2*k + 2. Solve -b*s + 2 = k for s.
-1
Let b(i) = i**2 - 2*i + 5. Let f be b(4). Solve 3*u - 1 = -f for u.
-4
Let f be -2 + 1 + 12 + -1. Let l = 7 - f. Let k = 4 + l. Solve -5*p + 16 = k for p.
3
Suppose 0 = -p + 5*f - 2, f + 8 = 5*p - 6. Solve -p = v - 5 for v.
2
Suppose -4*o + 0*i = 4*i - 28, 5*o + i - 23 = 0. Solve 10 = o*v - 2*v for v.
5
Let x be (7/(-5) + 1)*-10. Let k be 30/x - (-2)/(-4). Solve -3*f = -k - 5 for f.
4
Let u(t) = 5*t - 1. Let m be u(1). Let f be m*1 + 3⁄3. Suppose -f*w = -4*w - 2. Solve -n + 2*n + w = 0 for n.
-2
Suppose -4*v - i - 4 = -0*i, -i - 4 = -4v. Let s be (v/1)/(2-1). Suppose 3*n + n - 18 = 5*g, 2*g = -2*n. Solve -n*d + d + 3 = s for d.
3
Let d = 24 - 21. Solve -d*r + 10 - 1 = 0 for r.
3
Let h(x) = -16*x - 10. Let u be h(-1). Solve -c = 2 - u for c.
4