12*o + 4*h - 681. Sort -5, -4, o in descending order.
-4, -5, o
Let c = 2320 - 2317. Sort c, -2/35, -5 in decreasing order.
c, -2/35, -5
Suppose 4*i - 4*l - 16 = 0, 0 = -4*i + 2*l - 4*l + 10. Let a = -7.77 + 7.6. Put 0, i, a in decreasing order.
i, 0, a
Let f = 38 + -37. Let t be (-39)/15 + f + 2. Put 0.1, -5, t in ascending order.
-5, 0.1, t
Suppose 36 = 36*s - 48*s. Sort -2, -13, s, -4 in descending order.
-2, s, -4, -13
Let x = -411 + 411. Let f(n) = 4*n - 12. Let a be f(8). Put a, x, -5 in increasing order.
-5, x, a
Let b be (2 + 3)*6/(-35). Let z = 5.24 - 4.74. Sort z, b, -2 in descending order.
z, b, -2
Let l = 18 - 23. Let h be 0 + -5*(-2)/30. Sort h, l, 2/7.
l, 2/7, h
Suppose 57 = g + 56. Sort g, -2/11, 0.1, -5/3.
-5/3, -2/11, 0.1, g
Let i = 0.362 - -0.638. Put -4.46, i, 0.5 in increasing order.
-4.46, 0.5, i
Let l = -22.2 - -22.7. Let g = 9 + -7. Put -4, g, l in descending order.
g, l, -4
Let x = 713 - 712.9. Let y = -568/5 + 114. Sort x, y, 4 in descending order.
4, y, x
Let m(n) = n**3 + 2*n**2 + n + 11. Let v be m(0). Put -0.3, -5, v, 7 in descending order.
v, 7, -0.3, -5
Suppose -12*v = -6*v + 510. Let q = -86 - v. Put -4, -1/3, 3, q in decreasing order.
3, -1/3, q, -4
Let h = 45 - 50.1. Let o = h + 1.1. Let q = 3 + -4. Sort o, q, 0.4 in decreasing order.
0.4, q, o
Let b be 490/63 - 0 - (-4)/18. Sort 1, -6, b in decreasing order.
b, 1, -6
Let r = 14 + -8. Let u(f) = -f**3 + 19*f**2 + 19*f + 23. Let q be u(20). Suppose 3*j + h - 3 = 0, 2*j + q = -3*j + h. Put -5, r, j in descending order.
r, j, -5
Let r = -31/51 - 1/17. Let k(n) = n**2 + 2*n + 2. Let y be k(-2). Sort r, y, -5/4.
-5/4, r, y
Let g be 24/14 + (-14)/(-49). Let r be -4 - (-17 - -1)/g. Let n(i) = -2*i + 8. Let f be n(6). Sort r, f, 0 in increasing order.
f, 0, r
Let i = 0.35 + -4.35. Let r = 3.4 + i. Put -1, 2/3, r, -3 in descending order.
2/3, r, -1, -3
Let j(w) = w + 18. Let s be j(-10). Let t be (-4)/(-6)*-10*3/s. Let o be ((-2)/(-8))/(2/4). Sort t, -0.4, o in increasing order.
t, -0.4, o
Let t(x) = -x**3 - 5*x**2 + 14*x + 2. Let k be t(-7). Suppose k*i + 3 = -z, i = -2*z - 0*z + 6. Put 1/6, i, -1/4 in ascending order.
i, -1/4, 1/6
Let l = 0.53 + 1.47. Sort l, 2/5, -5, -3/2 in increasing order.
-5, -3/2, 2/5, l
Let j = -17878 + 17883. Let u = 2 - -1. Put 4, u, 8, j in descending order.
8, j, 4, u
Let d be (-30)/4*(-6)/5. Let q be 12/(4 + (-39)/d). Let p = q - -254/7. Put 0.04, p, -0.5 in decreasing order.
p, 0.04, -0.5
Let y be (-5)/(-2) + (-5)/10. Suppose 4*l + 8 = y*l. Let b be (-8)/(0 - l/(-2)). Sort -2/11, b, -4 in ascending order.
-4, -2/11, b
Let k = -559/7 - -21724/273. Let j = k - 2/39. Let z(n) = 4*n - 27. Let r be z(8). Sort -0.2, j, r in descending order.
r, -0.2, j
Let b = -633.2 - -576. Let z = 58 + b. Suppose 3*h = x - 19, -3*h = -2*x + 5 + 18. Sort x, z, -0.4 in descending order.
x, z, -0.4
Let u(r) = r**3 + 5*r**2 + 27*r + 62. Let z be u(-3). Put z, -382, -4 in decreasing order.
z, -4, -382
Let c = -256 + 257. Let y = -1 + 0. Sort c, y, -2 in decreasing order.
c, y, -2
Let l(u) = 2*u - 12. Let d be l(-4). Sort d, -1, 0.
d, -1, 0
Let g(j) = -j**2 - 8*j - 7. Let c be g(-7). Suppose -4*d + 2 = 2*w, c = -2*d - d - 2*w. Suppose -d*o + 6 = -o. Sort 1, o, 3 in decreasing order.
o, 3, 1
Let p = 1097/5 + -220. Let a = -0.2 - -1.2. Let f be (-10 - -11)*(0 - 1). Put a, p, f in ascending order.
f, p, a
Let d be (-17 - 7) + 5/(1/1). Sort 1, -5, d in descending order.
1, -5, d
Let j(p) = -p**3 + 3*p**2 + 3*p. Let x be j(4). Let u = 44 - 36. Suppose 4*z = 2*z + u. Sort z, 0, x in decreasing order.
z, 0, x
Let l be (-3*(-1)/1)/((-54)/(-36)). Sort l, 0.1, -1/6, -0.06 in decreasing order.
l, 0.1, -0.06, -1/6
Let p = 37 + -30. Sort p, 4, -1/4 in decreasing order.
p, 4, -1/4
Let j = 41.98 - 42. Put 17, -2/15, j in descending order.
17, j, -2/15
Suppose 2*d = -7 + 13. Suppose -w - 4*z - 2 = -2*w, 5*z = w - d. Let l = -8 + 3. Put w, l, 5 in descending order.
5, w, l
Let j(y) = -4*y + 86. Let g be j(23). Sort g, 2, -3 in ascending order.
g, -3, 2
Suppose -4*c - 24 + 4 = 0. Suppose -82 = -9*l + 206. Let i = -31 + l. Sort -3, c, i in decreasing order.
i, -3, c
Suppose 2*a + 4*z + 6 = 0, 0 = a + 2*z - 6*z - 15. Suppose 0 = -a*o + 10*o + 14. Sort -6, -5, o in descending order.
o, -5, -6
Let y = 59 - 56. Suppose -2*z + 2*r + 8 = 2*z, 6 = y*z + r. Sort z, -13, -1.
-13, -1, z
Suppose 5*w - 12 = -2*b, -w = -0*b + 3*b + 8. Suppose 0 = 2*o - 3*o + 3*n + 7, -4*o + 3*n = 8. Sort o, b, 2 in ascending order.
o, b, 2
Let t be (-2)/(-8) - (-400)/(-832). Let q = -5/91 + t. Sort -0.4, q, 1, -2 in increasing order.
-2, -0.4, q, 1
Suppose 0 = -k - 5*n - 3, 2*n + 5 = -k + 2. Sort -91, k, 4 in decreasing order.
4, k, -91
Let j(f) = -25*f**3 + 50*f**3 - 19 - 17*f - 27*f**3 - 33*f**2. Let o be j(-16). Sort o, -1/5, 3 in ascending order.
o, -1/5, 3
Let s = 1268 + -1267. Sort -51, -5, s in decreasing order.
s, -5, -51
Let g = -1/6 + 1/2. Let b be (66 - -2)/2 - 1. Let l = -31 + b. Sort l, 0.1, g in increasing order.
0.1, g, l
Let w = 0 + 7. Let h(j) = -2*j + 15. Let y be h(w). Suppose -4*z = z. Put -5, y, z in descending order.
y, z, -5
Let f(r) = r**3 - 30 - 15*r + 12*r**2 + 20 - 19. Let k be f(-13). Put 1, 25, k, 2 in decreasing order.
25, 2, 1, k
Suppose -f - 5 + 1 = 0, 0 = 4*h - f - 16. Suppose 0 = 4*a - 0*a - h*z + 4, 5*a = 5*z - 10. Let l be (-2 - 1) + (-2 - -1). Put a, 3, l in descending order.
3, a, l
Let l = -151/3 + 51. Let j = 871 - 862. Sort -1, l, j, 0.5 in increasing order.
-1, 0.5, l, j
Let u be (-9*3)/(903/(-602)). Let r = -0.5 + 0.3. Sort 0, u, r in decreasing order.
u, 0, r
Let f = 0.129 - -10.871. Sort -4, 4, f.
-4, 4, f
Let b be -1 - 0 - -1 - (-71)/284. Sort -0.4, -2, b, -2/7 in descending order.
b, -2/7, -0.4, -2
Suppose 107 = -4*p + 5*b, 4*p + 9 + 105 = -2*b. Let j be (-25)/44 - 21/p. Put 0.2, 6, j in descending order.
6, 0.2, j
Let z be (7/(-21))/((-2)/(-186)). Let q = z - -26. Suppose -3 - 5 = 2*n. Sort -2, n, q.
q, n, -2
Let m(h) = h**2 + 4*h - 71. Let y be m(9). Put y, -5, -1 in increasing order.
-5, -1, y
Suppose -3*r = -4*a + 10 + 1, 3*r - 3 = -3*a. Sort 9, r, -5, 2.
-5, r, 2, 9
Let x(a) = -a + 10. Let p be 3 + 4 + 2 + -4. Let y be x(p). Put -3, y, 18 in ascending order.
-3, y, 18
Suppose 3*f + 47 = 53. Put -7, 5, f, -4 in ascending order.
-7, -4, f, 5
Suppose -2*z = 0, 5*a = 2*z - 4*z - 10. Suppose 32 = -731*j + 723*j. Sort 2, a, j, 1 in ascending order.
j, a, 1, 2
Let j be 0*(-1 - 1/(-2)) - -3. Put 5, j, 4, 23 in descending order.
23, 5, 4, j
Let b(x) = x**2 - 20. Let n be b(-5). Suppose -h = -n*h - 2*z - 18, 0 = 5*h + 3*z + 24. Put h, 5, -2 in descending order.
5, -2, h
Suppose 31 + 25 = -4*u. Let h = u + 17. Suppose 0 = -5*i - l + 15, i - h = -6*l + l. Put 2, 5, i in descending order.
5, i, 2
Let z(h) = -h**2 + 28*h - 120. Let w be z(5). Suppose 3*x = 5*k, k - x - 4*x = 22. Sort 2, -1, w, k in decreasing order.
2, -1, k, w
Let l = 11.24 - 0.24. Let h = 2/643 - 1300/4501. Let r = -38/27 - -2/27. Put h, r, l in decreasing order.
l, h, r
Let w(s) = -s**2 - 9*s - 16. Let q be w(-2). Sort -4, q, 60.
-4, q, 60
Let z(o) = 18*o + 161. Let u be z(-9). Sort 0.08, -3/7, u in descending order.
0.08, -3/7, u
Let m = -2213/45 - -247/5. Put -3/4, m, 0.06 in increasing order.
-3/4, 0.06, m
Let o = -623 + 638. Put -3, o, -6 in descending order.
o, -3, -6
Let z(c) = c**2 - 14*c + 28. Let b = -53 + 64. Let d be z(b). Put -2, 2, d, 3 in ascending order.
d, -2, 2, 3
Let z(t) = -3*t**3 + 9*t**2 - 5*t + 35. Let m be z(4). Put -10, m, -2 in increasing order.
m, -10, -2
Let m(u) = u**3 + 17*u**2 + 16*u - 12. Let t be m(-16). Let i = t - -12. Sort -4, 1, i in decreasing order.
1, i, -4
Let w = -1 - -6. Suppose -7 = w*t - 3*t + 3*f, 3*f = -t - 8. Sort t, 7, -3 in decreasing order.
7, t, -3
Let p = -1592 + 1589. Put -31, -5, p in increasing order.
-31, -5, p
Suppose 12 = -5*y + 9*y. Suppose 0 = 3*r + y*k + 3, 0 = -0*k + 2*k + 10. Sort -4/9, 0, r in decreasing order.
r, 0, -4/9
Let p = -1250 + 1255. Let u = 8 + -5. Sort u, -6, p, -4 in decreasing order.
p, u, -4, -6
Let s(r) = -r**3 + 6*r**2 - 5*r + 4. Let m be s(5). Let d = -523 + 525. Sort -2, -5, d, m in descending order.
m, d, -2, -5
Let q(f) = 2*f + 37. Let t be q(-20). Put -5, t, 8 in descending order.
8, t, -5
Suppose 2 = -4*d - w - w, 