Let j = -28 - -31. Solve -j*a + 1 = -8 for a.
3
Suppose c - 20 = -4*c. Suppose 0 = c*v + g - 21, -5*g = -0*v - 3*v + 10. Suppose v*l - 25 = 5*s, -3*s + 6*s + 3*l - 15 = 0. Solve w + s = -3 for w.
-3
Suppose 2*o - 110 = -20*o. Solve -14 = o*p + 6 for p.
-4
Let t = -104 - -104. Solve t = -0*b + 3*b + 9 for b.
-3
Let k(h) = -5*h + 0*h + 4*h + 2. Let a be (-2)/8 - 3/(-12). Let i be k(a). Solve -1 - 1 = i*f for f.
-1
Suppose 0 = 4*p - 3*z - 13, 5*z - 21 = p - 3. Solve p = j + 3 for j.
4
Suppose -3*c - 5*v = -27, -c - v = c - 11. Solve c*y + 5 = 5*y for y.
5
Suppose 2*s = s + 3. Let b(d) = -5*d**3 + 1. Let u be b(1). Let a be 6/(-1 + (-7)/u). Solve a = s*l - 7 for l.
5
Let l be -2 - ((0 - -1) + -5). Suppose 2*p - 4*u = -9*u + 9, -l*u = -p. Solve p - 4 = 2*t for t.
-1
Let i be (-10)/(-4)*(-4 - -6)*1. Solve 36 = -i*s + 16 for s.
-4