Suppose -2*l - 7*c + 2*c + 129 = 0, 0 = 4*c - 20. Let j be l/(-3) + (-7)/(-21). Let p = 25 + j. Solve -k - k = -p for k.
4
Let a(x) = 6*x. Let n be a(1). Let y(i) = i + 6. Let b = -15 - -11. Let d be y(b). Solve d = 2*t - n for t.
4
Let g = 15 - 9. Solve 4*a - 10 = g for a.
4
Suppose -3*t - 3 = 0, o - 3*t - 2 - 1 = 0. Suppose -4*s + 11 = -a, -s - s + 2*a - 2 = o. Let f be 11⁄3 + 1⁄3. Solve -f = -2*u + s for u.
4
Let g(y) = -y + 20. Let k be g(16). Solve 0*u + u = -k for u.
-4
Let o be -41⁄4-2. Let l be 26⁄12 + o/(-12). Solve -j - l - 3 = 0 for j.
-5
Let n = -2 + 5. Suppose n*b - 14 - 1 = -i, 5*i + 5*b = 25. Solve 3 + i = -3*h for h.
-1
Let s = 68 + -96. Let p = -22 - s. Solve -p*t = -t for t.
0
Suppose 0 = 4*s - 139 + 3. Suppose -p + 4*l + 0*l - 1 = 0, 2*p - s = -l. Suppose -3*m + p = 2*m. Solve m*b = b for b.
0
Let h = -7 + 15. Let k = 14 + -6. Suppose -4*u + k + 0 = 0. Solve 2 = u*x - h for x.
5