Let d be (-1)/4 + 21⁄4. Suppose -d*y + 3*y = 0. Solve 2*c + 2*c - 4 = y for c.
1
Suppose -2 = -2*x - 0*x. Let b = -1 + x. Suppose 5*u = 3 + 2, b = 5*n + 5*u - 5. Solve 0 = -n*p + 2*p for p.
0
Suppose 2*z - 3*y = y - 16, -5*y = -z - 20. Suppose 0 = -0*x - 2*x + 2, z = -3*f + 5*x + 19. Solve -v - f = -5*v for v.
2
Let t = -34 + 37. Solve t = z - 0 for z.
3
Suppose -6*b + 7 = -5*b. Let y = 7 - b. Solve y*s + 1 = -s for s.
-1
Let t(u) = u**2 + 7*u + 20. Let h be t(-8). Solve -4*r - h + 12 = 0 for r.
-4
Let g = 23 + 10. Let b be (-1)/(-3 - g/(-12)). Solve 2 = 3*h - b*h for h.
-2
Let t = 22 - 12. Solve -4*n - n - t = 0 for n.
-2
Let a = -5 + 3. Let q = a + -3. Let u(h) = h**2 + 3*h - 6. Let r be u(q). Solve 3*t - t = r for t.
2
Let x be (12⁄10)/(16⁄40). Solve -4*w - 5 - x = 0 for w.
-2