 decreasing order.
x, n, -1
Let z(a) = -a**3 + 11*a**2 - 4*a + 48. Let w be z(11). Sort w, 2, -31 in ascending order.
-31, 2, w
Suppose 21*s + 22*s + 387 = 0. Put s, -3, 1 in descending order.
1, -3, s
Let m = -254 - -254.3. Sort 15, m, 0.4, -1.
-1, m, 0.4, 15
Let g(d) = -5*d + 112. Let j be g(22). Sort -19, j, -3 in decreasing order.
j, -3, -19
Let l = 917 + -912. Put 9, 1/3, 2/5, l in ascending order.
1/3, 2/5, l, 9
Suppose 0 = 14*f - 9*f + 25. Sort -11, f, -2, 0 in descending order.
0, -2, f, -11
Suppose -1 = -h + 2*h, 0 = -l - 3*h - 10. Sort 2, l, -1, -4.
l, -4, -1, 2
Suppose 0 = 5*o + 92 - 157. Let w = 0.11 - 5.11. Put o, w, -0.1 in decreasing order.
o, -0.1, w
Let d = 290 + -1451/5. Sort 1.3, 0, d in increasing order.
d, 0, 1.3
Let w(s) = -s**3 + 6*s**2 - 5*s - 4. Let g be w(5). Let b be (-4)/6 + (-680)/60. Let t be 2/4 - (-6)/b. Sort g, t, 3 in descending order.
3, t, g
Let k = -150 + 139. Sort -0.2, k, 2, 4 in decreasing order.
4, 2, -0.2, k
Let a = 0.1 + 0. Let r = a - -2.9. Let h be 5/(-2)*(-11)/(-55). Sort -1/8, h, r in increasing order.
h, -1/8, r
Let x be 672/(-132) - 5/(-55). Put -20, -10, x, 1 in ascending order.
-20, -10, x, 1
Let g be (1 - 2)*(6 + -3). Let n = -10 + 3. Let p be (-1)/(-6) + 175/(-42). Put g, n, p in decreasing order.
g, p, n
Let x = -124.1 + 129.1. Put x, -205, -2, -4/7 in increasing order.
-205, -2, -4/7, x
Suppose -4*z + 4*n + 5 = -9*z, 4*n - 5 = -3*z. Suppose 47 - 33 = 7*h. Sort z, h, 1.
z, 1, h
Let q(o) = 2*o**2 - 3*o + 1. Let c be q(2). Suppose 0 = s + c*b + 10, 2*b + 28 = 2*s + 8. Sort s, -4, 0.
-4, 0, s
Let i be 76/(-28) - 4/14. Let f(j) = j**3 - 4*j**2 - j + 1. Let t be f(4). Let h be (t - 0)/(1 - 2). Sort -1, i, h in ascending order.
i, -1, h
Suppose 12*m - 7*m = -25. Suppose 5*g = -i - 10, -18*i + 19*i = g - 4. Suppose 1 = 2*x - x. Sort g, x, m in increasing order.
m, g, x
Let m = -0.05 - -50.05. Let a = 49.95 - m. Let n = 3.2 + -3. Sort a, n, 3/5.
a, n, 3/5
Let c = 4.2 - 3.46. Let t = -0.94 + c. Sort 5, t, 1/2 in increasing order.
t, 1/2, 5
Suppose 0 = -3*d - 6, -w + 7 = -2*d + 1. Let t be w - -2 - (-48)/6. Put t, -1/2, 1/6 in increasing order.
-1/2, 1/6, t
Let f be (-4 + 1/(-1))*-1. Suppose 0 = 15*a - 703 + 748. Suppose -s = -2*s - 5. Sort f, a, s in increasing order.
s, a, f
Let h = -1014 - -1013. Put -3, -38, h in decreasing order.
h, -3, -38
Let h = -4.95 - -2.77. Sort h, 0.4, -2.
h, -2, 0.4
Suppose -12 = 4*f + 4*u, 5*f - 3 = -2*u - 15. Let m be 1/(-5)*f + 43/5. Sort 2, m, -1, 0.3 in ascending order.
-1, 0.3, 2, m
Let l = -603 + 589. Sort 5, 2, l.
l, 2, 5
Let d = 11 + -9. Let f = 2 - d. Suppose f = -4*t - j + 9, j - 1 = -0*j. Sort t, -5, 0 in increasing order.
-5, 0, t
Suppose -h + 2*n = -0*n - 20, -n + 2 = 0. Let x = -28 + h. Let d = -4 + 2. Sort d, 5, x in increasing order.
x, d, 5
Let i = -135 + 94.4. Let u = 45 + i. Let d = -4 + u. Sort 1/2, 1, d in decreasing order.
1, 1/2, d
Let n = -46 - -82. Suppose -9 = 5*m + n. Let y be (m/15)/(15/20). Sort -1/4, -0.2, y in ascending order.
y, -1/4, -0.2
Let w = 11 - 8.6. Let z = -0.1 - w. Let s = z - -2.57. Put -4, s, -2/3 in decreasing order.
s, -2/3, -4
Let x be 3 - (0 + -1 - -2). Let g be 24 + -24 + (21/(-3) - 1). Let j = -6 - -11. Put g, x, j in decreasing order.
j, x, g
Let t = -9 + 5. Suppose 25 = r + 4*r. Suppose -5*n + 3 = -2*y, r*y = -3 + 8. Put n, t, -1 in decreasing order.
n, -1, t
Let n = 123 + -124.6. Let p = 19.4 - n. Sort p, -2, -1/3 in decreasing order.
p, -1/3, -2
Let s = 4 + -3. Let b be (-303)/(-12) - s/4. Suppose 6*a - a = -b, 3*t = 4*a + 29. Sort 8, -1, t in decreasing order.
8, t, -1
Suppose 3*h - 13 - 2 = -4*a, -5*a - 51 = -4*h. Suppose 2*z + h = 5*z. Suppose -z*i - 2*s - 16 = 0, -2*i - s - 11 = i. Sort i, -5, 1 in decreasing order.
1, i, -5
Suppose 70 = -5*r - 115. Let z = r - -35. Sort z, -5, 1 in decreasing order.
1, z, -5
Let j = 264 + -261. Sort 10, -3, -2, j in decreasing order.
10, j, -2, -3
Let p = -1 - -6. Let g = -13 + 36. Let b = g + -24. Put 4, p, b in decreasing order.
p, 4, b
Suppose -4*g = -2*d + 654, -5*g + 4*d + 0*d = 813. Let l = g - -1157/7. Suppose -v = 4*r + 8 - 3, 3*v = 5*r - 15. Sort r, l, 3 in descending order.
3, l, r
Let h = -1464 - -16106/11. Let c = 23/22 + -439/462. Put -0.4, -0.5, c, h in increasing order.
-0.5, -0.4, c, h
Let w = -13 - -8. Let m be (6/(-6))/((-9)/63). Sort 4, w, m, -4 in decreasing order.
m, 4, -4, w
Suppose 13*k - 3*k = 0. Suppose -5*c - 4 = 3*z + 6, 4*z - 2 = c. Suppose 2*p = -5*b + 25, z = 4*p - b - 17 - 0. Sort k, p, -1 in increasing order.
-1, k, p
Let c = 8/21 - 22/21. Let t be (-2 - 1)*(-8498)/(-78). Let a = 327 + t. Sort 0.4, a, c in ascending order.
c, a, 0.4
Let r(h) = -11*h + 22. Let v be r(2). Put v, -4, -2, 3 in descending order.
3, v, -2, -4
Let n = 1 - 5. Let f be (-2)/4*((-53193)/(-57) + -3). Let v = f + 465. Sort 3, n, v in descending order.
3, v, n
Let o be ((-10)/7)/(-5)*1. Sort 2, o, -146 in descending order.
2, o, -146
Let l(h) = -7*h - 33. Let z be l(-4). Put -2, z, -30 in ascending order.
-30, z, -2
Let v(a) = -a**3 - 17*a**2 - 2*a - 41. Let o = -87 - -70. Let h be v(o). Put 0, h, 5 in decreasing order.
5, 0, h
Let b = -1 + 1. Let g = -49.67 + 49.64. Sort g, b, 2/3 in decreasing order.
2/3, b, g
Let i be (14 + 1)/((-15)/(-10)). Suppose -i = 2*a - 4*h, -2*a + 13 = 5*h - 13. Put -1, -4, a in increasing order.
-4, -1, a
Let j = 485 + -799. Put -5, j, 5 in descending order.
5, -5, j
Let z = 27 + -26. Let a(f) = -f - 7. Let x be a(-6). Let n = 1 - x. Put z, n, -5 in descending order.
n, z, -5
Let p(k) = -k**2 - 8*k + 20. Let o be p(-9). Let w = o - 15. Put 5, -3, w in descending order.
5, -3, w
Let w be 8 + -255*(-12)/(-378). Sort -1, -0.1, w in descending order.
w, -0.1, -1
Let m(u) = -u**3 - 6*u**2 - 4*u - 19. Let y be m(-6). Let g be y + -2*4/8. Sort 2, g, 3, -3.
-3, 2, 3, g
Let f = 13 - 6. Let r be 48/32*-8 - -16. Sort 2, r, 1, f in increasing order.
1, 2, r, f
Let i(d) be the first derivative of d**3/3 - 5*d**2 - 14*d + 5. Let w be i(11). Suppose 7*m - 2*m + 10 = 0. Sort 0, w, m.
w, m, 0
Let r(b) = 2*b + 67. Let n be r(-31). Put 7, n, -5, -1 in increasing order.
-5, -1, n, 7
Let c = 6671/6 + -1112. Put c, -128, -1/3 in descending order.
c, -1/3, -128
Let z(n) = -190*n. Let x be z(1). Let c be ((-6)/(-57))/(-1) - (-18)/x. Sort -5, -1/2, -3, c in increasing order.
-5, -3, -1/2, c
Suppose -20*o + 12 = -19*o - b, 4*b = 2*o - 14. Put -2, 3, o in descending order.
o, 3, -2
Let y = 5559/5 + -1111. Sort y, 4, -5.
-5, y, 4
Let m be (-6)/21 + (-48)/(-21). Let g = -18 - m. Let h be (-92)/g + (-4)/(-10). Sort -2, h, -9.
-9, -2, h
Let d = -580/3 - -194. Sort d, 3/2, 1/6, 5.
1/6, d, 3/2, 5
Let v(o) = o**2 - 6*o + 6. Let n be v(6). Let y(w) = -w**3 - 5*w**2 + 6*w - 4. Let c be y(-6). Let g = 1 + -2. Sort c, g, n.
c, g, n
Suppose -3*n + 0*p = -4*p + 167, n - p + 56 = 0. Let k = n - -170/3. Put -2, k, -1, 0.2 in decreasing order.
0.2, k, -1, -2
Let m = -0.3438 - -0.0438. Sort 1/3, 3, m in decreasing order.
3, 1/3, m
Suppose -11*m = m - 3*m. Let v be 0*(1 + -1 + -1). Suppose 0 = -y - v*y - 2. Sort -4, m, y in descending order.
m, y, -4
Let r = 522 - 6788/13. Put -0.4, -1.5, r in increasing order.
-1.5, -0.4, r
Let u = 0.06 - 0.12. Let m = u + -0.14. Let c = m - 0.2. Sort c, -2, -1/5 in ascending order.
-2, c, -1/5
Suppose -6*p + 37 + 5 = 0. Suppose -3*k + 24 = -p*k. Put -1, k, -3 in ascending order.
k, -3, -1
Let a = -1 + 4. Let c(x) = -x**2 + 15*x - 31. Let n be c(9). Sort n, a, 1.
1, a, n
Suppose 40 = -2*a + 7*a. Suppose 5*p - 18 = -a. Let h(u) = u**3 - 4*u**2 + u - 1. Let c be h(4). Put c, 1, p in decreasing order.
c, p, 1
Let x = 130/7 - 787/42. Sort x, 0.2, 13 in ascending order.
x, 0.2, 13
Let m be 16/(-6)*9/6. Let k = 322 - 5472/17. Let p = -0.33 + -2.67. Put m, p, k in increasing order.
m, p, k
Suppose m = -4*m. Suppose 8 = -2*i, -4*i + 618 = 3*t + 631. Sort -9, t, m, -2 in ascending order.
-9, -2, m, t
Let d be (-14)/(-6) - 4/(-6). Suppose g = d*s - 8, -2*s + g = 2 - 9. Let t = -6 + 5. Sort -3, t, s in descending order.
s, t, -3
Suppose 9*g - 22 = 13*g + 2*z, -3*g + z = 4. Put -1, 0.3, 8, g in decreasing order.
8, 0.3, -1, g
Let x(l) = -l**3 + 26*l**2 - 26*l + 21. Let y be x(25). Sort 1, 4, y in decreasing order.
4, 1, y
Let g = -1229 + 1230. Let w = 16 + -12. Put