Let v(n) = -n3 + 2*n2 + n + 1. Let p be v(-2). Let j(g) be the first derivative of -g**2⁄2 - 5*g + 3. Let l be j(-10). Solve -l*s + 0*s = p for s.
-3
Let q(m) = m**2 - 2*m - 3. Let g be q(4). Suppose g*d + 3 = -4*i, i + 7 = 3*d + 2*d. Let t = -2 - i. Solve t = y + 2 - 1 for y.
-1
Suppose 20 = -3*i - i. Let x be (4/i)/((-3)/15). Solve x*f + 4 = 2*f for f.
-2
Suppose -2 = 3*m - 17. Suppose 0 = 2*b + m - 9. Suppose 0 = -2*l + 4 + b. Solve 15 = l*p + 2*p for p.
3
Suppose -4*c + 9*c = 0. Suppose 7 = -2*l - 5*f - 7, f = -3*l - 34. Let s = l - -17. Solve -z + 6*z + s = c for z.
-1
Let y = 12 + -12. Suppose 2*r + 1 = r. Let q be (0 + 0)/((-1)/r). Solve q = b - y*b + 2 for b.
-2
Suppose 2*y + 4 = -2*h + 6*y, 3*h + y = -6. Let o = h - -6. Suppose 8*z = -s + 3*z + 14, -s = -o*z - 5. Solve t + s = 4*t for t.
3
Suppose 4*b + 10 = -b + 4*r, -5*r = -2*b - 21. Let o(p) = -3*p3 + 4*p3 + 2*p2 - 2*p3 + p**2 - 2. Let c be o(b). Solve c*t + 0 = -2 for t.
-1
Suppose 2*h - 112 = -5*p, -3*p + 2*h - 46 = -5*p. Let b be 8 - ((3 - 0) + -1). Suppose 4*y - y = 4*k - 2, 2*k + b = 5*y. Solve -y + p = 5*v for v.
4
Let z(t) = t + 16. Let c be z(-11). Let k be 3/(-2)*8/(-6). Solve -c*b + 3 = -k for b.
1