 = h. Sort 4, z, k in ascending order.
k, 4, z
Let z(g) = g - 10. Let r be z(13). Sort -5, r, 2 in descending order.
r, 2, -5
Let o be (2/(-4))/((-2)/(-1)). Put 0, 5, o in increasing order.
o, 0, 5
Let l(z) = -z**3 + z**2 + z. Let h be l(-2). Suppose 5*b = 10, 3*m + 3*b = 7*m + h. Let i = -4 - m. Put 3, i, 1 in increasing order.
i, 1, 3
Let m = -40.3 - -40. Let g = -0.8 - -1. Let q = m + g. Sort -1, q, 1 in ascending order.
-1, q, 1
Suppose 5*p - 5 = -0*p. Let g = -129 + 2191/17. Sort g, -2/13, p in increasing order.
-2/13, g, p
Let g = 3.32 - -0.48. Let n = 4 - g. Let q = 0 + -2. Put q, n, -5 in increasing order.
-5, q, n
Suppose 4*z - 4*z = 3*z. Put z, 2, -3, 11 in decreasing order.
11, 2, z, -3
Let k = -18 + 11. Let b = k - -7.7. Let m = b - -0.3. Put m, 0, -5 in increasing order.
-5, 0, m
Let x = 62 + -804/13. Put 2, -1, 4, x in descending order.
4, 2, x, -1
Let g be 1 + -1 + 6/(-16). Suppose -5*x + 4 = -4*d + 2, -5*d - 4*x - 23 = 0. Sort -1, g, d in descending order.
g, -1, d
Let b be (-6)/(-3) + 7*3. Suppose -t - 4 = 2*l + 3, 5*t + b = -4*l. Let g be t/9*(2 + 1). Sort 5, -4, g.
-4, g, 5
Let f be (1 + 2)/(6*(-4)/16). Put -1, 0.5, f, 0.7 in ascending order.
f, -1, 0.5, 0.7
Suppose -6 = -4*u + 5*p, -3*p = 2*u - 0*p - 14. Sort 0, u, 3.
0, 3, u
Suppose -11 = -z - 4*y + 5, -2*z = 4*y - 16. Put z, -3, 4 in increasing order.
-3, z, 4
Let o be ((-9)/4)/(1/4). Let v be 309/o + (1 - 1). Let b = v + 34. Sort b, -0.5, 2 in decreasing order.
2, b, -0.5
Let q = -0.34 - 0.06. Sort -1/4, q, -3.
-3, q, -1/4
Let d = 1 - 0.76. Let a = -0.16 + d. Put 2, a, -0.2 in descending order.
2, a, -0.2
Let t = 0.64 - 0.14. Let s = -5.09 - -0.09. Sort -0.3, s, t in increasing order.
s, -0.3, t
Let b = -1 - -3. Sort b, -0.1, 0.2 in descending order.
b, 0.2, -0.1
Suppose 0 = 3*l - 4*w + 1, -16 = 2*l + 5*w. Suppose 0 = 2*y - 4*h - 0*h - 20, y = 3*h + 15. Suppose -5*x + 13 + 12 = 0. Sort y, x, l in decreasing order.
x, y, l
Let v(i) = i**2 - 3*i - 7. Let q be v(-2). Sort 12, q, -5.
-5, q, 12
Let l = -4.6 + 5. Let n = 0.03 + -11.03. Let s = n + 14. Put 5, s, l in descending order.
5, s, l
Let f = -1 - 0. Let y be f + 0 - 0 - -1. Let q = 2 + y. Sort q, -3, -2.
-3, -2, q
Suppose 2*v - 32 + 42 = 0. Sort v, -1, -4, 2 in ascending order.
v, -4, -1, 2
Let d = -0.22 + -10.78. Let n = d + 16. Let x = 3.2 - 3. Sort x, -1/2, n.
-1/2, x, n
Suppose 5*w + 10 - 35 = -3*v, 15 = 3*w + 3*v. Sort w, -2/7, 2/7, 0.5.
-2/7, 2/7, 0.5, w
Let x = -402382/223179 + -1/13526. Let k = x + 29/11. Sort k, -1, 1/7.
-1, 1/7, k
Suppose -4*x + 8 + 4 = 0. Let p = 0 + 1. Put x, p, 4 in ascending order.
p, x, 4
Let c = -10.2 - -10. Sort -4, c, -2/9.
-4, -2/9, c
Let f be -4 + (-93)/(-12) + -4. Suppose -3*y = 2*n - 10, n + 5*y - 14 = -n. Sort f, 1/2, n in ascending order.
f, 1/2, n
Let w be 6/(-15) - 23/5. Let h = w - -22/5. Let v = 4 - 0. Put v, h, 0.5 in descending order.
v, 0.5, h
Let v = 7/10 - -4/5. Sort -0.3, v, -0.2 in decreasing order.
v, -0.2, -0.3
Suppose 3*n - 3 = -12. Let c be -2 - 4*(2 + n). Sort 8, 0, c in ascending order.
0, c, 8
Let c = -59/84 - -5/12. Put -3, c, 5/3 in increasing order.
-3, c, 5/3
Let h = 16 + -19. Put 11, h, 5 in descending order.
11, 5, h
Let d = -1/42 - -47/210. Sort 4, -2, d.
-2, d, 4
Let s = -1 + 0.9. Let c = -8 + 8. Let w = -20/3 + 7. Sort s, c, w in descending order.
w, c, s
Let y = 0.3 + -0.25. Let u = y - -5.95. Let f be (-3)/(-4)*(13 + -15). Put u, f, -0.2 in descending order.
u, -0.2, f
Suppose -2 = -2*j, -4*f + 0*f - 21 = -j. Let c(d) = -2*d - 2. Let n be c(-3). Suppose -3 = o - n. Put o, -1, f in decreasing order.
o, -1, f
Let u be 16/10 - (-4)/(-20)*-2. Sort -1, 8, u.
-1, u, 8
Let r = -17 - -17. Sort 4, 1, r in decreasing order.
4, 1, r
Let u(c) = c - 3. Let g be u(3). Let j(r) = r**2 - 27*r - 2. Let w be j(27). Sort 1, w, g in increasing order.
w, g, 1
Let p(n) = n - 1. Let b be p(-4). Suppose -t - 1 = 1. Sort t, 5, b in descending order.
5, t, b
Let t = 6 + -10. Suppose 61 - 9 = 26*x. Put x, 4, t in descending order.
4, x, t
Suppose 8 = d - 0. Let a be (3/(-2))/(15/d). Put -2/7, a, -0.5 in increasing order.
a, -0.5, -2/7
Let x = -3.93 - 0.07. Sort 0, -0.2, x.
x, -0.2, 0
Let c = 215/66 - -9/22. Let a = c + -41/12. Put 0.1, -2/3, a in decreasing order.
a, 0.1, -2/3
Let q(d) = d + 2. Let x be q(7). Suppose 4*o = -8, 4 + 19 = 3*r - 4*o. Suppose -16 = r*w + x. Sort -2, w, -3 in decreasing order.
-2, -3, w
Suppose -5*c + 3*x - 2 = 4*x, 10 = 3*c - 5*x. Suppose 3*z - 3*h = -15, -z - 2*h + 1 = -h. Sort z, c, 5 in increasing order.
z, c, 5
Let u be 4/(-10) + 27/5. Let z(a) = -a**2 + 6*a + 3. Let b be z(4). Suppose -b - 4 = 5*d + 5*n, -2*d - 4*n - 16 = 0. Sort d, u, -4 in descending order.
u, d, -4
Let t be (12/(-10))/(14/35). Sort t, 1, 8 in decreasing order.
8, 1, t
Let i(c) = 4*c + 5 - 3*c - 1 + 2. Let j be i(-8). Put j, 1, 5 in descending order.
5, 1, j
Suppose 0 = 4*b - 3*b. Let g = 2 - b. Sort g, -1, -3.
-3, -1, g
Let w = -2.17 + -0.03. Let x = w - -0.2. Let d = -31 + 28. Sort -0.5, x, d in descending order.
-0.5, x, d
Let o be 4/(-6)*1*-6. Let d be (-232)/(-72) - o/18. Sort 4, d, 1 in decreasing order.
4, d, 1
Let d = -49 - -70. Let y = 20 - d. Sort 6, -2, y.
-2, y, 6
Suppose 30 = 5*o + 5*d, 0*d + 4*d = 4*o - 16. Suppose o*x + 2*h = -17, -8 + 2 = 2*x + h. Let v = -2 - x. Put -4, 1, v in descending order.
v, 1, -4
Let p be 0/(-5 - -2 - -2). Let q(x) = -x**3 + x. Let o be q(1). Suppose -1 = -5*j - 6, o = 3*m - 2*j + 13. Sort -3, m, p.
m, -3, p
Let i = 14639/280 + 29/56. Let l = 53 - i. Sort -0.5, 0.4, l.
-0.5, l, 0.4
Let b(u) = -u**2 + u + 1. Let n be b(0). Suppose n = -4*o + 3*o. Let a = -2 + 3. Sort o, 5, a in increasing order.
o, a, 5
Let c = 6 - 10. Suppose -28*a + 29*a + 1 = 0. Sort c, -2/13, a.
c, a, -2/13
Suppose d = 3 - 8. Let u be 4/(-2)*15/(-6). Suppose 14 - 34 = 5*q. Sort q, d, u in increasing order.
d, q, u
Let c(m) = m + 2. Suppose r - 4*r + k = 20, 4*r = k - 27. Let v be c(r). Let o = 10 + v. Sort o, 0.4, -2 in decreasing order.
o, 0.4, -2
Let u = 4.88 + 0.12. Let k = 2 - u. Sort 4, -5, k.
-5, k, 4
Let q be 6/(-4) + (-1)/(-1). Let g = -47 - -51. Put g, q, 0.2 in descending order.
g, 0.2, q
Let d = 0.2 - 0.6. Let z = -3.72 + 0.72. Put z, 0.4, d in decreasing order.
0.4, d, z
Let x be ((-15)/20)/(1/4). Sort 1, x, -2 in ascending order.
x, -2, 1
Suppose 6*k = 3*k + 12. Suppose 0 = 2*q - k*q + 6. Let p = 1 - 2. Sort -3, q, p in ascending order.
-3, p, q
Let b = 4.3 - 17.3. Put 5, -1/5, b in decreasing order.
5, -1/5, b
Let a = 2.3 + 1.7. Put a, 1/4, 0.4 in decreasing order.
a, 0.4, 1/4
Let j = 0.94 + 0.06. Let o = 6 + -11. Sort o, j, 0.1 in decreasing order.
j, 0.1, o
Let a be (-2981)/77 - 2/7. Let y be a/15 + (-4 - -7). Let t = 4 + -8. Sort 1/3, t, y in ascending order.
t, 1/3, y
Let x = 5 - 4.4. Let v = 0.4 + x. Let q = v + -1.2. Put q, -2/13, 0.1 in increasing order.
q, -2/13, 0.1
Let n = 20 - 25. Suppose -3*v + 3 = 4*k, 2*k - 5*v = 6*k - 5. Let b = k + -4. Put b, 0.4, n in descending order.
0.4, b, n
Let h = 0.5 - 0.8. Let y = 1.17 + -0.17. Sort y, h, 0.4 in descending order.
y, 0.4, h
Suppose 0 = -2*b + 3*l + 14, 2*b - 24 = 4*l - 6. Let q(v) = -v + 7. Let w be q(7). Let k = 3 - 2.5. Put w, k, b in descending order.
b, k, w
Let f = -14 - -12. Sort -0.4, f, -0.5, 2 in decreasing order.
2, -0.4, -0.5, f
Let p = -6 - 0. Let u be ((-28)/(-273))/(4/p). Let q = 0.01 + -4.01. Sort -2/5, q, u in decreasing order.
u, -2/5, q
Suppose -4*a = 4*z - 4, -5*a + 0 + 5 = 2*z. Let c = -12 - -7. Put c, z, 0.2 in decreasing order.
0.2, z, c
Let h = 6 - 0. Sort -1, h, -5 in descending order.
h, -1, -5
Suppose 2*w = 4*j + 23 - 3, 2*w = 3*j + 16. Let t(k) = -k**2 - 4*k + 4. Let p be t(-4). Let i = 2 - 3. Put i, j, p in ascending order.
j, i, p
Let j = -11 - -13. Put -2, -3, j in increasing order.
-3, -2, j
Let k be ((-3)/(-12))/((-28)/(-32)). Let o = 0 - -3. Put k, 2, o in ascending order.
k, 2, o
Let z(w) = 2*w + 15. Let y be z(-9). Sort -1, y, -5 in descending order.
-1, y, -5
Let t(y) = y. Suppose -o = 5*j - 0*o - 24, 4*j - 5*o = 25. Let i be t(j). Suppose 5*x + 0*s - 15 = -i*s, 3*s = -4*x + 11. Put x, -1, 4 in decreasing order.
4, x, -1
Let r = -11.5 + 12. Let c = 10 + -12. Sort c, r, -0.1 in descending order.
r, -0.1, c
Let x = -2.04 + 0.04. Let p = -7.84 + 8. Let d =