e (-1)/(-4) - ((-525)/(-28))/(-5). Sort 0, -36, x in decreasing order.
x, 0, -36
Let f be (-6)/2 - (-1 + 3). Let w(z) = 2*z - 7. Let h be w(6). Sort 3, h, f.
f, 3, h
Suppose -2*x + 3*x = s + 2, 12 = -4*s + 5*x. Suppose -1 - 11 = 4*w + 5*v, 9 = -3*w + 4*v. Put -2, w, s in increasing order.
w, -2, s
Let b = 2 + 2. Let x(a) = -3*a - 31. Let f be x(-10). Put f, b, -5 in decreasing order.
b, f, -5
Let m(t) = t. Let a be m(5). Let z be ((-21)/12 - 1)*-4. Suppose 0 = -a*q - z + 1. Put -4, 1, q in descending order.
1, q, -4
Let z(f) = -f**2 - 4*f + 8. Let h be z(-6). Let a be 0/(2/h*4). Suppose 0 = 4*s - a*s. Sort s, -1, 2/9 in ascending order.
-1, s, 2/9
Let y(f) = f**3 + f**2 + f + 3. Let i be y(0). Suppose -5*u = -i*z + 3 + 6, -z = 5*u + 17. Suppose 0 = -12*l - 22 - 14. Sort z, l, -1 in decreasing order.
-1, z, l
Let x = -2 + 3. Let l be (-39)/(-26)*8/6. Sort l, x, -4 in descending order.
l, x, -4
Suppose 2*y + 4 = 4*k - 6, 5*y = -k + 30. Let v = -5/14 + -3/14. Sort y, v, -4.
-4, v, y
Let f = -9/2 - -5. Let z = 11 - 6. Suppose 10 = z*c + m + 4*m, 0 = -4*c + 2*m + 26. Put f, c, 1 in increasing order.
f, 1, c
Let i be 143/22 + 6/(-4). Let z(o) = o + 2. Let n be z(-5). Put n, i, -2 in ascending order.
n, -2, i
Let d = 10 + -7. Suppose -2 = -d*u + 1. Suppose 5*k - 5*n = 0, 5*k - 4*n = -9*n. Sort u, k, -1 in increasing order.
-1, k, u
Suppose 1 = 4*z - 15. Let l = 0.19 + -0.29. Sort l, z, 0.1 in increasing order.
l, 0.1, z
Let d(b) = b**3 - b**2 + 2*b - 2. Let x be d(3). Suppose 0 = 4*f - 3*i - 7, -4*f - 3*i = -i - x. Put 2, 7, f in decreasing order.
7, f, 2
Let g = -18 + 11. Let h(w) = w**3 - 7*w**2 + 10*w + 1. Let n be h(2). Sort g, -2, n in decreasing order.
n, -2, g
Let p = -989/4 + 1111/4. Let x = p + -30. Put -2, x, -1/2 in ascending order.
-2, -1/2, x
Let w be (-3)/(-2)*(-60)/18. Put 2, w, 5 in decreasing order.
5, 2, w
Let f = -2 - -6. Let z be (-1)/(-3) + 39/(-9). Sort 5, z, f.
z, f, 5
Let f = -50 - -49.93. Put -0.3, -3, f, 0.3 in ascending order.
-3, -0.3, f, 0.3
Let w be (2 - (2 - -1)) + 0. Let z be 2/(-1)*-1*2. Sort w, z, 0 in descending order.
z, 0, w
Let t = -12 - -21. Put -5, t, 4 in ascending order.
-5, 4, t
Let c = -280 - -282.81. Let a = c + -0.01. Let u = a - -0.2. Put -3, u, -1/3 in descending order.
u, -1/3, -3
Let k be 13/7 - (-2)/14. Suppose 27 - k = 5*f. Sort 10, f, -2 in decreasing order.
10, f, -2
Let q be 6*(24/(-9) - -2). Let o be 0 - 1/2*-2. Suppose 0 = u + 5*t + 17, -4*t = 4*u + t + 23. Put u, q, o in descending order.
o, u, q
Suppose -10*s + 8*s + 10 = 0. Put s, -5, -4 in decreasing order.
s, -4, -5
Suppose 3*w + 2*w = 25. Let b be w + (-3)/3 + -2. Put 5, 0, b in descending order.
5, b, 0
Let x(s) = -s**3 + 10*s**2 + 2*s - 18. Let o be x(10). Sort 0.21, -3, o in ascending order.
-3, 0.21, o
Suppose 16 = 2*s + 2*s, 4*g = -s + 16. Suppose 2*q = q, 5*n = -g*q - 20. Suppose -20 = 4*u - 2*h, -u - 5*h = -9*h + 19. Put -1, n, u in descending order.
-1, u, n
Let l(c) = c - 5. Let q be l(6). Let z = 179 - 176. Sort q, z, -5.
-5, q, z
Suppose 4*j = j + 9, -2*m = -2*j. Suppose -m = 3*g - 2*g. Sort 5, -7, g in descending order.
5, g, -7
Suppose 67*n - 72*n = 25. Sort -4, 5, n, -3.
n, -4, -3, 5
Suppose 3*k = -4 - 5. Suppose -s = -0*p + p + 2, 0 = -3*p - 6. Suppose -21*m = -20*m - 4. Sort s, k, m in ascending order.
k, s, m
Let h = -1 + 0. Let u be (-18)/(-15) + h/5. Sort u, -1, -3 in ascending order.
-3, -1, u
Let m be 23/(-5) - (-12)/20. Let o be (-2)/7 - 38/14. Suppose 0 = -4*d + 3*d + 5. Put m, d, o in increasing order.
m, o, d
Suppose 3 = c - 1. Sort 1/5, c, 0 in increasing order.
0, 1/5, c
Let u(l) = l - 2. Let i be u(-3). Let k = i + 10. Suppose r + 2*r - 4*m + 5 = 0, m - k = 0. Sort r, 4, -4 in ascending order.
-4, 4, r
Suppose 4*g = -3*s - 24, 2*s + 11 = -3*s + 3*g. Let y = -319 + 318. Sort s, -3, y in decreasing order.
y, -3, s
Suppose -j + 1 = 5*k - 19, -5*j + 16 = -3*k. Suppose -k*s = z + 11, -z + s = -2*s - 1. Put 0, z, -12 in decreasing order.
0, z, -12
Suppose -3*m + 12 = -0*m. Suppose -4*c = 2*b + 1 + 15, -3*c - m*b = 7. Sort 0, c, -4 in decreasing order.
0, -4, c
Suppose 4*i - 2 = 6. Suppose -i*d - 15 = -5*d. Sort 4, d, -0.5.
-0.5, 4, d
Let l = 0.8 - 0.3. Let u = 0.27 - 0.67. Sort l, u, 0.3 in ascending order.
u, 0.3, l
Suppose 0 = 3*m + 2*z - 32, m - 11*z + 12 = -6*z. Sort m, 2, -4 in decreasing order.
m, 2, -4
Let z = -25 - -18. Let f = -6.9 - z. Let q be (-2)/9 + 16/(-90). Sort q, f, 0.4 in decreasing order.
0.4, f, q
Let n = -33181/82 + 809/2. Let x = 146/123 - n. Let s be 1 + (44/36)/(-1). Sort x, s, 4 in increasing order.
s, x, 4
Let u(d) = -2*d**3. Let t be u(1). Suppose 3*f = -0*f - 9, 4*q - 5*f - 23 = 0. Sort t, q, 4 in ascending order.
t, q, 4
Let n(x) be the second derivative of x**5/20 + x**4/4 - x**3 - 3*x**2 + x. Let y be n(-4). Sort y, 1, -2 in decreasing order.
y, 1, -2
Let g = -5 + -6. Let q = 7 + g. Sort 0, 0.1, q in descending order.
0.1, 0, q
Let l(w) = w + 5. Let t be l(-3). Suppose 0 = -2*o - t*o - 4. Sort -4, o, -2.
-4, -2, o
Let x(n) = n**2 + n + 1. Let p be x(-3). Suppose -10 = -4*y + 6, 4*d + 8 = 2*y. Put p, d, 5 in descending order.
p, 5, d
Suppose 72 = -4*x - 5*r, 5*x + 90 = 2*r + r. Let g = 16 + x. Sort -5, 0, g in increasing order.
-5, g, 0
Let m(c) = 2*c - 3. Let u be m(4). Suppose 0 = -2*d + 2*w, -4*w + 2*w = 4*d - 18. Sort u, -3, d.
-3, d, u
Let n = -1.9 - -2. Let j = -0.4 + n. Let p = 0.1 - -0.1. Sort p, 0.5, j.
j, p, 0.5
Let k = -1 - -1. Let r = 0.2 + k. Let n = 0.8 + -1. Put r, n, 2 in ascending order.
n, r, 2
Suppose 0 = -0*x - 2*x + 4. Suppose -x*a + 15 = -7*a. Put a, 4, 0 in descending order.
4, 0, a
Suppose -2*z + 3 = -5, -18 = -5*g + 3*z. Let l(p) = -p - 3*p + 3*p + 1. Let n be l(g). Sort 3, n, 0 in ascending order.
n, 0, 3
Let s = -0.9 + 1.15. Let f = s + 2.55. Let v = -3 + f. Sort 2, v, -4.
-4, v, 2
Let l = 2.1 - 0.1. Let p = -14 + 24. Let y be ((-1)/(-5))/(2/p). Put 0.1, l, y in increasing order.
0.1, y, l
Let k = -2.01 - -0.01. Let m = k + 7. Let j = -0.3 + -0.2. Put m, j, -0.4 in decreasing order.
m, -0.4, j
Let l = 6 + -6. Suppose -4*q = -t + 1, 3*t - 3*q - 3 = -l. Sort t, 5, -2.
-2, t, 5
Let h = -0.9 - -1.1. Sort h, -0.5, 0.1.
-0.5, 0.1, h
Let f(z) = 5*z**2. Let d be f(-1). Suppose -11 + 3 = -2*v, d*g + v - 24 = 0. Sort 2, -5, g.
-5, 2, g
Let g = -2.8 - -3. Let p be (1/3)/(2/(-4)). Put g, p, -3 in ascending order.
-3, p, g
Let f = 0.34 - 0.14. Put -2/13, 2, f, 1 in decreasing order.
2, 1, f, -2/13
Let r(s) = s**3 + 5*s**2 - 6. Let o be r(-5). Let y = o + 0. Let c(b) = -b - 7. Let k be c(y). Sort k, -3, 0.4 in descending order.
0.4, k, -3
Let a be ((-4)/36)/(-1)*9/(-6). Sort a, -5, 2, 0.
-5, a, 0, 2
Let b be (-1 - 2/(-5))/((-31)/(-155)). Put b, -5, 6 in increasing order.
-5, b, 6
Let l be (-4 - (-76)/16)/(6/(-48)). Sort l, 4, 5 in ascending order.
l, 4, 5
Suppose 0 = 2*h + 5*r, 3*r - 2*r = 0. Let j be -4*(-3 - -2 - -2). Sort h, -1, j in descending order.
h, -1, j
Let l = 11 + -6. Sort -2, l, 0 in increasing order.
-2, 0, l
Let u = -1.6 + 1.35. Let r = u - -0.15. Suppose -3*i + g = 0, 0 = 3*i - 0*g + 2*g + 9. Sort 5, i, r in ascending order.
i, r, 5
Let c = -14 - -14.02. Put c, 4, 0.4 in decreasing order.
4, 0.4, c
Suppose 3*w + 13 - 40 = 0. Let f be (-7 + w)*-1*1. Suppose -5*q - 5*n + 15 = 0, 0 = 2*q - n - 2 - 1. Sort f, 1, q in increasing order.
f, 1, q
Suppose -f + 11 - 6 = 0. Sort 2/15, f, 0.3 in ascending order.
2/15, 0.3, f
Let w(v) = 2 + 2 - v**2 - 2 - v. Let p be w(0). Suppose -5*r + 11 = -4*k - 18, p = 3*k + r. Put -5, k, -4 in increasing order.
-5, -4, k
Let j = -0.43 - -0.03. Sort -5, -1, j in descending order.
j, -1, -5
Let k = 56 - 51. Put -2/7, -6, k in decreasing order.
k, -2/7, -6
Suppose l - 5 = -4*l. Let q be (l/2)/(1/6). Let b be 4/1*(27/(-6) - -4). Put b, q, 4 in increasing order.
b, q, 4
Let i = -10 - -7. Let k = -349.9 + 350. Sort k, 0, i in increasing order.
i, 0, k
Let n = 54357 + -488063/9. Let s = n + -128. Let d = 604 + -602. Put d, s, -1 in decreasing order.
d, s, -1
Let f = 1 + 4. Suppose -73 + 63 = -5*j. Sort j, -4, f in increasing order.
-4, j, f
Let m(g) = -g**2 - 9*g - 8. Let h be m(-8). Let n = 0 - h. Let s be (-1)/(-5)*6/6. Put -5, n, s in descending order.
s, n, -5
Let o be ((-188)/(-7))/1 - 2. Let l = o - 25. Put 2, -5, l in descendi