Let c(u) = -46*u. Let r be c(1). Let a(i) = -i3 - 11*i2 - 10*i - 10. Let f be a(-10). Let x be r/(-10) + (-4)/f. Solve -q = x - 0 for q.
-5
Let u(k) = k3 + 7*k2 - k - 3. Let c be u(-7). Suppose 12 = 12*o - 12. Solve -o*r + 10 = -c*r for r.
-5
Suppose -o - 2*j + 7 = 4, 3*j = -5*o + 8. Solve -2*l = -o - 5 for l.
3
Let m = 67 - 65. Solve -m + 5 = t for t.
3
Let r(q) = -2*q - 8. Suppose -16 = 3*i - 1. Let c be r(i). Solve l + 9 = -c*l for l.
-3
Let g(k) be the first derivative of -k4⁄4 - 5*k3⁄3 - 5*k**2⁄2 - 1. Let w be g(-4). Solve -w*d + 0*d = -12 for d.
3
Suppose 0 = -3*q - 0*q + 3. Solve -2*v + q = 3 for v.
-1
Let t be ((-3)/6)/((-1)/10). Suppose 0 = -2*y - 2*d + 22, 0*y - d = 2*y - 17. Suppose -t*z + 36 = y. Solve -5*b - z = 14 for b.
-4
Let g = 24 + -17. Let i = -4 + g. Let t be ((-6)/(-4))/(36⁄24). Solve -o = -i - t for o.
4
Let h = 11 - 1. Suppose 3*u = -4*y - h, 3*u + 4 = -u - 3*y. Solve -2*b + u = -3*b for b.
-2