Let b = 0 + 0. Solve b*t = -2*t for t.
0
Suppose -15 = 2*w - 0*b - b, -25 = -5*b. Let d = 1 - w. Solve -3*i + d = -i for i.
3
Let t be 2/(-2)*(-2 + 2). Suppose 2*f - 5 = 1. Suppose -4*i = -8, 4 - 9 = y - f*i. Solve y = -t*c + c for c.
1
Let u(q) = q3 - 4*q2 + q - 1. Let l(o) = -o**2 + 7*o - 2. Let j be l(6). Let y be u(j). Let z = y + -1. Solve -2*k - 4 = z*k for k.
-1
Let b(y) = -y + 11. Let g be b(8). Solve -g*x + x = 10 for x.
-5
Let m = 28 + 0. Solve 3*t + 13 - m = 0 for t.
5
Suppose 0 = 3*i - 4 + 13. Let m(f) = -f - f2 - f3 + 0*f - 1 + 2*f + 2. Let t be m(i). Solve -t = 4*l - 0 for l.
-4
Suppose -9*c + 40 = -59. Solve 0 = -5*u + c + 4 for u.
3
Let k = -53 - -49. Let p = -1 - -5. Let q = p + k. Solve 5*h = -q*h for h.
0
Let u be (-1 - -1 - 1) + 1. Suppose u*z = -4*z - 8. Let q = 4 + z. Solve -q*v - 5 = -v for v.
-5