Suppose 8 = 9*z - 5*z. Solve 6*y = z*y + 8 for y.
2
Let n(s) = s3 - 2 + 3*s + 0*s3 + 3*s3 - 4*s2. Let t be n(2). Solve -t = -6*p + 2*p for p.
5
Suppose -3*b = 0, -4*u - b + 16 = 4*b. Suppose -u = -a - 3*a. Solve 3*q - a = 11 for q.
4
Suppose -2*p = -p. Suppose p = -12*a + 11*a + 20. Solve -6*j = -j - a for j.
4
Let n = -5 - -8. Suppose 3*r - 4*j = -5*j + 15, 1 = -2*r + n*j. Let w = r + 11. Solve w = -i - 4*i for i.
-3
Suppose 2*w - 2 = -8. Let j be (9⁄6 + -2)*6. Let h = w - j. Solve -x + 4*x - 6 = h for x.
2
Let i(y) = y**2 - y - 18. Let l be i(5). Solve 4*s + 6 = -l for s.
-2
Let a = -13 - -16. Let m be -5 + 7 + (a - 0). Solve m*s = 2 + 8 for s.
2
Let t(p) = p + 1. Let d be t(4). Let u(b) = -b + 1. Let a(x) = 3*x - 3. Let k(n) = a(n) + 2*u(n). Let q be k(3). Solve d*r + 3 = -q for r.
-1
Suppose -u + 4 = 3*h, 3*u - 4*h = -u + 16. Solve 5*a + 6 = -u for a.
-2