, 7
Let h = -2389/39 + 184/3. Let v = 37/180 - -2/45. Put h, 0.4, v, -3 in ascending order.
-3, h, v, 0.4
Let n = 11691 + -12051. Sort n, 3, 2/3, 2/15 in decreasing order.
3, 2/3, 2/15, n
Let q be ((-12)/14)/(5/((-350)/15)). Suppose 5*y - 1 - 4 = 0. Suppose -4*k = -r - 1 + 6, 3*k = -q*r + y. Put 5, 3, r in increasing order.
r, 3, 5
Suppose 7828 = 5*r + 703. Let a be 4/38 - 1005/r. Let o = 0.14 + -0.1. Sort -0.4, a, o in increasing order.
a, -0.4, o
Let u be (6/4)/((-24)/(-32)). Suppose -g - 5*z = -26, 4*g + 3 = 2*g + z. Let d be -2 - (-12)/30*-5. Sort d, g, u, 5.
d, g, u, 5
Suppose 5*b + 16 = x + 2*x, 3*b = 5*x - 32. Suppose -1021 + 1546 = -2329*m - 1804. Sort x, -2, -3, m.
-3, -2, m, x
Suppose 2*u + 3*j = -11, 0 = -4*u + j - 4*j - 7. Let r be u/(-2) - (4 - (14 - 10)). Let p be (-10)/3 + (-2)/(-6). Sort p, -2, r.
p, -2, r
Let f = -13.367 + 15.367. Let q be 7/(-8) + 2 + -1. Sort -1/2, f, q, -12 in increasing order.
-12, -1/2, q, f
Let s(b) = -8*b**3 - 6*b**2 - 4*b. Let x be s(-1). Suppose -40 = -z + x*z + 3*r, -2*z - r - 16 = 0. Put z, 2, -2 in descending order.
2, -2, z
Suppose 0 = 18*v - 65 + 10 - 35. Suppose -l - 5 = 5*u, -2*l = -6*l - 2*u + 16. Let g be -2 - l/1 - 1. Put g, v, -5 in increasing order.
g, -5, v
Let w = 1/55 - 113/165. Let h = -634.95 + 663. Let r = -28 + h. Put -1/2, r, w in ascending order.
w, -1/2, r
Suppose -5*x - 12 = -3*x. Suppose -3*d = 7*v + 43, -66 + 45 = -v + 5*d. Sort x, -13, v in descending order.
v, x, -13
Let y = 104 - 69. Let w = 21.7 + -26.7. Let c = -233 + 235. Sort w, y, c, -5/2 in decreasing order.
y, c, -5/2, w
Let t = -3 - -6. Let k = 2 - t. Suppose 0 = -54*u + 41 - 203. Put k, u, 4 in decreasing order.
4, k, u
Let f = 29 - 27. Let o be 10/(f + 3)*2. Let p be (-3)/2 + (-2)/4. Put o, -1, p, -3 in descending order.
o, -1, p, -3
Let z = -501 - -501.02. Put -1/12, -4, z in descending order.
z, -1/12, -4
Let x be (-1 + 0)/((-2)/(-10)). Suppose -2*v + 1269*i + 38 = 1264*i, 0 = 3*v + 2*i. Sort 0, v, 17, x in increasing order.
x, 0, v, 17
Let x = -35.1 + 14.1. Let i = 8 + -8.3. Let l = 4.97 - -0.03. Sort i, l, x.
x, i, l
Let g = 24.84 - -0.16. Let x = 25.7 - g. Put 4/3, -5, 0, x in descending order.
4/3, x, 0, -5
Let l(z) = -z**2 + 4*z. Let h be l(6). Let q = h - -17. Suppose -d = -4*o - 20, 3*o - q*d = 2*o - 24. Sort 1, o, -5 in increasing order.
-5, o, 1
Let x = -5.328 + 5.728. Put x, -3/4, -2/7 in decreasing order.
x, -2/7, -3/4
Let i(g) = 44*g + 371. Let p be i(-8). Sort 0.7, p, -2/3.
-2/3, 0.7, p
Let r = -466 + 398.2. Let u = -68 - r. Sort u, -3, 1/10, 5 in decreasing order.
5, 1/10, u, -3
Suppose -47 + 169 = -2*x. Let i = x + 65. Suppose -5 = -i*g + 7. Put 0, 4, g, -4 in decreasing order.
4, g, 0, -4
Let k = -12884 + 12881. Suppose -u = 3*u + 20. Put 8, u, 1, k in ascending order.
u, k, 1, 8
Suppose 2*b = -2*i + 26614, 3387 = i - 2*b - 9914. Put -3, i, 3, 0 in descending order.
i, 3, 0, -3
Let l be (-50)/(-70)*(-15 + 29). Sort -24, -1, 0, l.
-24, -1, 0, l
Let o be (-23 - -45 - -6) + -22. Let x = -1 + 0. Put o, 0, x in decreasing order.
o, 0, x
Let b = -487 - -482. Sort 37, b, -7, -4, -0.1 in descending order.
37, -0.1, -4, b, -7
Suppose -3*p - 15 = -5*y, -2*p + 3*y - 8 = 1. Suppose 2*k + 4*i + 10 = p, 10 = 3*k + k + 2*i. Suppose 185 + 174 = 14*n + 373. Sort k, -5, n.
-5, n, k
Let s be (-2)/4 - (-39)/54. Let d = 4.035 + -4.335. Sort -0.013, s, 3, d in increasing order.
d, -0.013, s, 3
Let f = -195 - 425. Sort 2/7, 2, f in descending order.
2, 2/7, f
Let d be (2 + 0)/4*-3. Suppose 0 = -5*l - 5, a = -5*l - 8 + 5. Suppose -2*y = -k - 14, -2*y = 2*k + a*y - 12. Sort 0.5, -2/5, k, d in increasing order.
k, d, -2/5, 0.5
Let l = 0.12616 - -0.17384. Sort 2, l, -3/2, -0.3, -2 in increasing order.
-2, -3/2, -0.3, l, 2
Let m be 1/(1/(-8)) + 0. Let l(y) = 2*y**3 - 93*y**2 - 42*y - 27. Let b be l(47). Let n = 207 - b. Sort 3, n, m.
m, n, 3
Let g(w) = w**3 + w**2 - 3*w + 4. Let l be g(-3). Let j be 5/(13 + -3) - (-3)/(-6). Let v be (j - 1)*22/(-22). Sort -4, l, v in decreasing order.
v, -4, l
Let p be -1*(-3)/(-18)*-9*4/6. Sort 3/7, p, -0.9, 9 in ascending order.
-0.9, 3/7, p, 9
Let g = -588 - -611. Suppose -g*r + 39*r - 16 = 0. Suppose 0 = -4*p + 16, 2*z = -z + 2*p - 11. Sort -7, r, z in ascending order.
-7, z, r
Suppose -d + 1 = -5*w - 18, 3*d = -4*w. Suppose -4*x - 897 + 873 = 5*z, 4*x + 16 = -3*z. Put x, 0, 6, d in decreasing order.
6, d, 0, x
Let l = 362.3 - 362. Let o = -8.6 - -8.7. Sort -3, 2/17, l, o in ascending order.
-3, o, 2/17, l
Let s = 0.6 - 0.1. Let x = 2.23 - 2.93. Let t = 0.9 + x. Put -0.4, t, s in descending order.
s, t, -0.4
Let s = 107 - 106. Let p be 33/18 + s + -3. Put 0.5, -0.04, p in increasing order.
p, -0.04, 0.5
Suppose -11*k = -13*k + 2*a, 12 = -k + 4*a. Sort 1, 682, k, 5 in decreasing order.
682, 5, k, 1
Let g = -31.5 - -3.5. Let s = -2.0249 - -1.7249. Put g, s, -4 in ascending order.
g, -4, s
Let w(p) = -19*p + 193. Let i be w(10). Sort -3, 1, i, 4 in descending order.
4, i, 1, -3
Let g be (786/(-524))/((-5)/(-12)*27/(-30)). Sort 16, 112, g in decreasing order.
112, 16, g
Suppose -38*l + 35 - 26 = -67. Sort 4, l, 1 in ascending order.
1, l, 4
Let t = 3176 - 3194. Sort 5, 8, t, 2, -3.
t, -3, 2, 5, 8
Suppose -8*b = -641 + 625. Suppose -2*o + 4*l = -124, 3*o + b*o = 2*l + 286. Sort o, -1, 5.
-1, 5, o
Let b be (-16)/3*(-17)/68*(-30)/(-8). Sort 0, b, -16, -1, -4 in descending order.
b, 0, -1, -4, -16
Let v be ((-1)/(7/28))/((-2)/2). Suppose 4*o - 12 = v*n - 4, -4*n - 26 = 5*o. Sort o, 1, 5, -5 in descending order.
5, 1, o, -5
Suppose -5*i - 19 = -2*t + 15, 5*t = 2*i + 22. Put -2, -9, -1, t, -53 in descending order.
t, -1, -2, -9, -53
Let d be (27848/(-6))/(0 - 680/(-28)). Let r = 378/85 + d. Let b = 189 + r. Sort 4, -3, b in decreasing order.
4, b, -3
Let a(o) = -6*o - 178. Let y be a(-30). Put -12, y, -5 in increasing order.
-12, -5, y
Let d = -0.0445 - -0.0913. Let j = d + -0.7468. Sort 1, 4, j, 0.1 in descending order.
4, 1, 0.1, j
Let m = -26703 - -26925. Sort -3, m, 2/7, 0.2 in decreasing order.
m, 2/7, 0.2, -3
Suppose 0 = 2*x - 2*z - 8, 232*x = 234*x + 3*z - 3. Put -108, -4, 1, x in decreasing order.
x, 1, -4, -108
Let t = -1488.7 + 1489. Put 0.07, t, 38/9, 3 in ascending order.
0.07, t, 3, 38/9
Let a = -2155.4 + 2155. Sort a, 2/13, -0.1, -0.5, 380 in ascending order.
-0.5, a, -0.1, 2/13, 380
Let q = 98.85 - 98.87. Put q, 52, -0.2 in descending order.
52, q, -0.2
Let c = 11 + -6. Suppose -4*f = w - 20, 0 = -4*f + 5*w + 1 - c. Let o(d) = 3*d**3 + 62*d**2 - 23*d - 40. Let l be o(-21). Sort -7, l, f in decreasing order.
f, l, -7
Let k be 0/((-11 + (-341)/(-22))*(-16)/(-36)). Let d = -8 - -12. Put k, -1, d, -7 in descending order.
d, k, -1, -7
Suppose 15*t + 40 = 17*t. Suppose b = -4*b + t. Suppose 17 = -3*x - 5*g, b*g = -0*x + 2*x + 4. Put -3, x, -6 in ascending order.
-6, x, -3
Let f = -1465 - -1460. Put 2, 4, -68, 3, f in decreasing order.
4, 3, 2, f, -68
Let r(n) = -5*n**3 + n + 1. Let j be r(-1). Let m = -25586 + 25584. Sort m, j, 15.
m, j, 15
Let d = -102 - -98.4. Let o = -0.33 + -5.27. Let m = d - o. Sort 3, -1/2, m.
-1/2, m, 3
Let d = 51785 + -4815938/93. Let z = d + -12/31. Put z, -5.5, 5 in decreasing order.
5, z, -5.5
Let z = -2468 - -2464. Put 8, z, 3, 4, 15 in increasing order.
z, 3, 4, 8, 15
Suppose 6 = 2*r - 0*r. Let w = 5 - r. Suppose 29 + 167 = -98*q. Put w, 0, q in ascending order.
q, 0, w
Suppose -9*q - q = -30. Suppose -q*p + 16 = -p. Put -1, p, -8 in descending order.
p, -1, -8
Suppose 12*r = 282 - 222. Let z = 13 - 9. Let c be (9 + -9)/(-1*1). Sort r, c, -2, z.
-2, c, z, r
Suppose -1770*k + 1600 = -1940. Let i = 17 - 1. Sort i, -5, 3, k in ascending order.
-5, k, 3, i
Let b = 12.1 + -11.8. Suppose -c + 3 = -1. Suppose 0 = -4*f + 3*y - 2, -f + 3*y = 4*f + c. Sort f, b, -2/19 in descending order.
b, -2/19, f
Suppose -231 = 129*g + 414. Let x = -40 + 5. Put 2/5, x, g, 0 in increasing order.
x, g, 0, 2/5
Let c = -31/24 - -9/8. Let d = -0.6001 + -0.6999. Sort -2, -0.5, d, c in descending order.
c, -0.5, d, -2
Suppose -94*q + 40 = -14*q - 120. Put 4, 5, q, -28, -3 in descending order.
5, 4, q, -3, -28
Suppose -r = 0, -r + 17 = -4*w - 3. Suppose 5*g = -2*d + 6, 3*d + 4*g = -0*g + 2. Let l be 2/(d - (-18)/12). Sort 1, 0.2, l, w in descending order.
1, 0.2, l, w
Let a = -986.9 