Let s(i) = i**3 - i. Let y be s(-1). Solve -2*m = -y*m for m.
0
Suppose 8*x - 3*x + 50 = 0. Let m be (x/(-2))/(-3 + 4). Solve m = 4*c - 5*c for c.
-5
Let t(u) = u + 1. Let v be t(1). Suppose -v*a + 5*a - 3*d - 18 = 0, -3*d = 5*a + 2. Suppose -15 = -a*q + 5*x, 0 = 7*q - 5*q - 2*x - 24. Solve 4*o - 1 = q for o.
4
Let j(d) = d - 11. Suppose 3*w - 33 = -3*k, -43 + 6 = -3*k + w. Let t be j(k). Solve -4 = -5*g + t for g.
1
Let o(b) = -b3 + 4*b2 + 4*b. Let g be o(4). Suppose g = 4*l - 0. Solve -3*f = -l*f for f.
0
Suppose -3*q - 4*o + 29 = -0*q, 0 = 5*q + o - 20. Suppose -3*t = -3*j, 2*j - 2*t - 4 = -j. Solve -q = j*u - 15 for u.
3
Let a = 8 - 2. Solve -n + a - 3 = 0 for n.
3
Let h(u) = -u3 - 3*u2 + u + 3. Let o be h(-3). Let g(t) = o + 1 - 4*t + 0. Let s be g(-1). Solve -s*k + 0*k - 15 = 0 for k.
-3
Let f(s) = -s3 - 5*s2 + 2. Suppose -2*r + 4 + 1 = -t, 4*r = 0. Let d be f(t). Solve -3 + d = y for y.
-1
Let f(y) = 5*y2 + 7*y + 11. Suppose -2*b + 4*b = -18. Let r(s) = -s2 - 2*s - 3. Let n(m) = b*r(m) - 2*f(m). Let u be n(4). Solve -k + u + 0 = 0 for k.
5