rt i, s, 2 in descending order.
2, s, i
Let r = 18 - 17. Sort 0, r, 9.
0, r, 9
Let s be 21/(-7) + (9/12 - -2). Sort s, 2/19, 2/5.
s, 2/19, 2/5
Let z = 1.94 - -0.06. Suppose 14 - 20 = 3*c. Put -2/11, c, z in ascending order.
c, -2/11, z
Let n = 1.7 + -7.7. Let q = -6.4 - n. Put q, 3, -0.07 in descending order.
3, -0.07, q
Let u = 0.6 + -0.2. Let s = -0.4 + u. Let p = 0 + s. Put -3, p, -4 in descending order.
p, -3, -4
Let s = -55 - -55. Sort -1/6, 3, s, 4.
-1/6, s, 3, 4
Let a be (-4)/(-2)*((-65)/(-10) + -5). Sort a, -12, 2 in decreasing order.
a, 2, -12
Let f = 0.105 - 0.505. Let i be 2/(-8) + (-51)/(-12). Sort f, i, -2.
-2, f, i
Let w be 8/2 + 0/(-1). Let s(h) = -h + 1. Let y be s(3). Let d = -3 - y. Sort w, d, -2 in decreasing order.
w, d, -2
Suppose 5*m - 2*y = 0, -4*y = -2*y. Suppose 31*b + 24 = 117. Sort m, b, 2 in decreasing order.
b, 2, m
Let x(g) = -4*g - 3. Let a be x(-2). Let o = a - 2. Let h(y) = -y**3 + 8*y**2 - 6*y - 10. Let p be h(7). Put p, o, 0 in increasing order.
p, 0, o
Let k = -35 + 32. Sort -5/6, 1, k.
k, -5/6, 1
Let c be (-20)/6*6/(-4). Let m = 107 - 107. Sort m, c, 2.
m, 2, c
Let m(k) = 3*k**2 - 5*k - 1. Let u be m(4). Suppose -4*q = -q - u. Suppose -9 = -2*f - i, f + q = 2*f - 4*i. Sort -2, 0, f.
-2, 0, f
Suppose 0*q - 4 = -q + 2*t, 0 = -4*t - 12. Let v(j) = j**3 + 4*j**2 - 4. Let d be v(-3). Let r = -10 + d. Sort r, q, 4 in descending order.
4, q, r
Let k = 8 - 7. Sort -4, -3, k in increasing order.
-4, -3, k
Suppose 9 + 3 = 4*f. Put f, -15, 5 in increasing order.
-15, f, 5
Suppose -4*j = 4*b + 68, 3*j - 2*j + 5*b + 29 = 0. Sort -3, -5, -4, j in increasing order.
j, -5, -4, -3
Let b be (5/(-2) - -2) + (-21)/2. Suppose 4*j - 3*i = -5, -4*i = 5*j - 5*i - 2. Put b, -4, j in increasing order.
b, -4, j
Let r be 4/(-14) - (-46)/14. Let u = -129 + 134. Sort r, u, -4 in increasing order.
-4, r, u
Let v = -1 - 0. Let b = v + 1.4. Suppose 3*m - 6*m + 6 = 0. Put b, 0.2, m in descending order.
m, b, 0.2
Let c be (-6)/(-8) + 1/4. Suppose 0*u = -u + 1. Let b be ((-3)/(-4))/(u/(-4)). Sort c, 4, b in increasing order.
b, c, 4
Let m(b) = b**3 + 8*b**2 - 8*b + 12. Let h be m(-9). Put -43, h, -1 in decreasing order.
h, -1, -43
Suppose -u - 4*h = -h - 26, 2*u - 7 = 3*h. Put 5, 0, u in ascending order.
0, 5, u
Let i be (-1)/3 - (-70)/(-15). Sort -5/4, i, -1/4 in descending order.
-1/4, -5/4, i
Let l = 0.61 - -0.09. Let n = l - 0.4. Let z = -3 - -3. Sort 3, z, n in ascending order.
z, n, 3
Let s = 36 + -38. Sort -2/7, s, -0.4, -0.3.
s, -0.4, -0.3, -2/7
Let w be -3*2/(-6)*-3. Let u(a) = -a**2 - 5*a - 3. Let v be u(-3). Let t = v + -5. Sort w, t, 0.
w, t, 0
Let g = 20 - 19. Let p be ((-1)/(-2))/(1/10). Suppose -1 + 6 = -p*i. Put g, i, -3 in ascending order.
-3, i, g
Let r = 15 - 19.4. Let q = 0.4 + r. Sort -1, 0.1, q in decreasing order.
0.1, -1, q
Let u(n) = n**3 - n**2 + 2*n + 1. Let t be u(-2). Let x be (-66)/t - (-4)/(-10). Suppose 8*v - 13*v = -15. Put v, -3, x in decreasing order.
x, v, -3
Suppose 0 = -3*g - 12. Put g, 1, 4 in decreasing order.
4, 1, g
Let h(b) = b**3 - 2*b**2 + 2*b - 1. Let x = 4 - 2. Let i be h(x). Sort 0.5, i, -2/9 in descending order.
i, 0.5, -2/9
Let t = 3.5 + -4. Let j be (1 - 1) + (-2 - 55). Let v = -284/5 - j. Put v, 5, t in increasing order.
t, v, 5
Suppose 3*q - 3 = -y + 4, 0 = 5*q - 4*y - 40. Let b = 10 - 7. Let m be -2 - (-3 + 0)/b. Put 2, q, m in decreasing order.
q, 2, m
Let w(x) = -1. Let l(f) = 53*f - 265. Let i(z) = l(z) - 265*w(z). Let b be i(-2). Let q be b/22 + (-2)/11. Put -3, -2, q in decreasing order.
-2, -3, q
Suppose 3*b - 5*b = -3*f - 20, -3*f = 3*b + 15. Sort f, -3, 1 in decreasing order.
1, -3, f
Let m = -3 - -2. Let v(d) = -7*d**3 + 2*d**2 - d + 1. Let g be v(1). Put 0.2, m, g in decreasing order.
0.2, m, g
Suppose 19 = 4*j + 7, -1 = -2*h - j. Let p(b) = -b**3 - 7*b**2 - 7*b - 2. Let u be p(-6). Put u, h, 2/17 in decreasing order.
u, 2/17, h
Let s(i) = i + 2. Let u be s(12). Put -3, u, -1, 5 in decreasing order.
u, 5, -1, -3
Suppose -4*v + 0*v + 24 = -4*u, 0 = v + u - 6. Suppose 4*f - 6 - v = 0. Put 1, -4, f in increasing order.
-4, 1, f
Let i = 83 - 58. Suppose -5*j + 0*j - i = 0, -5*l = 2*j + 20. Put l, -1, -5 in descending order.
-1, l, -5
Let x = -2.7 + 3. Suppose -i - 1 = -4. Sort x, -1/10, i in ascending order.
-1/10, x, i
Let g = 13 - 18. Put -3, g, 3 in decreasing order.
3, -3, g
Let n = 5 - 5.1. Let x be 2/(-6)*21/14. Put x, 3, n in increasing order.
x, n, 3
Let v = -14 - -9. Put v, 4, 2 in ascending order.
v, 2, 4
Suppose 0 = -3*v - 3*m + 27, -20 = -m - 4*m. Suppose -8 = v*d - d. Let y be 1*(-2 - d) - 2. Put y, 0, -5 in ascending order.
-5, y, 0
Let p(u) = 3*u + 3. Let r be p(-3). Let j be (r/(-15))/((-2)/(-10)). Suppose a - 14 = 3*b, -2*a + 4*a = -j*b + 4. Put -5, -4, b in decreasing order.
b, -4, -5
Let u = -14/839 - -91521/4195. Let i = 1209/55 - u. Suppose 4*r - 2*r = 6. Put r, i, -1 in decreasing order.
r, i, -1
Let n = 7 - 12. Let m = 3 + n. Let c = m - 1. Sort 0.3, c, -3/7 in descending order.
0.3, -3/7, c
Let o = 0.1 - 0.1. Let s be (1/(-1))/(2*2). Let z = -3 - -3.5. Put s, o, z in descending order.
z, o, s
Let p = -0.02 - 0.28. Let i = -0.2 + p. Let j = -10 + 11. Sort j, i, 0.1.
i, 0.1, j
Let i = 27 - 17. Suppose -2 = -2*w - i. Sort -2, w, -3 in ascending order.
w, -3, -2
Let i = -247/18 + -106/9. Let g = -353/14 - i. Sort 2, g, -1/10.
-1/10, g, 2
Let o = 6 + -20. Let b be 4/o - (-88)/210. Let f = 10.8 + -13.8. Sort b, 4, f in descending order.
4, b, f
Suppose -8*d = -3*d - 25. Let a(v) = v**2 - 3*v + 2. Let c be a(3). Put d, 4, c in ascending order.
c, 4, d
Suppose 8*g + 3*b = 4*g + 17, -3 = -g - 2*b. Sort -1, g, -4 in descending order.
g, -1, -4
Let f be -4 - -3 - (-5 - -6). Let s be 33/18 + f/(-3). Put 1, 0.6, s in descending order.
s, 1, 0.6
Suppose -2*i = 3*u - 5, 2 - 32 = -3*i + 3*u. Sort i, 5, 3 in ascending order.
3, 5, i
Suppose -h + 19 = -4*t, 0 = -h - 2*h + t + 2. Sort 2, 4, h in increasing order.
h, 2, 4
Let j = 0.7 + 1.3. Let y be (-84)/(-45) - 1*2. Sort j, y, -1 in descending order.
j, y, -1
Let v be 0*((-7)/(-2))/(-7). Let x be (1 + -3)/(2/(-5)). Put x, v, 1 in increasing order.
v, 1, x
Let h = 11 + -4. Suppose 3*x - h*x = -4. Let p(n) = -n**3 - 2*n**2 + 3*n - 2. Let b be p(-3). Sort x, 3, b in increasing order.
b, x, 3
Let x be (4/(-6))/((-16)/768). Let u be (-8)/x - 1/(-8). Sort -1/4, 2, u in descending order.
2, u, -1/4
Let b = 7 - 11. Let k = 0.54 + -0.04. Put 3, b, k in decreasing order.
3, k, b
Suppose -2*c + 5*f + 2 + 9 = 0, -3 = -2*c - 3*f. Let k be (2 - c) + 0 + 0. Sort 2, k, 1 in increasing order.
k, 1, 2
Let p be (-334)/(-22) - 3/((-132)/(-8)). Sort -5, -2, 4, p.
-5, -2, 4, p
Let r = 1 - 1.5. Let t be (3/(-18))/((-1)/(-2)). Put -4, r, t in decreasing order.
t, r, -4
Let b = 0.238 + -0.038. Sort -0.2, -2/3, 1, b.
-2/3, -0.2, b, 1
Suppose 12*p = 6*p - 6. Let o be (15/(-6))/(-5)*-14. Sort -4, p, o in decreasing order.
p, -4, o
Let d be 1/((-1)/(-5))*(7 + -6). Sort 1, 4, -1, d in decreasing order.
d, 4, 1, -1
Let o(a) = -a + 26. Let g be o(17). Sort 2, g, 0.
0, 2, g
Suppose -4*x + 4 = -8*x. Suppose -3*k + 28 = 4*f, -2*k + 5*f - 9 = 3. Sort 0, x, k in decreasing order.
k, 0, x
Let w(v) = 1 - 2 - 7*v - 3 - v**2. Let b be w(-6). Suppose -3*p - i + b*i + 15 = 0, 0 = -p + 5*i + 5. Put p, -2, 2 in increasing order.
-2, 2, p
Let l = 2.02 + -0.02. Put 0.11, 4, l in descending order.
4, l, 0.11
Let i = 1/823 + 53444/41973. Let p = i + 1/17. Suppose 2*r + r - 9 = 0. Sort r, p, 4.
p, r, 4
Let v = -28 + 40. Let d be ((-6)/4)/(v/16). Sort d, 3, -5.
-5, d, 3
Let l be 1/(-3) - (0 + -1). Let x = 28444 - 1564349/55. Let f = x + -12/11. Sort f, -2, l.
-2, f, l
Suppose -3*h + 4 - 1 = 0. Put h, -2, 3 in increasing order.
-2, h, 3
Let b = 45/113 + 43552/1017. Let a = b - 131/3. Let u(s) = -5*s - 1. Let i be u(-1). Put a, i, -2 in descending order.
i, a, -2
Suppose -6 = 3*v - 21. Let c(m) = -15*m + 63. Let y be c(4). Put v, 2, y in ascending order.
2, y, v
Let l = -48152 - -287617/6. Let q(t) = -214*t**3 - 1. Let z be q(1). Let j = l - z. Sort -3, -4, j in descending order.
j, -3, -4
Let a = -0.4 + 0.7. Let l be 1 + -3 + 5 + -84. Let w = 165/2 + l. Put w, a, -2 in descending order.
w, a, -2
Suppose -3*t = 5*i - 33, -t = 2*i + t - 10. Let w = i - 10. Sort 0.2, 5, w in d