+ v. Suppose 0 = -4*a + 3*o + 15 + 11, -2*o - 19 = -3*a. Sort x, a, -2.
-2, x, a
Let r be (6 - 1614/198) + (-91)/(-39). Put -4, -0.349, r in ascending order.
-4, -0.349, r
Let l(v) = 5*v**3 - 24*v**2 + 23*v - 141. Let b be l(5). Put 5, -19, -3, 2, b in decreasing order.
5, 2, b, -3, -19
Let b(z) = -35*z + 493. Let h be b(14). Sort 26, 1, 5, h.
1, h, 5, 26
Let l(g) = 25*g - 74. Let s be l(-1). Sort -2, -3, s in descending order.
-2, -3, s
Let r(l) = 10*l - 32. Let k be r(6). Suppose 0 = -w - 2*o + 27, 2*w + 4*o - 59 = -o. Suppose -w*n + 10*n = k. Sort -1, 2, n in increasing order.
n, -1, 2
Let u = -5922 + 6006. Let b = 25 + -22. Put -1/4, u, b, 0.4 in ascending order.
-1/4, 0.4, b, u
Suppose 80*r = 3 - 163. Sort r, 53, 0 in descending order.
53, 0, r
Let r(h) = -h**2 + 2*h - 1. Let j be r(1). Suppose 2*u = -j*u. Let k be ((u + 0)/(-4))/(1*3). Put k, 4, 2, -7 in decreasing order.
4, 2, k, -7
Let v = 952.6 + -953. Put v, 3, 1/5, 5, -2/13 in increasing order.
v, -2/13, 1/5, 3, 5
Let p(j) = 17*j - 22. Let z be p(2). Suppose 4*w + z = 4*y, -4*w - 9*y = -6*y + 5. Sort 0, w, -1, 1 in descending order.
1, 0, -1, w
Suppose 25*y - 6*q + 6 = 26*y, -5*y + 30 = 2*q. Let j(n) = n - 1. Let g be j(2). Sort y, 4, -3, g.
-3, g, 4, y
Let h = 11 + 14. Suppose -2*o - 4*k - 28 = -4*o, 0 = 5*k + h. Let j = -5 + 3. Put o, j, -5 in descending order.
o, j, -5
Let s = 1231 - 1231. Let l = -20 - -16. Sort s, -9, 0.3, l.
-9, l, s, 0.3
Let m(o) = 2*o**2 - 202*o + 212. Let c be m(100). Suppose -3*y - x = -12, -y = -4*x - 2 - 2. Put c, 5, -2, y in increasing order.
-2, y, 5, c
Let f = -10 - -7. Let j(b) = 2*b**3 - 3*b**2 + 18*b - 11. Let q be j(7). Let a = -640 + q. Put a, f, 3, 2 in decreasing order.
a, 3, 2, f
Let c = -23362/9 + 2596. Put 214, -1, 3, c, -1/4 in increasing order.
-1, -1/4, c, 3, 214
Let n = 884 + -875. Let q be (1 + 0)*1 - 7. Let j(x) = x**2 + 7*x + 1. Let g be j(q). Put 1, n, g in descending order.
n, 1, g
Let q = 2.023 - 2.32. Let w = -2.703 + q. Let r = 0.01 + 0.49. Put w, 17, r in descending order.
17, r, w
Let l(b) = -b**2 + 7*b + 4. Let x be l(8). Let n = -1203 + 1203. Sort n, x, -1, -3 in descending order.
n, -1, -3, x
Let o = 0.1 - -0.2. Let j = o + -3.3. Let h = 126742.84 - 126743. Put -0.1, h, j in decreasing order.
-0.1, h, j
Let k = 9602.9547 + -9605. Let n = k + 0.0453. Sort -5/7, n, 1 in descending order.
1, -5/7, n
Let u = 0.05 - -0.35. Let i be -1 + (-2)/(-9)*(-441)/(-84). Let z = -20.19 - -20.29. Put z, u, -1/5, i in descending order.
u, i, z, -1/5
Let j = -3356 - -3185. Put -4, 5, 4, j in decreasing order.
5, 4, -4, j
Let y = 21 - 25. Let f be -2 + 1 + y/1. Let l be (-52)/9 + 6/(-27). Sort -3, f, l in decreasing order.
-3, f, l
Suppose 3*b - 3*o = 2*b + 12, 0 = b - 2*o - 9. Suppose -13*h + t = -16*h - 4 + 3, 2*t - 22 = 0. Put 4, b, h in decreasing order.
4, b, h
Suppose -2*k + 7 = 3*p, -3*k = 9*p - 13*p - 2. Sort 5, 4, k, 6 in increasing order.
k, 4, 5, 6
Let f = -6317 + 6320. Put f, -1, -42, -3 in increasing order.
-42, -3, -1, f
Let v = 1/17 + -20/51. Let i = 154.5 + 5.5. Let m = -160.4 + i. Put -0.1, 2/11, v, m in increasing order.
m, v, -0.1, 2/11
Let g(r) = r**2 + 5*r + 5. Let a be g(4). Let q = a - 43. Let z be (2 + q)/1 + -14. Sort 3, z, 0 in ascending order.
z, 0, 3
Suppose 32*r + 60400 = 60208. Let s be (3/5)/(1/5). Put 2, s, r in descending order.
s, 2, r
Let d = 2 + 0. Suppose -5*r - 5*c + 2*c = -810, 4*r - 645 = -3*c. Suppose 0 = 19*u - 4*u - r. Put u, d, 5 in decreasing order.
u, 5, d
Let y be ((-4)/(-10))/(2/4). Let n = -73/4 - -215/12. Let o be (27/216)/(1/4). Sort -2, o, y, n.
-2, n, o, y
Let w = 96 + -74. Let u = 19 - w. Sort 2/13, 5, u, 0.04 in descending order.
5, 2/13, 0.04, u
Let b(k) = -7*k + 121. Let x be b(18). Suppose 0 = 4*a + 44 - 76. Sort -10, a, x in decreasing order.
a, x, -10
Suppose -2*y + 17328 = 17332. Let l = -1.6 + -0.4. Let k = 1 + l. Put y, 4, k in descending order.
4, k, y
Let l = -1870 - -5621/3. Sort l, 40/9, -4 in decreasing order.
40/9, l, -4
Let c = 0.0525 + 42.9475. Let y = c + -38. Put -5, -2/19, -1, y in descending order.
y, -2/19, -1, -5
Suppose -290*r = 187*r - 28620. Suppose -3*f + 0*g = g + 16, 0 = 5*f + 4*g + 29. Let b be 1 + f + r/14. Put b, 3, 0.4, 1 in increasing order.
b, 0.4, 1, 3
Let v be 5*(-4 + ((-42)/10 - -9)). Put v, 129, -5, -4 in increasing order.
-5, -4, v, 129
Let w(l) = 6*l - 412. Let t be w(62). Put -4, 3, t in decreasing order.
3, -4, t
Suppose -5 = -4*t + 3. Suppose 0 = -3*q - 5*u - 11, 4*q + 0*u + 7 = u. Let i be (-8)/(-126)*(-321)/214. Sort t, i, 0.4, q in descending order.
t, 0.4, i, q
Suppose 18*j - 2*j = -16. Sort -4, -31, j in descending order.
j, -4, -31
Let i(o) = o**2 + 2414*o + 14447. Let y be i(-6). Let h = 3 + -3.5. Sort h, y, -4, -2.5 in decreasing order.
h, y, -2.5, -4
Let k(i) = -i**3 + 70*i**2 + 456*i - 2. Let v be k(76). Let y be (-12)/(-9)*9/(-2). Sort v, -5, y in increasing order.
y, -5, v
Let j = -17405 + 17406. Put -26.4, j, -1, 0.2 in descending order.
j, 0.2, -1, -26.4
Let d be 2/(8/3)*(8 + (-21312)/2700). Put -3, d, -0.2, -6 in descending order.
d, -0.2, -3, -6
Let z be (-50)/(-15)*7/(105/36). Let w = 465 + -465. Put z, w, 46 in descending order.
46, z, w
Let z be (-3)/(-48 - -3)*2. Let k = -41754 + 41759. Put -4/15, -4, z, k in decreasing order.
k, z, -4/15, -4
Suppose 280 = 71*x + 69*x. Let i(t) = t - 1. Let c be i(-3). Let a(o) = 5*o**2 - 3*o - 1. Let w be a(3). Put -1, w, x, c in decreasing order.
w, x, -1, c
Let r = -92798.5 + 92798. Let l = -15.3 - -16. Let c = l - 1. Sort c, 2, r in ascending order.
r, c, 2
Let i = 30.066 - 30. Let m = i - 0.044. Let y = -26.7 + 26.4. Put m, -1/8, y, 3 in decreasing order.
3, m, -1/8, y
Let v = 1.1 + 14.9. Let c = 726.22 + -725.22. Sort c, 4, v in decreasing order.
v, 4, c
Let d = 5/9 + -2/9. Let b = -855428 - -855433. Put 2/13, 1, b, d in increasing order.
2/13, d, 1, b
Let o = -3886 + 3886.07. Let c = -1 + 0.7. Let q be (-14)/(-8) - (-2)/8. Sort c, o, q.
c, o, q
Suppose -4*j = -5*n - 26, -3*j = -n - 2*n - 18. Let c = 2435 - 2434.99. Put 0.5, c, -4, n in increasing order.
-4, n, c, 0.5
Let h = -2 + -1. Let f be 2/(-14) - 17635/(-210). Let r = f - 84. Put 0.3, -0.1, r, h in descending order.
0.3, -0.1, r, h
Suppose -3*c - 6 = 0, 3*c - 7*c + 12 = 4*p. Suppose -p*w + 2*s - 35 = -0*s, 0 = 3*s. Put -2, 2, w in ascending order.
w, -2, 2
Let n be 1/2 + 2/(-4). Let m(h) = h**3 - h**2 + 5*h - 26. Let u be m(5). Let b = 97 - u. Sort b, n, 5 in increasing order.
b, n, 5
Let j be -169 - -177 - 92/12. Let f = 6.08 + -6. Let k = -3.92 - f. Sort k, 2, j.
k, j, 2
Let p(i) = i**2 + i - 1. Let h be p(1). Let n = 190 + -187. Suppose 0*z = -8*z - n*z. Put h, z, -4 in increasing order.
-4, z, h
Suppose 122*z - 51*z + 51 = 54*z. Sort 3, -5, -1, -1139, z in decreasing order.
3, -1, z, -5, -1139
Suppose s - 4*d + 13 = 0, 0 = 4*s + d + 85 + 1. Let a be 1*30/(5 - -1). Sort -1, s, 2, a in descending order.
a, 2, -1, s
Let z = -3717 - -7437/2. Sort 7/2, -1, z, 0.03.
-1, 0.03, z, 7/2
Let d be (1/((-4)/(-8)))/(14/385). Suppose w = 5*r + 3, 7*r + 15 = 9*r + 5*w. Put d, r, 5, 4 in increasing order.
r, 4, 5, d
Let h = -24523/3 + 8174. Sort h, 1/8, -1/5, -84, -2/5 in increasing order.
-84, -2/5, h, -1/5, 1/8
Suppose 2*v - 102 = 2*l, -145 = 80*l - 77*l + 5*v. Sort l, 2, 9 in descending order.
9, 2, l
Let x = 5.36 - 5.16. Put 5, -2, x in decreasing order.
5, x, -2
Let l be -4*(6 - 5 - -5). Let z be ((-40)/l)/(3/9). Sort 2, z, -13, 1.
-13, 1, 2, z
Let t = -6 + 3. Suppose -12 = 3*n + 36. Let l be ((-64)/n)/(1 + 1) + 5. Sort 3, l, t in increasing order.
t, 3, l
Let b = -1.068 + 0.068. Let a = -1.08 - -0.91. Sort a, b, -0.5, -5 in decreasing order.
a, -0.5, b, -5
Let m = 118 - 115. Let b = -522 - -517. Put m, -16, b, 5 in descending order.
5, m, b, -16
Let u = -0.6154 + -1.3846. Sort -39, u, 10.
-39, u, 10
Let v = -1802.4 - -1802.6. Sort 1.3, v, -3, -4, 8 in decreasing order.
8, 1.3, v, -3, -4
Let k(w) = -420*w - 2519. Let t be k(-6). Sort 503, -3, t, -2 in descending order.
503, t, -2, -3
Let m = -1760 + 1760. Sort -5, -2, m, -9, -1 in descending order.
m, -1, -2, -5, -9
Let i be -2 + (-114)/(-21) - 3. Let q be (-628)/(-540)*3/(45/10). Let u = -2/81 - q. Sort -3, u, -0.4, i in decreasing order.
i, -0.4, u, -3
Let t = -103.3 + 13.3. Let u = 