Let b(g) = -4*g - 1. Let z(f) = -f**2 - 1. Let c(k) = -b(k) - 2*z(k). Let w be c(-3). Suppose -33 = -4*y - w. Solve u = 3*u - y for u.
3
Let k(y) = -y**2 - 8*y + 9. Let r be k(-9). Solve -4 = -2*f - r*f for f.
2
Let o = 11 - 8. Let r(a) = -a**2 + 6*a. Let u be r(o). Solve 29 - u = -4*k for k.
-5
Let i(y) = y**2 + 8*y + 7. Let p be i(-7). Suppose 4 + p = 4*q. Solve 4*n = q - 5 for n.
-1
Suppose 2*s - 13 = -2*s - 3*k, s = 3*k - 8. Solve -5 + s = v for v.
-4
Let c be 5*(-1 - 14/(-10)). Suppose i = -c*i. Suppose i = s - v - 3, 5*s + 2*v - 25 = -3*v. Solve -3*y - s = -y for y.
-2
Suppose 6 + 0 = 2*x. Solve -d - 20 = x*d for d.
-5
Suppose -u - 4*u = -2*j + 45, -26 = u + 3*j. Let r = 21 + u. Solve k - r = -k for k.
5
Let f = -4 + 4. Suppose -2*a + 4*a = f. Suppose -4*i + 3 + 5 = a. Solve 0 = 5*q - 3 - i for q.
1
Let k = 12 - 4. Let o be 8⁄2 + 20 + -2. Suppose -4*c + 2*g = -o, 3*g + k = c + 2*g. Solve -l = -c*l + 6 for l.
3