Let k = -4 - -7. Solve -m + 2*m = -k for m.
-3
Let t = -151 - -152. Solve -v + 2 = t for v.
1
Let z(g) = g3 - 11*g2 - 10*g - 18. Let t be z(12). Solve -t*a + 5 = -a for a.
1
Let r = 4 + -3. Let j = 5 - r. Let u be 7*j*9⁄42. Solve -2*g = -0*g + u for g.
-3
Let h(v) = -2*v - 2. Let k be h(-2). Suppose 0 = 4*i - 3*r - 3, -i + 3*r = -3*i - 3. Let d = i + k. Solve 5*y + 3 = -d for y.
-1
Let h = -27 - -9. Let d = -16 - h. Suppose -i + 5*i - 60 = 3*a, 2*i - 30 = -5*a. Solve -d*m + i = m for m.
5
Let a = -114 + 118. Solve -r + 5 = a*r for r.
1
Suppose -2*b + 0*b = -26. Let t = b + -11. Solve 6*r + 4 = t*r for r.
-1
Suppose 0 = 2*s - 8*s + 12. Solve 0 = -4*x - 2 - s for x.
-1
Let x(a) = a + 6. Let g = -12 + 6. Let f be x(g). Suppose -4*r + 18 = -5*m, 0 = -0*r - 4*r + 2*m + 12. Solve -r*l + 0*l + 4 = f for l.
2