Let x(k) = -k**2 - 23*k + 5. Let t be x(-23). Solve -z = -0*z + t for z.
-5
Let u(m) = 4*m**3 + m. Let h be u(1). Suppose -20 = 5*b, 0 = -2*w - 0*w - 5*b - 6. Solve -h*r + w = -18 for r.
5
Let y = 10 - -15. Suppose 0 = a - d - 4*d - 25, a + 2*d = y. Suppose 4*v = v + 5*f + 5, -4*f + 18 = 2*v. Solve 0*o - a = -v*o for o.
5
Let q(j) = 3*j + 1. Let y be q(7). Solve 7 - y = -3*p for p.
5
Suppose 4*o + 3*b + 7 - 67 = 0, 3*o - 28 = 2*b. Solve 3*l - 3 + o = 0 for l.
-3
Suppose -6*c - 2*a + 8 = -2*c, -4 = 3*c - a. Solve c = 4*i - 2*i for i.
0
Let p = -3 - -3. Let i = 2 - 2. Let q(w) = w3 - 4*w2 + 2*w - 4. Let u be q(4). Solve -a + i - u = p for a.
-4
Suppose 3 + 3 = 3*g. Suppose -g*f + 7*f + 10 = 0. Let q = 5 + f. Solve 0 = -a + q*a + 10 for a.
-5
Suppose -2*p + r = -2, -p + 1 = 4*r - 9. Suppose -p = 4*l - 18. Solve -l*y = 1 - 21 for y.
5
Suppose 2*t = 2*z, 2*t + 3*z = -2*t. Solve t = -d - 2*d + 6 for d.
2