= -4*n, -c*i - 4 = -6*i + n. Suppose i*w - 2*w - 3 = 0. Sort 0.5, w, -1 in decreasing order.
w, 0.5, -1
Let d = 665 - 665.4. Sort 62, d, 2 in increasing order.
d, 2, 62
Suppose -4*a = 24*a + 280. Put a, 1, 4 in decreasing order.
4, 1, a
Let x = -0.3 + 1.3. Let l = 601 + -4809/8. Put 3/2, x, l, 0.5 in decreasing order.
3/2, x, 0.5, l
Let b = -0.529 - -0.929. Sort b, 0.3, -1 in decreasing order.
b, 0.3, -1
Let q be -2 + (-3 - -3) + 5. Suppose -q = 2*y - 7. Let b be (y/4)/((-3)/(-24)). Sort b, -4, -1 in increasing order.
-4, -1, b
Suppose -31 = 3*a - 10. Let g be (-5)/(-30)*(-6)/(-4)*-4. Put g, a, 3, 1 in increasing order.
a, g, 1, 3
Suppose -5*d + 4*t - 24 = -10*d, 0 = -d + 2*t + 2. Suppose 4*b = 6*b - d, 0 = r + 2*b - 10. Suppose -r = 4*q - 7*q. Put 4, 5, q in descending order.
5, 4, q
Let g = 1910.5 + -1910. Sort 1, -67, g in ascending order.
-67, g, 1
Suppose 56 = -50*m + 78*m. Let f = 14.3 - 2.3. Sort -0.5, f, 5, m.
-0.5, m, 5, f
Let a be (-1)/((-2)/8) + 72. Suppose -6*p + a = 46. Let t = 4 - 6. Sort t, p, 0.03 in descending order.
p, 0.03, t
Let j = 375 + -377. Put -0.01, j, 2/11, -0.5 in increasing order.
j, -0.5, -0.01, 2/11
Let m = -915 + 917. Let g be ((-1)/(-1) - 4)*1. Sort m, g, -2 in decreasing order.
m, -2, g
Let j(q) = 4 - 5*q + 4*q - 5. Let z = 217 + -213. Let l be j(z). Put 0, l, 4 in descending order.
4, 0, l
Let d be 1*-5 - (40 + -42). Sort 5, -2, d, 8.
d, -2, 5, 8
Let t = -18 + 13. Let w = 263 - 274. Put w, -2, t in ascending order.
w, t, -2
Let s be (30/(-50))/(0 + (-8)/(-5)). Sort 0.5, s, -1/35.
s, -1/35, 0.5
Suppose 0 = 32*c - 31*c - 5. Let y(n) = n**2 - 4*n + 3. Let g be y(4). Sort c, 2, g, -1.
-1, 2, g, c
Let l be ((-5)/2)/(1/2). Let r be 9/(90/20) - -3. Let x = -4 + 12. Sort l, x, r in descending order.
x, r, l
Let x(w) = -w**3 + w**2 + 2*w + 3. Let a be x(-3). Let t be 0 - (36/a - 1). Let r = 64 - 64.2. Put 3, t, r in descending order.
3, t, r
Suppose -2*v = 2*v - 8*v. Suppose -7*i + 1 + 6 = v. Suppose -5*t + 0*t + 20 = 0. Put i, -2, t in descending order.
t, i, -2
Let u be -2 + (-7 - 1547/(-169)). Put 0.25, -3, u, 1/16 in decreasing order.
0.25, u, 1/16, -3
Suppose i - 2*i = -2*x + 3, 4*i - 24 = -4*x. Put -3, x, -4 in decreasing order.
x, -3, -4
Suppose -3*n = -3*m + 24, -4*n + 5 = 4*m + n. Suppose -2*h - 6 = -0. Suppose 1 - 11 = 5*p. Sort m, h, p in decreasing order.
m, p, h
Let k = 0.38 + -0.08. Let r = -0.2 - k. Let i be (((-30)/(-54))/5)/((-2)/6). Sort r, i, -0.1.
r, i, -0.1
Let y = -25 + 37.5. Let h = y - 13. Let l be ((-2)/(-4))/(6/4). Put h, l, 0 in descending order.
l, 0, h
Let o be 6*2*(-8)/(-288)*9. Put 2, 142, o, -3 in descending order.
142, o, 2, -3
Let d = 101 - 112. Sort -4, d, -3 in increasing order.
d, -4, -3
Suppose 4*n + 449 - 443 = -z, 0 = 3*z + 4*n + 10. Let a be (0 - 0)/(1 - 0). Put -7, a, z, -4 in decreasing order.
a, z, -4, -7
Suppose 3*v = 3*c - 9, -11 = 2*v - 1. Let r be 4/8*c*-1 + -3. Sort 3, 5, r, -4.
-4, r, 3, 5
Let b be 4*2/4 + -4. Let g(k) = -k**3 + 36*k**2 + 249*k + 121. Let o be g(42). Put o, -4, b, 1 in descending order.
1, b, -4, o
Let d = 50 - 48. Let h = d + -5. Put 4, 2/3, h in descending order.
4, 2/3, h
Let c be (-4 - 0) + 5 - -4. Sort c, 0, 0.5, -8 in increasing order.
-8, 0, 0.5, c
Let l = 3.02 + -0.02. Let r = 14 + -7.9. Let w = r - 6. Sort l, -0.1, w in decreasing order.
l, w, -0.1
Suppose -2*d + 36 = 30. Suppose -y - 3*b + 1 = 0, -4*b = d*y - 2*b + 4. Put -7, -3, -1, y in ascending order.
-7, -3, y, -1
Let l = -1655 + 1658. Sort -8, -1/4, l, -6 in ascending order.
-8, -6, -1/4, l
Suppose 52*z + 1 = 51*z. Let x be 0 - (3 + -2 - z). Put 3, 0, x, -1 in descending order.
3, 0, -1, x
Let w be (-2)/2 - (-5 - -1)/2. Let p be ((-2)/4 - (-2)/4) + -1. Sort 0, w, -10, p.
-10, p, 0, w
Suppose -2*v + 4*i - 2*i + 10 = 0, -3*v + 5*i + 15 = 0. Suppose -3*z - 5 = 4*q + 2*z, -5*z - v = 2*q. Sort 9, q, -2 in decreasing order.
9, q, -2
Let q = -22.81 - -15.31. Let y = -3.89 - 0.11. Sort y, -1, q in increasing order.
q, y, -1
Let j = -166 + 173. Sort 4, -2/3, j in decreasing order.
j, 4, -2/3
Let d(f) = f**2 - 61*f + 116. Let v be d(2). Sort -4, 2, v, -10.
-10, -4, v, 2
Suppose -c + 15 = -6*c. Let y(k) = k**3 + 14*k**2 - 20*k + 6. Let n be y(-15). Let v = -77 + n. Put c, 2, v in decreasing order.
v, 2, c
Let a = -87 + 88.55. Let x = a - 0.55. Put -1, -5, x, -2 in descending order.
x, -1, -2, -5
Let g be ((-54)/(-63))/(2/7). Let y be (-9)/(-3) + -5 + g. Let a be 0 + -4 + (10 - y). Sort -3, a, 2 in decreasing order.
a, 2, -3
Suppose k = -t - 9, 4*t - 4*k + 11 = -25. Let g be -9 - -11 - (1/1 - t). Let n = 1/49 - 152/245. Sort g, n, 0 in descending order.
0, n, g
Let j = 408 + -410. Sort j, 0, 3, 0.08 in ascending order.
j, 0, 0.08, 3
Let q(x) = -2*x + 17. Let k be q(11). Let r be 4/(-10)*(k + 10). Put r, 5, -1, -4 in descending order.
5, -1, r, -4
Let t = 2.9554 - -0.0446. Let m = 0.1 + -0.09. Let g = -3.01 + m. Put -2, t, g in increasing order.
g, -2, t
Let h = -6 - -11. Suppose 0 = -4*k + 2*v + 22, 0 = -0*k + h*k + 5*v + 10. Suppose -2*n = -k*n - 4*l - 2, -3*n = 2*l + 6. Sort 2, -5, n in ascending order.
-5, n, 2
Let s be 6/(-15)*(-13 - 2). Let t = -3 + s. Let n = 97 + -95. Sort n, t, 1 in decreasing order.
t, n, 1
Let w = 432 + -428. Put 2/23, w, 2, -5 in descending order.
w, 2, 2/23, -5
Let l = -352.3 + 352. Put -1/5, l, 0.2, 21 in ascending order.
l, -1/5, 0.2, 21
Suppose -6*o - 46 = 362. Let h = o + 67. Let i(p) = p - 2. Let m be i(2). Sort h, m, 3 in decreasing order.
3, m, h
Let s = -1669 + 1664. Suppose -4*d + 90 = -5*v + 261, 5 = -5*v. Sort s, 3, d in decreasing order.
3, s, d
Let p = -445 - -12461/28. Sort -3, p, -5, 1.
-5, -3, p, 1
Let t(c) = -c**2 + 8*c + 49. Let v be t(12). Put -104, v, 1/8, -0.1 in decreasing order.
v, 1/8, -0.1, -104
Let d be (-5 - (-1292)/(-8))/(1/(-2)). Let l = 573386 - 7449691/13. Let x = l - d. Put 4/3, x, -0.1 in decreasing order.
4/3, -0.1, x
Let s be 2*(8 - 49/6). Sort -11, -2/7, s.
-11, s, -2/7
Let f = 67.3 + -71. Let n = -4 - f. Let t = -1 - -1.5. Sort t, n, 0.2 in increasing order.
n, 0.2, t
Let d be ((-1)/4*3)/(14/56). Let x = 4 + -3. Put x, d, -1 in descending order.
x, -1, d
Suppose 2*p - 25 - 31 = 0. Let l be 42/p + (-2)/4. Suppose 2*y + 2*y = 0. Sort l, y, 5 in descending order.
5, l, y
Let b = 1782 - 1790. Let c be 27/6*(-4)/(-6). Sort -1, c, b.
b, -1, c
Let g = 0.8 + -0.2. Let o be (-2 - (-60)/33) + (-1357)/3245. Sort 0.2, g, -0.3, o in descending order.
g, 0.2, -0.3, o
Let a = 785 + -782. Sort -4, a, -32, -2 in decreasing order.
a, -2, -4, -32
Let m = -2.8 - -3.2. Put 2/21, 6/5, m in decreasing order.
6/5, m, 2/21
Let w = 18 + -5. Let d = w + -15. Let n be (0*d/8)/(-3). Sort 2, 1, n in decreasing order.
2, 1, n
Let c = 4 + 10. Suppose -2*w - c = 4*g + 8, 3*w = -3*g - 24. Put -4, g, 1 in descending order.
1, g, -4
Let i = 77 + -68. Sort 0.8, -0.1, i in decreasing order.
i, 0.8, -0.1
Let z = 0.35 + 0.15. Let i = 0.41 + -0.11. Let p = -4.3 - -4. Sort z, i, p in ascending order.
p, i, z
Let j = 717 + -716.6. Put -14, 2, -3, j in decreasing order.
2, j, -3, -14
Let i(v) = -9*v + 185. Let o be i(21). Suppose -2*q + q = 1. Sort o, 0, q in increasing order.
o, q, 0
Suppose 4*t = 5*t + 1. Let n = 111 + -106. Put -2, t, n in increasing order.
-2, t, n
Suppose 25 + 15 = 2*i - l, 0 = 3*i - 3*l - 63. Let c = i + -16. Put -1/4, -0.1, c in decreasing order.
c, -0.1, -1/4
Suppose 0 = -59*x + 26*x - 528. Put x, -3, -5, -1 in ascending order.
x, -5, -3, -1
Let c(i) = -i**2 - 12*i - 26. Let s be c(-5). Suppose -2*z - y = -z, 5*y + s = -2*z. Put 2, z, 5, -3 in increasing order.
-3, 2, z, 5
Suppose 3*c = f - 12, -4*c + 4*f - 29 + 5 = 0. Suppose 0 = -w - 4*k - 5, 5*k + 6 = 2*k. Put 0.14, -1/2, w, c in descending order.
w, 0.14, -1/2, c
Suppose -24 = -4*w - 16. Suppose 2*u - 14 = -5*q - 3, 0 = -w*u + 6. Suppose -l = -3*g + 3 - 1, 4*g = 4*l + 16. Sort -3, q, l in decreasing order.
q, -3, l
Let m(y) = -y + 9. Let h = -21 - -24. Suppose -2*x - 3*a = 2*x - 63, 42 = 3*x - h*a. Let v be m(x). Sort 2, v, 4 in decreasing order.
4, 2, v
Let b be (1 - -3)*(-3)/4. Let a = -1.3 - -1. Let q = 1 + -3. Put a, b, q in descending order.
a, q, b
Let p be (-2)/3 + 9*(-18)/(-243). Sort p, 0.4, 35 in decreasing order.
35, 0.4, p
Let x = 482 + -484. Put -1, x, -14 in descending order.
-1,