Let z be (5*6)/5 - 4. Solve -z + 18 = -4*s for s.
-4
Suppose 0 = -4*r + 7 - 19, -l - 5 = 4*r. Let m = 8 - l. Solve 0*d - m = -d for d.
1
Let h be 1 + (-3 - (1 + -2)). Suppose -20 - 4 = -2*o. Let y be 51/o + h/4. Solve -y*m - 3 - 1 = 0 for m.
-1
Let s(p) = p3 + 9*p2 + 8*p + 4. Suppose -5 = h + 3. Let t be s(h). Suppose -t = -4*x - x + 2*i, -4*x - 4 = -4*i. Solve -x*o = -3*o - 3 for o.
-3
Let r = 9 - 5. Let t = 18 + -16. Suppose t = 3*b - 2*y, y - 6 = -4*b + r. Solve v + 12 = -b*v for v.
-4
Let g = -14 + 19. Solve 4*n - 4 = g*n for n.
-4
Let a be (1 + (-1)/2)*0. Suppose 0 = -s - a + 5. Solve -3*x = s - 2 for x.
-1
Suppose 0 = -7*g + 6*g - 19. Let i = 32 + g. Solve i = 4*d - 3 for d.
4
Suppose -9*h + 10 = -4*h. Solve h*y - 6 = -0 for y.
3
Let v = -52 - -76. Solve -3*r + 9 = v for r.
-5