Let q® = 5*r**2 + r. Let i be q(-1). Suppose 5*k = -i*y + 65 - 25, -17 = -5*y + 2*k. Suppose 3*n = s + y, -5*n - 2*s - 15 = s. Solve n*v + 2 = -v for v.
-2
Let x(w) = -w**2 - 4*w - 2. Suppose -3*s = -2*z - 3*z, s = 0. Suppose 0*l - 3*l - 6 = z. Let p be x(l). Solve -v = p*v for v.
0
Suppose 5*q = 1 + 9. Suppose 15 = q*a - 3. Solve -2*h = h - a for h.
3
Let k be 3 + -1 + 2/(-1). Solve k = h - 0*h - 1 for h.
1
Suppose 2*d = 2*b + 3*b + 16, b + 40 = 5*d. Solve -4*a + d*a = 8 for a.
2
Let o(m) = 3 - 2*m2 + 5*m + 4 - 4 + 3*m2. Let g be o(-5). Suppose 7*x = 3*x. Solve -q + 0 - g = x for q.
-3
Let q be 27⁄3 + -5 + 1. Suppose -7 - q = -4*u. Solve -2*y = -u - 1 for y.
2
Let d = 24 - 0. Let m be (-1)/(-4) - (-162)/d. Solve -5*r + m = -13 for r.
4
Let j(b) = -b**2 + 7*b - 3. Let t be j(6). Let v = 1 - -14. Solve v = t*a - 0*a for a.
5
Let q = 8 + -5. Suppose 0 = -q*x + 5*x - 8. Solve 0 = -f + 5*f - x for f.
1