Let m(s) = -3*s**3 + 2*s + 1. Let a be m(-1). Suppose a*f + 23 = 5*p - 0*f, 3*p = -f + 16. Solve 0 = -0*b + p*b for b.
0
Suppose -2*n + 0*i = 4*i + 10, 0 = -4*n + 3*i + 24. Suppose -2*c + 5*y = -25, -n*c - 5*y = 2*c + 25. Solve c = -2*d - 0 + 2 for d.
1
Let d be 2 - (-6)/(8⁄4). Let i(z) = z3 - 5*z2 + 3*z - 6. Let w(f) = -5*f. Let t be w(-1). Let p be i(t). Solve d*a - 11 = p for a.
4
Let c be (-1)/(1*(-2)/4). Solve c = -y + 7 for y.
5
Let d = -4 - -5. Let j be (d - 1) + (6 - 3). Suppose 3 + j = 3*u. Solve u*t + 1 = -9 for t.
-5
Let b(m) = 4*m - 2*m - 5 - 3*m. Let s be 1*3/(15/(-40)). Let r be b(s). Solve r - 5 = h for h.
-2
Suppose -3*b + 8 = -2*v, -5*v + 0*v = -4*b + 13. Solve -8 = -b*p - 2 for p.
3
Let a be ((-9)/(-15))/((-1)/5). Let l = a - -6. Solve 2*v = v + l for v.
3
Let o be (-1)/(2/(-10)) + 5 + -4. Solve 0 = -o*t + 4*t - 10 for t.
-5
Let v be 1*-3*2/(-6). Let y = 1 + v. Solve 0*i - y*i - 4 = 0 for i.
-2