Suppose -2*z - 1 = 3. Let q be 5 + z/(0 + -2). Suppose 2*r + 14 = 2*j, -3*j - r - 3 = -8. Solve -q = 3*x + j for x.
-3
Suppose -3*x + 122 = o, 3*x - 5*o - 106 = -10*o. Suppose -5*q - 5*j - 29 = 6, 4*j = 8. Let p = 26 + q. Solve p = 5*n + x for n.
-5
Let d = -47 + 57. Solve 8 = -6*p + d*p for p.
2
Suppose 0 = -5*n - 3*j + 32, -7*n + 3*j + 4 = -3*n. Solve -3 = -n*z + 5*z for z.
-3
Let h = 4 + -2. Let a = h + 0. Let w be 2 - 3/((-3)/a). Solve -w*b + 0*b - 8 = 0 for b.
-2
Suppose -p - 4*k = -4*p + 22, -k = -2*p + 8. Solve b - 7 = -p for b.
5
Suppose 4*r - 3*r + 11 = -3*g, g + 21 = 4*r. Suppose 0 = v + r*v + 10. Let f be v*1⁄2 - -2. Solve -3 = 4*y + f for y.
-1
Suppose 17 = 4*f - 3*f - 4*j, -4*f = 3*j + 27. Let v = -3 - f. Suppose 0 = k - v - 1. Solve -s - k = -3 for s.
2
Suppose 5*v = -0*v. Suppose v = w + 2 - 6, 4*n - 5*w + 8 = 0. Solve 0*j + j = n for j.
3
Suppose -2*q - 3*q + 13 = n, 2*n + 5q - 11 = 0. Let f be (n - -3)(6 - 3). Solve j - 1 = f for j.
4