Suppose d + 3*u = 5, 2*d + 7*u - 2*u = 13. Suppose k + k - d = 0. Let n be 2/(-10) - (-5)/25 - -3. Solve 4 = n*v - k*v for v.
-1
Let k = 5 - 13. Let i be (-94)/(-14) + k/(-28). Let a = i - 7. Solve 2*f + 0*f + 10 = a for f.
-5
Let o(p) = -p**2 - 6*p + 10. Let a be o(-6). Solve 4*g = -g + a for g.
2
Suppose -4*u - 5 = -37. Suppose -3*b + 22 + u = 0. Solve b = -4*l + 2 for l.
-2
Let w(o) = o + 14. Let u be w(-11). Solve u*x = -1 - 5 for x.
-2
Let h(d) = -d3 - d2 + 2*d - 3. Let r be h(-3). Let m be 1 - 1 - (-1 - r). Let p = -16 - -21. Solve -p = 3*t + m for t.
-5
Let y be (-16)/((-4)/2) + 0. Let h be -2*(-2)/(-4) + 4. Suppose y = h*k - k. Solve 5*u - 4*u - k = 0 for u.
4
Let g(a) = -a3 - 3*a2 + 3*a - 3. Let v be g(-4). Let c be ((-2)/2 - -5)*v. Solve c = n + 2 for n.
2
Let v(x) = -x**2 + 5*x. Let s be v(5). Suppose 30 = 6*k + 6. Suppose n + 0*n = 0. Solve n = k*z - s*z for z.
0
Suppose -2*y = g + 9, 0 = 5*y + g - 0*g + 24. Let s(i) = -i**2 - 6*i + 5. Let p be s(y). Solve -p = 5*c - 3*c for c.
-5