Let c(s) = -3*s2 + 4*s2 + 0*s2 + 0*s2 - s + 1. Let f be c(2). Solve -f*m + 8 = -4 for m.
4
Let b(y) = -7*y2 + y. Let g be b(1). Let h(l) = -l3 + 12*l**2 + 2*l - 18. Let r be h(12). Let m = g + r. Solve 5*k - k - 20 = m for k.
5
Let s(j) = -3*j - 1. Let b be s(-2). Suppose -3*f = -b*f + 10. Solve 0 = -4*h + f*h - 1 for h.
1
Let x(a) = 5*a**2 - 2*a - 3. Let m be x(3). Suppose 28 = 4*l - m. Let r be 1/(-4) - (-20)/l. Solve -2*v - r + 5 = 0 for v.
2
Suppose -4*f = -3f - 2. Let j be f(-9)/6 + 3. Solve j = -2*v - 0*v for v.
0
Let o be 21/(-49) + 115⁄7. Solve o = 7*r - 3*r for r.
4
Suppose 4 = 2*u - 6. Suppose -u*l = 5*j - 25 - 10, -2*j + 3*l - 1 = 0. Solve 0 = -a - a - j for a.
-2
Let r be 6/(-27) + (-40)/(-18). Suppose r*w = 8 + 4. Suppose 0*i = -2*i + w. Solve -4*n + i = -5 for n.
2
Suppose r + 4*r - 4*n - 18 = 0, 0 = 3*r - 3*n - 12. Solve r*u = -2*u for u.
0
Let n(t) be the first derivative of -t**2 - t + 4. Let g be n(-3). Solve g*o - 3 = 2 for o.
1