Let r(o) = -2*o3 - 23*o2 - 18*o - 24. Let i(t) = t3 + 11*t2 + 9*t + 12. Let b(v) = 5*i(v) + 2*r(v). Let c be b(-8). Solve 1 = 3*a + c for a.
-1
Let q(b) = b3 - 12*b2 + 13*b + 3. Let o be q(11). Solve -3*i = 2*i - o for i.
5
Let b(j) = 2*j**2 - 11*j - 5. Let i be b(6). Solve 2*x - i = x for x.
1
Let s = -4 - -1. Let y = s + 5. Solve 0 = -t + y*t for t.
0
Suppose -2*o - z - 1 = -3, -5*z = -o + 12. Solve 6*r - o = 5*r for r.
2
Let c(y) = -y**2 + 2*y + 1. Let q be c(2). Suppose -2*k - 7 = s + 2*k, 0 = 3*s - 5*k - 30. Suppose s*v = 3*u + 100, -u = -4 - q. Solve 5*a - 8 + v = 0 for a.
-3
Suppose 2*z + 4*w = 9 - 27, -15 = 3*w. Solve z - 9 = 2*h for h.
-4
Let j(d) = 2*d + 12. Suppose x - 3*x - 10 = 0. Let v be j(x). Solve 1 = -v*p - 9 for p.
-5
Let b be -16(-5)/10. Solve 0*m = m - b for m.
3
Suppose -p - 2 = -53. Suppose 3*d = -n - 1, -4*d = -5*n - 18 + p. Let m be (3 + 1)/d - -2. Solve -x + m = 4 for x.
-4