et r = 347.7 + -348. Let z be 3/(-4) + 1/(-2). Let c = 4/177 - -106/531. Sort c, z, r.
z, r, c
Let c = 27 + -9. Let n be (-4)/c - 1/36. Sort 0, n, 6 in ascending order.
n, 0, 6
Let d be -3 - 5/(10/54). Let m = 28 + d. Put 5, 2, m in ascending order.
m, 2, 5
Let l = 0 + -0.5. Suppose 20*b = 15*b - 15. Let c = 0.14 - -0.06. Put l, b, c in descending order.
c, l, b
Let x = 1577 - 1581. Sort -3, -0.0433, x in descending order.
-0.0433, -3, x
Let j = -245 - -251. Sort -0.2, j, -8.
-8, -0.2, j
Let t = -0.02193 + -4.04007. Let o = t + 0.062. Sort -2, o, 3, 6 in increasing order.
o, -2, 3, 6
Let g = -13 + 32. Suppose -4*p = -5*b + g, -5 = 2*p - 3. Put -7, b, 2 in ascending order.
-7, 2, b
Let p(x) = x**3 + x**2 - 3*x + 4. Let d be p(-3). Suppose 0 = -2*l + j + 4*j + 21, -5*l = -4*j - 27. Sort d, l, 1 in increasing order.
d, 1, l
Let x be ((-111)/(-15) + -5)/(18/60). Sort 1, -3, -5, x.
-5, -3, 1, x
Let x(a) = 2*a**3 - a + 5. Let f be x(0). Suppose -f*g - 5*h = 30, h + 1 + 2 = 0. Sort 15, g, 1, -4 in increasing order.
-4, g, 1, 15
Let x = -0.371 + -0.629. Sort 7, -4, -0.1, x.
-4, x, -0.1, 7
Let y be -4 - (2 - 1) - 6. Put 5, -4, y in decreasing order.
5, -4, y
Let m be (-6)/(-9) + (-24)/9. Sort 2, -3, m, 119.
-3, m, 2, 119
Let o be (-7)/(-14) + 514/20. Let w = o - 26. Let u = -2.24 - 0.76. Sort -1, w, u in descending order.
w, -1, u
Let l = -127/42 + 3. Let v = 9/14 - l. Let c = -2 + 6. Sort v, c, -5 in decreasing order.
c, v, -5
Let u(s) = 8*s - 63. Let d be u(8). Suppose -5*i = 5*c + 20, -2*i = -i + 4*c + 7. Sort 5, d, i, 2 in increasing order.
i, d, 2, 5
Let w(b) = -b**3 + 13*b**2 - 34*b - 14. Let j be w(9). Put j, -6, -1 in descending order.
j, -1, -6
Let y(w) = w**3 - 9*w**2 - 12*w - 9. Let g be y(10). Let j = -32 - g. Sort 7, j, 4 in descending order.
7, 4, j
Let j(h) = -35 + 8 + 30*h - 7 - 25*h. Let d be j(6). Sort 0, -0.4, d, -4/3 in decreasing order.
0, -0.4, -4/3, d
Let n = -90 + 101. Suppose -2*a = -1 - 3. Sort a, 4, -3, n.
-3, a, 4, n
Let d be (2/(-10))/(8/10). Let m = 0.7332 + 3.2668. Sort d, -0.3, m in decreasing order.
m, d, -0.3
Let b = -8 - -6. Let l = 4 + b. Let d(w) = 2*w**3 - 19*w**2 - 20*w + 96. Let f be d(10). Sort f, l, -2 in descending order.
l, -2, f
Let y(n) = -2*n + 2*n**2 + 0*n + 2 - 2*n. Let b be y(2). Let t = -54 + 53.8. Put b, 0, t in decreasing order.
b, 0, t
Let a be ((-34)/(-24) - 1)*(-7)/35. Sort 2, -0.1, a in decreasing order.
2, a, -0.1
Suppose t = 5*r - 6, 1 + 1 = -5*r + 3*t. Let f(l) = 4*l. Let z be f(r). Suppose 38 + 2 = -z*s. Sort 6, s, 4 in descending order.
6, 4, s
Let i = 114 - 70. Let c = i - 89/2. Sort 0.4, -2, c.
-2, c, 0.4
Let z = -2.132 + 0.432. Sort z, -5/3, 5 in decreasing order.
5, -5/3, z
Let h = 0.1 - 3.1. Let c = -359.8 + 362. Sort c, -1/3, h in descending order.
c, -1/3, h
Let y = -46.9 + 47. Put y, -2, -1 in decreasing order.
y, -1, -2
Let r = 24 + -24.007. Let j = -24.007 - r. Let w = -26 - j. Sort w, 0.3, 0.2 in ascending order.
w, 0.2, 0.3
Let y(c) = c**3 + 1 - c - 2*c**3 + 1 - c**2. Let t be y(0). Let p be (-1)/((-45)/t)*-5. Put 1/7, p, 2 in increasing order.
p, 1/7, 2
Let u = -487.3 - -487. Sort -116, u, -3.
-116, -3, u
Let t = 6427 + -19283/3. Let y = -0.2 + -0.8. Put -2, y, 3, t in ascending order.
-2, y, t, 3
Let b(y) = -5*y**3 - 9*y**2 + 13*y + 3. Let f(z) = 9*z**3 + 18*z**2 - 25*z - 7. Let m(k) = 11*b(k) + 6*f(k). Let o be m(8). Sort -4, 4, o in ascending order.
-4, o, 4
Let c = 192 + -191.7. Let v(s) = 6*s + 1. Let h be v(-6). Let n = h - -73/2. Sort 3, c, n in ascending order.
c, n, 3
Let v(f) = 3*f - 151. Let d be v(52). Put -238, -1, d, -2 in decreasing order.
d, -1, -2, -238
Suppose 0*b + 5*b + 10 = 0, -3*b = 2*i - 4. Suppose i + 4 = 3*r, p = 4*r - 13. Sort -4, 1, p, 3 in decreasing order.
3, 1, p, -4
Let a be 0 - -1 - (-1 + 18/6). Let o be (a + -2)*((-8)/(-6) - -2). Put 4, -4, o in ascending order.
o, -4, 4
Let m(v) = -4*v**2 - v + 1. Let i be m(-1). Suppose -13 = 4*t + 3. Sort -5, 3, t, i in decreasing order.
3, i, t, -5
Let j be -1 + 3 - (-7 - -4)/3. Let l be j*1 - (0 + 3). Put l, 18, -1, 4 in increasing order.
-1, l, 4, 18
Let h = -58.9 + -9.1. Sort 2, h, -2/3, 0.5 in descending order.
2, 0.5, -2/3, h
Suppose 3*g - 2 - 82 = 0. Suppose 2*o + 4*n = 8, 3*o - 3*n + g = -o. Put -5, 2, o in descending order.
2, o, -5
Suppose -16*a + 5*a + 7*a = 0. Put a, -40, -2 in decreasing order.
a, -2, -40
Let f = 241/336 - 17/42. Let n be (-4 + 1)*4/((-960)/9). Let h = f - n. Sort h, -0.3, -0.1 in increasing order.
-0.3, -0.1, h
Let y(h) = h**2 + 5*h. Let c be y(-5). Let k be 6 + ((-2)/2 - 2). Suppose k*i - 4*i = 5. Sort c, -2, i in decreasing order.
c, -2, i
Let l = 12.4 - 15. Let c = l + 1.6. Sort 2/3, -2, c, 0 in decreasing order.
2/3, 0, c, -2
Let x = -3402 - -13719/4. Sort 0.1, 5, x in descending order.
x, 5, 0.1
Let v = -71 + 69. Let h be v + (3 - 7) + -9. Suppose -4 = 2*f - 5*x, 0*f - f - 7 = -5*x. Put 0, f, h in descending order.
f, 0, h
Let p = -11 + 8. Let f = -3.15 - p. Let t = f - -0.35. Put t, 0.3, -2 in decreasing order.
0.3, t, -2
Let q = 5.4 + -6. Put q, -6, 3 in decreasing order.
3, q, -6
Let n(r) = -2*r**2 + 15*r + 6. Let t be n(8). Let d be 10/(21/9 + t). Let y be (-3)/(-15) + (-12)/d. Sort -1, 0.3, y in descending order.
0.3, y, -1
Let a = -127 + 125. Sort 4, -89, a in increasing order.
-89, a, 4
Let b = 5.9337 + 0.0663. Sort b, 3, -0.029, 1/3 in increasing order.
-0.029, 1/3, 3, b
Let r = -1.08 - -1.5. Let l = -0.58 - r. Put l, -0.7, 3/2 in descending order.
3/2, -0.7, l
Let d = -22 + -25. Let r = -46.97 - d. Put -4, r, 0.1 in ascending order.
-4, r, 0.1
Let v = 0.66 - 0.66. Let z = 34 - 34.2. Sort z, -1/2, v in decreasing order.
v, z, -1/2
Suppose -7*v = -4*v + 3*r + 3, -v - 4*r - 16 = 0. Sort -2, 19, 0, v in decreasing order.
19, v, 0, -2
Suppose -2*y + 3*p - 4 + 2 = 0, 10 = 3*y + 2*p. Suppose y*g - 10 = -6. Suppose g*v + 8 = -o - o, 0 = 4*v - o + 21. Put v, 3, -1 in decreasing order.
3, -1, v
Let y(s) = -s**3 + 11*s**2 - 5. Let d be (22/(-4))/(2/(-4)). Let o be y(d). Put 5, 3, o in ascending order.
o, 3, 5
Let h = 0 + 0.5. Let r = -2.5 - h. Let s = 8201 - 8194. Put s, r, 0 in increasing order.
r, 0, s
Let i be (-15)/10*12/(-117). Sort i, 8, 0.4.
i, 0.4, 8
Let v be (1 - 3)/(4 + 84/(-24)). Put v, 18, 3 in descending order.
18, 3, v
Let n be (-28)/(-35) + 18/(-10). Suppose 0 = -c - 3*v - 24, -2*v - 37 = 2*c + c. Put n, 0, c, 1 in increasing order.
c, n, 0, 1
Let g(x) = 2*x**2 - 55*x - 246. Let k be g(32). Sort 1, 2, k.
1, 2, k
Suppose -2*r - n = 12, 5*n + 24 = 4*r + 48. Put r, -10, 0 in increasing order.
-10, r, 0
Suppose 2*a - 19 = 5*j, -376*j + 3*a = -378*j + 19. Let l(b) = b - 2. Let z be l(-2). Put -3, z, j, -2 in descending order.
j, -2, -3, z
Let g be 18 + 1 + (11 - 12). Put g, 0.3, -1 in increasing order.
-1, 0.3, g
Suppose 3 + 13 = 2*c. Let u be (2/c)/(30/(-72)). Let y = 0.08 + -1.08. Sort 1, u, y.
y, u, 1
Let k = -46 + 47. Put 70, -5, k in increasing order.
-5, k, 70
Let y = -6 + 9. Let a = 0.44 - 16.44. Sort a, -5, y in decreasing order.
y, -5, a
Suppose 30 = 4*q + 5*t, 0*t + t - 22 = -4*q. Suppose 3*b - 5*v - 14 = 0, 3*b + v = q + 3. Put -1/2, -6, b in decreasing order.
b, -1/2, -6
Let p = 4751/5 + -9487/10. Let g = 3 + -12. Let i = g + 13. Put i, p, 3 in decreasing order.
i, 3, p
Let o = 1210.9 + -1315. Let a = o - -104. Put 5, -5, 0.5, a in increasing order.
-5, a, 0.5, 5
Let i = -1/390 - 233/390. Let c = 0.9 + -1.7. Let b = 3.2 - c. Sort -4, b, i.
-4, i, b
Let z = 2 + 1. Let b = 42 - 25. Let o = b - 69/4. Sort 0.01, o, z in descending order.
z, 0.01, o
Let p(c) = c**2 - 2*c - 3. Let a be p(3). Let q = -51 - -60. Put a, q, 5 in decreasing order.
q, 5, a
Suppose -111 = 6*d + 31*d. Sort d, 3, 4, 2.
d, 2, 3, 4
Suppose 3 = -3*f + 2*i - 5*i, 3 = -3*f + 5*i. Let g = 7 + -2. Let l = -1 + 7. Sort l, f, g in increasing order.
f, g, l
Let t(p) = -p**3 + 2*p**2 + 6*p - 3. Let l be t(-2). Let x = 11 + -8. Let u = x + -7. Put -1, l, u in descending order.
l, -1, u
Let t = -20 + 32. Let c be (4/t*-2)/1. Suppose 6 - 1 = -z, 0 = 2*d - 5*z - 23. Sort 0.1, c, d.
d, c, 0.1
Suppose -6*s + 3*s + 14 = -5*w, 3*w + 22 = -5*s. Let o = -1/6 + 2/3. Let f(k) = k**2 - k - 2. Let x be f(-2). Sort s, o, x in descending order.
x, o, s
Suppose 5*d + 8 = 4*a + 4*d, -10 = -5*a - 2*d. Sort 11, 