Let c(o) = o3 + o2 + 4*o - 1. Let l be c(-3). Let b be (l + 1)/(-3) - -2. Suppose 2*r - b = -x - 4*x, 2 = 2*x - 2*r. Solve x*u + 6 = -u for u.
-2
Let u be 1-4(0 - 1). Suppose -q + 30 = -4*d, -15 = -u*d - 3*q - 53. Let f = d - -13. Solve 5*m = -5 - f for m.
-2
Let v be 6/(-12) + 10⁄4. Let k be (3 + 0 + -3)/v. Solve k = -3*b - 8 - 4 for b.
-4
Let r(z) = z**2 + 7*z - 8. Let x be r(-8). Suppose 2*s = 5*v - 8, x*v + 4 = -5*v - s. Solve a - 5 + 0 = v for a.
5
Let p(i) = 2*i**2 - i - 2. Let j be p(-2). Suppose 5*d - j = 3*d. Solve -d*u = -2*u - 2 for u.
1
Let i be 1 - (-2)/(6⁄9). Let k = 12 + -12. Solve -4*f = -k*f + i for f.
-1
Suppose 2*v - 9 = 7. Let a = v + -3. Suppose -2*f + 4 = -d - 2*d, -a*f = 5*d - 10. Solve -10 = 5*s - d for s.
-2
Let s = -9 - -12. Suppose 0 = s*b - 8*b. Solve -2 = -b*c + 2*c for c.
-1
Let f = -29 - -18. Let v = f + 16. Solve 5*p - 15 = v for p.
4
Let f(d) = 6*d. Let i be f(2). Suppose -6*t + 4*v = -t - 20, -3*v - i = -3*t. Suppose 0 = -t*r + 2*g + 16, -2*r + 0 + 8 = 5*g. Solve x - r*x + 6 = 0 for x.
2