easing order.
x, i, 0.4
Suppose 3*o + 4 = 2*o. Let t be 2/(0 + o/2). Let x be (20/(-12) + 3)/((-18)/27). Sort x, t, 0 in increasing order.
x, t, 0
Let s(n) = 4*n + 6. Let c be s(23). Put -4, 7, c in decreasing order.
c, 7, -4
Let a(u) = 21 - 1 - 19*u + 17*u. Let l be a(9). Sort l, -3, 0 in increasing order.
-3, 0, l
Suppose 7*n + 0 = -21. Suppose -5*f - 20 = -4*o, -o - 2*o + 4 = -f. Suppose 0 = 2*w - o*w - 2. Put w, 7, n in descending order.
7, w, n
Let f be (360/(-28))/((-18)/168). Let c = f - 122. Sort 0, -4, c, -3 in descending order.
0, c, -3, -4
Let p = -36.51 + 37.01. Let a(g) = 5*g**2 - g + 1. Let w be a(2). Suppose -v = j - 2*j + 2, -w = 2*v + 3*j. Put 3, p, v in descending order.
3, p, v
Let t be 69/(-46) - 36/(-16). Put 2.8, 1/2, t, 4 in ascending order.
1/2, t, 2.8, 4
Suppose 2*u + k + 3*k = 20, -4*u - 15 = -3*k. Sort 0.2, 3/2, u in decreasing order.
3/2, 0.2, u
Let t be 1*((-1)/1 - 4). Suppose 0 = -3*p - g - 12, 232 - 259 = 4*p + 5*g. Sort t, p, -1 in decreasing order.
-1, p, t
Let n = 4/259 + -809/2072. Let g = -4.6 + 5. Sort 0.6, n, g.
n, g, 0.6
Let p be 3372/(-120) - 8/20. Sort -2, p, -0.5 in decreasing order.
-0.5, -2, p
Let f = -4.61 + 1.69. Let c = f + -0.08. Sort c, -4/3, -2/11 in descending order.
-2/11, -4/3, c
Let u be -1*(20/(-5) - -7). Sort -5, -4, -7, u.
-7, -5, -4, u
Let d = -0.158 + 0.088. Let h = 0.47 + d. Let r = -3.1 - -0.1. Put 3/5, h, r in decreasing order.
3/5, h, r
Let d be 1/(-4) - (-18)/8. Let t be 1 + -1*2 + d. Suppose 4*a = -2*w + 10, a + 3*w + 2 = 7*w. Put -2, a, t in increasing order.
-2, t, a
Let o be 190/(-50) + 1/(-5). Let a be (-2)/5 - 36/(-15). Sort o, a, 7, -5 in increasing order.
-5, o, a, 7
Let j = -15 + 16. Let m be -5 - 0*j*(-4)/12. Sort m, -2/5, 0.5, -4.
m, -4, -2/5, 0.5
Let a = 4.9 + 4.6. Let l = a - -4.5. Sort 1/5, 1, l in increasing order.
1/5, 1, l
Suppose 5*t - 8 = -2*p, -2 = -4*p - t + 14. Suppose p*b = -5 + 13. Suppose 0*x - 10 = b*x. Put -2, -7, x in increasing order.
-7, x, -2
Let a = -543 - -543.3. Put -0.02, a, 2, -3/4 in decreasing order.
2, a, -0.02, -3/4
Let p(n) = -131*n**3 - n**2 - n - 1. Let x be p(-1). Let m = 127 - x. Sort m, 0, 3, -4.
-4, m, 0, 3
Let f = -40.11 + 1.11. Let q = f - -39.18. Sort -2/5, q, 3 in descending order.
3, q, -2/5
Let o = -2 + -2. Let b = 40/34049 + 6022202/32789187. Let g = 4/107 + b. Put g, o, -5 in decreasing order.
g, o, -5
Let r(a) = -a**3 + a**2 - 18. Let y be r(0). Let v be -3*8/y*-3. Let t = v + 3. Sort t, 5, -3 in ascending order.
-3, t, 5
Suppose 356*i - 40 = 346*i. Put -2, -32, i in decreasing order.
i, -2, -32
Suppose 6*y - 11*y = 4*w - 25, 3*y + w - 15 = 0. Sort -5, y, 17, 6 in increasing order.
-5, y, 6, 17
Let p(y) = -2*y**2 + 3*y + 17. Let g be p(4). Put 2, -18, g in decreasing order.
2, g, -18
Suppose -19 - 2 = -7*a. Suppose 0 = -a*x, -2*x + 2 + 1 = -3*t. Put t, 0, -4, 1 in increasing order.
-4, t, 0, 1
Suppose 3*p - 2*p + 3 = a, 0 = 3*a - 2*p - 10. Let m(n) = -n**2 - 5*n. Let d be m(-5). Put -3, d, a in decreasing order.
a, d, -3
Let f = -1.03 - -0.53. Sort -1/5, f, 3 in decreasing order.
3, -1/5, f
Suppose 2*w + l - 17 = -14, 3*w + 6 = -5*l. Let d be (6/(-5))/((-2)/(-20)). Put -3, w, d, -5 in decreasing order.
w, -3, -5, d
Suppose 3*d + 42 = 36. Let t be -1*(0 - 9/(-3)). Let i be d/(t + (-21)/(-9)). Sort 3/4, -2/7, i in decreasing order.
i, 3/4, -2/7
Suppose 43 + 158 = 5*d - 2*s, -5*s - 72 = -2*d. Let u = -42 + d. Sort 0.4, u, 0.2, -3 in descending order.
0.4, 0.2, u, -3
Suppose -6*u + 2*u + 20 = 0. Suppose q - 16 = 8. Suppose 3*c + 2*l = -7 - q, -2*l - 45 = 5*c. Sort 0, u, c in descending order.
u, 0, c
Let t(l) = -l**2 + 8*l + 2. Let c be t(9). Let h be 4/(-14) - 2/c. Let b = 30 + -32. Sort -3, b, h.
-3, b, h
Let x be (-1)/(-4) - (-31)/4. Let n = 712.9 + -712.6. Put n, 4/5, x, -3/8 in ascending order.
-3/8, n, 4/5, x
Suppose -5*o - 32 = 3*w, -4*w - 25 = o - 5. Suppose -5*t = z + 25, -4*z = 2*t - 5*t + 31. Let p be (12/z)/(1/5). Sort p, 0, o in descending order.
0, o, p
Let l = -161.2864 + 0.1764. Let q = l + 160. Let o = q - -0.11. Put 5, -1/2, o in decreasing order.
5, -1/2, o
Let c = -905 + 900. Sort c, -0.5, 2, 4.
c, -0.5, 2, 4
Suppose 0 = -5*f - 3 + 68. Suppose 0 = -2*c - s - 5, -3*c + 4*s + f = -7. Sort 5, c, 7 in descending order.
7, 5, c
Let g = 83.3 - 71.3. Sort 0.3, g, -1, 3/7 in decreasing order.
g, 3/7, 0.3, -1
Let y be (-6)/((-20)/(-4) + (-5 - -2)). Put -14, 8, y in ascending order.
-14, y, 8
Let i = 195 + -1363/7. Let z = -196/3 + 974/15. Sort z, -4, -2, i in decreasing order.
i, z, -2, -4
Let u = -2 - -4. Suppose -17 = -4*i + n - u*n, -1 = -i + 3*n. Let h be 4/(-14) + i/7. Sort 0.3, h, 0.4 in ascending order.
h, 0.3, 0.4
Suppose 5*n - t + 40 = 0, -t = n - 0*n + 14. Let z = 5 + n. Let b(j) = -j**3 - 8*j**2 - 6*j + 8. Let k be b(-7). Sort z, k, -6.
-6, z, k
Let a = 995 + -992. Put 2/21, 5, 11/3, a in ascending order.
2/21, a, 11/3, 5
Suppose -w = 2*q + 5, 2*q = -0*w + 5*w + 13. Let s = -45 + 44. Let a(j) = -2*j**3 - 3*j**2 + 2. Let d be a(s). Sort q, d, 0.
q, 0, d
Let o be (-8 - (-52)/4)*2/45. Put -0.5, o, -9 in decreasing order.
o, -0.5, -9
Let w(b) = -10*b + 1. Let a be w(-1). Let z be (2*-20)/(-4) + (-2 - -1). Let i = a - z. Sort i, 5, -5 in descending order.
5, i, -5
Let i be 0 + 2/4*(-3)/6. Put 3, i, 0.066 in increasing order.
i, 0.066, 3
Suppose -2*j - 3*t + 27 = 2*j, -5*t + 5 = 0. Suppose j*q = -3*q - 45. Put q, 4, -1, 5 in ascending order.
q, -1, 4, 5
Let o = -32.79 + -0.21. Let i = o + 30. Sort -0.5, 0, i in decreasing order.
0, -0.5, i
Let l = 796 + -779. Sort -1/2, -8, -3, l in increasing order.
-8, -3, -1/2, l
Let c(z) = z**3 - 4*z**2 + 2*z + 4. Suppose 5*j = 9 + 6. Let i be c(j). Let r = -8 - -4. Sort r, i, -5 in increasing order.
-5, r, i
Let h(f) = -3*f**2 + 10*f + 12. Let b be h(5). Sort b, 5, 1, 3 in increasing order.
b, 1, 3, 5
Let n be ((-5)/(-2))/((-1)/2). Let w = 2739 - 2716. Sort w, n, 0.4 in increasing order.
n, 0.4, w
Suppose -3*z = 2*z - 20. Suppose -2*r = -5*h + 25, 5*r - z*h - h + 25 = 0. Suppose -5*n + 15 = -3*a - r*a, -3*n + a = -9. Put 4, 0, n in decreasing order.
4, n, 0
Suppose -3*g - 2*g - 45 = 5*b, -g + 36 = -4*b. Let s be (b/15)/((-3)/(-15)). Put 1, 2, s in increasing order.
s, 1, 2
Let t be (6 - (-3)/(-1))/1. Suppose 2*g = 2*l + l - 5, -t*l - 3*g = 0. Let d = -126 + 126.1. Sort d, l, 0.4.
d, 0.4, l
Let t = 199 - 193. Sort t, -1, 2 in decreasing order.
t, 2, -1
Let n = -17383/435 - -807/29. Let w = -4526/367 + -1/1101. Let t = w - n. Sort 0.4, 0.1, t.
t, 0.1, 0.4
Let i(a) = 5*a**3 - 6*a**2 - 12*a + 5. Let o(t) = 14*t**3 - 18*t**2 - 35*t + 16. Let j(d) = 11*i(d) - 4*o(d). Let u be j(7). Put 1, -6, u in ascending order.
-6, u, 1
Let i = -10 + 8. Let p = -2.1 - 5.9. Sort -3, p, i in ascending order.
p, -3, i
Let l = 13 + -20. Let y be -13 - ((8 - 4) + -6). Let o = l - y. Sort 1, o, 1/8 in ascending order.
1/8, 1, o
Let u be 0/(-1) - 4/24. Let f = 14 - 13.83. Let p = f - -2.83. Put u, -3/8, p in ascending order.
-3/8, u, p
Suppose -5*u + b = 92, 3*u = -5*b - 54 - 18. Sort u, 5, -2, 1 in increasing order.
u, -2, 1, 5
Let b be (-3)/(-4)*(-11 - -7). Let z be -4 + (-2 + 7)*5. Let l be ((-48)/42)/((-6)/z). Put 0, l, b in decreasing order.
l, 0, b
Let g be (-153)/(-255) - 13/5. Put g, 9, 2, 5 in descending order.
9, 5, 2, g
Suppose -n = x - 1, -3*n + 2*x - 4*x = -3. Let k(v) = -v**2 - 5*v - 7. Let q be k(-3). Let i = 11 + 1. Sort i, q, n.
q, n, i
Suppose 6*c - 3*c = -2*b - 8, 2*c = 4*b + 16. Suppose -3*v - 19 = 2*p, p + 13*v - 7 = 17*v. Sort c, p, 6.
p, c, 6
Let y be ((-84)/119)/6 - (-4)/34. Put y, -5, -102 in descending order.
y, -5, -102
Let w = -38070/31 + 1228. Put w, -1.4, 4 in decreasing order.
4, w, -1.4
Suppose 3*p - 6 - 3 = 0. Let d be (-1)/((-3)/(-36)*p). Let g(f) = f**3 + f**2 + f - 1. Let r be g(0). Put 3, r, d in ascending order.
d, r, 3
Let t = -33.7 - -33.2. Put 4, t, -37 in decreasing order.
4, t, -37
Let p = -257 + 256.52. Put 1, 3, p in descending order.
3, 1, p
Let w = -297 + 296. Put 3, 40, w, 4 in ascending order.
w, 3, 4, 40
Suppose 5*l + 4*h = -26, -10*l - h = -7*l + 10. Let c be (-4)/6 + 38/3. Sort l, c, -1 in decreasing order.
c, -1, l
Let j(h) = -h**3 + 7*h**2 + 10*h - 13. Let z be j(8). Suppose 4*u = -0*u - 36. Put z, u, -5, 1 in ascending order.
u, -5, 1, z
Let z