= i - 2*x. Put -2, 3, i, 1 in decreasing order.
3, 1, -2, i
Let i = -5 - -13. Suppose 3*y = 5*y - i. Suppose 0 = -x + 2*z - 3, y*x - 2*z + 11 = -7. Sort x, -4, -3 in decreasing order.
-3, -4, x
Let p(c) = c**3 - 3*c**2 + 2*c + 14. Let f be p(0). Put f, 1, 5 in decreasing order.
f, 5, 1
Let h(t) = -2*t**3 + 8*t**2 - 6*t + 2. Let f be h(3). Sort -3, 5, 4, f.
-3, f, 4, 5
Let y be (-15)/(-30) - (-30)/4. Put 5, -3/2, y in decreasing order.
y, 5, -3/2
Suppose u - 9 = 2*q, -3*q - 9 = 3. Let s = 6 + -2. Suppose -x = 2*w - u + 11, 0 = -2*w + s*x. Put 0, -3, w in descending order.
0, -3, w
Let o = -26.0179 - -0.0179. Sort o, 4/5, 0.2 in ascending order.
o, 0.2, 4/5
Suppose -g + 15 = -3*c, g - 8 = 2*c + 3. Suppose 3*n + 2*n = 2*n. Put 5, n, g in increasing order.
n, g, 5
Let l = -437 + 438. Put l, 5, -202 in decreasing order.
5, l, -202
Let y = 131 - 131.82. Sort 5, -5, 4, y.
-5, y, 4, 5
Let m = 0 + -1. Let r(i) = i**2 - i - 1. Let t = -23 + 22. Let g be r(t). Put g, 4, m in ascending order.
m, g, 4
Suppose -12*o + 14*o + 24 = 0. Let m be (4/8)/(18/o). Put 0.5, -10, m, 3 in descending order.
3, 0.5, m, -10
Let l = 428 - 463. Sort l, -2/5, -0.5 in decreasing order.
-2/5, -0.5, l
Let y(v) = v**2 + 12*v - 12. Let b be ((-100 + -4)/4)/2. Let w be y(b). Sort w, 2, -5.
-5, w, 2
Let q(f) = f + 3. Let i be q(-2). Let s be (i - 0)*8/32. Put s, -2, 0 in increasing order.
-2, 0, s
Let y(k) = 4*k - 2*k - 7 - 5*k - k. Let n be y(-5). Let d = -467 - -468. Put 3, n, d in descending order.
n, 3, d
Let n be 2/6 + 28/(-30). Suppose -47 = -4*l - 3. Let w(h) = -h**2 + 11*h - 1. Let i be w(l). Put -5, i, n in increasing order.
-5, i, n
Suppose -7*m + 4*m = -6. Suppose 0 = -4*f + 3*k - 7, -9*f + 11*f = 5*k - 7. Put m, f, -3 in descending order.
m, f, -3
Let y = 75.7 - -17.3. Sort y, -4, -1/2 in decreasing order.
y, -1/2, -4
Suppose 238 + 238 = 28*z. Put -4, z, 0.1 in decreasing order.
z, 0.1, -4
Let d(r) = -r**3 - 9*r**2 + 13*r + 31. Let m be d(-10). Put 1/12, m, -5 in decreasing order.
m, 1/12, -5
Let f(i) = i**3 - 7*i**2 + 14*i - 3. Let o be f(4). Suppose -2 = c + 3. Let y be c/((-15)/(-9)) - 0. Sort y, o, 3 in decreasing order.
o, 3, y
Let a be (22 - 21)/(1/(-47)). Sort -3, a, 1.
a, -3, 1
Let w = -2 - -2.2. Let l be (42/12)/((-70)/(-40)). Put l, -0.1, w, -2 in descending order.
l, w, -0.1, -2
Let v(c) = -239*c + 2156. Let j be v(9). Suppose 0 = 4*f + 10 - 2. Sort -27, j, f, 0 in descending order.
j, 0, f, -27
Let i be (-4)/4 - 2/2. Let f be (-3)/i*10/3. Let u = -65 - -63. Sort f, u, 1 in descending order.
f, 1, u
Suppose -64 = -29*n - 6. Suppose 5*p + 5 = -h, 2*p - 3*p + 2*h + 10 = 0. Put p, n, 7 in increasing order.
p, n, 7
Suppose -5*i - 1 = -2*x, 0*x = 5*x + 2*i - 17. Suppose 2*g - 30 - 18 = 0. Let c = -25 + g. Sort c, -3, x in decreasing order.
x, c, -3
Let k be (15984/45)/(-8)*(-10)/4. Sort -1, k, -4.
-4, -1, k
Let c = -1014 + 1011. Put c, -7, -10 in descending order.
c, -7, -10
Let n = 600 - 595. Let u(v) = -v + 2. Let j be u(0). Sort -5, 20, j, n in increasing order.
-5, j, n, 20
Let u = -59.8 + 60.8. Sort 0.24, u, -2/7 in descending order.
u, 0.24, -2/7
Let k = 0.822 + -0.322. Sort 0.56, k, 1/3 in descending order.
0.56, k, 1/3
Let i = -53 + 29. Let f = -24 - i. Suppose -18 = 3*j - f*j. Sort 3, 5, j in descending order.
5, 3, j
Let r be 460/(-90) + 1/9. Let i(q) = -q**2 - 15*q - 15. Let b be i(r). Let v = b - 106/3. Sort 0.1, v, 9 in descending order.
9, 0.1, v
Let p(l) = -7*l + 160. Let k be p(22). Put k, -5, 0, -3 in descending order.
k, 0, -3, -5
Suppose -28*p + 43*p = -30. Sort -4, 3, 83, p in descending order.
83, 3, p, -4
Let v = 29.3 + -27.3. Sort v, 6, -1 in descending order.
6, v, -1
Let m = 104 - 100. Suppose r = m*f - 0*r + 7, 3*f + 9 = 2*r. Put -4/5, f, -3 in increasing order.
-3, f, -4/5
Suppose 0 = -5*r + 8 - 3. Suppose 4*a + r = -7. Sort -1, a, 4.
a, -1, 4
Suppose -3*n = 3*b - 3, -7 = 6*n - n - b. Sort n, 0.05, 3 in decreasing order.
3, 0.05, n
Let b = -505 + 501. Let w = -15 - -9. Sort b, -5, w in ascending order.
w, -5, b
Let a = 0.38 - 0.08. Suppose 2*h - 16 = 5*k, 4*h = k + 2*k + 4. Let j be h + (-1)/((-24)/52). Put a, j, 4/3 in increasing order.
j, a, 4/3
Suppose 0 = 8*i - 3*i. Let s = 136 - 145. Let f be 4/(-3)*(3 + 0). Sort s, f, i in increasing order.
s, f, i
Let y be (8/(-12) - 76/30)*5. Let a = 20 + y. Suppose 0 = -2*j + 1 - 11. Sort j, a, 0.
j, 0, a
Let z(a) = -2*a - 1. Let k be z(-5). Let p be -1 + 2 - (-7)/(2 + -3). Let q be ((-2)/p)/(13/78). Sort -2, k, q in decreasing order.
k, q, -2
Suppose 8*w - 12*w + 48 = 0. Let p = -9 + w. Put -1, 4, p in decreasing order.
4, p, -1
Let v be (2 - (-28)/16)*(-26)/(-65). Suppose -8*g + 9*g = 4. Sort v, 2/5, g in increasing order.
2/5, v, g
Let g be -3 + 2 - (-2 + 8). Let w(l) = 5*l - 25. Let d = -13 - -19. Let m be w(d). Sort m, 3, g.
g, 3, m
Suppose 3*t - 22 = -106. Let h = 29 + t. Sort 3, -2/9, h in increasing order.
-2/9, h, 3
Suppose 19*n - 49 - 46 = 0. Let r = 4 + -2. Suppose -2 = -0*g + r*g. Put n, 2, g in ascending order.
g, 2, n
Let z = -462 + 460. Sort -1/3, -4/5, z in increasing order.
z, -4/5, -1/3
Let q = 447 + -453. Put -3, 0, -1, q in descending order.
0, -1, -3, q
Let r = 34 - 67. Let p = r - -38. Sort -7, p, -0.4 in descending order.
p, -0.4, -7
Let r = -14.3 + 14.3. Let c be ((-42)/9 + 5)*(-4)/(-2). Suppose -m - t - 5 = -3*t, 4*m - 4*t = -20. Sort r, m, c in increasing order.
m, r, c
Let g be 33/11 + 2*1. Suppose -6 - 9 = -g*j. Let l be -3 - (j - (4 + 4)). Put 0.2, 3, l in increasing order.
0.2, l, 3
Let r = 9/59 + 159/118. Let k = 0.4 + -0.2. Put -1, -2/5, k, r in ascending order.
-1, -2/5, k, r
Suppose 0 = b + 5*s - 8, 5 = -3*b - 3*s + 17. Let w be (1/b)/((-2)/(-6)). Let k = -8 + 12. Put 0, w, k in increasing order.
0, w, k
Let t = -108 + 108.108. Let g = t + -5.108. Sort 0.07, g, 1, -3/4 in ascending order.
g, -3/4, 0.07, 1
Let s = -2.99 + -0.01. Let r(k) = -2*k**2 + 24*k + 26. Let w be r(12). Suppose -w = 3*l - 4*n, 5*n - 28 = l + 2*l. Sort l, -2, s in decreasing order.
-2, s, l
Let k(f) = -9*f - 120. Let x be k(-13). Sort 3, x, 3/2 in descending order.
3, 3/2, x
Let x(d) = -d**3 - 7*d**2 - 10*d - 27. Let s be x(-6). Sort 3, s, -5, 120 in decreasing order.
120, 3, s, -5
Let i = -1 + 1. Suppose 2*p - 6 = -i. Suppose -24*k - 19*k = -51*k. Sort p, -3, k in descending order.
p, k, -3
Suppose -5*f + 103 = -3*b - 90, 4*f + 236 = -4*b. Sort b, 2, 3 in descending order.
3, 2, b
Let f be (-2 + -1)/(15/(-20)). Let h = 6 - f. Let a = 0.01 - -0.49. Sort a, h, 3/5.
a, 3/5, h
Let y = -29/41 + -1015/246. Let j = -12 - -15/2. Let g = j - y. Sort 1/7, g, -4.
-4, 1/7, g
Let i(o) = -o**3 + 2*o - 1. Let c be i(1). Let m = c + 3. Let w(v) = 229*v + 457. Let k be w(-2). Sort -4, k, m in descending order.
m, k, -4
Let l(y) = y. Let i(m) = -2*m + 2. Let k be i(3). Let w be l(k). Suppose 4*g + 3*j = -11, 3*g - 34 + 46 = -3*j. Put -2, g, w in descending order.
g, -2, w
Suppose -5*g + 0*g - 5 = -4*j, -4*j - 2*g - 30 = 0. Put 1, 10, 3, j in increasing order.
j, 1, 3, 10
Let x = -3.3 + 3. Suppose -5*r = -4*o - r - 8, 6 = 5*o + 3*r. Let l(i) = -i**2 - 5. Let q be l(o). Sort x, q, -1/4.
q, x, -1/4
Let s be 3/(2/(3 + -7)). Let c be (-22)/s - (-13)/39. Suppose 0 = -u - 3, 0*l + 4*l = 5*u - 1. Put -1, c, l in decreasing order.
c, -1, l
Let w be 10 + 161/(-7) + -7. Put 2, 4, w, -3 in increasing order.
w, -3, 2, 4
Let k = -21 + 19. Sort k, 4, 11 in increasing order.
k, 4, 11
Let r be 1/(-3)*(-3)/(-11). Let q = 158.27 + -157. Let w = q + -1.57. Sort r, w, -1 in increasing order.
-1, w, r
Suppose 0 = 1361*t - 1366*t + 265. Sort t, 0, -3 in descending order.
t, 0, -3
Let b = 65.4 + -70. Let m = b - 0.4. Let w be 13/(-20) - 5/(-20). Sort m, -0.1, w in descending order.
-0.1, w, m
Let m = 7 + -4.4. Let l = m - 0.6. Let x = 0.26 - 0.06. Put -2/11, x, l in decreasing order.
l, x, -2/11
Let h = -0.05 + -0.65. Let u = 3.09 + -3.19. Put 5/3, u, h in descending order.
5/3, u, h
Let l = 1 + 4. Suppose -p = -l*k - 21, -4*p + 47 = p + 4*k. Suppose 2*y - 4*i + p = -1, -10 = 3*y - 2*i. Put 4, y, 1/2 in descending order.
4, 1/2, y
Let v(r) = -2*r + 14. Let t be v(9). Let u be 1 + 6/(-3) - t. Suppose 4*i - 3*o + 5 = 3*i, -u*o = -2*i - 1. Sort -5, -8, i in ascending order.
-8, -5, i
Let v = -191.5 - -192. Put 1, 3, v, -3/8 in as