Let r = 5 + -3. Let s be (-5*(-4)/10 - 2)/(-2). Solve s = -5*y + r*y + 12 for y.
4
Let b be 46⁄8 - (-2)/8. Solve y - 4*y = b for y.
-2
Let l(u) = u**2 - u + 2. Let t be l(2). Solve -i = -t*i + 12 for i.
4
Let m = 15 + -12. Solve 0 = -0*q - m*q + 6 for q.
2
Suppose 0 = -7*n + 33 - 5. Solve -5*q + 4 = -n*q for q.
4
Suppose -3*g + 0*k + 2 = 2*k, 0 = 3*g + 5*k + 4. Let a be 8/(-2) - -3*g. Solve -2 = -a*u + 2 for u.
2
Suppose 6 = b + b. Suppose 4*s + 28 = 2*l, 2*l = -b*l + 2*s + 54. Let y = 14 - l. Solve y*k - 10 = -k for k.
2
Suppose 5*c = -3*w + 5, 0 = -2*c - 6*w + 2*w - 12. Solve 6 = -h + c for h.
-2
Let a(h) = -11*h + 39. Let d(g) = 5*g - 19. Let x(w) = 4*a(w) + 9*d(w). Let l be x(12). Let o be 3 - (l + 1 + 3). Solve 0 = 4*v + 18 - o for v.
-4
Let a be ((-20)/12)/((-4)/12). Solve -a*l = -10 - 15 for l.
5