Suppose 4*c - 7*c - 22 = -5*k, -4*k + 20 = 0. Solve -4*b - 15 = c for b.
-4
Let h(x) = x**2 - 5*x - 7. Let c be h(6). Let n be (0 + c)/1 + 1. Solve -o - 6 + 1 = n for o.
-5
Let g = 2 + 1. Suppose -g = -3*w + 6. Solve w*x - 11 - 1 = 0 for x.
4
Let b be 2⁄11 - 26⁄143. Let m(s) = -s3 - 3*s2 - s + 2. Let a be m(-3). Suppose -20 = -2*g - 5*x, -17 + 40 = a*g - x. Solve 0 = -g*q - 10 - b for q.
-2
Suppose -2*x + 22 = -2*l, -3*x + l = -6*x + 21. Let m be 30⁄9 + 1/(-3). Let p be (0 - 1)/((-1)/m). Solve -q = p*q + x for q.
-2
Suppose 3*l - 3*x = 18, 2*x = -0*l - l. Let n be l - 1 - (0 - 1). Solve 3*t - n = 4*t for t.
-4
Suppose -2*h + y + 3 = -3*h, -18 = h + 4*y. Suppose -59 = -4*c - n, -n = -h*c + 32 - 1. Let j be (-2)/(-8) - 30/(-8). Solve t = j*t - c for t.
5
Suppose 6 = -2*f - b - b, -15 = 3*f + 5*b. Solve -6*l + l + 5 = f for l.
1
Suppose 0 = -4*z - 12, -x = 2*x + 2*z - 9. Solve -2*q - 3 = -x*q for q.
1
Let a(k) = 6 - 2*k + 21 + k. Let u be a(12). Let t = 6 - 3. Solve -6 = -t*x - u for x.
-3