Suppose -5*g = -2*g - 12. Solve -5*i + 6 = -g for i.
2
Let s = 22 + -15. Let c = s + -4. Solve 2 = k + c for k.
-1
Let x = 0 + 2. Let c = x + -2. Suppose c*f + 1 = f + 3*o, 0 = -4*f - 3*o + 31. Solve 2 - f = 4*i for i.
-2
Let z(b) = 2*b - 28. Let v be z(12). Let m = 4 + v. Solve m*u + 4*u = -8 for u.
-2
Let j be (-2 + 0)/(4/(-8) + 0). Solve -r + j*r - 3 = 0 for r.
1
Suppose 4*u - c - 28 = 3*c, -3*u = c - 9. Solve u*f = -f - 15 for f.
-3
Let l be 5⁄1 + 1 + -2. Suppose -18 - 12 = -3*g - 3*u, 0 = -l*g - u + 25. Let t be g + -1 + (-2)/(-2). Solve 15 = t*a - 0*a for a.
3
Suppose 5 + 1 = o. Solve a = o*a - 20 for a.
4
Suppose 3*z + 28 = 4*a - 3*a, 3*a = 2*z + 14. Let w = z - -22. Solve 8 + w = -4*y for y.
-5
Let k be (2⁄3)/((-1)/3). Suppose -3*x = -1 + 7. Let t = k - x. Solve 2*j + 2 = -t*j for j.
-1