Let m be (-2)/(2*2/(-16)). Let b = 11 - m. Let a = 255 - 250. Solve 2*u = -b*u + a for u.
1
Suppose 2*f - 2 - 2 = 0. Suppose 0*a = -a + 3. Solve f - a = b for b.
-1
Let g be (-3)/(2/(24/(-9))). Solve -11 - g = -5*v for v.
3
Let f = 13 - 20. Let v(m) = 6*m**2 - m. Let u be v(2). Let s = f + u. Solve -5*p - s = -0*p for p.
-3
Let a = 33 + -28. Let i be (-1)/2*(-2 - 8). Suppose 5*w - i = 25. Solve -v + w*v + a = 0 for v.
-1
Suppose -3*t + 2*v = -0*t + 18, 0 = t + 2*v - 2. Let s = -2 - t. Suppose -5*p + 7*p = 32. Solve -s*r - p = -6 for r.
-5
Let a = 5 - 0. Suppose 0 = a*o + 5*b + 15, -4*o = -o + 4*b + 12. Let x(q) = -q3 + 6*q2 + 2*q - 2. Let f be x(6). Solve -2*m = -o*m + f for m.
-5
Let n = 15 + -9. Suppose g = m + 19, 5*m + 1 - n = 0. Solve 6*d = 2*d + g for d.
5
Suppose 0*g + 3*g - q - 11 = 0, -g + 1 = q. Suppose 0 = 3*t - 4*t - 2, 0 = -5*z - g*t + 9. Solve -z*i = i for i.
0
Let m be (1/(-2))/(5⁄10). Let z be 6 + (1 - (-3)/m). Solve -15 = z*d - 3 for d.
-3