Let d = 160 + -160. Solve d*v - v = 2 for v.
-2
Let v(q) = 3*q2 + 2. Let l(a) be the third derivative of -a5⁄6 - 7*a3⁄6 + 3*a2. Let c(w) = 2*l(w) + 7*v(w). Let h be c(-5). Solve k - 6*k = h for k.
-5
Suppose 7*f = 35 - 14. Solve 6 = f*l - 6 for l.
4
Suppose -5*v + 2 = -48. Suppose 4*l - 3*l = 2*p - v, 4*p + 4*l = -4. Suppose 2*y = 1 + 15. Solve y = -5*k + p*k for k.
-4
Let n(f) = 10*f + 3. Let b be n(3). Suppose 0*u + b = -u. Let v = -13 - u. Solve j = -3*j - v for j.
-5
Let b = 11 - 8. Solve -b*q = -2*q for q.
0
Let y(h) = -h**2 - 13*h - 13. Let g be y(-12). Let o be g + (-18)/(-1 + -2). Solve o = -5*i - 0 for i.
-1
Let k(t) = -2*t3 + 2*t2. Let i be k(2). Let p = 14 + i. Solve -3*l - 9 = p for l.
-5
Let k = -39 - -44. Solve -k*l - 9 = -4 for l.
-1
Suppose 0 = 2*l - 11 - 1. Solve -c = -l*c + 5 for c.
1