 ascending order.
-5, -1, 2, y
Suppose -4*o - 145 + 56 = -3*x, -21 = -x - 3*o. Let q = 36 - x. Suppose 1 = 2*h - q. Put -2, h, -3 in descending order.
h, -2, -3
Let b be (-4)/6 - (-8)/18. Let u = 16113/5 + -3223. Sort u, -1/4, b, 2/3.
u, -1/4, b, 2/3
Let h(d) = 3*d**3 - 12*d**2 + 5*d - 16. Let k be h(4). Suppose 3*c + c = 12. Put -5, k, c in decreasing order.
k, c, -5
Suppose -5*s - 14 = -4*q - 0, 0 = s + 5*q - 3. Let p = -69 + 57. Let z be ((-51)/(-18) - 2/p)/(-1). Put 5, z, s in decreasing order.
5, s, z
Suppose -3 = -d, -2*d + 12 = -3*n - 6. Sort -401, 0, n in descending order.
0, n, -401
Let w = 8.76 - 8.7. Put w, -1, 2, -2 in ascending order.
-2, -1, w, 2
Let k = -8 + -49. Let j = -56.5 - k. Sort -2, -4, j.
-4, -2, j
Let t = 39.96 - 40. Sort -4, -3/5, t, -1/26.
-4, -3/5, t, -1/26
Let z(p) = -p**2 - 17*p + 168. Let k be z(-24). Let v = -8.3 - -8. Put v, k, -0.5, -8 in decreasing order.
k, v, -0.5, -8
Let v(a) = 2*a**2 - 2*a - 9. Let r be v(10). Suppose -2*n - r + 173 = 0. Put n, 4, 3 in descending order.
4, 3, n
Suppose 6 = 3*n - 9. Suppose 4*g - 25 = 5*k, 2*g = -2*k - 5 - n. Let b be (2/6)/(3/18). Put 4, b, k in ascending order.
k, b, 4
Let z = -111/5 - -22. Let i = -26 + 26. Let a be 2/(-8)*i + -4. Put z, 2, a in increasing order.
a, z, 2
Let x = 0.002 - 0.01. Sort 0.1, x, -0.1.
-0.1, x, 0.1
Let k(p) = -13*p**2 + 128*p + 19. Let j be k(10). Sort j, 1, -15 in increasing order.
-15, j, 1
Let d = 26 + -21. Suppose -5*s + 24 = -f - 3*f, -4*s + d*f + 21 = 0. Suppose 0 = s*h - 5*h + 5. Put -5, 9, h in descending order.
9, h, -5
Let v(w) = w**3 - 12*w**2 - 12*w - 10. Let t be v(13). Suppose -2*b + 9 = -4*b + u, 4*b - t*u = -19. Sort -2, b, -6 in decreasing order.
-2, b, -6
Let c(y) = y**3 + 8*y**2 + 6. Let n be c(-8). Suppose 12 = -g - 3*g. Let o = -26 + 25. Sort g, n, o in descending order.
n, o, g
Let p = 713 + -700. Sort -3/2, 0.7, -1, p in increasing order.
-3/2, -1, 0.7, p
Let i = 76 + -101. Let n be -3 + -10*i/90. Let z = -8 - -4. Sort z, n, 3 in descending order.
3, n, z
Let l = 4 + -1. Sort -2/3, -0.4, -53, l.
-53, -2/3, -0.4, l
Let f be (-8)/12 - (-44)/12. Suppose 0 = 4*i - i. Suppose i = 2*d - 8. Sort d, 8, f in ascending order.
f, d, 8
Suppose -19*a = -1 + 20. Suppose m + 2*o + 8 = 0, 4*m + 0*o = 5*o + 20. Put m, -10, a in decreasing order.
m, a, -10
Let a(y) = -13*y + 540. Let f be a(42). Put 3, f, 2, 50 in increasing order.
f, 2, 3, 50
Suppose 288 = 52*a + 28. Put 7, a, -2 in ascending order.
-2, a, 7
Let x = -1725.1 - -1725. Put -2, x, 1/3, -0.07 in descending order.
1/3, -0.07, x, -2
Let m = -0.1 - 0.1. Let b(f) = -5*f + 89. Let w(q) = -2*q + 44. Let a(h) = -6*b(h) + 13*w(h). Let y be a(-8). Put y, m, -1/3 in decreasing order.
y, m, -1/3
Let f(b) = -25*b + 65. Let v be f(3). Put -1, -5, -4, v in descending order.
-1, -4, -5, v
Suppose y = 3*a - 2, 0 = -2*a - 5*y - 0*y - 10. Sort -1, a, 0.5, -2.4.
-2.4, -1, a, 0.5
Suppose -3*c + 3 + 3 = 0. Suppose -180 = 8*u + 7*u. Put u, c, 5, -3 in descending order.
5, c, -3, u
Let n = 41 + -33. Suppose -4*v + 4*o = -n, -3*v + 3*o = 2*o - 10. Sort -3, -15, v in decreasing order.
v, -3, -15
Suppose x + 5 = 2*x. Let u = -13 + x. Let w = 6 + u. Sort w, -5, -1 in ascending order.
-5, w, -1
Let y be 25 - (-4 - (-1 - 3)). Let x = y + -28. Put -5, 2, x in increasing order.
-5, x, 2
Let i = -18.54 - 0.46. Let x = i - -17. Let c = -5 + 5.1. Put c, -1/2, x in decreasing order.
c, -1/2, x
Let j = 10/51 + 8/17. Let k = -133/172 + 1/43. Put k, j, -1/8 in ascending order.
k, -1/8, j
Let h = 0.3 - -0.1. Let s = -40.12 - 0.88. Let r = s + 35. Sort r, -1/3, h in decreasing order.
h, -1/3, r
Let u = 3 + -2. Let j(w) = -2*w**2 + 12*w**2 - 5*w**2 - 4*w**2 - 36 + 14*w. Let s be j(-16). Put u, 2, s in decreasing order.
2, u, s
Let t = -19 + 18.9. Let a = 2.96 - 7.96. Let m be (-2)/72 + 1/4. Put m, t, a in decreasing order.
m, t, a
Let b be 4 + 1 + (-1 + -2 - 6). Let a = -0.6 - -4.6. Sort a, b, -2/3 in increasing order.
b, -2/3, a
Let v(a) = 0 + 5 + 0 - 2*a + 3*a. Let o be v(6). Suppose -5 = 4*z + o. Sort 1, 2, z in increasing order.
z, 1, 2
Suppose 5*s - 6 = 3*s. Suppose 0*v + v = -3*r - 1, 0 = s*v + 5*r - 1. Sort v, -3, -5 in decreasing order.
v, -3, -5
Suppose -4*q = 5*q. Let h = -22 + 17. Put q, h, -4 in descending order.
q, -4, h
Suppose -4 = z - 6. Let v be ((-60)/18)/(z/3). Let a = 1 - 1. Sort -12, v, a.
-12, v, a
Let l = 53 + -33. Suppose -89*x + 94*x = -l. Suppose -2*j = -10 - 0. Put 2, j, x in ascending order.
x, 2, j
Let y be (-30)/(-4) - 3/6. Suppose 5 = y*j - 2*j. Let g(d) = d**2 - 3*d - 1. Let h be g(4). Sort j, 2, h.
j, 2, h
Let a(v) = 142*v - 854. Let b be a(6). Sort b, 36, -6 in decreasing order.
36, b, -6
Let r = 317 + -317.389. Let w = r + -0.011. Suppose 0 = -d - 0*d + 4. Sort -0.1, d, w in ascending order.
w, -0.1, d
Suppose 4*w = 2*j + 16, -4*j + 2*w - 2 = -0*j. Suppose 2*q + 8 = 4*v + 5*q, -v + 3*q - 13 = 0. Put j, 4, v in ascending order.
v, j, 4
Suppose -7*s = -2*s + 45. Let y be (-3 + s)*1/3. Let m = 1 + -2. Sort y, 1, m in increasing order.
y, m, 1
Let q(f) = 3*f - 9. Let l be q(6). Suppose 0 = -7*t + 4*t - l. Sort t, 2, -1 in descending order.
2, -1, t
Let c be (-2 - (-33)/6)*40/5. Suppose -f - 11 = -4*f + d, -4*f + 4*d = -c. Let u(k) = k + 3. Let a be u(-2). Sort a, f, 4 in ascending order.
a, f, 4
Let f be (-94)/18 - 8/(-36). Let w be 2*-4*(-4)/32. Suppose 0 = -c + 4*x + 5, -3*x + w = c + 3. Sort f, c, 6 in decreasing order.
6, c, f
Suppose 3*o + 10 = 4*k, -5*k = -2*o - 6*k - 3. Sort -1, o, 4, 8 in increasing order.
o, -1, 4, 8
Suppose -3 = 4*k - 11. Suppose -10 = -4*g + k. Suppose -g*a - 9 = 6. Sort 3, -0.1, a in increasing order.
a, -0.1, 3
Let y(f) = -f**3 + 9*f**2 + 50*f + 34. Let l be y(13). Put 4, l, 2, -2 in increasing order.
-2, 2, 4, l
Let c = 9.089 + -0.089. Put -1, -6, c in descending order.
c, -1, -6
Let i = -0.52 + -4.98. Let k = i + 0.5. Sort -0.1, k, 4 in descending order.
4, -0.1, k
Let q = 0.35 - 0.25. Let p = q - -3.9. Sort 2/5, 0.05, p.
0.05, 2/5, p
Let d = 60 + -59.9. Let q = 4.7 - 2.7. Sort d, q, -1/2 in increasing order.
-1/2, d, q
Let z(u) = -4*u - 46. Let o be z(0). Let f = -46 - o. Let d be 3/1 - (0 - 0). Sort f, 4, d.
f, d, 4
Let r = 468 + -512. Sort r, -5, 2 in decreasing order.
2, -5, r
Let m = 125 + -120. Suppose -3*z - 2*z - 10 = 0. Sort -6, z, m.
-6, z, m
Suppose 2*i + 6*o + 35 - 5 = 0, -5*i + 5 = -5*o. Put i, 1, -8, -11 in ascending order.
-11, -8, i, 1
Suppose -34 + 4 = 2*m. Sort m, -2, -4 in decreasing order.
-2, -4, m
Let s = -12 - -15. Suppose 5*f = -4*d + 4*f + 19, 6 = s*d - 2*f. Put 0, d, -8 in decreasing order.
d, 0, -8
Let w(j) = j**3 - 10*j**2 + 13*j + 54. Let i be w(7). Sort 8, 33, i.
i, 8, 33
Let b be 1491/2660 + (-3)/5. Let r = -7/57 - b. Sort -6, -0.3, r in decreasing order.
r, -0.3, -6
Let g = 11 + -7. Let o(d) = 2*d - 14. Let i be o(15). Suppose 3*r + 2 = -i. Sort 2, r, g.
r, 2, g
Suppose -b + 3*b = -4. Let l = 2836 - 2835. Put l, b, 3 in descending order.
3, l, b
Let l = 4 + -6. Let c be (-2 + (-15)/(-8))*26/13. Put 1, c, l, 4 in decreasing order.
4, 1, c, l
Suppose 5*o - 4*d = 8*o + 66, 57 = -4*o + 5*d. Sort -9, 0, 1, o.
o, -9, 0, 1
Let a = -598 + 603. Put -3, a, 3/19 in decreasing order.
a, 3/19, -3
Let f = 30 - 28.8. Let k = f - 1.4. Put -0.23, 0, k in descending order.
0, k, -0.23
Suppose 5*q - 29 = 11. Let y be 42/q + (3 - 7). Sort 1, y, -1/5.
-1/5, 1, y
Let v be 206/(-8) + 2/(-8). Suppose -6*r + 20*r = -280. Let c = r - v. Sort -1, c, 3.
-1, 3, c
Suppose -8*z = -20*z + 24. Sort 229, -4, z.
-4, z, 229
Suppose -8*l + 3*l = 25. Put -2, -4, l, -3 in decreasing order.
-2, -3, -4, l
Let c = -30.7 - -26.7. Sort -0.1, c, -3/4 in increasing order.
c, -3/4, -0.1
Let y = 0.286 + -0.386. Sort -3, 25, y in decreasing order.
25, y, -3
Suppose 80*k - 57*k = -6348. Put 5, k, 0 in ascending order.
k, 0, 5
Let j = -992/11775 - -2/471. Sort j, 0, 0.3.
j, 0, 0.3
Let j be (0 - 1)/(3/15). Let n = 13 - 7. Let i be n/2 - (2 + -2). Sort j, 0, i in decreasing order.
i, 0, j
Suppose -6 = 4*p - 22. Suppose 4*i - 216 = -228. Sort -5, i, p in decreasing order.
p, i, -5
Let i = -28 + 26. Sort 4, i, -64 in descending order.
4, i, -64
Let w = -1.9127 + -0.0873. Sort 2, 1/10, w, 5 in increasing order.
w, 1/10, 2, 5
Suppose k + 2*k = -3, -2*k + 6 = 4*o. Suppose 0 =