Let q(z) = 2*z. Let p be q(3). Let v be (-9 - -3)/(p/(-4)). Solve -5*t = -v*t for t.
0
Let d = 5 + -2. Suppose -2*m = -d*m. Solve m = q + q for q.
0
Suppose 2 = u - 7. Let p(h) = -h**2 - 8*h + 2. Let z be p(-8). Solve -1 = z*t + u for t.
-5
Let r(z) = -z3 - 2*z2 - 4z - 3. Let t be r(-2). Let s be (-6)/4(t + -11). Suppose -4*i = -i - s. Solve 0*h + 6 = -i*h for h.
-2
Suppose 4*w = 3*w + 19. Solve -3*g = -w + 13 for g.
2
Let y be 2/(-4) + 54⁄12. Suppose -k = 0, -5*n + 0*k = -5*k - 30. Suppose -n = 2*s - 5*s, 3*p - 3*s - 18 = 0. Solve y*w + p = 24 for w.
4
Let c = -15 + 20. Suppose -c*l = l. Solve l*n = -5*n - 15 for n.
-3
Let u© = -3*c - 16. Let s be u(-6). Solve -s*y - y = 0 for y.
0
Suppose 0 = c - 2*c + 4*s + 25, 0 = 3*c + 4*s + 5. Solve 4*v + v = -c for v.
-1
Let l = -13 + 15. Suppose 0 = -2*c - q + 25, 2*c + 2*q = -3*q + 5. Solve -u = l*u + c for u.
-5