Let y be (2 - 0)/((-4)/(-6)). Suppose 4*z = -12, 4*z + 12 = 3*c + z. Solve c = -y*o - 2 for o.
-1
Suppose 15*h - 16*h + 1 = 0. Solve 2*i - h = -5 for i.
-2
Let i = 28 + -28. Solve 4*y + 0*y - 16 = i for y.
4
Let w = 68 + -62. Solve -4 = -2*p + w for p.
5
Let s be ((-40)/(-6))/((-8)/(-12)). Suppose -5*o = -15, -d = 2*o - 6*o + s. Solve 3*v - 7 = d for v.
3
Let y = 2 + 0. Suppose 8 = -0*h + y*h. Solve -4*u - h = -0 for u.
-1
Let k = 32 - 25. Solve 3 = -2*z - k for z.
-5
Suppose -4*d + 4*u = -4, 2*u + 2*u = -4*d + 4. Suppose -5 = -5*a - 0*b + 5*b, -3*b = -2*a + d. Solve 7*r - a*r = 25 for r.
5
Let r be (-24)/(-10) + 6⁄10 + -1. Solve -1 = r*v - 9 for v.
4
Let j = 3 - -2. Suppose 0*c - j*c = 5. Let r(y) = -y**2 - y. Let k be r©. Solve k = -4*v + 13 + 7 for v.
5