Let k be (68/(-6))/((-1)/(-3)). Let t = -20 - k. Suppose 5*f - 27 = g, -3*f = -g - 3 - t. Solve -2 = -f*s + 3 for s.
1
Let u be (-4)/16 - 18/(-8). Suppose 0 = -u*y + 4*y. Suppose 3*v = -y*v + 6. Solve -3*j = v*j - 25 for j.
5
Let w = 17 + -16. Solve -3 = p + w for p.
-4
Suppose 0 = 8*d - 12*d + 12. Solve d = 3*o - 2*o for o.
3
Let p be 2*(9/(-6))/3. Let c(o) = -3*o. Let q be c(p). Suppose -w - 9 = 2*w + 3*g, 0 = 2*g + 6. Solve 0 = -w*k + q*k - 6 for k.
2
Let q be 8⁄1 + -6 + 1. Solve 5 = q*t - 7 for t.
4
Let k be 8⁄3 - 1/(-3). Suppose -5 = -k*f + 7. Solve 0 = f*r - 15 - 1 for r.
4
Let v(q) = q3 - 2*q2 - 6*q + 1. Let n = 13 - 9. Let a be v(n). Suppose 2*h + h - a = 0. Solve 0 = -u - h for u.
-3
Let f(s) be the third derivative of -s6⁄120 - s5⁄20 - s4⁄8 - s3⁄3 - 5*s**2. Let k be f(-2). Solve -15 = -k*x + 3*x for x.
-5
Suppose -2*w - 2 = -4*j, 0*j + 2*j + 2 = 2*w. Suppose 4*f = 1 + w. Suppose -f = 3*i - 16. Solve 6 = 2*l - i*l for l.
-2