 = -4*m - 4*w - 140. Sort 0, m, -1 in decreasing order.
0, -1, m
Let w = 2278 - 2274. Sort w, -437, 5 in decreasing order.
5, w, -437
Let l(f) = -f**3 + 8*f**2 + 2*f - 11. Let m = 19 - 11. Let a be l(m). Suppose -a*j - 1 = -2*h, 0*j = -3*h + 3*j - 3. Put 0.2, h, 3 in ascending order.
h, 0.2, 3
Let w be 36/90*(-20)/(-2). Put -1, -3, -5, w in ascending order.
-5, -3, -1, w
Let g be 6*-5*(-6)/45. Suppose -d = 3*s - g*s + 1, 0 = -4*d + 5*s - 8. Let w(i) = -i - 3. Let a be w(-5). Sort d, a, -8.
-8, a, d
Let t = 553 + -568. Sort t, -20, 5, -3.
-20, t, -3, 5
Suppose 0 = -3*f - 5*p - 33, 2*p = 4*f - 0*f + 18. Let m be 1/(-2)*7/(21/f). Sort -3, -22, m in ascending order.
-22, -3, m
Suppose -50 + 82 = 16*u. Let b be 2/((2 - 4)/(-4)). Suppose u*n + 0*q - 5*q = -21, -n = b*q - 22. Sort -5, n, -7 in increasing order.
-7, -5, n
Let t be 10 + 120/(-12) + 3/3. Sort t, 6, 4 in descending order.
6, 4, t
Let l be 343/86 + (-7 - -3). Let q = l + 185/1118. Let h = 43/2 - 22. Sort h, q, -0.3 in decreasing order.
q, -0.3, h
Let w = -9887/2 + 5097. Let j = 153 - w. Let h = 4.01 + -0.01. Sort 0.1, j, h in descending order.
h, 0.1, j
Let y = 23 + -22.86. Let v = 17.86 + y. Let j = v + -15. Put j, -2, -1 in decreasing order.
j, -1, -2
Let v = 144 + -147. Sort 2, v, -4 in increasing order.
-4, v, 2
Let v = 0 + 0. Let r = 48.83 - -1.17. Let d = 53 - r. Put d, v, -5 in decreasing order.
d, v, -5
Let x(a) = a**2 + 8*a - 2. Suppose -10*q + 14*q = -32. Let g be x(q). Sort g, 2, 1 in descending order.
2, 1, g
Let m = 17 + -19. Let u be (-21)/m*(-18)/27. Let k = 5 + u. Put -5, k, -1 in increasing order.
-5, k, -1
Let q(l) = l**2 + 41*l + 175. Let c be q(-36). Put 4, 5, c, 8 in ascending order.
c, 4, 5, 8
Let m = 109 - 104.64. Let p = -0.36 + m. Sort -0.1, -4, p in ascending order.
-4, -0.1, p
Let a = 37 + -34. Suppose -2*o + 5*o = 3, 2*k + a*o = -7. Put k, -2, 1 in decreasing order.
1, -2, k
Let m = 3 + -2.9. Let s = 65.87 - 66. Let v = -5.13 - s. Sort m, v, 0.19.
v, m, 0.19
Let y be (128/11 - 12)*(-1)/(-2). Sort 4/5, 4, y in decreasing order.
4, 4/5, y
Let q(t) = t**2. Let c be q(0). Let v be c/((3 - 0) + -1). Let b be (-1)/2 + (-126)/28. Put 4, v, b in descending order.
4, v, b
Let r be (-4 + 3 - -1)/(-1). Let x = 11 + -12. Put r, 1, -5, x in ascending order.
-5, x, r, 1
Let j be (6 + (-410)/70)/((-2)/(-2)). Put -5/3, 2/119, j in increasing order.
-5/3, 2/119, j
Let r = -20.6 + 21. Let n = -0.7 - 2.3. Let y = 13.1 - 13. Put r, y, n in increasing order.
n, y, r
Suppose -12*u - 40 - 40 = -4*c, 3*c = 2*u + 11. Suppose y - 4*y + 9 = -3*j, 3 = -y - 5*j. Put y, -5, c in increasing order.
-5, c, y
Let c = -14 - -43/3. Let j = -394.1 + 394. Put -2/11, c, j in descending order.
c, j, -2/11
Let p = -1.2 + 1. Let d = -133 + 132.7. Sort d, 3, p in increasing order.
d, p, 3
Let v be ((-65)/26)/(20/16). Sort 4, v, 33, -5 in decreasing order.
33, 4, v, -5
Suppose 5*k + 6*k - 297 = 0. Let a = -22 + k. Put -5, a, -2, -8 in descending order.
a, -2, -5, -8
Let w = 1 + 1. Suppose -w*i + 4 = 2*i. Suppose 22*b = 2074 - 2030. Sort b, i, -2 in decreasing order.
b, i, -2
Let l = -1.1 - -2.4. Let v = -1 + l. Let g = -2432 + 12163/5. Sort 0.5, g, v in ascending order.
v, 0.5, g
Suppose 0 = -5*t - b - 0*b + 54, -4*t + 36 = -b. Let v = -9 + t. Let d = 3.3 + 0.7. Put d, -3, v in decreasing order.
d, v, -3
Suppose 1 - 5 = -4*h. Suppose 0 = -2*i + w - h, -5*i + 14 + 0 = 3*w. Let u(j) = -3*j - 28. Let q be u(-9). Sort q, -5, i in increasing order.
-5, q, i
Let c(y) = y**3 - 33*y**2 + 91*y - 29. Let s be c(30). Let g(j) = 6*j + 1. Let o be g(-1). Sort s, o, -15 in descending order.
s, o, -15
Suppose -4*f = 3*k - 113, 29 - 105 = -2*k - 2*f. Let u = k - 36. Put u, 0, 4 in descending order.
4, u, 0
Suppose -f - 2 = 3*x + 4, -x - 2 = 3*f. Let g = -15 - -14. Let l be (-4 + 10 - 0) + g. Sort x, l, 1 in ascending order.
x, 1, l
Let w(o) = -o - 1. Let b be w(2). Let q be 38*(-2)/14 - 15/(-35). Put b, q, 3, -2 in increasing order.
q, b, -2, 3
Let o = -419/65 - -89/13. Sort 0.09, o, -13, 0.2 in ascending order.
-13, 0.09, 0.2, o
Let c = -138 - -133. Suppose 0 = -4*u - 2 + 10. Sort u, 0, 1, c in decreasing order.
u, 1, 0, c
Let d = -293 + 878/3. Sort d, 6, 4/7, 0.4 in descending order.
6, 4/7, 0.4, d
Let x = 1.85 - -0.05. Let w = x - 1.87. Put -2, w, 0.5 in descending order.
0.5, w, -2
Suppose 5*x = 8 - 23. Sort x, 7, -4 in decreasing order.
7, x, -4
Let y = -6 - 14. Let d = y + 23. Let t = 9 + -5. Sort t, d, 0 in decreasing order.
t, d, 0
Let c = -1.2 - 4.8. Let n = -15 - c. Let w = n + 5. Put 0.5, 0.3, w in increasing order.
w, 0.3, 0.5
Suppose 4*z - 111 = -t, -2*z - 2*t + 79 = 25. Let l = 31 - z. Put -5, 4, l in increasing order.
-5, l, 4
Suppose 58*u = 68*u + 20. Sort u, -3, 0.4, -0.11 in descending order.
0.4, -0.11, u, -3
Let y = 5238 - 5240. Let b be (-4)/6 + 64/(-12). Let a be (-2)/7 - 48/(-21). Put b, y, a in descending order.
a, y, b
Let r = -0.1 - 0. Let c = -5.84 + 5.8. Let l = 9.04 + c. Put l, 5, r in decreasing order.
l, 5, r
Let x be (4 - 6/9) + 3/(-9). Put 2, -1, 10, x in descending order.
10, x, 2, -1
Suppose -5*d - 2*p - 21 = 0, -5 = 5*p - 15. Sort 24, d, -14.
-14, d, 24
Let c(f) = -f**2 - 5*f - 4. Let g be c(-3). Suppose 3*n - 2 = 2*y + 4, -g*n = 4*y + 12. Suppose 3*s = 3*a, s = 3*s - 4*a - 2. Sort s, 3, y.
y, s, 3
Let y(t) = -2*t**3 - t. Suppose -2*n = 2*n - 4. Let p be y(n). Let l be 20/15 - (-1)/(-3). Put -4, p, l in ascending order.
-4, p, l
Suppose 10 = 5*r, -g - 5*r = -8 + 3. Let l(v) = -v**2 - 6*v + 10. Let w be l(-7). Sort g, w, -4 in increasing order.
g, -4, w
Let f(r) = 2*r - 9. Let u(d) = d - 1. Let m(l) = f(l) - u(l). Let x be m(10). Let s(z) = z**2 - 4*z + 3. Let w be s(3). Sort w, x, -1 in descending order.
x, w, -1
Let l be (-10)/4*-2 - 46/8. Sort l, -2/3, 3 in ascending order.
l, -2/3, 3
Let t = -39.8 + -15.2. Put -3/4, 0, 3/8, t in ascending order.
t, -3/4, 0, 3/8
Let a be (0 - -1) + (-6)/(-2). Let l = 139.8 - 140.3. Put 6/7, a, l in increasing order.
l, 6/7, a
Suppose 124 = 3*t - 34*t. Sort 3, t, 0, -3 in descending order.
3, 0, -3, t
Let a = -5/1229 - -142599/8603. Let i = 608/35 - a. Sort 1, -5, i in descending order.
1, i, -5
Let w be 2/4*(1 - -11) + 0. Suppose -2*z - g = 19, 4*g - w + 47 = -3*z. Put z, -5, 4, -1 in ascending order.
z, -5, -1, 4
Let k be (-285)/(-18) - (-9)/54. Put -8, -2, k, 4 in descending order.
k, 4, -2, -8
Suppose 3*z = 3*n + 6, -4*z = n + n + 10. Let j be 15/(5 + -10) + 5. Put -2, n, j in increasing order.
n, -2, j
Suppose 5*d = 2*d - 3*d. Put -0.2, -1, d in ascending order.
-1, -0.2, d
Let r(i) = -i - 6. Let n be r(-2). Let f be (n/(-6))/((-3)/(-153)). Let d = f + -36. Sort -1, d, -10.
-10, d, -1
Let n = -381 + 383. Let h = 5 + -15. Let b = -5 - h. Sort -2/7, b, n in ascending order.
-2/7, n, b
Suppose 0 = 5*o - 11 - 4. Suppose 2*q - 53 = -2*q + v, 0 = o*v - 9. Let f be -1 + q - (-7 - -11). Put -3, 1, f in ascending order.
-3, 1, f
Let d = -230.03 + 230. Sort -1/6, d, -4, -1.
-4, -1, -1/6, d
Let p be (0 - 1/1)*-6. Let t be (-4)/p + (-3)/(-45). Let h = -2915.4 + 2915. Put 1, t, h in increasing order.
t, h, 1
Suppose 27 = -5*c - 3. Let m be c/(-8)*(-8)/(-6). Suppose 0 = 3*y + 3*o - 9, 2*o + 10 = 4*y - 8. Put -5, m, y in increasing order.
-5, m, y
Suppose -5*n + 7*n = 6. Let y(v) = v**3 + 6*v**2 - 38*v + 25. Let f be y(-10). Sort -6, n, f.
-6, n, f
Let q = -14 + 9. Let k(b) = -b**3 + 10*b**2 - 8*b - 9. Let x be k(9). Suppose 10*i + 10 + 10 = x. Put i, q, 4 in ascending order.
q, i, 4
Let n(a) = 3*a + 33. Suppose 3*y + 3*c = -30, -2*y - 30 = y - c. Let d be n(y). Put 0, 4, d in descending order.
4, d, 0
Let z = -254 + 9907/39. Let u = -119/78 + z. Sort -4, -2, u in increasing order.
-4, -2, u
Let s(n) = -n**2 - 40*n - 132. Let o be s(-37). Sort 0, 3, o in descending order.
3, 0, o
Suppose -4*z + 12 = 2*a - 0, -5*a = -3*z + 9. Let c = 1.2 - 4.2. Let r be 1/3*3/6. Sort a, c, r in descending order.
r, a, c
Let r(n) = -2*n - 766. Let w be r(-29). Sort 3, -1, w in descending order.
3, -1, w
Let x(v) = 4*v**2 + 2*v - 1. Let u be x(1). Let o = -252 + 248. Sort o, 1, u, 4 in descending order.
u, 4, 1, o
Let v(h) = -h**3 - 5*h**2 + 2. Let o be v(-5). Suppose 0 = -5*q + 2*f + 7, 5*q - 4*f = -7*f + 27. Put -3, o, 5, q in descending order.
5, q, o, -3
Let g be 3/15 - 