Let l = -81 - -85. Let a be 2 - (-1)/1*1. Suppose 0 = 5*o - a*o - 6. Solve -x = -l*x + o for x.
1
Let s = 5 + -5. Solve 3*v - 15 = -s for v.
5
Suppose -11 = z - 4*y, -7 = -4*z - 5*y + 4*y. Suppose 5*v - v + 3 = s, 4*s - 12 = -3*v. Let n be (-2)/(s - z) - -4. Solve n*r - 5 + 2 = 0 for r.
1
Let x be (-5)/(-1) + 6⁄4*-2. Solve 0 = 4*o - x - 18 for o.
5
Let h(w) = -w - 3*w + 2*w. Let c be h(-2). Suppose j + 1 = r + c, 13 = 3*j - r. Solve 3*b + j = 11 for b.
2
Suppose -y + 4 - 2 = 0. Suppose -h = -y*h. Suppose 5*r - o - 14 = h, 5*r + 7*o = 2*o + 20. Solve r*i - 3 - 12 = 0 for i.
5
Let c be -1 - -2 - (-4 + -1). Let i = 2 - 0. Suppose m + i - 4 = 0. Solve 4*u + c = -m for u.
-2
Let k = 4 - 4. Suppose k*r = -5*r + 75. Let z be (-2 - 12/(-5))*r. Solve 0 = 3*m + z for m.
-2
Let q = 1 - -1. Let z = -2 + q. Suppose 15 = 2*r - 3*b, 0 = 6*r - r - 4*b - 20. Solve r = -2*p - z*p + 10 for p.
5
Let g(m) = m**2 - 9*m - 31. Let p be g(12). Solve 10*w - 10 = p*w for w.
2