order.
h, n, 0
Let h(k) = -2*k + 1. Let q be h(2). Let i(t) = 5*t + 12. Let s be i(-2). Suppose -3 = -2*j + g + 5, 4*j + s*g = 0. Sort -7, j, q, 3.
-7, q, j, 3
Let z = 167 + -168. Let m(c) = 2*c**3 + 12*c**2 - 5*c - 16. Let u be m(-6). Let r = u - 19. Put r, z, 1 in descending order.
1, z, r
Let y = -15 + -4. Let g be 30/90 - 74/6 - -13. Let s be (-2 + 3)*(-16)/4. Sort 5, y, g, s in descending order.
5, g, s, y
Suppose -44*u = -47 + 30 - 27. Let g = -9 + 6. Put g, u, -4, -5 in ascending order.
-5, -4, g, u
Let s(h) = -h**3 + 24*h**2 - 72*h - 157. Let v be s(20). Sort v, -7, -9 in decreasing order.
v, -7, -9
Suppose 27*j = 48*j. Suppose k - 41 = -45. Sort k, 5, j.
k, j, 5
Let m = 515 + -511. Suppose -5 + 28 = -4*v + 3*k, 3*v - m = -2*k. Sort v, 0, -45.
-45, v, 0
Suppose -129*w - 470 = 175. Sort -13, 1, w, 2 in increasing order.
-13, w, 1, 2
Let q(m) = m**3 - 3*m**2 - 5*m + 2. Let k(i) = i**2 - 2*i - 4. Let d be k(4). Let s be q(d). Let x be (-54)/2*(-27)/(-729). Put s, 0, -3, x in ascending order.
-3, s, x, 0
Let b = -13908 + 13948. Sort 23, 3, b.
3, 23, b
Let q = -11 - 10. Let d be ((-120)/16)/(20/32 - 1). Let b = d + q. Put 1, b, 14 in descending order.
14, 1, b
Let r(i) = 28*i + 119. Let w be r(-5). Let f be w/(-3) + 21/(-3). Put 2, f, 8 in descending order.
8, 2, f
Let p = 2 + 6. Let o = p - 8. Let f = -138/17 + 1276/153. Sort f, -4, o in descending order.
f, o, -4
Let b = 43 - 42. Put b, -1, 721 in descending order.
721, b, -1
Let k = -31.92 - 0.08. Let z = -13 - k. Let y = 21 - z. Put -1, y, -2, 0.3 in increasing order.
-2, -1, 0.3, y
Let b = -5 - -2. Suppose -52 = 47*j + 159 + 24. Put b, 5, j in ascending order.
j, b, 5
Let k(b) = -b - 9. Let q be k(-5). Let t(i) = -i**3 + 116*i**2 + 603*i - 11. Let x be t(-5). Let p = 21 + -16. Put 3, p, q, x in descending order.
p, 3, x, q
Let m = -5890 + 5893. Let x be (3/(-12))/((-42)/(-8)). Sort x, 4, m in descending order.
4, m, x
Suppose 140*s + 25 = 145*s. Suppose 0 = s*b + 5*d - 0*d + 10, -3*b + 14 = -d. Suppose c - 3*u + 3 = -3, b*u - 6 = -2*c. Put c, -5, 5, 2 in decreasing order.
5, 2, c, -5
Suppose 3*c + 3*q = 210, 67*q = 64*q - 6. Put -0.3, c, 1/6, 0.2, -0.2 in descending order.
c, 0.2, 1/6, -0.2, -0.3
Let r = 6.902 - 1.902. Let k = 120 - 119.7. Put -0.2, k, r, -2 in ascending order.
-2, -0.2, k, r
Let c(s) = -s**3 + 3*s**2 - 10*s + 8. Let b be c(4). Suppose 53*o = 62*o + 9. Sort 5, o, b in increasing order.
b, o, 5
Let j(a) be the second derivative of 0 + 7/6*a**3 + 12*a + 3/2*a**2. Let t be j(-1). Put -14, 5, t in ascending order.
-14, t, 5
Let x = -76 + 70.7. Let a = x - -6.6. Let o = 1.5 - a. Sort 33/5, 0, o in descending order.
33/5, o, 0
Suppose 66*o + 68*o - 360 = 14*o. Sort 6, o, -1, -33 in descending order.
6, o, -1, -33
Let g be ((-78)/12 + 10)/(2/(-8)). Sort g, -21, 0 in decreasing order.
0, g, -21
Let t = 21 - 13. Let a = -7.3 - -7.339. Let i = a - -0.461. Put t, 5, i in descending order.
t, 5, i
Suppose 5*c - 46 + 7 = -3*m, 0 = 2*c - 4*m. Put -6, -4, c, -1 in descending order.
c, -1, -4, -6
Let m = 19.1 + -16.56. Let g = m + -7.54. Let u = -12.5 + 13. Sort -0.3, -1/2, g, u.
g, -1/2, -0.3, u
Let i be (-162)/(-36) - 126/12. Sort 2, i, 20 in descending order.
20, 2, i
Let c(d) = -d**3 + 6*d**2 + 29*d - 21. Let v be c(9). Let i = -131 - -130. Let r be (-1)/5*(-30)/12. Sort v, i, 5, r in increasing order.
v, i, r, 5
Suppose 20*j - 52*j - 550 = 23*j. Put 18, -1, 0, j, 4 in decreasing order.
18, 4, 0, -1, j
Suppose 38*g = 2*g - 252. Let h be 76/16 - (-3)/12*1. Sort h, -9, -1, g in increasing order.
-9, g, -1, h
Let h(t) = 3*t - 13. Let o = 56 - 61. Let j(r) = 4*r - 20. Let x(k) = o*j(k) + 7*h(k). Let c be x(-12). Put 0, -1, c, 3 in decreasing order.
3, 0, -1, c
Let g = -6 - -8. Let s(n) = n**3 - 6*n**2 - 79*n - 29. Let x be s(-6). Put x, -4, g, -5 in descending order.
x, g, -4, -5
Suppose 116 - 62 = -27*b. Sort 17, -5, 1, b in decreasing order.
17, 1, b, -5
Let w = 5.4 + -5. Let j be 22*(-2)/8 - (-8 + 5). Put j, -1, w, -4/11 in decreasing order.
w, -4/11, -1, j
Let p be ((-158171)/26 + 10)*(-4)/(-6). Sort -1, 3, p in increasing order.
p, -1, 3
Let g be 3 + (3/(-3))/(-1). Suppose -1 - 3 = g*k. Suppose 44*a = -54 + 186. Sort 4, -2, a, k in decreasing order.
4, a, k, -2
Suppose o - 1245 = 2*r - 22, 4*r + o = -2437. Let d = r - -609. Sort d, -1.4, -5, -4 in increasing order.
-5, -4, -1.4, d
Let l be (-231)/147 - 3/7. Let v(d) = d**2 + 2*d - 4. Let u be v(l). Put 1, u, -3 in decreasing order.
1, -3, u
Let m(b) = -2*b - 6. Let f be m(-13). Suppose 2*y + 18 - f = 0. Let h = 23 - 24. Sort y, -3, h.
-3, h, y
Let k be ((-21)/(945/(-36)))/1. Put 2, -0.5, 24, -0.3, k in descending order.
24, 2, k, -0.3, -0.5
Let t be 73/(-10) + 54/180. Let u(n) = -n**3 - 9*n**2 - 17*n - 22. Let w be u(t). Sort 0, w, 1, -4 in increasing order.
-4, w, 0, 1
Suppose -3*g + 12 = y, -4 = -5*y + 3*g + 2. Sort y, -24, -5, -4 in ascending order.
-24, -5, -4, y
Let t(h) = -h**3 - 5*h**2 + 24*h - 2. Let z be t(-8). Let b be z/(-5 - 17/(-3)). Put 3, 5, b, 0 in increasing order.
b, 0, 3, 5
Let q(k) = -k**3 + 11*k**2 - 21*k + 60. Let h be q(8). Let n = -87 + h. Sort 4, n, 1/9, 0 in descending order.
4, 1/9, 0, n
Let j be 2/(-13 + 882/70). Sort -4, j, 5, 27 in descending order.
27, 5, -4, j
Let o = -483 + 2412/5. Sort o, 2, -2/13.
o, -2/13, 2
Let m = 40 - 40. Let k(w) = 3*w**2 - 50*w - 21. Let d be k(17). Sort -11, m, d in increasing order.
-11, d, m
Let w = 1122 - 3368/3. Let c be 6/15 + 161/35. Put -2/5, w, 2, c in increasing order.
w, -2/5, 2, c
Suppose -o - 8 = -2*i - 31, -4*o + 65 = -5*i. Put -5, 6, i, 3 in descending order.
6, 3, -5, i
Let y = -3924 - -4024. Sort 4, y, 5 in descending order.
y, 5, 4
Let z be 4 + -5 + -26 + 1. Suppose 4*t + 3*v + 140 = 0, -21 = 3*t + 4*v + 91. Let s = t - z. Sort -4, s, -5 in decreasing order.
-4, -5, s
Let r = 730 + -729. Suppose 3*o - 3*f + 9 = 0, 2*o + 17 = -3*f + r. Put o, 0, -1, -9 in ascending order.
-9, o, -1, 0
Let x be (-12)/(-7) - 0 - 2. Let r = 2.96 - 31.36. Let y = 27.4 + r. Sort x, 1/3, y, -2.
-2, y, x, 1/3
Let h(n) = n**3 - 5*n**2 - 7*n + 4. Let a be h(6). Let b(k) = -35*k - 697. Let d be b(-20). Sort d, 5, a, 0 in decreasing order.
5, d, 0, a
Let u = -65.0437 + -0.6563. Sort 2, -3, u in increasing order.
u, -3, 2
Let s = 2.6 - -0.4. Let b = 1245.5 - 1240.9. Sort s, b, 0.4.
0.4, s, b
Let p be (6/(-21))/(-4*12/(-216)) + 1. Put p, -41/5, 0, -3/7 in ascending order.
-41/5, -3/7, p, 0
Suppose 5 = 3*q - 4*a - 22, -5*q + 5*a + 40 = 0. Suppose m + 8*c = 4*c - 14, -3*m - 2 = 2*c. Suppose -4*r + 6 = -6*r - 4*d, -m*r = -4*d - 18. Sort 2, -5, q, r.
-5, 2, r, q
Suppose -19*m + 1765 = -135. Let n = m + -175. Put 2, -3, n in ascending order.
n, -3, 2
Suppose -3 = 2*b - 1. Suppose -2*a - 5*j = -j + 10, 3*j = -3*a. Suppose 20 = 9*x - a*x. Put x, 0, 2, b in descending order.
x, 2, 0, b
Let t be 0*(90/12)/(-15). Suppose t = 4*c - 10 - 6. Put 7, 1, c, 3 in increasing order.
1, 3, c, 7
Let r = -1 - -1.3. Let n = 19.9 - -2.1. Let c = n + -22.3. Put 2/19, c, r in decreasing order.
r, 2/19, c
Let s = 2 + -11. Let u be (s/288)/(2/(-12)). Let t = -274.8 + 274.3. Sort -2, 2/5, u, t in increasing order.
-2, t, u, 2/5
Let m(z) = -z**2 + 5*z + 3. Let h be m(6). Let d = -156025 - -312051/2. Sort -5, h, d, 10 in descending order.
10, d, h, -5
Suppose 3*f + 4*o + 2 = 5*f, -2*f + 5 = -3*o. Suppose -f*r - 3*r = -70. Put -3, r, -1, -2 in ascending order.
-3, -2, -1, r
Let h = 151 - 154. Let x = -1291/5 + 259. Let j = -5 - -4.7. Sort x, h, j.
h, j, x
Let f(m) = -542*m - 4662. Let i be f(-8). Put i, -2/9, -5, 0.4 in descending order.
0.4, -2/9, -5, i
Suppose 0 = -3*a - 2 + 5. Suppose 0*x + 0 = -41*x - 0. Sort x, a, -2, 9 in decreasing order.
9, a, x, -2
Let s = -0.48 - -13.48. Let j = s - 13.06. Let m = -1.94 + j. Sort 3/5, 4/5, m, 3 in descending order.
3, 4/5, 3/5, m
Let m be 3/(-2)*-2 - (9 + -19). Suppose m*u - 3 = 12*u. Put 1, u, -5, -4 in descending order.
u, 1, -4, -5
Let x be (0 - (-5)/2)*-2. Let o(u) = 6*u**2 - 59*u - 12. Let j be -3*(-6)/18*10. Let i be o(j). Put x, 0, 3, i in descending order.
3, 0, i, x
Let v = -92 + 100. Suppose 4*m = v*m - 16. Put 2, 1, m in decreasing order.
m, 2, 1
Suppose 4*x - d - 31 = -50, -2*x - 17 = -3*d. Sort 9, -3, 5, x.
x, -3, 5, 9
Suppose 8*p + 330 = 60*p + 14*p. Sort