ut -2, h, 4 in decreasing order.
4, h, -2
Suppose r = 16 - 12. Put r, -2, -5 in ascending order.
-5, -2, r
Let p be 2/((-12)/(-27)) - 2/4. Put -1, p, -4 in ascending order.
-4, -1, p
Let r(v) = 5*v - 14. Let d be r(3). Sort -3, d, 4, -5.
-5, -3, d, 4
Suppose -2*a + 3*p + 10 = 5*p, 3*a = -5*p + 21. Suppose h - 8 = -3*h - 2*y, -2*h + 6 = a*y. Put 0, h, -4 in descending order.
h, 0, -4
Let n = 8 - 6. Suppose -5*g + p = 22, -p - 18 = 4*g + g. Let c = -34 + 29. Sort n, g, c in descending order.
n, g, c
Let w = 7 - -1. Let s(z) = z**3 - 8*z**2 - 3. Let i be s(w). Sort 3, i, 5 in increasing order.
i, 3, 5
Let s = 17 + -9. Suppose 0*y - 5*y - 3*n + 18 = 0, 5*n = 3*y - 4. Sort s, 5, y in ascending order.
y, 5, s
Suppose -8 + 22 = 2*k. Let x(s) be the first derivative of s**3/3 - 7*s**2/2 + 3*s + 2. Let a be x(k). Sort -1, a, -4.
-4, -1, a
Let k = 8/5 + -146/85. Put 3, -0.035, k, -0.5 in increasing order.
-0.5, k, -0.035, 3
Let a = -35 + 23. Let o = -17 - a. Put -4, o, 3/7 in descending order.
3/7, -4, o
Let t = -64 - -68. Sort t, -5, -1/3 in descending order.
t, -1/3, -5
Suppose 11 = -3*b + 5. Let v be (0/2)/(b/(-2)). Sort -5, -2, v in decreasing order.
v, -2, -5
Suppose -3*y - 10 = -4*c, -4*c + c - 2*y = -16. Put -1, 7, c in ascending order.
-1, c, 7
Let r = -33 + 30. Put -5, r, 6 in descending order.
6, r, -5
Let h be (3 + -1)*1*1/5. Put 0, 3, h in descending order.
3, h, 0
Let j = 7 + -12. Let l = 4.7 + j. Let n(k) = k**2 + 10*k + 9. Let r be n(-9). Sort -4/5, r, l.
-4/5, l, r
Let t(f) = f**2 + 5*f + 3. Let r(z) = -2*z**3 + z. Let s be r(1). Let x be (-2)/1 + (-3 - s). Let v be t(x). Sort 3, -4, v in increasing order.
-4, v, 3
Let x = 48 - 58. Sort x, 2, -5.
x, -5, 2
Let x(b) = -b + 3. Let c(d) = -1. Let u(a) = -4*c(a) - 2*x(a). Let t be u(3). Put t, -2, -4 in ascending order.
-4, -2, t
Let c = 3/10 - 47/90. Sort 0, 3, c in descending order.
3, 0, c
Suppose -4*h = -3*m - 4 - 7, -5*h + 19 = -2*m. Let l(w) = -w**2 + 7*w + 4. Let u be l(7). Suppose 0*p + 4 = u*p. Put h, -4, p in descending order.
h, p, -4
Let i = -8 + 11. Let q = i + -7. Sort -1, 5, q in decreasing order.
5, -1, q
Suppose 3*i = -91 + 25. Let k = i - -50. Suppose -a = -2*h - 3*h + k, 3*a = 2*h - 19. Sort 3, h, 2.
2, 3, h
Let z = 0.64 - 0.6. Let o = z + 0.16. Let y = 1.1 + -5.1. Put y, o, -3/7 in ascending order.
y, -3/7, o
Let b = 38 + -43. Sort b, 1/10, -3, -3/4 in increasing order.
b, -3, -3/4, 1/10
Let i = 16 + -14. Suppose -3*o - 2 = -2*k, 3*o + 2 = -i*o + 4*k. Suppose -w - 3 + 5 = 0. Put o, 1, w in increasing order.
o, 1, w
Let r = 34.8 + -35. Put r, 1/8, 5 in ascending order.
r, 1/8, 5
Let n(b) = b - 11. Let y be n(13). Sort -3/8, y, -9 in descending order.
y, -3/8, -9
Let t = -38 + 20. Let c = 13 + t. Suppose -3*d = -5*d - 4. Sort -3, c, d.
c, -3, d
Suppose -c + 3 - 22 = -4*o, o + c - 11 = 0. Let i = 3 - -2. Suppose -o*d + i = -7*d. Sort d, -4, 3 in ascending order.
d, -4, 3
Suppose 3*i = 15, 5*r + 29 = 4*i - 1. Let s = 17/6 - 41/15. Put 0.3, r, s in increasing order.
r, s, 0.3
Let q(n) = n**2 + 5*n + 4. Let r be q(-4). Suppose -2*h + 3*h - 3 = r. Put 1, h, -1 in descending order.
h, 1, -1
Let u(m) = -m**2 + 13*m + 12. Let v be u(14). Let l(z) = 4 - 5 - z - 1. Let d be l(-4). Sort d, v, 4 in descending order.
4, d, v
Let y = -2 + 4. Suppose 2*p = y*i - p + 303, -3 = 3*p. Let l = -1375/9 - i. Sort l, -0.5, -2 in increasing order.
-2, -0.5, l
Let s be (-3)/1*(-2)/(-9). Let d = -7 + 10. Let t = -2 + d. Sort 4, s, t.
s, t, 4
Suppose 0 = 2*m + m + 24. Put -4, 1, m in descending order.
1, -4, m
Let u = 87 + -433/5. Put u, 6, 2 in increasing order.
u, 2, 6
Let t(l) = -l - 2. Let h be t(3). Let k = -0.03 + -0.37. Put -0.5, k, h in ascending order.
h, -0.5, k
Let r(o) = -o - 3. Let u be r(-4). Sort -2, -3, u in decreasing order.
u, -2, -3
Let h be 0/(-1) - (2 - 4). Suppose g + 3 = -h*a - 4, 0 = 3*a - g - 2. Sort a, 2, -5 in descending order.
2, a, -5
Let m = -1 + -2. Let i(q) = -q**3 - 3*q**2 + 2*q + 1. Let y be i(m). Let z = -9 - y. Put 5, 0.5, z in ascending order.
z, 0.5, 5
Let f = -45 + 50. Put -2/15, f, 0 in increasing order.
-2/15, 0, f
Suppose -u - 4 = -7. Sort -4, 1, u, 8.
-4, 1, u, 8
Let t = -1519 + 1515.886. Let y = t - -0.014. Let w = 0.1 + y. Sort w, 0.3, -4 in decreasing order.
0.3, w, -4
Let p(r) = -r**2 + 4. Let j = 9 + -9. Let x be p(j). Let y be 64/28 + x/(-14). Sort y, 4, 0.
0, y, 4
Let v(a) = -4*a - 1. Let x be v(1). Let c = 9 + x. Suppose -3*y + 3*j = 9, 2*j = 7 - 1. Put c, -4, y in descending order.
c, y, -4
Let f = -28 - -28.13. Let r = f - 0.03. Sort r, -0.1, 3 in decreasing order.
3, r, -0.1
Let x = 23 + -22.6. Sort x, -4, -5 in decreasing order.
x, -4, -5
Let m be (1/2)/(3/(-108)*-6). Sort 4/7, m, 5/2 in increasing order.
4/7, 5/2, m
Let s = 14 - 9. Let k = s - 5.3. Let h = 0.3 - 1.3. Put h, k, 5 in ascending order.
h, k, 5
Let p be 21 + (-1 - (0 + 0)). Suppose -2*v - p = -6*v. Sort -2, v, 2 in descending order.
v, 2, -2
Suppose 3*v = 4*v. Let x = v + 0. Suppose -q = x, -4*n + 5 = -4*q - 7. Put -1, n, 2 in descending order.
n, 2, -1
Let q(i) = 0*i**2 + i**2 - 2 - 2 - i. Let h be q(-3). Suppose -2*o + 2 = -h. Put -4, o, -3 in decreasing order.
o, -3, -4
Let o = 7.7 + -8. Suppose -3*q + 0*q + 5 = -x, 0 = -4*q - 4*x - 4. Let h be (-9)/7 + 1/q. Put h, -0.5, o in ascending order.
-0.5, o, h
Let k = 0.11 - -6.89. Let j = k - 10. Sort -5, 4, j in descending order.
4, j, -5
Let v = 1.1 - 0.1. Let z = v + -0.5. Let u = -0.2 - 0.3. Sort z, 1, u.
u, z, 1
Let l = 0 - -6. Suppose l + 0 = 3*o. Put o, 0, -4 in ascending order.
-4, 0, o
Let d = 0 + -1. Suppose -a - 4 = -2*a. Suppose 17 = n + 5*b, -7*b = a*n - 3*b - 20. Sort n, d, 4 in increasing order.
d, n, 4
Let t = -16 + 19. Sort 5, t, -2 in ascending order.
-2, t, 5
Let b = 21 + -24. Let x = -2 - -6. Sort b, x, 1.
b, 1, x
Suppose -3*a - 3*g = -15, 4*a - 4*g = g - 25. Sort 2, a, -19 in descending order.
2, a, -19
Suppose 5*o - 30 = -0*o. Sort 1, o, 2 in ascending order.
1, 2, o
Let t = -79/4 + 39/2. Put 1/3, t, -4, 0.18 in decreasing order.
1/3, 0.18, t, -4
Let v = -362198/55 - -32388/5. Let g = v + 108. Put -0.3, g, -3 in ascending order.
-3, -0.3, g
Suppose 0 = 3*y - 15. Suppose -10 = 5*h + y. Let z = -3 + 1. Sort z, -1, h in decreasing order.
-1, z, h
Let n(f) = 2*f**2 + 2*f - 2. Let k be n(-2). Suppose -k*j - 2 = -12. Put 4, -4, j in descending order.
j, 4, -4
Let x = -211/909 - -1/101. Let f = x + -4/63. Sort -0.4, 1, f in increasing order.
-0.4, f, 1
Let y(k) = k**2 - k - 2. Let n be y(3). Suppose -n*h = u - 8, -2 = 2*u - 2*h + 2. Sort u, -5, 2 in ascending order.
-5, u, 2
Let z be (1/4)/(3/((-96)/14)). Let m be 1 + 0 + -1 + 4. Sort z, -0.1, m.
z, -0.1, m
Let s = -0.21 - 0.69. Let h = s + -0.1. Sort h, 5, -0.5 in descending order.
5, -0.5, h
Suppose 4*a = -3*q + 19, 4*q - a - 87 = -30. Suppose -7*r + 72 = -3*r. Suppose -3*n - 3*m = -r, -4*m + q = -n - 6. Put 2, n, 0.1 in ascending order.
0.1, n, 2
Let v = 77 + -80. Put 3, v, 7, 1 in decreasing order.
7, 3, 1, v
Let f(b) = b - 6. Let m be f(3). Put 5, m, 3 in ascending order.
m, 3, 5
Let r(m) = -m**3 - 9*m**2 + 2*m + 13. Let n be r(-9). Sort n, 2, -3 in decreasing order.
2, -3, n
Let x = 41 + -39.3. Let z = 1.5 - x. Sort -0.1, 0.1, z.
z, -0.1, 0.1
Let i = 67341/46 - 1464. Let z = i - -119/414. Sort -1, -2, z in descending order.
z, -1, -2
Suppose -3*l + 67 = 10. Suppose l = -5*f + 94. Suppose 4*o = o + f. Sort 0.4, -5, o.
-5, 0.4, o
Suppose 0 = -4*g + 4*m + 16, 1 = 4*g + m - 5. Suppose -2*c - 3*c + 15 = 0. Suppose 4*b + 5*l = l + 8, 0 = 3*b - 2*l + 19. Sort b, g, c.
b, g, c
Let c(x) = 3*x**2 - 8*x + 1. Let b be c(3). Sort 2, -2, b in decreasing order.
b, 2, -2
Let u(f) = -3*f**2 + 3*f**2 + f**2 - 1 - f. Let a be u(2). Let h be 18/(-40)*8/(-3). Put 2, h, a in decreasing order.
2, h, a
Let u = 2.32 - 2.1. Sort -0.3, 4, u.
-0.3, u, 4
Let v = 64 - 67. Sort 0, 5, 4, v in decreasing order.
5, 4, 0, v
Let f(s) = 13*s - 107. Let i be f(8). Put i, 5, -2, -4 in descending order.
5, -2, i, -4
Let p = 75 + -153/2. Put p, 2/17, -0.4 in ascending order.
p, -0.4, 2/17
Let j = 78.98 + -76. Let d = 9 - 9.02. Let z = j - d. Put 2/17, -1, z in decreasing order.
z, 2/17, -1
Let c be 4/(-2) + -1 + 6. Let p = 104 - 99. Sort c, -4, p.
-4, c, p
Let j be 5/((-12)/3 + 3). Sort j, 5, 4 in incr