Let k® = -r**2 + r + 75. Let u be k(9). Let t = -1 + 3. Suppose t = -3*j + 8. Solve -20 = j*f + u*f for f.
-4
Let l(y) = 2*y3 - 5*y2 + 2*y + 1. Let v be l(3). Suppose -3*p = -4*w - v, 3 = 5*w + 8. Solve 0 = 4*b - 3*b - p for b.
4
Let m(j) = 2*j - 8. Suppose t = -2*g - 10, -g - g = 3*t + 10. Let k = 8 - t. Let p be m(k). Solve 3*r = r + p for r.
4
Let i be 0 - (4 + -2 + -5). Solve -i*m + 1 + 2 = 0 for m.
1
Let y© = c + 11. Let l be y(9). Suppose 2*z - 20 = 3*u, z - l = 3*u + u. Suppose -t + 25 = z*t. Solve -t = -4*r - 1 for r.
1
Suppose 4*p - 48 = 2*q + 18, q + 1 = 0. Solve 5*g - 4 = p for g.
4
Let l(b) = -b**2 + 3*b - 3. Let m be l(3). Let h be 3 + m - (1 - 11). Solve -4*p + 2*p = h for p.
-5
Suppose -2*h = -3*h. Let s be 1/(2⁄8 + h). Solve 9*g - 5 = s*g for g.
1
Let p = 10 + -6. Let j be -1 + (2 - 4/p). Solve 5*q - 4*q + 4 = j for q.
-4
Let r(f) = f3 - 3*f2 - 10*f + 7. Let y be r(5). Solve 2 - y = 5*k for k.
-1