Let m be 1*((2 - 1) + -2). Suppose 31 = -2*p + 5*x, p - 3*x + 18 = -0*p. Let t be 3/p*m - 1. Solve t = -2*w - 0*w for w.
0
Let t(s) = -s3 + 5*s2 + 9*s - 15. Let l be t(6). Solve -l*g = -2 + 14 for g.
-4
Let s = 6 + -12. Let k be (-606)/(-15) - s/(-15). Suppose o = -o + k. Solve 5*u = -5 - o for u.
-5
Let r be (-1)/((-3)/(13 - 1)). Solve 0 = -3*k + r - 10 for k.
-2
Let b(f) = -f**2 + 6*f + 1. Let w be b(3). Suppose -5*p - 20 = 0, c - w = 4*p + 10. Suppose n + 53 = 5*s - 2*n, 4*n + 34 = 3*s. Solve s - 26 = c*h for h.
-4
Let o(g) = g2 + g - 1. Let y(s) = 3*s2 + 3*s - 6. Let f® = 4*o® - y®. Let j be f(2). Solve 0 = -3*l - j - 4 for l.
-4
Let h(j) = -j3 + 3*j2 + 3*j + 4. Let k be h(4). Suppose 2 = z - k. Solve 2*x - 16 = -z*x for x.
4
Let m(f) = -f3 + 9*f2 - 2*f + 18. Let p be m(9). Solve -5*r + p = -15 for r.
3
Let o be (1⁄2)/(1⁄4). Solve -2*u = -o + 4 for u.
-1
Let n(o) = -o3 + 8*o2 + o - 5. Let c be n(8). Suppose 2*b + 3*v = -c*b - 9, b + 15 = -5*v. Let w = -3 - -3. Solve w = -3*q + 9 - b for q.
3