Let n(u) = -u + 2. Let k(i) = i3 + 4*i2 + 4*i - 1. Let l be k(-3). Let j be n(l). Suppose -3*f = -4*f + j. Solve -h + f*h = -20 for h.
-4
Let d = 36 + -34. Let r = -1 + 1. Solve -2*u - d = -r for u.
-1
Suppose 0 = -5*k + 5 - 0. Solve -k - 14 = 5*c for c.
-3
Let b = 79 + -76. Solve -4*l + l - b = 0 for l.
-1
Suppose 3*h - 4*h = -4. Let s be (4/h)/(2⁄4). Solve 11 = -3*a + s for a.
-3
Let a = 36 - 29. Solve -15 = -a*f + 2*f for f.
3
Let p = -3 + 3. Let h = 2 + p. Suppose -h*a - 5*x + 20 = a, 5*a + 5*x = 30. Solve a*i + 22 = -3 for i.
-5
Let n = 2 + 4. Let d be 39⁄9 + 4/(-12). Suppose 0 = -0*g - d*g. Solve 3*o = -g*o - n for o.
-2
Let t be -2 + 9 + -3 + 0. Solve 8*o = t*o for o.
0
Let c(t) = -t + 6. Let a be c(10). Let u be (-1)/2 - 22/a. Suppose -2*p - 16 = -u*z, 3*p = z + z - 2. Solve y + z = 3 for y.
-1