Let q = 7 + -5. Solve -q*l = -2 - 2 for l.
2
Suppose 9*o + 2 = 10*o. Solve -o*k = k for k.
0
Let l(v) be the third derivative of v5⁄60 + v4⁄24 - 5*v3⁄6 + 5*v2. Let s be l(-3). Solve -2*j + j - s = 0 for j.
-1
Let g be 4⁄1*(-35)/(-28). Solve g = -0*z + 5*z for z.
1
Suppose 0 = 5*s + 4 + 16, 5*x + 2*s + 8 = 0. Let k(g) = -g3 - 8*g2 + 9*g - 2. Let d be k(-9). Let c = x - d. Solve i = 2 + c for i.
4
Let h = 111 + -427. Let o be h/(-26) - (-2)/(-13). Suppose o = 2*l - 0*l. Solve -l = -4*g + 2 for g.
2
Suppose 16 = 4*g, -m - 3*g + 26 = -2*g. Let q = -18 + m. Solve q*z = 8 - 4 for z.
1
Let l(q) be the first derivative of -q**2⁄2 + 3*q - 4. Let f be l(-3). Suppose -4*m = -2*c - f, -2*c + 0*m = -2*m + 2. Solve -3*n - c = 2 for n.
-1
Suppose 0 = f - 2*x - 4, -4*f + 32 = -0*x - 4*x. Suppose 0 = 6*q - 3*q - f. Solve 2 = -2*b + q for b.
1
Suppose 44 = 3*g + i, 2*i + 1 = -1. Solve -g = 4*w + 5 for w.
-5