Let w(q) = 6*q**3 + 1. Let n be w(-1). Let j = n - -7. Solve -2*u = j*u - 4 for u.
1
Suppose g - 5 = 0, -2*p + 14 = -4*g + 6*g. Solve -p*i = -0 - 10 for i.
5
Let t be (-1)/(-3) - (-133)/(-3). Let f be (2 + t)/(-3)*1. Solve f = 4*j - 6 for j.
5
Let k = -3 - -5. Suppose 0 = k*j + 10, 5*l + 18 + 2 = -j. Let y(n) = -n - 3. Let r be y(l). Solve r = -6*c + 4*c - 6 for c.
-3
Suppose 3*y - 3 = -0*y. Let g = y - -2. Solve -r - g = 2*r for r.
-1
Suppose u = p - 23, -4 = -3*u - u. Suppose -3*k = -7*k + p. Solve -4*r = -r + k for r.
-2
Suppose -k = 2*w + 2, 0 = -3*k - k - 5*w - 5. Solve z + 6 - 3 = k for z.
-3
Let l(i) = -i3 + 6*i2 + 8i - 7. Let x be l(7). Let r be (7 - 1)(1 - x). Solve h - r*h = 25 for h.
-5
Suppose -4*x + 0 - 24 = 2*f, 0 = -3*x. Let u be (f/7)/(14/(-49)). Solve -u = 2*s - 4*s for s.
3
Let y(l) = l3 + 29*l2 - 30*l + 6. Let x be y(-30). Solve -u + x*u = 0 for u.
0