Let y = -86 + 86. Solve t + 3*t - 16 = y for t.
4
Let r(t) = -3t - 2. Let l be r(-3). Let p be -2(19 + -1)/(-2). Suppose 4*b - p = 3*o, -6*b - 1 = -3*b + 5*o. Solve b*u - 22 = -l for u.
5
Let v(u) = u**2 + 6*u - 89. Let p be v(7). Solve -s - p - 2 = 0 for s.
-4
Let b be -18*3/(-6) + 1. Suppose b = -4*t - 5*c, 4*t - 4*c + 2 = -5*c. Solve t = d + 2*d + 15 for d.
-5
Let r = 12 + -4. Solve -3*i + r*i + 10 = 0 for i.
-2
Let s(h) = h + 5. Suppose -2*k + 8 = 14. Let x be s(k). Solve x*t - 10 + 0 = 0 for t.
5
Suppose -g - 108 + 114 = 0. Suppose 4*s - 3*s = 8. Suppose -1 = b - 4, 2*b - s = -f. Solve f*v - g*v = 0 for v.
0
Suppose 0 = 3*u - 2*m - 7, -5*m - 6 = u + 3. Let f be -9 - u - (0 + -1). Let h = f + 14. Solve 2*c + 1 = -h for c.
-3
Suppose -z + 6 = z. Suppose -23 = -3*t + 5*f, -7 = -0*t + 5*t + z*f. Let o be (-4 + t + 6)*2. Solve k - 25 = o*k for k.
-5
Suppose 0 = 7*o - 10*o + 6. Solve 5*i = o*i - 9 for i.
-3