order.
p, -1, 2
Let o = -207/5 + 10961/265. Sort 1/3, o, -5, -2 in decreasing order.
1/3, o, -2, -5
Let q = -23.69 - 0.31. Sort q, 1/3, -2/3 in decreasing order.
1/3, -2/3, q
Let y(u) = u + 11. Suppose -m - 4 - 2 = 0. Let n be y(m). Suppose -28 = -5*d - 13. Put 0, n, d in decreasing order.
n, d, 0
Let o be (-14)/(-4) - 138/92. Let n(a) = -2*a + 3. Let q be n(4). Sort q, 0, o in ascending order.
q, 0, o
Let n be 3/(-1) + 2 + 35 + 0. Let d = n + -26. Put d, -4, 5 in descending order.
d, 5, -4
Let t be 2 - (-3 - -6) - 0/1. Sort t, -5, -4 in descending order.
t, -4, -5
Suppose 2*d = -n + 2*n + 9, 4*n + 16 = -2*d. Let i be (-9)/d - (-2)/(-4). Suppose -4 = -3*w + 4*w. Put w, i, -1 in descending order.
-1, w, i
Let w = -14 - -12. Let n = 37 - 41. Sort -16, w, n in ascending order.
-16, n, w
Let k = -15 - -5. Let q = k + 12. Suppose -4*r - 7 - 11 = 2*c, 0 = -q*c - 10. Sort -3, r, 1 in descending order.
1, r, -3
Let k = 12 + -2. Suppose 2*f + 0*f = -k. Suppose 2 = 5*d - 2*j, -9 + 4 = 5*d + 5*j. Put f, 1, d in decreasing order.
1, d, f
Let r be (-30)/(-7) - 6/21. Let c(z) = -3*z + 6. Let a be c(5). Put -2, a, r in ascending order.
a, -2, r
Let f(x) = -83*x - 161. Let j be f(-2). Put 4, j, -2, 0 in decreasing order.
j, 4, 0, -2
Let l = -2828 + 2824. Suppose -3*d = 3*y - 3, y + 4 + 1 = 0. Suppose -4*h = -2*h + d. Sort h, l, 2 in descending order.
2, h, l
Let x be 1 - ((-14)/6 - 0). Let m = 0.131 - 0.431. Sort 3, x, -0.2, m in ascending order.
m, -0.2, 3, x
Let k be ((-5)/(-2))/((-22)/(-396)). Let t = k - 185/4. Let s = -12 + 11. Sort s, -0.5, t in increasing order.
t, s, -0.5
Let l(t) = -9*t**2 + 2*t - 329. Let o be l(0). Sort o, -1, -2 in decreasing order.
-1, -2, o
Let q = -11 - -8. Let u = q + 6. Let a(m) = m - 1. Let d be a(-2). Sort 4, d, u in decreasing order.
4, u, d
Let c = -476 + 475. Put c, 5, 0, -0.1 in descending order.
5, 0, -0.1, c
Let v = 12.035 + -0.135. Let d = -12 + v. Let q = -1/10 + -17/30. Put q, 0.3, d in ascending order.
q, d, 0.3
Let a(x) = x**3 + 5*x**2 + 25*x + 82. Let s be a(-4). Sort 3, s, 21, -3.
-3, s, 3, 21
Let g = -20 - -26. Let a be (-2)/g*3*0. Suppose -2*v - n = -2*n - 9, -3*v + 18 = 3*n. Sort 4, a, v in increasing order.
a, 4, v
Let y = 539 - 404. Sort 0, y, 1 in ascending order.
0, 1, y
Suppose 2*x + 19 = 3*f, -4*f = -2*x - 18 - 4. Suppose 0 = -w + b + 1, -w = -2*b - b - 5. Sort f, 1, w in ascending order.
w, 1, f
Let u be 140/(-385)*1/2. Let q(h) = 2*h + 6. Let p be q(-5). Sort -7, p, u, -2 in descending order.
u, -2, p, -7
Let k = -659 - -795. Sort -4, k, 0 in increasing order.
-4, 0, k
Let i = -8 - -3. Let f(q) be the second derivative of q**3/3 - 2*q**2 + 14*q. Let r be f(0). Put i, r, 6 in descending order.
6, r, i
Let y be 55/75 + 4/(-60). Put 2, y, -7, -0.1 in descending order.
2, y, -0.1, -7
Let p(t) = t**3 - 2*t**2 + 10*t - 39. Let u be p(3). Sort -5, 5, u, 12 in decreasing order.
12, 5, u, -5
Let t = -1/207 + 47/207. Let a be 5 + 9/(-36)*164/7. Put 2, a, t in descending order.
2, t, a
Let k(q) = q**3 + 22*q**2 - 22*q + 28. Let p be k(-23). Put 1, 2, -276, p in decreasing order.
p, 2, 1, -276
Suppose 3*a - 5*a + 8 = 0. Suppose 0 = 5*t + 25, -8*f - 3*t - 21 = -5*f. Put f, a, -3, 1 in increasing order.
-3, f, 1, a
Let x be 52/(-91) + 48/(-14). Put x, -5, 0 in decreasing order.
0, x, -5
Suppose 3*y - 4 = 2*w - 5, w - 4*y - 3 = 0. Suppose 0 = 19*t - 24 - 14. Suppose 2*f - 6 + 0 = 0. Put w, f, t in descending order.
f, t, w
Let b be (0 - 2/(-6))*(7 + 5). Suppose -g + 3*g = -b*m + 2, -24 = 3*g - 3*m. Let q be (-1 - 4)*8/20. Put -8, g, q in descending order.
q, g, -8
Suppose 3*y = 6 - 18. Sort 3, 2, 4, y in increasing order.
y, 2, 3, 4
Let g = -2353 + 2360. Put 3, -2/5, g, -0.2 in descending order.
g, 3, -0.2, -2/5
Let l = 0 - 5. Let i be ((-30)/(-315) - (-4)/7)*-6. Put i, l, 8 in ascending order.
l, i, 8
Let d(j) = 3*j**2. Let b be d(-1). Let h = -444 - -446. Put b, h, -5, -2 in descending order.
b, h, -2, -5
Let d = 0.34 + -4.64. Let x = -0.7 + d. Sort 0, x, -3 in ascending order.
x, -3, 0
Let o = 21.6 + -7.7. Let g = o + -14. Sort -4, -2, 5, g.
-4, -2, g, 5
Let k(d) = 18*d**2 + 287*d - 17. Let v be k(-16). Put -2, 3, v, 4 in increasing order.
-2, v, 3, 4
Suppose 1550 = 132*l - 159*l - 283*l. Let h = 168/11 + -457/22. Put -0.3, l, h in decreasing order.
-0.3, l, h
Let a(y) = -y**3 + 3*y**2 + 20*y - 23. Let b be a(6). Sort -4, b, 4 in decreasing order.
4, -4, b
Let s = -5.1 - -0.1. Let u(h) = -h**2 + 9*h - 16. Let r be u(5). Sort s, r, 3/5 in ascending order.
s, 3/5, r
Let m = 63 - 61. Suppose 2*s + 103 = -39. Let k = 353/5 + s. Put 3/7, k, m in increasing order.
k, 3/7, m
Let x be 3 + (4120/345)/(-4). Put 0.3, -4, 2/17, x in increasing order.
-4, x, 2/17, 0.3
Let l = 579 - 578.8. Sort -2, 2, l, -0.1 in decreasing order.
2, l, -0.1, -2
Let m = -0.0451 + 1.0451. Sort m, -1/5, -0.05, 2 in decreasing order.
2, m, -0.05, -1/5
Let m(z) = 2*z**2 - 39*z + 84. Let v be m(17). Suppose -46 - 4 = -5*f. Let t = 16 - f. Sort v, -2, t.
-2, v, t
Suppose -z = -4*h - 2, -2*h - 3 = 4*z - 11. Suppose 4*u + 14 = m - z*m, m = 2*u - 2. Let l = 130 + -132. Put m, l, 1 in increasing order.
m, l, 1
Let i = -1.896 - 0.204. Let b = 4 + -7. Sort -4, b, i in decreasing order.
i, b, -4
Let a = -1 + 0.9. Let t = -5.5 - -3.9. Let g = t + 1.6. Sort 2/15, a, g in decreasing order.
2/15, g, a
Let r be 54/(-297) - ((-26)/22 + 1). Sort r, -2/5, 3, 2/15 in decreasing order.
3, 2/15, r, -2/5
Let y = -22 - -29. Suppose 3*c = y*d - 2*d + 2, 3*d = 2*c. Put c, 0, -2 in descending order.
0, -2, c
Suppose 3*x + 4 = -3*s + 16, 3*x - 16 = s. Let r = 6 - 4. Let g be (-11)/((-308)/160) + 4/14. Sort g, r, s in descending order.
g, r, s
Let q = -346 - -349. Put -4, 4, q, -65 in increasing order.
-65, -4, q, 4
Suppose -4*k = 3*g - 15, 4*k - 3*g - 9 = -0*g. Let n be -1 + 6/k*-1. Sort 8, 5, n in decreasing order.
8, 5, n
Suppose 0 = 3*o - 869 + 884. Let n(v) = v - 6. Let d be n(5). Put d, -6, o in descending order.
d, o, -6
Let f be 7/((-455)/(-120)) - (-2)/13. Suppose -5 = -f*h - 3. Let q = 1.5 - 1. Put 0, q, h in descending order.
h, q, 0
Suppose -2 = 4*j - 22. Suppose 11*a + j*a = 5*a. Put -21, a, -5 in increasing order.
-21, -5, a
Suppose -i + 1 + 3 = 0. Suppose 3*f = 10 - i. Suppose -7 = x + f*w, -3*x + 3*w + 3 = -2*x. Sort -4, x, -2.
-4, x, -2
Let c(q) = q**2 + 5*q + 3. Let d be c(-5). Let k be (-3)/d*(-6)/2. Put k, -1/2, 2/9, -0.4 in descending order.
k, 2/9, -0.4, -1/2
Let a be (-5)/(-4)*-2*(-156)/26. Suppose -m + 2 = -0. Sort a, m, 4 in descending order.
a, 4, m
Let a(u) = u + 9. Let x be a(3). Put 6/11, x, -5, -2/9 in increasing order.
-5, -2/9, 6/11, x
Let b(k) = 2*k**2. Let w be b(-1). Let m(n) = 3*n**2 - 41*n - 2. Let a be m(14). Let x be (-6)/a - (-4)/(-8). Put w, -2, x in descending order.
w, x, -2
Suppose -4*p + 47 - 19 = 0. Suppose -5*q - 3 = p. Let n(u) = u**2 - 3*u - 3. Let z be n(3). Sort q, 2, z in ascending order.
z, q, 2
Let c = -0.8 + 1. Let k(w) = 2*w**2. Let r be k(1). Let a = -1 - -0.9. Put c, a, r in descending order.
r, c, a
Let d = 7 - 3. Suppose 0 = 4*u - 5*y - 5, -3*u = -0*u + 3*y + 3. Suppose u = 4*m - d*i + 16, 0 = 2*m - 0*m - 5*i + 5. Sort m, 5, -3 in descending order.
5, -3, m
Let d be -1 - (-4 + -2 + 1). Let g be (-2)/((12/(-75))/(6/(-15))). Put g, 5, d in descending order.
5, d, g
Let j(h) = -3*h + 8. Let p be j(-16). Suppose p = -2*g - 64. Let b be 3/g - 3/(-12). Sort b, -1, 1.
-1, b, 1
Let u = -38.3 + 1.3. Let s = 34 + u. Sort s, 2, 3/7 in increasing order.
s, 3/7, 2
Let n(d) = -2*d + 10. Suppose 2*u = -3*u + 25. Let g be n(u). Suppose 3*a - 12 = -g*a. Sort -5, 1, a in decreasing order.
a, 1, -5
Let d = -453 + 454. Put -6, d, 0.3 in ascending order.
-6, 0.3, d
Let o = -10 + 11. Let c = -3 - o. Let h be (1/3)/((-2)/18). Put h, 0.4, c in ascending order.
c, h, 0.4
Let g(k) = 14 - 8 - 4 - k. Let h be g(1). Suppose -3*q + 4*o = -20, q - 3*o + 2 = 3*q. Sort h, q, 3 in descending order.
q, 3, h
Let b = -2.06 - -0.06. Let a = 311 + -316. Sort 7, b, a in decreasing order.
7, b, a
Let c = 7 - 5. Suppose 5*f + 34 = 3*q, -2*q + 4*f = c*q - 32. Suppose -q*w = -16 + 7. Put -5, w, -0.1 in descending order.
w, -0.1, -5
Let p = -3/14864 - 14685617/74320. Let k = p - -197. Let b = -363 + 362. Put k, b, -5 in ascending order.
-5, b, k
Let i = 