Let q = 10 - 0. Let h = q + 2. Let m = -4 + h. Solve 0*a - m = 2*a for a.
-4
Suppose 5*d = z + 4, 0 = -d - 3*z - 10 - 2. Suppose 0 = 5*q - 3*l + 6, 2*l + 4 - 8 = d. Suppose -4*b + 8 = -2*b. Solve 0 = -q*y + 2*y + b for y.
-2
Let h be 1⁄1*(-9)/(-9). Solve -h = -k - 3 for k.
-2
Suppose -4 = 3*o - 10, -5*c + 12 = o. Suppose -c*m - 4 = -4*m. Solve -2 = m*w - 0 for w.
-1
Suppose 3*z - 1 = 4*r + 6*z, -2*r + 2*z = -10. Solve 0*f - f - r = 0 for f.
-2
Suppose y - 6*j = -3*j + 15, -10 = -3*y + 2*j. Solve y = -5*m - 15 for m.
-3
Suppose 22 + 23 = 3*x. Suppose x = -5*h + 2*y, -3*h + 3*y - 8 = 2*y. Let r be -4*8⁄2*h. Solve 5*l + 41 = r for l.
-5
Let y = -57 - -37. Let f = y - -22. Solve -3*t = f*t + 25 for t.
-5
Suppose t + q + 4*q = 17, -t + 5*q = 13. Solve -t*z + 2 - 8 = 0 for z.
-3
Let k be (-8 - 1) + 4⁄2. Let r = 9 + k. Solve 1 = -z - r for z.
-3