Let s be ((-20)/(-7))/((-4)/(-14)). Let z be (6 + -1)*4/s. Suppose 4*d = 5*b + d - 15, -z*b + 5 = -d. Solve v = -b*v + 1 for v.
1
Let i(a) = 7 + 5 - 3 + 6*a + a**2. Suppose 4*c + 17 + 15 = 0. Let s be i©. Solve 6*f - f - s = 0 for f.
5
Let x(y) = 5*y - 3. Let t(g) = -2*g + 2. Let p(v) = -7*t(v) - 3*x(v). Let i be p(-7). Solve -i = -0*f + 2*f for f.
-1
Let p be (-5)/253-5. Solve 5*j = -18 + p for j.
-3
Suppose -2*i = -9 - 21. Suppose j - i = -2*j. Solve a + 0*a = j for a.
5
Let h = -1 + 5. Suppose -s + h*s = 0. Solve 0 = -5*x - s*x for x.
0
Suppose -11*j = -15*j + 16. Solve -j = -b - 3*b for b.
1
Suppose -5*c - 4*p = -0*p + 6, -2*c + 2*p = -12. Solve 6*i - c*i = -16 for i.
-4
Suppose -3*t = -0*t - 33. Solve 3 - t = -4*u for u.
2
Let o = 29 + -19. Solve 6*i - i + o = 0 for i.
-2