Suppose d + d = -20. Let o = 11 + d. Suppose -x + 5*s = o, 3*s - 1 - 6 = -x. Solve -x = -v - 2 for v.
2
Let o = 4 + -2. Suppose -o*s + 6 = s. Solve -s*w + 3 = -7 for w.
5
Let w(h) = 2*h - 5. Let a be w(5). Suppose -4*u + 58 = a*o, 2*u + 2 = -4. Solve 1 + o = -5*s for s.
-3
Let g be (-17)/(-4) + 60/(-48). Solve 12 = -g*v - v for v.
-3
Let v(a) = a**2 + 3*a - 1 - 3*a + 0*a. Let p be v(-1). Solve 2*o + p*o = -8 for o.
-4
Suppose -2*i = -8, -3*h + 4*i + 3 = 1. Suppose 2*y + 16 = 2*l, y + 28 = -0*l + 5*l. Suppose 3*q = l*v - 38, -h*q - 24 = -3*v - 3*q. Solve v + 1 = -2*k for k.
-4
Let k(j) = -27*j - 9. Let w be k(-1). Solve 2*f + w - 12 = 0 for f.
-3
Suppose 15 = 5*h + 5*w, 4*h - 15 = h - w. Solve -5*z = h - 1 for z.
-1
Suppose -16 = -n - 3*n. Let a(g) = -2*g3 - 3*g2 + 4*g. Let q be a(-3). Suppose r + 0*r - q = 0. Solve -n*t - r = -t for t.
-5
Let k be 1 - (-4)/((-12)/(-39)). Suppose -n + k + 10 = 5*i, 3*i = 9. Suppose 3*o - 5*u - 27 = 0, -4*o + 47 - 16 = -5*u. Solve o*q - n - 11 = 0 for q.
5