Let x(d) = d3 - 3*d2 + 1. Let j be x(3). Suppose -2*y - 8 = -4*f, -5*y + 19 = -2*f + 5*f. Solve -f - j = s for s.
-4
Suppose -3*s - 2 = 4, 3*g = 2*s + 19. Let b = 2 - 2. Solve g + b = -d for d.
-5
Let t(w) = w**2 - 5*w + 2. Let u be t(5). Solve 0 = -u*x - 12 + 4 for x.
-4
Let x(p) = p**2 - 6*p - 7. Let b be x(7). Suppose 5 = -4*w + 29. Solve -w*m + m - 5 = b for m.
-1
Suppose 3 + 5 = 2*g. Solve g*q - 3 = 3*q for q.
3
Suppose 3*t - 1 = 8. Let x be ((-80)/6)/(28/(-42)). Solve -2*d + x = t*d for d.
4
Suppose 8 = 5*f - f. Suppose fk = 15 + 15. Let p be 5(42/k - 2). Solve 3*r + 2 + p = 0 for r.
-2
Suppose -3*r = -2*x - 9, r - 8 = -0*x - x. Suppose -w = n - 8, -n - 24 = -x*n - 4*w. Solve n = 3*q - 11 for q.
5
Suppose 5*q + 1 - 26 = 0, q = -3*t + 17. Let r be (-85)/(-68) + 3/t. Solve r*f + f = -6 for f.
-2
Suppose f + 15 = 4*f. Suppose -n + 3 = 0, -3*j = -f*j + n + 5. Solve -j*p = 2 + 6 for p.
-2