Let y(q) = 3 + 3 + q + 6 + 8*q - q**2. Let z be y(10). Solve 3*h - h - z = 0 for h.
1
Let v(k) = k**2 + 6*k + 10. Let d be v(-7). Solve 4*w - d - 3 = 0 for w.
5
Let x be (-36)/10 + 4/(-10). Let a = x - -27. Suppose -5*d + a = -17. Solve d = 5*z - z for z.
2
Let f = -111 + 114. Solve -s + 4 = f for s.
1
Let j(t) = -t + 12. Let s be j(11). Let l be (-5 - -7)*2*s. Solve -13 = -3*m - l for m.
3
Let w(a) = -2*a3 + a2 - a + 3. Let y be w(0). Solve -y*o + o = 0 for o.
0
Suppose g + 3 = 0, -5*i + 3*g = -g - 27. Solve i*n + 10 = -2*n for n.
-2
Suppose 5*o = -4*l - 3, o = -l - 3*o + 2. Let d be (-2)/((-5)/l - 3). Suppose 0 = 3*j + d*n + 4, 0*j + 1 = 2*j - n. Solve j = -5*m - 8 - 7 for m.
-3
Let i(a) = -12*a - 2. Let p be i(-1). Solve 0 = -6*j + j - p for j.
-2
Suppose 0 = l - 5*l. Let u be (l - -1)/((-2)/(-8)). Let f = -22 - -29. Solve f + 13 = u*y for y.
5