Suppose -y + 9 = -3. Suppose 4*o - y = 16. Solve -5*p + 3 + o = 0 for p.
2
Let o(n) = -n2 - 10*n + 1. Let p(t) = -t2 - 11*t + 1. Let y(v) = 5*o(v) - 4*p(v). Let w be y(-6). Solve -3*z - 11 = w for z.
-4
Suppose 0 = r + 2*r. Suppose -3*i = -r*i - 9. Solve -i*x = -0*x + 12 for x.
-4
Suppose 6*m = -4*b + m - 17, 2*m + 10 = 0. Let s = -1 + b. Solve 0 = -2*y + 5 + s for y.
3
Let g(u) = -u**2 + 8*u - 9. Let q be g(5). Let r(v) = 3*v + 1. Let a(y) = -y - 1. Let j(i) = -5*a(i) - 2*r(i). Let x be j(0). Solve -x*h = -0 + q for h.
-2
Suppose 18 = x + 16. Solve x*q - 8 = 4*q for q.
-4
Let i(v) = v3 + 3*v2 - v + 2. Let c be i(-3). Let h be (-1)/(-3)*(-4 + 16). Suppose -10 = -h*r + 2*r. Solve -c*a - r = -0*a for a.
-1
Let f = -8 - -12. Suppose 0 = f*x - 8*x. Solve 5*c = -x*c - 20 for c.
-4
Let l be 1⁄3*(-6 + 12). Suppose 3*h = 4*h - l. Solve 12 = h*u + u for u.
4
Let q(l) = l + 1. Let s be q(3). Let m be 0 + s + 1 - 1. Solve 12 + 8 = m*z for z.
5