Let d(m) = m**2 - 7*m. Let j be d(7). Suppose 0*k + 3*k = 15. Solve j + 20 = -k*f for f.
-4
Let t be 19⁄7 - (-4)/14. Let b be -2 - (t + -6 + 0). Let v = 1 - b. Solve 0 = -5*g - v*g + 15 for g.
3
Suppose 25 = -5*d + 40. Solve -8 = 5*b - d*b for b.
-4
Let n = 8 - 8. Suppose t - 5*d + 6 + 7 = n, t - d = 3. Solve -2 - t = -3*l for l.
3
Let t be 4/(-6) - (-4)/(-18)*-3. Solve 5*j - 12 - 3 = t for j.
3
Let m(i) = -i3 - 5*i2 + 4. Let t be m(-5). Suppose f - 19 = -2*q, t*q = 3*q - 5*f + 14. Let p be 3 + -2 + (0 - -2). Solve p*n + q = -0*n for n.
-3
Suppose 5*j - 45 = -0*j. Let u = -3 + j. Solve 2*t - u = -0*t for t.
3
Let a = 48 + -36. Solve -4*u + a = -8 for u.
5
Let k = -55 - -57. Solve k*h + 12 - 2 = 0 for h.
-5
Suppose 3*f = 5*u - 25, u = -5*f - 4*u + 25. Let i = 1 + f. Suppose -a - 20 = -4*b, a = -2*b + 17 - i. Solve x - 4*x = b for x.
-2