Let b(y) = -3*y - 4. Let d be b(-3). Suppose 0*z - d*z = 0. Solve -2*p + 4 + 2 = z for p.
3
Let i be 24⁄5*(-80)/24. Let y = i + 21. Solve -y*l + 5 = -4*l for l.
5
Let s = 77 - 77. Solve s = -2*l + 6*l + 16 for l.
-4
Let k be 2⁄5 - (-14)/(-35). Suppose x + 17 = -5*v + 5, k = -x + v + 6. Let o = -9 - -19. Solve -x*y - o = -y for y.
-5
Let y(f) = f - 15. Let t(l) = l - 14. Let s(h) = -6*t(h) + 5*y(h). Let w be s(-7). Solve 3*g = -g - w for g.
-4
Suppose 0 = -o - o. Suppose 0 = -4*g + 2*x + 18, 5*x + 13 + 2 = o. Solve -g*w = -5*w for w.
0
Let s = -1 + 6. Suppose d - s*m - 17 - 1 = 0, 5*m = -d - 12. Solve -2*w = d*w for w.
0
Suppose l + 1 = -3*u + 5*u, -u + 11 = 3*l. Solve u*i + i = 15 for i.
5
Suppose 4*s = 4 + 12, -4*s - 44 = -5*f. Suppose 4*p = 3*n - f, 5*p - 16 = -4*n + 2*p. Suppose 0*t = -2*b - 5*t + 21, -n*b + 4*t = 0. Solve b*j = j for j.
0
Let v = 3 - -1. Suppose -v*d = -0*d + 60. Let p = 5 - d. Solve -4*l + p = -0*l for l.
5