Let x = 31 + -15. Solve 3*s = -s + x for s.
4
Let f be 3 + 1/(3⁄6). Suppose -f*m + 10*m = 5. Solve -2*z + m = 5 for z.
-2
Suppose c - 2*n + 4 = 0, 4*c - 3*n + 2*n = 5. Let i = 8 + -6. Solve -a = i + c for a.
-4
Suppose 0 = -r + 4 + 2. Solve -o = o - r for o.
3
Let s(o) = -o3 + 5*o2 + 8*o - 7. Let h be s(6). Suppose -2*c = -h*c + 15. Solve -2*j = -3*j + c for j.
5
Suppose -8*q + 9*q - 1 = 0. Solve -q = -4*b + 15 for b.
4
Let a(t) = -t3 + 3*t2 + t + 4. Suppose -4*y + 1 = -11. Let d be a(y). Let q(u) = u3 + 2*u2 + 2*u + 6. Let c be q(-2). Solve d - c = 5*s for s.
1
Let o(m) = -m + 2. Let y be o(1). Let t = -2 + 1. Let l = y + t. Solve l = 5*h + 13 + 7 for h.
-4
Let o be ((-3)/(-4))/((-18)/(-48)). Suppose -5*a - 15 = -o*b, -2*a = -7*a - 15. Let s be 3 + 0 - (3 + b). Solve j + 2*j + 15 = s for j.
-5
Let t(k) = k + 5. Let r be t(-5). Suppose 0 = -r*f - 5*f + 20. Suppose 4*h - 3*m - 23 = 0, -5*h - 2*m + 27 = -f*m. Solve 0 = 3*v + 2*v + h for v.
-1