Suppose 0*u + 3*y + 30 = 5*u, -u = y - 6. Let n = -5 + u. Solve -2*g - n = -7 for g.
3
Let m be (-1)/(-8) - 658/(-112). Suppose -4*d + 2 = -14. Solve -m + d = -h for h.
2
Let a(h) = 5*h3 - h2 + 2*h - 1. Let i = -6 - -10. Suppose 4*n - i + 0 = 0. Let w be a(n). Solve -25 = -w*y - 0*y for y.
5
Let t = 9 + 2. Solve t = 5*r + 36 for r.
-5
Suppose 4*b = -0*b + 8. Solve b*y + 6 = 4 for y.
-1
Suppose 0 = 4*g - 7*g - 6. Let a = g + 5. Solve -a*f - 3 = -0 for f.
-1
Let b(k) = k**2 - 4*k - 9. Let f be b(-2). Solve a - f*a - 2 = 0 for a.
-1
Suppose 0 = 3*w - 5*b + 5, 2*b - 4 = b. Suppose w = -l + 10. Solve 3*s = 2*s - l for s.
-5
Let g(q) = -5*q**2 - q. Let n be g(-1). Let m be n + 6 - (-1 + 1). Suppose -w = -m*h + 1, 3*h + 2 = 3*w - 1. Solve s = -h*s for s.
0
Suppose 0 = -s - q - q + 12, 9 = -3*s + 3*q. Solve -t + s = -2 for t.
4