der.
12, 5, r
Let i be 4/(-5) + 774/(-120) + 8. Sort -1/10, 0.2, i in decreasing order.
i, 0.2, -1/10
Suppose 5*d = 25, 0 = 4*y - 2*d - 1 + 3. Let a = y + 1. Let l = 23 + -26. Sort -2, l, a in decreasing order.
a, -2, l
Let l(m) = -m**3 + 4*m**2 - 4*m + 10. Let a be l(5). Let q be 2/(-4) + a/(-10). Sort -2, 5, q in decreasing order.
5, q, -2
Let z(d) = -17*d - 40. Let w be z(5). Let h = -120 - w. Put -0.1, 4/21, h in descending order.
h, 4/21, -0.1
Suppose -2*g + g + 1 = 0. Let z = 29 - 22. Let v(b) = b**2 - 9*b + 9. Let p be v(z). Sort p, -4, g in ascending order.
p, -4, g
Let d = -29 - -88/3. Let s = 66241/15 + -13664/3. Let j = s - -139. Sort j, 3/5, d.
d, j, 3/5
Let i = 6.58 + -6.28. Put -0.5, -3, -2/83, i in increasing order.
-3, -0.5, -2/83, i
Let h be (-4)/(-6)*9/3. Let x be (-17 - -19)/(2/h) - 3. Put 2, -4, 1, x in ascending order.
-4, x, 1, 2
Let n = 262.9 + -263. Sort n, -3, 1/4, -1.
-3, -1, n, 1/4
Let n be -3 - (115/(-30) - -1). Sort 4, 0.3, -20/9, n.
-20/9, n, 0.3, 4
Let l = 4.89 + 0.11. Let a = 4.5 - 5. Let u = 1886/5 - 378. Put a, l, u in ascending order.
u, a, l
Let u be 2/8*42 - 4. Let y = u + -7. Sort y, -0.3, -2/19.
y, -0.3, -2/19
Let b be 2 + -1 - (-15)/(-5). Let i be (-3 + (5 - -1))/1. Suppose 0 = 2*x + m + 6 + 4, 3*m + 18 = -i*x. Sort b, x, 5 in increasing order.
x, b, 5
Let x = 0.817 + -1.117. Let w = 3.1 - 3. Put 2, x, w, 0.2 in descending order.
2, 0.2, w, x
Suppose -2*p - u + 3*u = 0, 4*u = -5*p + 18. Let j = 15 + -11. Put p, j, -1, -4 in increasing order.
-4, -1, p, j
Let y = 2478.5 + -2478. Let k = 1.2 + -2. Sort k, 5, y in ascending order.
k, y, 5
Suppose -3*n + 11*s - 3 = 9*s, 0 = n - 5*s + 1. Let k be (-1*1)/(2/8). Let q = -16 - -11. Sort k, q, n in decreasing order.
n, k, q
Let t = 12.2 - 2.2. Let g = t - 10.05. Let k = -17/6 - -67/30. Sort k, -4, g in ascending order.
-4, k, g
Let s = 0.2 - 0.1. Sort -16, 5/2, s, 1/6 in decreasing order.
5/2, 1/6, s, -16
Let g = 40 - 32. Suppose 4*y = g*y. Put 5, -2, 2/11, y in descending order.
5, 2/11, y, -2
Let v = -77.7 - -78. Sort 1, v, 1/8, 5.
1/8, v, 1, 5
Let k = 7.2 - 7.4. Let y = -0.16 - k. Put y, 3, -3 in increasing order.
-3, y, 3
Suppose -124*t + 67*t + 136 = 79*t. Suppose -5*l = -4*w - 6, 5*w + 22 = -0*l - l. Sort -3, w, t, -1 in decreasing order.
t, -1, -3, w
Let i be 3/(-9)*-3*-5. Let m be i/(50/3)*-12. Let p = m + -21/10. Put p, 3, 0.1 in ascending order.
0.1, p, 3
Let f be (1 + 1 - 2) + -2. Put -4, f, 15 in decreasing order.
15, f, -4
Suppose 3*x + 5*c = -77, 2*c - 7*c - 1 = -x. Sort x, -7, -3/5, -3/7.
x, -7, -3/5, -3/7
Let w = 220 - 215. Sort w, -1/3, 6, -2/3 in decreasing order.
6, w, -1/3, -2/3
Let h(r) = 7*r + 0*r - 5*r**2 - 11 - 3*r + r**3 + 2*r. Let s be h(6). Put -5, -4, s in increasing order.
-5, -4, s
Let w = 42 + -95. Sort w, 0, -4 in increasing order.
w, -4, 0
Let p = -40 + 39.5. Put 2/9, -2, p in ascending order.
-2, p, 2/9
Let s(v) = -v**3 - 6*v**2 - 2*v - 9. Let g be s(-6). Let h be 0 - g*6/(-9). Suppose h*w = -0*w + 8. Put 0, w, 2 in increasing order.
0, 2, w
Let j = -2/13 + 58/39. Let p be 698/40 + (-1)/4. Let s = -17 + p. Sort j, -2, s.
-2, s, j
Let d = 79 - 77. Put d, 0.4, -4 in ascending order.
-4, 0.4, d
Suppose 5*k + 53 = 5*x - x, 3*x = 3*k + 30. Sort 4, 1, k in descending order.
4, 1, k
Let s = -12.92 - -13. Let r = 0.72 + s. Let i = 1.2 + r. Sort 2/3, i, 0.5 in descending order.
i, 2/3, 0.5
Let a = -77 + 77.1. Put -3, 1/12, a in descending order.
a, 1/12, -3
Suppose 82*h - 66*h = 32. Suppose -4*i + 0*n + 7 = -3*n, -4*i - 3*n + 25 = 0. Suppose 9 = j - i*j. Put -1, j, h in descending order.
h, -1, j
Let z(g) = -5*g**2 - 27*g + 13. Let u be z(-6). Sort 4, -4, u, 2.
u, -4, 2, 4
Let x be (3 - (-12)/(-3)) + 10. Let z = -50 - -50.21. Let r = 4.21 - z. Sort x, r, -2/5 in ascending order.
-2/5, r, x
Let y be 4 - (2 + -9) - 6. Sort -8, 1, y, -13.
-13, -8, 1, y
Let s = -1055/2 + 15787/30. Let m = s + 8/5. Sort -2, -0.1, 3, m in ascending order.
-2, -0.1, m, 3
Let w = -137 + 80. Let m = -33 - w. Suppose l = 2*k - m, -7*l + 3*l + 48 = 4*k. Sort k, 5, -2.
-2, 5, k
Let k be (84/(-70))/((-48)/5 - -9). Let h be 6/8*(2 - 6). Sort k, -14, -4, h in increasing order.
-14, -4, h, k
Let y(p) = p**3 + 17*p**2 + 22*p - 3. Let c be y(-17). Sort -4/7, -0.3, c in ascending order.
c, -4/7, -0.3
Suppose 4*u - 4 = -4. Put 20, u, -5 in ascending order.
-5, u, 20
Let w = 16.5 - 24.2. Let j = -7.83 - 0.17. Let q = w - j. Put q, -4, 4 in descending order.
4, q, -4
Let x = 2135 - 2140. Put -4, -107, -1, x in increasing order.
-107, x, -4, -1
Let i = -84 + 86. Put 1/3, 16, i in decreasing order.
16, i, 1/3
Let z = -493/4 - -123. Put -0.5, 5/4, 1/3, z in decreasing order.
5/4, 1/3, z, -0.5
Suppose 5*k - 5*p - 233 = -2*p, 5*k - 234 = 4*p. Suppose 13*x - 19 = k. Put x, 1/2, 1/8 in decreasing order.
x, 1/2, 1/8
Let p be -1*12*3/6. Let v be (-2 - 0)/(-2) + p. Let b(i) = 56*i - 506. Let n be b(9). Sort -4, v, n in decreasing order.
n, -4, v
Suppose -z + 19 = -6. Let g = z + -10. Suppose -6*w - g = -w. Sort w, 1, 5 in decreasing order.
5, 1, w
Let k = 303 + -308.44. Let r = -0.44 - k. Sort -4/5, -4, r in descending order.
r, -4/5, -4
Let c(o) = o**3 + 4*o**2 - 2*o - 5. Let p be c(-4). Let z be 1 + 2/(-1) + p. Let g be (-4)/(-20) + 1/(-5). Sort 5, z, g in increasing order.
g, z, 5
Let a(l) = l**3 - 7*l**2 + 5*l + 16. Let w be a(6). Put 3, w, -4 in descending order.
w, 3, -4
Let i = -9 - -7. Let u = -1.6 - i. Sort -3, u, -2/9 in descending order.
u, -2/9, -3
Let c = 0.0728 - 0.5728. Put c, 0.1, 1/5 in descending order.
1/5, 0.1, c
Let l = -20 + 1. Let m = 22 + l. Suppose m*w = -12 - 0. Put 5, w, -3 in decreasing order.
5, -3, w
Suppose -35*q + 34 = 69. Suppose 0 = 3*r + 10 + 2. Put r, 1, q in ascending order.
r, q, 1
Suppose 4*o + 221 = t, -o - 2*o - 5*t = 137. Let k = 50 + o. Sort 4, k, 6 in descending order.
6, 4, k
Let g = -65 - -101. Let l = g + -13. Let n = 23.1 - l. Sort n, 0.4, 3/8 in decreasing order.
0.4, 3/8, n
Let g = -687/2 + 333. Let z = g + 11. Let v = 70 + -75. Sort -1/3, v, z.
v, -1/3, z
Let z = -2 + 4. Suppose 7*r - 5*r - z = 0. Sort 3, r, 5, -5 in increasing order.
-5, r, 3, 5
Let x = 18 + -12. Let i = -5.9 + x. Let w be 0 + 0/(-2) + 5. Put i, 1/2, w in ascending order.
i, 1/2, w
Let n = 6109/9 + -679. Sort 5, n, 0, 0.3.
n, 0, 0.3, 5
Let f = 5 - -2. Let d(t) = 2*t**3 - 15*t**2 + 9*t - 16. Let m be d(f). Suppose 5*o - o - 16 = 0. Put o, m, -1 in descending order.
o, -1, m
Let y(i) = -i**3 - 2*i**2 + 6*i - 11. Let t be y(-4). Sort 3, -17, t.
-17, t, 3
Let l be (21 - 9)*3/(-9). Let a = -6.3 + 6. Sort l, -1/4, a.
l, a, -1/4
Suppose -6*w = t - w - 13, 0 = t + w - 1. Put 4, t, -11, -1 in increasing order.
-11, t, -1, 4
Let f be (-3 - (-30)/(-4))/(75/(-50)). Sort 4, f, -8 in increasing order.
-8, 4, f
Suppose 5*i - 6 = 3*r + 4, -3*i = -2*r - 5. Let u be 6/10 - 294/(-10). Sort u, r, -5 in decreasing order.
u, r, -5
Let g = -23/44 - 5/22. Let r be (-3 + -5 - -5) + -3 + 2. Put g, 2/7, r, 2/19 in ascending order.
r, g, 2/19, 2/7
Suppose -2*j + 2 = -2*r, 0 = 5*j - 0*r - 2*r - 11. Let m = 701 + -702. Sort j, -3, m, 5 in ascending order.
-3, m, j, 5
Let p be 1 - 0 - ((7 - -1) + -12). Sort p, 88, 3 in increasing order.
3, p, 88
Let z(a) = -4*a - 69. Let n be z(-17). Put -33, n, -3, -2 in descending order.
n, -2, -3, -33
Let o = -20.8 - -19.8. Put 0.5, o, -2, -6 in decreasing order.
0.5, o, -2, -6
Let f = -5.8 + 0.8. Let r = -1808.6 - -1971. Let z = r - 162. Put f, z, 2/13 in ascending order.
f, 2/13, z
Let k be 1/1*-2 - -5. Let c = -77 + 77. Suppose c = -9*y + 4*y. Sort 4, k, y in decreasing order.
4, k, y
Let c = 4 - -5. Suppose -14*l + 15 = -c*l. Put l, -2, -5 in decreasing order.
l, -2, -5
Let d = -80/63 + 14/9. Sort d, 0, -5, -3.
-5, -3, 0, d
Let m = 3.6 - -31.4. Let u = m - 30. Put 0.03, 4, u, -1 in ascending order.
-1, 0.03, 4, u
Suppose -1 + 2 = q. Let x(n) = n - 1. Suppose s = 2*y + 4*s - 13, -5*s = -25. Let r be x(y). Put r, q, 5 in decreasing order.
5, q, r
Let b be (-6)/66 + 258/(-66). Let i be 4/8*2*2. Suppose 4*n - 17 = -m, 2*n - m = i*m + 5. Sort 0, n, b.
b, 0, n
Suppose 0 = 5*x - 5*p + 8*p - 159, 2*p = 3*x - 84. Let n be 10/(1*-2) - (-31 + x). Sort -0.5, n, -2.
n, -2, -0.5
Let w = 89 + -103. Sort w, 3, 4, 0.
w, 0, 3, 4
Let a be (-2)/3 - (-11)/3. Let p = 2 + -6. 