Let z(v) = -v**2 - 8*v - 3. Let l be z(-7). Suppose 0 = 2*t - h + 30, -2*t + 5*h = -0*t + 46. Let y = 15 + t. Solve 4*s + l = y*s for s.
-2
Let l = -12 + 7. Let m be (l - 9)*(-1)/2. Suppose -3*y + m = -5. Solve -y*g - 2 = -6 for g.
1
Let u(t) = -t**2 + 12*t + 12. Let o be u(12). Solve 2*x - o = 5*x for x.
-4
Let g be 3 + (8 + -2)/((-10)/(-15)). Solve 3*r + g = -3 for r.
-5
Let b(n) = -n + 2*n - n**2 + 0*n. Let v be b(1). Solve v = 3*u + u - 4 for u.
1
Let n be -1*(-4 + -1) + -1. Solve -5*y - n = 6 for y.
-2
Suppose -y + 2*y + 5*f = 0, f = -2*y. Let c = -2 - -6. Suppose y = c*o - 4, -13 + 2 = -2*q - 5*o. Solve 8*b - 20 = q*b for b.
4
Let j(x) = x**2 - 2*x + 3. Let u(o) = -2*o + 1. Let h be u(-1). Let f be j(h). Suppose -120 = -5*a - 5*q, -2*a + 60 = q + 4*q. Solve f*p - 2*p + a = 0 for p.
-5
Let m(x) = x3 + 6*x2 - 9*x - 2. Let h = -4 - 3. Let b be m(h). Solve -g - b = 2*g for g.
-4
Let s(d) = -d3 + 6*d2 + 5*d - 2. Let n be s(3). Suppose -n = -3*o - o. Solve -3*v - o = 2*v for v.
-2