 -3*c - 15 = 4*j. Let x(n) = 2*n**2 - 2*n. Let y be x(1). Sort y, 6, j, 2 in descending order.
6, 2, y, j
Suppose 3*a + 34 - 14 = -5*y, 3*a + 2*y = -17. Let b be (-1547)/(-104) + 1/8. Suppose w + 7 = 3*m, 0 = 2*m - m + 4*w + b. Sort a, 3, m.
a, m, 3
Suppose -620*t = -612*t. Put -2/7, t, 31 in descending order.
31, t, -2/7
Let b = -0.3 + 0.3. Let f(l) = l**3 - 6*l**2 - l + 8. Let q be f(6). Let v be (-1 - 1)*q/4. Sort v, b, -1/7 in descending order.
b, -1/7, v
Suppose 0 = -22*y + 39*y + 935. Sort 3, -1, y.
y, -1, 3
Let g = 43 - 28. Let a = -13 + g. Let i = 5 + a. Sort 4/9, i, 4 in decreasing order.
i, 4, 4/9
Let s be ((-2)/4)/((-12)/600). Sort s, -5, 3.
-5, 3, s
Let g = 219 + -1530/7. Suppose 67*h + 16 = 75*h. Sort g, 5, h, -1/2.
-1/2, g, h, 5
Let i = -10 - -11. Let n be i*(6 + 0 + 1). Let p(s) = s**2 - 7*s. Let m be p(n). Sort 3, m, -3.
-3, m, 3
Let v = 54.93 - 55. Let q = -0.23 + v. Put q, 0.1, 5 in descending order.
5, 0.1, q
Let p = -1965 + 1964. Let g = 0.4 + 0.2. Put p, 0.3, g in descending order.
g, 0.3, p
Suppose 2 + 6 = 4*v. Let t be (v/3)/((-22)/(-99)). Suppose z + 4*h = -17, -t*z = -4*z + 5*h + 28. Sort -0.1, 5, z in increasing order.
-0.1, z, 5
Let i(r) = 4*r - 6. Let k be i(9). Let b be (k/9 + -3)*22. Put b, 1/2, -4 in decreasing order.
b, 1/2, -4
Let u be (-3)/6*-10*1. Suppose -u*g = -g - 20. Let d be (-44)/12 + 3/(-9). Sort 4, d, g in descending order.
g, 4, d
Let d = 34.2 - 36.2. Sort -0.3, d, 55/3 in descending order.
55/3, -0.3, d
Let h be 1*-1 - (1 + 2*-35). Let i = h + -63. Sort 4, i, 2.
2, 4, i
Suppose -75 + 60 = 15*y. Put -23, y, 1, -10 in decreasing order.
1, y, -10, -23
Let g = 238 + -238. Put 2/11, g, -81, 2 in decreasing order.
2, 2/11, g, -81
Suppose -12*y = -9*y - 12. Suppose 0 = -3*d + 2*d + z + 1, -d = -y*z - 7. Put -2, 4, d, -5 in increasing order.
-5, -2, d, 4
Let h = -544/3 + 181. Sort 18, 2/3, 0.5, h in decreasing order.
18, 2/3, 0.5, h
Let z be (-21)/(117/(-130)*5/(-3)). Put 4, -5, z, -6 in increasing order.
z, -6, -5, 4
Let w(v) = 2*v**3 - v**2 - 17*v + 21. Let g be w(4). Sort 2, 0.4, g.
0.4, 2, g
Let y be (-60)/(-50)*(-5)/(-9). Let o = -26.92 - -26. Let w = o + -0.08. Sort w, y, 2/15 in descending order.
y, 2/15, w
Let x = 2 + -1.95. Let l = -9.5 - -9.35. Let j = l + x. Put -4, -0.4, j in ascending order.
-4, -0.4, j
Let o = 2 - -30. Let v = o - 35. Suppose 2*y = -2*y - 20. Sort y, v, 0.3 in ascending order.
y, v, 0.3
Suppose -5*n + 4*x - 2*x - 1 = 0, 0 = -4*n - 2*x - 8. Sort n, 7, -13, 4.
-13, n, 4, 7
Let v = 0.4 - 0.1. Let y be (-374)/(-187) - (-26)/(-14). Sort y, v, 6 in decreasing order.
6, v, y
Let y = -16 - -20. Let h(w) = -7*w**2 - 4*w - 1. Let u(v) = 8*v**2 + 5*v + 1. Let f(l) = y*u(l) + 5*h(l). Let i be f(1). Sort -5, -1, i.
-5, i, -1
Let f = 87045 + -350505/4. Let b = f + 575. Put 1/4, -2/5, b in increasing order.
b, -2/5, 1/4
Suppose -4*m + 2*m + 6 = 0. Suppose -2 + m = -i. Let j be (-2 + 3 - i) + 3. Put -5, j, 2 in descending order.
j, 2, -5
Let u(x) = x**2 - 4*x - 5. Let g be u(4). Suppose 4*h = -5*r, 8*h - 3*h = -2*r + 17. Let d = g - r. Put 2, d, 3 in decreasing order.
3, 2, d
Let m = -15.8 - -15. Let k = m - -0.6. Let i = -6411/17 - -377. Sort -0.3, i, k.
-0.3, k, i
Suppose -5*d + 4*j - 1 = -39, d - 4*j - 14 = 0. Sort -4, d, 0, -2 in decreasing order.
d, 0, -2, -4
Suppose 0 = 6*g - 2*g - 28. Let s(m) = 9 + m + 2*m - 5*m. Let n be s(g). Sort 4, 3, n in ascending order.
n, 3, 4
Let g = 17.16 - 17.06. Sort 4, 5, g, -24.
-24, g, 4, 5
Suppose -15*g + 12*g = -k + 899, 2*g + 592 = -3*k. Sort g, -3, 0 in descending order.
0, -3, g
Suppose -11*o - 119 = -262. Let h = -5 + 3. Put h, 2, o in increasing order.
h, 2, o
Let k = -84/13 + 730/117. Sort 6/5, k, 5, 0 in decreasing order.
5, 6/5, 0, k
Suppose -19*t = -122 - 467. Sort 3, -5, t.
-5, 3, t
Suppose 3*n - 6*n + 12 = 0. Suppose 7*o - 3*o - 3*k = -15, -20 = -2*o - n*k. Put -2, o, -8, 3 in decreasing order.
3, o, -2, -8
Let x = -169 - -89. Let y = 80.3 + x. Let o = -0.2 + 0.6. Sort y, -4, o in ascending order.
-4, y, o
Let g(u) = -u**3 - 8*u**2 + 4. Let p be g(-8). Suppose p*o + 13 - 5 = 0. Let b = -5 - 0. Put -11, o, b in descending order.
o, b, -11
Let x = -357.6 - -358. Let l = -1 - -4. Sort x, l, -2/5 in decreasing order.
l, x, -2/5
Let x = 0.5 + -2.5. Let b = 14.96 - 15. Let g = -0.31 - -0.81. Sort x, g, b in increasing order.
x, b, g
Let c be (-6)/1*(3 + (-747)/243). Let i = -0.2 - 0.1. Put i, c, -1, -1/3 in decreasing order.
c, i, -1/3, -1
Let f = -139 + 142. Let y = -15 + 13. Sort 0, f, y, 4 in descending order.
4, f, 0, y
Let b = 0.4 - 5.4. Suppose 24 = -5*x + 239. Let a = 39 - x. Sort a, b, -3 in descending order.
-3, a, b
Let a(j) = j**3 - 14*j**2 - 11*j - 57. Let x be a(15). Put x, -80, -1 in increasing order.
-80, -1, x
Let d(v) = -15*v**2 + 7*v + 3. Let o(i) = 31*i**2 - 14*i - 5. Let h(x) = -13*d(x) - 6*o(x). Let r be h(-2). Sort -2, r, -1, 5 in increasing order.
-2, -1, 5, r
Let s = -203 - -196. Sort -2, 0, -1, s in increasing order.
s, -2, -1, 0
Suppose -3*l + 13 - 3 = -d, 0 = -d + 2. Let y = -103.9 + 104.4. Sort 1/8, y, l.
1/8, y, l
Suppose -50 = 2*v - 24. Let n = -13 - v. Suppose -6*x + 3*x = -3. Put x, -5, n in decreasing order.
x, n, -5
Let u be 108/(-144) + (-14)/(-8) + -2. Sort 4, 2, u in increasing order.
u, 2, 4
Suppose -5*r = -3*s - 268, -4*s + 3*r - 154 - 218 = 0. Let k be s/2*(-3)/(-4). Let p be 10/8*k/27. Sort 1, 0.3, p in ascending order.
p, 0.3, 1
Let z = 2.04 - 1.4. Let u = z + -0.54. Sort 1, u, -1, -3 in descending order.
1, u, -1, -3
Suppose 4*u - 2*q + 24 = 2*q, -10 = -3*u - 4*q. Let d be 2 + u/2 + -3. Let i be d/10 + (-64)/(-20). Sort -3, i, -2.
-3, -2, i
Let q = -0.13 - -0.13. Sort q, -1/3, -1/11, -0.9 in ascending order.
-0.9, -1/3, -1/11, q
Suppose 0 = 41*s + 326 + 84. Sort -3, 5, s in ascending order.
s, -3, 5
Let i(y) = 2*y**3 - 5*y**2 + 7*y - 5. Let h be i(2). Suppose -5*d = -3*p - 47, -p = -4*d - 2*p + 24. Let v = 5 - d. Put h, v, -4 in descending order.
h, v, -4
Let m = 0.063 + -6.563. Let b = 6.8 + m. Sort 1/6, b, 0.5 in decreasing order.
0.5, b, 1/6
Suppose 2 = -7*n - 5. Suppose 2*f + 0*f - 2 = 0. Sort f, n, 2.
n, f, 2
Let d(w) = w. Suppose 5*u - 5 = -4*l, 0*u - 3*u - 2*l = -5. Let b be d(u). Put 2, 1, b in ascending order.
1, 2, b
Let t be (-1 - (1 + 2)/3) + 1. Sort t, 58, 4 in ascending order.
t, 4, 58
Suppose -7*t + 11*t = 4, -t + 3 = 2*g. Let k = 0.56 - 0.6. Let b = k - 0.01. Put g, -5, b in decreasing order.
g, b, -5
Suppose -t + 3 = 0, -12 = 3*y - 6*t + 18. Sort 0, 56, y in descending order.
56, 0, y
Let u = -12.2 - 2.8. Let p = u - -29. Let m = p - 16. Sort m, -5, 1/4.
-5, m, 1/4
Suppose -2*n + 53 = 2*d + 201, -373 = 5*n + 2*d. Let w = n - -73. Sort 3, -9, w, 5.
-9, w, 3, 5
Suppose -3*g + 139*z - 57 = 134*z, -4*z = -g - 26. Sort g, 1, -3, 4 in descending order.
4, 1, -3, g
Suppose 3*l + 4 = -5*b + b, 3*b + 24 = 3*l. Let q be (-5)/10*l*2. Let j be 10*((-6)/(-4) - 2). Sort -1, j, q in increasing order.
j, q, -1
Let f(p) = -p**3 + p**2 + 2*p. Suppose 2*o - 10 = -5*y + y, 4*o = 4. Let d be f(y). Put -3, 5, d in ascending order.
-3, d, 5
Let x = -153.8 + 154.1. Let c = -1 - -0.3. Sort x, -0.6, c in decreasing order.
x, -0.6, c
Let n(g) = 2*g - 27. Let w be n(15). Suppose 2*j + j = 3. Let k be 2 - 0 - (1 - j). Put w, 0, k in increasing order.
0, k, w
Let j = 0.1 - -2.9. Let w = 571 - 570.5. Sort 6, j, w in increasing order.
w, j, 6
Let c = -61 - -52. Sort -3, c, 4/7, -2/21 in increasing order.
c, -3, -2/21, 4/7
Let t = 90.9 - 90. Let x = 0.7 - 0.2. Let b = x - t. Sort 0.1, 2, b in decreasing order.
2, 0.1, b
Let b be 8/(-24) - (-2)/(-3). Let a be 2/(-3) + 4/6. Sort a, b, -0.3 in decreasing order.
a, -0.3, b
Suppose 4*u - 2*u - 6 = 0. Suppose -2*r + 5 = -u*c + 15, -3*r - 3*c - 15 = 0. Sort -3, r, -2 in ascending order.
r, -3, -2
Suppose 0*r + 4*r - 4 = 0. Let u be r/8*(-12)/2. Sort u, 2, 0.1 in decreasing order.
2, 0.1, u
Let d(f) = -9*f - 128. Let u be d(-14). Put u, 157, -3 in increasing order.
-3, u, 157
Let m = -0.059 + 1.259. Let w = m - 0.7. Suppose 2*s + 2*q - 12 = 0, -3*q + 2 = -1. Sort w, s, 0.3.
0.3, w, s
Let d be (-7 + 99/15)*(33 - 3). Put 4, d, -3 in decreasing order.
4, -3, d
Let g = 184 + -192. Put 3, 5, g, 4 in descending order.
5, 4, 3, g
Suppose -z + 3*z = 4*y - 14, -2*y + 2*z = -6. Let 