 Let q be 3/2*(-16)/(-36). Sort q, 2, x in decreasing order.
2, q, x
Suppose 2*x - 6 = -4. Put 18, x, 0 in increasing order.
0, x, 18
Let g(d) = 3*d - 37. Let b be g(12). Let p be ((-12)/(-105))/((-4)/(-20)*b). Sort 4, 5, -3, p.
-3, p, 4, 5
Suppose 3*t - 21 = 4*j + 3, -4*j = 5*t - 8. Put j, 4, -5, 7 in decreasing order.
7, 4, j, -5
Let h = 6.17 + -6.17. Sort -0.2, 1/4, h, -17 in decreasing order.
1/4, h, -0.2, -17
Let o be (-247)/76 + (-6)/8. Let d be (-11)/o + (-9)/12. Put d, 3, 0.1 in decreasing order.
3, d, 0.1
Suppose -14*f + 15 = -3*t - 11*f, 2*f - 6 = t. Sort 0.3, 5/49, t in descending order.
0.3, 5/49, t
Let r = -14.868 - -11.868. Let j = -0.12 - -0.2. Sort r, 0.5, j in ascending order.
r, j, 0.5
Let h be (6/1)/(9*4/(-48)). Put -5, -2, h, 3 in descending order.
3, -2, -5, h
Let p be 88/(-10) - 428/(-535). Put 5, -3, p, 3 in descending order.
5, 3, -3, p
Let u = -17.7 - -17.8. Sort 1, u, 3.
u, 1, 3
Suppose 3*i + 18 = -2*i + 2*q, 0 = -2*i + q - 7. Let k be 32/(-28)*(15/(-4) - i). Sort k, 1/3, 0.1, -5 in increasing order.
-5, k, 0.1, 1/3
Suppose 156 + 352 = -2*m. Let o = 5843/23 + m. Let u = -0.6 + 0.7. Put o, u, -2/15 in descending order.
u, o, -2/15
Let z be (-125)/30*(-2 + (-158)/(-80)). Let r = z + -13/48. Put -1, r, 3/2, 5 in ascending order.
-1, r, 3/2, 5
Let p = -1884 + 1884.2. Suppose -3*x = 2*x - 10. Sort x, p, -5 in ascending order.
-5, p, x
Let g = 23 - 25. Let b = -26 - -25.8. Sort 3/4, g, b, -2/3.
g, -2/3, b, 3/4
Suppose -65 = -5*t + h, -5*h = -2*t + 16 + 10. Let w = -41/3 + t. Sort -2/11, w, 0.3, -4 in descending order.
0.3, -2/11, w, -4
Let s(m) = -m - 1. Let u(o) be the first derivative of 5*o**2/2 + 18*o - 5. Let y(r) = -6*s(r) - u(r). Let c be y(7). Sort 3, -1, c in ascending order.
c, -1, 3
Let r = -0.609 - 1.391. Sort 1, r, 31.
r, 1, 31
Let u = 103.5 - 40.5. Put -2, u, 2, -2/17 in ascending order.
-2, -2/17, 2, u
Suppose -3*k + 4 = 1. Let l be (-4)/54*k*-3. Let d = 7619.7 - 7620. Sort l, d, -4.
-4, d, l
Let t = 489 + -490. Let h = -60/11 - -289/55. Put t, -3/8, h in ascending order.
t, -3/8, h
Let t(y) = 2*y. Let l be t(-2). Let b be 8 + (0 + -2 - 10) - -4. Put l, b, 8 in descending order.
8, b, l
Let v(i) = -i**2 + 9*i - 9. Let s be v(7). Suppose 5*o - 4*o + s = 0. Put 5, 0, o in increasing order.
o, 0, 5
Suppose -101 = -5*v - 1. Let x = 9 - -13. Suppose -x*q - v = -17*q. Put -5, -3, q in descending order.
-3, q, -5
Let z = -0.02 - 8.98. Let k = 0.187 + 12.813. Let p = k + z. Put p, -4, -4/5 in ascending order.
-4, -4/5, p
Suppose 3*n = -d + 46, 8 = n + 5*d + 2. Suppose 20 = -n*a + 11*a. Put a, 5, -2 in decreasing order.
5, -2, a
Let r(h) = 2*h + 1. Let y be r(-2). Let t(a) = -a**2 + 5*a + 11. Suppose 0*x = 5*x - 30. Let j be t(x). Sort -4, j, y in descending order.
j, y, -4
Suppose -8 - 16 = -4*f - 2*h, 3*h = -5*f + 29. Suppose f = -u + q, -u - 4*q + 2 = -1. Sort -2/5, -2, u in ascending order.
u, -2, -2/5
Suppose -5*v + 2*z + 8 = -2*z, 4*z + 8 = 0. Suppose v = -6*g + 80 - 20. Sort -2, g, 1 in descending order.
g, 1, -2
Suppose 4*q + 7 + 1 = -4*y, y + 2*q + 7 = 0. Suppose y*f - 5*f + 8 = 0. Let v(i) = i**3 - 3*i**2 - 13*i + 11. Let a be v(5). Sort -3, a, f in descending order.
f, -3, a
Let r(y) = -y**3 + 6*y**2 - 4*y. Let l be r(5). Let b(m) be the first derivative of m**3/3 - 11*m**2/2 + 7*m - 7. Let v be b(10). Sort v, l, -1.
v, -1, l
Let q(o) = o + 9. Let r be q(-7). Suppose 4*w - 14 = 2*k, r*k + 5 = -3*k. Suppose 2*d - d = 5*h + 25, -5 = -4*d + h. Sort -1, w, d in descending order.
w, d, -1
Let w = -1964/9 - -218. Let z(j) be the third derivative of j**5/60 + 11*j**4/24 - 11*j**3/6 - j**2. Let l be z(-12). Sort -0.5, w, l in decreasing order.
l, w, -0.5
Let q(j) = -64*j. Let v be q(-1). Let k = v - 56. Put k, -5, 0 in ascending order.
-5, 0, k
Let h = -247 - -243. Put 4, 2, h, -15 in ascending order.
-15, h, 2, 4
Let n = 887 - 891. Let f(h) = h**3 + 5*h**2 + 3. Let w be f(-5). Suppose w*j = j. Sort 4, n, j.
n, j, 4
Suppose 5*p + 17 = 7. Suppose 3*h + 0*h = -12. Sort 5, h, p in decreasing order.
5, p, h
Let v = -269 + 269.3. Put 0.1, -1/4, v in descending order.
v, 0.1, -1/4
Let b(m) = 18 - 3*m**2 - 30 + 14*m**2 - m + m**3. Let d be b(-11). Sort 3, 1, d, 0.
d, 0, 1, 3
Let f = -90 + 85.9. Let a = f - -4.1. Sort 0.02, a, 2.
a, 0.02, 2
Let v be (-12)/(-2) - (-4)/(-2). Let a(y) = -5*y + 157. Let w be a(32). Sort v, -14, w.
-14, w, v
Let u = 649.4 - 572. Let o = 94 - u. Let l = 17 - o. Sort l, -0.1, -2/3.
-2/3, -0.1, l
Let y = -267 - -1075/4. Put -4, y, -0.1 in descending order.
y, -0.1, -4
Let o be 2/3*15/2. Suppose 0*b - 15 = -4*d - b, o*b = 4*d + 3. Let c be (-9)/d + (-3 - -3). Put 5, c, 1/7 in ascending order.
c, 1/7, 5
Let v = -143 + 144. Sort v, 2, -4, 3 in descending order.
3, 2, v, -4
Let m be ((-22)/(-33))/((-4)/798). Let w = 130 + m. Sort -2, -1, w in descending order.
-1, -2, w
Suppose -f = 4, 3*f + 10 = 2*b - 0*f. Suppose 4 = -4*q + 5*q. Put 3, b, q in increasing order.
b, 3, q
Let z = -0.8 - -1. Let f = 97.1 - 97.33. Put z, f, 0.5 in descending order.
0.5, z, f
Let k(x) = x**2 - 2*x + 6. Let b be k(-4). Let h be (8/10)/((-12)/b). Sort 5, h, 3 in increasing order.
h, 3, 5
Suppose -3*v - 343 + 115 = 0. Put -4, v, -1 in increasing order.
v, -4, -1
Let m(r) = r**3 + 2*r**2 - 15*r + 3. Let h be m(-5). Let s = 2 + 1. Suppose g + s*g = 20. Sort g, h, -3 in descending order.
g, h, -3
Let h be ((-10)/(-100))/(10/8). Sort -1, h, 0 in ascending order.
-1, 0, h
Let o = 71.6 + -57. Let k = o + -15. Put 7/2, -1, k in descending order.
7/2, k, -1
Let s = -28 + 21. Let p = -18 - s. Let x = 11.3 + p. Sort x, -0.1, 3/5 in decreasing order.
3/5, x, -0.1
Suppose -5*j = -3*v + 3, -v = -2 + 1. Suppose -3*m + 8*m = j. Suppose -1 = 4*c - 3*z - m, 0 = -c - z + 5. Sort 3, c, 0.
0, c, 3
Let z = 29.7 - 41.7. Put z, 2/3, -2 in increasing order.
z, -2, 2/3
Let i be (0/6*3/3)/2. Put 5, i, 4/5 in decreasing order.
5, 4/5, i
Let m(f) = -f**2 - 6*f + 9. Let v be m(-7). Suppose -3*x - c - 5 = -x, 4*x + 25 = c. Let z = 11 - 15. Put z, v, x in descending order.
v, z, x
Let i = -23 + 19. Put 5, i, -15 in decreasing order.
5, i, -15
Let d = 35369/2 - 17684. Let f = 0 + 0.2. Sort f, d, -0.3, -5 in descending order.
d, f, -0.3, -5
Let b = 10.48 - 10.5. Sort b, -0.04, -0.4, -5.
-5, -0.4, -0.04, b
Let m be ((-9)/(-6))/((-15)/(-50)) + -3. Put m, -16, -3, 3 in increasing order.
-16, -3, m, 3
Let d = -13 - -21. Let v = -5.06 + 0.06. Let l = d + v. Put 0.2, l, 2 in descending order.
l, 2, 0.2
Let h = -6031/8 + 754. Put 0.3, 3, 0.1, h in increasing order.
0.1, h, 0.3, 3
Suppose 18*s - 45 + 9 = 0. Let r(v) = -v**3 + 12*v**2 + 14*v - 10. Let z be r(13). Let x = 6 - z. Put s, x, -2 in descending order.
x, s, -2
Let f = 10.576 + -0.546. Let z = 10 - f. Sort z, -0.4, -1 in increasing order.
-1, -0.4, z
Suppose -3*y = -7*y - 20. Let f = 26 - 23. Let h be 3/1 + (-9)/f. Sort 5, y, h in decreasing order.
5, h, y
Suppose 5*z - 4 = 4*z - 3*r, -3*r - 8 = -2*z. Let u = -5 - -2. Suppose -6*c - 3*y = 15, c - y = 25 - 38. Put z, u, c in descending order.
z, u, c
Let o = 19.6 - 19. Let f = -1.271 - -0.271. Put -2/11, o, f, -4 in decreasing order.
o, -2/11, f, -4
Let m be 2*-1 + 16 + -3. Suppose 4 = -3*z - m. Let t = -161 - -163. Put z, t, -3 in decreasing order.
t, -3, z
Suppose 2*x = -3*x - 15. Suppose 2*r = q + q, -6 = -4*q - 2*r. Suppose 5*k - 6 + q = 0. Put k, 5, x in descending order.
5, k, x
Let o = -0.1 - -0.3. Let l = -1656 + 1655.8. Sort l, -3, o in descending order.
o, l, -3
Suppose 5*b - 58 = 12. Suppose -10 = 8*v + b. Put v, -2/13, -5 in decreasing order.
-2/13, v, -5
Let x(u) be the first derivative of -2 + 4 - u - 11 + u**2. Let m be x(2). Put 2, 4, m in increasing order.
2, m, 4
Let r = -0.138 + -3.862. Sort r, -1/6, 5.
r, -1/6, 5
Suppose 0 = -r - 4*v + 12, -2 - 4 = -4*r + 5*v. Put -3, r, 0 in ascending order.
-3, 0, r
Let x be 2 - 28/(-4 - -2). Let z(q) = -3 + q - 3 - 2*q + x. Let g be z(5). Put 5/2, -2, g in ascending order.
-2, 5/2, g
Let l(g) = 2*g**2 - 22*g - 53. Let o be l(13). Sort -55, o, 5, -4 in ascending order.
-55, -4, o, 5
Let o = 8869 - 3982183/449. Sort -4, 4/3, o in decreasing order.
4/3, o, -4
Suppose 2*g + 4*w = 2*w + 22, 5*w = 3*g - 1. Let a = -12 + g. Sort 2, -4, -3, a in decreasing order.
2, -3, -4, a
Suppose -7*l - 35 = -7. Let s