. Sort h, c, -13 in ascending order.
-13, h, c
Let b = 4 - 0. Suppose 4 + 4 = -b*i. Put 5, 2, i in increasing order.
i, 2, 5
Let z = 9/65 + -7/13. Put -0.2, -5, z in ascending order.
-5, z, -0.2
Suppose -4*j - 21 + 5 = 0. Put j, 1/5, 10 in ascending order.
j, 1/5, 10
Let b = -42.6 + 43. Sort b, 3, 5, -0.2 in decreasing order.
5, 3, b, -0.2
Let y = 1 + -3. Suppose -5*r + b + 17 = -3*b, 3*r = -4*b - 9. Let i be (2/2 - r)/(-1). Sort y, i, -4 in ascending order.
-4, y, i
Let q = 4 + -2. Suppose -5*s + 3 = q*o - 27, 5*s - 4*o = 0. Let z(r) = -r**2 + 9*r + 1. Let n be z(9). Sort n, -1, s.
-1, n, s
Let m = -7 + 6.7. Suppose d + 3 - 2 = 0. Let g = d - -1. Sort m, g, 5.
m, g, 5
Let c be 1416/(-32) + 2/8. Put -5, c, 0 in increasing order.
c, -5, 0
Let m = -20 + 18. Suppose -2 - 4 = -2*t. Put -3, m, t in decreasing order.
t, m, -3
Let w(z) = z**2 - 5*z + 1. Let o be w(2). Sort -1, o, -2.
o, -2, -1
Let z = -0.1 - -0.6. Sort 1/3, 0, z in descending order.
z, 1/3, 0
Suppose 3*u - 6*u = -9. Suppose -4*c + 9*c - 15 = 5*z, -4*c = u*z - 12. Suppose -2 = t, w + 3*t - 4*t = z. Put 1, w, -4 in ascending order.
-4, w, 1
Let d = -1.3 + 4.3. Put d, 0.2, 0.3 in increasing order.
0.2, 0.3, d
Let u(v) = 2*v**2 - 2. Let a be u(2). Let p(z) = -z + 15. Let q be p(10). Put a, 3, q in descending order.
a, q, 3
Suppose -t - 5 = -2*d, -13 = -4*d + d - 4*t. Suppose 0 = p - 2 - 3. Put -4, p, d in ascending order.
-4, d, p
Suppose 4 = 2*x + 5*y, 5*x + 3*y = 1 + 9. Let n be ((-2)/(-4))/((-2)/(-12)). Suppose 2*f + 6 = -3*a, -n*f = 6 + 3. Sort 1, x, a.
a, 1, x
Let u(o) = -o**2 + 6*o - 3. Let n be u(5). Let b(w) = -w + 4. Let t be b(n). Sort t, -1, 4 in descending order.
4, t, -1
Suppose 0 = -v - 0*v, -3*v = 3*p - 15. Let a(t) = -t + 5. Let r be a(5). Suppose -4*i + 2*m - 10 = r, -3*i + 0*m = 3*m + 3. Sort 1, p, i.
i, 1, p
Suppose 3*q = -3*k, 3*k + 2*q - 28 = 6*q. Put 1, k, -3, 39 in decreasing order.
39, k, 1, -3
Let f = -5.6 - -0.6. Let s = 0.13 + -0.63. Let i = s + 0.1. Sort i, f, -3/7 in descending order.
i, -3/7, f
Let h = -0.131 - 0.669. Sort h, 3, 3/7, -0.5.
h, -0.5, 3/7, 3
Let c(r) = 3*r - 4. Let w be c(2). Suppose -w = -q - 1. Let j = 4 + -2. Sort q, -1, j in decreasing order.
j, q, -1
Let m = 118 + -116. Let z be (-15)/10*(-4)/6. Put m, z, -5 in increasing order.
-5, z, m
Suppose 3*x + 21 = -3*m, m + 3*x + 0*x = -15. Let n = 4 + m. Let c be -2 - ((-4)/(-1) + -2). Sort n, -2, c.
c, -2, n
Suppose r - 3*r + 2*a - 44 = 0, 3*a = -2*r - 19. Let t = r - -17. Let z be 3/(-2) + (-3)/6. Sort z, t, -4 in descending order.
t, z, -4
Let y be 0 - (-2)/(-5) - (-1)/1. Sort -2/3, y, -1/2, 0 in decreasing order.
y, 0, -1/2, -2/3
Let v(c) = -c + 17. Let g be v(14). Put g, 1, 0 in increasing order.
0, 1, g
Let d = 1 + 3. Suppose 4*y = 14 - 6. Let m(w) = -3*w - 14. Let v be m(-5). Put y, v, d in decreasing order.
d, y, v
Let m(j) = j - 2. Let l be m(5). Suppose -5*h - 25 = 0, -h - 4 - 5 = -2*i. Put l, -5, i in decreasing order.
l, i, -5
Suppose 15 = -5*t + 3*c + 5, 0 = -3*t + 5*c - 6. Sort 0, t, 1, 4 in decreasing order.
4, 1, 0, t
Let p = 30 + -30. Put 2, 3, p in decreasing order.
3, 2, p
Let o be (-12)/(-45)*3/(-2). Let t = 3.06 - 0.06. Put 4, t, o in ascending order.
o, t, 4
Let d = -6 - -6.013. Let i = 2.713 - d. Let y = i + 0.3. Put -5/6, 0.1, y in increasing order.
-5/6, 0.1, y
Let j = 5 + -2. Let s = j - 4. Let t be ((-6)/8)/(2/(-8)). Sort t, -1/2, s.
s, -1/2, t
Let b be (-4)/(-6)*117/182. Sort b, -1/7, 5.
-1/7, b, 5
Let q = -48.91 - -49. Sort q, -0.2, 0.2 in decreasing order.
0.2, q, -0.2
Suppose -9*d = 4 - 13. Suppose 5 = 2*i - 1. Suppose -z - 3*a = -4, -4*z + a = -27 + 11. Sort d, z, i in decreasing order.
z, i, d
Let g = -12 - -11. Put -4, g, -3 in decreasing order.
g, -3, -4
Let h be (-4)/18 - 25/9. Let n = -21 - -15. Let p be ((-2)/n + -2)*h. Put p, 4, 0 in ascending order.
0, 4, p
Let d be -1*27/78 - 2/(-4). Sort d, -2/3, 0.5, -5 in increasing order.
-5, -2/3, d, 0.5
Let m be 2/1 - 32/(-4). Suppose 3*b + m + 2 = 0. Sort -3, b, 2 in descending order.
2, -3, b
Let t = -2 + 1. Let b = 14 + -12. Let l be ((-4)/88*b)/(-1). Sort l, -1/4, t in decreasing order.
l, -1/4, t
Suppose 5*s + 10 = -2*u, 4*s + 5*u = -16 - 9. Sort 0.3, 2, s in decreasing order.
2, 0.3, s
Let f = 0 - -0.3. Let h = -7 - -12. Suppose t + h*l = -15, 5*t - 5*l = -3*l - 21. Sort f, -2/5, t in increasing order.
t, -2/5, f
Suppose -14 = -2*r - 4*c, -5*r - 4*c + 0*c + 11 = 0. Let t = 55 + -50. Put r, -2, t in descending order.
t, r, -2
Let z = 2 - 7. Let a be (-1)/(-3) + 5/3. Sort z, a, 1/5 in increasing order.
z, 1/5, a
Let h = 13 - 23. Let j = h - -9. Put j, -4, -5 in decreasing order.
j, -4, -5
Let z = -0.5 + 0.6. Let q = -3/23 - 5/138. Put 0.4, q, z in ascending order.
q, z, 0.4
Let v = -134 - -129. Sort v, -5/7, 4/7, -3/5 in descending order.
4/7, -3/5, -5/7, v
Let n(o) = 5*o + 20. Let x be n(-5). Sort x, -3, -4 in increasing order.
x, -4, -3
Let a = -2 + 1. Let z = 179 + -181. Sort z, -5, a.
-5, z, a
Let p = -2.05 + 2. Let u = 2.05 + p. Let i = u - 2. Sort 3, 2, i.
i, 2, 3
Suppose 3*g + 3 = 0, 4*o - 5*g = -g - 12. Let a(i) = -i + 9. Let t be a(6). Let k(p) = -2*p + 3. Let m be k(t). Sort o, m, -2 in ascending order.
o, m, -2
Let f = 7 + -5.6. Let i = 1 - f. Sort -1/7, i, 3 in descending order.
3, -1/7, i
Let h = 13.05 - 13. Let k = 1.95 + h. Sort -5, -2/5, k in ascending order.
-5, -2/5, k
Suppose a = -a - 18. Let v = 14 + a. Put 1, -1, v in increasing order.
-1, 1, v
Let p = 0.04 + -0.34. Sort p, -4, 2.
-4, p, 2
Suppose o + 4 = 2*g, -5*g + 3*o = -2*o. Suppose h - g*k + 0 = 2, 5*h = -5*k + 10. Suppose 0 = -h*f - 3 + 13. Put 0.1, f, -5/2 in ascending order.
-5/2, 0.1, f
Let t(c) = -c - 5. Let b be t(-5). Suppose 5*z = s + 10 + 5, 4*s = -z + 24. Sort -4, s, b.
-4, b, s
Let i = 1328/7 - 190. Sort -3/11, -4, -3, i in increasing order.
-4, -3, i, -3/11
Let l be ((-12)/(-20))/((-4)/(-5)). Suppose 3*g - 20 = -g. Let s be ((-4)/(-6))/(g/(-6)). Sort s, 5, l in ascending order.
s, l, 5
Let y = -41 + 41.04. Put 1/8, -7, y, 0.1 in increasing order.
-7, y, 0.1, 1/8
Let x = -2 + 1.96. Let o = x - -0.05. Let t = o - 0.01. Put 0.2, 4/5, t in increasing order.
t, 0.2, 4/5
Let z be (17 + -20)*8/6. Sort 3, z, 5 in ascending order.
z, 3, 5
Let b = -0.06 + -0.24. Let q = -3.6 + 4. Let g = -0.398 + 0.298. Sort g, q, b.
b, g, q
Suppose 26 = -3*n - 4*s, 0 = 5*n - 0*s - 2*s. Let t(f) = f**2 + 5. Let x be t(0). Let u be ((-2)/x)/((-4)/5). Put n, u, -0.1 in ascending order.
n, -0.1, u
Let i(j) = -j + 9. Let k be i(5). Suppose 0*r - 2 = 4*d + r, 0 = d + r - 1. Put d, 3, k in decreasing order.
k, 3, d
Let v(b) = b**2 + 17*b - 1. Let c be v(-17). Let y(q) = -q - 1. Let g be y(-4). Put g, c, -5 in ascending order.
-5, c, g
Suppose -c = 4*l - 0*l - 15, -c + 5 = -l. Suppose 4*g = -b - c - 8, 5*g = -15. Let h = 0.3 + -0.2. Put b, h, -3/2 in decreasing order.
h, -3/2, b
Let w = 17/14 - 5/7. Put -1, w, -0.06 in ascending order.
-1, -0.06, w
Let m(b) = -30*b + 2. Let d be m(-2). Let r = d + -621/10. Let c = 0.11 - 0.61. Sort c, -2, r.
-2, c, r
Suppose 2*k + 7 = 3*s - 2*s, k + 3 = 0. Put 3, 5, -4, s in increasing order.
-4, s, 3, 5
Let o = 0.3 - -3.7. Put 2/5, 1/2, o in increasing order.
2/5, 1/2, o
Let c(i) = -2*i**2 + 42*i - 4. Let u be c(21). Sort 4, u, 5, -1 in ascending order.
u, -1, 4, 5
Let w be (-148)/(-36) + 5/(-45). Suppose -j = -4*s - s + 1, -4 = w*j - 5*s. Sort 6, -4, j in ascending order.
-4, j, 6
Let p be -3 + (-1 - (-3 + 19)). Let t be 24/20*p/6. Let d = 1 + -1. Sort t, -3, d.
t, -3, d
Let c = -63 - -63.023. Put 2/3, c, 2/9 in decreasing order.
2/3, 2/9, c
Suppose 4*a = 5 + 11. Put 0, -6, a in decreasing order.
a, 0, -6
Let k = -0.4 - -0.3. Let r = -0.1 + k. Let d be (2/8)/(247/152). Sort r, -2, d in decreasing order.
d, r, -2
Let j = -80 - -80.5. Let a = -0.02 - -2.02. Put -3, a, j in descending order.
a, j, -3
Let h = 12 - 12.2. Suppose 3*x = 2*x. Put -0.3, x, h in descending order.
x, h, -0.3
Let p = -82.9 + 90. Let w = 7 - p. Put 0.2, w, -5/2 in decreasing order.
0.2, w, -5/2
Let a(u) = -u**3 - 6*u**2 + u + 6. Let r be a(-6). Suppose r = -5*c + 4*c. Put 8, 1/2, c in ascending order.
c, 1/2, 8
Suppose 0 = -4*v - 3*t + 8 + 6, v - 5*t = -8. Suppose n = 2 + v. Put 3, -4, n in descending order.
n, 3, -4
Let d = -12 + 15. Suppose z + 3