Let s = 2 - 0. Suppose -s*v = -11 - 1. Solve -1 = z - v for z.
5
Suppose -4*r + 16 = 4*r. Solve 3*i - r = 4 for i.
2
Let z be -1*1/(1/(-2)). Let c = -7 - -12. Suppose -c*v = -5*r - 25, 0*v - 3*r - 11 = -v. Solve -4*a = -z - v for a.
1
Suppose 1 = -5*a - 9. Let t(z) = 2*z**2 + 3*z + 3. Let v be t(a). Suppose 0 = l - 5*l + 5*y - 2, -4 = -5*l + 3*y. Solve v*r = 4*r + l for r.
2
Suppose -7*o = -11*o + 8. Suppose -o*d + 10 = 4. Solve -d*w = 2*w + 5 for w.
-1
Suppose 0 = 5*d - 0*d. Suppose -3*j = 0, 2*f + d*j - 40 = j. Solve f = a + 3*a for a.
5
Let r = -7 - -8. Suppose 4*a - r - 7 = 0. Solve 0 = -a*x - 3*x - 10 for x.
-2
Let t(y) be the third derivative of 0 + 3*y2 - 1⁄24*y4 - 1⁄2*y**3 + 0*y. Let q be t(-7). Solve 5 + 15 = q*l for l.
5
Suppose 8 = 2*q + 2. Solve 0 = -q*k - 4 - 8 for k.
-4
Let p(s) = 2*s - 5*s3 + 4*s3 + s + 2. Let x be p(-2). Solve -5*u = -14 + x for u.
2