Let g(y) = -y3 + 3*y2 + 2*y + 4. Let u be g(3). Let w = -32 + 20. Let a be (w/(-20))/(2/u). Solve a*t + 2*t = 10 for t.
2
Let t(i) = 26*i3 - i2 + i - 1. Let x be t(1). Solve -5*j - x + 0 = 0 for j.
-5
Suppose 0 = -9*d + 6*d. Suppose 0 = 7*u - 2*u - 30. Suppose d = 4*a - 26 + u. Solve -a*c + 2*c - 15 = 0 for c.
-5
Suppose -a + 2 + 2 = 0. Suppose 2*k - 6*k = -a. Let j be (2 + k)/(2 + -1). Solve 17 = j*o + 2 for o.
5
Let g = -26 - -28. Solve -3*i = g*i + 10 for i.
-2
Let c = -7 - -10. Suppose -h + c*h = 0. Let y(v) = -v + 4. Let g be y(0). Solve -g*b + 8 + 12 = h for b.
5
Let s = 0 + 5. Let n = 7 - s. Solve -i = n*i + 3 for i.
-1
Let d(p) = -p3 + 6*p2 + 6*p + 13. Let j = 3 - -4. Let i be d(j). Solve i - 1 = l for l.
5
Let n = -9 + 11. Solve -n = -2*b + b for b.
2
Let k be (3 + 0 - -2)/3*3. Solve -k*j - 2 = -12 for j.
2