Put 1, a, 13 in ascending order.
1, a, 13
Let l = 20 - 20.4. Put -4, l, 1, 1/7 in descending order.
1, 1/7, l, -4
Let d = 35 + -32. Sort -2, 5, d, -4.
-4, -2, d, 5
Let f = 0.1 - 1.7. Let s = 2.4 - f. Put 1, s, -0.04 in increasing order.
-0.04, 1, s
Let r = 5 - 6. Sort 11, 3, r in descending order.
11, 3, r
Suppose 4*n = 2*n + 2. Let y be 2*(n + 12/(-4)). Sort y, 5, 4 in ascending order.
y, 4, 5
Let q = -0.0439 - 1.9561. Let r be (3/4)/((-30)/(-32)). Put q, r, -5 in decreasing order.
r, q, -5
Let j be -25 + 2 + -4 + 0. Put -2, j, 2 in increasing order.
j, -2, 2
Let k = 100 - 701/7. Let w be (0 - 4/(-5))/2. Put w, k, -0.3 in descending order.
w, k, -0.3
Let k be 2/11 - (-456)/(-88). Put k, 4, 0 in descending order.
4, 0, k
Suppose -4*t + 8 = -4*j, j - 4*j = t - 10. Suppose t*i - i = -3. Sort -4, -3, i in descending order.
i, -3, -4
Let f = 1 - -4. Put -2, -3, f in decreasing order.
f, -2, -3
Suppose 2*u - 1 - 1 = 0. Let t = 3 + -5. Put 0, u, t in decreasing order.
u, 0, t
Let t be 3/6 + (-3)/(-2). Let q be -4 - -10 - t/1. Sort q, -5, -1 in increasing order.
-5, -1, q
Let c be (-10*(-3)/12)/(-2). Let z = c - -53/36. Let j = 2.03 - 0.03. Sort -0.4, j, z.
-0.4, z, j
Let f = -0.243 - -0.043. Sort f, -2, 2/3.
-2, f, 2/3
Let y be (-5)/(-2)*(-8)/35. Put 1/4, 0.1, y, 2/19 in ascending order.
y, 0.1, 2/19, 1/4
Let y be (0 + (-6)/(-9))*-3. Put 3, 4, y in descending order.
4, 3, y
Let k(z) = -1 + 2 + 3 + z - 3. Let j be k(3). Let f be (-13)/(-12) + j/(-12). Put 2, 5, f in ascending order.
f, 2, 5
Let b(a) = a**3 - 20*a**2 + 2*a - 25. Let x be b(20). Sort 0.3, -5, x in descending order.
x, 0.3, -5
Let l = 0.2 + 2.8. Put -3, -0.1, l in decreasing order.
l, -0.1, -3
Let l = -47 + 56. Put -3, -1, l in descending order.
l, -1, -3
Let g = 34 - 32. Let w(y) = y**2 - y - 3. Let u be w(0). Let r be (-1)/3 + 2/u. Put -5, r, g in descending order.
g, r, -5
Let i(n) = -n**2 - 8*n + 4. Let h be i(-8). Sort -2, h, -1 in descending order.
h, -1, -2
Let o be (0 + -6)*3/(-24). Sort -3/8, -3, o in descending order.
o, -3/8, -3
Let r be 0/1 - (-6)/(-1). Let q = 11 + r. Suppose 5*t - 15 = 5*j, q*j - 2*t + 18 = 6. Sort -4, j, -1 in ascending order.
-4, j, -1
Let f be 2/(-8) - (-63)/12. Sort 1, f, -4.
-4, 1, f
Let q = 46 + -41. Let v be (-1)/(-8) - 1/2. Put 1/3, q, v in decreasing order.
q, 1/3, v
Let q = 0.7 + -4.7. Sort 3/2, 3/7, q in decreasing order.
3/2, 3/7, q
Suppose 0 = -f + 4 + 2. Let b(g) = -g + 7. Let t be b(f). Let l = -1 + 0. Put 0, t, l in descending order.
t, 0, l
Let p = 0.97 + -0.97. Suppose 2*k = 5*q + 6, -5*k + 7 - 19 = q. Put -5, q, p in increasing order.
-5, q, p
Let i = 1.98 - -1.02. Let o = -3.3 - -0.3. Sort -1/4, o, i.
o, -1/4, i
Let x = 4 - 3. Let y(u) = -u**3 + 7*u**2 + 10*u - 12. Let d be y(8). Let c = d - x. Sort -1, c, 4 in ascending order.
-1, c, 4
Let d be (-3)/(2*-1 - -1). Let a(r) = 21*r**2 + 3*r**3 - 22*r**2 - r + 2*r - 1. Let i be a(1). Sort -5, d, i in increasing order.
-5, i, d
Suppose 0 = -5*s - 25, -4*t + 4*s + 22 + 14 = 0. Put 10, -5, t in descending order.
10, t, -5
Suppose 4*a - 2*a = i, -2*i = -5*a. Sort a, 3, -1 in increasing order.
-1, a, 3
Let z = -0.072 + 0.402. Let n = z + -0.03. Let o be (1/(-2))/(9/(-6)). Sort o, n, 3 in ascending order.
n, o, 3
Let p(q) = -5*q**2 + 1. Let t be p(1). Let a = -1 - -0.8. Let x = a + 0.6. Sort t, -0.4, x.
t, -0.4, x
Let j = -2.9 + -2.6. Let s = j - -1.5. Sort 1/5, s, -2.
s, -2, 1/5
Suppose -8 = 2*v - 4*v. Let p = 601/1435 + 2/205. Put p, v, 0.1 in descending order.
v, p, 0.1
Suppose 0 = -4*p - d - 15, 5*p - 2*d = 2*d - 24. Put 3, p, 0 in decreasing order.
3, 0, p
Let p = -1.5 - -2. Let l = -2.5 - p. Let y = -2.8 - l. Sort -2/5, -0.2, y in decreasing order.
y, -0.2, -2/5
Let r(d) = -d**3 + 7*d**2 - 5*d - 6. Let j be r(6). Let v be (-10)/(-15) + 8/6. Suppose -11 = -v*f - 5. Sort f, j, -4 in increasing order.
-4, j, f
Let v be -3*5/(-3) - 4. Let h be (22/(-2) + v)/2. Let w(b) = -b**3 + 3*b**2 - 3*b + 3. Let f be w(2). Put 4, h, f in ascending order.
h, f, 4
Let c be 56/(-4) - 8/2. Sort c, -1, 3 in decreasing order.
3, -1, c
Let u = 21/68 + -1/17. Sort 5, 2/3, u in increasing order.
u, 2/3, 5
Let v = -3 + 4. Let s(r) = 3*r**2 + r. Let g be s(-1). Sort g, -3/7, v in decreasing order.
g, v, -3/7
Suppose -2*i = -6 - 30. Put i, 3, -1 in increasing order.
-1, 3, i
Let f(m) = m**3 + m + 5. Let i be f(0). Sort i, -4, -1, 0.
-4, -1, 0, i
Suppose 4*m - 2*a - 31 = a, 2*m + 5*a - 9 = 0. Let p = -9 + m. Sort 5, p, -1 in increasing order.
p, -1, 5
Suppose 5*l + 0*j - 34 = -4*j, -j = -1. Let x = l - 8. Let t = 122/3 + -40. Sort x, -0.2, t in decreasing order.
t, -0.2, x
Suppose -12 - 1 = -i - 3*g, -5*g + 29 = -2*i. Let q be (-2)/4 + (-7)/14. Let d = 0 + -3. Put d, i, q in ascending order.
d, i, q
Suppose -3*t + 178 = -14. Let m = t + -317/5. Suppose 2*o - 13 - 1 = 3*v, -3*v = 3*o + 9. Put o, 3, m in decreasing order.
3, o, m
Let l(n) = n + 1. Let p be l(3). Put -0.2, p, 0.3 in decreasing order.
p, 0.3, -0.2
Let t be (33/(-22))/(6/(-8)). Let s = 5 - 10. Put -2, s, t in increasing order.
s, -2, t
Suppose 3*x + 22 = 7. Suppose 4*f + 2*b - 5*b - 2 = 0, -f + 5*b - 8 = 0. Let n = f - 2. Put n, -1, x in increasing order.
x, -1, n
Let a(y) = y**3 - 6*y**2 + y - 4. Let f be a(6). Suppose 4*d = -4*l + 12, 5*d + 0*d - 15 = f*l. Sort 5, -3, l.
-3, l, 5
Suppose -5*m - 5*l = 25, -m - 5*l = m + 22. Suppose 0 = -5*o + c, -o = -2*o + 5*c. Suppose 4*k = w - 12, 5*k + 3*w = -51 + 19. Sort m, o, k.
k, m, o
Suppose 6*r + 0 = -6. Let k = 1 - 5. Sort k, r, 4.
k, r, 4
Let t = -0.002 + 0.302. Sort t, 5, 2/7, -5 in descending order.
5, t, 2/7, -5
Let q(m) = 2 + 2 - 1 - 2*m. Let c be q(3). Let r be c/(9/(-7)) + -1. Put r, 1, -4 in ascending order.
-4, 1, r
Let a = 24 + -12. Suppose 6*x + a = 3*x. Let g(n) = n**3 + 4*n**2 + 3*n + 1. Let f be g(-2). Sort x, f, 1 in descending order.
f, 1, x
Suppose 0 = n + 2*r + 1 + 11, 4*r = 2*n. Let w be (-3)/(-16)*n/9. Sort -4/9, 2, w.
-4/9, w, 2
Let x = 8 + -16. Let c be (-2)/8*2/x. Put -3, -2, c in increasing order.
-3, -2, c
Suppose 4*p - 2*p = 0. Suppose 0 = -3*l - 9, 4*l + 22 = 5*z - 0*l. Suppose 3*t - z*t = -4. Sort p, t, -1 in descending order.
p, -1, t
Let t be 12/(-8)*(-24)/(-9). Let i be (-80)/44 - t/2. Let s = 2/381 - 788/4953. Sort -0.5, i, s in increasing order.
-0.5, s, i
Let m = 3 - 2.99. Let l = -0.51 + m. Sort 0.3, 0.1, l in descending order.
0.3, 0.1, l
Let r be 2/(0 - (1 + 0)). Put 3, r, 5 in increasing order.
r, 3, 5
Suppose -2*z + 8 = j + 3*j, -2*j = 0. Suppose 2*i - z*u = 4, -i = -2*i + u + 4. Let h = i + -8. Put -3, -4, h in decreasing order.
h, -3, -4
Let y = -52 - -58.4. Let w = y + -7. Sort w, -0.1, 1/6 in descending order.
1/6, -0.1, w
Let c = -2 - -2. Suppose 15 = 4*g + g. Sort 5, c, g.
c, g, 5
Suppose 3*s = -5*j - 0*s + 35, 2*s - 2 = 2*j. Let k be (2/(-4))/(2/20). Put k, -1, j in ascending order.
k, -1, j
Let p(g) = 5*g - 1. Let k be p(1). Let w = 19 - 14. Let v = w - 9. Sort k, 0.1, v.
v, 0.1, k
Let f = -5244217/24895660 - 12/54121. Let g = f + 1/92. Let k be (-13)/15 - (-1)/1. Sort g, k, 2/9 in descending order.
2/9, k, g
Suppose 5*t + 5*z = 3 + 7, -5*t = -z + 20. Sort 1, t, -2 in increasing order.
t, -2, 1
Suppose -15 = -3*u, 2*d + u - 26 - 1 = 0. Let j = 11 - d. Sort -3, -1, j.
-3, -1, j
Let u = 2/99 - -188/495. Put u, 4, -4/9 in decreasing order.
4, u, -4/9
Let x = -3 - -4. Let d = -0.8 + -0.2. Let b = 0.9 + d. Sort x, 1/3, b.
b, 1/3, x
Let t(j) = -3*j**2 + j - 1. Let v be t(0). Suppose 3*f + r = -10, -5*r = -4*f - 4*r - 4. Put -4, v, f in decreasing order.
v, f, -4
Let u(x) = x**2 - 4*x + 7. Let g be u(3). Sort 2, g, 5, -3 in decreasing order.
5, g, 2, -3
Let h be 2 - (-2 - (-3)/(-3)). Let w be (1 - (4/(-2) - -6)) + 5. Let f(p) = p**3 - 2*p**2 + p + 1. Let v be f(2). Put w, h, v in increasing order.
w, v, h
Suppose -6*i + 11 = -7. Sort i, 20, 0.
0, i, 20
Let h be (-1 - -2)*(-1)/(-1). Suppose 6*u - 12 = u + s, 0 = -u + 4*s - 9. Let a be 3 + (-8 + u - 1). Sort h, -2, a in decreasing order.
h, -2, a
Let n(b) = -b. Let h be n(-5). Suppose 2*m - 10 + 0 = h*f, -m = 3*f + 6. Let k be ((-1)/8)/(1/f). Sort k, 0.5, 2/13 in increasing order.
2/13, k, 0.5
Let u = 139 - 136. Let g = 0.3 + 0.1. Put -1/3, g, u in decreasing order.
u, g, -1/3
Suppose 3*w - 4*w + 4 = 0. Put 5, 3, w in 