 c = -1 - -2. Sort c, x, 2.
x, c, 2
Suppose 2 = -2*u + 10, -t = -5*u + 21. Let d = 1 + -3. Let b = -4 + 1. Put t, b, d in increasing order.
b, d, t
Let x be 1 - (-1 - 1*-1). Let g be (-4)/(-2)*12/(-8). Put -4, x, g in descending order.
x, g, -4
Let p(l) = -l**3 + 5*l**2 - 2*l - 2. Let b be p(5). Let g = -10 - b. Sort g, -1, 6 in decreasing order.
6, g, -1
Suppose 4*z + 5 = -4*q - 15, q = -5*z - 9. Put q, 3, -1 in decreasing order.
3, -1, q
Let p = -135 + 133. Sort -3, p, 9 in decreasing order.
9, p, -3
Suppose 0 = 2*r - u - 13, -2*r = -r - u - 7. Let h be 2/r + (-30)/9. Sort 2, h, 5 in increasing order.
h, 2, 5
Suppose 2*q + 16 = -3*u + u, -35 = 4*u + 5*q. Sort -4, u, 4.
u, -4, 4
Let k = 2.5 + -3.1. Put k, 1/6, 2 in increasing order.
k, 1/6, 2
Suppose 34 - 4 = 2*y. Suppose 0 = 3*d, 5*r + 0*d - y = -3*d. Suppose -5*w - 3*g = -r*w + 6, -3*g - 3 = w. Sort w, 2, -4.
-4, w, 2
Let t(b) = b**2 - 6*b + 4. Let s be t(5). Let k(n) = -n**2 - 2*n - 1. Let z be k(-3). Let p be (2/(-3))/(z/(-12)). Put p, -5, s in ascending order.
-5, p, s
Let i = -10 - -28/3. Put 2/5, -2, -1, i in decreasing order.
2/5, i, -1, -2
Let d(p) = -2*p**2 - 2*p + 1. Let t be d(1). Let m be -3*(-2)/3 - -3. Suppose 4*n + n = m. Sort -1, t, n in increasing order.
t, -1, n
Let v = 12 + -13. Sort 0, v, 2 in increasing order.
v, 0, 2
Suppose 6*c - 2*c - 2*x = 130, -4*x = -5*c + 167. Let s be c/3 + 3/(-9). Sort -2, s, -3.
-3, -2, s
Let z = -13 + 21. Let b = z - 7. Put b, -2/3, 3/2 in increasing order.
-2/3, b, 3/2
Let z = -2 + 1. Sort -5, z, -10.
-10, -5, z
Let u = -0.049 - -0.019. Put 5, -1/2, u, -0.1 in descending order.
5, u, -0.1, -1/2
Suppose 0 = -4*j - 4, 4*y - 4*j = 15 - 7. Put y, -2, 5 in decreasing order.
5, y, -2
Let p = -0.1 + 3.1. Let q = 3.3 - p. Put q, 2, 1/3 in decreasing order.
2, 1/3, q
Let s = -0.2 - 0.8. Let a = -7 - -7. Let u = 0 - -1. Sort a, s, u in increasing order.
s, a, u
Let c = -0.31 - 0.09. Put 5, c, 3/8 in descending order.
5, 3/8, c
Let p(c) = -c**3 - 17*c**2 + 18*c + 1. Let s be p(-18). Put -4, 0, -13, s in ascending order.
-13, -4, 0, s
Suppose 3*o = -0*o - 3. Suppose -3*x = -2*x + 3. Let r = -1 - -2. Sort o, x, r in descending order.
r, o, x
Let h be (-8)/8*1/1. Let q be -1 - h*15/(-6). Let x = 0.3 - -0.2. Put x, 5, q in ascending order.
q, x, 5
Let k = -0.054 + -13.446. Let c = k + 14. Sort -5, c, -2 in descending order.
c, -2, -5
Let l be (2/3)/((-14)/(-6)). Put -3/8, l, -0.4 in descending order.
l, -3/8, -0.4
Let r(t) = -t**2 + 8*t - 10. Let b be r(6). Sort -0.3, 0.12, b in ascending order.
-0.3, 0.12, b
Suppose t - 10 = 7. Suppose 2 = -3*i + t. Sort i, -2, -4.
-4, -2, i
Let y be (-9)/6*2 + 11/4. Sort y, 0.5, 0 in descending order.
0.5, 0, y
Let a = 22 - 13. Let w(b) = b**3 - 8*b**2 - 8*b - 9. Let x be w(a). Let j = -6 + 3. Sort 2, j, x in decreasing order.
2, x, j
Let h = 4.6 - -0.4. Let m = 2.4 + -0.4. Sort h, -5, m.
-5, m, h
Let r(z) = -z**3 + z**2. Let q(j) = -3*j**3 - 2*j - 1. Let g(c) = -q(c) + 2*r(c). Let s be g(-1). Let k be (3 + -2 - 0) + -2. Sort k, s, -2.
-2, k, s
Let v be 4/18 + 7 + 130/(-18). Let a = 99/4 + -25. Sort v, -5/2, a.
-5/2, a, v
Suppose 0 = 2*g + 4*w + 18, -44 = -g + 3*w - 43. Let n(u) = u. Let j be n(0). Put -4, g, j in ascending order.
g, -4, j
Let n = 3.1 - 0.1. Let p = n - 6. Put p, 5, 3 in increasing order.
p, 3, 5
Suppose -r - 4 - 1 = 0. Let a = r - -8. Let l(k) = k**3 + 5*k**2 - 7*k - 8. Let z be l(-6). Put a, -1, z in decreasing order.
a, -1, z
Let f be ((-2)/8)/(4/(-48)). Suppose 4*j - f*j + 16 = 4*x, 4*x = 4*j + 16. Let w = -2 - -2. Sort -4, w, x in increasing order.
-4, w, x
Let l = 17 + 0. Let n = 18.4 - l. Let r = n + -0.4. Put -1/6, -3/5, r in ascending order.
-3/5, -1/6, r
Suppose p + n - 4 = 6*n, 20 = -4*p + 2*n. Sort -5, p, -1 in ascending order.
p, -5, -1
Let m = 5 + 4. Suppose -2*k + m - 3 = 0. Let x(w) = 2*w + 6. Let u be x(-4). Sort u, k, 4 in decreasing order.
4, k, u
Suppose 6*p - 8*p = 0. Let u be (0 + 0 + 2)/(-2). Suppose 0 = -2*r - r - 9. Sort p, r, u in decreasing order.
p, u, r
Let l = 4.02 - 0.02. Sort -2/7, l, 2/7 in decreasing order.
l, 2/7, -2/7
Suppose 4*l = -a + 21, -4*a - l + 16 = -2*l. Sort 4, 3, a.
3, 4, a
Suppose 2*n = 5*k, 2*k - 3*n + 0*n = -11. Put -5, -1, k in decreasing order.
k, -1, -5
Let c = 50 + -27. Let h = c - 28. Let d = 4.3 - 4. Put -0.5, h, d in ascending order.
h, -0.5, d
Suppose -3*s + 13 = 2*w - 2, 4*s = 3*w + 20. Let x = 2 + 1. Let l = x + -2.5. Put l, -2/5, w in descending order.
l, w, -2/5
Suppose 0 = -3*b - f + 5, 5*b - 2*f - f = 27. Put -5, 5, b in descending order.
5, b, -5
Let o(p) = -p - 9. Let u be o(-14). Sort 3, -6, u in ascending order.
-6, 3, u
Let q be 2*(2 + 0 + 0). Suppose 0*x - 10 = -2*x. Let a = 34 - 33.6. Sort q, x, a.
a, q, x
Let r(u) = -u**3 - 8*u**2 + 5. Let b be r(-8). Let z be 28/b + (-3)/5. Sort 4, 0, z in descending order.
z, 4, 0
Suppose -4 = 5*h + 21. Let b = -13 + 9. Put b, h, -0.1 in ascending order.
h, b, -0.1
Let j(i) = 2*i**2 - 2*i + 1. Let l be j(1). Let r = -13 + 16. Sort -4, r, l.
-4, l, r
Let a(m) = -3*m. Let d be a(-1). Suppose 0 = d*i + 4 + 11. Let l be (0/2)/3 - -4. Sort l, -1, i in descending order.
l, -1, i
Let l(h) = -h - 5. Let a be l(-7). Suppose 5*g + p = -9, g = -3*g + p. Put g, a, 1 in decreasing order.
a, 1, g
Suppose 0 = 4*m + 9 - 25. Let j(k) = -k**2 + 4*k - 4. Let t be j(m). Sort t, 4, -1 in ascending order.
t, -1, 4
Let z = 0.84 + -0.8. Let f = -0.44 + z. Sort f, 1/12, 1 in decreasing order.
1, 1/12, f
Let q = 50 + -48. Suppose 2*i + 0*i + 2*y + 10 = 0, 3*i + 1 = 4*y. Put q, -5, i in descending order.
q, i, -5
Let l = -146 + 151. Put 2, l, -1, -3/5 in ascending order.
-1, -3/5, 2, l
Suppose 2*i - 3*m = 25, 4 = -2*m - 6. Sort -1, -2, i.
-2, -1, i
Suppose 5 = t - 3*f, -4*t + f = -3*t + 1. Let o be (1 + (4 - -2))/1. Sort -2, t, o in decreasing order.
o, -2, t
Let j = 0.37 + 0.03. Let q = j + 0.6. Put 1/5, q, -2/9 in ascending order.
-2/9, 1/5, q
Let b(o) = o**3 - 3*o**2 - 5*o + 4. Let m be b(4). Suppose -5*l + 2*l = m. Suppose -2*i - 5 = q, 13 = -5*q - 4*i - 0*i. Put q, 2, l in descending order.
2, l, q
Let s = 46 + -45.9. Sort 1/6, -1/9, s in increasing order.
-1/9, s, 1/6
Let l = -42 - -41. Sort 19, 1/7, l, -0.4.
l, -0.4, 1/7, 19
Suppose -f = 2*t + 5, -5*f + 3*f + 4*t = -22. Let s(l) = l**3 - l**2 - l + 2. Let m be s(2). Put m, f, -2 in decreasing order.
m, f, -2
Let c = 2 - 0.8. Let m = c + -1. Let b = -2.5 + 3.5. Put m, -5, b in decreasing order.
b, m, -5
Let g be (-18)/8 + (-12)/(-6). Let z = -0.15 - 0.85. Let m be (-2)/(-4)*4/6. Sort z, g, m in increasing order.
z, g, m
Suppose 0 = -4*s + 7 - 3. Let n = -5 + 1. Let f be 4/(1 + 1) - 2. Sort s, n, f in increasing order.
n, f, s
Let g = -1743/10 - -1029/5. Let i = 31 - g. Let m be (-1)/8*(-8)/6. Put 0.5, i, m in decreasing order.
0.5, m, i
Let r be (4/(-10))/((-11)/(-220)). Let q be -5 + 1 - -1*2. Sort q, -5, r in decreasing order.
q, -5, r
Let m = 22.4 + -22.223. Let o = m + -2.117. Let y = 0.06 - o. Put y, -4, 0.1 in descending order.
y, 0.1, -4
Let b = -11 - -8. Let j = 32 - 28.8. Let s = -3 + j. Sort b, s, -4/5 in descending order.
s, -4/5, b
Suppose -4*q + 28 = -8. Let z be 4/q*(-4)/16. Put 4, z, 0 in decreasing order.
4, 0, z
Let f = -12 - -9. Put f, 5, -1 in descending order.
5, -1, f
Let t = 3/1663 + -236155/4989. Let o = t + 46. Sort -6, o, 0.5.
-6, o, 0.5
Let n(z) = -z**3 - 9*z**2 - 8*z - 7. Let r be n(-8). Let g(q) = -q**2 - 6*q + 5. Let a be g(r). Let d = 4 - 3. Put a, -5, d in descending order.
d, a, -5
Let a be (4/(-24))/(2/(-20)). Let w = -31/15 + a. Sort w, -0.5, 0.1 in decreasing order.
0.1, w, -0.5
Suppose -m + 30 = -11*m. Sort m, -0.1, 5, -17 in descending order.
5, -0.1, m, -17
Let o be 2 + 0 + 3/(-4). Let d = -0.7 + 2. Let x = d + -0.3. Put o, x, 1/3 in descending order.
o, x, 1/3
Let r = -0.006 - 0.294. Put -0.01, 3, -3/8, r in decreasing order.
3, -0.01, r, -3/8
Let c = 1 - 6. Sort -0.2, c, -16/3.
-16/3, c, -0.2
Let g = -299/7 + 43. Sort 3, g, 2 in decreasing order.
3, 2, g
Let g be 1*(-2 + 0)/2. Let y = 10.4 - 7.4. Sort g, -1/3, y in decreasing order.
y, -1/3, g
Let g = -0.67 - -0.17. Put 0.8, g, -3 in decreasing order.
0.8, g, -3
Let t be 4/(-10) - 7/(-5). Let q be (-5 - -9)/((-4)/(-5)). Suppose 3*v + 0*v + y = -11, 4*v - 2*y - 2 = 0. Sort t, q