1, w in decreasing order.
w, 1, -5
Let k = 0.06 + -0.02. Let b = k + 2.96. Sort 2, b, -4.
-4, 2, b
Let j be 20/(-24)*(-6)/(-15)*3. Put j, -23, 0, 1 in decreasing order.
1, 0, j, -23
Let a be 2/2 + (-14)/12. Let v = 307 - 303. Sort v, a, -2/17 in ascending order.
a, -2/17, v
Let u = -15 + 10. Sort 4, -4, u in decreasing order.
4, -4, u
Let a = -4 + 7. Let n = -0.5 + -2.5. Let b = n + a. Sort -0.3, -1/5, b.
-0.3, -1/5, b
Let v = -2.9 - 1.1. Let n = -175 - -125. Let t be (-5)/(-50)*n/(-4). Sort 3, v, t in increasing order.
v, t, 3
Suppose -5*p + 12 = -23. Let i(q) = q - 1 + 0 - 3. Let h be i(p). Put h, -1/6, 0.1 in decreasing order.
h, 0.1, -1/6
Let r(h) = -h**3 - 7*h**2 + 8*h - 2. Let w be r(-8). Sort 3, 2, w.
w, 2, 3
Let j be (-15)/(-2)*2/3. Sort j, -5, 0.4 in descending order.
j, 0.4, -5
Suppose c = -0*c. Put c, 4, 18 in decreasing order.
18, 4, c
Let j = 4.7 - -0.3. Sort 0.3, -2/3, -1, j in decreasing order.
j, 0.3, -2/3, -1
Suppose -3*r + f - 3 = -1, -4*r = 2*f - 4. Let h(o) = o. Let k be h(-1). Let g = 0 + k. Sort 1, r, g in increasing order.
g, r, 1
Suppose 14 = 2*r - 10. Suppose -4*w - d - 12 = 0, 5*w = 5*d - 52 + r. Let h be ((-1)/(-3) - 2)*3. Sort h, w, 1 in descending order.
1, w, h
Suppose -4*u - 4*j = -0*u, -14 = -5*u + 2*j. Put -4, u, 0 in increasing order.
-4, 0, u
Let s be (-220)/18 - 20/(-90). Let c = -10 - s. Sort 4, c, -4 in descending order.
4, c, -4
Let d = -10 - -14. Let o = d + -2. Let z = 0.4 - 0.6. Sort -4, z, o in descending order.
o, z, -4
Let x = -16 + 16.5. Sort 4, 2, x, 2/5 in decreasing order.
4, 2, x, 2/5
Let b = 16 + -25. Let t be (b/6)/(2/4). Sort 5, t, 4.
t, 4, 5
Let s = -1 + -11. Let n be 3/s - 26/(-8). Sort 0, 1, n in decreasing order.
n, 1, 0
Let l be (-2)/(-5) - (-66)/(-15). Let k = 4.93 + 0.07. Let p = k + -4.7. Put -0.2, l, p in increasing order.
l, -0.2, p
Suppose -11*b = -12*b - 1. Put -5, 0, b in descending order.
0, b, -5
Let j(t) = t**2 + 2 - 7*t - t - 2*t**2. Let b = -12 + 4. Let p be j(b). Put p, -1, 1 in increasing order.
-1, 1, p
Let c(r) = -r + 6. Let g be c(3). Sort -1, g, 5 in descending order.
5, g, -1
Let s = 37 + -23. Suppose -4*r = 8 + 8. Let z be r/s + 76/(-28). Put -4, z, -1/2 in descending order.
-1/2, z, -4
Suppose 3*w = 3*d - 99, -2*d + 128 = 2*d - 5*w. Let o = -860/23 - -50/69. Let c = d + o. Put c, 0.4, 3 in decreasing order.
3, 0.4, c
Suppose 0 = -8*m + 4*m. Sort -5, m, 3 in ascending order.
-5, m, 3
Let n = -3 + 5. Let j be ((-15)/(-9))/(3 + 40/(-15)). Sort n, j, -5 in ascending order.
-5, n, j
Let d = 20 - 28. Let q be 3/6*(d + -2). Sort q, 0, 2.
q, 0, 2
Let w be -2*((-9)/6 + 0). Suppose 0 = -2*o + 5*y + 11, 17 = -0*o - o - 2*y. Let t = o - -8. Put -4, w, t in descending order.
w, t, -4
Suppose -4*s = 5*v + 25, -5*s = -3*v - 9*s - 15. Put -2/7, v, -1/4 in decreasing order.
-1/4, -2/7, v
Let o = 52 - 54. Sort 2, o, -4, 4 in descending order.
4, 2, o, -4
Let l be (-1)/3*(-1)/(-2). Sort l, 3, 4 in increasing order.
l, 3, 4
Let k(c) = -c**3 - c**2 - c - 2. Let i be k(0). Sort 4, -4, i in descending order.
4, i, -4
Suppose -4*t - b = 279, -t = 3*b - b + 68. Let n = t - -561/8. Sort n, -5, 0 in increasing order.
-5, 0, n
Let w(q) = -10*q - 36. Let m be w(-4). Put -5, -1, m in decreasing order.
m, -1, -5
Let z(p) = 5*p + 1. Let w be z(-1). Sort w, -5, 2 in descending order.
2, w, -5
Let a(r) = -r**3 + 5*r**2 + 2*r - 7. Let b be a(5). Suppose b*n + 6 = 3. Let t = 2 + n. Sort t, 0, -5 in ascending order.
-5, 0, t
Let l(f) = 4*f + 5. Let x be l(5). Suppose 5*c + 3*g = -25, 0 = -2*c - 3*c + 5*g - x. Suppose 28*v - 31*v = 9. Sort -1, v, c in ascending order.
c, v, -1
Let o be 5 - 2/(-1)*-1. Let y = 3/4 + -1/2. Sort y, o, -0.1 in increasing order.
-0.1, y, o
Let n = 2 + -1. Let q be 15/(-10)*(-8)/(-3). Put q, n, -0.4 in increasing order.
q, -0.4, n
Suppose -6*s = -s + 20, -2*s + 12 = 4*t. Sort 4, 1, t in descending order.
t, 4, 1
Let b = -1059 - -7428/7. Sort -5, -2/15, b in decreasing order.
b, -2/15, -5
Suppose -3*i - 4 = o + 6, -4*o - 2*i = 10. Let p be -2 + ((-3)/(-1) - o). Sort 1, 3, p in decreasing order.
3, p, 1
Let f(a) = -a**3 - a + 2. Let u be f(0). Suppose u*n - 28 = -4*l, 0*l + 9 = n + l. Let c = -9 - -9. Sort -2, c, n in descending order.
n, c, -2
Suppose 5*m + 4*f = 2, -3*m + 7*f - 8*f = -4. Let h = -16 + 10. Let d = -11 - h. Sort 3, d, m.
d, m, 3
Suppose 0 = -5*s - 5, 7*x = 2*x - s + 19. Suppose -35 = -3*j - 4*u, -6*j + 10 = -j - 3*u. Put x, j, -2 in increasing order.
-2, x, j
Let b be -5*(0 + -3 + 2). Let z(q) = -q**3 - 7*q**2 - 6*q - 1. Let g be z(-6). Sort g, -4, b in decreasing order.
b, g, -4
Let u be 7 + 12/(-3) + -2. Put 4, u, -5 in descending order.
4, u, -5
Suppose -7 = 4*a - 3*m, -6*a - 4*m = -a + 1. Sort 1, a, 4 in increasing order.
a, 1, 4
Let h be (-14)/(-4) - 9/(-6). Suppose 4*v + 11 = -h. Put -1, v, -2 in descending order.
-1, -2, v
Let c = 21 + -19. Put c, -5, -2, -1 in increasing order.
-5, -2, -1, c
Let s = 51 + -155/3. Let v = 3.8 - 0.8. Let d(g) = g + 9. Let q be d(-7). Sort s, v, q in descending order.
v, q, s
Let i be (12 + -8)/((-16)/(-20)). Sort 4, 2, i, -1 in ascending order.
-1, 2, 4, i
Suppose -2*a - 17 = -4*z + 13, 5*z = 4*a + 45. Sort z, 6, -3 in decreasing order.
6, z, -3
Let m(v) = v**2 - 4*v + 4. Let k be m(3). Let j = -24 - -26. Put j, k, 3 in increasing order.
k, j, 3
Let m = -42.5 + 42. Put 3, 3/8, m in descending order.
3, 3/8, m
Let r = 45 + -40. Sort -1, -2, r.
-2, -1, r
Suppose -140*l - 15 = -145*l. Put -2, l, -1 in ascending order.
-2, -1, l
Suppose -h - 20 = -6*h. Suppose 2*t + 3 = -z + 15, -2*t - h*z = -18. Let q(g) = -4*g. Let s be q(-1). Put t, s, 1 in ascending order.
1, s, t
Suppose -4*s + k = -19, 4*k + 24 = s + 2*s. Let i = -8 + 3. Sort i, 3, s in descending order.
s, 3, i
Let m = 0.3 + -0.1. Suppose -4*o = -3*q, 4*o - 32 = -0*o - 5*q. Sort -0.1, m, o.
-0.1, m, o
Suppose -8*n + 4*n = -16. Put 7, 1, n in ascending order.
1, n, 7
Let f = -0.44 - -0.24. Put 2, -0.3, f, 2/5 in increasing order.
-0.3, f, 2/5, 2
Let q = 144 + -144.2. Let w be ((-4)/(-6))/((-22)/(-6)). Let a be 7/5 - (2 + -1). Put a, w, q in decreasing order.
a, w, q
Let l(q) = q - 1. Let f be l(5). Let w be 3/60*(-10)/f. Let h be 3/2 + (-1 - 1). Put w, h, 0.4 in decreasing order.
0.4, w, h
Let l = -0.7 + 0.2. Let u = -1 - l. Sort u, -9, -2/5 in descending order.
-2/5, u, -9
Let l = -2.9 + -0.3. Let b = 3 + l. Let n = 4.2 - 3.8. Sort 0.2, b, n in increasing order.
b, 0.2, n
Let n be 10/(-8)*153/(-225). Let w = -3/5 + n. Let o = -50/3 + 52/3. Put 3/2, w, o in descending order.
3/2, o, w
Let h = -0.13 - 5.87. Let x = 1 + h. Let j = 0.25 + -0.15. Sort j, x, 0.3 in decreasing order.
0.3, j, x
Let f be (3/(-111))/(1/3). Let d be -3 - -2 - 247/(-148). Let h = d - f. Sort 0.4, h, 1 in descending order.
1, h, 0.4
Let x = -10.05 + 0.05. Let b = x - -9.5. Sort -0.4, 0.4, b in increasing order.
b, -0.4, 0.4
Let x = 2 + 3. Suppose 0*c - c - 5 = x*l, c + 5 = l. Let p be (-3)/(1/2 - 2). Sort l, p, -1 in descending order.
p, l, -1
Let r(j) = -3*j - 1. Let n = 14 + -13. Let q be r(n). Put 3, q, 0 in decreasing order.
3, 0, q
Let a be 1*(4 - 45/10)*2. Sort -3, a, 37.
-3, a, 37
Let v = -21 + 20.8. Suppose 0 = -h - 0*h + 8. Suppose -h*f = -4*f + 4. Put -0.3, f, v in descending order.
v, -0.3, f
Let u = -3 - 2. Let o = -4.7 - u. Suppose -2*m - 3*m + 29 = 4*b, -3*m + 2*b + 13 = 0. Sort -3, m, o.
-3, o, m
Let b = 1 - -4. Sort b, 2, 3 in increasing order.
2, 3, b
Let n be 4/18 + (-340)/315. Let u = -8 + 5. Sort u, -2/7, n in ascending order.
u, n, -2/7
Let m = 898/7 - 128. Sort -1/5, -4, m, -3 in increasing order.
-4, -3, -1/5, m
Suppose 0*y - y + 6 = 0. Suppose 5*k + y + 9 = 0. Let x be k + 3 - (-5)/(-2). Sort -3/4, 0.2, x in ascending order.
x, -3/4, 0.2
Suppose 4*f + 5*k = 21, 0 = -4*f + 3*f + 4*k. Suppose -9*m = -f*m. Put -5, m, 1 in increasing order.
-5, m, 1
Let m be ((-137)/18)/((-2)/4). Let g = m - 15. Let d = -1 - 0. Sort g, d, -1/5 in decreasing order.
g, -1/5, d
Suppose -4*w + o - 15 = 0, 3*w + 0*o = -3*o - 30. Sort w, 2, 2/11 in decreasing order.
2, 2/11, w
Let x = 0.31 + 0.79. Let v = -149/4 + 37. Sort 1, v, x in increasing order.
v, 1, x
Suppose 0 = 2*t + 51 - 5. Let z = -21 - t. Let y be 2/(-5) + (-54)/(-10). Sort z, y, -1 in decreasing order.
y, z, -1
Let d = 0.006 + -3.006