Let b be (4⁄10)/(2/(-80)). Let n be ((-12)/b)/((-1)/(-20)). Suppose 0 = 4*d - n - 21. Solve -2*c + d = -5*c for c.
-3
Let w = -1 - -3. Let k be (-38)/(-4) - (-1)/w. Let z be 6/k - (-88)/20. Solve 0 = -0*t + t - z for t.
5
Let y = -6 - -11. Let s(u) = -u**2 + 6*u - 2. Let r be s(y). Suppose m - r = -1, -3*p + 3*m + 9 = 0. Solve p*f - 3 - 12 = 0 for f.
3
Let o = -77 - -82. Solve -4*k - o = -5*k for k.
5
Let d(z) = -z + 7. Let w be d(-5). Suppose -5*p + 25 = 0, 0 = -4*x - p + 4*p - 3. Solve -3 - w = x*v for v.
-5
Let a(d) = -d**2 + 14*d - 7. Let s be a(13). Solve -16 = 5*c - s for c.
-2
Let t(q) = 14*q - 6. Let v(f) = 5*f - 2. Let b(g) = 6*t(g) - 17*v(g). Let n be b(-4). Solve 0*j - n = 2*j for j.
-1
Suppose 4*j - 36 = -5*k, -2*j + 5*k = 15 - 3. Let h = 0 - 0. Suppose -3*g = j*m - 8, -g - 2 = -m - h. Solve 3*s + s - 16 = g for s.
4
Let r(f) = -f*2 + 3. Let o be (1 - 1)(-1)/(-2). Let g be r(o). Suppose -z - 4 = 4*b + 10, 5*z = -g*b - 2. Solve 4*k = 2*k + z for k.
1
Let a = 4 - 2. Let x = -2 - 2. Let y = 0 - x. Solve 6*b - a*b = y for b.
1