Let x(g) = -15*g3 + g2 - g - 2. Let z be x(-1). Solve 4*n - z = -n for n.
3
Let b = -84 + 86. Let u(o) = o3 + o2 - o. Let w be u(1). Suppose 3*h - 5 = 4. Solve -b*a - h = -w for a.
-1
Let k® = r - 3. Let o(i) = 2*i - 1. Let s be o(4). Let g be k(s). Solve -v = -0*v + g for v.
-4
Let i = 6 + -4. Suppose 4*t = -j - 5, 0 = -i*t + 1 - 9. Solve -4*f - j - 5 = 0 for f.
-4
Let r = -16 - -18. Suppose -5*j + 30 = r*i, -2*i + 3*i - 3*j + 7 = 0. Solve -2*c + 6 = -i*c for c.
-2
Let x be 5/(-2)*(0 - 2). Solve -12 = k - x*k for k.
3
Let t = -1 - -4. Let a = 11 - 6. Suppose -a*c = -c. Solve t*q - q + 4 = c for q.
-2
Let r(o) = -o3 + 5*o2 + 6*o - 7. Let b be r(6). Let q(j) = -j3 - 5*j2 + 11*j + 7. Let i be q(b). Suppose -i - 6 = -2*w. Solve -8 - w = 5*k for k.
-5
Suppose 0 = -2*d - 2*d. Suppose 7*a - 37 = -9. Solve d = a*l - 2*l + 6 for l.
-3
Suppose 2*h + 2*h + s = 7, 0 = -3*s - 15. Solve 0 = h*k - 2 + 14 for k.
-4