 in descending order.
0, u, -21
Suppose -23*s + 25*s = -g + 8, 0 = -3*g + 3*s - 30. Put 4, -109, g in descending order.
4, g, -109
Let b(d) = -6*d**3 + 2*d - 1. Let x be b(1). Let w(s) = -4*s + 139. Let q = 462 - 428. Let c be w(q). Sort 5, x, c in decreasing order.
5, c, x
Let v(f) = -f**2 + 23*f - 120. Let g be v(8). Sort -184, g, 5, 1 in increasing order.
-184, g, 1, 5
Let t(k) = k**3 - 84*k**2 - 750*k + 10285. Let h be t(91). Let f(d) = d - 35. Let u be f(0). Sort 5, h, u.
u, h, 5
Let q be 3300/18*(2 + -5). Let w = 553 + q. Sort 5, 0, -2, w in ascending order.
-2, 0, w, 5
Suppose 0 = 3*p - 5*p + 8. Suppose -4*q - 4 = 0, 155 - 134 = -5*a + 4*q. Sort -4, 0, a, p in descending order.
p, 0, -4, a
Let j = -386 + 385.5. Let n = -9 - -9.08. Let c = -0.06 + n. Sort j, 5, c in increasing order.
j, c, 5
Let f = -5025 + 5027. Sort f, 37, -11/7 in ascending order.
-11/7, f, 37
Let s = 17721 + -17721.9. Sort s, -5, 0.3, -214.
-214, -5, s, 0.3
Suppose 0 = -4*y + 4*q - 36, -4*y - 92*q - 26 = -94*q. Sort 3, y, 9, -11 in descending order.
9, 3, y, -11
Let q = -8.3 - 1.7. Let m = q - -10.4. Let v = 1374 + -1370. Sort v, m, -2/13 in descending order.
v, m, -2/13
Let b(z) = -3*z**2 + 22*z - 3. Let c be b(7). Let o(t) = t**3 - 2*t**2 - 4*t + 14. Let h be o(c). Sort 0, h, -2 in decreasing order.
h, 0, -2
Suppose -5293 + 5197 = -32*b. Put -0.5, -0.07, 56/23, b in increasing order.
-0.5, -0.07, 56/23, b
Suppose -4*k - l - 17 = 6, -5*l - 20 = k. Let h be (-6 - 9737/(-42))/((-2)/(-3)). Let j = -341 + h. Put j, k, -2, -4 in decreasing order.
-2, j, -4, k
Let k(g) = -3*g - 6. Let o be k(-4). Suppose -161*b + 34 = 23 - 150. Sort o, 3, 5, b in increasing order.
b, 3, 5, o
Let k = 3.855 - 5.855. Sort -4, k, -54.9 in increasing order.
-54.9, -4, k
Let s = 1046697 - 1047018. Let q = 1.8 + 0.2. Sort q, 0.2, s in descending order.
q, 0.2, s
Let c = -29 + 31. Let z be 3/(7/(252/(-27))). Sort z, -2, 11, c.
z, -2, c, 11
Suppose -4*z = 2*r - 2*z, 5*r - 2*z + 28 = 0. Sort 0, r, 5, 2, -10 in increasing order.
-10, r, 0, 2, 5
Let d = -20602 + 20607. Sort -3, -2, d, -4, -1/5 in ascending order.
-4, -3, -2, -1/5, d
Let m(z) = -z**2 - 20*z + 67. Let i be m(-22). Let u = -34 - -38. Sort -5, u, i in decreasing order.
i, u, -5
Let x = -6646 - -6638. Put -140, 2, -2, x in descending order.
2, -2, x, -140
Let c(q) = q**2 + 22*q + 111. Let v be c(-12). Let a be 3/(-6)*(-19 - v). Let r = 3 + 0. Sort a, 4, r, 0 in decreasing order.
a, 4, r, 0
Suppose -22*f + 64*f - 126 = 0. Sort -4, f, -74, -5 in ascending order.
-74, -5, -4, f
Let n = -236 - -233. Sort n, 3, -13, 2 in ascending order.
-13, n, 2, 3
Let q = 286.981 + -287. Let v = 0.481 - q. Sort 2/7, 4, 1/5, v in descending order.
4, v, 2/7, 1/5
Let k = -100 - -84.2. Let a = k - -21.8. Put 0.1, a, -5 in descending order.
a, 0.1, -5
Let l = -259 + 58. Let c = l - -201. Sort c, -1/6, -25 in descending order.
c, -1/6, -25
Suppose -2*r = -2*k + 8, 2*k - 5*k = 4*r - 19. Let c = -66.6 - -1.6. Let l = 68 + c. Put r, -0.1, l in ascending order.
-0.1, r, l
Let a be 4/4 - (12 + 1). Let v be (-13)/((-13)/(-12))*3/a. Sort v, -6, -5, 4 in descending order.
4, v, -5, -6
Let d = -65 - -60. Let x be (-11)/((-22)/4)*4. Sort -1, d, x in increasing order.
d, -1, x
Suppose 31 = 5*u + 6. Suppose -30 + 5 = -u*w. Suppose -4*y - 2 - 4 = 5*b, 0 = -w*y - 20. Sort b, -5, -4, -6.
-6, -5, -4, b
Let o = -248.02 + 246. Let y = o + 0.02. Let c = 8237 + -8233. Put c, y, -4/5, -1/4 in decreasing order.
c, -1/4, -4/5, y
Let j = 59 - 57.4. Let f = 5.4 + j. Let g = f - 13. Sort -3, g, -1 in decreasing order.
-1, -3, g
Let i = 39.29 - -922.71. Sort i, 4, 0.5.
0.5, 4, i
Let n be (-5)/(-3 - 78/(-36)). Let i be ((-8)/n)/((2/(-6))/1). Let z(t) = t**3 - 5*t**2 + 3*t - 1. Let l be z(4). Sort i, l, -45 in descending order.
i, l, -45
Let b be -1 + 1 + -1 + (-152)/(-8) + -22. Sort -2/13, -5, b, 1 in increasing order.
-5, b, -2/13, 1
Suppose 0*w + 1 = -w - 3*b, 3*w = -2*b + 4. Let k = 0.015 - -0.985. Sort w, -2, -13, k in ascending order.
-13, -2, k, w
Suppose 13 = r + 3*r + v, -v = -3*r + 8. Suppose 21*x - 23*x = -3*z + 23, -5*z = -5*x - 35. Sort r, -11, x, 1 in decreasing order.
r, x, 1, -11
Let z = 72 - 70. Let g be (-66)/(-44) + (-11)/z. Sort 6, -6, g in ascending order.
-6, g, 6
Let q = -15053 + 15048. Let m = 1 + -1. Sort q, -4, -0.3, m in increasing order.
q, -4, -0.3, m
Let a(k) = -k**2 + 19*k + 413. Let x be a(32). Put -2, 4, 151, 2, x in decreasing order.
151, 4, 2, -2, x
Let i = -2.5843 - -2.32. Let h = 0.0357 - i. Sort 1/5, 1, 0.1, h in increasing order.
0.1, 1/5, h, 1
Let u be 0 + 10*-18 + 4. Let q = 175 + u. Put -44, 0, 2, q in decreasing order.
2, 0, q, -44
Let r = 3126 - 3128. Sort -5, r, -4, -21 in decreasing order.
r, -4, -5, -21
Suppose 4*x + 2*a + 301 = 5*x, 4*a = 4. Put -1, 1, x, -3 in descending order.
x, 1, -1, -3
Suppose -1709*d + 1683*d = -52. Sort -3, -4, -0.4, d.
-4, -3, -0.4, d
Let r(i) = 13*i**3 - 19*i**2 - 22*i + 42. Let g be r(-2). Put 9, g, -3 in decreasing order.
9, -3, g
Let x(t) = 3*t + 115 - 3*t**3 - 111 - 2*t**2 + 7*t**3. Let l be x(-1). Put -0.08, -2/13, l, 0.4 in descending order.
0.4, -0.08, -2/13, l
Let t(v) = 2*v**3 + 28*v**2 - v - 366. Let f be t(-13). Sort -48, -3, 0, f in increasing order.
-48, f, -3, 0
Suppose -4*y + 3*z - 7*z + 820 = 0, 0 = z - 4. Let u = y - 196. Put -1, 1, u in increasing order.
-1, 1, u
Let i be 70/(-49)*(-7)/35. Sort 3/4, 5/2, i, 4, -1/93.
-1/93, i, 3/4, 5/2, 4
Let z(r) = -r**3 - 4*r**2 + 16*r + 38. Let s be z(-2). Put 4/19, s, -19/2 in descending order.
4/19, s, -19/2
Let a = -3 + 8. Suppose -614 = 9*z + 250. Let p be (6/z)/((-4)/(-8)). Sort -2/9, a, 2/9, p in descending order.
a, 2/9, p, -2/9
Let j = 1 + 3. Let u(x) be the second derivative of 23*x**3/6 + 47*x**2 + 36*x. Let p be u(-4). Sort p, 9, j in decreasing order.
9, j, p
Let y = 1839 - 1863. Let o(g) = 7*g + 16. Let k be o(-2). Sort k, -4, -2, y in increasing order.
y, -4, -2, k
Let m be ((-1)/2)/(2/12). Suppose 5*f = 3*o - 2*o - 18, -2*o + 4*f = -18. Let p be (-28)/13 + (-10)/(-65). Sort m, o, p.
m, p, o
Suppose -m - 13 = -3. Let w be (5/m)/(3/(-6)). Put -9, 4, w, -3 in decreasing order.
4, w, -3, -9
Suppose 0*q + 5*q - 25 = 0. Let p be (-6)/(-48)*-12*(-16)/(-6). Sort 0, p, q, -3.
p, -3, 0, q
Let z(o) = -o**2 - 7*o + 4. Let r be z(-8). Let s = 36 + -34. Let g be 8*1/(s + 0). Sort r, 0, g, -1 in decreasing order.
g, 0, -1, r
Let y(o) = -9*o**2 + 59*o - o**2 - 202 + 11*o**2 - 23*o. Let x be y(5). Put -5, x, 0 in decreasing order.
x, 0, -5
Suppose -5*b = -10*b. Let k = -382 - -385. Put -16, k, -3, b in increasing order.
-16, -3, b, k
Suppose 86*u + 72 = 94*u. Let v be -1 + 93/105 + 10/25. Put v, u, 2 in decreasing order.
u, 2, v
Let q(j) = 3*j**3 + 15*j**2 + 7*j + 39. Let c be q(-5). Sort 2.7, 2/19, c in descending order.
c, 2.7, 2/19
Let b be (0 - -1) + (-2 - (5 + -10)). Suppose 15 = -6*g + 9*g, 0 = 5*p - b*g - 5. Let v = 0.2 - 0. Put p, -2/7, v, -0.4 in decreasing order.
p, v, -2/7, -0.4
Let r = -28 + 30. Suppose 4*n + 2*p = p + 15, 0 = n - 4*p - 8. Suppose -n*w = -2*b - 108, -2*w - 11*b = -7*b - 74. Put r, w, -5 in increasing order.
-5, r, w
Let t be 9 + (-4)/2 + (-43 - -20) + 18. Sort 13, -0.4, 1/3, -0.1, t in decreasing order.
13, t, 1/3, -0.1, -0.4
Suppose -i = t + 3, -i + 1 = -0*i. Suppose 4*l - 404 = 2*j - 3*j, 2*j = 2*l + 758. Let o = j + -384. Put t, o, 2 in ascending order.
t, o, 2
Let s = -1011.16 - -1011.26. Let m be 3/17 + 0/(-2). Put -3, s, m in decreasing order.
m, s, -3
Let t = 67.695 - 100.7. Let m = 0.005 + t. Let i = 26 + m. Put -0.2, -2/13, 4, i in descending order.
4, -2/13, -0.2, i
Let s = -2793 - -2790. Suppose 2*p + 10 = -3*b, 4*b + 20 = -0*p - p. Let f = -1 - b. Sort s, f, -1.
s, -1, f
Suppose 66*d = 71*d + 20, 3*u = -d + 203. Sort 2, 3, -4, u, -2 in descending order.
u, 3, 2, -2, -4
Suppose 0 = -2*l - 3*l + 320. Let n = l - 116. Let x = n - -258/5. Sort x, -0.1, 0 in ascending order.
x, -0.1, 0
Let j be (-4)/(-3)*27/(-6). Put -2, -49, j in descending order.
-2, j, -49
Let u be (-8 - -4 - 7/(-21))/(1/3). Sort -1, u, 0.
u, -1, 0
Let i be (94716/(-135))/(6/15 - 0). Put -5, 4, i in decreasing order.
4, -5, i
Let v be 99/6 + (-6)/(-4) + -2. Let b be (v/160)/(-1 + (-3)/(-5)). Suppose 0 = -3*l + 8 + 7. Sort l, 2/5, -8, b in decreasing order