Let x® = 2*r**2 - 2. Let m be x(2). Suppose -4*y = 2*k - m*k - 28, -19 = 3*y + 5*k. Solve -7 = -y*h + 3 for h.
5
Let s(l) = l3 + 3*l2 + l + 4. Let z be s(-3). Let b(o) = -o**2 + 1. Let y be b(-1). Suppose c - z - 1 = y. Solve c = v - 0*v for v.
2
Suppose 7*w - 10 = 2*w. Solve -w = -t - 6 for t.
-4
Let b be ((-5)/10)/(1⁄22). Let x = -8 - b. Solve -x*m + m = 0 for m.
0
Suppose -4*f - f + 42 = -4*l, -l - 3 = 0. Suppose 0 = -2*z - z - 9. Let m be (0/3)/(f/z). Solve m = -d - 3*d for d.
0
Suppose 4*c + 11 = 5*t, -4*t - 5*c + c = -16. Suppose -4*m + 2*r - 5 = t*r, m - 3*r = 15. Solve m = d - 0 - 1 for d.
1
Suppose -4*i + 12 = -0. Let r be 9 + (2 - (i + -2)). Solve -c = -6*c + r for c.
2
Let u be ((-4)/(-8))/(2⁄20). Suppose 3*p - u*w - 11 = 0, w = -2*p + 4w + 7. Let d be 1(-1 + p) - -3. Solve d*f - 1 = 15 for f.
4
Let d be (-24)/4*1/(-3). Suppose -d*i + b = -12, -25 - 5 = -5*i + 5*b. Solve -4 = -2*r + i for r.
5
Let m = 34 + -29. Solve -w = -2*w + m for w.
5