Let b(x) = -x2 + 6*x - 4. Let l(n) = n3 + 3*n**2 - 6*n - 4. Let g be l(-4). Let y be b(g). Suppose h + y*h = 0. Solve w + 4 = -h*w for w.
-4
Let t(q) = -3*q**3 + 2*q + 1. Suppose -5*x = 3*u + 3, -2*u = 3*u + x + 5. Let m be t(u). Solve 0 = -3*b + 4*b + m for b.
-2
Let x = 31 + -27. Solve 1 = -5*z - x for z.
-1
Let t = -25 + 40. Solve -t = -5*g - 35 for g.
-4
Suppose -3*n + 2*r = -27, -4*n + 31 = -5*r - 5. Solve n*q = 12*q - 6 for q.
2
Let c be (-4)/(-12)0-1. Let w(i) = i3 - 2*i2. Let y be w(2). Suppose 0*m + 2*m + 23 = 3*o, 5*o = 4*m + 41. Solve o*x + c*x = y for x.
0
Let d(a) = -a**2 + 10*a + 3. Let f be d(10). Let k = 0 + f. Solve -4*y - 1 = k for y.
-1
Let j be 1/(-7) + 576⁄63. Solve 15 = 4*k - j*k for k.
-3
Let o = -14 - -8. Let x = o + 6. Suppose 5*r + x*r - 10 = 0. Solve -r*w - 12 = w for w.
-4
Let x be 1/(134/(-45) + 3). Suppose -t - x = -4*t. Solve 0*f = -5*f + t for f.
3