2
Let s(k) = -268*k + 2683. Let x be s(10). Sort -20, -2, 4, -1, x.
-20, -2, -1, x, 4
Let t be 0 + 6/4 + -1. Let g = 965 + -688. Let f = g - 273. Sort t, -0.03, f in descending order.
f, t, -0.03
Let w = -0.25209 + 0.26209. Put 0.1, w, -4, -3/5 in ascending order.
-4, -3/5, w, 0.1
Let k(w) = -w**3 - 39*w**2 - 11*w + 1090. Let i be k(-38). Put -1, -51, i in descending order.
i, -1, -51
Let i be (-4)/(-8)*19*104/494. Suppose -6*o - 2*l = -2*o + 146, 5*l - 15 = 0. Sort i, -0.3, o in decreasing order.
i, -0.3, o
Suppose 0 = -41*r + 37*r. Suppose 3*p - o - 61 = p, 0 = 4*p + 4*o - 92. Let c be (p/2)/(4 - 2). Put 3, c, r in increasing order.
r, 3, c
Let r = 14034 - 14030. Put r, 1/4, -38.7 in decreasing order.
r, 1/4, -38.7
Let w = -18515 - -18515. Sort 4, -1, 2, -11, w.
-11, -1, w, 2, 4
Suppose -6 = -3*h + b, -4*h + h = -5*b - 6. Suppose -3*p - h = 7. Suppose 51*i + 71*i = -610. Put -1, 3, i, p in decreasing order.
3, -1, p, i
Suppose 4*v + 51*a + 11 = 50*a, 5*v + 16 = -2*a. Sort 108, 0, v, 1, -4.
-4, v, 0, 1, 108
Let h = -0.4195 - -0.522. Sort h, 2, 2/9 in increasing order.
h, 2/9, 2
Let o = 5905 + -5904. Put -2, 2, 107, o in decreasing order.
107, 2, o, -2
Let s = -172 + 169. Let n be 0/14 + (1 - 1). Sort s, -1, n in descending order.
n, -1, s
Suppose 501*c - 404*c + 1067 = 0. Sort 0, c, 2, 5 in descending order.
5, 2, 0, c
Let u = -8341 - -8346. Put 2, u, 0, -10 in increasing order.
-10, 0, 2, u
Let s = 147 + -261. Let o = -112 - s. Suppose g - o + 6 = 0. Sort 12, -5, g in ascending order.
-5, g, 12
Let s = 185 + -185. Suppose s = -3*p - 2*p + 715. Put -3, p, -2 in descending order.
p, -2, -3
Suppose 436*n - 439*n - 5*k = -33, 2*n = k + 22. Suppose -2*a + 10 = -2*z + 4, -5*a + 27 = z. Put 3, z, n in increasing order.
z, 3, n
Let d(b) = -b**2 - 50*b - 336. Let f be d(-42). Suppose 7 = 5*g + u, 2*g - 4*g - 2*u = -6. Sort g, -3, f, -10 in decreasing order.
g, f, -3, -10
Suppose -5*y = -3*y - 888. Let l = y - 3113/7. Let h = 23.7 - 23.7. Put h, 4, l in increasing order.
l, h, 4
Let b = -634.81 + -14.19. Let d = 653 + b. Sort 127, 3/4, -1/3, d in descending order.
127, d, 3/4, -1/3
Suppose 39*l + 9 = 47*l + 25. Put 5, 4, l, 2, -1 in increasing order.
l, -1, 2, 4, 5
Let m = 29262 + -29257. Let d = -3 + 3.1. Suppose 3*r + r = 0. Sort m, r, d in ascending order.
r, d, m
Let r be (-871)/13*(-1 + 2). Let p = 18 + -84. Let h = r - p. Put 0, 3, h in decreasing order.
3, 0, h
Suppose i - 53 = -o, -o - 73*i = -77*i - 83. Put o, 2, 13 in increasing order.
2, 13, o
Suppose -3*l + 135 = 2*l. Let m be (-112)/6 + 18/l. Suppose 0 = -b - 2, -12*y + 2*b = -14*y. Sort m, y, 4 in ascending order.
m, y, 4
Let l = 2935 + -2934. Sort -2, -110, 6, l, -1 in decreasing order.
6, l, -1, -2, -110
Let g = -8522 - -8525. Let r(j) = -j**2 - j - 1. Let z be r(0). Suppose -2*o + 15 + 1 = 0. Sort -4, o, g, z in descending order.
o, g, z, -4
Suppose 2*u = u - 1. Let v(j) = 2*j + 10. Let n be v(-7). Let p be 75/100 + 22/(-8). Sort n, u, p.
n, p, u
Let k be 7/(-1848)*-538 - (-1)/(-3). Let b = k - 21/22. Sort 0.4, -0.2, b in ascending order.
-0.2, 0.4, b
Let m = 7 - 14. Let c = -6.55 + 349.55. Let v = 340 - c. Put -3/7, m, v, -1 in ascending order.
m, v, -1, -3/7
Let t(a) = -9*a - 3. Let c be t(-1). Suppose 5*s = -3*g + c*g + 10, -2*s + 4 = 4*g. Suppose -2*p + p - 3 = g. Put -1, 8, p in ascending order.
p, -1, 8
Let w be (15/(-25))/(372/3100). Let p(a) = a - 1. Let f be p(2). Suppose -3*m + 3*g - f - 2 = 0, 4*m = -5*g - 13. Put w, -6, m in descending order.
m, w, -6
Suppose -t - 3*w + 0*w = 9, 0 = -5*t - 2*w - 97. Put -3, t, 10, 1 in increasing order.
t, -3, 1, 10
Suppose -3*t - 5*w = 12, 20 = -5*t - 2*w - 2*w. Suppose 0 = 3*h + 2*d - 7*d - 27, 0 = 3*d. Let x be (-16)/90 + (-2)/h. Put x, 2, t in increasing order.
t, x, 2
Let s = -2.553 + 2.653. Put 23, -2/11, s, -2 in decreasing order.
23, s, -2/11, -2
Let v be (-1)/(2/(-48)) + (-4)/1. Suppose -v = 14*s + 22. Let a be (-1 - 0)/((-1)/(-2)). Sort a, s, 2, -1 in descending order.
2, -1, a, s
Suppose 0*d - 4*d + 72 = 0. Suppose 2*l + 2*u = -0*u + d, l - 3*u - 13 = 0. Suppose -2*w + 5*s + 10 = 45, 4*w = -5*s + 5. Sort -4, l, w in increasing order.
w, -4, l
Let n(r) = 2*r**3 + 29*r**2 - 19*r - 60. Let m be n(-15). Sort 3, -21, -3, m in increasing order.
-21, -3, m, 3
Let p = 40.3 + -38.2. Let k = p - 1.1. Let t = -62 + 61.71. Sort -4, t, k in decreasing order.
k, t, -4
Let g = 65573/152971 + -2/21853. Sort -73, 0.5, g.
-73, g, 0.5
Suppose 0 = -23*u + 26*u - 4*u + 22. Sort 0.2, -2/35, u.
-2/35, 0.2, u
Let s(d) = 32*d + 249. Let z be s(-8). Sort 1, 0, 22, z in decreasing order.
22, 1, 0, z
Let y = -205.0746 - 1.9254. Sort 0.4, 4/7, 0, -2/9, y in ascending order.
y, -2/9, 0, 0.4, 4/7
Let y = -200.724 - -201. Let x = 0.236 - y. Sort 0, x, 1/4 in descending order.
1/4, 0, x
Suppose -4 = 5*p + 6. Suppose 4*f + 11 = -5. Let d be ((-95)/(-5))/(f/(-7 + 3)). Put d, p, 1 in increasing order.
p, 1, d
Let s be -1*(14/2 - 3). Suppose -12*k - 6 = -13*k. Sort s, -1, k, -5.
-5, s, -1, k
Let c = -0.3436 + 0.0436. Let s be 4*(-2)/(-8)*(-14)/(-21). Put s, c, -1/22, -1/6 in decreasing order.
s, -1/22, -1/6, c
Let l be (-3)/(-6) - 33915/(-114). Sort 1/6, l, -1 in increasing order.
-1, 1/6, l
Let t be -93 - -2*(-15)/20. Let w = t - -93. Sort -2/5, 49, -2/3, w in ascending order.
w, -2/3, -2/5, 49
Let k = 9.012 + -10.012. Put 0.2, -0.5, 17, k, 11 in descending order.
17, 11, 0.2, -0.5, k
Let g(t) = t**3 - 57*t**2 + 44*t + 670. Let x be g(56). Sort 5, -305, 4, x in increasing order.
-305, x, 4, 5
Let p = 5402 - 5403. Suppose t - 3 = -k, 1 = -5*k - t + 12. Suppose 4*n - u + k*u + 29 = 0, -2*n + 4*u = -8. Sort 1, n, 4, p in descending order.
4, 1, p, n
Let q = -205 - -411/2. Let w = 18.5 - -4.5. Let h = -23.1 + w. Sort -4, q, h in ascending order.
-4, h, q
Let a(n) = -3*n**2 + 21*n - 18. Let r be a(1). Let f = -15 - 32. Put r, 3, f in increasing order.
f, r, 3
Suppose -2*i = 18*h - 23*h - 9, 0 = -3*h + 2*i - 3. Sort 1/3, h, -8.
-8, h, 1/3
Suppose 0*u + 46 = -u + 3*v, 0 = 3*u + 5*v + 124. Let b = -43 - u. Suppose -4 = -b*z + 2*z. Sort 1, -5, z, -1.
-5, z, -1, 1
Let c = 0.42 + 0.08. Let h = 876 - 876.3. Put h, -2, c in increasing order.
-2, h, c
Let x be 1/(-3) - (315/(-216) + 1). Suppose -3*u + 3*q = -18, -18*u + 14*u - 3*q + 17 = 0. Sort u, -0.3, -4, x in ascending order.
-4, -0.3, x, u
Let z = -47 - 36. Suppose -36*t - 6 = 30. Sort 2, t, z in increasing order.
z, t, 2
Let t = 6 - 2. Let q = 246 - 257. Let x(p) = p**2 + 9*p - 8. Let m be x(-10). Sort -4, t, m, q in increasing order.
q, -4, m, t
Let p = -5.325 + 5.525. Sort p, -3, 0.22, 0.6.
-3, p, 0.22, 0.6
Let s = -24925 - -24925. Sort s, -77.2, 3, -0.2 in decreasing order.
3, s, -0.2, -77.2
Suppose s + r - 21 = -51, 3*s - 2*r = -80. Sort 196, s, -1 in descending order.
196, -1, s
Let b = 8547 - 7678.4. Let v = b - 868. Let w be -3 + 1 - (-40)/18. Sort v, 0.5, -3, w.
-3, w, 0.5, v
Let z = 221 - 217. Suppose -3*n - 10 = z*c, 13*n = -4*c + 11*n - 8. Put 0, c, -108 in descending order.
0, c, -108
Suppose 0 = -m - 3, -2*p + 3*m = -4*m - 31. Put p, -59, 1, -2 in decreasing order.
p, 1, -2, -59
Let a(p) = -2*p - 6. Let z be a(-5). Let u = 29172 - 29176. Sort 1, u, 95, z.
u, 1, z, 95
Let z(a) = -a - 100. Let n be z(-10). Let u be (5/3)/(n/(-36)). Sort -110, u, -1/2 in ascending order.
-110, -1/2, u
Let g be 0/(1/1) + 0. Suppose -2*n + 14 = -3*o - 0, 5*o + 2*n + 2 = 0. Suppose -2*v + 21 - 17 = 0. Sort v, o, 6, g in descending order.
6, v, g, o
Let n be 4 + -1*(0 + 0). Let i = 791 + -776. Suppose -g + 3*p - i = 0, -7*p - 25 = -5*g - 12*p. Sort -5, g, n, -3 in descending order.
n, g, -3, -5
Suppose 531 - 525 = 6*w + 3*y, 3*y = -3*w - 3. Put 2, -5, w, 4, 0 in ascending order.
-5, 0, 2, w, 4
Let j(h) be the first derivative of -103*h**2/2 - 619*h - 357. Let k be j(-6). Let r(v) = -v. Let i be r(-3). Sort 4, k, i in decreasing order.
4, i, k
Let w be -6*(-8)/6 - (146 + -143). Sort -3.9, 6, -4, w in decreasing order.
6, w, -3.9, -4
Suppose -4*t = -7*t + 18. Suppose 2*p - t*p + 8 = 0. Let y(b) = 2*b**3 - 17*b**2 + 27*b - 286. Let g be y(9). Sort g, p, 3 in descending order.
g, 3, p
Suppose 5*o = -2*u - 20 - 3, 4*o = 4*u - 52. Put 5, u, -2, -25, 0 in descending order.
u, 5, 0, -2, -25
Suppose 4*o + 2*g + 0*g + 2 = 0, 2*o - 2*g + 