Let n = -1 + 3. Suppose 0 = -6*c - c + 28. Solve -n*w - 2 = -c*w for w.
1
Suppose -5 = -5*l + 4*i - 0, 0 = l + 4*i - 1. Let o(g) = -g3 - 6 + 3 + 4*g2 + l + g. Let f be o(3). Solve -k - f = -3*k for k.
5
Let x = -1 - 5. Let t be x/(0 - (-1 - -3)). Suppose -3*n = -2*n. Solve n = -0*c + t*c - 15 for c.
5
Let v(n) = 2*n2 + 5*n + 4. Let k(d) = -d2 + 1. Let g(p) = 3*k(p) + v(p). Let t be g(6). Solve -2*x - 11 = -t for x.
-5
Suppose 0 = 5*l - 9 - 6. Solve 3 = l*v - 0*v for v.
1
Let r = 2 + 2. Let u be -20*(3 - 13/r). Suppose 5*p = 4*w - 23, -3*w - 11 = -w + u*p. Solve b + w = 5 for b.
3
Suppose 2*w = w. Solve q = -w*q - 5 for q.
-5
Let w = -263 + 266. Suppose 4*n = 0, 4*x = -0*x + 5*n + 8. Solve 4*m - w*m = x for m.
2
Suppose 3*p - 15 = r, -4*r + 0 - 5 = -p. Let s be (2 + r)*44⁄8. Suppose -2*f + 8 = 4*i, 1 = -5*i + s. Solve 0*j - j - 4 = f for j.
-4
Suppose -23 = -4*h + a, -18 = -3*h + 5*a - 5. Suppose 2*i + 0*d - 2*d = 4, 2*i - 3*d - h = 0. Solve -k - 1 + 4 = i for k.
3