Let i© = -c3 - 7*c2 - 4*c + 8. Let x be i(-6). Let v be 14/(-49) + x/(-14). Solve 4 = -v*u - 2*u for u.
-2
Let v(o) = o - 4. Let w be v(4). Solve w = -u + 5*u + 16 for u.
-4
Suppose -2*h + 24 = 2*h. Let z = h + -5. Solve 2*s + 7 = z for s.
-3
Suppose -o + 0 = -2. Let s be 3 - (o - (-3 - -2)). Let g = s - -4. Solve -4*a + g = -8 for a.
3
Suppose -3*h = -h - 2. Let w(p) = -p**2 + 7*p + 1. Let j be w(7). Suppose -b = -j - h. Solve 7*k = 6*k + b for k.
2
Let y be -1 - 2 - -5*1. Solve y*i = 6*i - 4 for i.
1
Let p = 58 - 56. Solve 0 = -p*n + 2 for n.
1
Suppose 3*d + d - 12 = s, 0 = 5*s - 20. Solve -15 = -d*n + 1 for n.
4
Suppose 3*c + 9 = 0, 3*c + 24 = 4*k - c. Suppose 2*h + 5*f = -1, 0*f - f = -k*h + 7. Solve 4 = -h*y + y for y.
-4
Suppose -5*k + 3*k + 16 = 0. Let r be 72/k + (1 - -2). Solve 3*t + 0*t + r = 0 for t.
-4