w
Let n(y) = y**3 + y**2 - 2*y. Let v be n(-2). Suppose 2*u + 35 = 7*u. Let x = 3 - u. Put -2, v, x in decreasing order.
v, -2, x
Let k = -621 + 635. Let l be (-1)/3 + 14/(-3). Sort 0, k, l in descending order.
k, 0, l
Let l(t) = t**3 - 4*t**2 + 2*t - 5. Let f be l(4). Suppose -2*c = -f*c - 5. Let m be (2 - 11/4)/(3/12). Sort m, -4, c in descending order.
m, -4, c
Let m = 57 - 40. Let u = m + -16.7. Sort -0.5, -0.1, u.
-0.5, -0.1, u
Let k be (-1)/(1*2/(-10)). Suppose 0 = -k*x - 3 - 7. Let w be 6/(-4)*(-3 - -1). Put x, w, 4 in descending order.
4, w, x
Let q be (80/30)/((-4)/(-6)). Sort -1, q, -2 in decreasing order.
q, -1, -2
Let y(k) = k**3 + 4*k**2 - 3*k + 6. Let m be -5*1/(-2)*-2. Let t be y(m). Suppose -4*c - 5*o + 10 = 0, 6 = -5*c + 5*o - 4. Sort c, t, -1 in ascending order.
t, -1, c
Let v = 1 + 0. Let j = 0 - v. Put 5, j, -2 in increasing order.
-2, j, 5
Suppose 9*i + 2*c = 4*i + 25, 5*i - 3*c - 25 = 0. Let w(j) = 14*j + 1. Let x be w(-1). Let h be (5 + x)*1/2. Sort -5, h, i in increasing order.
-5, h, i
Suppose 17*p = 23*p + 12. Put p, -9/2, 3/5 in decreasing order.
3/5, p, -9/2
Suppose 3*y = 5*i - 15, y - 5 = 2*y - i. Sort 4, y, -3 in increasing order.
y, -3, 4
Let g be (-6)/(-33) + 8/(-44). Suppose -4*c - c + 20 = g. Let p be (-6)/c - (-1 + -1). Sort -1/5, -0.01, p.
-1/5, -0.01, p
Let v be 1/(-2)*(-4 + 3). Let c = 0.1 + -0.6. Let f = -3.2 + 3. Sort c, f, v.
c, f, v
Suppose -a - a = -4*l - 12, -17 = -3*a + 5*l. Suppose -w = 3*w + 5*d + 29, 0 = -5*w - a*d - 25. Let k be (3 - 1)*w/(-1). Sort -1, 0, k in increasing order.
-1, 0, k
Let q = 6 - 7. Sort -5, -0.4, q in increasing order.
-5, q, -0.4
Let b be (1/11)/(1/37). Let q = b + -355/99. Let r = -5.8 + 6. Put r, q, 2/5 in descending order.
2/5, r, q
Let h(m) = -m**3 - 7*m**2 - 11*m - 28. Let f be h(-6). Sort 4, f, -4, 9 in increasing order.
-4, f, 4, 9
Let u = 4 + -1.6. Let j = u + -2. Sort 3, j, -3 in increasing order.
-3, j, 3
Let q(u) = u**2 + 19*u + 2. Let a be q(-19). Let z = 3 + -7. Put 4, z, a in decreasing order.
4, a, z
Suppose -2*j - 60 = 3*j. Let y = j + 9. Sort y, -4, -2 in decreasing order.
-2, y, -4
Suppose 0 = -5*s - 20, -3*g + 4*s - 14 = -0*g. Sort 2/17, 2, g in ascending order.
g, 2/17, 2
Let j be (4/3)/(4/(-12)). Let t be (-6)/(-24) + 21/j. Sort 1, t, 5 in ascending order.
t, 1, 5
Suppose 3*q + o - 18 = 0, -6*q + 5*o + 5 = -2*q. Let m = -10 - -5. Sort q, m, 0.
m, 0, q
Suppose -2*y - 90 = -5*x, -5*x - y + 95 = -4*y. Suppose 0 = -3*v - v + x. Put -1, -2, v in ascending order.
-2, -1, v
Suppose -2*f = 5*a - 12, 3*f + f + 6 = 5*a. Put 6, f, -3, 2 in decreasing order.
6, 2, f, -3
Let w = 14.1 + 0.9. Let q = -10 + w. Put 4, -2, q in decreasing order.
q, 4, -2
Let k be ((-2)/(-6))/(8/(-3)). Let i = 3.1 + -3.6. Put -0.3, k, i in ascending order.
i, -0.3, k
Let n be -2 + -1 + (2 - -3). Suppose z - 19 = -n*o, 2*o + 0*z + 4*z - 4 = 0. Let b = 27/2 - o. Put b, 5, -3 in ascending order.
-3, b, 5
Let z = -281/7 + 40. Let t = 51 + -2191/43. Let v = t - 63/430. Put 3/2, z, v in ascending order.
z, v, 3/2
Suppose -4*f = -9*f - 20. Let h be (-2 + 10)*(-2)/f. Put -4, 0, h in decreasing order.
h, 0, -4
Let t = -15.21 - -0.21. Let k = t + 9. Let o = -4 - k. Put -1/6, o, -0.2 in descending order.
o, -1/6, -0.2
Let k = 85.2 - 85. Sort k, -0.4, 2 in decreasing order.
2, k, -0.4
Suppose -4*h = g - 7, 0*g - 4*g - 4*h + 16 = 0. Suppose j - g = -5. Sort j, -4, -1 in increasing order.
-4, j, -1
Let o = 0.02 - -3.98. Let p = -52 - -16. Let u = 181/5 + p. Put o, 0, u in decreasing order.
o, u, 0
Let a be 1 - -1 - (-17)/(374/(-48)). Let f(m) = -m**3 + 5*m**2 - 3*m - 5. Let p be f(4). Let q = -0.37 + 0.07. Sort p, q, a.
p, q, a
Let x = -13 - -13. Put -3, x, -1 in descending order.
x, -1, -3
Suppose -p + 2*x - 8 = 0, -3*p - x = 3*x + 44. Let z = 8 + p. Put 2, -2, z in descending order.
2, -2, z
Let s be 1 + (-54)/60 + (-6)/10. Sort 0.4, s, 0.3 in increasing order.
s, 0.3, 0.4
Suppose -5*f = 5*k - 40, 0*f + 5*f = 20. Let n be (2/(-4))/(k - 2). Let s(q) = q**3 - 5*q**2 + 4. Let b be s(5). Put n, -1, b in descending order.
b, n, -1
Let b be 11 + -15 - (-11 + 0). Suppose -4*p - 13 - b = 0. Sort 2, 3, p in ascending order.
p, 2, 3
Let b be ((-10)/(-2))/1*-1. Let o be (-6 - 2) + 5 - -3. Put o, 2, b in increasing order.
b, o, 2
Suppose -12*q - 5 = -7*q. Let m = 1.9 - 2. Put m, q, 1/4 in decreasing order.
1/4, m, q
Let v = 0.4 - 3.4. Let u = v + 3. Put -4, u, 4 in descending order.
4, u, -4
Let x(t) = -t**2 - 21*t + 48. Let g be x(-23). Suppose -a + 4*a = 18. Suppose -2*f + a = -0. Put f, -5, g in descending order.
f, g, -5
Let t = 0.88 + -0.18. Let p = t - 0.4. Let j = 0.6 - p. Sort -1, 0.02, j in ascending order.
-1, 0.02, j
Let k(o) = o**2 - 3*o + 3. Let c be k(4). Let h = 9 - c. Let i be 8/6 + 3/(-9). Sort h, -4, i in descending order.
h, i, -4
Suppose -j + y = 2, 4 + 2 = -3*j - 5*y. Sort 5, j, 1 in descending order.
5, 1, j
Let y be ((-6)/56)/((-1)/(-4)). Let g be (-2)/(-15) - 112/(-240). Sort g, y, 2.
y, g, 2
Let i = -37 - -37. Put -5, -2, i in ascending order.
-5, -2, i
Suppose -4*q = -4*k - 12, -q = -0*q + k - 7. Sort 3, 0, q in descending order.
q, 3, 0
Let u = 2 + -2. Suppose u = 5*t + 7 - 22. Let o(f) = -f - 10. Let p be o(-11). Put -4, t, p in decreasing order.
t, p, -4
Let j(k) = -k**2 - 2*k + 4. Let a be j(-3). Sort -28, -4, a in increasing order.
-28, -4, a
Suppose 0 = -10*b + 2*b - 32. Suppose s + 3 = 11. Suppose 3*g + s = -g. Put -5, b, g in decreasing order.
g, b, -5
Let b(g) = 2*g**2 - 12*g + 13. Let s be b(7). Sort 4, s, -3 in decreasing order.
s, 4, -3
Let k = 146 + -149. Let m(q) = -q**3 - 5*q**2 + 6*q + 3. Let l be m(-6). Put l, k, 1 in decreasing order.
l, 1, k
Suppose 3 = -3*z, 0 = 4*q - q + 4*z + 7. Let x = 3 - q. Sort 5, x, -1.
-1, x, 5
Let r = 16 - 15.89. Let i = r + 2.89. Sort i, 5, 0.5 in ascending order.
0.5, i, 5
Suppose -3*l + 0*l + 7 = 4*z, -2*l = 3*z - 4. Suppose 5*g + 2*x = -x + 13, -5*g + l*x = -5. Sort g, -5, -4 in increasing order.
-5, -4, g
Suppose -2*y = -11*i + 7*i + 12, 2*y + 5*i = 15. Sort -1, 5, -6, y in decreasing order.
5, y, -1, -6
Let x(n) = -2*n + 43. Let f be x(22). Let d(v) = -2*v**2 + 5*v - 2. Let p be d(3). Let m be (-1)/(2/(-4)) - 0. Put m, f, p in ascending order.
p, f, m
Let h = 4 + -3. Suppose 4*a + 16 = 8*a. Suppose -b - 4*m - 8 = -3*b, a*b = -3*m - 28. Put h, b, 5 in increasing order.
b, h, 5
Let v = 209 + -189.2. Let g = -1.8 + v. Let f = 13 - g. Sort 0, -0.4, f in decreasing order.
0, -0.4, f
Let d(f) = -f**3 + 4*f**2 + 5*f - 5. Let i be d(5). Put -1, i, 3 in ascending order.
i, -1, 3
Let c be (-3)/((-6)/8)*1. Sort -3, 2, c, 0 in descending order.
c, 2, 0, -3
Let b = 6 - 3. Suppose -g + 1 = -0*g. Suppose g = -2*h - b. Sort h, -1, 1.
h, -1, 1
Let o = -0.01 + 6.01. Let y = -9 + o. Sort y, -4, 4 in descending order.
4, y, -4
Let d(y) = y**2 - 4*y - 8. Let m be d(6). Suppose 7 + 1 = -r - k, -37 = 5*r + m*k. Sort 3, -12, r in increasing order.
-12, r, 3
Let g = 1 - -2. Put g, 2, -4 in decreasing order.
g, 2, -4
Let r(y) = y + 1. Let f be r(3). Suppose -8 = -2*s + 2. Let c = 8 - s. Sort f, c, -3 in decreasing order.
f, c, -3
Let d be (-6)/4*4/(-2). Let j(a) = 3*a + 1. Let z be j(-2). Sort d, z, -2 in ascending order.
z, -2, d
Let p be ((-1416)/(-8))/(18/(-4)). Let b = 39 + p. Sort b, -2, -1/6 in descending order.
-1/6, b, -2
Let r = 0.03 - -2.97. Let c = r - 8. Sort 1/3, c, 2.
c, 1/3, 2
Let r = 1.9 + -1.6. Put 3, 5, r in descending order.
5, 3, r
Let x = 0.22 - -0.88. Let r = 0.9 + x. Let b = 0.7 + 0.3. Sort 0, b, r in descending order.
r, b, 0
Let f(i) = -i + 4. Let b be f(4). Suppose -j - 2*j = b. Put 3, -3, j in ascending order.
-3, j, 3
Suppose 3*f - 5 = 13. Suppose 0 = 5*k + 14 + f. Put k, -3, 0 in decreasing order.
0, -3, k
Let c = 0.6 + -0.1. Let d = -3.2 - -4. Let h = d + 1.2. Put c, h, 1/7 in increasing order.
1/7, c, h
Let w = -0.6 - -0.3. Sort w, -2, -1 in ascending order.
-2, -1, w
Suppose 0 = -5*n + 4*m + 85 - 34, -5*n - m + 31 = 0. Let b(h) = -h**3 - 18*h**2 - 17*h. Let j be b(-17). Put 2, j, n in ascending order.
j, 2, n
Suppose z - 2*w - 3 = 0, -28*w + 25*w = -3*z + 9. Suppose -2*j + s = -3*j + 4, 0 = 2*j + 3*s - 12. Sort 1, j, z in decreasing order.
z, 1, j
Suppose 41 = 3*x - 4*x. Let a = x - -163/4. Put a, 3/5, -1 in ascending order.