 descending order.
w, l, -4
Suppose -8*x = -4*x + 20. Suppose -3*v = -5*p + 93, -74 = -3*p - p + 2*v. Let h = p + -22. Put x, 4, h in descending order.
4, h, x
Let d be (6/8)/((-2)/8). Let u be (((-9)/3)/1)/(9/(-12)). Sort d, -2/13, u in descending order.
u, -2/13, d
Let u(h) = 2 + 2*h - 92*h**2 + 48*h**2 + 42*h**2 + h - h**3. Let i be u(-3). Put -1, i, 1 in increasing order.
-1, 1, i
Let a = 140 - 144. Sort a, 3, -0.3.
a, -0.3, 3
Let n be 29/9 + 4/(-18). Let y = 73.7 - 73.7. Put n, 2, 5, y in increasing order.
y, 2, n, 5
Let g(l) = -l**2. Let k(c) = c**3 + 14*c**2 - 2*c - 13. Let v(b) = 5*g(b) + k(b). Let d be v(-9). Sort -3, d, 0.
-3, 0, d
Suppose 0 = -3*g - 5*j - 22, -3*g = 3*j - 3 + 15. Sort g, 7, 0, -2 in decreasing order.
7, g, 0, -2
Let j = 6049.8 + -6050. Let m = 2 - 7. Put j, 2.1, m in increasing order.
m, j, 2.1
Let s = -39 + 62. Let g = 3 - -1. Suppose g = 2*p + h, 0 = 4*p - 5*h + 1 - s. Sort p, 1, 2 in increasing order.
1, 2, p
Let l = 2860.3 - 2860. Sort 1, l, -2/9, -20/11.
-20/11, -2/9, l, 1
Suppose 3 = -7*p - 25. Sort -3, p, 66.
p, -3, 66
Let s = -1631 + 1628. Let v = 0.4 + -0.1. Let t = v + -0.8. Sort 2/19, s, t.
s, t, 2/19
Let w = -30 - -31.3. Let f = 1 - w. Let j = -420 + 420.4. Sort f, -1, j.
-1, f, j
Let f = 836457/16280 + -9/2035. Let q = -51 + f. Sort 2/11, q, -0.1 in decreasing order.
q, 2/11, -0.1
Let f = -2 + 6. Suppose 0 = -f*i + i - 9. Let x be 2/(-8)*(i + 4). Sort 14, -2/9, x in ascending order.
x, -2/9, 14
Suppose -2*p + 15 = 5. Sort p, 65/9, -5 in ascending order.
-5, p, 65/9
Let x be (-1)/((-36)/9 - (-381)/95). Put x, 0, 3 in ascending order.
x, 0, 3
Suppose -2*w + 3*w - 2 = 0. Suppose -w*y = -4*y + 4. Sort 1, -4, y in increasing order.
-4, 1, y
Let w = 408 + -407. Put -3, w, -46, 5 in descending order.
5, w, -3, -46
Suppose 5*h + 34 + 13 = -3*y, -32 = 4*y - h. Sort y, -3, 0.
y, -3, 0
Suppose -19*w + 158 = 4*o - 22*w, -5*w - 30 = 0. Let u(x) = -x**2 + 2*x. Let j be u(2). Put o, 5, j in descending order.
o, 5, j
Suppose -f + 15 = 2*f, -2*f + 6 = -2*h. Let m be ((-5)/15)/(h/(-6)). Put -1, 2, m in descending order.
2, m, -1
Let u = -1615.4 - -1615. Put 4/61, 5, -1, u in increasing order.
-1, u, 4/61, 5
Let i(s) = -3*s - 18. Let k be i(-7). Suppose -k*c - l = -11, 6 = -5*c - 2*l + 25. Sort c, -2, -5 in descending order.
c, -2, -5
Let s = 45 + -46. Let d be s - (-1 + -4) - 4. Let a be ((-5)/3)/((-3)/(-9)). Sort d, -1, a in increasing order.
a, -1, d
Let x = -811 - -810.5. Let u be (-18)/(-27)*(-1)/6. Sort x, u, -0.1 in descending order.
-0.1, u, x
Let k = 59.92 - 61. Let j = 2.08 + k. Sort j, 0, 0.69 in descending order.
j, 0.69, 0
Let d be -1 + -1 - (0 + 1). Let x = 5 + d. Put -3, -2, -1, x in decreasing order.
x, -1, -2, -3
Let v = -10.54 - -10.14. Sort -0.05, v, 2, 0.02.
v, -0.05, 0.02, 2
Let b = 85 - 61. Let f be 4*-10*(-3)/b. Let g = -0.0202 + 4.0202. Put f, g, 1/2 in ascending order.
1/2, g, f
Let i(d) = 2*d**2 + 39*d - 26. Let q be i(-20). Put -3, q, -2, -5 in ascending order.
q, -5, -3, -2
Let s = 0.22 + 3.78. Let y = 1.14 + -0.14. Put s, y, -2 in ascending order.
-2, y, s
Let f be 5*7/105*3. Put -4, 4, 0.1, f in descending order.
4, f, 0.1, -4
Let t be (-14)/(-6) + (-12)/36. Suppose -12 = 3*a - 4*x, 8*x - 3*x - 15 = t*a. Suppose a = -0*g + 8*g + 8. Put 0, 2, g in decreasing order.
2, 0, g
Let h = 65 + -59. Let d = h + -7. Sort -0.1, d, 0.1 in decreasing order.
0.1, -0.1, d
Let i = 36 - 11. Let c = 24.8 - i. Let v = -0.06 + 0.36. Sort c, v, 0.1.
c, 0.1, v
Let f = 3 - -6. Suppose 2*m - 3*o - f = 0, 4*o = 2*m - 8 - 4. Suppose 2*n + 0*c = -3*c - 13, 21 = -5*n + 4*c. Sort -3, n, m in descending order.
m, -3, n
Suppose -1 = h - 3*r, h = -h - r - 2. Let c(w) = -w + 10. Let t be c(11). Let u be 16/5 - t/(-5). Sort 2, u, h in decreasing order.
u, 2, h
Let b = 2682.6 - 2683. Sort 2, b, 1/4, -2/11.
b, -2/11, 1/4, 2
Let x be (-9)/(-6)*(28/6 + -2). Let n be 4/1*(-40)/16. Let f = 5 + n. Sort x, 7, f in decreasing order.
7, x, f
Suppose -15 - 33 = 6*a. Put -5, -2, a in ascending order.
a, -5, -2
Let i = -1.134 + 0.134. Let m be ((-7)/(-3))/((-3)/9). Put i, -1/12, m in ascending order.
m, i, -1/12
Suppose -36*d = -46*d - 80. Sort 3, d, -5, -3 in decreasing order.
3, -3, -5, d
Let d be 156/(-26) - (3 - 0). Let u be (-2)/6 + (-3)/(-9). Let s be 3/(-3) + 5 - u. Sort s, 1, d in ascending order.
d, 1, s
Let j = -19 - -15. Let g be ((49/(-14))/7)/(1/j). Suppose -f = 5*i - 21, -3*i = -10 - 2. Put f, -1, g in descending order.
g, f, -1
Let j = -581 - -602. Sort j, 3, 3/4, 3/7.
3/7, 3/4, 3, j
Let o = 49 - 16. Suppose 0 = -10*f + 7 + o. Put -9, f, -1, 3 in descending order.
f, 3, -1, -9
Suppose -62*r - 55 = -51*r. Put r, -4/3, -0.12 in decreasing order.
-0.12, -4/3, r
Suppose -3*v - 4 = -10. Suppose -15 = 5*p + 2*n, -p + v*p + 2*n = 5. Sort -2, -4, 3, p in decreasing order.
3, -2, -4, p
Let a = 142 - 140. Let h be 74/14 + (-2)/7. Let u = h + -8. Sort u, a, -1 in increasing order.
u, -1, a
Suppose x - 6 - 52 = 0. Let v = x + -59. Sort 0, 4, v in decreasing order.
4, 0, v
Let j = -230 - -233. Sort -1, -4/9, -3/14, j in descending order.
j, -3/14, -4/9, -1
Suppose -2*n - 19 = -5*r, 13*n + 5*r = 16*n + 26. Put 1, -5, n in descending order.
1, -5, n
Let v = -169 + 5241/31. Put -1/3, 3, v in decreasing order.
3, v, -1/3
Let w be 5/((-160)/(-184)) + (-1)/(-4). Let c = -75 + 71. Put c, -1, w in descending order.
w, -1, c
Suppose 2*o = -2*n - 12, o - 27 = -5*n - 53. Let x(l) be the first derivative of -l**2/2 + l - 2. Let k be x(5). Sort o, k, 3 in decreasing order.
3, o, k
Suppose 0 = n - 3*n + 2*j - 10, -5*n = -3*j + 21. Put n, -9, -5, -2 in ascending order.
-9, -5, n, -2
Suppose -40 = -o - 9*o. Suppose 26*f = 25*f - o. Sort f, -10, -3 in descending order.
-3, f, -10
Let i = 12.3 - -9.7. Let r = 18 - i. Suppose 4*k + 16 = 4*q, 4*q + 1 = 3*k + 12. Sort 5, k, r.
k, r, 5
Let v = 277 + -1941/7. Sort v, -0.3, 11 in decreasing order.
11, v, -0.3
Let m be -5*2*(-1)/2. Suppose 0 = -11*z + 12*z - 2. Suppose -5 = r - 2*p, 2*r + p - 7 + z = 0. Sort m, 2, r in increasing order.
r, 2, m
Let g = -705 + 705. Let l = 2 - 3. Let s be 3/3 - 1*l. Put 5, s, g in ascending order.
g, s, 5
Let a(f) = 6*f + 24. Let j be a(10). Suppose -z + 5*s - 8 = 7, 0 = -4*z - 4*s - j. Let m = z + 15. Sort -3, 5, m in decreasing order.
5, -3, m
Let d(v) be the first derivative of -v**3/3 - 5*v**2 - 6*v - 4. Let r be d(-9). Suppose 3*n - 13 = -p, r*n - p - 4*p = 7. Put n, 3, -1 in decreasing order.
n, 3, -1
Suppose -6 = -2*n - m + 2, -6 = -n - m. Suppose 32 = -4*f + 2*f - 2*i, -4*f + n*i - 64 = 0. Sort f, -1, 5, 2.
f, -1, 2, 5
Let k = 397/5 - 79. Let v = -241 + 239. Sort -0.1, -2/7, k, v.
v, -2/7, -0.1, k
Let y be 76/13 + (-24)/(-156). Suppose 0 = -3*j - 0*n + 4*n + 23, -j - 4*n = 19. Let b(f) = -4*f - 1. Let t be b(1). Sort t, j, y.
t, j, y
Let y be (72/8 + -7)*2/(-1). Let j(f) = -f**3 - 12*f**2 - 12*f - 3. Let z be j(-11). Sort y, -2, 3, z in descending order.
z, 3, -2, y
Let a = -28.7 + 32.7. Let x = -12 - -86/7. Sort 3, x, a.
x, 3, a
Let x = 728 + -726. Let z = 12 + -20. Let b be 2/z - 27/4. Sort b, 0, x in decreasing order.
x, 0, b
Let j = -15 + 26. Let k = j + -14. Let d be 4/6 + (-26)/12. Put 4, d, k in increasing order.
k, d, 4
Suppose 18*o - 49*o = 93. Suppose -3 = d - 8. Let z = d + -4. Sort -1, o, z in increasing order.
o, -1, z
Let m be -5*(120/25)/8 - -3. Sort 97, 2, m.
m, 2, 97
Suppose -13*b - 86 = -125. Let x = 20/21 + -2/7. Put b, 5, x, 1 in decreasing order.
5, b, 1, x
Let c = 2 + -1. Suppose 5*o - 2*r + 5 = 10, -4*r + 32 = 4*o. Suppose 0 = o*w + 34 - 19. Put 3, c, w in ascending order.
w, c, 3
Suppose 32*q - 109 = -269. Sort 4, q, 270 in ascending order.
q, 4, 270
Let a = 0.7197 - 0.0107. Sort a, 5, 3 in increasing order.
a, 3, 5
Suppose 11 = -2*q + 5*a - 8*a, 4*a = -4*q - 16. Suppose -8 = 11*o - 15*o. Suppose -o*h = -4*x - 6, -3*h + 20 = h. Sort x, 0, q in increasing order.
q, 0, x
Let j = -15 - -21. Let t = -22.75 - -25.75. Sort 0.1, j, t, -2.
-2, 0.1, t, j
Suppose -k + 5*r - 6 = 0, r + 0*r - 100 = -5*k. Suppose 3*a - k = -5*y, 0*y - 3*a + 15 = 3*y. Suppose s = -1, 2*s + 3 = 4*g - 15. Sort -2, y, g.
-2, y, g
Suppose 4*u - 12 = 4*m + 24, -2*m = 3*u - 7. Sort 0, u, -5, 4 in ascending order.
-5, 0, 4, u
Let x = 97 - 117. Let t be 9/3 - (-4)/8*x. Put -2, 2, t