-2
Suppose 5*h + 3 = -2. Put h, 0, -2/11 in increasing order.
h, -2/11, 0
Let r = -0.17 + -0.13. Let c = 0 - r. Put 1/2, -0.3, c in ascending order.
-0.3, c, 1/2
Suppose -3*d + 3 = -3. Suppose -o - d + 13 = 0. Suppose -5*r + t - o + 2 = 0, -5*t = 4*r + 13. Put -4, r, 1 in decreasing order.
1, r, -4
Let b = -0.195 - -0.095. Let k = -0.2 + 0.4. Sort b, k, -1.
-1, b, k
Let p = 6 - 3. Sort -3, -7, p in increasing order.
-7, -3, p
Let w(x) = -x**2 + 4*x + 7. Let r be w(6). Suppose h + 0*h = 3*h. Sort -2, r, h in increasing order.
r, -2, h
Suppose 2*y + 2*m = m, 0 = 2*y + 5*m - 8. Sort 2/9, y, 7 in increasing order.
y, 2/9, 7
Suppose -6*u = -3*u + 36. Put -3, u, 1 in decreasing order.
1, -3, u
Suppose 0*s + 2*s = 5*r + 29, -4*r - 18 = s. Put 2, r, -6 in decreasing order.
2, r, -6
Suppose 0 = 2*k - 6 + 4. Put 2, 5, k in ascending order.
k, 2, 5
Let n = -0.07 + -0.93. Let y = 4 - 0. Suppose -12 = -3*f - y*w, 0*w - 15 = -2*f - 5*w. Put n, -3/8, f in ascending order.
n, -3/8, f
Let p be 105/(-33) + (-26)/(-22) + -1. Sort 4, 1, p, -1 in ascending order.
p, -1, 1, 4
Let d(j) = -j**3 + 3*j**2 - 2*j + 3. Let u be d(3). Let g be 0 + (6/(-1) - u). Sort -5, g, -1.
-5, g, -1
Suppose 0 = 5*c + 5*y + 20, 4*c + 4 = -3*y - 12. Let w be 8/36 - (-52)/9. Let o = -11 + w. Put o, 2, c in increasing order.
o, c, 2
Suppose -q - 3*q - 5*t = -40, -5*t = -4*q. Let v be 0/(4*2/4). Sort q, v, 1 in ascending order.
v, 1, q
Let u = -4.5 + 5. Sort -1, -4, u in ascending order.
-4, -1, u
Let z(p) = p**3 + 4*p**2 - 5*p - 2. Let t be z(-5). Let s be 4/(-14) - (-9)/105. Put t, 2/5, s in increasing order.
t, s, 2/5
Suppose 0 = 5*y - 9 - 6. Suppose 2*l = 6*l + 20. Sort y, 5, l in increasing order.
l, y, 5
Let m be 6/24 + 35/4. Let q = -0.3 + 0.7. Sort q, m, -2 in descending order.
m, q, -2
Let h = 19.5 + -19.7. Sort h, -5, 1.
-5, h, 1
Let k be 9 + -8 + -2*2. Put -0.4, k, 4 in decreasing order.
4, -0.4, k
Let t = 1 - -3. Put t, -4, 5 in descending order.
5, t, -4
Let r(n) = 3*n + 3. Let t(o) = -o**2 + 7*o - 2. Let i be t(7). Let j be r(i). Suppose 20 = 7*v - 2*v. Sort -5, j, v in descending order.
v, j, -5
Let r = 3 + -5. Let k(o) = o**3 - 5*o**2 - 5. Let x be k(5). Put 0, x, r in increasing order.
x, r, 0
Let u = 27/88 + -2/11. Sort -5/3, u, 0.2 in increasing order.
-5/3, u, 0.2
Let c = 9.2 + -6.2. Sort -2/17, c, -6/5 in increasing order.
-6/5, -2/17, c
Let m = 27.2 + -27. Put 7, -2, -4, m in descending order.
7, m, -2, -4
Let f = 7 + -1. Let k be -2 + (f - (2 - -1)). Sort -5, 0, k in ascending order.
-5, 0, k
Let j(b) = -9 + 2*b**2 + 2*b**2 - 11*b + 5*b**2 + b**3. Suppose 5*k + 0*k + 50 = s, -3*k - 30 = 5*s. Let m be j(k). Sort 3, 5, m.
m, 3, 5
Suppose s + 5 = 2*s. Let x = -10 + 8. Suppose 5*p = -5*u - 15, -u + 15 = -5*u - 5*p. Sort x, u, s in descending order.
s, u, x
Suppose -h - 1 = 3. Let m = -2 - h. Suppose -y + 5*j - 4 = m*y, 3*y = -j - 10. Put 4, 3, y in increasing order.
y, 3, 4
Let a = 0.01 - -0.13. Let i = -0.36 - a. Put 2, 5, i in ascending order.
i, 2, 5
Let t(c) = -c**3 - 14*c**2 - 14*c - 11. Let z be t(-13). Suppose -3*q - 5 = -z*q. Let w(n) = -n - 3. Let h be w(-5). Sort q, 0.3, h.
q, 0.3, h
Suppose -x + 2 + 0 = 0. Suppose l = x*l - 5. Put 4, 0, l in ascending order.
0, 4, l
Let r be (-7)/(-2) + 1/(-2). Let w(g) = -2*g + 7. Let j be w(6). Put 1, r, j in increasing order.
j, 1, r
Let n be ((-3)/4)/((-12)/32). Sort 0, -3, n.
-3, 0, n
Suppose -3*n + 7*n - 16 = 0. Let f = 0.7 + -0.3. Let z = f + 0.1. Sort 2, z, n.
z, 2, n
Let a be 2 + -2 + (-45)/5. Let z = a + 13. Put z, -3, 2 in descending order.
z, 2, -3
Let l = -14 - -11. Sort l, 4/3, 2 in ascending order.
l, 4/3, 2
Let u(w) = -w**2 - 1. Let l be u(-2). Let j = 0 - 0. Sort j, l, -3 in decreasing order.
j, -3, l
Let g = 25 + -25. Sort g, 5, 3 in decreasing order.
5, 3, g
Let l = -19 + -35. Let n be (-4)/(-10) + l/(-15). Sort -3, -4, n.
-4, -3, n
Let o be 7/72 - 9/(-72). Sort 1.5, 3, o in increasing order.
o, 1.5, 3
Let w = 22 + -23. Put w, 0, 3/4 in decreasing order.
3/4, 0, w
Let v be 0 + (-4)/(-6)*-3. Put 2, -1, v, -3 in decreasing order.
2, -1, v, -3
Suppose 12 + 8 = 5*g. Sort g, 3, 5, -5 in increasing order.
-5, 3, g, 5
Let m = -15 + 9.5. Let a = 6 + m. Let j = -0.3 + 0.3. Sort a, -1, j in increasing order.
-1, j, a
Let s = 0.37 - 0.07. Let i = s - -0.7. Let r be 10/(-8) - 6/(-12). Sort r, i, 2 in descending order.
2, i, r
Let y be 2/(-5) - (1 + 351/(-15)). Sort y, 5, -5.
-5, 5, y
Let w = 31.9 - 36. Let f = 4 + w. Let n be (-68)/(-18) + (-2)/(-9). Sort -1/7, n, f in ascending order.
-1/7, f, n
Let s be (3/(-12))/((-3)/8). Put 1/5, -2/9, s in decreasing order.
s, 1/5, -2/9
Suppose -15 = a - 2*a - 5*k, -k + 3 = -4*a. Let n = 5 - 17/3. Put -0.4, a, n in decreasing order.
a, -0.4, n
Let z = 0.5 - 0.2. Let s = -0.1 + -0.2. Let d = z + s. Put 0.1, d, 0.4 in increasing order.
d, 0.1, 0.4
Let s = 257 + -255. Suppose 3*w - 16 = -3*c - 1, 5 = c + 5*w. Put 4, c, s in decreasing order.
c, 4, s
Suppose 3 = 2*x + w - 0*w, 0 = -2*x - 3*w - 3. Let q be -2 + 1 - (-4)/2. Put -3, x, q in descending order.
x, q, -3
Suppose 3*f + 12 = -3*c, -f + 4*f - 2*c + 2 = 0. Put 4, -5, f, 0 in descending order.
4, 0, f, -5
Suppose -10 = -2*d + 4*d - g, 5*d + 25 = 4*g. Let h(l) = 4*l**2 + 2*l + l**3 + 1 + 2*l - 5*l. Let j be h(-4). Sort d, 4, j.
d, 4, j
Let t = -0.03 + 4.03. Let p = 21.5 - 21. Sort p, t, 1 in decreasing order.
t, 1, p
Let i = -0.8 + 0.4. Let d = -18 - -27. Let j = d - 11. Sort i, 1, j in decreasing order.
1, i, j
Let w = 0 + 1. Let m = -0.04 + -6.96. Let n = -12 - m. Sort n, w, 0.5.
n, 0.5, w
Let n = 184211/717332 + -3/6028. Let b = n + 1/34. Sort b, 5, 2 in decreasing order.
5, 2, b
Let z = -9 - -5. Let m be 0 + -1 - (-2)/z. Let j = 106/3 + -36. Put m, j, 0 in decreasing order.
0, j, m
Suppose 3 = 3*d, -3*s = -3*d - 2*d - 22. Let q be 1/(-3) + (-24)/s. Let t = -0.6 + 0.1. Sort t, 1/5, q in descending order.
1/5, t, q
Suppose 5*a - 33 = 7. Let w be (-17)/4 + (-6)/a. Sort w, 0, -2 in ascending order.
w, -2, 0
Let j be 125/(-30) + 4 + 0. Sort 2/3, j, 3, 2/11.
j, 2/11, 2/3, 3
Let u = -1.1 + 0.1. Sort u, -1/3, 1 in decreasing order.
1, -1/3, u
Let p(m) = -2*m - 11. Let d be p(-5). Let s(i) = i - 1. Let o be s(3). Let k = 2 - o. Sort d, k, -4.
-4, d, k
Let i = -37 - -39. Put 0.4, 8, i in decreasing order.
8, i, 0.4
Let b = -2 - -4. Let l = b - 0. Let i = 0.5 + 0.5. Sort i, l, -2 in ascending order.
-2, i, l
Let b = 2.6 - 13.6. Let p = b + 9.6. Let h = p - 0.6. Sort 0, h, -0.2 in decreasing order.
0, -0.2, h
Let s = -27.4 - -5.4. Let v = s - -24. Put -2/11, v, 1/6 in increasing order.
-2/11, 1/6, v
Let n(u) = -u**2 + 5*u + 1. Let j(b) = -b + 14. Let z be j(9). Let c be n(z). Sort 0.2, 0, c in ascending order.
0, 0.2, c
Let y(l) = l**3 - l**2 - l + 2. Let s = -6 + 8. Let w be y(s). Let r = -9 - -10. Sort w, 0, r in decreasing order.
w, r, 0
Let i = 136.6 + -137. Sort -1/3, 2/9, i in decreasing order.
2/9, -1/3, i
Let g = -0.02 - 1.98. Let v be ((-1)/5)/((-14)/1085). Let h = 159/10 - v. Sort h, g, 5 in descending order.
5, h, g
Suppose -5*q - 3*r = -0*q + 17, 3*q = r - 13. Sort q, 0, 5, -1 in ascending order.
q, -1, 0, 5
Let q(h) = h**2 + 10*h + 20. Let o be q(-8). Sort o, -4, 0.
-4, 0, o
Suppose -2*u - 3*d - 5 = 0, -4*u + 0*u - 5*d - 7 = 0. Sort -3, -2, u in decreasing order.
u, -2, -3
Let t = -3 + 7. Let f be (-2 + 0)*(3 - 1). Let v be ((0 - -2) + -2)*1. Sort f, t, v.
f, v, t
Let k(h) = h + 9. Let l be k(-13). Sort l, 3, -3 in descending order.
3, -3, l
Let u(f) = f**3 + f. Let x be u(0). Suppose x*q + 2*q = -360. Let l = 2338/13 + q. Put l, 1, 5 in increasing order.
l, 1, 5
Suppose 6 = -z + 2. Let g = 1.7 - 8.1. Let d = 6 + g. Sort d, 0.5, z in descending order.
0.5, d, z
Let y be (-11)/(-165)*3/(-1). Put -0.1, -3, y in increasing order.
-3, y, -0.1
Let m(i) = 2*i**2 + i - 11. Let u be m(3). Sort u, 2, -2 in decreasing order.
u, 2, -2
Let i(q) = -4*q**2 - 3*q - 2. Let r be i(-1). Put -1, -5, r in descending order.
-1, r, -5
Let w(d) = -16*d + 2. Let l be w(2). Let c be (-3)/(-5) - 102/l. Sort 3, c, -3 in decreasing order.
c, 3, -3
Suppose 8*m - 5*p - 3 = 11*m, -5*p - 15 = 0. Put m, 0, 5 in ascending order.
0, m, 5
Let v(z) = z**3 + 13*z**2 + 20*z - 24. Let a be v(-11). Sort a, 0, -21 in increasing order.
-21, a, 0
Let q(r) = -r**3 + 