ppose 0 = -7*m - 26 + 5. Put u, m, i in ascending order.
u, m, i
Let h = -28742/13 - -2211. Sort h, 2, 0, 3/8.
0, h, 3/8, 2
Let k = 383 + -417. Sort -5, 3, k.
k, -5, 3
Let p = -0.039 - -0.061. Let l = p + 2.978. Let c = 13 - 8. Put l, c, -1/5 in descending order.
c, l, -1/5
Let j = 91.5 + -91. Put -3/40, -5, j, 9 in descending order.
9, j, -3/40, -5
Suppose 3*l - 6*l - 3*o - 6 = 0, -3*o + 6 = 0. Put -16, l, 0.5, 2/7 in ascending order.
-16, l, 2/7, 0.5
Let o = 1.6 + 0.4. Let a = 719 + -7911/11. Put a, o, -0.3 in descending order.
o, a, -0.3
Let c(f) = 13*f + 56. Let g be c(-3). Sort -5, 5, g, 7 in decreasing order.
g, 7, 5, -5
Suppose 0 = -l + n + 3, -30 = 5*l + 4*n. Sort l, -1, -4.
-4, l, -1
Let c(f) = f - 12. Let h be ((-12)/(-5))/((-3)/(-15)). Let a be c(h). Let i = 5 + -1. Put a, -5, i in increasing order.
-5, a, i
Suppose -13*n - 4*y = -16*n - 15, 2*y - 5 = n. Sort -7, -2, n.
-7, n, -2
Let v = -73/4 - -18. Let o(t) = 7*t + 6. Let j(l) = -15*l - 11. Let y(q) = 6*j(q) + 13*o(q). Let a be y(-8). Sort 3, a, v in ascending order.
v, 3, a
Let x = -0.3217 + 0.2817. Let t = 0.5 + -0.3. Put 1/4, t, x in decreasing order.
1/4, t, x
Let k(a) = -9*a - 39. Let p(f) = -26*f - 118. Let l(z) = -17*k(z) + 6*p(z). Let h be l(-13). Put 4, 3, -1, h in decreasing order.
4, 3, -1, h
Suppose -2*w - 2 = 0, -r - 2*w - 5 = 3*w. Suppose 8 = -2*u - r. Sort 5, 0, u.
u, 0, 5
Suppose 123 = -3*w + 153. Put 1/5, -4, w in increasing order.
-4, 1/5, w
Suppose 2*l - 2*h = 6*l - 8, 4*h + 4 = 2*l. Let w be -1*l/(-3) - 273/(-63). Suppose 0 = 4*k - 4 - 0. Sort 2, w, k.
k, 2, w
Let i = -43/10 - -14/5. Let x = -0.2 + 0.2. Sort -1, i, x in descending order.
x, -1, i
Let p = 7 - 3. Let i(u) = -2*u**2 - 2*u + 1. Let j = -21 + 22. Let r be i(j). Sort p, r, -4 in ascending order.
-4, r, p
Let v = -0.1 + -0.9. Suppose -9*t + 6 + 12 = 0. Let s be -3 - -8 - (-3 + t - -1). Sort -0.5, v, s in decreasing order.
s, -0.5, v
Let f(g) = -g - 6. Let c be f(0). Let m = c + 4. Suppose 3*o - 6 = 2*n, 2*n + 4*o + 3 = n. Sort m, n, 2/11.
n, m, 2/11
Let z = -42.52 - 0.48. Let i = 34 + z. Let o = 0.4 + 2.6. Put o, i, -1/10 in increasing order.
i, -1/10, o
Suppose -2*v + 45 = 3*v. Suppose -4*n = m + 2 + v, 0 = -4*m + 5*n + 19. Suppose -m = h - 3. Put 5, h, 3 in increasing order.
h, 3, 5
Let d = 63259/26 - 4871/2. Sort 0.1, 0, d, 1.
d, 0, 0.1, 1
Let z be ((-4)/4 + -4)/1. Let k(p) = p + 2. Let s be k(z). Let m = -10 - -6. Sort s, 2, m.
m, s, 2
Suppose 3696 = 473*c - 445*c. Sort 5, c, 3.
3, 5, c
Let l = 14/69 - 13111/345. Let s = l - -38. Put 0, s, -0.1 in decreasing order.
s, 0, -0.1
Let u = -172 - -161. Sort u, -5, 0.5.
u, -5, 0.5
Suppose 8*z = 4*z - 4. Let b = -9 + 10. Suppose -2*r - 15 = 5. Put r, b, z in decreasing order.
b, z, r
Suppose 0*m = -m + 3. Let y be (2/6)/(m/(-3)). Let h = 3.3 - 2.3. Sort y, h, 0.3.
y, 0.3, h
Let z = 16.6 - 16.544. Put 0, 0.2, z, -2/3 in ascending order.
-2/3, 0, z, 0.2
Let s = 0.35 + -9.85. Let y = s - 0.56. Let v = y - -10. Put 1/4, 3, v in descending order.
3, 1/4, v
Let x be (-11 - 228/(-20))*-1085. Sort 5, 1, x in increasing order.
x, 1, 5
Suppose 3*d + 4*y = 3, -28*d + 29*d = -5*y + 1. Sort d, -6, 0 in decreasing order.
d, 0, -6
Suppose 75 = 10*c - 5*c. Let o be (-1 - -2)/(-7) + c/105. Sort o, -1, 4 in decreasing order.
4, o, -1
Suppose -7*j + 15 = -10*j + 3*v, -5*j + v = 21. Suppose 7*d = 4*d - 6. Let u = 1 - 0. Put u, j, d in descending order.
u, d, j
Let t = 2.94 + -5.94. Sort -0.2, -9, -4/9, t in descending order.
-0.2, -4/9, t, -9
Suppose -20*i = -21*i + 2. Let p be 1 - (-64)/28 - 2/7. Put i, p, 0 in descending order.
p, i, 0
Let o = 52898/1435 + -18/287. Let u = -1063/30 + o. Let m = -6/5 + u. Sort 2/5, m, 3 in descending order.
3, 2/5, m
Let t = 588.7 - 808. Let q = t - -219. Let l(i) = i**3 + 7*i**2 + 6*i + 7. Let k be l(-6). Put 2/7, q, k in ascending order.
q, 2/7, k
Let o be 2 + 0 + -1 - -2. Let y be (-986)/(-85) + (-2)/(-5). Let w = y + -7. Put -4, o, w in descending order.
w, o, -4
Let o(u) = -5*u - 20. Let h be ((-1)/4*-2)/((-6)/60). Let r be o(h). Sort r, -3, 3, 3/5 in descending order.
r, 3, 3/5, -3
Let r be 24/10 + (-6)/15. Let j be 5/r*(-4)/5. Let q = -2 + 2.4. Put -3, q, j in ascending order.
-3, j, q
Suppose -7*p + 140 = 154. Sort p, 1, -36, 5.
-36, p, 1, 5
Suppose a = -5 - 8. Let j = -8 - a. Let r be -2*(1 + (-6)/j). Put -1/3, 0.2, r in ascending order.
-1/3, 0.2, r
Suppose -5*q + z + 3 = 2*z, 8 = -4*z. Put -5, -2, q, -11 in increasing order.
-11, -5, -2, q
Let z = 237.5 - 237. Sort z, 2, -46 in descending order.
2, z, -46
Let h(v) = 68*v - 1011. Let q be h(15). Sort 2, 5, q, -1.
-1, 2, 5, q
Let s(d) = d - 13. Let a be s(9). Let r = -953 - -956. Sort r, -3, a in increasing order.
a, -3, r
Let y(g) be the first derivative of 5*g + 3/2*g**2 - 1/4*g**4 + 4/3*g**3 - 5. Let q be y(5). Sort 5, q, 4 in ascending order.
q, 4, 5
Let z = -238 + 237. Put 4, -5, 8, z in ascending order.
-5, z, 4, 8
Let y = 1 + -6. Let p be 2*(-4 - y)*(-4)/(-2). Suppose s = 3*s + 6. Sort s, -4, p in increasing order.
-4, s, p
Suppose -4*m - 37 = -5*o, -5*o = -m - 3*o - 13. Sort m, -0.047, -2 in ascending order.
m, -2, -0.047
Suppose p + 11*l - 9*l + 31 = 0, 4*p - 2*l + 84 = 0. Sort p, 6, 1 in ascending order.
p, 1, 6
Let o be 3/(((-54)/42)/(-3)) - 3. Suppose -p + 5 = 4*p. Sort p, 5, -9, o in decreasing order.
5, o, p, -9
Let t = -780 + 785. Sort t, -2, -0.05.
-2, -0.05, t
Let o = -7226/7 + 1032. Sort o, -4, -5 in descending order.
o, -4, -5
Let l = 7.572 + -0.072. Let y = -7.8 + l. Put y, -0.8, 1/2, 1 in decreasing order.
1, 1/2, y, -0.8
Let a = -0.03 + 5.93. Let j = a - 6. Let f be (2 + -1 + -4)/(5/2). Put 4, f, j in ascending order.
f, j, 4
Let p = 1.9154 + 0.0566. Let i = 0.028 + p. Let s = -0.06 - -0.36. Sort i, s, 3/8.
s, 3/8, i
Let w be ((-2)/(-3) + 0)/((-241)/1446). Let z = -38 - -79/2. Sort -2, z, w in increasing order.
w, -2, z
Let i = -208 + 208.1. Put -20/63, i, -0.2 in descending order.
i, -0.2, -20/63
Suppose -10*j - 12 = -14*j. Suppose -k - 1 = t, -3*k - 4*t - 5 = j. Put -4, k, 35 in increasing order.
-4, k, 35
Suppose -5*d + 69 = -4*k, 0 = -3*k + 4*d - 7*d - 72. Put -4, -5, k, -3 in decreasing order.
-3, -4, -5, k
Let g be 6/(-3) - (-1 + -1). Suppose g + 1 = t. Suppose -2*v - v + 6 = 0. Sort v, -3, t in decreasing order.
v, t, -3
Let f = -79 + 28. Let l = -53 - f. Sort 3, 1, l in decreasing order.
3, 1, l
Let g = -96 - -101. Suppose 0 = g*j - 4*j - 15. Put 4, j, -3 in decreasing order.
j, 4, -3
Let r = -635 - -635. Sort r, -2, 3, 30.
-2, r, 3, 30
Suppose 0 = 4*b - 6*b - 118. Let y = 64 + b. Let t be 2/((-1)/3 + 1). Put y, -4, t in descending order.
y, t, -4
Let u be 5/1 - 623/89. Suppose 2*n = 3*n + 1. Sort n, 0, -1/4, u.
u, n, -1/4, 0
Let k be (((-224)/35)/8)/((-4)/10). Suppose -10*y = y - k*y. Sort -1, y, -4 in ascending order.
-4, -1, y
Let u = 167.226 + -167. Let q = u + -0.026. Sort -4, 20, q, 0.1.
-4, 0.1, q, 20
Let b = -93.8 + 98.8. Put -0.059, b, 3 in descending order.
b, 3, -0.059
Let t = -2.78 - 0.22. Sort t, -1/4, -9, 4 in decreasing order.
4, -1/4, t, -9
Let r be (178 + -174)*10/(-8). Suppose 3 = -p + 1. Put 2, p, r, -3 in descending order.
2, p, -3, r
Suppose 2*j + l = 69, j - 5*l - 180 = -4*j. Suppose 0 = -w - 6*w + j. Sort -4, w, 0 in decreasing order.
w, 0, -4
Let k be 34/85*(-30)/4. Put 4, 157, 3, k in increasing order.
k, 3, 4, 157
Suppose -c + 53 = -5*y - 0*y, -2*c - 4 = 0. Let a be 6*(-180)/(-420)*14/12. Sort -3, -4, y, a in decreasing order.
a, -3, -4, y
Let l be (-5)/((-2 - -5) + -2). Let r = 185 + -81. Let u = r - 106. Sort u, 1, l in increasing order.
l, u, 1
Let s = -0.386 - -14.386. Sort s, -2/11, 4/7 in increasing order.
-2/11, 4/7, s
Suppose 15*s - 6 = 9. Let v = -43 - -46. Sort v, 6, s, 5 in increasing order.
s, v, 5, 6
Let c(p) = 5*p**2 - 2*p - 1. Let u be c(-1). Let n be (-5 - (5 - 10)*1)/4. Sort 1, n, u in decreasing order.
u, 1, n
Let v = 85/9 - 321/34. Sort v, 5, -1/5.
-1/5, v, 5
Let q be (-1057)/(-119) + -4 - 5. Put -26, q, 1/7, -0.3 in descending order.
1/7, q, -0.3, -26
Let s = -182 - -183. Put -3, -9, -1, s in descending order.
s, -1, -3, -9
Let v = -493 + 492. Suppose -3*r = -i + 4, -4*i + 0*r = -4*r. Put i, v, 2 in increasing order.
i, v, 2
Let t = -1513 + 1528. Sort 5, t, -4, -2 in decreasing order.
t, 5, -2, -4
Let 