Let k be ((-80)/(-20))/((-2)/(-4)). Solve k = -5*x + x for x.
-2
Let u(y) = -y**2 + 6*y. Let o be u(5). Suppose 0 = -o*h - 15, 3*h + 7 = c - 6. Solve 0 = -4*f - c for f.
-1
Let a = -14 - -18. Solve 2*y - 8 = a*y for y.
-4
Suppose -r = -3*m - 0*r + 7, r - 17 = -5*m. Solve -2 = 5*t + m for t.
-1
Let j(b) = b**2 - 2*b + 1. Let k be j(6). Suppose 4*w = -v - 10, -4*w - k + 5 = -4*v. Let y = w - -3. Solve -4*d + 5*d + 1 = y for d.
-1
Suppose 2*s = 4*z + 16, 1 = -z + 2*s - 3. Let d = z - -6. Solve d*m - 6 = -m for m.
2
Let b be -2 + (2 - 1 - -4). Let v(g) = g - 2. Let y be v(b). Solve -l - 2 - y = 0 for l.
-3
Let x(f) = 3*f3 - 3. Let a(p) = 13*p3 + p**2 + p - 12. Let i(k) = -2*a(k) + 9*x(k). Let b be i(3). Solve b = -2*c - 0 - 2 for c.
-1
Let r be 1/(9/(-6) + 2). Solve 4 = -r*g + 2 for g.
-1
Suppose -2*b - 51 = -5*b. Suppose b = 4*k + 1. Suppose -19 = -2*q + 2*p - 5*p, -q = -3*p + k. Solve -8 = q*z + 2 for z.
-2