Let k(n) = -n3 + 10*n2 - n + 11. Let r be k(10). Let u be r/(2 - 1) + 2. Let d = 5 + -1. Solve -d*z + u = -17 for z.
5
Suppose -q - q - 6 = 0. Suppose 0 - 6 = 2*d. Let i = d - q. Solve i = 3*z + 7 - 1 for z.
-2
Let o be (2 + -3)*1 + 37. Suppose -9 = -5*s - 4*n, -3*s + 4*n - 5 = -o. Solve -2*u = -5 - s for u.
5
Let p be 2/(-4) + 54⁄12. Suppose -5*x = 20, -4*m - 4*x + p = -0*x. Solve 3*o = 7 + m for o.
4
Let k(x) = -x**2 + x - 8. Let g be k(0). Let m(j) = j + 8. Let d be m(g). Solve d*f = -2*f - 10 for f.
-5
Suppose -3 = -j, m + 8 = 4*j - 1. Let g = m + -3. Solve g = -2*i - 3 - 5 for i.
-4
Let g = 0 - 0. Suppose g*l + 8 = 2*l. Solve l*b + b = -10 for b.
-2
Suppose v + 0*v + 4*i = -4, 0 = 3*v - 5*i - 39. Solve -v*k + 4*k = 20 for k.
-5
Suppose -h = -z + 20, -5*z + 2*h = 4*h - 135. Solve c - z = 6*c for c.
-5
Suppose -5*p + 6 = 2*w, -3*w - w = 8. Suppose -5*v + l = -0*l - 30, -l - 15 = -p*v. Solve 0 = -v*m + 2*m - 9 for m.
-3