Let p(s) = s3 - 3*s2 - 4*s + 3. Let v be p(4). Suppose 6*d - v*d + 31 = -4*i, 0 = -5*d + 3*i - 13. Let o = -2 - d. Solve b = -0*b + o for b.
3
Suppose 0 = 2*o - 3*z - 51, z + 0*z + 59 = 3*o. Solve 5*c = -2 - o for c.
-4
Suppose -3*f + 2*u + 40 = 0, 2*u + 2 = u. Solve 0*p - 3*p = -f for p.
4
Let h = 8 - 5. Let l be 1⁄3*h*2. Solve -l + 1 = z for z.
-1
Let r© = -c**3 - c - 2. Let o be r(0). Let b be (-3 + o)/((-1)/2). Suppose 0*a = -2*a + b. Solve -a*n + 4 = -6 for n.
2
Suppose -3*c + 18 - 61 = -5*v, 0 = 2*c - 8. Let b = -3 + v. Let z(u) = u3 + 3*u2 - 2*u - 2. Let r be z(-3). Solve b = -0*x - r*x for x.
-2
Let g be (10/(-15))/((-2)/3). Let h be -1 + 1 + 3/g. Solve z = -h*z - 20 for z.
-5
Let w = -4 + 7. Suppose w*t + t = 0. Suppose t*x - 5*r = 2*x - 2, -r = -5*x + 5. Solve -4*k + x = -19 for k.
5
Let o be (0 + -2)/2*(0 + 0). Solve o = -3*l + 3 - 0 for l.
1
Let m(k) = k3 + 11*k2 + 16*k - 16. Let o be m(-9). Solve q = o - 0 for q.
2