pose 0*c = -3*c - 24. Let f be (-1 + 20/12)/((-10)/15). Let d be f/(4/16 + (-12)/16). Put d, c, -1 in increasing order.
c, -1, d
Suppose -289 = 16*p + 47. Sort 4, p, 10.
p, 4, 10
Let f = -3801/19 + 200. Let i = 16.695 - -1324.905. Let g = i - 1342. Put f, -3, g in decreasing order.
f, g, -3
Let j be (-1)/(-4) - (-21)/12. Suppose -4*n - 95 = n - 5*p, 2*n + 26 = -j*p. Suppose -5*r - 12 = -2*d + 5, 3*r = 2*d - 7. Put n, -2, 2, r in ascending order.
n, r, -2, 2
Let j be (-7)/(-12)*60/280. Suppose 4*c = -66 - 110. Sort -5, 0.4, c, j in descending order.
0.4, j, -5, c
Suppose -5*o = -4*f - 1310, o + 262 = 2*o + 3*f. Let s = -291 + o. Sort 6, -1, 5, s in descending order.
6, 5, -1, s
Let w be (6/9)/(4/6). Let o(u) = -u**2 + 76*u + 6128. Let g be o(125). Sort 2, -2, w, g.
-2, w, 2, g
Let a = -84 + 81. Let q = 0.41 + 5.39. Let l = 6 - q. Sort l, a, 4 in ascending order.
a, l, 4
Let c = -0.58327 + 0.04547. Let g = c - -0.0378. Put -10, g, -3, 2/7 in descending order.
2/7, g, -3, -10
Let w = 2.8 - -13.2. Let t = 1.4 - 1.5. Put 0.2, w, t in increasing order.
t, 0.2, w
Suppose 11 = -2*h - t, 420*h = 417*h - 2*t - 19. Sort -124, 3, h in descending order.
3, h, -124
Suppose -3*i - 3*d = -54, -5*i - 5*d + 70 = -i. Suppose -i*x = -18*x - 10, -3 = -3*s - 3*x. Sort 0, s, -16, 5.
-16, s, 0, 5
Suppose 0 = -5*c - 10 - 15. Let a(j) = 3*j**2 + 30*j - 3. Let z be a(-10). Sort z, -16, -1, c in increasing order.
-16, c, z, -1
Let r = 904 + -922. Let x be 4/((0 + 1)/(17 + r)). Put x, -2, -57 in descending order.
-2, x, -57
Let j be 10 + (0 - 3) + -1. Let h be (-5)/j*195/(-50). Let w be (-1)/(-10)*(-5 - -6)*-1. Put h, 0.1, w in ascending order.
w, 0.1, h
Let w be (-116)/(-6) + (-6)/(-9). Let r = 14 - w. Suppose 2*h - 22 = 5*l, -5*l = -46 + 66. Sort r, -2, h, 4 in decreasing order.
4, h, -2, r
Let p = 4841/4 - 14525/12. Sort -5, p, 48/11, 5/3.
-5, p, 5/3, 48/11
Let d = -22.171 - -22. Let o = -0.129 + d. Let b be (-18)/(-14) + (-3)/3. Sort 0, o, b, 1.3 in descending order.
1.3, b, 0, o
Let x be 9 - ((1 - -15) + -10). Suppose 4*z = -z + 10. Sort 4, x, -2, z in decreasing order.
4, x, z, -2
Let n = -91.5 + 56. Let i = 52.6 + n. Let x = i - 17. Sort 5, x, -3 in decreasing order.
5, x, -3
Let o be (-1 + 0)/((31/(-1240))/(-1)). Let n be (-4 - 26/(-6))*-6. Sort o, n, 2 in ascending order.
o, n, 2
Suppose -27*z + 24*z = -6. Let f be -1 + (6 - z) + 0. Suppose 5*p - 18 = 3*b - 4*b, p + f*b = -2. Sort 6, 5, p in decreasing order.
6, 5, p
Let g be -5*(-12)/855*11*-1. Let m = g - -2/19. Put 0, 1/28, m, 1 in descending order.
1, 1/28, 0, m
Suppose 21 = 2*l - 5*t + 45, 5*t + 130 = -20*l. Sort -1, 12, l, 6 in decreasing order.
12, 6, -1, l
Let z be 11 + 6/(2 + 3/(-6)). Put -15, 3, z in descending order.
z, 3, -15
Suppose 0 = 4*c - 13 - 11. Let u be (-6)/2*c/((-126)/35). Suppose 5*h = -2*g + h - 4, 5*g + u*h = 0. Sort g, -1, -4 in ascending order.
-4, -1, g
Suppose -7*w - 5*s = -3*w + 28, 4*w + 3*s + 20 = 0. Let f be (3 - (3 + w))/(98/98). Sort 6, -1, -5, f in decreasing order.
6, f, -1, -5
Let n be (-1)/(((-45)/3000*-10)/(3/5)). Put 5, -2/69, 0.5, -0.4, n in ascending order.
n, -0.4, -2/69, 0.5, 5
Let k = 6.721 - 3.721. Sort -1/8, -21, k, -37 in descending order.
k, -1/8, -21, -37
Suppose -3062 = -2*v - c, -3*c - 1538 = -v - 7*c. Let z be 544/v - 2/9. Put z, -2/7, -52 in descending order.
z, -2/7, -52
Suppose w + 3*z - 1 = 0, w + z + 7 - 4 = 0. Put -2, 1, 95, w, 3 in increasing order.
w, -2, 1, 3, 95
Suppose 22 = 10*d - 12*d + 3*n, -2*d = 3*n + 10. Let m be 0*d/24 - (-27)/39. Sort m, 4, -0.4 in decreasing order.
4, m, -0.4
Suppose -3*j = -5*y + 274, 94*j - 4*y - 344 = 98*j. Sort 0, -2, -5, j.
j, -5, -2, 0
Suppose -301 - 63 = -14*p. Suppose 667 = p*k - 3*k. Let x(j) = j**2. Let l be x(-1). Put 5, k, 0, l in decreasing order.
k, 5, l, 0
Suppose -17*s - 66926 + 66926 = 0. Sort 1, -1178, s.
-1178, s, 1
Suppose -21*x = -26*x + 1005. Let w = x - 201. Suppose o = -0*o + 4*i + 16, -24 = -3*o + 4*i. Sort 1, o, -5, w.
-5, w, 1, o
Suppose 5*t = t, 36 = -2*n - 0*n + 4*t. Sort 190, n, -3 in descending order.
190, -3, n
Suppose -63 = -12*i + 69. Suppose -i*s = -6 + 61. Sort 0, -3, s in ascending order.
s, -3, 0
Let q = -3 + 2. Let u = 471.2 - 612. Let i = 141 + u. Sort i, 0.1, q in descending order.
i, 0.1, q
Let j be -4 - (-32)/(-24)*(-6 + 3). Put 0.06, -43, 2, j in decreasing order.
2, 0.06, j, -43
Suppose -m = 2*j + 2, 1 = 5*j - m + 5*m. Suppose 2*z - 24 = 4*t, 4*t + 28 + 12 = -2*z. Put t, 1, 3, j in increasing order.
t, j, 1, 3
Suppose 2*u + 3*y - 34 = 0, -51 + 71 = 5*y. Sort -3, -2, 1, u in increasing order.
-3, -2, 1, u
Let w = -63 + 59. Suppose -2*t + 19 = 11. Put -2, t, 10, w in ascending order.
w, -2, t, 10
Let x(l) = l**3 + 28*l**2 + 30*l - 577. Let i be x(-26). Put i, 5, -11, -1, -12 in ascending order.
-12, -11, i, -1, 5
Suppose q = -2*m - 0*q + 7, q + 13 = 3*m. Let j = 1437 - 1418. Sort m, -1, j.
-1, m, j
Let u = 8.2 + -8. Let o = 22 - 22. Sort 1/37, u, o in increasing order.
o, 1/37, u
Suppose 2*u - 14 = 0, -84*h - 5*u = -86*h - 35. Sort -2, 1828, h in increasing order.
-2, h, 1828
Let g = 67.28 + -67.28. Put -68, 4, g, -4 in ascending order.
-68, -4, g, 4
Let m = 621455 - 621413. Let r = -1 - -2. Put m, r, 1/2, 5 in descending order.
m, 5, r, 1/2
Let r = 231 - 225.14. Let g = r + -6.16. Put 3/7, g, 14, -1/3 in decreasing order.
14, 3/7, g, -1/3
Suppose -83*v = 75 + 59 + 198. Let x be (-1)/(-1) + (-1 - (-3 - -2)). Sort v, -22, x, -2 in ascending order.
-22, v, -2, x
Suppose 30*a + 51*a = 14*a + 134. Sort 5, 12, 6, a in decreasing order.
12, 6, 5, a
Let i = -856 + 851. Suppose 34 = 3*t + 2*z - 30, 3*z - 87 = -4*t. Let y = t + -448/25. Sort i, 4, y in increasing order.
i, y, 4
Let m = 647 - 647.2. Let f = -0.51 + 4.51. Put 16/7, m, f in decreasing order.
f, 16/7, m
Let m be (6 - 0)*48/(-36). Put m, 2/23, -0.5, 1/4 in descending order.
1/4, 2/23, -0.5, m
Suppose 0 = -4*p - 16, -2*w + 2*p = -p - 10. Sort w, 4, 77.
w, 4, 77
Let i = 123 - 104. Suppose i = -31*m + 112. Sort 6, -1, m, -4 in descending order.
6, m, -1, -4
Suppose 40*h + 90 = -30. Let s(m) = m**2 + 4*m - 13. Let q be s(-6). Let k(i) = -i. Let x be k(5). Sort h, x, q, 2 in increasing order.
x, h, q, 2
Let r(d) = -d**3 + 12*d**2 + 9*d - 17. Let p be r(12). Let u = -183/2 + p. Sort -2/7, -6, u, -1.
-6, -1, u, -2/7
Let b be 2 + 10/(-7) - 1292/3192. Put -5, -91, b in ascending order.
-91, -5, b
Suppose 4 - 1 = 3*x. Suppose 5*j + 3*o - x = -0*o, 5*j - 22 = 4*o. Suppose 73 - 388 = 35*u. Sort j, u, -5 in increasing order.
u, -5, j
Suppose -v + 18 = 14. Suppose -4*z + 16 = s, -z + 17 = -4*s - v. Sort -5, s, 12, 2.
-5, s, 2, 12
Let p(h) = 152*h + 1217. Let t be p(-8). Sort t, -7, 24 in decreasing order.
24, t, -7
Let j = -6673.9 - -6369. Let t = -305 - j. Sort -1/2, 4, t, -2 in descending order.
4, t, -1/2, -2
Suppose -5*i = -4*a - 5 - 2, -4*i = 2*a + 10. Let r = 16 - 13. Suppose -4*j = -7*j + 24. Sort j, -2, i, r in increasing order.
-2, i, r, j
Let z be (3/(-4)*1)/(-6). Suppose 199*i = 195*i + 860. Let n = 863/4 - i. Put z, n, -0.5 in ascending order.
-0.5, z, n
Let s = -1069/801 + 1/801. Sort -0.52, -2/9, s.
s, -0.52, -2/9
Let o(v) = -v**3 + 55*v**2 + 44*v + 674. Let z be o(56). Suppose 2*r + 2*h - 10 = 0, 5*r - h + 1 = 44. Let x be (-38)/r + 1/(-4). Sort x, 5, z, -2.
x, -2, z, 5
Let k be 0/((-10)/2*(3 + (-143)/55)). Sort -16, 5/7, k in decreasing order.
5/7, k, -16
Let p = -2.85 + -1.15. Sort p, 1/12, -0.23, 1 in increasing order.
p, -0.23, 1/12, 1
Suppose 2*p - 10 = -6. Let u(n) = -n**3 + 4*n**2 - n - 3. Let g be u(p). Sort g, -1/9, 0.2, 0.3 in decreasing order.
g, 0.3, 0.2, -1/9
Let j = 66.1 - 66.027. Let a = j + -1.073. Let w = 92/3 + -31. Sort -0.5, a, 4, w.
a, -0.5, w, 4
Suppose 5*g = -19*w + 22*w - 3075, g = -2*w - 628. Let a = g - -622. Sort -4, a, -3, 2 in decreasing order.
a, 2, -3, -4
Let s(r) = 8*r - 15. Let n be s(5). Suppose 120 = n*u - 55. Sort u, -19, -2 in ascending order.
-19, -2, u
Let o(c) = -93*c - 655. Let g be o(-7). Sort 11, -10, -7, g in ascending order.
-10, -7, g, 11
Let x = 2.44 - -0.36. Let u = -0.245 + 2.445. Let y = u + x. Sort 0.4, 1, y in descending order.
y, 1, 0.4
Let x = 1 + -1. Let t(y) = 3*y**2 - 33*y + 75. Let s be t(4). Sort 2, x, s, -5 in ascending order.
s, -5, x, 2
Suppose -6*z + z = 10. Sup