Let v(h) = 5 - 3*h + h**2 - 4*h + 0*h. Let q be v(7). Suppose -q*w = -3*w. Solve 0*t + 3*t + 12 = w for t.
-4
Let c = 37 - 31. Let m = 1 + 3. Suppose -d = s - 8, -5*d - m*s + c + 31 = 0. Solve d*x + 0*x = -15 for x.
-3
Let x = -125 + 129. Solve -x = n - 0 for n.
-4
Suppose 23*h - 19*h - 16 = 0. Solve 8*b + 20 = h*b for b.
-5
Let k(h) = -h + 1. Let m be (-9)/4 - (-5)/20. Let b be k(m). Suppose 2*d + 5 = 5*n, -d - b*n + 3 = -0*d. Solve d*i + 5 = -i for i.
-5
Let m = 3 - 4. Let v = 71 + -50. Let p be v/4 - m/(-4). Solve -p = -4*n - 1 for n.
1
Let m be ((-42)/12 + 3)*-12. Let l be (0 - (-60)/9)*3. Solve -m*h - l = -2*h for h.
-5
Let r = -89 + 90. Solve r + 14 = 5*u for u.
3
Let z = -5 - -9. Suppose 14*o = 18*o. Let t(i) = 3*i + 2. Let b be t(o). Solve 0*x = -b*x + z for x.
2
Let a be 9 - 11 - 1/(2/(-4)). Solve a = 3*q + 2*q + 25 for q.
-5