Let a(m) = -16*m + 12. Let v be a(6). Let d be (-3 + -1)*v/48. Let j = -19 + 36. Solve j = 2*t + d for t.
5
Let t = -6 - -7. Let f be 0 + 4*t/2. Solve f*g + 2*g - 8 = 0 for g.
2
Let j be (5 - -1)*2⁄4. Suppose -3*w - 9 + 21 = 0. Suppose 0 = 5*c + 2 - 12. Solve 0 = -j*o + c*o - w for o.
-4
Let y = 0 + 2. Let m(z) = -z2 + 8*z + y*z2 - 2*z**2 + 3. Let o be m(7). Solve -2*h = -0*h + o for h.
-5
Let m = -12 + 5. Let q(s) = s3 + 4*s2 - 4*s - 4. Let x be q(-4). Let z = m + x. Solve z*n = 7 + 3 for n.
2
Let n = 13 + -8. Suppose r = -n*p, 4*p = -r - r. Solve p*i = -i + 4 for i.
4
Suppose u - 2*u = 0. Suppose 2*s = s + 5. Suppose s*j + g = -g + 25, 0 = -2*j - g + 9. Solve 4*v + 13 + j = u for v.
-5
Suppose 5*c + 4 = 14. Solve 3 = -c*o + 5 for o.
1
Suppose 3*z + 3*h + 2*h = -19, 4*h = -2*z - 16. Suppose -t - 1 = -z*t. Solve n = -4 + t for n.
-3
Let h = -22 + 15. Let t = -3 - h. Solve -t*w - 1 = 3 for w.
-1