Let a(d) = -d3 + 5*d2 + d - 3. Let m be a(5). Let z(g) = -m*g + 9 + 5*g + 3*g + g**2. Let y be z(-6). Solve y = -4*n + n for n.
-3
Let o = 20 + -17. Solve a - o*a + 2 = 0 for a.
1
Suppose 4*g - 57 = 3*s, g + 57 = -4*s - 0*g. Let v = s + 23. Solve -x - x = v for x.
-4
Let r be (-11 - -12) + (1 - 0). Solve 0*z - 2*z = r for z.
-1
Let m = -3 + 3. Solve m*p = -4*p - 8 for p.
-2
Suppose -60 = -2*r - 3*r. Suppose 0*o - 5*o - 5 = 0. Let k be (30/(-20))/(o/2). Solve -u - k*u = -r for u.
3
Suppose -y - 7 = -8. Solve -6 + y = -u for u.
5
Suppose -k - 3 = -3*h, -3*k - 6*h + h + 5 = 0. Suppose 0 = 4*i + 5*o - 7, -5*i + k*o - 4*o = -11. Solve 0*s + i = -3*s for s.
-1
Suppose 0 = 3*k + 2*w - 8, -2*k + 3*k + 5*w + 6 = 0. Let z = 9 - k. Solve -z*q + 5 = -0*q for q.
1
Let t = -8 + 13. Suppose 6 + 19 = t*s. Suppose 2*q + 5 = x, q + 0*q = x - s. Solve q = 5*j + 5 + 15 for j.
-4