Let x = -1 - 3. Let q be (-5 - -1)*x/8. Let f = -17 - -26. Solve 0 = q*t + t - f for t.
3
Suppose -2*c + 8 = 2*c. Suppose 4*o - 4 = -5*s, -s - c*o = 1 + 3. Solve -s*i - 20 = -0 for i.
-5
Suppose 3*v = v + 8. Let s be (-603)/(-36) + 1/v. Let j be (-22)/55 + s/5. Solve 7 + j = -2*y for y.
-5
Suppose -v = 2*o + 6, 2*v + 7 = -2*o + 1. Let a(g) = -g3 - 4*g2 + 3*g + 5. Let r be a(-5). Suppose -4*x = -r - 5. Solve v*h - x = -h for h.
5
Let q(m) = -m**2 - 6*m - 1. Let p be q(-5). Suppose -o + p = o. Let w be 22 + -1 + (1 - o). Solve w = -3*x - 2*x for x.
-4
Suppose 0 = 5*j - 4*p - p - 5, 3*j = -3*p - 3. Let k = 5 - 3. Suppose 0 = -2*l - k*l. Solve 4*f + 4 + j = l for f.
-1
Let s be (-72)/(-39) + (-2)/(-13). Let t be 8⁄3 - s/3. Suppose 2*w = -t*w. Solve w*v - v = -2 for v.
2
Let y(s) = s**2 - 5*s + 6. Let x be y(4). Solve n + 6 = -x*n for n.
-2
Suppose -4*j = 3*z - j - 33, 8 = -2*z + 4*j. Solve z*q = q - 5 for q.
-1
Suppose -4*t - 2 = -5*q, 2*t = 3*t + 2*q - 6. Solve 10 = 7*b - t*b for b.
2