2*1. Let l be (-1)/(j/(6/(-7))). Let x be 57/18 + 5/((-20)/12). Put l, x, 4 in increasing order.
l, x, 4
Suppose 6*m - 7*m = -3. Sort m, 5, 1.
1, m, 5
Let b = 9.76 + 0.24. Let l = -10.3 + b. Sort l, -1, -1/4.
-1, l, -1/4
Let t be 6 + (0/3)/(-2). Sort 1, 0.1, t in descending order.
t, 1, 0.1
Let o be 128/12*9/(-6). Let g be (-5)/3 - o/24. Sort 1, g, 4 in decreasing order.
4, 1, g
Let c = 14 + -14. Let h = c + -0.3. Sort h, 3, -2.
-2, h, 3
Let r be (0 - 3/(-10))/((-15)/(-25)). Put r, 2/3, -3/2, 0.4 in decreasing order.
2/3, r, 0.4, -3/2
Let q = -1.2 + -0.8. Let x = -1.6 - q. Sort -1/5, -7, x in increasing order.
-7, -1/5, x
Let q(h) = -h - 3. Let c be q(-7). Suppose -3*n - n + 8 = 0. Put n, -1, c in decreasing order.
c, n, -1
Suppose 2*b - 1 = -3. Let s be 1/1 - (b - -6). Let y be s/22 - 0/1. Put y, 0, -4 in descending order.
0, y, -4
Let i = -7.91 - 0.09. Let k = -0.4 - -8.9. Let o = i + k. Put -0.1, o, 2/3 in increasing order.
-0.1, o, 2/3
Let n(g) = g**3 - 6*g + 0*g**3 - 3 + 4*g**2 + g**2. Let a be n(-6). Let v(i) = i + 9. Let c be v(-11). Sort 2, c, a in descending order.
2, c, a
Let u = 4.03 - 0.03. Let b = 0.96 - -0.04. Let x = 1.5 - b. Sort u, 2, x in decreasing order.
u, 2, x
Suppose -4*j + 3*d - 5*d = 20, -3*d = 0. Sort 6, 5, j, 1 in increasing order.
j, 1, 5, 6
Suppose -3*z = 15, 3*u - 3*z - 15 = 2*u. Suppose 23 + 9 = 2*q. Let w = q + -14. Put w, u, -4 in ascending order.
-4, u, w
Let y = 2.3 + -2.47. Let c = 4.17 + y. Sort c, -0.01, -0.3 in increasing order.
-0.3, -0.01, c
Suppose 2*c - 4 = y, -2*y - y = 2*c - 20. Put 3, y, -4 in descending order.
y, 3, -4
Let w be (-1)/((-3)/15*-1). Suppose -4*s - 4 = -2*s. Sort w, -3, s in decreasing order.
s, -3, w
Let t = -0.3 + 0.3. Let p = t - 5. Let w be (1/(-22))/((-3)/(-12)). Sort p, w, 0.2.
p, w, 0.2
Suppose 0 = 4*b - 9*b + 5. Let i = 11 + -14. Put b, i, -2 in decreasing order.
b, -2, i
Let g = 8.3 + -8. Let l = g + 0.2. Let j = 18 + -21. Sort 2, j, l in decreasing order.
2, l, j
Let c = -13 + 13.28. Let b = -0.08 + c. Sort 0.8, -2/3, b.
-2/3, b, 0.8
Let s = -2 + -1. Suppose i + 6 = -2*i. Sort -1, i, s in ascending order.
s, i, -1
Suppose -6 = -t - t. Let c(r) = -8*r - 2. Let l be c(-2). Suppose 5*m + 5*j = 2*m, -m = -3*j - l. Sort -2, t, m in descending order.
m, t, -2
Let k be (-4)/14 + (-60)/(-14). Let s = -9 - -7. Sort k, 2, s.
s, 2, k
Suppose 20*f - 72 = 28. Put -2, f, -3, 3 in ascending order.
-3, -2, 3, f
Let c = 0.19 - 0.39. Sort c, -1, -0.1.
-1, c, -0.1
Let v(h) = -h**2 + 6*h - 6. Let x be v(4). Let m = x - 3/2. Sort m, 1, -4.
-4, m, 1
Suppose 1 = -x + 3. Suppose -x = 3*j - h + 8, -h + 2 = -j. Put 5, 1, j in ascending order.
j, 1, 5
Suppose 5*m + 0*q = 5*q, -q = 5*m. Sort -4, -3, m, 5.
-4, -3, m, 5
Suppose 2*q - 3 = -q. Let i be (8 + -2)*4/(-8). Sort i, q, 2 in ascending order.
i, q, 2
Let w be (-3)/12*-2*-2. Let h = -3 + 8. Let d = h + w. Put d, 5, -3 in ascending order.
-3, d, 5
Suppose -8 = s - 3. Sort s, 1, -1.
s, -1, 1
Let g(b) be the third derivative of b**5/60 + b**4/6 - 7*b**3/6 + 3*b**2. Let m be g(-5). Sort 3, m, -1 in ascending order.
m, -1, 3
Suppose 0 = 4*x + x + 60. Let p = x - -12. Sort 3, -2, p in decreasing order.
3, p, -2
Let d be (0 - 2) + 1 + 0. Suppose 8 - 4 = -4*y + 4*n, -5*y + 16 = 2*n. Suppose -u - u = -y. Put -5, u, d in decreasing order.
u, d, -5
Suppose 0 = -5*l + l - 3*j - 24, 0 = -5*l - 2*j - 23. Let r = -0.3 + 0.1. Let w = 3.9 + -4. Put r, w, l in ascending order.
l, r, w
Let w = -67/24 - -29/8. Sort 0.2, w, -5.
-5, 0.2, w
Suppose 3*s + 3*w = -24, w - 5 + 23 = -2*s. Sort -3, 4, s.
s, -3, 4
Suppose 0 = 11*m - 6*m - 40. Put -0.3, m, 0.4 in increasing order.
-0.3, 0.4, m
Let d = -31 - -32. Put -4, d, -0.1 in decreasing order.
d, -0.1, -4
Let g(h) = -h**2 + 5*h - 9. Let b be g(4). Sort 4, -3, b in descending order.
4, -3, b
Let u = 156 - 1094/7. Let s = -261 + 255.98. Let h = s + 0.02. Put h, -3, u in decreasing order.
u, -3, h
Suppose -3*n + 3*o - 30 = 0, -13*o = -5*n - 10*o - 50. Sort -2, 3, 5, n.
n, -2, 3, 5
Let r be 0/((-3 + 4)/1). Put -2, 2, r in descending order.
2, r, -2
Let l = -17 + 26. Suppose -15 - l = -4*f. Sort f, -4, -5.
-5, -4, f
Let x(j) = j - 6. Let w be x(-7). Let p = 12 + w. Sort 1, -2, p in increasing order.
-2, p, 1
Let t be (2/(-3))/((-4)/6). Suppose -2*n = -3 - 1. Put -2, t, n in increasing order.
-2, t, n
Let w(j) = -j**3 + 6*j**2 - 4*j - 3. Suppose -20 = -4*s - 0*s. Let v be w(s). Sort -2, -5, v in increasing order.
-5, -2, v
Let k(d) = -d**3 + 8*d**2 - 7*d. Let b be k(7). Suppose 0 = -2*s + 6*s - 4. Let l(m) = -m + 9. Let x be l(4). Put b, s, x in decreasing order.
x, s, b
Let u(j) = -2*j**2 - 2*j + 1. Let t be u(-2). Sort 0, -1, -2, t in decreasing order.
0, -1, -2, t
Let b be (1 + 2)*(-8)/8. Sort 0, 16, b in ascending order.
b, 0, 16
Let x be (10/3)/(14/21). Let v = -0.2 + 0.2. Let l = -4/15 - -3/5. Sort x, l, v in decreasing order.
x, l, v
Let x = -21 + 19. Let j be 0/1 - (-8)/1. Let t = -12 + j. Put x, t, 1 in descending order.
1, x, t
Let m be (1130/(-185))/(-2) - 3. Put 2, m, 0 in increasing order.
0, m, 2
Let c(a) = 2*a + 1. Let o be c(1). Let j = 4 - o. Let u = j + 2. Sort u, 5, -2 in descending order.
5, u, -2
Let v = -0.09 - 0.01. Let s = v + 0. Sort -3, s, -2 in descending order.
s, -2, -3
Let t(m) = 2*m + 3. Let a(w) = w + 1. Let n(s) = -4*a(s) + t(s). Let h be n(-2). Sort h, 5, -5.
-5, h, 5
Let r(n) = -25*n**3 + n**2 + n. Let j be r(-1). Let k = j + -26. Sort 5, -2, k in decreasing order.
5, k, -2
Let d = 0.26 - 1.36. Let y = 0.6 + d. Sort -2/11, -0.4, y.
y, -0.4, -2/11
Let p = 56/3 + -19. Let a = 274.01 + -279. Let y = a + -0.01. Sort 3, p, y.
y, p, 3
Let r = 9 - 9. Let a = -30 - -29. Sort -2, a, r in descending order.
r, a, -2
Suppose 0 = 2*u + 1 + 5. Suppose d + 0*d + 4 = 0. Sort u, 1/4, d.
d, u, 1/4
Suppose 2*i - i + 4*a = -4, -4*a = -i + 12. Let w = -3.8 - -4. Let t = w - 0. Put i, 5, t in decreasing order.
5, i, t
Let i be 1/(-4 - (-33)/9). Sort 0, -4, i in ascending order.
-4, i, 0
Let g be (-8 - (-4 - -1))/1. Let h(v) = v**2 + 5*v. Let r be h(g). Put 5, -4, r in descending order.
5, r, -4
Let b(u) = 3*u - 14. Let c be b(6). Suppose c*m = -m. Put 3, m, -3 in ascending order.
-3, m, 3
Let u be (72/40)/((-6)/(-20)). Let m(t) = -t**3 + 5*t**2 + 5*t + 7. Let w be m(u). Let s be (-9)/(-6)*(3 + -1). Put s, w, -1 in ascending order.
-1, w, s
Suppose -55 = a - 3*g, 261 = -5*a - g + 2*g. Let f be a*(21/12)/(-7). Put -3, f, 3 in decreasing order.
f, 3, -3
Let a = -18.5 + 18. Let h = -0.27 - -5.57. Let c = -5 + h. Sort 3, c, a in descending order.
3, c, a
Let r = -6 - -3. Let p be -2*((-15)/2)/r. Sort -1, -3, p in decreasing order.
-1, -3, p
Suppose 0 = -0*k - k + 1. Suppose 0 = m - 13*m. Put -7, k, m in descending order.
k, m, -7
Let q = -0.05 + -0.01. Let z = q + 3.06. Let l = 6 + -6.4. Put z, -0.1, l in descending order.
z, -0.1, l
Let h be (3265/50)/((-3)/6). Let a = 131 + h. Let l = -0.2 + 0.2. Put l, a, 0.2 in increasing order.
l, 0.2, a
Let p = -0.03 - -5.03. Let a = p - 2. Sort 0.5, a, -0.1 in descending order.
a, 0.5, -0.1
Let p = 0.38 + -0.08. Let a = -3.9 - -4. Let f = 2.9 + a. Put -2, p, f in ascending order.
-2, p, f
Let p(l) = -3*l + 6. Let i be p(3). Put i, -1, 5 in increasing order.
i, -1, 5
Suppose 2*n - 9 = 3*d + 5, -3*n - 9 = 3*d. Sort 6, n, 0.5 in decreasing order.
6, n, 0.5
Suppose -2*u = -i - 2*i - 7, 2*u - 1 = -3*i. Suppose 4*r - u = -6. Let n(c) = c**2 - 3*c + 2. Let z be n(2). Sort 1, z, r in ascending order.
r, z, 1
Let y = -0.7 + 3.7. Let j = -74.6 - -75. Put 0, j, y in decreasing order.
y, j, 0
Suppose -3*f - 3 = 3*t - 6, -5*t - 1 = -f. Put -2/13, -1, -3, f in decreasing order.
f, -2/13, -1, -3
Let x = 0.3 - 0.2. Let i = 44/13 - 510/143. Put i, x, 5 in descending order.
5, x, i
Let r be 3*((-128)/12)/(-8). Put 3, r, -5 in decreasing order.
r, 3, -5
Let a be 3 + (-2 + 0 - 3) + 0. Let q be (-6)/(-27) - 7/(-9). Let i be 2/1 - 2/q. Sort 5, i, a in decreasing order.
5, i, a
Let i = -11 - -13. Let w = -3 - -5.6. Let r = w - 3. Sort -0.2, r, i in ascending order.
r, -0.2, i
Suppose 0 = 9*q + 8 + 10. Sort q, -2/7, -3, -0.14.
-3, q, -2/7, -0.14
Suppose -2*s + 4 = -0*s. Suppose 3*f - 9 - 3 = 0. Put -2, s, f in increasing order.
-2, s, f
Let u be 1*(0 - 5/1). Let s be u/10*(-72)/2. Suppose 4*i + g - s