
Let x = 23 + -24. Sort 5, 4, x.
x, 4, 5
Let l = -0.976 - 0.024. Let v = 0 - 0.1. Sort l, 5, v in descending order.
5, v, l
Suppose -5*d = -4*h + 23, 5*d + 0 = 2*h + 1. Let s = 9 - h. Sort 5, s, 4.
s, 4, 5
Let k = -10 + 24. Suppose -1 = -d + 4*v, -2*d = 2*v + 2*v - k. Sort d, -4, 0 in descending order.
d, 0, -4
Let t(w) = w - 3. Let f be t(5). Suppose 3*i - 756 = -3*u - 2*u, 0 = -4*i + u + 985. Let s = i + -2715/11. Sort f, -2, s.
-2, s, f
Suppose -8*b = -5*b - 9. Suppose 3*h = -v - 3, 3*h + 5*v = -13 - 2. Sort 2, h, b.
h, 2, b
Let i be (-8)/20 - 13/5. Let d(p) = p - 1. Let h be d(-4). Put h, i, 5 in descending order.
5, i, h
Let m = -339 - -340. Suppose 3*y - 8*y = -2*i + 35, 3*i + 2*y - 5 = 0. Suppose 5*k + 6 = -3*o + o, -9 = 3*o - 3*k. Put m, o, i in increasing order.
o, m, i
Let n = -5 - -2. Let o = -0.2 + -0.3. Sort n, o, -0.1 in ascending order.
n, o, -0.1
Let x(h) = 5*h + 2. Let d be x(2). Suppose -5*l = -4*p + d, -p + 5 - 2 = -3*l. Let k = 0.416 - -0.084. Put k, l, -4 in descending order.
k, l, -4
Let f be 18/24 - 66/(-8). Let h be (-4)/((-12)/f) - 0. Put 4, 1, h in increasing order.
1, h, 4
Let z = -0.52 - 0.08. Let t = z + 0.6. Put t, 4, -1/5 in ascending order.
-1/5, t, 4
Suppose -6 = -x + 2*u, -15 - 10 = -5*x + 5*u. Let l be 6/21 + 12/7. Suppose -5*r - 3 = -c, -l*r - 2 = 3*c + 6. Sort r, x, -3 in descending order.
x, r, -3
Suppose -3*d - 5 - 7 = 0. Let t be 4/(-6) + (-5)/(-3). Suppose -3*q + 11 = -s, -3*q = 4*s - q - 26. Put d, s, t in increasing order.
d, t, s
Suppose 3*r = -2*u + r, 2*r + 4 = 2*u. Put u, -10, 0 in decreasing order.
u, 0, -10
Let s = -7 + 12. Let j = -0.3 + 0.1. Let c = j - 0.8. Sort c, s, 0.3 in descending order.
s, 0.3, c
Let y = -7 + 9. Let n = 13 + -14. Suppose -2*h = -4*l - 30, 5*h = l + 3*h + 15. Sort y, l, n in descending order.
y, n, l
Let t = 11 - 6. Let w = 0.02 + 1.98. Put 0.2, w, t in ascending order.
0.2, w, t
Suppose 6*m + 5 = 17. Put 1, -1, -6, m in increasing order.
-6, -1, 1, m
Suppose 5*y = -3*y. Suppose 4*p - 3 = 3*q - 22, -2*p = 2*q + 6. Let g be 39/15 - p/10. Sort 1, g, y.
y, 1, g
Let b = -5315/23 + 231. Put -2, -0.11, 1, b in decreasing order.
1, b, -0.11, -2
Let k = -29 - -31. Put k, -5, 3 in descending order.
3, k, -5
Let f(d) = 2*d**2 + 5*d - 22. Let i be f(-5). Suppose -5*g + 25 = 0, 3*j - 4*j = -2*g + 13. Sort -4, i, j in ascending order.
-4, j, i
Let b = 11 + -7. Let k be -2*b/32*4. Put -1/6, k, 0.5 in increasing order.
k, -1/6, 0.5
Let n be (-6 - -8)*(-1)/(-12). Sort -0.07, n, 1/2 in increasing order.
-0.07, n, 1/2
Suppose 0 = -5*o + 29 - 4. Suppose 4*s - 3 = -o*q, 3*s - q = -1 - 11. Sort 4, -4, s in increasing order.
-4, s, 4
Let t = -0.8 + 0.9. Sort 2, 5, t in decreasing order.
5, 2, t
Let x = -1.89 - 0.11. Let s = x + 1.6. Let j be 0/(4*1/2). Sort 2, s, j in increasing order.
s, j, 2
Let f = 5 + -3. Suppose 5*c = 3*i - 17, -c + 9 = -i - 3*c. Put f, -4, i in decreasing order.
f, i, -4
Let n = -2.98 + -0.02. Let c = 8.5 - 3.5. Put n, c, -0.4 in ascending order.
n, -0.4, c
Let f = -2 + 3. Let b = 2.85 - -0.15. Let h = b + -8. Sort -1/7, h, f in descending order.
f, -1/7, h
Let r = -0.4 + -3.6. Let v = r + 5. Let y = -1.5 + v. Sort y, 0.2, 2/19 in increasing order.
y, 2/19, 0.2
Let o(b) = b**2 + 14*b + 25. Let l be o(-12). Put 2, l, -3, 0 in descending order.
2, l, 0, -3
Suppose 0 = y + 2*y + 15. Let h be -1 - -3*(-1 - 0). Put 5, y, h in ascending order.
y, h, 5
Let r = -0.17 - -0.37. Let m = -59/87 - -1/87. Sort -3, m, r in descending order.
r, m, -3
Suppose r - 3 - 7 = 0. Let f = r + -15. Sort -3/4, -0.3, f in increasing order.
f, -3/4, -0.3
Let h = -13 + 12.9. Let b = h - 0. Put b, 0, -2/19 in increasing order.
-2/19, b, 0
Let d = -4.98 - 0.02. Let i = -0.087 - -3.087. Let b = -0.1 - 0. Put b, d, i in increasing order.
d, b, i
Let t = 0.04 - 0.06. Sort -1, -2/3, t in decreasing order.
t, -2/3, -1
Suppose 2*r - a = 4*r - 1, -2*r - 19 = -3*a. Let p be r/(-4)*(-11 - -11). Put -0.1, p, 0.1 in increasing order.
-0.1, p, 0.1
Let k = 0.38 - 5.38. Put -0.01, k, -0.4 in descending order.
-0.01, -0.4, k
Let t(j) = j**3 + 13*j**2 - 13*j + 14. Let w be t(-14). Let a(v) = v**3 - 7*v**2 - 8*v + 5. Let q be a(8). Sort q, -4, w in decreasing order.
q, w, -4
Let x(u) = u - 2. Let f be x(2). Let k be (-10)/(f + -2) - 2. Suppose 0*t + 4 = -t. Sort t, k, 0.2 in descending order.
k, 0.2, t
Let g be -72 + 1 + -2 + 1. Sort 2/3, -0.4, g in decreasing order.
2/3, -0.4, g
Suppose 3 = -5*h + 23. Let l be (h/6)/((-12)/(-18)). Put -1, l, -5 in decreasing order.
l, -1, -5
Let d = 106 + -106. Sort -3, -38, d in decreasing order.
d, -3, -38
Let t = -41 - -202/5. Let n = 11 - 10.9. Put n, t, 0 in ascending order.
t, 0, n
Suppose 0*r + 2*r = 0. Let n(m) = -m - 3. Let t be n(-3). Suppose 4*o = -20, t = -2*a - 2*a + o + 13. Sort -1, r, a in decreasing order.
a, r, -1
Let z = -2 - -5. Suppose -5*d = p - 22, -3*p - p + 20 = z*d. Let j = d - 3. Put -2, -5, j in decreasing order.
j, -2, -5
Let c be (-2)/(-10)*(0 - 0 - 6). Sort c, -2/19, 3/4, 0.5.
c, -2/19, 0.5, 3/4
Let x be 0/4*(-1)/(-3). Suppose 0*n + 4*n + 16 = x. Suppose m + 4 = 0, 3*b - 20 = 4*m + 11. Sort b, n, -2 in descending order.
b, -2, n
Let t = 12 + -51/4. Let c = -8.3 + 8. Put c, -6/7, t in descending order.
c, t, -6/7
Suppose 3*o = -4*i + 18, o = -2*o - 2*i + 12. Sort -2, -3, o in descending order.
o, -2, -3
Let i = -6 - 9. Let n = 15.5 + i. Put 2, 0.3, n in decreasing order.
2, n, 0.3
Let q = 5.16 - 0.16. Put -0.5, -9, q in ascending order.
-9, -0.5, q
Let l(v) = -v**3 + 6*v**2 + 9*v - 10. Let b be l(7). Let m(r) = r**3 - 5*r**2 + 4*r + 5. Let o be m(b). Let w be 51/(-15) + 1 + 2/5. Sort o, -1, w.
w, -1, o
Let q = -0.19 + 0.49. Let w = 5 - 3. Let s = 1.8 - w. Put s, 1/4, q in increasing order.
s, 1/4, q
Let n = 0 - 0.1. Let h = 16/5 - 19/5. Let q = -4 - -7. Sort h, n, q in ascending order.
h, n, q
Let c be -3*(-2)/12*20. Let j be (-1)/(28/c + -3). Put -0.6, -5, j in increasing order.
-5, -0.6, j
Let d = 4.943 + 0.057. Sort 2/15, -1, d.
-1, 2/15, d
Let c = 15 + -34. Let o = c - -22. Put o, -2, 1 in ascending order.
-2, 1, o
Suppose 4*h + 80 = 3*i, -37 - 22 = 3*h - 2*i. Let m = h + 24. Let d = m + -6. Put d, -3, 5 in descending order.
5, d, -3
Let i(h) be the first derivative of h**2/2 - 6*h - 1. Let d be i(12). Suppose 0 = -2*m + d*m - 3*f - 35, -4*m + 4*f + 40 = 0. Sort m, 3, -3 in ascending order.
-3, 3, m
Let m(i) = i**2 - 4*i - 5. Let x be m(4). Sort -4, x, 2 in decreasing order.
2, -4, x
Let c be (2 - -3)*4/25. Put 2/5, c, -4 in decreasing order.
c, 2/5, -4
Let k(n) = -3*n - 2. Suppose -2 = 4*r + 6. Let l be k(r). Let d be (2/(-6))/(2/6). Sort d, l, 1 in decreasing order.
l, 1, d
Let f = 27 + -29. Sort -1, -5, f in increasing order.
-5, f, -1
Suppose -2*k = -3*f + 10, -f + 28 = -4*k + 8. Let r = k - -7. Suppose 4*l = r*l - 2. Sort 4, 1, l.
l, 1, 4
Let r = -0.03 + 1.03. Let j = r - 1.4. Suppose 8 = -4*o + 20. Sort j, o, 4 in increasing order.
j, o, 4
Let n = -0.02 - -0.07. Let k = n + 0.35. Sort 2, k, 6 in decreasing order.
6, 2, k
Suppose -2 = -s + 2*n, 5*n + 0 = 2*s - 3. Let q be (-2 + 3*2)/2. Sort 5, s, q in increasing order.
q, s, 5
Suppose -62 = -l - 40. Suppose -l + 4 = 9*r. Let w(c) = -c**2 - 2*c + 3. Let k be w(-3). Put r, -1, k in descending order.
k, -1, r
Let m = 0.6 - 1. Let i be (10 - 9)/((-2)/(-4)). Sort m, i, -4 in decreasing order.
i, m, -4
Let m = -6 - -6.4. Let z be 1/(-2) - (-27858)/108. Let v = z + -257. Put m, v, 0.5 in ascending order.
m, v, 0.5
Let r(h) = -3*h**2 + 3*h. Let m(g) = 4*g**2 - 3*g + 1. Let f(j) = -2*m(j) - 3*r(j). Let z be f(4). Let a be (-2 - 1)/(0 + 1). Sort z, a, 0 in descending order.
z, 0, a
Let u be (3/(-3))/((-2)/(-18)*3). Put -1, 3, u in ascending order.
u, -1, 3
Let x = -16.6 - -16. Put x, 3, 0.2 in decreasing order.
3, 0.2, x
Let i be 2*(-4)/((-16)/14). Suppose i*u = 3*u - 4. Sort 5, u, 1 in ascending order.
u, 1, 5
Let a = 42 - 42.5. Sort 5, 4/5, 1/6, a in increasing order.
a, 1/6, 4/5, 5
Let h be 4/(-6) + 77/21. Sort 0, h, -3 in decreasing order.
h, 0, -3
Let m = 2.9 - 3.4. Sort -0.4, m, 2 in descending order.
2, -0.4, m
Let j(n) = n**3 + 7*n**2 + 7*n + 8. Let d be j(-6). Suppose 4*u - 5*k = 131, 2*u - 7*k + 2*k = 63. Let i be 3/(-12) - u/(-8). Put d, i, 1 in descending order.
i, d, 1
Let o = -13 - -10.