Let b be (-3)/(1/(2⁄3)). Let k = 3 + b. Let g be 2 + (2 - 3)/k. Solve 2*d = g - 5 for d.
-2
Suppose 0*n = 3*n - 9. Suppose -z + 2*c - 6 = 0, -7*z = -2*z - 4*c + 6. Suppose 2*b - m + z*m - 8 = 0, 2*b - 8 = n*m. Solve 2*v - b*v + 8 = 0 for v.
4
Suppose 0*i + 12 = -3*i. Let h = 8 + i. Solve 2*z + 4 = h*z for z.
2
Suppose -k - 4 = 5*o - 3*o, -4 = 2*k + 2*o. Solve k*b = 3*b - 3 for b.
1
Let n be (-2)/7 - 8/(-28). Suppose 0 = 2*k + 3 - 7. Solve n = -k*w - w + 6 for w.
2
Let i(w) = -w - 10. Let f be i(-8). Let z(n) = -2*n - 1. Let s be z(f). Suppose 0 = -5*j + 5*v + 10, -3*j + 3*v - 10 = -4*j. Solve -s = 5*t - j*t for t.
-3
Let q = 6 + -4. Suppose -16 = 3*z - 5*v, 0 = 2*z - 2*v + 11 + 1. Let r be (z - -3)/(1 - 3). Solve -r - q = -2*l for l.
2
Let j(y) = -y3 + 4*y2 + 7*y - 7. Let i be j(5). Suppose 0 = b - i - 1. Suppose 0 = 2*c + o - 7, 4*c + b*o = 13 + 3. Solve -c*q - 12 = q for q.
-3
Let n = -1 + 1. Let c be 2 + -2 + n + 0. Let q(i) = -i**2 + i + 2. Let x be q©. Solve z + x = 2*z for z.
2
Suppose -5*g = -5*s + 65, -g = s + 3*g + 12. Solve s = -d - d for d.
-4