Let l(s) = s**2 - 6s - 3. Let z be l(6). Let x be z/(-6)(-6)/(-3). Let p be 3 + 0 + 0 + x. Solve -p*g + 12 = -0 for g.
3
Let z be (-2)/3 - 116/(-12). Solve 2*n = z - 3 for n.
3
Let t be 2 - (-2 - (-3 + 0)). Suppose w - 6 = -t. Solve 0 = -w*n + 6 + 4 for n.
2
Let f be 0/3*(1 - 0). Suppose -4*q - 5*b = 0, f = -2*q + 3*q + 4*b. Suppose 6*w - 3*w - 6 = q. Solve w = 3*y - 1 for y.
1
Let m(a) = -a2 + 3*a + 1. Let j be m(4). Let b = -1 - j. Let o(x) = 2*x2 - 4*x + 3. Let w be o(b). Solve 6*t + 6 = w*t for t.
-2
Let h(n) = -n3 + 7*n2 + n - 4. Let b be h(7). Solve 1 = 2*u - b for u.
2
Let l = -3 - -7. Let y(x) = x**2 - x + 6. Let b be y(5). Suppose 4*h - b = 6. Solve 0*n = -l*n + h for n.
2
Let q be 12⁄41⁄1. Let j be (-3)/2(-6)/(-1). Let a = j + 11. Solve a*t + 5 = q*t for t.
5
Let p be 7/(21⁄6) + -1. Let o = -1 + p. Suppose -3*u + 2*u = -4*k + 5, 4*k + 4*u - 20 = o. Solve -2*r = k + 4 for r.
-3
Suppose 2*j = 15 - 7. Let w = j - -1. Let l = -8 - -15. Solve -l - 8 = -w*b for b.
3