Let i = 11 + -11. Solve -2*d = -i*d + 2 for d.
-1
Let t(z) = -z3 + 11*z2 - 9*z - 9. Let l be t(10). Let p(q) = q + 2. Let f be p(l). Solve -3 = -2*x + f for x.
3
Suppose -4*f = -f + b - 10, -5*b = f + 20. Suppose 4*p - 10 = -f*s, 3 - 7 = s + 2*p. Suppose -2*h = 5*u - 25, -7 + 0 = -4*u + h. Solve -u*j + 3 = -s for j.
3
Let k(p) = 2 - 3*p - 3*p - 3 - p. Let x be k(1). Let c = x + 8. Solve -t - t - 10 = c for t.
-5
Suppose 0 = 2*d + d - 3. Let h be 0 + (-1 - d/(-1)). Solve a + 1 + h = 0 for a.
-1
Let z(v) = v3 - 20*v2 + 37*v - 8. Let f be z(18). Solve -r = r + f for r.
-5
Let v = 2 - 0. Let b be 2 + v + (-4)/4. Let x be ((-9)/4)/(3/(-8)). Solve 0 = d - b*d + x for d.
3
Suppose -8 = -3*v - 2. Suppose 0 = -v*y - 6, -a = a + 4*y + 8. Solve a*b - 7 - 3 = 0 for b.
5
Let q = -3 + 1. Let z be q2(-3)/6. Suppose z*n = n + 6. Solve 0 = 4*w + 14 + n for w.
-5
Suppose 11*m - 100 = 6*m. Solve 0 = -5*k - 0*k + m for k.
4