Let t be ((-2)/3)/(2/(-15)). Suppose 5 = -0c + c. Let p be 0((-15)/6)/c. Solve 0*v - t*v = p for v.
0
Suppose -3*l - 2*l + 45 = 0. Solve -3 = -3*z - l for z.
-2
Let d(x) = 2*x - 17. Let g be d(12). Let z = g - 6. Suppose -z = 2*q - 5*j - 5, -4*q + 8 = 2*j. Solve 0 = q*s + 6 for s.
-3
Let q = -7 - 39. Let o = -16 - q. Let i = o + -20. Solve -6*s + i = -s for s.
2
Let m(d) = d**2 - 12*d + 2. Let q be m(13). Suppose 3 = 3s + q. Let v be 1⁄2(4 + s). Solve 5*j - 3 - 7 = v for j.
2
Let c = -1 - -3. Suppose 3*d = -14 + 35. Suppose n - d = -c. Solve -b = -n*b - 20 for b.
-5
Let x = 7 + -4. Let m be (-1)/(-3) + 70⁄6. Suppose m = o + 10. Solve 5*g - x*g + o = 0 for g.
-1
Suppose 0 = -9*o + 7*o + 10. Let w be 21⁄9 - 2⁄6. Suppose w*i = -0*i + 12. Solve -16 + i = -o*l for l.
2
Let i be 2⁄8-2-4. Suppose 6*h - o - 43 = h, 0 = -2*h - 5*o + 1. Suppose 0 = -2*r + 6*r - h. Solve r = -i*b - 2 for b.
-2
Suppose 27*v - 29*v + 24 = 0. Solve -f = -4*f - v for f.
-4