Let f = -29 - -29. Solve -5*z + 4*z + 5 = f for z.
5
Let z(k) = 2*k - 2. Let u be z(1). Solve -5*l - 6 - 4 = u for l.
-2
Let s(j) = 4*j - 1. Let q be s(1). Suppose -3*p + 31 = 4. Suppose -5*y + 30 = p*b - 4*b, -16 = -4*y. Solve 25 = b*w + q*w for w.
5
Suppose 0 = -2*d + 5*d. Solve d = -2*p + 4*p + 6 for p.
-3
Suppose -2*t - 3 + 15 = 0. Solve 0 = -0*k + 2*k + t for k.
-3
Let b = 2 - 3. Let t be 3/b - (1 - 1). Let i(g) = g3 + 4*g2 - 3*g - 3. Let l be i(t). Solve 0 = f + 4*f - l for f.
3
Suppose 2*q + 1 = 3*q. Solve -2*k = -5 - q for k.
3
Let z© = -c**2 - 6*c + 1. Let p be z(-5). Suppose -4*x = -p*x + 4. Solve x*b + 4 = -6 for b.
-5
Suppose t - 6*t + 3*h + 27 = 0, -4*h - 4 = 4*t. Let s(x) = 4*x - 3. Let b(y) = 2*y - 2. Let c(j) = t*s(j) - 5*b(j). Let f be c(1). Solve -f*p + 2 = -7 for p.
3
Suppose 13 - 8 = z. Solve 2*m = -z + 3 for m.
-1