Let y(s) = -s2 - 6*s - 7. Let z be y(-6). Let k(f) = f3 + 7*f**2 - f - 2. Let i be k(z). Suppose 0 = -h + i*h. Solve h = 2*v + 3*v - 25 for v.
5
Let d(x) = x3 + 5*x2 + x + 5. Let u be d(0). Solve -a + u - 6 = 0 for a.
-1
Let u = 69 - 64. Solve 3 = u*c - 12 for c.
3
Let l = -6 - -4. Let f = -2 - l. Let k be (-102)/(-27) + 2⁄9. Solve f = -x + 5*x + k for x.
-1
Let q be -4*5/(-8)*2. Solve 1 - 11 = -q*i for i.
2
Let o be 8/(-12)*(-54)/(-4). Let v be 2*1/(-2)*o. Solve 0*d - v = 3*d for d.
-3
Let u be 2/(-3)*(3 - 0). Let j be -4*u/4 - -2. Suppose -7*m = -j*m - 6. Solve 0*k = -m*k for k.
0
Suppose 9*x - 18 = -0. Solve 4*g - 2 = x for g.
1
Suppose 0*s - 14 = -7*s. Solve -s*k + k + 4 = 0 for k.
4
Let h(i) = -i3 + 7*i2 - 5*i - 2. Let p(y) = 2*y3 - 14*y2 + 10*y + 4. Let d® = 7*h® + 3*p®. Let w be d(6). Solve -w*m = -0*m + 8 for m.
-2