Let c be 16⁄40 - (-16)/10. Let d = -20 - -28. Solve 6*s = c*s + d for s.
2
Suppose 2*p - 6*p = -8. Solve g + p*g = 0 for g.
0
Suppose 0 = 6*q - 13*q + 70. Solve 2*d = q - 4 for d.
3
Let s be -6 - (3 - (-1 + 1)). Let p = 11 + s. Solve 0 = -t - 0*t + p for t.
2
Suppose 0 = -4*p + 4*z, 4*p = 5*z - 0 - 3. Suppose 0 = -q + 4, -3*f + q - 2 = -13. Suppose 0 = -w + 1 + f. Solve w*t + 3 = p*t for t.
-1
Suppose -5*a - 3*v = -2*v - 21, -2*a + 2*v = -18. Suppose 0 = a*c - c - 8. Suppose 2*m - 2 = c. Solve 0 = m*y - 0 - 2 for y.
1
Let q(j) = -j3 - 7*j2 - j - 3. Let b be q(-7). Suppose 4*r = 3*w + 20, 4*w - 4*r = -w - 20. Solve w*s = b*s for s.
0
Suppose -2*t + 2*j = -3 - 7, t = -2*j - 4. Suppose -2*w - t*r + 3*r + 6 = 0, -5*w + 15 = -5*r. Solve -2*x + 10 = w*x for x.
2
Let p = 115 + -110. Solve p = -n + 6*n for n.
1
Let v = -18 - -10. Let o(l) = l**2 + 7*l + 1. Let n be o(v). Suppose -b = 2*h - 2*b - 11, -b - 7 = -h. Solve n = -h*i + i for i.
-3