Let b = 16 + -31. Let t be (-16)/10*b/6. Solve 2*u = u - t for u.
-4
Suppose 3*w - 4 = -1. Suppose l - w = 3. Solve 15 = l*d - d for d.
5
Let w(n) = n - 3. Let v be w(5). Solve v*i = 4*i - 2 for i.
1
Let d(s) = -s3 - 7*s2 - 7*s + 2. Suppose -3*o - 10 = 8. Let k be d(o). Solve k = -4*x - 4 for x.
-3
Let w(m) = m3 - 4*m2 + m + 4. Let c be w(4). Solve -6*k + 2*k = -c for k.
2
Let a(h) = -1 - 9*h2 - h2 + h3 + 10*h - h2 + 3. Let f be a(10). Suppose 4*l + 5*y - 45 = 0, 3 + f = 5*y. Solve 5*j + l = -5 for j.
-3
Let k be (-6 - 1)*(-3 - -4). Let x = 3 - k. Solve -3*z + x = -8*z for z.
-2
Let l(o) = -2*o3 - 4*o2 - 4*o - 3. Let d be l(-2). Suppose 30 = d*v - 3*v. Suppose 3 = 4*m - w, 2*w + 3 = -3. Solve m = b - 4*b + v for b.
5
Let n(h) = h3 - 3*h2 + 2*h - 3. Let d be n(3). Suppose -4*c + t = 2*t - 17, -15 = -d*t. Solve -c*v - 1 - 2 = 0 for v.
-1
Let c = -1 + 2. Let y be (30⁄18)/((-5)/(-9)). Solve -c - y = -2*d for d.
2