Suppose k + 2*k - 3 = -3*b, -5*k - 45 = -5*b. Suppose -40 = -0*c - b*c. Solve -c = -3*d + d for d.
4
Let x(u) = 2*u**2 + 5*u + 3. Let k be x(-3). Solve -2*f = f - k for f.
2
Let k = 3 + 3. Suppose y - 3 = 4*c - 18, -3*c - 2*y + 3 = 0. Let f be c + k - (-1 + 0). Solve -u - u = -f for u.
5
Suppose 14 + 6 = 4a. Let m be a-1(-18)/(-15). Let h be (-32)/10(1 + m). Solve 0 = 3*y + h - 7 for y.
-3
Let w = -310 + 313. Suppose 0 = -5*k - 6 + 66. Solve -w*x - x = -k for x.
3
Let m = 19 - 10. Let d = 19 - m. Solve -2*y + d = -4*y for y.
-5
Suppose -3*l + 0*l + 12 = 0. Solve p = -p - l for p.
-2
Suppose 4*c - 7 = 3*v, -v = -0v + 5. Let d be (-3 - -3)/(c - 0). Let s be 3(1 + (-2)/(-6)). Solve -t - 8 + s = d for t.
-4
Suppose 11 = 4*c - 13. Solve -c*s = -3*s - 12 for s.
4
Let h(s) = s3 - 8*s2 + 2*s - 10. Let x be h(8). Suppose 2*m + 3*k = -20 + 91, -5*k + 77 = 2*m. Suppose 3*f - m = 29. Solve -x*l + 2*l = f for l.
-5