Let c(j) = -5*j3 + 5*j2 - j + 8. Let t(v) = -14*v3 + 15*v2 - 3*v + 23. Let k(s) = -17*c(s) + 6*t(s). Let g be k(-5). Solve -g + 22 = -5*l for l.
-3
Suppose -2*t + 3 = -1. Solve -d = t*d for d.
0
Let b(f) = f. Let v be b(4). Solve -v = p + 1 for p.
-5
Suppose 0 = 3*q - 519. Let g = q + -247. Let j = -35 - g. Solve 14 = 5*n + j for n.
-5
Suppose 4 = l + 2*p, -4*l + 14 = 4*p + 2. Suppose l*i + 4*s + 8 = 0, 3*s + 1 = -5. Solve -2*q - q - 6 = i for q.
-2
Let d = -83 - -53. Let v = d + 45. Solve -w - 4*w + v = 0 for w.
3
Let r(u) = -u**2 - 6*u + 1. Let s be r(-7). Let p be -3 + (s/(-1) - 3). Suppose 2*z - 7*z = -15. Solve p*t + z*t = 12 for t.
4
Let x(l) = -3*l + 1. Let k be x(-1). Let d = 7 - k. Let b = -3 + d. Solve b*o = -o for o.
0
Suppose 12 = i + a, 5*i - 2*a - 20 = 3*a. Solve -4*p - i = 4 for p.
-3
Suppose -2*u + 18 = u. Solve -u*b + 2*b = 8 for b.
-2