Suppose 11*q = 16*q - 25. Solve q*x = x for x.
0
Let x be (-5)/10*1 - (-21)/2. Let j(f) = f**3 - 1. Let g be j(1). Let n be -2 - (g + 2 - 6). Solve 0 = -3*r - n*r - x for r.
-2
Let n(b) = -2*b - 2. Suppose 3*u = 7*u + 20. Let v be n(u). Solve 2*t + 2 = v for t.
3
Let h(b) = 10*b3 - 2*b2 + 1. Let k be h(1). Let u be (-4)/6 + 51/k. Suppose 0 = -u*q + 6 + 4. Solve 0*w = -q*w - 2 for w.
-1
Suppose b - 2 = -0. Suppose 2 = 6*d - 5*d. Let v = 35 - 31. Solve -b*i - v = d*i for i.
-1
Let o = 28 - -16. Suppose o + 31 = 5*z. Solve 6*w - z = w for w.
3
Suppose -2 - 1 = 4*g - 3*m, -2*m = -10. Solve l = g*l - 10 for l.
5
Suppose 5*t - 63 + 13 = 0. Suppose -t = -0*l - 5*l. Solve -5*k = -l*k + 15 for k.
-5
Let g be 2⁄4*-2*0. Suppose 6*s - s = 15. Let q be g/(s + -1*2). Solve -k = -q*k for k.
0
Suppose -14 = -6*l - 8*l. Solve -s = -l + 2 for s.
-1