Let q(n) = -n**2 + 6*n - 2. Let t be q(7). Let r = t + 5. Let b be (-6)/(-24) - 7/r. Solve 2*z = -b - 2 for z.
-2
Suppose 5*v - 10 = a, 0 = 5*a - 2*v - 0*v - 19. Suppose -3 + 13 = 2*q. Suppose 0 = -q*n + 2*n + 27. Solve -a*p = 16 + n for p.
-5
Let c = -2 - -6. Suppose 7 = -c*h + 27. Solve 0 = 8*p - h*p for p.
0
Suppose o - 3*d + 16 = 0, -3*o + d - 3*d = 26. Let c = o - -6. Let s = 5 + c. Solve -5 = -r - s for r.
4
Suppose -3*r - 5*j + 38 = 0, 0*r + 2 = r - j. Solve 3*i + r = -0*i for i.
-2
Let y be 0 + (3 - -1) + 0. Solve -4*h + 0 = y for h.
-1
Let v(f) = -6*f3 - f2. Let z be v(-1). Let a be 5 - 1/(0 + -1). Let c = 12 - a. Solve -z*n - c + 31 = 0 for n.
5
Let x = 25 + -18. Solve -10 = 2*a - x*a for a.
2
Let p be -3 - (4 + -7) - 10/(-2). Solve p*h = -2 - 3 for h.
-1
Suppose 12*r - 118 = 74. Solve -5*n - 4 = r for n.
-4