Let u(q) = -9*q3 - q2 + q. Let x be u(1). Let r = x + 17. Suppose d + r = 4*t - d, -5*d = 0. Solve -t*h + 10 + 0 = 0 for h.
5
Suppose 6 = -b - 9. Let t be (10⁄3)/((-10)/b). Suppose -10 = t*s, 2 = -3*k + 3*s - 4*s. Solve k = 2*l + 6 - 0 for l.
-3
Let n(o) = -o3 + 9*o2 - 7*o + 2. Let f be n(8). Let c be (12/f)/(2⁄10). Solve 0*b - c = 3*b for b.
-2
Suppose -2*v - 15 = v. Suppose -c + 10*c = 45. Let b = v + c. Solve b = 2*q + 8 for q.
-4
Let q(i) = -2*i2. Let n(u) = -u3 - 10*u**2 - 10u - 8. Let p be n(-9). Let g be q(p). Let z be (-1 + g)(-4)/3. Solve 4 + 8 = -z*t for t.
-3
Let k(t) = 3*t3 - 2*t2 + 5*t - 2. Let c be k(1). Solve -2*g - 8 + c = 0 for g.
-2
Let n(t) = 2*t - 4 - 2*t + 2 - 4*t. Let x be n(-3). Let w(d) = -d + 3. Let j be w(0). Solve x = -j*h + 1 for h.
-3
Suppose -3 - 12 = -3*p. Suppose -p*x = -3*x - 8. Suppose -v - 3*v + 57 = -3*r, x = 4*r. Solve -v = -f - 4*f for f.
3
Let z = 0 - -6. Solve -5*c + 2*c = z for c.
-2
Suppose -5*q + 14 = 44. Let i be (-26)/q + (-2)/6. Solve r = i*r for r.
0