Suppose -13*k = -11*k - 10. Solve k*w - 6 = 4 for w.
2
Suppose 2*w = 6 - 2. Let t be ((-2)/(-6))/(w/6). Let a(d) = d3 - 9*d2 + 8*d + 1. Let u be a(8). Solve q = u + t for q.
2
Let u = 6 - 4. Let s(f) = -f**2 + 5*f - 4. Let v be s(2). Suppose -4*d = -v*y + 18, 3*d - 31 + 4 = -3*y. Solve u*k = -k - y for k.
-3
Let i = 3 + -7. Let t = i - -8. Suppose 3 + 9 = t*g. Solve 3*x - g = 12 for x.
5
Suppose -4*x = -0*x - 24. Let t be (16/x)/(1⁄3). Solve 2*b - t = 2 for b.
5
Suppose 2*k = 3*b - 3, -2*b + b + k = 0. Solve -b*z - 4 = z for z.
-1
Let p be (-4)/(4⁄3)*-3. Let f = -5 + p. Suppose 16 = f*d - 0. Solve d*q = 2*q - 2 for q.
-1
Let l be 712⁄44 + 2/(-11). Solve h - l = 5*h for h.
-4
Suppose -4*d = -5*b + 3*b - 18, 6 = 2*d - 2*b. Let s be d/(-9)*9/(-3). Solve -s*m + 6 = -4*m for m.
-3
Let b = 2 + 8. Let w = -10 + b. Solve 3*j + 5 - 2 = w for j.
-1