ort u, h, 1 in descending order.
u, 1, h
Suppose 0 = 2*i - 5*l - 15, 2*i - 2*l = -i + 6. Suppose -6 = -0*v + 2*v. Put i, -5, v in descending order.
i, v, -5
Let b = 0.1 - -0.1. Let h = 67.4 - 68. Let l = -7.4 + h. Sort l, 0, b in descending order.
b, 0, l
Suppose 3*s + 5 = -2*z + 14, -4*s - 80 = -5*z. Let n be 28/(-60)*(z/14)/(-3). Put n, -2/9, -2 in descending order.
n, -2/9, -2
Suppose 5*m - 1 + 4 = 4*d, -3*m + 5*d = 7. Sort -25, 0, -1, m.
-25, -1, 0, m
Let f = -3.05 + -1.95. Sort 2, -3, f, -3/8 in descending order.
2, -3/8, -3, f
Suppose 7 - 40 = -3*g. Let r be (-2)/13 + 22990/(-130). Let p = r - -2303/13. Sort g, p, -0.4 in descending order.
g, p, -0.4
Suppose 641*d = 620*d + 21. Let t be 4/6 + (-2)/3. Sort d, -2, 4, t in descending order.
4, d, t, -2
Let u(p) = -22*p**2 + 1. Let s be u(-1). Let h = 20 + s. Let v be 1 + -1 + -3 + 7. Sort h, 0.2, v in increasing order.
h, 0.2, v
Let f(h) = -h**3 + 5*h**2 + 4. Let u be f(4). Let i = 23 - u. Let x be 3*(-4)/3 + -1. Sort -1, i, x in ascending order.
x, -1, i
Let k = -447.95 - -448. Sort -1/3, k, 1/3 in increasing order.
-1/3, k, 1/3
Suppose -3*c + y = -34, 0*c - y = c - 6. Suppose -20*d + 22*d = c. Let n = -10 + 5. Sort 3, d, n in descending order.
d, 3, n
Let u = -7.3 + -14.7. Let o = u + 22.5. Put o, 5, -2/9, -5 in descending order.
5, o, -2/9, -5
Suppose 25*k - 6 = -206. Suppose 5*w + 7 = p, -2*p + 0*w - w = -14. Let y = 4 - p. Sort -4, y, k.
k, -4, y
Let t(j) = j + 5. Let q be t(0). Let l be 12/7 - -2 - (-30)/105. Let g be (-6)/l*((-21)/9 + 1). Put -2, q, g in descending order.
q, g, -2
Let p = 15001 - 74756/5. Let a = p + -51. Let x = 3.24 + -0.24. Put x, a, -1/3 in descending order.
x, -1/3, a
Let l = 126.5 + -127. Let t = 5 + -10. Put l, 0.3, t in descending order.
0.3, l, t
Let h(i) = -2*i**3 - 49*i**2 + 25*i + 5. Let r be h(-25). Let j be 3*((-32)/6)/(-4). Sort -5, r, 3, j in decreasing order.
r, j, 3, -5
Suppose 0 = 58160*p - 58111*p + 147. Let k = 5 + -3. Let o be (-1)/((-2)/3)*k. Put o, p, 6 in increasing order.
p, o, 6
Let c = -0.17 + 0.21. Let d = c + -0.07. Sort 1, -4, d in descending order.
1, d, -4
Let g = -0.017 + 2.317. Let o = g + -4.3. Let f = 14 - 9. Put -0.5, o, f in decreasing order.
f, -0.5, o
Suppose a - 6 = -5*s, -4*s = 4*a + 1 - 9. Suppose n + 2 + a = 0. Sort 1, 5, n.
n, 1, 5
Let r = 316 - 331. Let y be (-4)/6*(-18)/4. Sort r, y, -5, 4.
r, -5, y, 4
Let f(q) = -q + 1. Let u(d) = 3*d - 6. Let x(r) = 2*f(r) + u(r). Let y be x(0). Suppose -2*p - 3 = -11. Put y, p, -3 in ascending order.
y, -3, p
Suppose -3*m - 160 = -11*m. Suppose 2*t - j - 10 = j, -4*j = 4*t + m. Sort t, 4, -4, 3 in ascending order.
-4, t, 3, 4
Let b = 85.2 - 85. Sort b, -1/5, -1, 2/5 in descending order.
2/5, b, -1/5, -1
Suppose -5*g - 12 = 18. Let s be ((-2)/g)/(20/15). Suppose 0 = -17*w + 83*w - 330. Put 1, w, s in decreasing order.
w, 1, s
Let u = -345 + 341. Put -5, -2, -8, u in increasing order.
-8, -5, u, -2
Let w be (-8*33/55)/(6/(-20)). Put w, -1, -5, -4 in descending order.
w, -1, -4, -5
Let i(j) = 2*j - 6. Let r be i(-5). Let k be 1/((-2)/r + 0). Suppose 5*g = -3*h - 6, 4*h = -g + 4*g - k. Put -1, 2, g in decreasing order.
2, g, -1
Suppose -3*b = 3*u - 15, 2*b - 20 = -3*b - 4*u. Sort b, 6, 8, -1 in increasing order.
-1, b, 6, 8
Let d(h) = -2*h + 1. Let v be d(-1). Let t(g) = g**3 - 68*g**2 - 287*g - 73. Let j be t(72). Sort 7, v, j.
j, v, 7
Suppose 7 = 5*n + 2*d, -4*n + 33 - 9 = -3*d. Suppose 21*f - 22*f = n. Suppose 0 = 2*i - 3*i + 4. Sort -1, i, f in decreasing order.
i, -1, f
Suppose 7*b = 14*b + 28. Put -2, 0, b, -3 in decreasing order.
0, -2, -3, b
Suppose 4*s - 4 = -4*o, 4*o - 4 = -0*o. Let c = 45 - 42. Put c, s, -2, 5 in decreasing order.
5, c, s, -2
Suppose -150 = -24*x - 54. Let d be 3/3 - (0 - -2). Let w = -2 - d. Put 5, x, w in descending order.
5, x, w
Let r = 5.0476 + -0.0476. Put r, 1, -120 in ascending order.
-120, 1, r
Let h = -16 - -22. Let s(l) = -l**2 - 5*l - 7. Let q be s(-3). Let v be 2*(-2)/(h/q). Put 2/9, v, 0.4 in decreasing order.
v, 0.4, 2/9
Let l be 162/4*(-2)/(-3). Let m be l/18*(-20)/6. Sort 3, m, -1.
m, -1, 3
Let a = 2.9716 + -0.0716. Sort -1, 2, a in descending order.
a, 2, -1
Let r = 6 + 8. Let j be 7/(r/(-16)) + 3. Put j, -7, -3/2 in ascending order.
-7, j, -3/2
Let m = 23 + 43. Let j = 61 - m. Put -0.3, j, -2, -3/5 in ascending order.
j, -2, -3/5, -0.3
Let l(r) be the second derivative of r**4/12 - 5*r**3/3 + 2*r**2 + 4*r. Let b be l(10). Suppose -3*n - 21 = -5*p + 13, -5*n - 35 = -b*p. Sort 0, p, 2/13.
0, 2/13, p
Suppose 5 = 5*b - 4*b. Suppose 0*x + 37 = -3*x + 5*u, 0 = -b*x - 2*u - 10. Sort -2/11, x, -8, -2 in increasing order.
-8, x, -2, -2/11
Let i(v) = v**2 - 14*v + 62. Let s be i(9). Sort s, -2/9, 4.
-2/9, 4, s
Let g be -2 - (-3 + 1/1). Suppose -5*j - 5*l = g, -3*j = -5*l + l. Suppose j = t - d, 0 = -5*d - 11 + 36. Put t, -3, 2 in decreasing order.
t, 2, -3
Let t = 3 + -9. Let r(i) be the second derivative of -i**4/12 - 5*i**3/6 - 2*i**2 - 6*i. Let p be r(-5). Sort -3, t, p in descending order.
-3, p, t
Let k(c) = -7*c - 272. Let x be k(-39). Put -4, x, 5, 8 in descending order.
8, 5, x, -4
Let v be 2 + (1 + -1)/(-1) - 0. Put -12, -2, -1, v in increasing order.
-12, -2, -1, v
Let x = 668 - 663. Sort -5, x, -651 in ascending order.
-651, -5, x
Let h = -705 - -705.02. Put h, -0.17, -1/2 in decreasing order.
h, -0.17, -1/2
Suppose a + 2*y = 0, 4*a - 3*y + 13 = -a. Put a, 53, 3 in increasing order.
a, 3, 53
Let d(b) = 5*b**2 - 3*b**3 + 2*b**3 + 6 - b + 2*b**3. Let u be d(-5). Suppose 0 = -u*p + 8*p + 15. Sort p, -6/7, 0.03 in ascending order.
-6/7, 0.03, p
Let g = 23.59 - -1.41. Let m = g - 25.4. Put -8, 1, m in decreasing order.
1, m, -8
Let d = 0.1962 + -0.5962. Let p = -2 - 0.6. Let k = p - -3. Sort d, k, 1/3 in increasing order.
d, 1/3, k
Let x be (-220)/80 - 6/(-8). Sort 0, x, 25, 4 in descending order.
25, 4, 0, x
Let j = -0.2129 + 0.2129. Sort -2/57, j, 1/15.
-2/57, j, 1/15
Let x(f) = 18*f - 7*f**2 + 15*f**2 - 9 - 10*f**2 - 9. Let p be x(9). Sort 2, p, -1 in decreasing order.
2, -1, p
Let u(j) = 8*j**3 - j**2 + j + 1. Let b be u(-1). Let k be (-78)/b - (-2)/(-3). Suppose -5*p - 12 = k. Sort p, -5, 1.
-5, p, 1
Let d be (372/63)/(-2) + (2 - 2). Let y = 8/3 + d. Sort 3, -4, y, 0.3.
-4, y, 0.3, 3
Let m be 2/(-5 + (-14)/(-3)). Let h be ((-12)/m)/((-3)/(-6)). Suppose -3*g = 4*s + 22, -4*s + 18 = g - 9*s. Sort g, 1, h.
g, 1, h
Suppose b = -i - 6, 5*b = -4*i + 2*b - 21. Suppose l + 2*p = 41, -2*l + l + 3*p + 26 = 0. Let c = l + -349/10. Sort 0, c, i in increasing order.
i, 0, c
Let x = -27 + 31. Let c(z) = 4*z + z**2 - x + 10*z - 7*z. Let a be c(-7). Put 3, a, 1 in ascending order.
a, 1, 3
Suppose -10*l + 9*l - 2*f + 1 = 0, -17 = -5*l - 4*f. Let r be (2/(-5))/((-5)/(-50)). Put r, 2, l in increasing order.
r, 2, l
Let b = -0.3 + 0.2. Let a be (-2)/10 + 63/165. Let i = 2.7 - 3. Sort a, i, b in increasing order.
i, b, a
Suppose 7*j = -42 + 7. Let q(n) = n**2 + 5*n - 4. Let w be q(j). Let u be (15/(-9))/(1/3). Put u, -2, w in descending order.
-2, w, u
Suppose -42 + 78 = -9*u. Sort -5, 0, u, 2 in increasing order.
-5, u, 0, 2
Let a(t) = t**3 + 3*t**2 - 3*t + 6. Let m be a(-4). Suppose s = -v + 3, 4*v - 6 = 4*s - 2. Put -5, m, s in ascending order.
-5, s, m
Let x be (6/(-4))/(2/4). Let r = 6 + 4. Suppose -3*g + 4*u - 8 = 0, -4 = -4*g + 3*u - r. Put g, x, 5 in ascending order.
x, g, 5
Suppose 2*j = r + 6, -2*r + 1 + 27 = 4*j. Suppose -7 = x + 3*h + 4, 3*x + 5*h + 13 = 0. Let b be (-2)/x*(-6 - -16). Sort -4, r, b in descending order.
r, -4, b
Let v = -0.27 - -1.27. Put 0, 3, -1, v in descending order.
3, v, 0, -1
Let h = 0.38 - 3.38. Let i be 3 - 2 - (-91)/(-117). Sort h, -0.1, i in decreasing order.
i, -0.1, h
Let j = 706 + -758. Put j, -0.3, 5 in descending order.
5, -0.3, j
Let g = 5 + -3. Suppose 4 = -f - 0, -g*j + 4*f + 26 = 0. Let v be 2 - (7/2 + 0). Sort v, j, -0.2 in descending order.
j, -0.2, v
Let g be 1*((-1 - -1) + -5). Let p(z) be the first derivative of z**4/4 - z**3/3 - 2*z - 8. Let v be p(2). Put 0, g, v in increasing order.
g, 0, v
Let d = 3.47 + -3.47. Sort -3, 5, d, 0.4 in increasing order.
-3, d, 0.4, 5
Let l = 346511/1694200 + 4/8471. Let u = 2/25 - l. Let n = -1 - -4. Put n, -2, u in decreasing order.
n, u, -2
Let y be (-1)/2*(20 - -12).