Let q = -28 - -33. Solve -q*d - 15 = -0*d for d.
-3
Let o = -5 - -7. Solve o*r + 20 = -3*r for r.
-4
Let k(n) = 3*n**2 + 1. Suppose 0 = -4*d + 3*d + 1. Let x be k(d). Solve 0 = -2*q - 2 - x for q.
-3
Let k(f) = 2 + f - 5 + 6 + 1. Let t be k(-3). Solve 0 = -i + t + 2 for i.
3
Let x = -1 + -7. Let h = -12 - x. Let v = 4 + h. Solve 0 = -a - v + 3 for a.
3
Let u(p) = -p3 + 3*p2 - 2*p + 1. Let g be u(1). Let o be (-1*g)/(3/(-18)). Suppose -c + o*c - 15 = 0. Solve -3*w = -2*w + c for w.
-3
Let v(b) = b**2 - 5*b + 3. Suppose -t + 3*t = 10. Let w be v(t). Solve 1 - 13 = w*d for d.
-4
Let n(u) = -u**2 + 11*u - 4. Let l be n(10). Suppose 25 = l*x - x. Solve -x*a = -2*a - 3 for a.
1
Suppose -y = -4*v - 4, -5*v + 2*v = 3*y + 3. Suppose -l - 2 + 4 = 0. Let w(f) = f**2 - f + 1. Let m be w(l). Solve 0 = 3*n - y*n + m for n.
-1
Suppose 0 = -24*g + 23 + 1. Solve 2*h + 9 = -g for h.
-5