Suppose 0 = 4*v - 2*d + 6 - 0, 0 = 5*v + d - 3. Suppose -5*i + 2*k + 15 = v, -i + 0 + 3 = -4*k. Solve 0 = -i*q - 5 - 4 for q.
-3
Suppose 2*b = -4*h - 6, 5*h - 7*b - 12 = -3*b. Suppose 0 = 3*s - 8*s + 30. Suppose -c + 3 = -f, 4*c - 7 - 10 = -f. Solve 2*y - s - c = h for y.
5
Suppose -5 = 3*x - 2. Let z = x + 3. Solve -z*c + c = 0 for c.
0
Let z = 55 + -53. Let t(h) = -h**3 - h + 3. Let u be t(0). Solve -z*b - u*b = 0 for b.
0
Suppose -2*l + 2 = -l. Suppose 16 = 4*g + l*y, -g - y + 12 = 3*g. Solve -z = z - g for z.
1
Let g be 4⁄22 - 252/(-66). Solve 2*q - g = -12 for q.
-4
Let w(v) = 2*v**2 + 7*v - 1. Let l be w(-5). Let p be 26/l + 7⁄49. Solve -3*z = p*z + 20 for z.
-4
Suppose -2*q = -0 - 22. Solve -q + 31 = -4*w for w.
-5
Let f = -6 - -7. Let h be 1 - f - (1 + -1). Solve h = 2*u + u - 9 for u.
3
Let a be (1 - -1) + -1 + 19. Suppose -v = 4*v - a. Solve -3*c - 5 = v for c.
-3