Let u = 6 + -5. Solve -3*k + u = -8 for k.
3
Let r = 6 - 4. Let c(u) = u + 8. Let b be c(-3). Solve -b*z + 22 = r for z.
4
Let q = 31 + -6. Solve f = -4*f - q for f.
-5
Let b = 71 + -45. Let d be (-2 - -6)*b/4. Solve 4*y = -d + 10 for y.
-4
Suppose 12 = v + 3. Suppose -9*m + v = -6*m. Solve -m*a = -2*a for a.
0
Suppose 3*q - 11 = 3*w + 4, -4*q = w - 5. Let m(t) = -7 + 2*t2 - 7*t2 + 3*t2 + 3*tq + 3*t. Let x be m(-5). Solve x*a + 4 = 1 for a.
-1
Let o = 6 + -3. Let j be 1/(-2)*(3 + -3) - -8. Solve q + j = o*q for q.
4
Let z be 30⁄2 + (2 - 1). Let r(w) = w**2 - 3*w - 1. Let o(n) = -n - 1. Let c be o(-5). Let m be r©. Solve -m*b - b = -z for b.
4
Let w be 13/((-156)/(-8))*(-6)/(-4). Solve 3*y + w = -8 for y.
-3
Let i be (10⁄4)/(1⁄2). Let f(k) = -2*k - 12. Let g be f(-8). Solve -2 = i*s - g*s for s.
-2