 w in ascending order.
-4709, -5, w
Suppose 0 = 2*s - 2*v - 24, 0 = -3*s - 86*v + 85*v - 4. Let q = 132/83 - 22474/14027. Sort s, -5, q in descending order.
s, q, -5
Suppose -2*u = -u + 3. Let l be (-36)/(-14)*679/(-291). Sort l, 0.1, u in ascending order.
l, u, 0.1
Let r be (22 + -11 - 81)*6/(-4). Let i = 103 - r. Let h be 4/10 + (-37)/5. Sort i, h, 2, 0 in decreasing order.
2, 0, i, h
Let x(l) = l**3 + l**2 - 6*l + 5. Let w be x(2). Suppose 5*t - w*q = 160, -q - 7 = 3*t - 115. Suppose 7*b = 2*b - t. Put b, -0.3, -3, -4/9 in descending order.
-0.3, -4/9, -3, b
Suppose 9*u - 75 = 60. Suppose l - 32 = -u*l. Put l, 4, -2, 30 in ascending order.
-2, l, 4, 30
Let n be ((-420)/(-63))/(-20) + 26/6. Sort -3, 0, -66, 1, n in decreasing order.
n, 1, 0, -3, -66
Let u(c) be the third derivative of -c**4/4 - 8*c**3/3 + 5*c**2 + 7. Let o be u(-7). Let g be 22/o - 1 - (-2)/13. Sort g, 4, -1 in descending order.
4, g, -1
Let g be (-2)/(-3) + ((-140)/6)/(-1). Let m be (4 - (-6 + 12))*2/g. Let n = -1.9 - -1.6. Sort m, 0, n, -1/8 in decreasing order.
0, -1/8, m, n
Suppose 267*c - 18 = 11 - 29. Let x(n) = -n**3 + n**2 - n - 1. Let b be x(-1). Suppose 0 = b*r - r - 3. Sort 9, r, c, 1 in descending order.
9, r, 1, c
Suppose 2*c = -c + 711. Let h(t) = -215*t + 2. Let s be h(0). Put -4, c, s in decreasing order.
c, s, -4
Suppose -4*i = -19 + 187. Let m be ((-4)/(-30)*6)/(i/(-30)). Let t = 264 - 1316/5. Sort -4, m, t in ascending order.
-4, m, t
Let s = 16036 - 16036. Sort -0.17, s, -0.05 in decreasing order.
s, -0.05, -0.17
Let j = -22625 - -22625.015. Sort -4, 22, j in ascending order.
-4, j, 22
Let i(u) = u**3 - 2*u**2 - 4*u + 5. Let d be i(2). Suppose -5*m = -2*h - 3*h, -2*m + 3*h = 0. Suppose m = x - 18 + 15. Sort d, x, -1 in descending order.
x, -1, d
Suppose -3*r + 2*m = 7*m - 4614, 3*r + 16*m = 4680. Put 0, -3, r in ascending order.
-3, 0, r
Let u(c) = c**3 - 85*c**2 + 473*c + 76. Let q be u(79). Sort 6, 1, -5, -1, q.
-5, q, -1, 1, 6
Suppose 2*o = 5*t + 28, 5*t + 30 - 6 = o. Let y be (2/t)/(8/384*6). Sort -3, 5/4, -1, y in decreasing order.
5/4, -1, -3, y
Let z = -6.3483 - 0.6517. Put z, 1/2, 4, 1/4 in increasing order.
z, 1/4, 1/2, 4
Let w be (2 - 14/2)/3. Let g = 8026 - 8022. Put 0.5, g, w in ascending order.
w, 0.5, g
Let n = 1435 + -1435. Sort -3, -21, n, -4 in ascending order.
-21, -4, -3, n
Suppose -k - 8 + 6 = 3*q, -5*q = -4*k + 94. Sort 5, -1, k, -5, 2 in ascending order.
-5, -1, 2, 5, k
Suppose 6*c + 84*c = -450. Sort -1, 12, 125, -4, c in increasing order.
c, -4, -1, 12, 125
Suppose 3*p - 5*h = 25, p + 6*h + 20 = 2*h. Suppose -3*t - 8*t + 22 = 0. Suppose -4*u + 24 = -4*v, -8*u - 8 = t*v - 6*u. Sort -1, 3, p, v in descending order.
3, p, -1, v
Let f be (-2)/(-4)*-2 + -29 + 30. Suppose -42*h + 51*h = f. Sort -1, -11, h, 2 in descending order.
2, h, -1, -11
Suppose 0*i + 4*i + 38 = -f, 3*i - 3 = f. Let n be (3 - 0)*1/3. Let w(r) = r**3 + 20*r**2 + 48*r - 56. Let j be w(-17). Sort f, 3, n, j in increasing order.
f, j, n, 3
Suppose -405*j + 69001 + 261832 = -43792. Sort 1/6, -3, j in decreasing order.
j, 1/6, -3
Suppose -2*b = -5*t + 29, 4*t + 82*b = 86*b + 40. Sort t, -3, -70 in decreasing order.
t, -3, -70
Let h = 6178 - 6175. Put -67, -6, h in descending order.
h, -6, -67
Let v = -0.04313 + 0.05313. Let f = -3.0517 - -0.0417. Let y = v + f. Put y, -2, 12 in increasing order.
y, -2, 12
Let q = 15313 + -61247/4. Sort 1, 0.19, -3/2, q in descending order.
q, 1, 0.19, -3/2
Let o = -4/577 + 42734/5193. Sort -3/7, -4, o in ascending order.
-4, -3/7, o
Let f = -64.9 - -131.9. Put 1/6, 3/16, f, -3 in ascending order.
-3, 1/6, 3/16, f
Let s = -0.023 + 0.643. Let t = s - -61.38. Let f = 61 - t. Sort 5, 0, f, -2 in ascending order.
-2, f, 0, 5
Let z = 1908 - 1906. Sort -5, 62, z, -1, -3 in decreasing order.
62, z, -1, -3, -5
Let c be 0*((3 - 2) + 0). Let w be ((-34)/(-102))/((-1 - 1)/(-120)). Suppose -3*l - 5*r + 4 = -26, -2*l - 2*r + w = 0. Put c, l, -4 in decreasing order.
l, c, -4
Let p = 941 - 941. Suppose -h - 2*h = -60. Let r be h/5*1/(-2). Sort p, r, -4.
-4, r, p
Let p(f) = 1456*f + 2885. Let b be p(-2). Sort -2, -20, 4, b in ascending order.
b, -20, -2, 4
Let m = -11 + 12. Suppose 0 = j - b - 0*b - 3, 3*j - 9 = 4*b. Suppose j*v + 77 - 104 = 0. Sort v, m, -4, 0.
-4, 0, m, v
Let c(m) = 485*m - 3403. Let o be c(7). Sort o, 1, 52.
o, 1, 52
Let m(t) = -2*t**2 - 36*t + 74. Let b be m(-20). Let n be (2 - (b - -9))/(0 + 1). Sort -7, 2, n in ascending order.
-7, n, 2
Let i(k) = -2*k + 2. Let w be i(-2). Let n be (-1 + -2)/6*w. Suppose 79*h + 3242 = 2610. Put -1, h, n in increasing order.
h, n, -1
Let a be 5/((-110)/(-4)) - (-47733)/462. Let j = a + -1453/14. Let o = 1 + -0.6. Put 0, 0.5, j, o in descending order.
0.5, o, 0, j
Let j be 20/14 + (-1716)/(-1092). Sort 6, -4, j, -3, -1 in increasing order.
-4, -3, -1, j, 6
Suppose -2510 + 1156 = 42*l + 1922. Sort l, -1, 0 in increasing order.
l, -1, 0
Suppose 6*f = 4*f + 6. Let i(y) = -15*y - 302. Let c(g) = 6*g + 101. Let n(v) = 8*c(v) + 3*i(v). Let j be n(31). Sort -2, j, 11, f in decreasing order.
11, f, -2, j
Let j be 2/7 + 33/7. Let z be 165/66 + 3/(-2) - -11. Sort j, -5, 4, z in descending order.
z, j, 4, -5
Let r(p) = 2*p**2 - 30*p + 111. Let g be r(9). Put -4, 13, g in descending order.
13, g, -4
Suppose -5*r - v - 13 = 0, -17*r - v - 7 = -15*r. Let d(u) = -4*u + 4. Let z be d(3). Sort z, r, 2.
z, r, 2
Suppose 289 = -14*g + 1661. Suppose 2*n + 126 = g. Sort -0.1, -4, 1/9, n in decreasing order.
1/9, -0.1, -4, n
Let i(s) = s**2 + 5*s - 6. Let d be i(-6). Let c(o) = 5948*o - 65323. Let z be c(11). Sort z, -5, d in increasing order.
-5, d, z
Let x = 1254 - 8781/7. Sort -2/9, x, 2/15, 4, 1/6 in ascending order.
x, -2/9, 2/15, 1/6, 4
Let y = -10 + 10. Let r = -131.00291 + -0.04709. Let j = 131 + r. Sort -0.3, j, y in decreasing order.
y, j, -0.3
Let t = 46 - 46. Let q = 41 + -37. Sort q, 6, 3, t.
t, 3, q, 6
Let o = 2897/10 - 8761/30. Put o, -11, -44 in decreasing order.
o, -11, -44
Let s be (-4598)/(-946) + (11 - 16). Sort -0.02, -3, s, -1 in decreasing order.
-0.02, s, -1, -3
Suppose x - 19 = r, -1726*r + 17 = -1727*r + 2*x. Let k = 14 - 12. Sort 5, k, r.
r, k, 5
Suppose -37*x + 39*x - 80 = 0. Let h = x - 39. Sort -2, h, -1.
-2, -1, h
Let v be (-35)/(-21) - 30/18. Put v, 3, -63 in descending order.
3, v, -63
Let s be (46/7 - 2)/(2414/118286). Let x(h) = -2*h + 5. Let b be x(5). Sort -3, s, b.
b, -3, s
Let b = 4 - 3. Suppose -53*v = 93*v - 1168. Put b, 3, v in descending order.
v, 3, b
Let l = 211 + -357. Let w = 77 + l. Sort w, 2/7, 0 in decreasing order.
2/7, 0, w
Let f = 1022 + -1021. Put 134, -1, -5, f in increasing order.
-5, -1, f, 134
Let f be (-24)/(-23) - (3 - 2). Let a = 25078.1 + -25078. Sort 0.4, a, f, 3.
f, a, 0.4, 3
Let o = 0.25261 + -0.05261. Sort -0.2269, o, 1/2.
-0.2269, o, 1/2
Let j = 16.1 + 5.9. Let n = 14 + j. Let q = n - 36.2. Put q, 32, -2/7 in descending order.
32, q, -2/7
Let p = -0.2 - 16.7. Let q = -17 - p. Let w = 109 + -112. Sort q, w, 26 in ascending order.
w, q, 26
Suppose 3*v + 11*m - 429 = 15*m, 0 = -3*v - m + 399. Put 5, v, 1 in decreasing order.
v, 5, 1
Let r = -119551/21 - -5693. Suppose -a = 9 - 8. Let q be 2/15 + (-1 - -1). Put q, r, a in ascending order.
a, r, q
Let k = 1896 - 3122. Put -4, k, -3 in decreasing order.
-3, -4, k
Let p be -2*((-11)/154 + 0). Let m = -21273/10 - -2138. Let y = -23/2 + m. Put -0.5, p, -3/5, y in increasing order.
y, -3/5, -0.5, p
Let u(i) = -5142*i - 107979. Let h be u(-21). Let q be (-4)/(-6) - (-676)/(-6). Put q, -4, h in decreasing order.
h, -4, q
Let a = 550.463 - -0.537. Let g = a + -551.05. Put g, 0.4, 3/8 in ascending order.
g, 3/8, 0.4
Let l = 727 + -727. Suppose l = -6*h - 2*h + 32. Put 2, h, -16 in increasing order.
-16, 2, h
Let h(q) = -q**2 - 155*q + 25151. Let i be h(99). Let r = -2/33 + 8/11. Put i, r, 1 in increasing order.
r, 1, i
Let g = 0.2 - 0.3. Let p(i) = 11*i + 320. Let q be p(-30). Let c be (q*(-4)/(-12))/((-95)/114). Put 3, g, c, -6 in increasing order.
-6, g, 3, c
Let y = 432 + -313. Suppose 0 = 130*i - y*i. Suppose 4*z = -z + 5. Sort 3, -2, z, i in decreasing order.
3, z, i, -2
Let f = -1840 - -1831. Let v = -0.095 - 0.005. Put f, 0.1, v, 0 in ascending order.
f, v, 0, 0.1
Let m(r) = r - 1. Let b be m(5). Let g be (-1*