 Sort 12, a, 1.
a, 1, 12
Suppose 3*z + 10 = 4*c, 5*c + 4*z + 3 + 0 = 0. Let r = -295 + 655/2. Let d = 33 - r. Sort 3, d, c in descending order.
3, c, d
Let a = -27.63 + 27.13. Sort -0.08, 0.02, a, 5.
a, -0.08, 0.02, 5
Suppose -2*c - 91 = -15*c. Sort c, 5, 0, 4 in decreasing order.
c, 5, 4, 0
Let d = 519 - 523. Put -0.2, -6/7, d, -0.16 in decreasing order.
-0.16, -0.2, -6/7, d
Suppose -121 = -4*i - 425. Let n = -77 - i. Put 3, n, 5 in descending order.
5, 3, n
Suppose 2*g - 6*g - 3*d + 20 = 0, -3*d = 0. Suppose 0 = g*i - 2*i. Sort -1, i, -3.
-3, -1, i
Suppose 0*n - 5*n = -2*j - 12, -3*j + 5*n - 8 = 0. Let k(d) = d - 4. Let z be k(j). Suppose -4*m - 616 = -628. Sort z, -1, m in decreasing order.
m, z, -1
Suppose -q = -5*z + 6, -2*z - 2 = 3*q - 1. Sort -2, q, 188 in increasing order.
-2, q, 188
Let y = -0.57 + 0.77. Sort y, 2/7, -7.
-7, y, 2/7
Let z(b) = b**3 + 2*b**2 - 11*b + 39. Let f be z(-6). Sort -3, f, -5.
f, -5, -3
Suppose -6*h = 8*h - 14. Put 3, h, -3, -4 in decreasing order.
3, h, -3, -4
Let b be 8 + (-490)/63 + 93/(-54). Put b, 0.4, -3, 0 in ascending order.
-3, b, 0, 0.4
Suppose 2*j = 3*j - 3*d + 7, 4*j + 5*d = 6. Sort 4, -2, 2, j.
-2, j, 2, 4
Let f(v) = -2*v - 2. Let o be f(0). Let y(z) = z**3 - 6*z**2 + 5*z + 6. Let w be y(5). Let g be 5/1 - (w - 4). Put 1, o, g in increasing order.
o, 1, g
Suppose 0 = -5*j + 21 + 19. Let i be (-4 + j)/92*2. Let f = -1.024 - -0.024. Put i, 1/5, f in increasing order.
f, i, 1/5
Let d = 7 - 4. Sort 5, 4/11, d in decreasing order.
5, d, 4/11
Let y = -240 - -220. Put -0.4, y, -4 in descending order.
-0.4, -4, y
Let l be (((-306)/27)/(-17))/((-1)/(-3)). Sort 1, 4, -4, l in decreasing order.
4, l, 1, -4
Let z be 8/24 - 10/3 - -15. Suppose -z*a = -7*a - 40. Let t be 9/(-7) + (-10)/(-35). Sort t, 3, a in increasing order.
t, 3, a
Let q be ((-65)/(-15))/(-13) + 7/3. Let o = -13 - -19. Put q, 1, -3, o in ascending order.
-3, 1, q, o
Let j = 3 + -8. Let a(l) = -l**3 - 6*l**2 - 24*l - 142. Let k be a(-6). Sort k, j, -2 in increasing order.
j, -2, k
Suppose 0 = -4*m - 5*h + 7 - 24, -5*m = -4*h - 30. Suppose 3*j - 12 = 3. Suppose -c - 3*q + 2 = -2*q, 0 = -j*c + 5*q + 30. Sort c, -4, m in descending order.
c, m, -4
Let l = -942 + 931. Put 4, l, -2, -3 in ascending order.
l, -3, -2, 4
Let b = 18 + -16. Let r be -1*(0*(-4)/(-4))/(-1). Sort r, 1, b, 4 in descending order.
4, b, 1, r
Let r = 20 - 21. Let l be 2 - (-1 - -3) - r. Let j = 1 + -1. Sort -3, j, l in decreasing order.
l, j, -3
Let m = 3488 + -3488. Let n(d) = d**3 + 4*d**2 - 5*d + 4. Let i be n(-5). Sort 12, m, i.
m, i, 12
Suppose -4*c - 4*r = -0*r, -4*r = -16. Let i be (-16 - -10)*c/6. Sort 2, i, -4 in increasing order.
-4, 2, i
Let d = -686 + 685.9. Let y(m) = 2*m**2 + 2*m + 2. Let i be y(-2). Suppose 2 = b + i. Put b, d, 1/2 in increasing order.
b, d, 1/2
Let v = -99.6 - -95.6. Sort v, -21, 3 in descending order.
3, v, -21
Let b = 0.1415 + -0.3415. Sort -5/3, b, 6, 0.02 in descending order.
6, 0.02, b, -5/3
Let n = -213 + 213. Sort n, 10, -8.
-8, n, 10
Let l be ((-345)/3 + 3)/((-80)/(-280)). Sort -1, -0.4, l in decreasing order.
-0.4, -1, l
Let p be (2 - 96)/2 - 1. Suppose 0 = o + 2 + 4. Let x be (16/o)/((-32)/p). Put x, 0, 1 in descending order.
1, 0, x
Let z = 11.36 - 11.56. Put -0.6, z, 2/7 in ascending order.
-0.6, z, 2/7
Let k(d) = -d**3 - 6*d**2 - 5*d + 3. Let o be k(-5). Put -3, 2/5, 22, o in ascending order.
-3, 2/5, o, 22
Let v = 3.4 - 3.3. Sort 0.4, 0.8, -4, v in increasing order.
-4, v, 0.4, 0.8
Let t(a) = a**2 + 40*a - 171. Let n be t(-44). Sort 1, 3, n in descending order.
n, 3, 1
Let h be 21/(-9) - (-4)/(-6). Sort h, 0, 1, -34 in descending order.
1, 0, h, -34
Let o be (-18)/(-3)*2/(-8). Let q = 6473 - 6472. Sort o, 0.5, 2/13, q in increasing order.
o, 2/13, 0.5, q
Let f = -27 - -24. Let h be 45/24 - f/(-2). Let y = 0 + -2. Put 2/5, y, h in decreasing order.
2/5, h, y
Suppose 0 = -105*o + 83*o - 22. Sort 0, -581, 3, o.
-581, o, 0, 3
Let j(w) = w**2 - 11*w + 23. Let d be j(4). Sort d, 20, 0.
d, 0, 20
Let d be (0 + -1)/((-2)/(-4)). Let c = -3 + 6. Let f(l) = l**3 + 46*l**2 + 92*l + 177. Let z be f(-44). Put d, c, z in ascending order.
d, z, c
Let v = 4 + -7. Suppose 4*w = -19 - 1. Let x(l) = -2*l - 2. Let n be x(-2). Put n, v, w in ascending order.
w, v, n
Let c = 1608/143 + -210/13. Put 5, -3/4, c in increasing order.
c, -3/4, 5
Suppose -173*r = -113*r - 120. Put -4, 5, 6, r in decreasing order.
6, 5, r, -4
Let g = 21 - 20. Let c(r) = -r**2 - r + 1. Let u(m) = -4*m**2 - 12*m + 10. Let k(b) = 5*c(b) - u(b). Let l be k(7). Sort 4, g, l in descending order.
4, g, l
Let k be 12/(-16)*4/(-5). Let h = 15.1 - 16. Sort h, k, 3.
h, k, 3
Let d = -64 - -29. Let x = 30 + d. Sort x, 2/9, -2 in descending order.
2/9, -2, x
Let z be 9/(-20)*(-35)/(-42). Put 0.1, 2, -4, z in decreasing order.
2, 0.1, z, -4
Let f = 6 - 2. Suppose -3*a + f*n = -4*a + 8, 43 = 4*a + 5*n. Suppose -2*b - 2*x - 19 = -7, -2*b + 4*x + a = 0. Sort -5, 0, b in increasing order.
-5, b, 0
Let r be ((-24)/(-32))/(3/8). Put r, -1, -3, 17 in decreasing order.
17, r, -1, -3
Suppose 0*d - 6 = -2*d. Suppose 12*j - 12 = 9*j. Suppose d*f + j = -5. Sort 1, f, 3 in increasing order.
f, 1, 3
Suppose -26*p - 29 = 3*p. Suppose 2*d + 6 = 2*a, -15 = 4*a + 6*d - d. Suppose -q + f = 1, -2*q + a*f = -3*f - 2. Put p, q, 3 in ascending order.
q, p, 3
Let g = 9/67 + -179/335. Let p = -179/4 - -44. Sort p, g, 3 in descending order.
3, g, p
Let w = 1.458 + -0.458. Put -1/3, -4, w, -1 in increasing order.
-4, -1, -1/3, w
Let x = 1 + 1. Suppose -x*w = -0*w. Let y be 4/(-8)*-15*2/(-3). Sort y, w, -2 in ascending order.
y, -2, w
Let p be ((-18)/4)/((-1)/4 + 1). Let g be (-25 + 13)*2/p. Put 3, 0, g, 8 in decreasing order.
8, g, 3, 0
Let n = 23 - 23. Let m be (4/(-10))/((-2)/10). Put n, -2, m, 3 in decreasing order.
3, m, n, -2
Let q = 2/3417 + -2244979/17085. Let d = q + 131. Let g be 4/9 - (-6)/(-27). Put d, g, 4 in descending order.
4, g, d
Let y = -1138 + 14792/13. Sort -0.4, y, 0.3 in increasing order.
-0.4, y, 0.3
Let s = 35 - 733/21. Suppose -5*k + 222 = -78. Let l = k + -178/3. Put s, -3, l in descending order.
l, s, -3
Let r be (-368)/5 - (-2)/(-5). Put 2, -2/3, r in increasing order.
r, -2/3, 2
Let z = 2 + -2. Let n = 0.1 + z. Let b be (8/40*1*-3)/((-48)/20). Put b, 4, n in increasing order.
n, b, 4
Suppose 4*m - 5*g - 13 = 0, -11 = -4*m + 2*g + g. Suppose m*s + 6 = 5*s. Let v be s/(((-4)/(-2))/(-1)). Put v, -2, -5 in ascending order.
-5, -2, v
Let n(q) = -q**3 - 11*q**2 + 14*q + 14. Let d be n(-12). Let g = d - -7. Put 5, 0.16, g, -0.1 in descending order.
5, 0.16, -0.1, g
Suppose -16 = -4*u, -6 - 13 = 5*m - u. Suppose -s = r - 3*s + 19, -5*s = 3*r + 2. Sort m, 0, r, 3 in increasing order.
r, m, 0, 3
Let n be (-589)/(-760) - (-4)/(-10). Let b = 17 + -19. Sort n, b, 0.1, 3 in descending order.
3, n, 0.1, b
Let c = -18 - -28. Suppose 4*y = -y + c. Let z be 9/(-1 + -2) + 4. Sort z, -5, y in descending order.
y, z, -5
Let v = 0.1 - -0.1. Let o = -5829.5 - -5829. Put v, o, -3/19, -4 in descending order.
v, -3/19, o, -4
Let h(p) = -4*p - 22. Let l be h(-7). Let q be 4/(16/12) - l. Put q, 4, 2 in ascending order.
q, 2, 4
Suppose 3*d + 0*d + 5*q - 77 = 0, 0 = -3*d + 4*q + 41. Suppose g = 5*r - d, 2*r - 5*g = -g + 4. Sort 1/2, 4/3, r, -3/7 in decreasing order.
r, 4/3, 1/2, -3/7
Let v(y) = y**3 - 8*y**2 - 10*y + 14. Let n be v(9). Sort -69, n, 2 in descending order.
n, 2, -69
Let t = 16 - 11. Let s(u) = -2*u**2 + 11*u - 4. Let f be s(t). Put f, -0.3, 0.4, -0.5 in increasing order.
-0.5, -0.3, 0.4, f
Suppose 0 = 3*h - 3, -5*q - 25 = -7*h + 2*h. Let r be 3*(q + (-32)/(-12)). Let v = 0.37 + -0.17. Sort -8, v, r in descending order.
v, r, -8
Suppose 3 + 15 = 2*k. Suppose -9*c + 6*c + 15 = 0. Suppose 5*b + 5 = 0, -h - c*b + 3 = 12. Put h, -3, k in descending order.
k, -3, h
Let l(g) = g**3 - g**2 - g + 1. Let j be l(1). Let h = 13 + j. Let b be ((-4)/6)/(h/(-39)). Put b, -3, -4 in descending order.
b, -3, -4
Suppose -4 = -2*a + o + 2, 0 = 2*o + 8. Put a, -35, -4 in descending order.
a, -4, -35
Suppose 4*r = 2*r - 3*h - 85, -46 = r + 5*h. Let v = 46 + r. Put -2, 2, v, -8 in increasing order.
-8, -2, 2, v
Suppose -2*p - 4*f + 6 = 0, 14*f = 5*p + 16*f - 7. Put p, 240, 3, 2 in descending order.
240, 3, 2, p
Suppose 0 = 