Let o(f) = f**2 - 5*f + 4. Let t be o(4). Suppose -2*b = -t*b - 8. Solve -9 = -b*z + 7 for z.
4
Let w = -116 - -119. Solve w*i - 2 = 4*i for i.
-2
Suppose -4*t = -7 - 1. Solve -d = -2*d - t for d.
-2
Let b be ((-8)/(-6))/(4⁄6). Solve 14 = 4*d - b for d.
4
Suppose 2*k - 8 = 6. Suppose k = 4*q - 9. Solve 5*b = -16 - q for b.
-4
Let i be -7*(0 - 1)*1. Solve 2*t + 10 = i*t for t.
2
Suppose 0 = 5*i - 4 - 1. Solve i = -2*u + 7 for u.
3
Suppose 4*f = 0, 5 + 7 = 4*y + 4*f. Solve -y*z - z = 4 for z.
-1
Suppose -6*c + 5*c - 9 = -4*y, 3*c + 5*y - 24 = 0. Let r(v) = -37*v + v3 - 3 + 18*v - 3*v2 + 20*v. Let q be r©. Solve h = -q + 5 for h.
5
Suppose -4*t = 3*s + 14, t = 5*t - 5s - 2. Let f be (0 + 1)(-6)/t. Suppose -f = 5*k + 4*r - 13, 2*k - 5*r = 37. Solve k = -4*q - 2 for q.
-2