 k = -0.5 + p. Sort -1, k, i.
i, -1, k
Let f be -1*(-3 + (26 - -3)). Let k = f - -30. Let t = 3 - 0. Sort t, k, 0.
0, t, k
Suppose -23*k + 39*k = 24*k. Let y(d) = -d**3 - 7*d**2 + 3. Let j be y(-7). Sort -3, j, k, 5 in decreasing order.
5, j, k, -3
Suppose -x = i + 3, 3*i + 4*x - 3*x + 1 = 0. Let g = i + 2. Sort g, 1, 7 in ascending order.
1, g, 7
Let k = -0.1 - 1.9. Let q = 20 + -20.8. Let v = q + 0.4. Put k, v, -4 in increasing order.
-4, k, v
Let g be (-6 + 16)*(1 + 0). Suppose 10*v - 40 = -g*v. Sort 4, 1, v in descending order.
4, v, 1
Let v(m) = -3*m + 34. Let f be v(13). Let l = -0.6 - -1.1. Sort f, l, 0 in descending order.
l, 0, f
Let n = -373 - -372.9. Put 0.2, n, -0.2, 16 in ascending order.
-0.2, n, 0.2, 16
Suppose 47*k = 50*k + 6. Put k, -44, 3 in increasing order.
-44, k, 3
Suppose 18 = -10*u - 22. Put -2, u, 3, 1 in descending order.
3, 1, -2, u
Let v be (3/(-6))/((-3)/18). Let p be ((-6)/(-9)*v)/2. Let u = 55 + -55.5. Sort u, p, -1/4 in increasing order.
u, -1/4, p
Suppose -4*s - 5 = s. Let j = -2 + s. Suppose 14 = -4*v - 5*a, -3*v = -a - a + 22. Put j, v, 1 in decreasing order.
1, j, v
Let q = -2066 - -2075. Sort 3, -3, q, 1 in increasing order.
-3, 1, 3, q
Let p be -7 + (-2)/4 + (-2)/4. Let o be (-6)/p - (-10)/8. Put 3, -3, o, 11 in ascending order.
-3, o, 3, 11
Let f = -2.7 + 2.2. Sort 0.4, -4, -7, f.
-7, -4, f, 0.4
Suppose -3*y + y = -8. Let c = -10426 - -10425. Sort y, c, -4 in decreasing order.
y, c, -4
Let o = 6 - -1. Let s = 894 + -893.5. Sort 3, s, o, 2 in descending order.
o, 3, 2, s
Let c = 0 - 4. Let m = 136 - 137. Sort c, m, 2 in increasing order.
c, m, 2
Let h = 14 + -17. Let v(b) = -2*b**3 + 12*b**2 + 5. Let n be v(6). Sort 3, 1, n, h in descending order.
n, 3, 1, h
Let d(u) = -u**2 - u + 2. Let o be d(1). Suppose 2*p - 3*p - 3 = o. Let c be (7 + -4)/(p/2). Sort 3/2, c, 0.
c, 0, 3/2
Suppose 4*v = -2*c - 0*c + 20, -3*v = -5*c + 11. Suppose 0 = 2*a + 2*z - 10, -v*a - 5*z + 18 - 3 = 0. Sort -0.2, 2, a.
-0.2, 2, a
Let a = 1 + -1. Let g = -509 + 506. Put 6, a, 1, g in descending order.
6, 1, a, g
Let z(s) = 7*s - 5. Let c be z(0). Sort -0.1, -2/17, 4/3, c in descending order.
4/3, -0.1, -2/17, c
Suppose -2*f + 4 = -3*c, -5*f - 10 = -2*c - 31. Suppose 0*l - l = -f, -4*k + 3*l = -29. Sort -1, k, -3.
-3, -1, k
Let f be (-12)/(-21) - (-4)/(-14). Let w = -92.09 - -4.99. Let u = -87 - w. Put -1/21, u, f in decreasing order.
f, u, -1/21
Let m = -0.4 - 0.1. Let i = -22/25 - -12/25. Sort i, m, 0.1.
m, i, 0.1
Suppose 16 = -5*i + 5*b + 1, 5*b = 0. Sort 5, i, 1, 3 in decreasing order.
5, 3, 1, i
Let r be 1/(-2*2/(-12)). Suppose 511*b = 216*b - 295. Sort 2, b, -2, r.
-2, b, 2, r
Let s = 0 + 6. Let t(c) = c + 1. Let u be t(s). Suppose u = 4*v + 23. Put 2, -1, v in decreasing order.
2, -1, v
Suppose -m - 5 = -0*m - v, -5*m = v + 1. Suppose -5*k + 14 = -11. Suppose 7 - k = 2*w. Sort w, m, -2.
-2, m, w
Let i(b) = 2*b**2 - 11*b - 19. Let d be i(7). Let q = -4 + 8. Sort 5, d, q in ascending order.
d, q, 5
Let f be 2*(4 - 3)/(-1). Put 81, 0, 3, f in decreasing order.
81, 3, 0, f
Let w = -5 - -2. Let g(a) = -a - 5. Let h be g(w). Let j(m) = -m**2 + 26*m - 91. Let k be j(22). Sort 1, h, k in increasing order.
k, h, 1
Let h(a) = -a**3 - 10*a**2 - 10*a - 7. Let l = 75 - 84. Let g be h(l). Put 1, 5, g, -5 in decreasing order.
5, g, 1, -5
Let a = 1872 - 1871. Let c = -5.5 + 5. Put c, a, 3/10 in ascending order.
c, 3/10, a
Let a be (180/35 - 4)/((-2)/(-7)). Put a, 0, 1, -9 in ascending order.
-9, 0, 1, a
Let m(q) = -q**3 + 5*q**2 + 8*q - 8. Let g be m(6). Suppose -4*a + g - 16 = 0. Sort a, -31, 2 in ascending order.
-31, a, 2
Suppose -8*f = -11*f + 3. Let u be f + 15/(-21) + 4/(-14). Let z be (2/6)/(1/(-3)). Sort z, u, 1.
z, u, 1
Let s be (-10 + 11)*(3 - (0 + 4)). Sort 3, 2, s in decreasing order.
3, 2, s
Let q = 473 + -468. Put 0.02, q, 10 in decreasing order.
10, q, 0.02
Let t = 0.0082 - 47.2082. Let n = t + 47. Put n, -11, -5 in increasing order.
-11, -5, n
Let l = 0.3915 + 0.1085. Sort l, 5/7, -2.
-2, l, 5/7
Let k be 2*8/(64/60). Suppose k = -w + 6*w. Put 0, w, -3 in decreasing order.
w, 0, -3
Let m = -91.89 + 2.99. Let o = m - -117. Let j = o + -28. Sort 4, 1/4, j in decreasing order.
4, 1/4, j
Let y(c) = -2*c. Let g be y(-2). Suppose 6 = g*o - 7*o. Suppose -3*m = -7 - 2. Sort o, -4, m in ascending order.
-4, o, m
Suppose u + 3*u + 4*b = -8, 32 = -4*u + 4*b. Sort u, -2, 3, -3/5 in descending order.
3, -3/5, -2, u
Suppose 601 - 721 = 30*i. Sort 5, -3, i, 76 in ascending order.
i, -3, 5, 76
Let x be 1 + (-2 - 38)/8. Let y = 0.2 + -0.3. Sort 2/23, x, -1, y in decreasing order.
2/23, y, -1, x
Let b be ((-225)/(-4950))/(2*1/11). Sort 2, b, 1, 1/37 in descending order.
2, 1, b, 1/37
Let u(h) = 3*h**3 + 4*h**2 + 4*h - 6. Let r be u(1). Sort r, 1, -5, 8 in increasing order.
-5, 1, r, 8
Let z = 71 + -4. Let b = z - 66.6. Put b, -2, -1.6 in ascending order.
-2, -1.6, b
Let h be 4/(-1 + 10/15). Let x be 12/(h/(-3)) + 1. Put 3, 2, x, 0 in decreasing order.
x, 3, 2, 0
Let u(r) = -r**3 - 8*r**2 - 6*r + 4. Let t be u(-7). Let i be (-28)/6*21/(-56). Let y = -9/4 + i. Put y, t, -0.4 in increasing order.
t, y, -0.4
Suppose -17*c - 24 = -41*c. Put c, -5, 6, 44 in decreasing order.
44, 6, c, -5
Let f = -3 + 0. Let w be ((-1)/f)/((-1)/(-15)). Suppose 16 = -4*c - n - 0*n, 5*c - 4*n - 1 = 0. Sort 4, w, c.
c, 4, w
Let t = 3211/9 + -357. Sort 2/5, 17, t, -0.4 in decreasing order.
17, 2/5, t, -0.4
Suppose -5*k + k = 24. Let h be ((-4)/k)/(16/(-312)). Let o = h - -8. Put -2/3, 0.1, o in descending order.
0.1, -2/3, o
Let v = 3.9 + -4. Let p = -0.1 + v. Let r = 0.035 - 2.035. Put 0.2, r, p in descending order.
0.2, p, r
Suppose -7*f + 70 = -2*f. Let m = -36 - -38.8. Let o = -2.2 - m. Sort 2/7, o, f in increasing order.
o, 2/7, f
Let b(g) = 2*g**2 - 5*g - 5. Let i be b(-1). Sort i, -16, -5 in increasing order.
-16, -5, i
Suppose v - 2*v + 7*v = 0. Suppose 0 = -2*b - 2*b - j - 12, -2*j + 8 = 0. Put b, -5, -2, v in decreasing order.
v, -2, b, -5
Let g(p) = -11*p - 61. Let x be g(-6). Sort x, -3, 31 in decreasing order.
31, x, -3
Let u be (16/10)/((-4)/(-20)). Let f be 3/9 + (-3)/9. Let p(d) = 2*d**3 + d**2 + 5. Let l be p(f). Sort 1, u, l.
1, l, u
Let d = 0.6 - 0.2. Let h = -0.83 + -1.25. Let a = h - -0.08. Sort d, -2/7, a in ascending order.
a, -2/7, d
Suppose 10*v = 3*v - 5*v. Let x be 2 - (-3)/(9/6). Sort x, -4, v in descending order.
x, v, -4
Let k be -4 - 8*(-4)/1. Suppose 11*j + 3*j = -k. Sort -4, 1, j in decreasing order.
1, j, -4
Let c = -137 - -139. Put c, -0.05, 1, -3 in decreasing order.
c, 1, -0.05, -3
Let i = -0.1283 - 4.8717. Put 42/13, i, 0.4, -2 in decreasing order.
42/13, 0.4, -2, i
Let v = 27.7 - 27. Let t = 2.6 - -1.4. Put v, -0.3, t in increasing order.
-0.3, v, t
Suppose -5*r + j = -842, 3*j + 678 = -r + 5*r. Let m be (-30)/r + 2/(-8). Put 1, -1, -3, m in descending order.
1, m, -1, -3
Let g = 1 - 3.1. Let q = g - -2.17. Sort 1/4, q, -1/4.
-1/4, q, 1/4
Let j = -36 - -41. Let u = -0.23 - 0.77. Put 0.2, u, j, 2 in decreasing order.
j, 2, 0.2, u
Let v be 0 + 2 - -2*1. Suppose 0 = 4*q - 4*x + 3*x + 5, -25 = -q - 5*x. Suppose -5*k = -q*k. Sort v, 1, k.
k, 1, v
Suppose 4*k = 5*h + 11, 0 = -3*h + 3*k + 30 - 39. Suppose 36 + 39 = -5*g. Sort h, -5, g in ascending order.
g, -5, h
Let l = -617 + 622. Put -8, l, 1, -2 in descending order.
l, 1, -2, -8
Let t be 1/2 - (-2142)/44. Let a = -7688/55 + t. Let f = 91 + a. Sort -3/2, 2/11, f in descending order.
f, 2/11, -3/2
Let d = -11.79 + 11.99. Put 2/3, -6, d, 0.46 in increasing order.
-6, d, 0.46, 2/3
Let c be (-17)/4 + 2 + (-4)/(-16). Let k be (16/(-6 - -2))/(-4). Sort k, 0, c, -37.
-37, c, 0, k
Let m(j) = 7*j + 62. Let l be m(-9). Put l, -9, 1, -4 in ascending order.
-9, -4, l, 1
Let b(p) = p**3 - 3*p**2 - p + 3. Let a be b(3). Suppose a = -3*g - 12 + 3. Suppose 0 = 2*h - h + 5. Put g, h, -1 in descending order.
-1, g, h
Let d = -29 - -40. Let t = -9/1894 - -3833/9470. Put t, d, -1 in descending order.
d, t, -1
Let v = -247 + 255. Suppose 0*b = -3*b - 3. Sort -2, b, v, 1.
-2, b, 1, v
Let m = -1.56 + -0.44. Sort -4, 3, 5, m.
-4, m, 3, 5
Let w = -7.3 + 7. Let d = -16137 + 16145. Put -1, d, w in decreasing order.
d, w, -1
Let u be -9*(-8)/168 - (-218)/14. Put u, 10, 2 in decreasing order.
u, 10, 2
Let h = -9 -