Let y = 3 + -1. Solve y - 5 = -t for t.
3
Suppose m - 4*m - 5*s + 45 = 0, 3*m = 4*s + 18. Let a(g) = g3 - 4*g2 - 3*g - 7. Let q be a(5). Suppose -8 = -7*y + q*y. Solve y*v - 4 = -m for v.
-3
Suppose -5*r - 2*w - 5 = -33, -3*r + 3*w + 21 = 0. Solve 2*u = r*u - 16 for u.
4
Let a(m) = -m3 + 13*m2 + 16*m - 26. Let b be a(14). Solve i + 2 = -b for i.
-4
Suppose 2*z = l + 5, -2*z - 4*l = l + 25. Suppose -2*o + 10 = -z*o, -5*g + o + 10 = 0. Suppose -15 = -3*h, g*h - 35 = -5*m - h. Solve -4*d = m - 15 for d.
3
Let d be (-6)/8 + (-24)/(-32). Solve d*f = 3*f - 6 for f.
2
Let y(m) = 2*m**2 + 3*m + 1. Let a be y(-2). Suppose -3*b + a = -4*b. Let j = b - -3. Solve j = -2*z + z - 3 for z.
-3
Let y(n) = 2*n - 11. Let d(m) = 2*m**2 - m. Let k be d(2). Let v be y(k). Solve 2 = 3*c - v for c.
1
Let i = 35 + -35. Solve i = -n - 0*n - 1 for n.
-1
Let w(y) = 2*y3 + y2. Let l be w(1). Solve -9 = -2*c - l for c.
3