Let q be (-2)/2 - (-1 - 25). Suppose o - 3*m - q = 0, -13 + 78 = 4*o - 5*m. Suppose 0 = -2*a - 4*v + 12, 0*a + 4*v = -a + o. Solve y + y - a = 0 for y.
1
Suppose 4*g - 7 = o + 2*o, -4*g = 2*o - 22. Suppose -6 - 10 = -g*a. Solve -a - 4 = -2*z for z.
4
Suppose -z - 1 = -0. Let m(v) = -v + 1. Let f be m(z). Solve 4 - 2 = f*n for n.
1
Let t be ((0 - -2) + -12)*-1. Suppose -5*i + 4 = -6. Suppose q - c = 3*q, 2*q + 16 = -5*c. Solve t = -i*v + q for v.
-4
Let y(x) = x3 + 2*x2 + x + 2. Let i be y(-3). Let p = 13 + i. Solve p*u + 7 = 19 for u.
4
Let u(x) = x3 + 21*x2 + 21*x + 20. Let w be u(-20). Solve -4 + w = 2*c for c.
-2
Let r(m) = -m**2 - 11*m - 3. Let o = -24 - -13. Let k be r(o). Let u be 3 - (-1 + k/3). Solve -17 = -u*i - 2 for i.
3
Suppose 3*s = -0*s. Solve -3*x = -s - 9 for x.
3
Let p(m) = 4*m**2 + 2*m + 1. Let y be p(-1). Solve 0 = y*c - 2*c + 4 for c.
-4
Suppose -2*w - n + 5*n = -28, w - n - 9 = 0. Suppose 0 = -w*z + 8 - 0. Let l = -8 + 14. Solve -z + l = 4*h for h.
1