= -1531 - -1532. Sort -35, b, 2 in descending order.
2, b, -35
Let n = -921 + 935. Put 5, -1, n, -8 in decreasing order.
n, 5, -1, -8
Let h = -979 - -980. Sort 16, h, 6, -1 in descending order.
16, 6, h, -1
Let m = -21156 + 21195. Sort m, -4/5, -3/4 in decreasing order.
m, -3/4, -4/5
Let m be (12/10)/((-6)/(-20)). Suppose -2*z = -m*z. Let w = 1619577 + -1619580. Sort w, z, -2 in ascending order.
w, -2, z
Let u(r) = r**2 + 1678*r - 8402. Let c be u(5). Suppose 0 = 4*s - 5*s - 4. Sort s, -2, c in descending order.
c, -2, s
Let j = -4644 + 4647. Put -18, -2, j in descending order.
j, -2, -18
Let a be (246/(-2050))/(3/(-10)). Sort -1.4, 2, a, 1, 34.
-1.4, a, 1, 2, 34
Let c = -651.4 - -651. Put 1, -2, 80/11, 1/3, c in descending order.
80/11, 1, 1/3, c, -2
Let i = 1.1816 + -5.1816. Sort 35, 3/5, i, 0.06 in descending order.
35, 3/5, 0.06, i
Suppose -2*z = -4*t - 18, -46*t - 2*z = -49*t - 14. Put 15, 3, 4, t in descending order.
15, 4, 3, t
Let f(y) = 8*y**2 - 432*y + 428. Let p be f(53). Put 74, p, 5, 2 in descending order.
74, 5, p, 2
Let w = -2.28 - 361.72. Let z = -339 - w. Put z, -1/5, -0.1 in descending order.
z, -0.1, -1/5
Let a be -12 + (-144)/60*-5. Suppose 3*p = -2*w + 7, -4*w + 2 + 21 = -3*p. Put 2, 5, a, p in decreasing order.
5, 2, a, p
Let f = -2 + 2.01. Let v = f - 3.01. Let p = -2.0226 + 2.5226. Sort p, v, -1/6 in ascending order.
v, -1/6, p
Let g = 3.9 - 4. Let d = -0.4 + g. Let y = 11 + -11.2. Sort d, -2/5, y.
d, -2/5, y
Let s = 99.6 - 91. Let o = s - 6.7. Let h = -41 - -41.3. Sort -0.2, o, h in decreasing order.
o, h, -0.2
Let u be 2 + -94*(-4)/8*-1. Let i be (-21)/(-35) + -7*(-1)/u. Let j = -44 + 93/2. Put 21, j, i in decreasing order.
21, j, i
Suppose 4*o - 8*o = 40. Let t = -15727 + 15732. Sort t, -2, o in decreasing order.
t, -2, o
Let v be 2/(-6)*(12 - (-18 + 12)) - -9. Let o be (99/(-4))/((-12)/(-48)). Sort o, v, 5 in increasing order.
o, v, 5
Let q = -0.09974 + -0.00026. Put 2/5, q, 3.9 in ascending order.
q, 2/5, 3.9
Let x be (-21)/14*3/((-9)/(-4)). Let v(f) = 3*f + 5. Let l be v(-1). Suppose -s = l*s - 33. Sort x, s, 4, 5 in ascending order.
x, 4, 5, s
Suppose 2*o + 2 + 4 = 0. Let m = -1.23158 + 0.23158. Sort m, 1/3, o, 1.
o, m, 1/3, 1
Suppose -5*t + 6*a = 5*a + 18, 15 = -3*t + 2*a. Let q(d) = d**3 - 8*d**2. Let w be q(8). Sort t, 19, w in ascending order.
t, w, 19
Let m = -230 + 2072/9. Let i be (16 + (-78)/5)/(49/140). Sort -3, m, 1/4, i in descending order.
i, 1/4, m, -3
Let r be (-3 - -4)*2/14. Let o = -5565/88 + 697/11. Sort r, -8, o.
-8, o, r
Let u = -336 + 335.8. Let o = 123.3 - 123. Put o, 2, -2/21, u in increasing order.
u, -2/21, o, 2
Let n = -746 - -747. Sort 34/19, -4, 0, n in ascending order.
-4, 0, n, 34/19
Let j = 11.9 - -56.1. Let v = j + -67.5. Suppose k - 2 = -y, -5*y - 3 - 7 = 0. Sort -0.4, v, k in decreasing order.
k, v, -0.4
Suppose 0 = -j - 3*j - 348. Suppose -9*h + 11*o = -13*h - 8, -2*o = -h - 2. Put h, 4, j, 2 in descending order.
4, 2, h, j
Suppose -5*a = -2*f - 20, 22 - 14 = 2*a. Put -5, -48, -4, f, 2 in descending order.
2, f, -4, -5, -48
Let g = -42.12 + 41.82. Let l = 2 - -2. Let y = -0.06 - -0.46. Put g, 1/5, l, y in decreasing order.
l, y, 1/5, g
Let j = 627.8 + -628.1. Let z = -2.1 - -2. Sort -5, 5, j, z in decreasing order.
5, z, j, -5
Suppose 0 = c + a + 163 - 172, -4*c + 6 = -2*a. Sort 5, 0, c, -71.
-71, 0, c, 5
Let z be ((-5 - -6)/4 + 253/(-132))*-3. Put 4, -99, -2, z in decreasing order.
z, 4, -2, -99
Suppose -5*j + 2*m - 16 = 0, j - 1807 = 5*m - 1801. Sort j, -1, -15 in decreasing order.
-1, j, -15
Let w(b) = -7*b - 18. Let p be w(-3). Let d be (-2)/p - 1160/(-174). Sort -3, d, -1 in ascending order.
-3, -1, d
Let x = -11702 + 11711. Put 90, x, 0.5 in descending order.
90, x, 0.5
Suppose -2*z + 3*b = 10, 0 = -2*z - 3*b - 239 + 241. Put -3354, 3, z, 5, -3 in descending order.
5, 3, z, -3, -3354
Let u(x) = -x**3 - 6*x**2 + x + 15. Let g be u(-6). Let c be 64/(-288) - 7/g. Sort 0.2, c, 2 in decreasing order.
2, 0.2, c
Let w = 3.99282 - -0.00718. Sort 0.3, -0.3, -5, 5, w in descending order.
5, w, 0.3, -0.3, -5
Let t = -0.13 + 0.92. Let q = t + -0.2. Let s = -5.59 + q. Put 0.09, 0.2, s in increasing order.
s, 0.09, 0.2
Let r be (-2 + 0)*-3 - (-13 - -14). Suppose 2*l - 3*j = 23 - 26, 5*j + r = 0. Sort 319, 0, -5, l in descending order.
319, 0, l, -5
Suppose 13*n - 186 = 2*b + 17*n, -3*n - 372 = 4*b. Put 6, b, 3/5 in ascending order.
b, 3/5, 6
Let s(k) = -2*k**2 - 69*k - 350. Let p be s(-28). Sort p, -2, 3, 4, -4 in ascending order.
-4, -2, 3, 4, p
Suppose -4*v - 4*a = -16, 3*a - 188 = -2*v - 181. Suppose -3 = 2*k + 1. Sort k, -1, v, -100 in increasing order.
-100, k, -1, v
Suppose 2*v = 3*v + 2*v - 15. Put -23, v, 4, -5 in increasing order.
-23, -5, 4, v
Suppose 52 - 32 = 5*b. Sort -3, -5, 5, b, -13 in ascending order.
-13, -5, -3, b, 5
Let q = 0.6 - 0. Let v = -1 + q. Let p = -253363 - -253363.5. Sort p, 0.07, -2/13, v in descending order.
p, 0.07, -2/13, v
Let h be -1*((-220)/70)/(-22). Sort -0.4, 3, 4, -328, h in ascending order.
-328, -0.4, h, 3, 4
Suppose l + 2 = -y + 8, 0 = 3*y - l - 10. Let o be 6 - (3 - -5)/y. Suppose n + 4 = -2*t - o*n, -t - 2 = -4*n. Sort 0, 3, t in descending order.
3, 0, t
Suppose a = 2*f - 7, 0 = 5*f + a - 5 - 9. Let i = 0.55 + -0.05. Let x = 5 - 4. Put f, x, i in increasing order.
i, x, f
Let z = -15 - -11. Let r = -9373 - -9345. Sort r, z, -3 in decreasing order.
-3, z, r
Let b = 61 + -64.1. Let g = b - -1.1. Let n = -0.3671 - -0.0671. Sort g, -0.2, n, -5 in descending order.
-0.2, n, g, -5
Suppose -f - 18 = 2*m, 3*m - 4*f + 39 = 23. Sort 3, 0, m, -78 in ascending order.
-78, m, 0, 3
Let i(w) = w**3 + 2*w**2 - 18*w + 38. Let h = -368 + 362. Let u be i(h). Put u, -5, -6, 31 in decreasing order.
31, u, -5, -6
Let c(r) = r**2 - 24*r + 142. Let k be c(14). Suppose 2*v = 5*z, -45*z = k*v - 44*z. Sort v, -5, -7 in decreasing order.
v, -5, -7
Let r = -0.084 - -2.524. Let n = 0.36 + -0.8. Let f = n + r. Sort -4, 1, 0.5, f in decreasing order.
f, 1, 0.5, -4
Let f = 75 - 223/3. Let r = -0.0444 - 0.9556. Sort f, r, 1, 48 in increasing order.
r, f, 1, 48
Let a be 5 - (6/(-15) - 2*(-8834)/3220). Sort -2/11, a, 0.04588.
-2/11, a, 0.04588
Let u = 4472/3 - 1489. Sort 0, 1, -2/5, u in ascending order.
-2/5, 0, 1, u
Suppose -24*w + 18*w - 36 = 0. Let f be (-4)/w - (7 - 152/6). Let h = f - 19. Sort h, 1, 11, -2.
-2, h, 1, 11
Let z = 76 - 76. Let b be ((z - -8) + -9)/(-2 + 1). Put -2/85, -0.2, b in decreasing order.
b, -2/85, -0.2
Let b be (72/16 + -5)/((-2)/8). Let f be -2*((-3)/2 - 1). Sort b, 3, 7, f in increasing order.
b, 3, f, 7
Suppose 3*v = -2*r + 29, 3*v + 4*r = 10 + 27. Sort 3, 8, 5, -4, v in increasing order.
-4, 3, 5, v, 8
Let u be -3 - (3 - (11 + -2)). Let k be ((-3)/((-360)/354) + -3)*4. Sort k, 5, -4, u in ascending order.
-4, k, u, 5
Let m(z) = -6*z**2 + 145*z - 26. Let s be m(24). Suppose 2*i = -2*t + t - 3, 5 = -4*t - i. Put 2, s, t, 184 in ascending order.
s, t, 2, 184
Let q = -21713.05 + 21715. Sort -9, -4, q in ascending order.
-9, -4, q
Let k(w) = -6*w**3 - 7*w**2 + 9*w - 1. Suppose 85*m - 87*m = -2. Let s be k(m). Put 2/5, 0.04, s, 4 in descending order.
4, 2/5, 0.04, s
Let p = 1 - 3. Let r = -1 - -4. Suppose r*a + o - 10 = -2*a, 3*o = -15. Put -3, p, a in descending order.
a, p, -3
Suppose q - 20 = -0*q. Let i(r) = -2*r**3 - 31*r**2 + 13*r - 42. Let w be i(-16). Suppose q*h = 54 + w. Sort -1, h, -15.
-15, -1, h
Suppose -3*s - 6 + 45 = 0. Let o be -2*119/(-34)*(-2)/(-7). Sort o, -1, s.
-1, o, s
Let y = 1 + 4. Suppose 7*p = 8*p + 4*q - 14, -3*p - 38 = -4*q. Let d be (-1 - p/5)/((-24)/48). Put 1/8, y, d in decreasing order.
y, 1/8, d
Let u = -5 - 21. Let v = 4.0237 - 7.0237. Sort u, 1, v.
u, v, 1
Let j be (-1)/(-7) + 6/(-9)*180/105. Put j, -4, 3, 203 in ascending order.
-4, j, 3, 203
Suppose 2*b + 5*i + 18 = -0*b, 3*b - i = -27. Sort b, -1, 1, -4, 0.3 in descending order.
1, 0.3, -1, -4, b
Let i = -61 - -70. Let c be (-8)/28 - i/(-7) - 4. Sort -4, c, -5, 5 in descending order.
5, c, -4, -5
Let n(f) = -f**3 + 16*f**2 + 34*f + 37. Let p be n(18). Sort -75, p, 2/7, 2, 0.4 in ascending order.
-75, 2/7, 0.4, p, 2
Suppose 0*r = r + 4. Suppose -9*i - i + 30 = 0. Suppose 3*g - o + 5 = -i*o, -5*o = 2*g + 7. Put g, 0, r in descending order.
0, g, r
Let h(g) = g