Let c be (-2)/(-4) + 27⁄6. Let v = -7 + c. Let x = 1 - v. Solve 0 = -2*m - x*m + 10 for m.
2
Let d = -3 + 6. Suppose 0 + 12 = 5*f + w, 0 = -3*f - 2*w + d. Let y(a) = -a**2 + 5*a - 4. Let s be y(f). Solve -s*i = i for i.
0
Let l be (6⁄4 + 2)*2. Let c(h) = -h**2 + 3*h + 4. Let a be c(3). Suppose 5 + l = a*o. Solve 0 = -s + o*s for s.
0
Suppose 0 = 8*o - 5*o. Solve o*l = -5*l + 15 for l.
3
Let y be (-2)/(-5) + 16⁄10. Let d = y + 0. Suppose 5 + 4 = 4*b + 3*v, 0 = 2*b + 3*v - 3. Solve b*u + d*u + 10 = 0 for u.
-2
Let n = 7 + -4. Let l(v) = v3 - 2*v2 - v. Let b be l(n). Solve -b*d = -d - 20 for d.
4
Suppose -b = 3*h + 4*b - 25, -4*h + 20 = 4*b. Let t be (1 - h) + -1 + 3. Solve -4*a - t = 1 for a.
-1
Let s(z) = z3 + 24*z2 - 27*z - 47. Let a be s(-25). Solve -8*x = -a*x for x.
0
Let p(y) = y**2 - 7*y - 27. Let j be p(10). Solve j*o + 4 - 1 = 0 for o.
-1
Let h(y) = -y + 4. Let x be h(0). Suppose -4*u + x = -3*u. Solve -19 = u*m + 1 for m.
-5