Let p(y) = -2*y**2 + 12*y + 2. Let r be p(5). Solve -d + 4*d + r = 0 for d.
-4
Let x(h) = h**2 - 12*h + 32. Let k be x(4). Suppose 4 = 4*v - 16. Solve 0 = -k*u + v*u - 10 for u.
2
Suppose 4*p + 45 = -p. Let m be 0 + (-6)/p*3. Solve -m*q = q for q.
0
Suppose -5*w + 28 + 7 = 0. Solve 0 = u - 4 + w for u.
-3
Let k be 11 + -5 + 4*-1. Solve 6*c = k*c for c.
0
Suppose -5*z + 5*c + 25 = 0, 0 = -z - c + 2 - 3. Solve -y = z*y - 12 for y.
4
Let k(t) = -t**2 + 6*t - 3. Let s be k(5). Solve x = -x - s for x.
-1
Let x(l) = -2*l - 6. Let k be x(-5). Suppose -k*r + 3*r = -5. Suppose 2*u - 3*j = -5*j - 6, -r*j = -3*u + 23. Solve -u = -3*q - 4 for q.
-1
Let h be 3/(-2) - (-54)/12. Solve -h*u = u + 16 for u.
-4
Let y = -26 + 27. Solve -g + 0 = -y for g.
1