Suppose 5*h + 17 = 4*d, -5*h = 3*d - 0*h - 39. Solve -6 + d = -2*p for p.
-1
Let v be (0 + 2)/2 - -1. Solve 0 = -s + 1 + v for s.
3
Let c(k) = k**2 + 11*k + 15. Let z be c(-11). Suppose 3*j - z + 0 = 0. Solve -j*g - 22 = 3 for g.
-5
Suppose 4*s - 40 = -36. Solve 0*c = -c + s for c.
1
Let l be (-3)/15 - 61/(-5). Suppose 0 = p - 3*p - 12. Let x = l + p. Solve x = 3*v - 0*v for v.
2
Suppose 4 = x + n, x + 2*n = 5 - 4. Solve 3*g - x*g = 16 for g.
-4
Let d = 15 + -9. Suppose x - d = -1, -5*o + 3*x = 5. Solve 0 = 4*r - o + 10 for r.
-2
Suppose 0 = 5*h - 57 - 133. Suppose -2*j + 34 = -h. Suppose 2*u + u = j. Solve 3*x = u - 3 for x.
3
Let g(f) = 12*f + 36. Let t be g(-3). Solve t = -0*j + j for j.
0
Suppose -5 = -4*i + 15. Solve i*n + 5 = -5 for n.
-2