Let q(d) = d3 - 7*d2 - d + 3. Let z be q(7). Let o = z - -12. Solve 2*m = -2*m - o for m.
-2
Let r be ((-5)/(-2))/(105⁄84). Solve r*p - 5 = p for p.
5
Let i = -19 - -31. Solve 0 = 6*f - 3*f - i for f.
4
Let n(l) = -l**2 + 5*l - 3. Let a be n(2). Suppose 2*o = -a*o + 130. Suppose 0 = s + s - o. Solve 0 = 4*d + 7 + s for d.
-5
Suppose 6 = -i - 0*i - 5*h, -3*h = -4*i - 1. Let t = i + 2. Solve 0 = c + t - 2 for c.
1
Suppose -24 = x - 7*x. Solve -x = -0*s - s for s.
4
Let w(y) = -y**2 + 2*y + 6. Let u be w(3). Suppose 4*g - 2*v = 8 + 12, 2*g + 6 = -u*v. Solve x + g*x - 16 = 0 for x.
4
Let r = 26 + -17. Let y = 2 - -2. Suppose 2*v - s - r - 11 = 0, -y*v + 40 = -5*s. Solve c - v = 3*c for c.
-5
Suppose 2 = -f, -4*i + 5*f + 43 = 13. Suppose 5*z - o = -5*o + 35, 0 = -i*z + 4*o - 5. Solve 0 = z*a + 2*a - 5 for a.
1
Suppose 7*z - 4*z = 0. Suppose 40 = 4*a + 4*p, z = -3*p + 4*p - 5. Let c = -5 + a. Solve -4*u - 12 + 0 = c for u.
-3