3/8 in descending order.
f, h, 3/8
Suppose 0*b - 4*b = 16. Put 1, 5, b in descending order.
5, 1, b
Suppose 3*u = -2*a + 23, 0 = 3*a - 5 + 2. Suppose 5*n - u + 32 = 0. Sort 6, n, 0 in descending order.
6, 0, n
Let w = 108 - 107.6. Let q = 0.1 - 0.1. Sort q, 2/17, w in increasing order.
q, 2/17, w
Let x = 0.269 + 0.031. Sort x, -5, 0 in decreasing order.
x, 0, -5
Let g = 151 + -457/3. Sort -1, 2/15, g.
g, -1, 2/15
Let g(m) = -3*m + 16. Let w be g(3). Sort w, 1, -4 in increasing order.
-4, 1, w
Let w be 14/6 - (-9)/(-27). Suppose -o - 3 = -w. Put 8, o, 2 in decreasing order.
8, 2, o
Let g be 4/(-14) - (-156)/(-42). Sort 5, g, -5 in ascending order.
-5, g, 5
Let m(w) = w**2 - 6*w. Let f be m(6). Suppose -2*h = -f - 8. Suppose h*k - 3*b + b = 10, k - 4*b = -1. Put 4, 2, k in decreasing order.
4, k, 2
Let q(k) = 4*k - 9. Let u be q(6). Let o be 1/(-5) - (-48)/u. Suppose -22 - o = -5*t. Sort 4, t, 2 in decreasing order.
t, 4, 2
Let q = 44 + -39.04. Let f = -0.04 - q. Sort 0, f, -1/5 in ascending order.
f, -1/5, 0
Let l = 3 + -7. Sort 3, l, 1 in descending order.
3, 1, l
Let h be (35/20)/(3/(-12)). Let o = -6 - h. Let y be 4/(-6)*-3 + 0. Sort -3, y, o.
-3, o, y
Suppose 0 = -4*a + 1 - 5. Sort 6, a, 0.2 in ascending order.
a, 0.2, 6
Let c = 0.1 - -0.1. Suppose u + 4*l = l + 140, 4*l = 12. Let v = 1571/12 - u. Put c, v, -1/4 in decreasing order.
c, v, -1/4
Suppose -3*k + i + 4*i - 11 = 0, -5*i + 5 = -5*k. Let f(w) = -3*w - 2. Let n be f(-3). Let m(r) = r - 8. Let v be m(n). Sort -3, v, k in increasing order.
-3, v, k
Let m = -19 + 23. Put -4, 1/6, m, -1/9 in increasing order.
-4, -1/9, 1/6, m
Let q be (8 - 4)/(-4) - 0/1. Put -3, q, -5, -33 in ascending order.
-33, -5, -3, q
Let z = -56 - -56. Put 4, 2, z in increasing order.
z, 2, 4
Let m(c) = c**2 - 14*c - 42. Let h be m(17). Sort -3, -5, h.
-5, -3, h
Let w = -10/19 + 166/171. Let x = -1 - -4. Put x, -1/4, w in ascending order.
-1/4, w, x
Let p be (-2 + 2)/(2 + -1). Let g be (p + (2 - 0))*-1. Let w be -5 + (-4 - -3) - -3. Sort 5, g, w in increasing order.
w, g, 5
Suppose -22*v - 6 = -24*v. Put v, -4, -2, 9 in ascending order.
-4, -2, v, 9
Let l = -3 + 3.5. Let m = 0.31 + -0.11. Put l, m, -4 in increasing order.
-4, m, l
Let i be 2/(-4)*(-4)/(-11). Put 6, i, -3 in decreasing order.
6, i, -3
Let r = -1 + 0.9. Let t = r + -3.9. Let o = 641 + -5129/8. Put o, 2, t in decreasing order.
2, o, t
Let q(z) = z - 5. Let t be q(5). Put t, 1, 3 in decreasing order.
3, 1, t
Suppose 5*t - 2*t - 9 = 0. Suppose t*z - 3 = 12. Suppose 5*x = 4*y + 12, -3*x + 5 - 3 = -5*y. Put y, z, 3 in increasing order.
y, 3, z
Let u = -85 + 82. Let v = -0.04 + -0.36. Put u, v, 0 in decreasing order.
0, v, u
Let z(w) = -7*w - 14. Let t(d) = -6*d - 13. Let f(b) = -6*t(b) + 5*z(b). Let h be f(-6). Sort -2, h, -1 in descending order.
h, -1, -2
Let d(k) = -k**2 - 6*k + 2. Let z be d(-8). Let p = 10 + z. Sort p, 5, -2 in descending order.
5, -2, p
Let p = -1.9 - -1.4. Sort p, -1/6, 0.4.
p, -1/6, 0.4
Let f(c) = -2*c**2 + 17*c + 32. Let y be f(10). Put -20, y, 5, -2 in decreasing order.
5, y, -2, -20
Let u = 8 + -13. Let c = 22.6 - 18. Let x = c + u. Put 3/4, -0.5, x in ascending order.
-0.5, x, 3/4
Let w = -1.71 - -1.31. Sort -0.2, 9, w in decreasing order.
9, -0.2, w
Let i be 30/108 + (-2)/4. Let y = -0.3 + 1.3. Sort i, y, -1 in decreasing order.
y, i, -1
Let i = 23.8 + -21. Let d = i - 3. Let v be (1 - 3)*(-6 - (-124)/20). Put -0.5, d, v in increasing order.
-0.5, v, d
Suppose 4*d + 0 = -8. Sort 0, d, 4.
d, 0, 4
Let y(f) = f**3 - f**2 + f + 5. Let a be y(0). Let v(d) = -4*d**3 + 2*d**2 - d. Let z be v(1). Let k = 4 + -6. Sort a, z, k.
z, k, a
Suppose 0*b - i = b - 8, 0 = -4*b - 2*i + 24. Suppose -4*r - 5 = -9. Put r, b, -5 in descending order.
b, r, -5
Let c = 5 - 4. Let l = 3.82 + 0.18. Let h = 3.4 + -3. Sort c, h, l in increasing order.
h, c, l
Let x be 64/(-112) - (-388)/630. Put 5, -0.5, x in increasing order.
-0.5, x, 5
Let c(a) = a**2 + 1. Let f be c(2). Suppose 5*i - 20 = -3*y + y, -5*i - 3*y + 20 = 0. Suppose x = 3*b + i, 0*b = -x + b. Sort x, f, 3.
x, 3, f
Let s = -5 + 3. Let q = 1.1 - 1. Let c = q - 1.1. Sort 4, s, c.
s, c, 4
Let c = -0.29 - -0.29. Let i = 3.1 + -3. Sort i, -2, c in descending order.
i, c, -2
Let c = -25 - -51/2. Let k = 0.3 - 0.3. Sort c, -1/5, k.
-1/5, k, c
Let i = 16 - 13. Sort -0.02, 5, i in descending order.
5, i, -0.02
Let x be (-2)/(-5) - (-18)/5. Suppose -x*f = 4 - 0. Sort f, -3, 4.
-3, f, 4
Suppose -5*o + 4*o + 5*w = 0, 0 = -5*o + 3*w. Suppose -3*q + 15 = -o*q. Sort -2, -5, q in ascending order.
-5, -2, q
Let m = 1/19 + -41/57. Sort 5, 0, m in descending order.
5, 0, m
Let w be 5/2*(-12)/(-10). Suppose w*y + 6 = y. Let u be (-2)/5 - 44/(-10). Put u, -4, y in descending order.
u, y, -4
Let f = -0.9 - -5.9. Let r = -122/3 - -41. Let z = 10.2 + -10. Sort f, z, r in ascending order.
z, r, f
Let j(f) = -f**3 + 6*f**2 - f + 4. Suppose 24 + 12 = 5*z - 3*c, 0 = 4*z + c - 22. Let q be j(z). Let s be (0 - -1)*q/(-10). Put 2/9, s, -1/5 in ascending order.
-1/5, s, 2/9
Let j(a) = -a**3 + 5*a**2 + 2*a - 5. Let m be j(5). Suppose -4*i = -3*h - 5, -i - h = i - m. Put 5, -4, i in decreasing order.
5, i, -4
Let g = -0.08 + -0.42. Let q = 7 + -2. Let z = q - 5.4. Sort z, -3/2, g in increasing order.
-3/2, g, z
Let r = -74 + 70. Put 12, 3, r, -2 in descending order.
12, 3, -2, r
Let c(f) = -f**3 + 8*f**2 + 3*f - 22. Let h be c(8). Suppose 0 = 3*o - 5*o. Sort o, h, -6 in ascending order.
-6, o, h
Let c be ((-5)/(-2) + -2)*0. Suppose 0 = -4*o - c*o - 16. Sort o, 4, 3 in decreasing order.
4, 3, o
Let x be (1 - 3)/(0 + -1 + -1). Let c = -10/3 + 113/33. Put x, c, 0.5 in descending order.
x, 0.5, c
Let n = -13 + 18. Sort n, -2, 0 in ascending order.
-2, 0, n
Let p = -5.6 + 6.1. Put 0.4, p, -0.3, 0.1 in increasing order.
-0.3, 0.1, 0.4, p
Let x = -185 - -181. Sort -7, x, 4.
-7, x, 4
Let n(p) = p - 2*p + p**2 - 3*p + 5*p**3 + 2*p + 1. Let v be n(1). Put v, -5, 1 in increasing order.
-5, 1, v
Let z be (-6)/4 + 90/(-12) + 6. Sort 3, 1, z in decreasing order.
3, 1, z
Suppose -2 = -2*b - 10. Let g = 101 - 199/2. Sort g, b, -2/11 in ascending order.
b, -2/11, g
Let r(j) = j**2 - 5*j - 2. Let k be r(6). Suppose -4*n + 3*o + 2*o = 13, -3*n + k*o - 10 = 0. Sort -3, -5, n in descending order.
n, -3, -5
Let k(n) = -n**3 - 3*n**2 - 2*n + 2. Let p be k(-2). Sort 5, p, 1.
1, p, 5
Let a be (22/(-6))/((-2)/(-6)). Let f = a + 16. Put -1, 2, f in decreasing order.
f, 2, -1
Let n = -0.25 + 0.55. Sort -2, n, 1/3 in ascending order.
-2, n, 1/3
Let s be 4*-3*(-2)/(-6). Sort 10, 4, s in ascending order.
s, 4, 10
Let w = 6 + -20/3. Put w, -0.2, -1 in ascending order.
-1, w, -0.2
Let k = 0.53 + -0.03. Let t = 0.2 - k. Sort 2, -0.5, t.
-0.5, t, 2
Let c = -8 + 3. Let v(f) = f. Let g be v(2). Suppose d = g*d - 3. Put 4, c, d in decreasing order.
4, d, c
Suppose 2*w - 11 = -z, z - 3*z = -3*w - 1. Let d = 1 + -3. Sort z, 4, d in descending order.
z, 4, d
Let c(f) = -f + 2. Let q be c(11). Let w = -5 - q. Suppose 2*l = w*l + 6. Sort 5, l, 2.
l, 2, 5
Let b = 8.8 - -1.2. Let v = 8 - b. Put -0.2, v, 3 in decreasing order.
3, -0.2, v
Suppose 4*f = f - 3*v + 3, -3*v - 7 = -2*f. Put 5, -5, f in ascending order.
-5, f, 5
Let w be 18*(-3)/18*-3. Suppose 0 = -y - 2*y + w. Suppose -2*s + 10 = -4*k, -2 - y = 5*s. Sort 4, k, 5 in ascending order.
k, 4, 5
Suppose 5*b - 20 = b. Let h = -161 - -161.4. Sort h, 0, b in decreasing order.
b, h, 0
Suppose r = -6 + 2, 3*a + 3*r + 27 = 0. Let n = 16 - 6. Let j = n - 11. Put 0, a, j in descending order.
0, j, a
Let r(s) = -s - 8. Let m be r(-6). Sort -0.4, 4/3, m in ascending order.
m, -0.4, 4/3
Let l = 3 + -2.8. Let m = -0.4 + l. Suppose -177 = -6*a - 165. Sort 5/4, m, a.
m, 5/4, a
Let n = 149 - 92. Sort -2, 4, n in increasing order.
-2, 4, n
Suppose -5*l + x = -3*l - 10, -5*l - 5*x = -10. Let w = 6 - l. Let s be -3*(w + -1)*-1. Put s, 0, -3 in descending order.
s, 0, -3
Let b(i) = i**2 - 11*i + 6. Let o be b(11). Suppose -q = -o*q - 15. Put 0, -1, q in descending order.
0, -1, q
Let j = -1 + 2. Suppose -47*k = -56*k - 9. Sort -2, j, k in ascending order.
-2, k, j
Let h be -5*18/(-15) + -2. Suppose -i = -h*i - 15. Sort 2, -3, i.
i, -3, 2
Let h = 4 - 2. Let t = -9.1 - -9. Let i = t + -0.3. Sort h, i, 0 in descending order.
h, 0, 