Suppose -9*x + 4 = -5*x. Let b be ((-2)/6)/(x/(-42)). Suppose -5*c + 18 + b = -4*g, -4*g = 5*c - 8. Solve 3*i = c*i + 1 for i.
-1
Suppose -4*z - 8 = -40. Let q = z - 5. Suppose q*c - 12 = -0. Solve c*h = 5*h for h.
0
Suppose -12 = -4*h, -h = -5*y - 4*h + 24. Suppose y = -x + 6. Solve 2*n = -x*n - 25 for n.
-5
Let t(u) = 2*u - 11. Let l be t(8). Suppose -s - s + 30 = 0. Let g be (0 - 2)2-1. Solve g*h = -l - s for h.
-5
Let s(p) = -11 + 3*p - 1 - 3. Let b be s(6). Solve u - b = -4 for u.
-1
Let z(x) = -x3 + 4*x2 + x + 2. Let h be z(4). Suppose u - h = -u. Solve -4*a = u + 1 for a.
-1
Suppose q + 4 = -4*q + r, 3*r - 12 = -4*q. Solve 3*p = -q*p for p.
0
Let z = 120 - 116. Solve z*q = 6*q + 2 for q.
-1
Suppose -5*i + 3*i = -6. Solve k + i = -2 for k.
-5
Let j = -7 + 7. Solve 0*o + 4*o = j for o.
0