Sort 4, d, 5, -4.
d, -4, 4, 5
Let u be (-20)/60 - 2/6*11. Sort -2, u, 2, -5.
-5, u, -2, 2
Let y be (2 - -1)*(19 + -12). Suppose -2*a = -3 + y. Sort a, -4, 2/11 in descending order.
2/11, -4, a
Let m(b) be the first derivative of 3*b**2/2 - 19*b - 2. Let j be m(5). Put -1, -10, j in descending order.
-1, j, -10
Suppose 0 = g + 3*j - 3 - 3, 0 = 4*j. Suppose 3*m - 10 - g = c, -5*c - 4 = 4*m. Let d be ((-8)/(-3))/(1/(-3)). Sort d, c, -3 in descending order.
-3, c, d
Let z be (-1 - -2)/1*1. Let h(s) = s**2 - 3*s. Let m be h(3). Suppose -3*l - 12 + 3 = m. Sort -4, l, z in descending order.
z, l, -4
Suppose c + n + 6 = -c, 4*n - 41 = 5*c. Let q be -11 + -1 + 12 + 0. Sort -9, q, c.
-9, c, q
Let u(r) = -r**3 + 13*r**2 + 3*r - 8. Let i be (7*4/2)/1. Let m be u(i). Let n be (-2)/3*m/12. Sort n, -4, 1 in increasing order.
-4, 1, n
Suppose 2*w = s - 2 - 10, -4*s - 5*w - 4 = 0. Suppose -4*k = -2*k. Sort k, s, -3 in increasing order.
-3, k, s
Let n = 1933 - 1934. Put -0.4, -0.2, -18, n in decreasing order.
-0.2, -0.4, n, -18
Suppose 0 = -3*u - 2*d + 80, -3*d + 78 = -u + 4*u. Let z = 25 - u. Put 7, z, -2 in descending order.
7, -2, z
Let l = -0.2 + 0.7. Let x = -0.0984 - 0.0016. Sort l, x, -4 in ascending order.
-4, x, l
Let w be ((-2)/(-10))/(2/(-5)). Let z = 5369 - 5368.97. Put z, 2, w in increasing order.
w, z, 2
Let z be 3*(-20)/24*-4. Suppose -z = k - 8. Let c = -6 - k. Put -3, c, 7 in decreasing order.
7, -3, c
Let w(r) = 2 + 0*r - 3*r + r**2 + r. Suppose 5*k + 2*k = 3*k. Let c be w(k). Sort -5, c, -1 in decreasing order.
c, -1, -5
Suppose 0 = -4*p - 0*p + 4. Let h(l) be the third derivative of l**4/24 + 5*l**3/6 + 7*l**2. Let u be h(-7). Sort p, 5, u.
u, p, 5
Let x = -1 + 2. Suppose 0 = -5*m + 3*j - 5, 0 = 3*m - j - 2 + 1. Suppose c = 2*w, -3*w = 3*c + m*c - 26. Sort x, w, -4 in decreasing order.
w, x, -4
Let m = 0 + 1. Let v = 274576/1521 + 43/169. Let y = v + -181. Put m, 3/5, y in ascending order.
y, 3/5, m
Let n be ((-26)/(-39))/((-4)/6). Suppose -5*a + a + 4 = 0. Put -4, n, a in descending order.
a, n, -4
Let n be 0*(-2 + 3) + -1 - 1. Suppose 16*a - 18*a = -12. Put 4, a, -1, n in ascending order.
n, -1, 4, a
Suppose 7 - 19 = 6*d. Sort -68, d, 3.
-68, d, 3
Suppose -4*d - 2*q = -19 - 1, 0 = 5*d + 4*q - 31. Let u = 98 - 115. Sort d, -4, u.
u, -4, d
Let c(g) = -g + 5. Let n be c(0). Suppose -4*i + 9*i - 5*o - 35 = 0, -i - 4*o - 18 = 0. Suppose 6*a - 2*a + 20 = 0. Sort i, n, a in descending order.
n, i, a
Suppose -65*d = -61*d - 8. Put 5, -2/141, d in increasing order.
-2/141, d, 5
Let t = -305.2 - -306. Sort -0.06, t, 1/4 in decreasing order.
t, 1/4, -0.06
Let q be -5 - 4/(12/9). Let b be (-3)/q*6/9. Let j = -0.3 - -0.2. Sort -2/21, j, b in decreasing order.
b, -2/21, j
Let p(o) = o**3 - 3*o**2 + 3*o - 1. Let s be p(2). Suppose -4*w + 19 = -1. Suppose -w*y = 5*y. Sort s, 5, y in descending order.
5, s, y
Let q(d) = -d**2 - 19*d + 36. Let y be q(-21). Suppose -3*u - 27 = -5*o, -2*o = -2*u - 12 - 2. Let r = y - u. Sort 2, 3, r in descending order.
3, 2, r
Let x = -7 - -4. Let f = 10 + -32. Let l be f/77 + 5/(-7). Put x, l, 5 in decreasing order.
5, l, x
Let c = 0.389 - 0.189. Put c, -0.1, 5, 0.05 in decreasing order.
5, c, 0.05, -0.1
Let x = -4 - -14. Let i = -9 + x. Let h = -0.19 - 0.11. Sort h, 2, i in decreasing order.
2, i, h
Suppose -216 = -4*m - 12. Let r = 49 - m. Sort -4, 1, r in ascending order.
-4, r, 1
Let v be 19/(19/(-6))*(-2)/6. Sort -1, -125, v.
-125, -1, v
Let i be ((-14)/21)/(4/6). Sort -5, i, 6 in ascending order.
-5, i, 6
Let j = 4 + -4. Let s(r) be the second derivative of r**5/20 - r**4/3 + r**3/6 - r**2 + r. Let o be s(4). Put 1, j, o in ascending order.
j, 1, o
Suppose 3*n - 17 = 58. Suppose 4*v + 3*g - n = 0, 5*v - 4 = 4*g + 4. Put -2, v, -4 in descending order.
v, -2, -4
Let v = 15.19 - 15.17. Put v, -2, 52 in ascending order.
-2, v, 52
Let v be (2 - -1)*(6 + 1). Suppose h = 4*i + 21, 5*i = -h - 3*h - v. Let o be 1/i + 52/10. Sort 3, 2, o in descending order.
o, 3, 2
Let y(f) = -f**3 - 6*f**2 - 6*f - 2. Let a be y(-5). Suppose 32 = -2*p + 34. Sort p, a, -2, 9 in ascending order.
-2, p, a, 9
Let w = 226 + -226. Let z = -16 - -27. Sort 1, z, 5, w in decreasing order.
z, 5, 1, w
Let q be (1/(-3))/(6/(-162)). Let p be (q/(-6) - -3)/(-6). Sort -0.1, -2/3, -8, p in decreasing order.
-0.1, p, -2/3, -8
Suppose 3*m = -5*a + 7, -4*a + 3 = -m - 7*a. Let j = 10 - m. Let l be (35/(-7))/(-1 + 0). Sort l, j, 4 in decreasing order.
l, 4, j
Let u = 0.04 + -0.44. Let q = 4.9588 - -0.0412. Let n be (2 - 1)/(-1) - 1. Put u, q, n in increasing order.
n, u, q
Let p = -0.0313 - -4.0313. Let d = 0 - -0.5. Let c = -1 - -1. Put c, p, d in decreasing order.
p, d, c
Suppose 16*c - 3 = 19*c. Let k be (-1 - (-5 + 5)) + 0 + 2. Sort 3, c, k.
c, k, 3
Let i be (-6)/(-2 + 26/16). Let u be 34/10 + i/(-40). Suppose -5 + 10 = p. Sort u, p, -2.
-2, u, p
Let b = -11 + 6. Suppose 0*c + c = 9. Let a = c + -11. Put a, 2/11, b in decreasing order.
2/11, a, b
Let p be (-2)/3*(-72)/(-32). Let d = -208 + 1043/5. Sort 3, p, d, 2/23 in increasing order.
p, 2/23, d, 3
Let s(m) = -m**2 + 2. Let f be s(0). Suppose 50*w + 14 = 2*d + 47*w, -2*w - 4 = 0. Sort f, -5, d in decreasing order.
d, f, -5
Let w = 2.04 - 0.04. Let r = 36 - 36.28. Let m = r - -0.38. Sort w, m, 3/5 in descending order.
w, 3/5, m
Let y(p) = -p - 14. Let w(n) = n**3 - 11*n**2 + 7*n + 21. Let m be w(10). Let c be y(m). Let k = -3 - -4. Sort -3, k, c in descending order.
k, -3, c
Let p = -1.1 - -0.1. Let g = 4.8 - 5. Put 1, p, -3, g in increasing order.
-3, p, g, 1
Suppose -2 + 14 = 4*i. Sort -3, -69, i.
-69, -3, i
Let y be (-17)/(-9) - 7/(-63). Put -4, y, 17, -1 in descending order.
17, y, -1, -4
Let r be 96/(-4)*9/27. Sort r, -1, -2, -5.
r, -5, -2, -1
Let g(h) = -7*h - 24. Let m be g(-4). Suppose -m = 8*d - 4*d. Sort -2, -3, 5, d in descending order.
5, d, -2, -3
Let w be (18/(-30))/(3/(-15)). Suppose -3*k - w*a + 4 + 11 = 0, 5*k + 2*a - 10 = 0. Sort -5, k, 4, -2 in decreasing order.
4, k, -2, -5
Let k = -2214/5215 - 3/745. Let a = 2 + -6. Sort 0.1, k, -9, a.
-9, a, k, 0.1
Let l = -219 + 239. Put l, -2, -1 in increasing order.
-2, -1, l
Let g = -280 - -276. Sort g, 4, -8.4 in decreasing order.
4, g, -8.4
Suppose -4*a = -2*t - 10, t + 3*t = a + 15. Suppose a*z + 3*u - u + 6 = 0, u + 8 = -5*z. Let r be (6 + (-5)/5*5)*-5. Put z, r, 2 in increasing order.
r, z, 2
Let x(g) = g**3 - 20*g**2 + 52*g - 15. Let k be x(17). Sort -3, k, 1 in ascending order.
-3, 1, k
Let w(x) = -x**3 - x**2 - x + 90. Let d be w(0). Let h = -92 + d. Sort 7, 1, h in decreasing order.
7, 1, h
Let h be 2*(1 + (-15)/10). Suppose -k - 5*d - 13 = 10, 0 = -5*k - 4*d - 10. Sort k, -2, h in ascending order.
-2, h, k
Let c = 61144/5 - 12135. Let k = c - 94. Sort k, 3, 4 in increasing order.
k, 3, 4
Let g = -1434.4 - -1434.4. Let i = 4.3 - 4. Let a = i + -0.1. Sort 15, g, a in decreasing order.
15, a, g
Let n = 25 + -11. Put n, 4, -7 in decreasing order.
n, 4, -7
Let d be -2 + ((-4)/(-4) + -2 - -3). Suppose d = -4*a + 3*a. Suppose 0 = 2*g - 0*g - 2*l, 5*g + 3*l - 8 = 0. Sort -5, g, a in decreasing order.
g, a, -5
Let v(c) = -2*c**3 - 4*c**2 - 4*c - 3. Let h be v(-2). Let b = -16 + 12. Let d(y) = y**2 + 5*y + 5. Let f be d(b). Sort h, -2, f.
-2, f, h
Let b = 94 - 93. Sort -0.4, -26, b, -5 in decreasing order.
b, -0.4, -5, -26
Suppose -8*y - 138 + 22 = -66*y. Let i be 8/2 - (-3)/3. Sort y, -4, 4, i.
-4, y, 4, i
Let j = -1147/2 - -574. Sort -1/6, 15, j, 2.
-1/6, j, 2, 15
Suppose 3 = -n + 3*v, -4*v + 15 = -4*n + 3. Sort 82, 0, n in increasing order.
n, 0, 82
Let t = -32 + 36. Suppose 3*w + t*m = -7, -3*m = -w - 2*m + 7. Put -1, 1, w, -3 in descending order.
w, 1, -1, -3
Let h be -2*(-2)/4 + 1. Let p = -0.3085 - 0.0915. Put p, h, 2/7 in decreasing order.
h, 2/7, p
Let t = 3 - 4. Let m = -246 - -246. Sort m, -4, t.
-4, t, m
Suppose -20 = -2*b - 2*b. Suppose -p = l + 2 - 3, b*p = 4*l + 14. Put 5, -4, l in decreasing order.
5, l, -4
Let y be (-3 + 4)/(3/(-15)). Suppose 5*l + c + 22 = 0, 4*c + 28 = -4*l - l. Sort -24, l, -2, y in descending order.
-2, l, y, -24
Let v(f) = -299*f + 4. Let w be v(0). Let t(l) = -l**2 + 6*l - 5. Let z be t(6). Sort w, 1, z, -4 in descending order.
w, 1, -4, z
Suppose 0 = 3*j - f + 5*f + 28, -4*f = 2*j + 16. Sort 2, j, -1 in i