easing order.
z, 1, -4
Let v = 6.13 - 0.13. Let w = v + -10. Let k = w - -4.4. Sort k, -2/9, 1.
-2/9, k, 1
Let t = -199/42 + 32/7. Sort 1, 3, t in descending order.
3, 1, t
Let k = 0 + 0.5. Let i = 0.38 - -0.02. Sort k, i, -4 in descending order.
k, i, -4
Suppose 0 = 2*l - 4*q - 4, q + 3*q + 12 = 4*l. Sort l, 3, -3 in descending order.
l, 3, -3
Let d(s) = -s**2 - 5*s + 5. Let u be d(-7). Let z be ((-3)/u)/((-7)/84). Put -2, z, -5 in decreasing order.
-2, z, -5
Let f = -0.25 + -2.95. Let l = -0.8 + f. Let k = -7 + 6.7. Sort k, l, 0.2.
l, k, 0.2
Suppose h + 3*i = -4 - 4, -4*i = 4*h + 24. Put h, -4, 1 in descending order.
1, -4, h
Let s = 0.4 - 0.3. Let o = 3.9 + s. Put -2/5, o, -0.1 in ascending order.
-2/5, -0.1, o
Let g(p) = -p**3 + 7*p**2 - 2. Let h be g(7). Let y be ((-6)/h)/(-3) + 8. Let w = 13/2 - y. Put 2/11, -2/7, w in decreasing order.
2/11, -2/7, w
Suppose 10 = -3*m - 2. Let r(o) = o. Let l be r(2). Suppose -c - b = -5, -c + l*b - 3 = -b. Put c, 5, m in ascending order.
m, c, 5
Suppose r = 5*r. Sort 3, -2, r in ascending order.
-2, r, 3
Let o be (-3 - 21/(-9))*(-6)/4. Let d = 3 - 4. Suppose r + 4 = 1. Sort r, o, d.
r, d, o
Suppose -16 = -2*b + 2. Suppose j + 2*z - 6 = z, 4*z - b = j. Sort j, 4, 10.
j, 4, 10
Let a be (1 + 2 - 3)*1. Sort -3, 1, a, -2 in decreasing order.
1, a, -2, -3
Let o be ((-24)/20)/((-3)/10). Suppose 6*s = 4*s - o. Let j be 7/4 - 2/(-8). Put j, 5, s in decreasing order.
5, j, s
Let c = 23 + -22.8. Let s = -0.6 - -0.4. Put c, -1, s in increasing order.
-1, s, c
Suppose -b + u = -4*b - 1, -4*b - 3*u - 3 = 0. Let t be (b - 3)/((-12)/(-16)). Let o be 2/t + 6/15. Put -0.2, o, 0.3 in descending order.
0.3, o, -0.2
Suppose 0 = -b - 5*b - 12. Sort 0, b, -5 in descending order.
0, b, -5
Suppose 3*k = 8*k - a, 5*k - 2*a = 5. Let h be ((0/(-2))/2)/k. Put -1, 3, h in increasing order.
-1, h, 3
Let c = -99 - -201/2. Sort 0.5, -2, c, 3 in descending order.
3, c, 0.5, -2
Let n(c) = -c**3 - 12*c**2 - 18*c + 20. Let p be n(-10). Sort p, 1, -6.
-6, p, 1
Let n = -11 + 15. Suppose 4*z + 5 - 9 = 0. Let k(r) = -6*r**3 + r. Let o be k(z). Sort n, o, -2.
o, -2, n
Suppose 15*u - 2*u - 78 = 0. Put 1, u, 0, 4 in increasing order.
0, 1, 4, u
Suppose 0 = 6*t + 7 - 13. Sort -7, -1, t, 4.
-7, -1, t, 4
Let w be (-6)/(9/3) + -1. Let d be (6/(-9))/(1*w). Let c = -181/4 + 45. Put c, d, -5 in increasing order.
-5, c, d
Let x = -18 - -21. Let b be (10/6)/(3/27). Suppose 0*c - b = 3*c + 4*l, l + 15 = -x*c. Put -3, -4, c in ascending order.
c, -4, -3
Let n(k) = k**3 - 10*k**2 - 11*k - 4. Let s be n(11). Put s, 3, -2, 0 in increasing order.
s, -2, 0, 3
Suppose 4*h - 64 = -5*f, 3*f = -0*f - 2*h + 40. Suppose -2*x + 2*z = f, 0 = x - 0*x - 5*z + 28. Put 2, x, 5 in increasing order.
x, 2, 5
Let f = -3 + 3. Suppose 5*v - 3 = -0*v - c, f = -3*v - 4*c - 5. Suppose m + i + v = 2*m, 0 = 2*i + 8. Sort 2, m, 3 in ascending order.
m, 2, 3
Let i(b) = b**2 + b + 4. Let j be i(0). Sort 2, j, 3 in descending order.
j, 3, 2
Suppose -a + 1 = -5*i - 20, -3*a = -5*i - 33. Let c be -3*(-4)/18*a. Sort c, 3, 5 in ascending order.
3, c, 5
Let m be 1*4*(-8)/(-144). Put m, 2, -0.5 in decreasing order.
2, m, -0.5
Let q = 7 - 12. Let n = 4.5 + q. Let h = -0.1 - -0.2. Sort n, 5, h in decreasing order.
5, h, n
Let y = -8 - -18. Let k = 6 - y. Put k, 0, -0.4 in descending order.
0, -0.4, k
Let x = -85 - -169/2. Let w = 0.4 - 0.2. Put w, x, -3 in descending order.
w, x, -3
Let g = 4 - -1. Let v = 5 - g. Let u(a) = -a. Let i be u(-4). Put v, i, -2 in ascending order.
-2, v, i
Let w(t) = -t**2 + 5. Let l be w(3). Put l, 2, -2 in increasing order.
l, -2, 2
Let v be 1 + 0 - (0 - -3). Let b be (2 - v) + 1*-2. Suppose 16 = -d - 0*d + 4*n, 5*d + 4*n = 40. Sort -4, b, d in descending order.
d, b, -4
Let h = -9515701/36899520 + -385/18496. Let r = h - 2/285. Let a = -91/45 + 20/9. Sort 3/2, a, r.
r, a, 3/2
Let f(c) = 5*c - 25. Let i be f(5). Sort -4, i, -1, -5 in decreasing order.
i, -1, -4, -5
Suppose 4*a - j + 11 = 0, 0 = -j - 1. Let u be (-3)/36*a/(-2). Let v = 1/4 + u. Sort -5, v, 0.4 in descending order.
0.4, v, -5
Let t(m) = m**3 - 6*m**2 - 5. Let v be t(6). Sort 7, v, 5 in increasing order.
v, 5, 7
Let b(g) = -3*g**2 + 2*g + 4. Let d be b(2). Sort d, 3, -6 in descending order.
3, d, -6
Let u be 3 + (-2 - (-2 - (-6)/2)). Let f = 3 + -2. Put 4/5, u, f in descending order.
f, 4/5, u
Let u = -3/58 + -81/116. Let f = -45 + 40. Let j = 0.2 + 0. Sort j, f, u in ascending order.
f, u, j
Let r(z) = z**2 + z - 2. Let o be r(0). Suppose 4*v + 3*l + 14 = l, -3*v + 2*l + 7 = 0. Put 4, o, v in increasing order.
o, v, 4
Let w = 0.14 - -4.36. Let c = w - 5. Sort 0, 5, c in decreasing order.
5, 0, c
Suppose 8 + 4 = -3*a. Let x = 0 + a. Put x, 0, 2 in increasing order.
x, 0, 2
Let u(m) = m**2 - 5*m + 2. Let o be u(5). Suppose -4*x - 9 = 5*c, -27 = 5*x - 2*x - 3*c. Let s be (-9)/7 + x/(-21). Put o, -4, s in decreasing order.
o, s, -4
Let m = 10 + -14. Let a be -2 + 3/((-6)/m). Sort 0.3, a, 0.5.
a, 0.3, 0.5
Let u = -361 + 365. Let a be 4/(-2)*1/(-2). Sort 2, u, a in decreasing order.
u, 2, a
Let x = -67.2 - -62. Let g = 0.13 - -0.07. Let n = x + g. Sort 1, -1/2, n in increasing order.
n, -1/2, 1
Let p be (1/(-2))/((-1)/(-10)). Let n(v) = -v**3 - 8*v**2 + 1. Let k be n(-8). Sort p, -2, k in decreasing order.
k, -2, p
Suppose 3*j - m - 3 = 0, 4*j = 3*m - 0*m + 9. Suppose -3*r - 5 = -d - 0, 2*d - 5*r - 9 = j. Let v = -0.4 + 0. Put v, d, -4/3 in decreasing order.
d, v, -4/3
Let b be (-192)/(-30) - 2/5. Let r = b + -12. Let s be ((-6)/42)/(2/r). Sort 5, s, -1.
-1, s, 5
Let c = -0.6 - -2.6. Let d = c + 3. Put d, 1/3, -0.2 in descending order.
d, 1/3, -0.2
Let m be 0/2 - 8/(-36). Put m, -10, -2, -0.3 in decreasing order.
m, -0.3, -2, -10
Let k = -0.1 - 0.1. Let j = 5.06 - 0.06. Let l = 4 + -3.6. Put k, j, l in ascending order.
k, l, j
Let g = 9.4 + -15. Let l = g - -5. Sort 2, -0.1, l.
l, -0.1, 2
Let u(j) = j - 3. Let l be u(12). Suppose 0 = -3*b + l + 3. Put b, 2, -4 in ascending order.
-4, 2, b
Let c be 3/(6/(-2*(-2 - 0))). Sort 1, c, 6, 5 in ascending order.
1, c, 5, 6
Suppose -4*a + a = -33. Let z = -16 + a. Let u be ((-28)/(-98))/(0 - 2/(-14)). Sort z, 5, u.
z, u, 5
Suppose h + 3 = 1. Let t be (-1)/(h + 3)*-1. Sort -5, t, -2 in ascending order.
-5, -2, t
Suppose -3*o = -4*o + 3. Sort 1, 4, o in decreasing order.
4, o, 1
Let l(n) = -4*n + 23. Let m be l(7). Sort 9, m, -1, -3 in increasing order.
m, -3, -1, 9
Let j be 3*(4 + 102/(-27)). Put -3, j, 0.2 in descending order.
j, 0.2, -3
Let u(t) = t**3 + 16*t**2 + 15*t - 2. Let m be u(-15). Suppose -z - 3 + 5 = 0. Put m, z, 4 in descending order.
4, z, m
Let a(d) = d**2 + 3*d - 8. Let t be a(2). Put -3, -10, t in increasing order.
-10, -3, t
Let a = 11 + -15. Suppose -3*n + 2*y + 10 + 7 = 0, 0 = 4*n - 5*y - 32. Suppose 2*i = 5*x + i + 10, n*x - 6 = 3*i. Sort a, 0, x in increasing order.
a, x, 0
Let b be (-68)/(-18) - 4/(-18). Put -5, b, 5 in descending order.
5, b, -5
Let w = -570.99 - -567. Let s = w - -4. Put 4, -0.1, s in ascending order.
-0.1, s, 4
Let w be (-2)/4*(-1 + 1). Let i(y) = y - 13. Suppose 0 = -2*p + p + 9. Let m be i(p). Sort w, 4, m.
m, w, 4
Suppose -16 - 19 = 3*c - 5*b, 0 = -2*c - 2*b - 2. Put -4, -2, c, 0 in descending order.
0, -2, -4, c
Let h be (1 - 1/2)/(-2). Sort h, -2/19, -0.2 in decreasing order.
-2/19, -0.2, h
Let g(s) = -s**3 - 7*s**2 - 5*s + 8. Let a be g(-6). Suppose -a*f + 3*f = 4. Sort f, 0, -4 in decreasing order.
f, 0, -4
Suppose 0*c + 21 = -7*c. Let l(p) = -p - 1. Let m be l(4). Sort 0, m, c in ascending order.
m, c, 0
Let a = 24 + -19. Let z be -1*(-2)/(-6)*-6. Sort a, z, -3 in descending order.
a, z, -3
Let g = -0.7 - 0.3. Let c(t) = -t**3 - 3*t**2 + 3*t - 1. Let a be c(-4). Suppose -3 = 6*d - d + 3*j, -3*d = -3*j - a. Sort 1, d, g.
g, d, 1
Let l = -31 - -29. Suppose 15 = -w + 3*w - 5*c, 2*w - 3*c = 13. Let z = w - 9. Sort l, z, -5 in increasing order.
-5, z, l
Let s = -1.5 + 1. Sort 2/7, s, -5 in descending order.
2/7, s, -5
Suppose 0 = b - 2*b - l + 1, -3*l = -2*b - 8. Let z be (2 - 5)*-1 - -2. Sort b, 3, z in increasing order.
b, 3, z
Let u = 3 + -8. Sort u, -1, 3 in ascending order.
u, -1, 3
Suppose -5 = a + 4*j, -2*j = a - 3*j + 5. Let t(f) = -f + 2. Let c be t(3). Let o = c - -6. Put o, a, 0 in increasing order.
a, 0, 