Let y = 23 + -12. Solve 4*x + y + 5 = 0 for x.
-4
Let c(t) = -t**2 - 8*t + 12. Let r be c(-9). Suppose 0*m + p - 77 = -5*m, r*m - 33 = -5*p. Solve 0 = -k + 5*k + m for k.
-4
Suppose 0*f + 3*f = 6. Suppose 0 = -s + 6*s - 10. Suppose s*h - 10 = -0*h. Solve -f + 22 = h*z for z.
4
Let d be 9/(-21) - 34/(-14). Solve -x = -d*x for x.
0
Let j = -10 + 6. Let o = j + 7. Suppose m - u - o = 4*u, 2*u = 0. Solve m*c = -3 - 12 for c.
-5
Let s(a) = a3 + 2*a2 + a + 2. Let l be s(-2). Solve -2*h + 4 = -l for h.
2
Let l = 1 + 9. Suppose 0 = 5*r - l - 0. Solve r*i + 4 = -2*i for i.
-1
Let h = 15 + -12. Solve -t + h = 6 for t.
-3
Suppose 4*q = 8*q - 16. Suppose w = -3 - 0, 0 = 2*d + 2*w - q. Solve -d*i + 10*i = 5 for i.
1
Let i(z) = z3 + 4*z2 - 3*z + 5. Let r be i(-5). Let q = -5 - r. Suppose 5*u - 5*s + 2 + 18 = q, -s + 4 = 4*u. Solve 4*g + 0*g + 16 = u for g.
-4