/15 + -2337. Sort l, -4, -257 in decreasing order.
l, -4, -257
Let y(o) = o + 7. Let c be y(-5). Let j be (6/2)/(92 + -91). Sort -1, -4, j, c.
-4, -1, c, j
Let c be (5 - 4)/(((-1)/(-9))/(-1)). Let d = -103 - -102.9. Sort c, d, 2 in decreasing order.
2, d, c
Let a be 1 + ((-18)/8 - -3) - 2. Sort -0.2, a, -6 in descending order.
-0.2, a, -6
Suppose -35 = 10*z + 15. Put -1/6, 4, z, -1 in descending order.
4, -1/6, -1, z
Let q(t) = 2*t - 6. Let o be q(4). Let h be (-1)/(o/(3 + -1)). Let i be 2 - ((-16)/(-24) + 2). Sort h, i, -0.3 in decreasing order.
-0.3, i, h
Let a = 69 - 68. Let u = -1.5 + 6.5. Put -2/7, a, u in increasing order.
-2/7, a, u
Let i be 0 - (84/(-20) + -9 + 14). Put i, -15, 3, -2 in descending order.
3, i, -2, -15
Let a(y) = -4*y. Let l be a(0). Suppose 0*u + 2*u - 16 = l. Put 1, -1, -5, u in decreasing order.
u, 1, -1, -5
Suppose 0 = -y + 3*u + 13 - 23, -28 = -7*u. Sort 4, -782, y in increasing order.
-782, y, 4
Let u be (((-64)/(-4))/4 - 10) + 51. Sort -3, 0, u.
-3, 0, u
Let y be (5/25)/(6/30). Sort 4, -9, y, 5 in increasing order.
-9, y, 4, 5
Let r = 0.22 + -0.64. Let c = r - -0.02. Let b = -0.21 + 0.51. Sort 5, c, b.
c, b, 5
Suppose -2*p - 4*f - 30 = 3*p, 4*f = -2*p - 24. Suppose 24153 - 24303 = 30*o. Sort -3, o, -7, p in ascending order.
-7, o, -3, p
Let w = -32/11 + 74/33. Sort 0.2, w, -14/3, 3 in increasing order.
-14/3, w, 0.2, 3
Suppose 9*j + 8*j + j - 54 = 0. Let w(m) = 3*m**2 + 4*m + 2. Let b be w(-2). Let v be ((-1)/(-3))/(2/b). Put j, v, 8 in ascending order.
v, j, 8
Let m = -3541/31707 + 2/3523. Let o = -1.6 + 2. Sort o, m, -1/3.
-1/3, m, o
Let o = -698/705 - -8/141. Let v = 54/35 - -2/35. Let c = v + o. Sort -0.4, c, -3/10.
-0.4, -3/10, c
Let n(i) = i - 6. Let f be n(6). Suppose f*k = 3*k + 15. Let s(r) = -79*r + 5. Let g be s(0). Put g, k, 3 in decreasing order.
g, 3, k
Let q(t) = -t**2 - 14*t - 29. Let s be q(-11). Put s, -5, 81 in increasing order.
-5, s, 81
Let n(y) = 10*y - 79. Let q be n(8). Suppose -g + 4 = -4*u, 5*g + 12 - 32 = 3*u. Put 2, -2, g, q in increasing order.
-2, q, 2, g
Let o be ((-1)/((-4)/128))/(5/2). Let z = o - 13. Put 5, -1/6, z, 0.4 in decreasing order.
5, 0.4, -1/6, z
Suppose 56 = 6*m + m. Let u = 9 - m. Let q be (-1)/(-5)*(u - -1). Sort q, -2, 4/5 in descending order.
4/5, q, -2
Let g be 7 + -22*(-7)/(-14). Suppose -2*r = -4, -3*r + 2 + 8 = 4*s. Put 5, s, 4, g in increasing order.
g, s, 4, 5
Let p = -0.017 - 0. Let a = -5.017 - p. Let w = 118/45 - 12/5. Sort w, 4, a in ascending order.
a, w, 4
Let n = 3/295 + -322/2655. Put n, -401, 0 in ascending order.
-401, n, 0
Let h = -2637 + 2633. Suppose 0 = 4*x - 3*x - 2. Sort h, -2, x in increasing order.
h, -2, x
Suppose -3*n + 5 + 1 = 0. Let t be -4 - (7 + 168/(-16)). Put t, 0.1, n in descending order.
n, 0.1, t
Suppose 0 = -5*y - j - 2, 0*j = -2*j - 4. Suppose -11 = -4*v - 0*w - w, y = 3*v + 2*w - 12. Let g be ((-18)/10 + 2)*1. Put g, 5, v in ascending order.
g, v, 5
Suppose -253*f = -240*f + 3224. Sort f, -4, 0 in descending order.
0, -4, f
Let j = 99 + -103. Put 27, 4, 5, j in descending order.
27, 5, 4, j
Suppose -4*c + 8 = -2*u, 0 = -0*u + 2*u - 8. Suppose 3*q - 12 = -q. Let l = 12 + -17. Sort q, l, c.
l, q, c
Let m = -46 + 44.85. Let h = 0.15 + m. Let y(z) = z**2 - 2. Let d be y(2). Sort d, h, -2/7 in descending order.
d, -2/7, h
Let h = 331 + -386. Sort -2/17, h, 1.
h, -2/17, 1
Let c = -0.17 + 0.15. Put c, 0.5, 23 in descending order.
23, 0.5, c
Let f = -0.5 + 3.5. Let h = 2 - f. Sort h, -0.4, 6, -2 in decreasing order.
6, -0.4, h, -2
Suppose -9 = 3*j - n - 15, -4*n = 12. Suppose 0 = 4*d - 4*o + 8*o + 32, -o - 20 = 4*d. Sort -3, j, d.
d, -3, j
Let l be 2/2 - 3/(-3). Let y = 2022 - 2027. Sort 4, -2, y, l in increasing order.
y, -2, l, 4
Let f = 499 - 495. Put -2, f, 5 in ascending order.
-2, f, 5
Let s = -352.14 + 352. Let d = -1/39 - -83/195. Put 0.2, s, d in ascending order.
s, 0.2, d
Suppose 10 = w + 4*w + 2*x, 3*w - 3*x - 6 = 0. Let l = 4.5 + -4.82. Let u = l + 5.32. Sort -0.2, u, w in descending order.
u, w, -0.2
Let v = -233.6 - -234. Sort -4, -6, v, 5 in descending order.
5, v, -4, -6
Let w = -11 - -11.18. Let g = -0.18 + w. Sort 2/3, -5, g in ascending order.
-5, g, 2/3
Let s be (-4)/34 - 552/(-1224). Let n = -4.93 + 5. Let x = n + -0.01. Sort s, x, -0.4 in ascending order.
-0.4, x, s
Let d(j) = 3*j + 30. Let n be d(-9). Put 6, -1, n in increasing order.
-1, n, 6
Let u = 4 - -13. Suppose -u = -5*m - 2. Suppose m = -2*g - g. Put 0, g, -6 in decreasing order.
0, g, -6
Let w = -10 + 9. Let i = 1 - w. Suppose 3*s = 7*s. Sort s, 1, i.
s, 1, i
Let a = 264 + -259. Put 1/5, 6/19, a in ascending order.
1/5, 6/19, a
Let k(a) = a**3 - 8*a**2 + 12*a + 7. Let d be k(7). Let f = 46 - d. Put -10, -5, f in increasing order.
-10, -5, f
Let l be 150/4 + 41/82. Put 0, l, 4 in ascending order.
0, 4, l
Let n = -1 + -4. Let p(m) = -m**2 - 107*m + 449. Let a be p(4). Sort a, 0, 8, n in descending order.
8, a, 0, n
Suppose 396*d = 403*d - 35. Sort -13, -10, d in increasing order.
-13, -10, d
Suppose -4*o - 2*d - 30 = -2*o, 2*o - 2*d + 22 = 0. Let f(c) = -c**3 - 13*c**2 + c + 15. Let w be f(o). Let g = 8 + -5. Put -2, w, g in descending order.
g, w, -2
Let v(k) = -k**3 - 22*k**2 - 41*k - 23. Let w be v(-20). Put 12/7, w, 0.1 in decreasing order.
12/7, 0.1, w
Let s = -1531/10 + 153. Let y = -11 + 7. Put s, y, -5/6 in descending order.
s, -5/6, y
Suppose 3*r + 5*z + 476 = 0, -r - 5*z + 10*z - 152 = 0. Let j = r - -158. Suppose -4*c = -i + 3 - 5, -2*c = 3*i - 22. Sort i, 5, j in decreasing order.
i, 5, j
Let p = 0.033 - 3.033. Sort p, -1/5, -3/2.
p, -3/2, -1/5
Suppose -111 + 101 = -5*t. Sort -3, -382, t in decreasing order.
t, -3, -382
Suppose 2*y + 4*k = 18, -2*k + 3*k = -2*y + 6. Sort -4, -5, y.
-5, -4, y
Suppose 0 = 5*l + 3*o - 443, 188 = 2*l - 5*o - 14. Let h be (-4)/6*(-21)/l. Suppose m + 6 = 4*v, -3*m + m - 7 = -3*v. Put v, -4/7, h in decreasing order.
v, h, -4/7
Let r be 1*((2 - 4) + 2). Suppose 0 = 4*u + p + 2*p + 29, -2*u - 3*p - 13 = r. Put -4, -3, u in increasing order.
u, -4, -3
Let x be 0 + 23 + 15/(-15). Let k = 20 - x. Suppose -4*q + 40 = -4*p, 4*q + p = 24 - 9. Sort q, -3, k in descending order.
q, k, -3
Suppose -3*o - 2 = 1. Suppose -11*z + 10*z = 4*h + 7, -3*z + 6 = 3*h. Sort h, 0, 9, o in descending order.
9, 0, o, h
Suppose 2*b = 3*b - 7. Suppose -d = 3 - b. Suppose -2*i = -d*i + 4. Put -4, 11, i in descending order.
11, i, -4
Let v(m) = -m**2 - 12. Let a be v(-12). Let y be 1/(-6) + a/(-72). Let p = 4 - 1. Sort y, p, 1.
1, y, p
Suppose 0 = -6984*q + 6983*q - 1. Suppose 14 = -v + 4*x + 3, -v - 1 = x. Put v, 1, -8, q in increasing order.
-8, v, q, 1
Suppose -4*f = 3*c + 14 - 8, 0 = 5*c + 5*f + 5. Put 1, c, -0.5, 1/6 in decreasing order.
c, 1, 1/6, -0.5
Let m be 6/2 + (0 - 7). Let h = -1 - m. Let o be ((-1)/h)/(1/15). Put 1, o, 2 in decreasing order.
2, 1, o
Suppose 0 = 2*z - 21 - 83. Suppose z - 12 = 5*d. Let u = 9 + d. Sort -1, -4, u in descending order.
u, -1, -4
Suppose 7*n + 17 = 3. Suppose 0*a - x + 13 = -3*a, x + 19 = -5*a. Let t be 0/(-2*(-2)/4). Put t, a, n in ascending order.
a, n, t
Let z be -3 + 2/((-6)/27). Let j = -49/4 - z. Let x = -37 - -37.3. Sort 1, j, x in decreasing order.
1, x, j
Let n be (-2)/4*2 + -2. Suppose 2*t = 5*t - 21. Let x(a) = a - 2. Let q be x(t). Put -5, n, q in decreasing order.
q, n, -5
Let t = 347.8 - 348. Put -2/5, -0.6, -5, t in descending order.
t, -2/5, -0.6, -5
Let y = -7 - -10. Let t = -392 - -391.7. Put 0.5, t, y in descending order.
y, 0.5, t
Let o = -4 - -3. Let h be ((-358)/895)/(1/((-50)/4)). Sort o, 4, h in ascending order.
o, 4, h
Let v(n) = n**2 + 5*n - 24. Let q be v(-8). Put 3, q, 5, -7 in increasing order.
-7, q, 3, 5
Suppose n = 4*y + 25, -47*n = -46*n + 3. Let q = -0.13 + 4.13. Sort q, y, -1.
y, -1, q
Let u = 16.53 + -16.47. Let p be ((-2)/44)/(1/(-2)). Put p, -0.01, u in descending order.
p, u, -0.01
Suppose -2*s - 3 = -3*u + 3, u + 9 = -3*s. Sort -7, -12, s in ascending order.
-12, -7, s
Let c = -395 - -410. Sort 5, c, -0.5 in increasing order.
-0.5, 5, c
Suppose 52 = -3*l + 7*l - 4*o, 0 = 5*l + 3*o - 73. Let k = l - 8. Let s be 1/(-2 - (-14)/k). Sort s, 2/7, -0.4.
-0.4, 2/7, s
Suppose 2*j + 5*d = 62 - 21, 5*j = -2*d + 71. Suppose -j*q + 12 = -17*q. Put -5, 3, q in decreasing orde