 2*f + 19 = 3*f, 5 = -5*f. Sort -4, i, v.
v, -4, i
Suppose 6 = d + 2*r, -3*d = -0*r + 3*r - 6. Sort 6, 0, -4, d in descending order.
6, 0, d, -4
Let z be (-3)/((-12)/(-30) - (-26)/(-80)). Let a = -38 - z. Put a, -2/9, -8 in decreasing order.
a, -2/9, -8
Suppose 2*u = 6*u + 12. Suppose 0 = z - 5*h - 17, -7*z + 8*z - 3*h - 11 = 0. Sort u, z, 0, -10 in decreasing order.
z, 0, u, -10
Let k(t) = t**2 + 16*t + 17. Let f be k(-15). Suppose 4 = -2*r + 12. Sort f, -5, r in descending order.
r, f, -5
Let w = 12 + -10. Suppose w*s = 5*s - 6. Suppose -2*i = -s*d + 8, 21 = -3*i + 4*d + 5. Sort i, -5, 3 in increasing order.
-5, i, 3
Let x be (-5 - -6)/(1/(-11)). Let u(a) = a**2 + 10*a - 9. Let d be u(x). Suppose 3*g + 2*g + 28 = -p, -2*g - 22 = 4*p. Put 3, d, p in ascending order.
p, d, 3
Suppose 1237*m - 1239*m = 8. Let n(z) = -3*z - 3. Let q be n(-2). Let p = 3 + 2. Put m, q, p in descending order.
p, q, m
Let i be (-6)/((3 + (-22)/8)*-6). Sort i, 3, -9 in decreasing order.
i, 3, -9
Suppose -8 = -14*r + 10*r - 4*u, -3*r = 2*u - 9. Let w = -6 + 3. Sort w, 6, r in increasing order.
w, r, 6
Suppose 0 = -10*g + 7*g. Suppose 5 = -p + 3. Put -4, g, 5, p in ascending order.
-4, p, g, 5
Suppose 5 + 10 = -5*k + 4*u, 0 = 5*k + 4*u + 15. Let v be 1 + 0 + -2 - 1. Put 3, k, v, 0 in increasing order.
k, v, 0, 3
Let a = -111 - -114. Suppose -5*k = -6 - 4. Put -7, a, -4, k in descending order.
a, k, -4, -7
Let k = -0.0708 - -0.0408. Sort 1, k, 1/8 in descending order.
1, 1/8, k
Let x = -259.8 + 260. Sort x, -5/27, 0.3 in descending order.
0.3, x, -5/27
Let r = 26 - 28. Sort -3, 5, r, -1 in descending order.
5, -1, r, -3
Let g = 801/55 - 73/5. Let c = g + -4/11. Put c, 2, 1 in descending order.
2, 1, c
Suppose 21*d = 12*d + 36. Put d, -1, 3, -82 in descending order.
d, 3, -1, -82
Suppose -4*m = -19 + 3. Suppose -5*j + 2*j = 33. Let h = 10 + j. Put h, m, 2 in decreasing order.
m, 2, h
Suppose y = 3*h - 12, -4*y + 2*h = -3*h + 27. Let g = 21 - -28. Let x = g + -49. Put 2, y, x in increasing order.
y, x, 2
Let p = 89 + -88. Put -11, 3, p in increasing order.
-11, p, 3
Suppose 0 = 2*s, 8*a - 4*a + 4*s = 4. Let w be 13/(-52) - (-42)/8. Sort -2, w, -3, a in decreasing order.
w, a, -2, -3
Let v(c) = 23*c + 93. Let q be v(-4). Sort -5, -113, q in descending order.
q, -5, -113
Let s(c) = 2*c**2 - 76*c - 5. Let m be s(38). Sort 5, m, 1, -3 in ascending order.
m, -3, 1, 5
Let f = -204 + 214. Sort 5, f, -2/9 in descending order.
f, 5, -2/9
Let b = -307 + 307. Put b, 4, -4 in decreasing order.
4, b, -4
Let h(b) = -b**3 + 7*b**2 - 4*b - 7. Let k be h(6). Let t be 22/24 - (-18)/(-108). Put -0.1, -3, k, t in ascending order.
-3, -0.1, t, k
Let y = -0.5 - 1.5. Let s = 627 + -627. Let o = -8/3 + 3. Put y, o, s in descending order.
o, s, y
Suppose -1 = -2*m + 1. Suppose -27 = 3*r + 3*a, 4*r - 3*a + 0*a = -1. Sort r, -2, m, 8.
r, -2, m, 8
Let j = 297 + -318. Sort j, 2/3, -8 in ascending order.
j, -8, 2/3
Let q(d) = -d**3 - 5*d**2 + 7*d + 6. Let t be q(-6). Suppose -5*l + t*l = 3*x + 24, -l + 9 = -4*x. Let s be ((-4)/l)/(1/3). Sort s, -1, -5 in ascending order.
-5, -1, s
Let k = 219/56 + -29/8. Suppose 3*l - 2*m + 6 = 2*l, 0 = 2*l - 5*m + 16. Put 5, l, k in ascending order.
k, l, 5
Let h be 8 + (6/(-3) - 1). Suppose -c + h*c - 20 = -4*x, -5*c - 4*x = -23. Put c, -4, 0 in ascending order.
-4, 0, c
Let f(j) = 9*j + 100. Let p be f(-11). Sort 0, p, 3, -28 in decreasing order.
3, p, 0, -28
Let s = -47 + 18. Let d = -33 - s. Sort -6, 1, 2, d in ascending order.
-6, d, 1, 2
Let r be (-3 - (-5 - -2))/1. Let u(a) = 5*a**2 - a. Let x be u(1). Suppose x*s = -0*s - 20. Sort -1, s, r in ascending order.
s, -1, r
Suppose -42*t = -520 + 58. Put -4, -3, t, 4 in decreasing order.
t, 4, -3, -4
Suppose 2*z - 15 = -5. Let s be (-66)/44*1*(-28)/(-6). Sort s, 0, z.
s, 0, z
Let t(n) = -n**3 - 4*n**2 + 4*n - 9. Let i be t(-4). Let o be (12/(-15)*1)/(10/i). Sort -5, 1, o in ascending order.
-5, 1, o
Suppose -4*c + 17 = 3*o - 59, 0 = 5*c + o - 106. Let b = -16 + c. Suppose 0 = 4*j - b + 10. Put 1, j, 0 in ascending order.
j, 0, 1
Let u = -17/52 - 19/260. Put 2/7, u, 3, 4/11 in descending order.
3, 4/11, 2/7, u
Suppose -3*u = -2*u. Let z = u - -3. Sort -1, -6, z in decreasing order.
z, -1, -6
Let a = -2 - -10. Suppose -10*y - a = -48. Let h be 13/4 + (-1)/4. Put y, h, -1 in descending order.
y, h, -1
Let v(d) = 15*d + 236. Let g be v(-16). Let x = 10.12 - 10. Sort x, g, 0.3 in decreasing order.
0.3, x, g
Let q(m) = 3*m**2 + 25 - 4*m**2 - 2*m - 8. Let n be q(-5). Sort 5, -2, n, -3 in descending order.
5, n, -2, -3
Suppose -2*p + 6*p = 8. Let l be (-200)/(-110) + p/11. Let k be ((-12)/8*2 + 8)/(-1). Sort k, l, -3.
k, -3, l
Let i be 2/16*(-38 + 37). Let t = 6/11 + 4/33. Put t, -5, i in decreasing order.
t, i, -5
Let v = 0.4 - 3.4. Let a = -20.8 + 20. Let m = 0.7 + a. Sort m, -1/12, v in descending order.
-1/12, m, v
Suppose 2*m + 6 = -4*h, 15 = -5*h + 4*m - 9*m. Sort 30, -4, -5, h.
-5, -4, h, 30
Let y = 245.3 + 53.7. Put y, -1/2, -4 in increasing order.
-4, -1/2, y
Let l = 0.11 + 8.89. Let g = 3 - l. Let u = -50 + 50. Sort g, u, -4/9.
g, -4/9, u
Suppose -42 = -2*t + 9*t. Suppose -m = k + 5, -3*m + 13 = -3*k - 7*m. Let q be k/(42/4)*t. Sort 0, -1, q.
-1, 0, q
Suppose 12 - 3 = 3*a. Put 0, -5, a, 1 in increasing order.
-5, 0, 1, a
Let v(k) = -k**3 + 10*k**2 - 10*k + 12. Let j = -1 + 19. Suppose -h = -4*z + 32, 3*z = -h + j + 13. Let o be v(z). Sort -12, o, 5 in descending order.
5, o, -12
Let a = -29 + 24. Let j = 840 - 841. Suppose 0*s - 15 = -5*s. Put j, s, a in descending order.
s, j, a
Suppose -31 = -3*k + 5*g, k + 3*g + 5 + 8 = 0. Let h be ((-7)/4)/(4/(-16)). Sort h, k, -1 in increasing order.
-1, k, h
Let r = -1417 - -1370. Put 0.4, 1/4, -2, r in decreasing order.
0.4, 1/4, -2, r
Let h(w) = 2*w + 5. Let k be h(-4). Let q(c) = 2*c - 6. Let a be q(3). Sort -1, k, a in decreasing order.
a, -1, k
Let w = -126 - -138.6. Let o = w - 13. Sort o, -5, 4 in increasing order.
-5, o, 4
Suppose s = -5*j + 16, -2*s + 0*s - 20 = -3*j. Let y = 8 + s. Suppose -r = -y + 1. Sort -3, r, 0 in ascending order.
-3, 0, r
Let t = 26 + -21. Put 1, 4, t in ascending order.
1, 4, t
Let p(v) = v. Let j be p(-4). Let u be (-2)/(-6) + (-28)/(-6). Let d be (-117)/(-315) - (-1)/u. Sort d, 1/7, j in descending order.
d, 1/7, j
Let c = -41.4 - -37. Let s = c - -0.4. Sort 0.1, -1, s in descending order.
0.1, -1, s
Let u = -25 + 26.7. Let d = u - 1.9. Sort d, 0.4, -1/7 in increasing order.
d, -1/7, 0.4
Let s = -66 + 126. Sort 1/5, s, 0.1 in increasing order.
0.1, 1/5, s
Let k = -0.2 + 0.1. Let u = -1.9 + k. Put u, -1, 0.1 in decreasing order.
0.1, -1, u
Suppose -2*w + o = 1, -2*w + 2 = -3*o - o. Let x = w - -4. Put -3, x, -5 in descending order.
x, -3, -5
Let l(p) be the first derivative of -p**4/4 - 4*p**3/3 - p**2/2 + 2*p + 1. Let f be l(-3). Let q be 1*-1*(2 + -1). Sort -3, q, f.
f, -3, q
Suppose 0 = -3*q - 3 - 12. Suppose 38*j = 37*j - 55. Let y = -57 - j. Sort q, y, 5 in increasing order.
q, y, 5
Let r = 20 - 18. Let a = 18 - 11. Let c be 2 + -1*3/3. Put a, c, r in increasing order.
c, r, a
Let k = 0.073 - -3.927. Put k, -4, 57, 2 in increasing order.
-4, 2, k, 57
Let x be 12/(-72)*12/8. Put x, 2.2, 6 in decreasing order.
6, 2.2, x
Let w = -355 - -345. Sort 5, 0.4, w in decreasing order.
5, 0.4, w
Let h be (-2 - 0) + -2 - 1. Suppose -3*p - 18*i - 16 = -20*i, -i + 2 = 0. Put p, -2, h in decreasing order.
-2, p, h
Suppose -79 - 33 = 4*z. Sort -7, 5, z in decreasing order.
5, -7, z
Suppose 2*x - 10 = -5*r, -3*x + 5*r = 4*r - 15. Let g be (-64)/(-10) + (-12)/30. Suppose g*v = v - x. Sort -2/19, v, 2.
v, -2/19, 2
Let w(l) = 8*l + 126. Let q be w(-19). Sort -1, 5, 3, q.
q, -1, 3, 5
Let x = 20 - 9. Suppose g + 6 = -g + 4*b, -g - x = -4*b. Suppose 21*a = 4*y + 25*a, y = -5*a - 4. Sort y, g, -1 in descending order.
g, y, -1
Let h = -0.4419 + 0.0419. Let u(v) = v**3 - 4*v**2 - v - 1. Let a be u(4). Put h, 0.5, a, 0.3 in decreasing order.
0.5, 0.3, h, a
Let h = -1.21 + 6.21. Sort h, -0.18, -0.5 in increasing order.
-0.5, -0.18, h
Let x = -111 + 122.2. Let g = x + -14.2. Let r = 2 + -2. Put r, g, -2/5 in increasing order.
g, -2/5, r
Suppose 0*p = 2*p - 4. Suppose -4*o - 20 = 4*x, -2*x - 6*o = -p*o + 12. Let n(c) = c + 9. Let f be n(-5). Sort x, f, 5 in asc