Suppose z - 2*z + 3 = 0. Let a(l) = l + 6. Let x be a(-5). Let k be ((-2)/x - 1) + 6. Solve k*g = 12 + z for g.
5
Let y = -1 - -13. Solve 0 = -4*m + y for m.
3
Let i be 2 + 1 + 1/(-1). Let x(g) = 4*g + 2. Let y be x(i). Let a = y - 6. Solve -a*z = -15 - 1 for z.
4
Suppose 0 = 4*g + 5*y + 20, 3*y = -2*g - 0*y - 12. Let r = g - -12. Solve 2*p + r = -p for p.
-4
Let u = 11 - 11. Suppose 5*s - 147 = 3*w, -s + u*s + 4*w = -43. Suppose 5*t = 2*t + s. Solve -x = 2*x - t for x.
3
Suppose 0 = 22*l - 10 - 12. Solve o - 3 = l for o.
4
Let y = 2 - 0. Let a be 24/(-15)*15/y. Let u be ((-9)/a)/(2⁄16). Solve u = 4*r - 2 for r.
2
Suppose -4*y = -20 + 4. Solve -d = d + y for d.
-2
Let l(d) = d + 15. Let s be l(-3). Solve -2*q + 5*q = -s for q.
-4
Let n = 14 + -3. Solve -3*b - 2 = -n for b.
3