/(-5) - (12 - c/(-80)). Sort 4, -2, j, 3 in descending order.
4, 3, j, -2
Let x = -8 - -4. Let h be (-1 + 0)*(-6 - x). Let v = 305.1 + -305.4. Sort v, -0.4, 0.3, h.
-0.4, v, 0.3, h
Let c = 299 - 236. Let b = -103 + c. Sort b, 5, 0, 2 in decreasing order.
5, 2, 0, b
Let v(z) = -2*z**2 + 29*z - 16. Suppose -32 = 16*c - 256. Let p be v(c). Put p, -10, 5, -5 in descending order.
5, p, -5, -10
Let h be (-6)/2 + (-15)/((-195)/(-52)). Put h, -4, 2 in increasing order.
h, -4, 2
Let f = -5.024 + 4.884. Put 0.5, -3, 5, f, 1/9 in descending order.
5, 0.5, 1/9, f, -3
Suppose 9*s - 11 = 70. Let h be (s/6 + -3)/(18/12). Put 1, -2, h in ascending order.
-2, h, 1
Let i = 96 - 79. Suppose -14*c + 13*c = -5*f + i, 5*c + 10 = 0. Sort f, -2, 17.
-2, f, 17
Let s = -249.77 - 4.23. Let q = -270 - s. Suppose -2*k + 3*k + 2 = 0. Sort k, 4/5, q in descending order.
4/5, k, q
Let j be ((-1)/(-7 - -8))/((-4)/20). Sort -5, -3, -17, -10, j.
-17, -10, -5, -3, j
Let q = 3458 + -3460. Put 5, q, 4, -4, 1 in increasing order.
-4, q, 1, 4, 5
Let m be 0 - 6/9 - 445/1335. Suppose x = 2*i + 4, 2*x = -3*i - 2*x - 6. Sort i, 1, 18, m in decreasing order.
18, 1, m, i
Let l = 47 + -35. Suppose -f + l = 2*i - 0*f, 5*i - 30 = -2*f. Suppose 5*m - w = -28, -4*m - 4*w - 11 = -w. Sort m, -3, i.
m, -3, i
Let k(c) = -3*c**3 - c. Let w be k(1). Suppose -3*s - 1 = 2*f, -9*s = -4*s + 3*f. Let n be (-136 - -135)*(-1 + 1). Sort w, 4, n, s.
w, n, s, 4
Suppose 16*q = -32*q. Sort 2, q, -3, -4, -1650 in decreasing order.
2, q, -3, -4, -1650
Suppose -2*a = -2*z + 53288, 0*a - 53308 = -2*z - 2*a. Let c = -1572335/59 + z. Let b = c + 1495/2242. Put 5, b, 4 in increasing order.
b, 4, 5
Suppose 20*f = 15*f - 2425. Let t = f + 481. Sort 3, 4, -3, t.
t, -3, 3, 4
Suppose 39*o - 37*o = 4*b + 60, 9 = 3*b. Suppose o*d + 88 = 14*d. Sort -5, -13, d, 5 in decreasing order.
5, d, -5, -13
Let j = -39373 + 39369. Suppose -5*z = 4*o - 6*z - 21, -z = o + 1. Sort j, 52, o, -3 in descending order.
52, o, -3, j
Suppose -2*o + 14 = -5*q, 2*o + 4*q + 16 - 12 = 0. Suppose -4*v + 4*n + 1 = -27, 2*n + 2 = -o*v. Let h = -10 - -7. Sort v, h, 5, -10 in descending order.
5, v, h, -10
Suppose -2*h = -0 - 6. Let l be (520/136 - 9) + 5. Sort h, 2, -3, l.
-3, l, 2, h
Let h = 6235/11 + -567. Let c = 4.8 + -3.8. Put -1/13, h, c in decreasing order.
c, -1/13, h
Let f(k) = 10*k - 123. Let x be f(27). Suppose -52 = 7*s - 87. Put s, 2, x in descending order.
x, s, 2
Let p be (4608/126)/4 + 1/(-7). Suppose -7 - 29 = 4*s. Sort s, -1, 0, p in ascending order.
s, -1, 0, p
Let v be ((-125)/75)/(70/(-18)). Let l(i) = i**2 + 2*i + 2. Let j be l(-4). Let t = j + -15. Sort 5, v, t, 4 in decreasing order.
5, 4, v, t
Let j(o) = -16*o + 77. Let z be (-3)/6*3 - (-130)/20. Let t be j(z). Suppose s = -4, -2*w = -2*s + 3*s. Put w, t, 1 in descending order.
w, 1, t
Let h be 12/(144/14) - 1/6. Let r = -0.72 + 30.72. Sort h, 0.3, r in descending order.
r, h, 0.3
Let t = 56.1 - 56.194. Let u = -0.094 - t. Let l = -2 + 1.9. Sort 2, u, 5, l in decreasing order.
5, 2, u, l
Let z be 17 - ((-10)/(-6) + 3)/((-62)/93). Sort 0, z, -4, 7 in increasing order.
-4, 0, 7, z
Let v be (-196)/(-42) + (-6)/9. Let f be v + 231/63 + (-2)/(-6). Let z = 2/93 - -83/465. Sort f, z, -4, 0.5.
-4, z, 0.5, f
Let m = 13670 + -13659. Sort m, 1, 9, -3, -1.
-3, -1, 1, 9, m
Let u be (-10)/(2/8*56/77). Let h be (-54)/45*(3 - (-58)/(-16)). Put u, h, 0, 1 in descending order.
1, h, 0, u
Let s = 36 + -43. Let u = s - -7.6. Let p = -7.4 + 7.9. Put u, p, -1/4 in descending order.
u, p, -1/4
Let z be 9/(-27) - 2/3. Let k = 1 - z. Sort -4/9, -2/15, 1, k in ascending order.
-4/9, -2/15, 1, k
Let l = -65715 - -65722. Let m = 5/6 + -13/12. Sort l, 0.5, -3, m in increasing order.
-3, m, 0.5, l
Let u = -17/127 - 16569/508. Let b = -401/12 - u. Suppose -6*s + 4*s = -4. Sort 4/3, b, s, -2.
-2, b, 4/3, s
Let s be -5*(-16)/60 + (-7 + 5)/6. Put 5, 3, s, 6, -15 in increasing order.
-15, s, 3, 5, 6
Let r = 340.8 - 340.9. Let i = 21 - 20.55. Let a = i - 0.05. Sort 0, -1, r, a in descending order.
a, 0, r, -1
Let x(o) = -o**3 - 16*o**2 + 63*o + 115. Let q be x(-19). Let f = -229 + 1606/7. Put 0.031, q, f in increasing order.
0.031, f, q
Let i = 9.327 - 9.027. Let d = -0.3 - -0.3. Let q = d + -1. Put -0.1, q, 0, i in ascending order.
q, -0.1, 0, i
Let g(r) = r**2 + 2*r - 7. Let a be g(-5). Suppose -a = -o + 3*o. Let n be (-63)/12 - 21/28. Sort 0, n, 3, o.
n, o, 0, 3
Let t(j) = 10*j + 5. Let s be t(-1). Sort 5, 3, s, 1, 26 in increasing order.
s, 1, 3, 5, 26
Let p = -6671 - -6668. Put 1, 3, 4, p, 25 in ascending order.
p, 1, 3, 4, 25
Suppose 3*u = -g + 6 + 8, -2*g = 2*u - 16. Let t be -2 + 2 - (-5)/(5/u). Let q = -15 - -11. Put q, t, 4 in decreasing order.
4, t, q
Suppose -2*p - 2*h + 10 = -0*p, -4*p + 5*h + 2 = 0. Suppose p*q - 15 = 6*q. Let m be (-2)/(24/q) - (-1)/3. Sort -1, -0.07, m in decreasing order.
m, -0.07, -1
Let j = -1123 + 1013. Let z = 192 - 193. Sort j, -2, z in increasing order.
j, -2, z
Let q(m) = -12*m - 361. Let i be q(-31). Let l be 6 - (1 + -1 + 3). Let a(v) = v**2 - 6*v + 4. Let z be a(2). Put l, z, i in descending order.
i, l, z
Let z = 329/5 + -4327/65. Put z, 1, -2/5, 5 in increasing order.
z, -2/5, 1, 5
Let l(f) = -9*f**2 - 74*f - 19. Let a be l(-5). Put a, 0, -1, -5 in increasing order.
-5, -1, 0, a
Suppose -3*r + 5*v - 10 - 1 = 0, -2*v = 5*r - 23. Put 9/7, -1/4, -2/17, r in increasing order.
-1/4, -2/17, 9/7, r
Let x = -59 + 95. Suppose x*p - 124 = 5*p. Sort -5, -3, -4, p.
-5, -4, -3, p
Let a(r) = r**3 + 17*r**2 - 22*r - 373. Let g be a(-17). Sort -1/8, g, 1/5, -1.8, 2/39 in descending order.
g, 1/5, 2/39, -1/8, -1.8
Let l be (0 - (-1 + 6)) + (194 - 258). Let v be (138/(-8))/(2/8). Let j = l - v. Put -5, j, 0.01 in descending order.
0.01, j, -5
Let a be -34 + 9 - 510/(-20). Let k be 26/(-4) + (-2)/(-4). Sort a, 0.1, -2/3, k in ascending order.
k, -2/3, 0.1, a
Let w be -1*(5/7 + -1). Let g = -0.23041 - -0.15041. Put w, g, -4 in descending order.
w, g, -4
Let q = 2/61 - -84/1159. Let h = 951.9 + -952. Let j = 3.8 - 1.8. Sort h, q, 0.1, j.
h, 0.1, q, j
Let f be 0 - -1 - 25/23. Suppose -o - 99 = -2*x, 5*x + 0*o - 240 = -5*o. Let u be x/56 + -3 - 2/(-8). Sort u, f, -2/11 in decreasing order.
f, -2/11, u
Let x = -1.2 - 5.8. Let k = -6.9 - x. Suppose 3*v - 3 = -3*h, -4*h - 14 = 2*v - v. Sort -4, k, h, -2 in descending order.
k, -2, -4, h
Let p = -0.2 - 0.8. Let z = 0.1403 - -485.2597. Let f = z + -485. Sort -12, p, f in increasing order.
-12, p, f
Let t = 5436.024 - 5436. Sort -2, -0.3, t in decreasing order.
t, -0.3, -2
Let f = 17.1 - 201.1. Let m be 4/(-20) + (-2 - (-77)/35) + -5. Put m, -0.5, f in descending order.
-0.5, m, f
Suppose 8*h - 644 = -84*h. Suppose -4*s - 5 = s. Put h, -5, 4, s in ascending order.
-5, s, 4, h
Let u(v) = 2*v**2 - 45*v - 86. Let m be u(-2). Let p = 2 + 1. Let a = 3 - p. Sort 4, a, m in descending order.
m, 4, a
Suppose -516 = -120*i - 9*i. Sort -62, 9, i in decreasing order.
9, i, -62
Let y(h) = h**3 - h**2 - 30*h + 61. Let s be y(2). Put -9, 27, s in increasing order.
-9, s, 27
Let t = -1452.2 + 1452. Let p = -13.02 - -13. Let b = p - -0.42. Sort b, t, 5, -1.
-1, t, b, 5
Let i = -93 + 73. Let y be (-2 + 3)/(-4 + (-85)/i). Suppose -1 - 3 = y*o + 3*a, 0 = 3*o + 3*a. Sort o, -2, 3, 4 in decreasing order.
4, 3, -2, o
Let z = -321052/7 + 45864. Let q = -32 - -226/7. Sort z, -2, q, -1.
-2, -1, z, q
Let m = 44 - 49. Let n = -787 - -22825/29. Sort -4, n, m in decreasing order.
n, -4, m
Suppose -5*m + 9*m + 1 = 3*s, 3*m - 13 = 5*s. Let t = 21 + -27. Let b(w) = -w**3 - 6*w**2 - 3*w - 14. Let h be b(t). Put 14, h, s in increasing order.
s, h, 14
Let a(y) = -7*y**2 - y - 1. Let x be a(-1). Let u = -4 - x. Suppose -s + 8 = -3*h, 2*h - 274*s + 273*s = -4. Sort -25, h, u in descending order.
u, h, -25
Suppose -g = -3*w + 4, -2954*w = -2955*w + 2*g - 12. Let t = 3 + -2. Sort -11, w, -1, t.
-11, -1, t, w
Suppose 0 = 2*j + 5 - 3. Let i = j - 2. Suppose -2*n = 1 - 15. Put n, i, 2 in increasing order.
i, 2, n
Suppose -8*l + 6 = -6*l. Let z(y) = -13*y**2 - 522*y - 78. Let m be z(-40). Put m, 49, 5, l in ascending order.
m, l, 5, 49
Suppose 0 = 2*l - 5 - 5. Let g(q) = q**2 - 22*q + 115. Let o be g(16). Put l, 4, o in descending order.
o, l, 4
Let i(q) = -q + 2. Let g be i(2). Let c(