Let r(i) = -4*i - 45. Let m be r(-12). Solve m*u - 5 = 10 for u.
5
Let j(p) = p**2 - 13*p + 27. Let r be j(11). Solve r + 10 = -5*s for s.
-3
Let a(q) = -q - 1. Let m be a(-1). Suppose 2*b + 3*b - 20 = m. Solve -b = -5*y + y for y.
1
Suppose -5*q + 14 = -6. Solve 0 = -3*k - k + q for k.
1
Suppose -4 = 2*w - 0*w. Let x = 5 + w. Solve 0 = -x*l - 3 - 6 for l.
-3
Let j = 7 + -6. Let h(y) = y + 2. Let c be h(j). Solve -3 = -c*u + 3 for u.
2
Let p = -1 + 5. Suppose 6*w - 6 = p*w. Solve -6*c = -w*c - 9 for c.
3
Suppose -2*b = 3*b. Suppose v - 3 + 0 = b, 3*v - 7 = a. Solve -2*q - a*q = 20 for q.
-5
-3
Let q be (0 - -45)/(-3 - -4). Suppose q = 4*i + 17. Solve 2*v + i = -3 for v.
-5