0 = 0. Suppose -11 = -j*s + 38. Sort 5, s, -4.
-4, 5, s
Suppose 3*c + 5*i = -27, -2*i + 5*i - 51 = 3*c. Let q be 34/(-66) + c/(-42). Let x = -0.1 - -0.3. Sort x, 4, -4, q.
-4, q, x, 4
Suppose 5*q + 4*p + 4 = -0*q, -4 = -4*q + 4*p. Suppose q = 6*l - 0*l + 3*l. Put l, -5, -4, 3 in ascending order.
-5, -4, l, 3
Suppose 204*t - 30980 = 40624. Sort 0, -1, 5, t, 4.
-1, 0, 4, 5, t
Let o = 27540 + -27541. Sort o, -3, 4, 2, 215 in ascending order.
-3, o, 2, 4, 215
Let n = -9307 - -9320. Sort 11, -1, n in increasing order.
-1, 11, n
Let f = -3983 - -3982. Put 3, 2, -6, f in increasing order.
-6, f, 2, 3
Let f = 62 - 97. Let y = f - -38. Let k be 12/(-3)*1*(y + -2). Sort k, -0.3, -2, 2 in descending order.
2, -0.3, -2, k
Suppose -10 = 5*r, -7 - 11 = -2*s + 3*r. Suppose 2*j - s*j - 7 = -c, 0 = 2*j + 6. Put 1, c, -14 in decreasing order.
1, c, -14
Let m be 13 + 0 - (15 + (-18 - -8)). Suppose -3*r = r - 16, -16 = 4*t - 5*r. Sort m, t, -4 in descending order.
m, t, -4
Let x(s) = -4*s + 103. Let k be x(25). Suppose 3 = 3*w + k*m, 3*m - 9 + 0 = -5*w. Suppose -z = 3*z. Sort 1, w, z, 5 in decreasing order.
5, w, 1, z
Let s be 86/10 - (-225)/((-450)/18). Sort -2/7, -5, s, 4/7, 0.1.
-5, s, -2/7, 0.1, 4/7
Suppose -3*o = 21 - 42. Suppose -o = 15*r - 16*r - 5*l, 4*l = -r + 4. Sort 1, r, -3 in increasing order.
r, -3, 1
Let l be 6/(-2)*((-848)/901 + (-1)/17). Sort 1, -4, 0, -5.6, l in increasing order.
-5.6, -4, 0, 1, l
Let v = -3315 - -3322. Sort -0.5, v, -3, 2, 3 in decreasing order.
v, 3, 2, -0.5, -3
Suppose -554*h = o - 553*h - 41, 0 = o - 3*h - 61. Sort o, -9, 2 in descending order.
o, 2, -9
Let u be 30/(-4) + 9/(-18). Let b = u + 8. Suppose -3570*f - 20 = -3550*f. Sort b, -2, f, 1 in decreasing order.
1, b, f, -2
Let k = 1127.3 + -1127.3. Put 2, 2/9, 1, k in descending order.
2, 1, 2/9, k
Let g(d) = 341*d + 1207. Let f be g(-3). Put 2, -3, f, -0.5 in descending order.
f, 2, -0.5, -3
Suppose 2*m + 2 = 6. Let p(c) be the second derivative of c**4/12 + 5*c**3/6 - 21*c**2/2 + 262*c. Let l be p(-8). Sort -2, m, l.
-2, m, l
Suppose 10*w + 85 = 5*w - 0*w. Put 1/2, -86, w in increasing order.
-86, w, 1/2
Let z = 48176 + -48180. Suppose 0*j + 4*r = -3*j + 74, 0 = -2*j + 3*r + 38. Put -3, z, j in increasing order.
z, -3, j
Let q(f) = 60*f - 302. Let w be q(6). Let x = w - 62. Sort x, 3, -10.
-10, x, 3
Let b(p) = -379*p - 1150. Let c be b(-3). Sort 1, 5, c, 3 in ascending order.
c, 1, 3, 5
Let w(g) = -3*g - 7. Let u be w(-4). Let a be (-5)/10 - (-2)/4. Let i be 7 - (a/(-2) + 1). Sort u, -3, -1, i in descending order.
i, u, -1, -3
Let l be (13 - 25)*6/(-36). Let z be -2 - (0 + 1)*-3. Sort l, z, 6, -4 in increasing order.
-4, z, l, 6
Let x = -21761 + 21760.7. Put 97, x, 0.3, -1/4, 2 in increasing order.
x, -1/4, 0.3, 2, 97
Suppose 0 = 9*f - 13*f - 20. Let d = 0.77 - 1.02. Let y = 0.05 - d. Put y, f, -6 in decreasing order.
y, f, -6
Suppose 0 = 2*q + 4*w - 6, 0 = 4*q + 4*w. Suppose 2*c - t = -2*c + 15, 3*t - 10 = c. Put c, 0, 14, q in increasing order.
q, 0, c, 14
Suppose -3*b - 12 = 0, 4*q = 3*q - 2*b + 34. Suppose 168*r - q = 162*r. Sort -1, r, 3 in decreasing order.
r, 3, -1
Let g = -11 - -3. Suppose 0 = 5*d - 2*w - 173 + 137, 2*d = w + 15. Sort -5, g, d in descending order.
d, -5, g
Let c = 404 - 409. Let v = -181 - -180. Sort 6, v, c, 5.
c, v, 5, 6
Let j(c) = -2*c**3 + 4*c**2 + 3*c - 3. Let q be j(3). Let t be ((-30)/q)/((-4)/(-8)). Let g(f) = f - 4. Let l be g(5). Sort -5, l, t in decreasing order.
t, l, -5
Let m = 514 + -514.015. Let h = 5.085 + -5. Let u = h - m. Sort 0.2, 6/13, u.
u, 0.2, 6/13
Let r(n) = 930*n - 2785. Let t be r(3). Sort t, 2, 919, 0, -5 in decreasing order.
919, t, 2, 0, -5
Let l = -27691 + 27690.899. Sort 1, -2, -4, l.
-4, -2, l, 1
Let k(x) = -x**2 - 5*x + 4. Let h be k(0). Suppose 0 = t + 2*o - 11, -h*t = -14*o + 10*o - 32. Suppose -2*m - 1 = t. Sort 3, -34, m in increasing order.
-34, m, 3
Let w = 0.4939 - -0.0061. Let m = 47.7 + -48. Put -5, w, m in increasing order.
-5, m, w
Let a = 28952 - 28951. Suppose 3*r - r - 2*u - 14 = 0, -3*r + 4*u = -23. Sort -4, a, 42, r in descending order.
42, r, a, -4
Let l be (4*11/(-132))/(1/9). Let y = 179 + -185. Sort 5, l, y, 2 in descending order.
5, 2, l, y
Let y be (-1)/(-3)*((-3)/(-1) - -12). Let s be -1 - 0 - -8*y/10. Let t = 44 + -45. Sort s, 11, t.
t, s, 11
Let o = 1783 - 1786. Sort -5, -2, 4, o in descending order.
4, -2, o, -5
Let n = -3772/395 - 162/79. Sort 2/3, n, -0.24.
n, -0.24, 2/3
Let o be (-3)/2*20/(-6). Suppose -4*y + 13 = 4*p - 7, 0 = -4*y - o*p + 15. Let x = 14 - y. Sort x, -3, -4.
-4, -3, x
Let b(f) = -27*f + 381. Let s be b(14). Suppose -15 = -3*c, -4*c + 2 = -s*d - 6. Let o(l) = 2*l + 5. Let x be o(-5). Sort x, d, -1, 5 in ascending order.
x, -1, d, 5
Let a(g) = g**2 + 11*g + 20. Let r be a(-8). Put 95, 5, -41, r in decreasing order.
95, 5, r, -41
Suppose 769*g + 18 = 770*g. Suppose 140 = -g*f - 17*f. Sort 0, -11, -17, f in decreasing order.
0, f, -11, -17
Let n = 7787 + -7789. Sort 665, n, 3 in increasing order.
n, 3, 665
Let s(a) = -a**2 - a. Let d be s(-2). Suppose 0 = -r + 14389*n - 14390*n - 13, -2*n = 3*r + 23. Sort r, -4, 5, d in decreasing order.
5, r, d, -4
Let u = 395.2 - 391.2. Sort -21/4, 2, u, 0.5, 0 in descending order.
u, 2, 0.5, 0, -21/4
Let v be -4 - -7 - (-36)/(-4). Suppose 0 = 22*f - 16*f - 12. Sort v, f, -4 in decreasing order.
f, -4, v
Let t(z) be the second derivative of -z**4/12 - 29*z**3/6 - 141*z**2/2 + 81*z. Let b be t(-6). Let f(d) = 5*d**2. Let u be f(1). Sort u, -2, b.
b, -2, u
Let p = -5288.4 - -5288. Let n = -14.93 + 16.3. Let o = n - 76.37. Sort 1/5, p, o.
o, p, 1/5
Suppose 4*d = f + 3*f - 4, -d - 13 = -5*f. Suppose 1 = d*z + 3*g, g - 3*g = z. Let j(o) = -o - 19. Let p be j(-15). Sort p, -1, z, -6 in ascending order.
-6, p, -1, z
Let u = 1935 + -1935. Sort u, -4, 3, -5, 6 in increasing order.
-5, -4, u, 3, 6
Suppose -2*h = 6*i - 6 + 14, -5*i - 2*h - 6 = 0. Sort -1, i, 1, 14, 30 in increasing order.
i, -1, 1, 14, 30
Suppose 35 = -n + 5*k, -11*k + 102 = -4*n - 10*k. Sort 13, -1, n in increasing order.
n, -1, 13
Suppose -l - 25 = 4*l. Suppose 0 = f + 4*f. Let a be (-32)/12*(-27)/216*-12. Put l, a, f, -3 in increasing order.
l, a, -3, f
Suppose -5*k + 4 = -3*k - 5*d, -k + d + 2 = 0. Suppose 364 = -30*u + 394. Put u, -2, 11, k in increasing order.
-2, u, k, 11
Let s = 6195.7 + -6196. Sort 1/8, -1, s, -19 in descending order.
1/8, s, -1, -19
Let w = -2 - -2.1. Suppose -4*s = 3*m + 27, -3*m - m + 5*s = 5. Let z be ((-3 - m) + -4)*(-10)/(-4). Sort w, -3/7, z in decreasing order.
w, -3/7, z
Let r be 2756 + (-8 - -26) + -8. Suppose -9*u - r = -3351. Let c be 3 + (-2 - (-6 + 2)). Sort u, c, -1.
-1, c, u
Suppose -7 = -5*j + 13, 4*j = -4*d + 1104. Suppose 284 = -4*h + d. Put h, -1, 2 in ascending order.
h, -1, 2
Let i = 0.6323 - -4.3677. Put 3/11, -4, i, 4 in decreasing order.
i, 4, 3/11, -4
Let x be (12/1008*-7)/((-24)/(-64)). Put x, 4/7, 2, -41 in decreasing order.
2, 4/7, x, -41
Let c = -1721 - -1717. Put 1/2, 1/6, 1, c, 5/2 in increasing order.
c, 1/6, 1/2, 1, 5/2
Let u = -161.29 + 161.19. Suppose -d = -t - 107 + 31, 0 = -3*d - 4*t + 228. Let h = 834/11 - d. Sort u, -4, h.
-4, h, u
Suppose -2*y + 0*y + 4*a = 24, -3*a + 22 = -2*y. Let g = 5727 - 5722. Put y, -0.06, g, -1/6 in descending order.
g, -0.06, -1/6, y
Let z = 111.307 - 110.907. Suppose -39 = 5*f + 11. Let d be (4/f)/(7/5). Sort 3/5, z, d in descending order.
3/5, z, d
Let k(i) = -i**3 - 6*i**2 + 25*i + 121. Let q be k(-7). Sort 4, -0.07, -1/8, q, 3 in descending order.
4, 3, -0.07, -1/8, q
Let j = -9914 - -14673. Put j, -5, -3 in decreasing order.
j, -3, -5
Let j = -14854.97 + 14855. Put 87, j, -2 in decreasing order.
87, j, -2
Let y = 698 - 700. Put 3, -433, y in increasing order.
-433, y, 3
Let m = 76.67 - 72.67. Sort 213, m, -0.1, 1/4 in decreasing order.
213, m, 1/4, -0.1
Let d be 4/1 + -2 + 13. Suppose -k + 6 = 4*c, -12*k - 5*c = -10*k - 15. Let i be k*(-3)/(d/2). Put -1, i, 3 in descending order.
3, -1, i
Let v = -172.48 - -175. Let d = 2.54 - v. Suppose -5*j - 6 = 4. Put 0.3, j, d in ascending order.
j, d, 0.3
Let m = 0.05659 + -91.69659. Let g = m + 2.64. Sort g, 4, -1/4 in decreasing order.
4, -1/4, g
Suppose 0 = -4*z - 2*g + 16, -2*g = -3*z - 2*z + 29. Suppose -5*y - 3*d = 14, y = z*d - 7*d.