Suppose 0 = -2*b - 15 + 1. Let g = b + 10. Solve -22 = -5*y + g for y.
5
Let r = -43 - -47. Solve -r = -h - 1 for h.
3
Suppose -4*j + 13 - 1 = -4*y, 5*y = -5*j + 15. Let n(i) = -i3 + 6*i2 - 5i - 2. Let o be n(5). Let d be 3(2 + o + 1). Solve y = -d*m + m - 10 for m.
-5
Suppose v + 0*v - 15 = 0. Suppose v = -2*y + 3*y. Solve 0 = 4*s + y - 3 for s.
-3
Suppose 2*s - 3*b + 27 = 0, 4*b - 65 = 5*s - 1. Let d = s + 20. Suppose 0 = -3*g + d*g - 20. Solve g*v - v = 9 for v.
3
Suppose 0 = 8*p - 4*p. Let g be (p + -3 - -9) + -3. Solve l = -g*l + 8 for l.
2
Suppose 0*r - 2r - 6 = 0. Let n = -3 - r. Let k be 1⁄2(0 + 0). Solve n = -k*c - 4*c for c.
0
Let u(k) = 8*k3 + 0 + k - 1 - 7*k3 - 8*k**2. Let q be u(8). Solve 3*s + 4 = q*s for s.
1
Let t(j) = -j - 1. Let p be t(-4). Suppose 2*r = -8*g + 5*g - 45, 4*g + 60 = -5*r. Let x = g - -18. Solve x = -6*h + p*h for h.
-1
Let v = 3 + -3. Suppose -2*q + 5*q - 15 = v. Let a = -4 + q. Solve -a = -d - 2 for d.
-1