 4, a, n in increasing order.
n, 4, a
Suppose 8*i - o = 3*i + 27, 2*i - o - 12 = 0. Put i, 3, -3 in descending order.
i, 3, -3
Let f(x) = -x + 11. Let w be f(9). Put 5, w, -1 in descending order.
5, w, -1
Let p = 1 + -6. Let u = 3.9 - 4. Suppose -3*j + 19 = 2*x, 0 = -0*j - 4*j + 12. Sort u, p, x in decreasing order.
x, u, p
Let u be (-10)/(-35) + 5302/(-84). Let w(r) = -3*r**2 + 2*r + 2. Let z be w(5). Let v = u - z. Put -5, v, 1/2 in decreasing order.
1/2, v, -5
Let z(u) = 2*u + 10. Let w be z(-7). Let x be w/14*-1*7. Suppose -3*j + 2*j - x = 0. Put -5, j, -3 in decreasing order.
j, -3, -5
Let q be (-4)/(-14) + 5/(-42). Suppose 0 = -h - 3*h - 20. Sort q, h, -4 in ascending order.
h, -4, q
Suppose 3*f + 15 = h - 2*f, -2*h - 5*f = 0. Put h, 3, -2 in descending order.
h, 3, -2
Let u = -173 + 182. Put u, -3, 1 in increasing order.
-3, 1, u
Let o(t) = -t**3 - 2*t**2 + 1. Let f be o(-1). Let j be -1 + 1/(f - 1). Put j, 3, -5 in decreasing order.
3, j, -5
Let c = 0 + 4. Let f be (-6)/c*20/165. Sort -3, -1/2, f in decreasing order.
f, -1/2, -3
Let l = -64 + 67. Let j = -10 - -4. Let u = j + 3. Sort u, -1, l.
u, -1, l
Let i be 1 - (2 - 15/33). Let y = 13 + -9. Sort 2, y, i in decreasing order.
y, 2, i
Suppose 33 = -b - 90. Let h = -618/5 - b. Sort -6, -0.2, h in decreasing order.
-0.2, h, -6
Let o be 2/7 - 5/(-7). Let k be ((-1)/6)/(o/3). Let v = 2 - 0. Sort v, k, 0.4 in decreasing order.
v, 0.4, k
Suppose 6*z + 5 = -7. Sort -4, -10, z in decreasing order.
z, -4, -10
Let k = 21 - 15.1. Let g = k + -5. Put g, -4, 5 in increasing order.
-4, g, 5
Let d = 4.2 - 1.2. Sort d, 2, -0.3 in descending order.
d, 2, -0.3
Let j be 10/14 + (-34)/(-119). Let n = 373/7 - 53. Put n, j, 3 in increasing order.
n, j, 3
Let r be 9 - (1*(1 + 2) + 1). Suppose -n = -o - 0*o + 1, -4*o = 5*n - 4. Put 3, r, n in decreasing order.
r, 3, n
Let t = 221/40 - 49/8. Let s = 0.7 - 1.9. Let u = 0.2 + s. Sort -2, t, u in ascending order.
-2, u, t
Let i = 15 - -50. Let v be 4/(-5)*i/(-13). Put v, 2/9, -0.1 in ascending order.
-0.1, 2/9, v
Let w = -0.1 + 0.2. Let r = 0.5 - w. Let p = 4.5 + -4. Put r, p, 1/3 in decreasing order.
p, r, 1/3
Let a = 0 - 0. Let b be -1*(5/(-15) + (-14)/3). Put a, 4, b in increasing order.
a, 4, b
Let p = 9.2 + -8. Let k = p + 3.8. Let d = 0.1 + -0.3. Sort k, -1, d in descending order.
k, d, -1
Let g be (2 + 0)/10 - 1. Let i = 8 - 7. Suppose -4*v - i = -9. Sort g, v, -1/4 in decreasing order.
v, -1/4, g
Let d be 14/(-5) - (-6)/(-30). Let j(h) = -h**2 - h + 4. Let l be j(d). Sort -0.3, l, -5 in decreasing order.
-0.3, l, -5
Suppose a - 5 = -6. Sort 5, 2, a in decreasing order.
5, 2, a
Let n = 0.05 - -0.25. Let j = -3 + 2.9. Put n, 2/15, j in descending order.
n, 2/15, j
Let u = -2.4 - -2. Let b = 0.1 + u. Let o = -0.7 - 2.3. Sort 3, o, b in increasing order.
o, b, 3
Let f be 42/(-18) + (-2)/(-6). Let d = 13 + -9. Let p be 15/(-35) - (-18)/(-7). Put p, f, d in ascending order.
p, f, d
Let b = 1.42 + -1.22. Sort 1, b, -0.04 in decreasing order.
1, b, -0.04
Suppose 3*l + 0*l - 6 = 0. Let q be (-2 + 1)*(1 - 0). Sort l, 3, q.
q, l, 3
Let c be 6/(-27) - 6/(-27). Suppose -3*m - 1 = -13. Sort 1, c, m in descending order.
m, 1, c
Let x(t) = t**3 - t**2 + 1. Let p be x(1). Let v = -3 + p. Let w = v - 0. Sort w, 1/2, -0.2.
w, -0.2, 1/2
Let x be (-2)/1 + (-5)/(-2). Let n be (-2)/6*1431/(-78). Let y = n - 60/13. Put 2, y, x in descending order.
2, y, x
Let i be 16/6 - 2/3. Let l(r) = -r. Let m be l(-1). Let j be (6/4)/(m/i). Sort 0, -2, j in increasing order.
-2, 0, j
Let k(y) = 2*y + 13. Let s be k(-8). Put -4, 2, s in descending order.
2, s, -4
Suppose 19*c - 28 = 12*c. Sort -6, -4, -1, c in descending order.
c, -1, -4, -6
Suppose -4*v = -0*v + 4. Let y(g) = -4*g - 3. Let n be y(-2). Suppose n*i = 4*q - 61 + 21, 5 = -3*q - 5*i. Put v, -4, q in ascending order.
-4, v, q
Suppose -2*f + 0*f - 4 = 0. Let t be (-8)/12*2*-3. Sort t, 2, f.
f, 2, t
Let n = -22 - -19.6. Let d = n + 2. Sort 2/7, -1/3, d in ascending order.
d, -1/3, 2/7
Let y = -35.9 + 37. Sort -2, 0, y in descending order.
y, 0, -2
Suppose 0 = 5*p - 55 - 20. Suppose 0 = b + 2*b - p. Suppose -9 = -b*i + 3*t, -5*t = -2*i - 0*t + 15. Sort i, 5, -1 in decreasing order.
5, i, -1
Let i be 1 + (-8 + 3 - -4). Sort i, -9, -5 in increasing order.
-9, -5, i
Suppose -9 = -0*z - 3*z. Let o = z - 8. Let w be (2 + -2)*(-2)/4. Sort o, w, 4/5.
o, w, 4/5
Let z(c) = -c**3 - 9*c**2 - 12*c - 1. Let f be z(-7). Sort -2, f, -4, -5.
f, -5, -4, -2
Let g = -7 - -12. Suppose -10 = -5*k + 8*s - 3*s, g*k - 19 = 2*s. Let d be -3 - (4 + 2 + -5). Put k, -1, d in decreasing order.
k, -1, d
Let h = -1/153 + 103/153. Sort -4, 1/6, -2/5, h in increasing order.
-4, -2/5, 1/6, h
Let x = 0.6 - 1. Put -4/7, x, 4 in increasing order.
-4/7, x, 4
Suppose g - 21 = -25. Sort 3, 5, 2, g in ascending order.
g, 2, 3, 5
Suppose 0 = -4*j - 2*l - 12, 4*j - 3*l - 10 = 2*j. Suppose 0 = 4*y - 0*y - 16. Suppose 13 = -3*u + 4*u - 2*w, 1 = 2*u + w. Put y, u, j in decreasing order.
y, u, j
Let v = 0.09 + 6.91. Let k = v - 4. Put -0.4, k, 4 in decreasing order.
4, k, -0.4
Let w = -4 + 6. Let j be 6/(-27) - (-4)/18. Suppose -4*z - 15 + 3 = j. Put 0, w, z in descending order.
w, 0, z
Let h(l) = -l + 12. Let n be h(8). Let r be (-8)/(-20) - (-34)/(-10). Let f be (-3)/(-4)*12/r. Put n, 0, f in increasing order.
f, 0, n
Let k(m) = m**3 - 5*m**2 + 2*m - 7. Let f be k(5). Let w be -1*((-16)/(-4) - f). Sort w, -2/9, 0.03 in decreasing order.
0.03, -2/9, w
Let f = -17 + 19. Let a = 0.04 - 0.14. Sort a, f, -0.5.
-0.5, a, f
Let v = 39 + -40. Let f = -2 - -1.8. Put f, 4, v in descending order.
4, f, v
Let c = 39.5 + -39. Let q be ((-2)/(-15))/(1/3). Put c, 1, q in descending order.
1, c, q
Suppose 29 = -6*l - 1. Let j = -9 + 5. Suppose 0 = 5*y - 2*y + 3. Sort l, j, y.
l, j, y
Let y(d) = d**3 - d**2 - 2*d + 3. Let z be y(2). Suppose -z*l = -l - 10. Put -1, l, 2 in increasing order.
-1, 2, l
Let x = 8 - 7.7. Sort 8, 0, x in ascending order.
0, x, 8
Suppose -2*j + 0*j = 16. Let r be j + 1 - 4/(-2). Let h be (-51)/12 - (-2)/8. Put 1, r, h in decreasing order.
1, h, r
Let s = -69 + 72. Put -8, s, 5 in ascending order.
-8, s, 5
Let u(n) = -n**3 + 11*n**2 + 4*n - 6. Let g(j) = -j**2 - j + 1. Let p(s) = 4*g(s) + u(s). Let r be p(7). Sort r, -0.2, -0.5 in descending order.
-0.2, -0.5, r
Let x = -1 + 1. Let k be (28/(-70))/(1/5). Suppose 0 = 4*t + t - 15. Sort x, t, k in descending order.
t, x, k
Let u = -3 - -6. Let b = u + -2.9. Let q = 0.01 + -1.01. Sort q, 0, b in decreasing order.
b, 0, q
Let w(d) = d**3 + 2*d**2 - 1. Let m be w(-1). Suppose 2*k - 3*k = 2*x + 7, -x + 5*k - 20 = 0. Put x, 3, m in ascending order.
x, m, 3
Let k be 4/10*(0 + -5). Let d be (0 - 3) + k + 5. Let h be (9 + 1)/(d + -2). Sort 4, 0, h.
h, 0, 4
Let r be (-22)/(-99) + 2/(-9). Sort -2, r, -9, 1 in descending order.
1, r, -2, -9
Let f be ((-3)/2)/(4/8*1). Put 1, f, -4 in decreasing order.
1, f, -4
Let x = -20.1 + 21. Let l = 1.3 - x. Suppose -z - 3*d - 10 = 0, 9 = -3*z - 2*d - 7. Put l, 1/5, z in decreasing order.
l, 1/5, z
Let c(r) = r**2 - 24*r - 20. Let f be c(25). Sort -2, f, 3 in descending order.
f, 3, -2
Let w be (2/(-8))/(3/18). Put -2, w, 3 in decreasing order.
3, w, -2
Let t = 19/2 - 41/4. Put 0.5, 1/3, t in decreasing order.
0.5, 1/3, t
Suppose 2*y = 3*y + 3*z - 13, 4*y + 3 = -z. Sort -4, y, -0.1 in descending order.
-0.1, y, -4
Let y = 59 + -63. Sort 4, 1, y, -1 in descending order.
4, 1, -1, y
Suppose 4*p - 12 = -0. Sort 7, 2, -3, p in decreasing order.
7, p, 2, -3
Suppose -3*x = 2 + 4. Suppose -3*f = r + 15, 0*r = -5*f - 5*r - 25. Put f, x, 3 in ascending order.
f, x, 3
Suppose -17 = -2*k + 5*k + 5*b, -4*k + 20 = -4*b. Let q be (-4)/(-16) + (-50)/168. Let i = 26/105 + q. Put k, -0.3, i in decreasing order.
k, i, -0.3
Let y = 1.27 + -0.97. Sort -1/2, 0.5, -5, y in ascending order.
-5, -1/2, y, 0.5
Suppose -2*l - 2 - 2 = 0. Suppose -2*p + 7 = 3. Put l, p, 1 in decreasing order.
p, 1, l
Let g be 16/3 + (-8)/(-12). Let k = 8 - g. Suppose k*v + v = -12. Put v, 4, 2 in decreasing order.
4, 2, v
Let v be 13/(-7) - (-8)/4. Let c = -0.1 - -0.2. Put -3, c, v in decreasing order.
v, c, -3
Suppose 10 = 4*l + 22. Let p = -0.3 + 0.1. Sort l, p, -2 in decreasing order.
p, -2, l
Suppose 2 + 2 = 4*b. Let n be (b/11)/(2