Let q(a) = -7 + a**2 + 0 + 3*a + 0 + 0*a. Let u be q(-5). Solve u = -l - 0*l for l.
-3
Let f(n) = 2*n + 10. Let h be f(0). Solve -5 - h = 5*a for a.
-3
Suppose v + 0*y - 6 = -4*y, -4*y + 8 = 0. Let i(p) = p**2 - 3*p - 5. Let k be i(v). Solve -k*n - 4 = -4*n for n.
-4
Suppose -d + 3*d - 2*h = 12, -20 = -2*d + 4*h. Solve -3 = d*s - 1 for s.
-1
Let b = 13 - 28. Let g be (-10)/b - (-46)/(-6). Let l = g + 7. Solve 0 = i - l*i + 3 for i.
-3
Let j(i) = i3 + i - 1. Let b(u) = -4*u3 + 4*u**2 + 2*u + 3. Let n(s) = -b(s) - 3*j(s). Let z = -3 - -8. Let r be n(z). Solve 2*w = -r*w - 10 for w.
-5
Suppose -u - 6 = 2*u. Let q be (u/(-5))/((-6)/(-120)). Suppose 0 = -2*i - s + q, 3*i + 14 = 4*i + 3*s. Solve 0 = i*p - 10 + 2 for p.
4
Let q be (-23 - -21)/(2/(-8)). Solve -q + 23 = 5*p for p.
3
Let w be -2*1/(6/(-6)). Solve -7 = -w*k - 1 for k.
3
Let n = 0 + 1. Let l = n + 3. Let a = l + -2. Solve a*m = 6 - 2 for m.
2