Sort f, -2, u in descending order.
u, f, -2
Let a = 50 + -49.8. Put -2/9, 0, a, -2 in descending order.
a, 0, -2/9, -2
Let s = 3.43 + -0.43. Put -0.5, 0, s in increasing order.
-0.5, 0, s
Suppose 3 + 1 = 4*z. Suppose -2*f + c = -f - 10, 4*f + 5 = -5*c. Let j be ((-2)/f)/((-1)/10). Sort z, 3, j.
z, 3, j
Let n(j) = -8*j - 1 + 8*j**2 + 0*j**3 + 8 - 2*j**3 + 3*j**3. Let d be n(-9). Sort d, 1, -1 in increasing order.
d, -1, 1
Suppose 0 = -4*x, 0*a - 5*x = -4*a + 20. Suppose 0 = 5*j - a*l + 5, j - 4*l = 6*j - 4. Let c = 11 + -6. Sort 1, j, c in ascending order.
j, 1, c
Suppose -5*j - 6 = 3*k - 4*j, 2*j + 5 = k. Let a be 2/8 - k/(-4). Let z be 2 - (-57)/(-27) - a. Sort 2/5, z, -2/13.
-2/13, z, 2/5
Let c = 4.4 + 1.6. Let q = c + -8. Sort -1/5, q, -0.1.
q, -1/5, -0.1
Suppose 6*v = -b + v - 5, 2*v = -2. Put -4, 4, b in increasing order.
-4, b, 4
Let n(d) = -17*d - 123. Let l be n(-7). Let q = -1.4 - -1. Sort q, 3, l in increasing order.
l, q, 3
Let q = -0.1 - -0.1. Let k = -51 + 56. Let y = k + q. Put 2, -1/4, y in descending order.
y, 2, -1/4
Suppose -3*v + 2*v - 5*z = 5, 0 = -4*z. Let l = 5 - 3. Suppose -5 = -a + 4*c - 0*c, l*c = 2*a - 4. Put 4, a, v in decreasing order.
4, a, v
Let t = -3 + 3. Let d = t - 8. Let h = -8.3 - d. Put h, -2, 3/4 in descending order.
3/4, h, -2
Let s(m) = m - 9. Let j be s(4). Sort j, 0, 1 in descending order.
1, 0, j
Let s = 0.62 + -0.32. Sort s, -0.4, 10.
-0.4, s, 10
Let o = -26.21 - -26. Let f = -0.09 + o. Let x = -0.2 + 0.2. Put x, f, -3/5 in descending order.
x, f, -3/5
Let x be -4*((-1)/(-2))/(-1). Let b(h) = -h**2 - 6*h. Let y be b(-6). Sort -4, y, x in descending order.
x, y, -4
Let b = -29 - -21. Sort 1, 4, b, -2 in increasing order.
b, -2, 1, 4
Let f = -33 - -22. Sort 1, f, 3.
f, 1, 3
Let f be ((-6)/9)/(4/18). Put f, 6, 3 in ascending order.
f, 3, 6
Let t be 4/6*2/2. Let f = 199 - 201. Put t, -0.5, f in decreasing order.
t, -0.5, f
Let p = 0 - 4. Sort -5, p, 0, -3.
-5, p, -3, 0
Suppose l + 2 - 3 = 0. Put l, 5, 3, -5 in descending order.
5, 3, l, -5
Suppose -2*o - 13 = 3*d - 0, -4*o + 2*d = -14. Let n be ((-18)/(-90))/(o/5). Sort 5, n, -1.
-1, n, 5
Let k(v) = -2*v + 1. Suppose 4*q + 2 = -2. Let i be k(q). Suppose -i*y = -3*r + 9, -4*r + r + y - 1 = 0. Sort 2, r, -5 in increasing order.
-5, r, 2
Let p be (-2 - 0) + -2 + 4. Let t = 196 - 199. Suppose -6 - 10 = -4*w, -w + 19 = 5*j. Put p, j, t in increasing order.
t, p, j
Let a(x) = x**3 - 7*x**2 + 7*x - 4. Let f be a(6). Suppose 2 = -q + 2*o - 1, o - 3 = 0. Put f, q, -5 in increasing order.
-5, f, q
Let a = 157 + -155. Sort -2, 3, -4, a in increasing order.
-4, -2, a, 3
Let i(t) = -t**3 + 3*t**2 - 2*t + 4. Let s be i(3). Put s, 4, 5 in decreasing order.
5, 4, s
Let x = 3 - 0. Let j = x + -3. Sort 2/9, 2/13, j.
j, 2/13, 2/9
Let z = 6 + -6. Let l be (2 + -1)*-10 + -2. Let c = l + 13. Put 4, c, z in decreasing order.
4, c, z
Let q = -1 - 3. Sort 1, -2, q in descending order.
1, -2, q
Let w = -76.5 + 76. Put -5, -1.3, 1/3, w in decreasing order.
1/3, w, -1.3, -5
Suppose -l = -4*l + 36. Suppose 5*o = c - 6*c + 15, 4*c = 5*o + 3. Suppose 6*k = c*k + l. Sort k, -4, -5.
-5, -4, k
Let l(u) = -2*u - 2. Let v be l(2). Let f(t) = t**3 - 7*t**2 + 5*t + 7. Let d be f(6). Sort v, -2, d in ascending order.
v, -2, d
Suppose 7 = 5*j + t + 3*t, 2*t = 3*j + 9. Let z be j/4 + 30/(-8). Suppose -5 = 4*o + o. Put z, -5, o in ascending order.
-5, z, o
Suppose 4*s - 52 = 5*m, -5*s + 0*s + 15 = 0. Let a(h) = h**3 + 8*h**2 - h - 11. Let b be a(m). Sort b, 4, 3 in decreasing order.
4, 3, b
Let y be (-1 - 1)*12/2. Let t be 3/9 + 13/y. Let c = 86 - 84. Sort c, t, -4.
-4, t, c
Let b = -0.1 - -4.1. Put 2, -2, -0.3, b in increasing order.
-2, -0.3, 2, b
Let j = 12 + -8. Let u be 5*1/110*j. Sort 0.2, 2/5, u in decreasing order.
2/5, 0.2, u
Let g = 0.5 - 1. Let z = -1 - 0.1. Let o = z - -1. Put o, 3, g in descending order.
3, o, g
Let t = -1 + 3. Suppose -4*x + 5*g = 13, 3 - 15 = x - 3*g. Let f be 42/11 + (-12)/x. Put t, f, 1/4 in increasing order.
f, 1/4, t
Let y(m) = m**2 + 4*m - 2. Let s be y(-4). Let b be 0 - -1*(3 - 2). Put s, b, 5 in decreasing order.
5, b, s
Let h = 2086/5 - 17273/40. Let f = -795/56 - h. Put 0.4, -2, f in decreasing order.
f, 0.4, -2
Let m = -9 - -9.4. Put m, 16, -5 in decreasing order.
16, m, -5
Suppose 0 = 2*r - 0 - 10. Sort r, 0.5, -6 in increasing order.
-6, 0.5, r
Suppose 6 = 3*g - 3*z, -2*g + g + 2*z + 5 = 0. Let a be (g/(-2))/((-5)/10). Sort 2, -2, a.
-2, a, 2
Suppose -2*m - 2*m = 8. Sort 2, -4, m in increasing order.
-4, m, 2
Let g = -371/635 - 2/127. Let k = -5 - -3. Sort k, 5, g.
k, g, 5
Let g = -8 - -4. Let s = -11 - g. Let f = s - -6. Sort 1/7, f, -4 in decreasing order.
1/7, f, -4
Let x = 3 - 3. Let m = 50.1 - 50. Sort 5, m, x in ascending order.
x, m, 5
Let r(z) = z**3 - z**2 - z - 3. Let a be r(0). Put a, 5, 3 in decreasing order.
5, 3, a
Let j be 2/(-11) - (-84)/(-22). Let v = -37 + 39. Put j, -1, v in ascending order.
j, -1, v
Let y = -64 + 46. Let u be (-8)/36 + (-94)/y. Sort u, 4, -4 in increasing order.
-4, 4, u
Suppose 8 = -4*j + o, -3*j - 2*o - 1 = -6. Let r = -3 + 3. Sort j, 5, r in decreasing order.
5, r, j
Let i be (-2 - (-3)/2) + 0. Let o = -53/4 - -13. Let t = -3 - 1. Put t, o, i in descending order.
o, i, t
Let p = -169 - -168.9. Let i = 0.2 - 0.4. Let k = i + -0.2. Sort p, k, -4 in decreasing order.
p, k, -4
Suppose 6*z - 1 = -13. Sort z, 1/12, -1, 4 in descending order.
4, 1/12, -1, z
Let z(f) = 2*f - 2. Let k be z(3). Suppose 5*v + 8 + k = 4*d, -4*d - 24 = 4*v. Sort v, -5, 4 in decreasing order.
4, v, -5
Let l = -9.7 + 10. Sort -1, -3, l.
-3, -1, l
Let v be 5/(-30) + (-13)/(-6). Suppose 5*i + 5*g = 20, -16 = -5*i + i - 5*g. Let l be (-9)/4 - 1/(-4). Sort i, l, v in increasing order.
l, v, i
Let p = 0.5 + 0. Let w = 4 - 2. Let f = 3 - w. Put f, 4, p in decreasing order.
4, f, p
Let a be (1/2)/((-2)/(-4)). Let s(c) = -c**3 + 3*c**2 - c + 3. Let h be s(3). Suppose h*o = 4*o + 4*t + 8, -13 = 5*o + 4*t. Sort o, a, 0 in descending order.
a, 0, o
Let j be (-19)/(-7) + (-2)/(-7). Let d(i) = -159 + i + 2*i - 4*i + 161. Let g be d(j). Sort -3, g, 2 in descending order.
2, g, -3
Let g = -0.34 - -0.04. Let b = -130 - -130.3. Sort -4, g, b in ascending order.
-4, g, b
Let x(d) = d**3 + 2*d**2 - 9*d - 6. Let q be x(-4). Sort -5, -4, 0, q in decreasing order.
0, q, -4, -5
Let p = -2 - -2.4. Let d = 5 + -4.8. Let q(b) = -2*b. Let x be q(-2). Sort d, p, x in ascending order.
d, p, x
Let l(z) = z**3 + 5*z**2 + 2*z + 2. Let k be l(-5). Put 3, -3, k in increasing order.
k, -3, 3
Let q = 21/4 - 19/4. Let s = 17 - 13. Sort -5, q, s in descending order.
s, q, -5
Suppose 207*h - 196*h = -33. Let p be (-1)/(0 - 1)*7. Sort h, -2, p in descending order.
p, -2, h
Let c = -0.4 + 0.2. Sort 4, c, -5/2.
-5/2, c, 4
Suppose 0 = -3*d + 6*d + 3. Let g = -7 - -11. Put -2, g, d in increasing order.
-2, d, g
Suppose 0 = 2*b - 3*z - 5, 0 = -3*b - 4*z + 22 - 6. Sort 2/7, b, 0.3.
2/7, 0.3, b
Let y(m) = m**2 + 12*m + 5. Let q be y(-12). Put 0, -3, q in descending order.
q, 0, -3
Suppose -y - 15 = 2*y - 2*o, 4*y = -2*o - 20. Put -4, y, 2, -3 in descending order.
2, -3, -4, y
Let m = 132 - 397/3. Sort -2, m, 2/7 in increasing order.
-2, m, 2/7
Suppose 5*l + 13 = 3*t, 2*t - 3*t = -4*l - 16. Sort 5, 3, l in decreasing order.
5, 3, l
Let o = -4.9 - -11.6. Let g = o + -0.7. Sort g, -5, 3 in increasing order.
-5, 3, g
Suppose -w + 0*b - 4*b + 10 = 0, -25 = -5*b. Sort 4, w, 3, -1.
w, -1, 3, 4
Let b(g) = g**3 - 15*g**2 - 100*g - 5. Let l be b(20). Suppose 0 = -o + 5*o. Sort 5, o, l in decreasing order.
5, o, l
Let v be (0 - 1)*-1*5. Let y(p) = -p**3 - p**2 + p. Let m be 2/(-3)*6/4. Let r be y(m). Sort 3, r, v.
r, 3, v
Suppose -3*q + 3 - 12 = 0. Put -2, 4, 0, q in ascending order.
q, -2, 0, 4
Let i be 2 - (8 - 3) - 3. Suppose -4*c - 5*t = -0*t - 8, -3*c = -2*t - 6. Let q be (10/15)/(c/i). Sort q, 3, 1 in ascending order.
q, 1, 3
Let y(c) = -3*c**2 - 2*c + 1. Let o be y(1). Let w be 3/(2/o*2). Let h be (w + (-2 - -3))/7. Sort 1/7, -2/3, h in descending order.
1/7, h, -2/3
Let l = 31 - 29. Sort 4, l, -1 in decreasing order.
4, l, -1
Suppose 4 = -0*b - 4*b. Let s be 3/((81/(-42))/(-9)). Suppose s = 4*v - 6. Put v, -5, b in descending order.
v, b, -5
Let g = 134 + -134.2. Put g, 0.3, -3/2, 3 in de