Let t(m) = m**2 + 16*m - 17. Let l be t(-17). Solve l = -p - 0 + 3 for p.
3
Let t(u) = u3 - 2*u2 + 2*u. Let c be t(2). Suppose -c*s + o + 111 = 0, -s - 2*s - 3*o + 72 = 0. Let g = s + -15. Solve 0 = -i + 4*i - g for i.
4
Let m(g) = 14*g**2 + 1. Let f be m(1). Suppose 4*t - f = -t. Solve 0 = -7*x + t*x - 4 for x.
-1
Let i(a) = a - 1. Suppose -13 = -2*f + 1. Let p be i(f). Solve -p = 4*t - 2*t for t.
-3
Let y be (3/(-6))/(1/(-6)). Suppose 40 = y*t + t. Let j = 19 - t. Solve 0 = -4*b - j - 11 for b.
-5
Suppose -3*g - o - 3 = 0, 3*o + 3 - 4 = -4*g. Let s be g - (-3 + (1 - 0)). Solve s - 3 = -i for i.
3
Suppose -3*g - 4*g + 7 = 0. Solve g = -5*n - 9 for n.
-2
Let u(l) = 10*l - 10. Let v be u(7). Suppose 2*c = -3*c + v. Solve s = -2*s - c for s.
-4
Let r = 12 + -9. Suppose -4*u = -5*c - 8*u - 10, 0 = c + u + 2. Let l = r + c. Solve 2*z = z + l for z.
1
Let j be (49⁄4)/((-1)/(-4)). Suppose 5*p + 4 = j. Suppose -p = -3*x - 3. Solve 0 = x*c + 4 - 2 for c.
-1