Let i(u) = 4*u**2 + u. Let v be i(1). Solve 0 - 5 = v*c for c.
-1
Let p = 108 - 104. Solve p = -b + 3 for b.
-1
Let j be (6 + -4)/(2 + -1). Solve j*m + 16 = -2*m for m.
-4
Suppose 0 = -5*o + 8*o - 12. Solve -n - 1 = -o for n.
3
Let l = -28 - -42. Solve l = 2*a + 4 for a.
5
Let x = 17 + -15. Suppose 24 = x*v + 5*i, 4*v = 5*i - 13 + 1. Solve -4 = -0*w + v*w for w.
-2
Suppose -3*u - 9 = -8*b + 5*b, -12 = -4*u - 4*b. Let w(z) = z3 - 9*z2 + 9*z - 5. Let x be w(8). Solve m - x + 8 = u for m.
-5
Suppose -3*d = f - 16, -d - 2*f - 3 = -0*d. Suppose 4*h - 7 = 9. Let n = d - h. Solve -2*o - n = 1 for o.
-2
Let r = 2 + -3. Let t = r + 5. Solve t*w - 3 = 3*w for w.
3
Let h be 7*(3 + (-3)/(-7)). Suppose -4*t = -h + 8. Solve 5*v + t = 4*v for v.
-4