Let f(s) = 2*s3 - s2 + 9*s - 19. Let w(i) = -i**3 - 4*i + 9. Let v(j) = 4*f(j) + 9*w(j). Let m be v(-4). Solve 3 = -a + m for a.
2
Let b be (-20 + 6)*(-4)/8. Solve -2*i = -b*i - 20 for i.
-4
Let b be 0*((-2)/(-4) + 0). Solve b = 4*u - 3*u + 4 for u.
-4
Let k = -7 - -31. Suppose 0 = -2*b - 2*b + k. Solve -5*f = -4 - b for f.
2
Let m be (-7)/(-42) + (-2)/12. Solve n + 2 + m = 0 for n.
-2
Suppose 4*c + 13 = 3*w, -w + 0*c = -5*c - 19. Let u(i) = i + 1. Let j be u(w). Solve -o - o - 2 = j for o.
-1
Let l = -10 + 17. Let g be 1*l + (-6 - -4). Solve -j = -0*j + g for j.
-5
Let x = 71 - 66. Solve x = 2*n - n for n.
5
Let m(t) = -t3 - 7*t2 - t - 1. Let w be m(-7). Let y(p) = -p + 9. Let j be y(w). Solve -8 = -j*i - i for i.
2
Suppose -3*v = -4*v - 2*s + 4, 5*v + 4*s = 8. Suppose p + v*y = -y + 13, 0 = 2*p - 5*y + 9. Solve -p = -t - 3*t for t.
2