Let r = 2 + 2. Suppose -r*s + 6 = -2. Solve -s*c - 16 = 2*c for c.
-4
Let s = -6 + 12. Solve -2*i = -5*i + s for i.
2
Suppose 4*c + 1 - 5 = 0. Let w(d) = d3 + 4*d2 + 3*d + 4. Let u be w(-3). Solve 3*s = -c + u for s.
1
Let a(t) = -t + 4. Let h be a(-4). Solve -4*s = -h - 4 for s.
3
Suppose -47*c + 54*c - 28 = 0. Solve -c*y = 5 - 25 for y.
5
Let w(u) = u**2 + 3*u + 2. Let g be w(0). Solve g = 3*o - 5*o for o.
-1
Let l = -7 + 7. Suppose l = -t + 4*t - 27. Solve -4*p = -p + t for p.
-3
Let v = -3 + 3. Suppose -5*m + r = -13, 4*m - 4*r + 5*r - 5 = v. Solve 5 = -3*w + m for w.
-1
Let x be (1*-1)/(6/(-30)). Suppose -x*u + 13 = -7. Solve u - 10 = -2*h for h.
3
Suppose 5*s + 15 = w + 5, 2*s = -w + 3. Let c be 0/(s + -1 + 0). Solve g + 1 - 6 = c for g.
5