Let r(q) = -q**2 + 8*q - 5. Let u be r(7). Suppose -3 = -u*c + 17. Solve v = -4*v + c for v.
2
Let q = 13 + 0. Solve -5*i - 3 + q = 0 for i.
2
Let m(x) = 7*x - 4. Let b be m(6). Suppose -40 = -4*g - 4*u, 6*g - b = 3*g - 5*u. Let t = 15 + -9. Solve -4*w - g = t for w.
-3
Let z(l) = -l3 - 6*l2 - 6. Let c be z(-6). Let q be 0 + (-4)/c*3. Solve s + q*s + 9 = 0 for s.
-3
Let y(m) = -6 + m + 2*m + 0. Let j be y(4). Suppose 2*g = j - 0. Solve -2*o + g*o = -2 for o.
-2
Suppose 0 = -2*s - 2*w + 18, -4*w = 2*s + w - 33. Suppose -k + s*k - 30 = 0. Suppose k = 5*n + 4*x - x, -n - 5*x = -2. Solve 3*d = 5*d + n for d.
-1
Suppose 0 = -3*m, i + 5*m - 6 = -2*i. Solve -7*c + i*c = 25 for c.
-5
Let a be (-3)/(-18)*-3*0. Solve 0 = w - a*w + 3 for w.
-3
Let u be (-20)/(-25) + (-16)/(-5). Suppose u = -6*t + 8*t. Solve 0 = -4*z + t + 10 for z.
3
Let x(f) = -2*f + 4. Let z(m) = -m**2 - 3*m + 5. Let v(t) = 4*x(t) - 3*z(t). Let s be v(-3). Let j = -3 + 3. Solve 0 = -5*i - j*i - s for i.
-5