Let r(l) = l3 - 6*l2 + 1. Let g be r(5). Let n = g + 42. Let t = -13 + n. Solve -14 = t*v + 6 for v.
-4
Suppose 0 = 9*a - 5*a - 56. Solve 4*j + a = -2 for j.
-4
Suppose 2*o - 5*c = -0 - 3, 5*o = c + 4. Let j(k) = -k3 + 6*k2 - 6*k + 5. Let h be j(5). Solve h = v - 2*v + o for v.
1
Let b = -5 - -10. Let t = b + -13. Let m be (t/(-3))/((-4)/(-6)). Solve -12 = m*z - 7*z for z.
4
Suppose 0 = 4*r - 18 + 2. Solve -r*c + 4 = -0*c for c.
1
Let n = -3 + 11. Suppose -2*w - 2 = -n. Solve -3*g - 6 = -w for g.
-1
Let y(v) = 6*v**2 + v. Let p be y(-1). Suppose 0*i + i + 8 = -2*n, 4*n = p*i - 30. Suppose 0 = i*q + q. Solve q = 3*f - 0*f for f.
0
Let q be (-187)/(-77) - (-3)/(-7). Solve -j - q*j = 0 for j.
0
Suppose 3*c - 33 = 5*v, 0*c + 2*c - 18 = 2*v. Solve b - 3*b = c for b.
-3
Let n(m) = -1. Let w(i) = -i**2 + 3*i - 2. Let d(o) = -3*n(o) + w(o). Let t be d(2). Suppose 4*r - 2 = 2. Solve -t*p - r = 2 for p.
-1