Let o = -47 - -47. Let u(h) = -h - 2. Suppose -2*y = -2*x - 20, 0 = 5*x - 2*y + 4*y + 22. Let n be u(x). Solve n = -k - o for k.
-4
Let t(g) = -2*g - 6. Let v be t(-7). Suppose 4*z - 32 + v = 0. Solve 3*d = z + 9 for d.
5
Let k be (1/(-3))/((-2)/12). Solve -2*b - k*b = 4 for b.
-1
Let c be 3/(6/(-8))*-2. Let w(j) = j3 - 5*j2 - 10*j - 16. Let n be w(7). Solve c = 5*x - n for x.
4
Let m be 1*(2 - 3) - 1. Let h be (24/(-18))/(m/3). Solve -3*b - 25 = h*b for b.
-5
Let b = -26 + 28. Solve -b*f + 7*f = 0 for f.
0
-5
Let o(f) = -f + 5. Let i(m) = -3*m + 9. Let t(j) = 4*i(j) - 7*o(j). Let l be t(1). Let q be (12⁄8)/((-3)/l). Solve -q + 3 = k for k.
1
Let d be 5*((-14)/(-5) - 2). Suppose d = v + 1. Suppose 0 = 3*w - 4*q - 27, 2*q + 12 = v*w - 9. Solve 5 = -w*y - 0 for y.
-1
Let v(q) = -q**2 + 7*q + 16. Let d be v(8). Solve -d = m + m for m.
-4