Suppose -3*w = -m - 13, 4*m - 7 = -5*w + 2*m. Solve 3 + w = -2*t for t.
-3
Suppose -3*i - 9 = -a + 3*a, -20 = 4*i. Suppose 3*v - a - 14 = -n, -4*v - 20 = -4*n. Suppose 0*y + 20 = 5*y. Solve -y*s - 4 = n for s.
-3
Let y(i) = -i - 5. Let d be y(-11). Solve -d = g - 1 for g.
-5
Let h(f) = -1. Let g(d) = 2*d - 20. Let t(o) = g(o) - 10*h(o). Let x be t(7). Solve 0*i + 2*i - x = 0 for i.
2
Let o be (-3 + 1)*(-2 - -1). Let f be (-1)/(2/(-3))*o. Solve -6 + f = 3*u for u.
-1
Let x = -4 + 29. Suppose h = -5*a + x, -4*a - 5*h + 4*h + 21 = 0. Solve -a*u + 10 = -2*u for u.
5
Let h = 20 + -20. Solve -10*t + 12*t + 4 = h for t.
-2
Suppose y = -1 + 25. Suppose -2*m = -4*d - 34, 1 = -m + 2*m + 2*d. Suppose 2*o = u - m, y = u + 3*u - 2*o. Solve 5*z + 0 - u = 0 for z.
1
Let m(x) = -x**2 + 5*x - 3. Let y = 5 - 2. Let d be m(y). Solve -d + 5 = z for z.
2
Let b(w) = -w**2 + 5*w + 7. Suppose -1 = 4*m - 5*a, -2*m = -7*m - 3*a + 45. Let l be b(m). Solve 0 = -3*z + 2 + l for z.
1