Let w(k) = k**2 + 5*k + 3. Let m be w(-5). Let t = m + -1. Solve -3*c - t = -c for c.
-1
Let t = 1 - -1. Let q(i) = -i + 4. Let r be q(0). Solve -r*h = -t*h for h.
0
Suppose 0 = 3*y + 2*y - 10, 2*y = 3*k - 20. Solve k*c + 16 = 4*c for c.
-4
Let u be (-21 + 1)*(-9 - -8). Let h be (u/25)/((-2)/(-10)). Suppose -k + 0*k + h = 0. Solve -r - k = r for r.
-2
Suppose -2*a - k = -28, 3*a = -0*k + 2*k + 56. Suppose 2 + 1 = s. Solve -b - s*b - a = 0 for b.
-4
Suppose 2*k + 8 = 2*d - 2*k, d - 4k - 14 = 0. Let h be 3(1 + d/(-3)). Suppose -h = 4*q - 33. Solve -q*x + 8 = -2*x for x.
2
Suppose -3*d = w, 6 = 5*w + 2*d - 7. Solve 0 = -w*g + 11 + 4 for g.
5
Let c be 0/((-1)/1*2). Solve c = 5*q - 20 for q.
4
Let h be (-3 + 1)*4/(-8). Let k be h + 1 - (1 + -2). Let b = 23 - 15. Solve 0 = 5*l + k - b for l.
1
Let g(m) = -m3 - 4*m2 - 5*m - 4. Suppose 0*j - j - 7 = 0. Let r = j - -4. Let x be g®. Solve -x*a - 2 = 4 for a.
-3