Let g be (-6)/21 + 6⁄21. Solve -2*x + x + 3 = g for x.
3
Suppose 5*g - 3 - 27 = 0. Let z = -1 + g. Solve 2 + 8 = z*s for s.
2
Let u be 24⁄10 - 10⁄25. Let w be u + -1 + (-1 - -3). Solve 6 + w = -3*b for b.
-3
Let b be (1 - (-5 - -3))/(-2 + 3). Solve -b*w - 5 = -8*w for w.
1
Suppose 4 + 20 = 4*z. Solve -3*l + z*l = 3 for l.
1
Suppose -3*n = 2*n. Suppose 0 = -4*a - 8 - 4. Let o = n - a. Solve -7 = -o*z + 5 for z.
4
Let h be 81⁄63 + 4/(-14). Solve -2*x - h = -5 for x.
2
Suppose 3*i + 2*i - 5*b = 10, -5*i - 2*b = -38. Suppose -2*k = k - i. Solve 0 = -k*q - 5 - 1 for q.
-3
Suppose 3*y - 6 = -0. Let a(w) = -w3 + w2 + 2*w + 1. Let t be a(y). Solve t = j - 3 for j.
4
Suppose -4*p + i = -9, 2*p - 3 = -0*i - i. Suppose p*w = -6*b + 3*b - 2, -2*b + 2 = -2*w. Let z(q) = -q**2 - q + 3. Let y be z(b). Solve -g = -y*g for g.
0