Let n(q) = -7*q2 + 15*q - 12. Let k(v) = -3*v2 + 7*v - 6. Let x(s) = -5*k(s) + 2*n(s). Let p be x(5). Solve -a - p = a for a.
-3
Let w(j) = -j3 + j2 + j + 12. Let t be w(0). Suppose -5*f - 15 = 0, -p - f - 12 = f. Let m = p + t. Solve -o = -m*o for o.
0
Let o = -26 - -38. Solve b + 3*b = -o for b.
-3
Suppose -5 = 2*x - 11. Solve -x*w + w = 6 for w.
-3
Let u = 11 + -9. Suppose -3*v + 36 = -5*d, 4*v + 1 - 41 = 4*d. Solve -u*a + 3 = -v for a.
5
Suppose -z - 15 = 4*z. Let k = z - -3. Suppose l = -5*c + 17, -6*l + 2*l - 16 = -c. Solve 4*h + k = c for h.
1
Suppose o + 3*k + 3 = 0, k + 3 = 2. Solve o = -3*v - 0*v + 15 for v.
5
Suppose 2*c + 0 = -6, -16 = -2*h + 2*c. Suppose -19 = -3*o - h*l, 0 = -2*o - l + 1 + 7. Solve 3 = -o*z - 0*z for z.
-1
Let d be -1 - 2 - (1 - 6). Suppose -3*o = d*o. Solve o = -4*f - 0*f for f.
0
Let j(y) = y - 1. Let n be j(1). Suppose 2*c + 4*u - 4 = -0, 6 = -3*u. Suppose 2*a + 0*a - c = n. Solve -b - 8 = a*b for b.
-2