. Sort k, l, 2/21.
l, 2/21, k
Let m = -3 + -1. Let c = -3 + 5. Let n = c - 1. Sort m, 2, n in decreasing order.
2, n, m
Suppose 2*p = -2*p. Let x = p + -5. Suppose c = 4*a - 8, 0 = 3*c - 2*a - 0 + 4. Put -4, c, x in increasing order.
x, -4, c
Let n be (1/(-28))/(-1 + 0). Let j = n - -13/28. Let k = -3/76 + 15/19. Put k, j, 2 in descending order.
2, k, j
Let w = 31 - 27. Put 0.3, 2/3, -4, w in descending order.
w, 2/3, 0.3, -4
Let l = -5 - -5.7. Let i = -5.7 + 6. Let h = l - i. Sort h, 0.5, -0.3 in decreasing order.
0.5, h, -0.3
Let v = -0.91 + -0.09. Put 2, -2/11, -4/5, v in descending order.
2, -2/11, -4/5, v
Let o = 53 - 319/6. Suppose 3*b = -2*q + 51, -5*q + b + 6 = -79. Let i be q/(-4) - (-2)/4. Put i, o, 0.4 in decreasing order.
0.4, o, i
Let j = -29 - -29. Sort 1, -4, j in descending order.
1, j, -4
Let f = -2.94 - -3. Let g = -0.16 + f. Let q = g - -0.5. Sort -3, q, 3 in increasing order.
-3, q, 3
Suppose -4*o - 2*j = -234, 2*j + 2*j + 63 = o. Let r = o - 411/7. Let t = 13 + -13. Sort t, 1, r in ascending order.
t, r, 1
Let a = -1.02 + 1.52. Let x = -0.4 + 0.3. Sort a, -5, x in decreasing order.
a, x, -5
Let g be (-2)/(-6)*(19 + -7). Suppose -5*j - 7 - 3 = 0. Let p be 0*(j - (-9)/6). Sort g, p, 2.
p, 2, g
Suppose g = v, -4*v - 2*g - 3*g - 18 = 0. Let h = 0.1 + -1.1. Let k = h - -1.4. Put v, 2, k in ascending order.
v, k, 2
Let m = 0 + 0.1. Let b = -55 - -52.1. Let h = b - -2.8. Sort m, h, 2 in descending order.
2, m, h
Let k = -74 + 74.2. Let f be 2 + (0 - (-8)/(-6)). Put 0.5, f, k in ascending order.
k, 0.5, f
Let n be (0 + -4)/(-4) + 0. Suppose -2*x + x - n = t, -2 = 2*x - 5*t. Put 1, 4, x in descending order.
4, 1, x
Suppose n + 8 = -5*h, 2*n + 3*n - 5*h + 100 = 0. Let w be (-12)/n + (-14)/(-6). Sort 0.2, w, 6/5 in decreasing order.
w, 6/5, 0.2
Let o = 6 + -7. Let p = -11.4 + 11.1. Sort p, -2/15, o in ascending order.
o, p, -2/15
Let r = -0.2 + 0.1. Let q be 2/(-6)*6/4. Let l be (-3)/(-60)*24/(-9). Sort l, q, r in decreasing order.
r, l, q
Let c = -9/4 + 3. Let o = 9/8 - c. Sort o, -1, -0.2.
-1, -0.2, o
Suppose -2*t + 1 = -3. Sort -4, 3, t in decreasing order.
3, t, -4
Suppose -5*m = 4*h - 30, 3*m + h - 3*h + 4 = 0. Let t = 6 + m. Let d = t - 6. Sort -1, d, 4 in increasing order.
-1, d, 4
Let u = -0.5 - -3.5. Sort u, -0.1, -0.02 in decreasing order.
u, -0.02, -0.1
Let w = 1 + -3. Suppose -c + 2 = -3*q, c = -5*q + 2*q - 10. Let x be (w/c)/((-2)/12). Put x, 1, -4 in increasing order.
-4, x, 1
Let b(k) = -k - 2. Let h be b(-3). Let f = 11 + -16. Let n = f - -1. Sort n, -5, h in descending order.
h, n, -5
Let s(n) = 4*n**3 - n**2. Let z be s(-1). Suppose 3*o = 7*o - 96. Suppose -8 = 5*p - 3*v, -2*p + 0*p - 4*v = o. Sort p, 5, z in decreasing order.
5, p, z
Suppose 2*w - 6*w - 8 = 4*o, -4*o + 3*w - 1 = 0. Let a be (-1)/(o + 0)*0. Sort 4, a, -5 in ascending order.
-5, a, 4
Let b = 3 - 2. Let w = 6744/19 - 69379/171. Let o = -51 - w. Sort -1/3, o, b.
-1/3, o, b
Let k(l) = -l**3 + 9*l**2 + l - 10. Suppose -60 = -5*j + 5*x, 5*j + 5*x - 31 + 1 = 0. Let o be k(j). Sort o, 0, -2 in increasing order.
-2, o, 0
Let b = -5.27 + 0.27. Put 1/10, 4, b in decreasing order.
4, 1/10, b
Let v = 92 + -88. Let d be (3/10)/(1/(-2)). Put -0.02, d, v in descending order.
v, -0.02, d
Suppose 2*g + 6 = 3*d, -3*g - 5 - 2 = -4*d. Suppose a + 12 = 6*a + 3*x, d*x = a + 16. Let v = 3 - -1. Put v, a, 5 in decreasing order.
5, v, a
Suppose z - 3*d + 9 = 0, -6 = -2*z - 2*d - 0*d. Let r = -9 + 12. Suppose 0 = -z*a + 3*a + r. Sort a, 1, -4 in increasing order.
-4, a, 1
Let w = 51 - 199/4. Put w, 5, -0.4 in ascending order.
-0.4, w, 5
Let n(h) = -h + 14. Let p be n(13). Suppose -3*q + 10 = p. Put -4, 5, q in increasing order.
-4, q, 5
Let h = -16 - -21. Put -5, h, -1 in increasing order.
-5, -1, h
Suppose -10 = 5*f + 5*t, -f - 3*t + 3 = 5. Suppose 0 = 3*g - 16 - 5. Let b = g + -4. Put f, 5, b in increasing order.
f, b, 5
Let n(m) = m**3 + 5*m**2 + 4*m - 1. Let r be n(-4). Sort 0.4, 0, r, -4.
-4, r, 0, 0.4
Let t be (-6 - 1) + 5/(40/24). Sort t, -6, 5 in increasing order.
-6, t, 5
Let k = -4 + 2. Let g = k - -2. Let i = -0.7 - -0.5. Put i, 4, g in decreasing order.
4, g, i
Let m = -3 - -1.6. Let d = -1.47 - m. Let f = d + -0.23. Put 2, -0.4, f in decreasing order.
2, f, -0.4
Let u = 15.7 + -15. Let d = -1.7 + u. Put 0.5, -0.1, d in decreasing order.
0.5, -0.1, d
Let d = 15 + -13. Suppose 3*u - 5*a = 14, 2*u + 4*a - 5 = -u. Sort d, 4, u.
d, u, 4
Let i(r) = -r**2 + r + 1. Let b be i(1). Let z be b*((-3 - -2) + 2). Let v be 4*(-3)/18*z. Put -1/6, 0.5, v in increasing order.
v, -1/6, 0.5
Let i = 0.2 + 0.3. Let w = i - 0.3. Let s be (3/21)/(2/4). Sort s, -5, w.
-5, w, s
Let h be 10/(-3)*(4 - (-130)/(-25)). Sort 2, 3/2, h in increasing order.
3/2, 2, h
Let m be (-21)/(-28)*(-2 - 2). Let k be 1 - m/(-3) - 1. Sort -2, 2, k in increasing order.
-2, k, 2
Let b = -0.89 - -0.09. Let t = -4.2 + b. Put -0.1, -2, t in ascending order.
t, -2, -0.1
Let h be (-1)/(-2) - (-15)/(-15). Sort h, -4, -5 in decreasing order.
h, -4, -5
Suppose -4*v = 5*h - 16, -16 = -3*v - v - 4*h. Put -3, -2, v in descending order.
v, -2, -3
Let j be ((-8)/6)/((-3)/(-9)). Sort j, -2, 1.
j, -2, 1
Suppose 0 = -4*t + 8, 0*q - 2*q - 3*t = -32. Let o = 10 - q. Sort -5, 5, o in increasing order.
-5, o, 5
Let u = -9 - -5. Suppose n = -0*n + 4. Let d = n + -2. Put u, -3, d in descending order.
d, -3, u
Let h = 0.59 - -0.01. Let g = h - -0.4. Let a be (1*(-1 + 1))/2. Put g, a, -3/5 in increasing order.
-3/5, a, g
Suppose 4*q = 3*q. Sort 4, -1, q in increasing order.
-1, q, 4
Let h = -0.7 - -0.5. Let a = h - 4.8. Let j = -0.2 + 0.2. Sort j, -2/7, a.
a, -2/7, j
Suppose 0 = -5*y + x - 7 - 8, 3*y = -x - 1. Sort -1, y, 5, 4 in descending order.
5, 4, -1, y
Let s = -10 - -15. Put -3, s, -4 in descending order.
s, -3, -4
Let r(b) = b**2 + 6*b - 1. Let w be r(-6). Let q = -2 + 7. Suppose q*a - 9 = 11. Put w, a, 3 in ascending order.
w, 3, a
Let g = -1100 - -56104/51. Let i = 67/204 - g. Put 3, i, -3/8 in increasing order.
-3/8, i, 3
Suppose -m + 1 = -2*n, -6*n + 1 = m - n. Put -1, m, -5, -2 in ascending order.
-5, -2, -1, m
Let y = -1 + -3. Let q be ((-4)/(-10))/(y/(-120)). Suppose -4*k - 29 - 3 = 4*p, -2*k - q = p. Put k, 3, -2 in descending order.
3, -2, k
Suppose 3*j = 4*j - w - 8, -3*w + 6 = 3*j. Let y(v) = v**3 - 34*v**2 - 3. Let l be y(34). Put l, j, 0 in increasing order.
l, 0, j
Let z = -0.091 - 1.909. Put 3, -0.2, z in decreasing order.
3, -0.2, z
Let q = 16.04 - 16. Put 1/2, q, 4 in descending order.
4, 1/2, q
Let k = 4.039 + 0.041. Let d = k - 0.08. Put 1, d, -1/2 in decreasing order.
d, 1, -1/2
Suppose -8*g = 12 - 52. Sort 2, g, -5, -2 in ascending order.
-5, -2, 2, g
Let d = -3.94 + -0.06. Let w = 2.9 + -3. Suppose -4*b - 2*q - 10 = 0, -3*b + q + 7 = 27. Sort b, d, w in descending order.
w, d, b
Let r be 18/27*6/4. Sort 3, r, -2 in descending order.
3, r, -2
Let y be 3 - 0 - (-12)/(-3). Let v = -545/4 - -77943/572. Let d = v - 151/572. Put 0.5, d, y in ascending order.
y, d, 0.5
Let c be (0 - (-1 - -1)) + -3. Let f(n) = -3*n - 4. Let d be f(c). Suppose -21 = -5*u - 4*v, -u - 4*u - 5*v + 25 = 0. Sort u, -2, d in ascending order.
-2, u, d
Let y = 16 - 12. Sort -0.02, y, -1/5 in ascending order.
-1/5, -0.02, y
Let a = 13 + 5. Let b be 8*3/a*3. Let t be 86/(-18) + b/(-18). Put t, -1, -2 in ascending order.
t, -2, -1
Suppose 2*j = 3*j - 11. Let w = j - 7. Suppose -5 = -3*i - w*r + 8, 2*i = 2*r - 10. Sort i, -4, -2 in ascending order.
-4, -2, i
Suppose -5*l - 25 = -2*v - v, 4*v - 5*l - 30 = 0. Suppose o = 4*z - 3, v*z + o + 3 = z. Put -2, z, -5 in decreasing order.
z, -2, -5
Suppose 0 = n + 4*n + 5. Suppose -30 + 2 = 7*y. Sort n, y, 0.
y, n, 0
Let n = -4 - -6. Suppose 3*o + 9 = 0, 0 = -n*s + 6*s + o - 17. Let p be (-9)/(-9) + 2*1. Sort p, -2, s in ascending order.
-2, p, s
Suppose -74 - 31 = -3*y. Suppose -15 = -3*d, -z + y = 3*z + 3*d. Put 0.1, z, 1/3 in increasing order.
0.1, 1/3, z
Let k be (1/3)/((-2)/4). Let i = 13 + -15. Put k, -4, i in descending order.
k, i, -4
Let m = 48 + -143/3. Put 5, m, 3 in decreasing order.
5, 3, m
Let h = -2.39 - 0.61. Put 3/4, -0.2, h, 5 in ascending order.
h, -0.2, 3/4, 5
Suppose -5*r + 197 = -103. Let v be (-2)/(-4)*r/6. Let s = v - 2. Sort 5, s, 4 in descending order.
5, 4, s
Let r be 