Let k be -3 - (-2 - (-2 + 11)). Suppose -3*t = -k + 2. Solve 2*o = 6 + t for o.
4
Suppose 4*z + b = -b + 22, -3*z + 3b + 30 = 0. Let s be 1(-3 + z - 1). Solve 0 = s*h + 2*h for h.
0
Suppose 7*j - 4*j = 3*t, 0 = -4*j + 12. Solve -t = -4*a - 11 for a.
-2
Let k(h) = -h**2 + 3*h + 11. Let i be k(5). Solve v + i = -0*v for v.
-1
Suppose 0 = -i + 2 + 3. Let r(j) = j**2 - 7. Let m be r(i). Suppose -v + 2*v - 3*a = -2, 0 = 5*v - a - m. Solve 6 - 2 = v*h for h.
1
Suppose -2*c + 3*j + 0*j = -49, 2*j - 54 = -3*c. Suppose 4*w + 2*v - c = 0, -4*w - v = 5 - 29. Solve -w = s - 4 for s.
-3
Let n be 0/(-4 + 3 + 4 + -4). Solve -6*g + 3*g = n for g.
0
Let z be (-1 + -1)/2*-2. Suppose z*a - 4 = a. Suppose -5*f = 4*b - 2*b - 23, f + b = a. Solve 20 = -x + f*x for x.
5
Suppose 0 = -3*s - 5*r + 24, 0 = 4*s + 3*r - 5 - 27. Suppose -2*d + s = 2. Solve -l = -d*l for l.
0
Suppose 0 = -2*g + 1 + 13. Solve 2*l - g*l - 5 = 0 for l.
-1