 29 = -0*p. Put 2, x, r in descending order.
r, 2, x
Let z = 519.66 + -524. Let n = -3.3 - z. Let u = n + -1.1. Sort -0.1, -5, u in ascending order.
-5, -0.1, u
Suppose 3*q + q = -4*p - 28, -2*p - 4*q - 24 = 0. Sort -1, 0, 4, p in decreasing order.
4, 0, -1, p
Let x = -28 - -30. Sort 0.5, x, -1.
-1, 0.5, x
Let w = 2030/99 + -228/11. Let y = 4/9 - w. Sort y, 0.2, 2 in ascending order.
0.2, y, 2
Let u = -0.4 + 0.2. Let f = -1.6 + 2. Put u, f, 2 in increasing order.
u, f, 2
Let r(v) = 6*v. Let y be r(1). Let z = y + -8. Sort -4, z, -1.
-4, z, -1
Let g(v) = 2*v - 3. Suppose -2*t + 4 = j, 0 = 2*t - 7*t + 4*j + 10. Let z be g(t). Sort -4, z, -5 in increasing order.
-5, -4, z
Suppose 0*o = 3*o. Suppose 3*j - 4*r - 31 = 0, 0*j = j - 4*r - 21. Suppose j*y - 3*k + 5 = -8, -4*y + k - 9 = o. Sort y, -4, 5.
-4, y, 5
Suppose -3*h - 2 = 2*j + h, -4*j - h = -17. Put 4, j, -2 in decreasing order.
j, 4, -2
Let v be 59/3 + 3/9. Suppose q - v = -4*k, 5*q - 3*k - 9 = -1. Put 9, q, -4 in descending order.
9, q, -4
Suppose -21 = 7*f - 4*f. Put f, 4, -1 in descending order.
4, -1, f
Let b = 9 - 9. Sort 4, b, -0.1 in ascending order.
-0.1, b, 4
Let d = 13 + -11.2. Let o = 1.95 + 0.05. Let g = o - d. Sort 0, 1/3, g in descending order.
1/3, g, 0
Suppose -4*u = k + 16, k + u = -u - 8. Suppose b + k = 3. Suppose -5*q - 2*c = -8 - 2, q + 1 = -c. Put 2, q, b in increasing order.
2, b, q
Suppose -i = -5*s - 12 - 6, 0 = -s + 2*i. Suppose -z + 0*q = 4*q + 19, -63 = 4*z + 3*q. Let h = -15 - z. Sort 5, h, s.
s, h, 5
Let h be (9/27)/(1/(-6)). Let w = h + 5. Let k(i) = -i**3 + 5*i**2 - 2*i + 6. Let r be k(5). Put r, w, 4 in descending order.
4, w, r
Let i = 11 + -8. Let l = 17/78 + -5/13. Sort i, l, 4 in decreasing order.
4, i, l
Let x be 34/(-12) + (-2)/12. Put 0, 17, x, -4 in descending order.
17, 0, x, -4
Let k be (-17)/(-5) - (-6)/(-15). Suppose 5*h = h - 40. Put 0, h, k in increasing order.
h, 0, k
Suppose 0 = -y - 3*y + 16, -3*y - 4 = 4*g. Suppose -3*w = -0*w - 6. Let s be -1*(1*-2)/w. Sort s, g, -5.
-5, g, s
Let d(g) = -g**2 - 2*g + 7. Let c be d(-3). Sort c, 0, -0.1 in descending order.
c, 0, -0.1
Let j be (-42)/90 + (12/45)/(-2). Sort 7, 0.1, j in ascending order.
j, 0.1, 7
Let m be (-124)/12 - 1/(-3). Sort -2, 4, m.
m, -2, 4
Let r be 6/(-8)*(-8)/15. Let y = 3.06 - 0.06. Sort r, 0.5, y.
r, 0.5, y
Let d(r) = 3*r - 7. Let z be d(6). Let l = z + -14. Sort l, 0, -1 in ascending order.
l, -1, 0
Suppose 4*d = -d + 50. Suppose 0 = 2*p - 2*o + d, 2*o + 11 = -3*p + 2*p. Let u = -6 - p. Put 4, -3, u in ascending order.
-3, u, 4
Suppose 0 = 3*u + 2*u - 10. Suppose u*d - 18 = 4*p, -p = 2*p + d + 6. Put 1, p, 2 in increasing order.
p, 1, 2
Suppose -2*j - 5*i + 22 = 2, -50 = -5*j - 4*i. Suppose -5*x - 3*t = -j, -15 = -x + t - 5. Sort -3, -2/7, x in decreasing order.
x, -2/7, -3
Suppose 3 = j, 0*n + 8 = -5*n - 4*j. Sort -21, -1, n, -3 in ascending order.
-21, n, -3, -1
Let w = -0.7 - -1. Let q = -0.7 + 0.9. Put w, q, 1/4 in decreasing order.
w, 1/4, q
Let a be (-933)/(-810) - 4/(-12). Let x = 2/135 + a. Sort 1, x, -2/3.
-2/3, 1, x
Let a(n) = 5*n**3 + n. Let g be a(1). Let q be -2*(2 + -5)/g. Put -4, q, -2/3 in increasing order.
-4, -2/3, q
Let f = 6.7 - 7. Suppose 0 = 3*a + 5 - 2. Put 5, f, a in decreasing order.
5, f, a
Suppose -3*o + 9 = 33. Let j be 9/(-6)*o/(-3). Let g = j - -7. Sort -3, g, -1.
-3, -1, g
Suppose -d - 11 = -3*q - 0, -4*d = q + 5. Sort -7, -3, d in decreasing order.
d, -3, -7
Suppose 2*u - 3*w + 1 = 0, 2*u - w - 4*w + 7 = 0. Suppose u*x - 24 = -0*x. Let r(h) = -h**2 + 5*h + 7. Let d be r(x). Put 4, -4, d in decreasing order.
4, d, -4
Suppose -s = 1 - 9. Suppose -5*b + s = -b. Let f(c) = c. Let g be f(5). Put b, 1, g in decreasing order.
g, b, 1
Let x(v) = -v**2 - 6*v - 4. Let a be x(-5). Suppose 4*u = -3*k - 23 - 4, 2*k = 3*u - 1. Put a, 0, k in ascending order.
k, 0, a
Suppose 0 = -s - 3*s - 32. Let a(i) = i**3 + 8*i**2 + 4. Let c be a(s). Sort 1, c, 6.
1, c, 6
Let s(r) = 4*r**2 - 3*r + 2. Let c be s(1). Suppose x = -2*x. Suppose 0 = -0*g - 2*g + h + 4, 3*g - 6 = -5*h. Put x, c, g in descending order.
c, g, x
Suppose 0*x = -4*x. Suppose 9 = 5*z - 6. Suppose 3*k + 28 = 5*c, -13 = -z*k + k - 3*c. Put 4, k, x in increasing order.
k, x, 4
Let b = -7.91 - -4.92. Let a = -0.1 - -0.09. Let w = a + b. Put -1/5, -0.3, w in decreasing order.
-1/5, -0.3, w
Let r = 15.5 - 15. Sort 4, 0, r.
0, r, 4
Let u be (-2 - (-2 + 3)) + 8. Suppose -5*l + 10 = 2*g - 3, 3*g + 18 = 5*l. Sort l, u, -5 in descending order.
u, l, -5
Let j(t) = t**2 + 9*t + 14. Let o be j(-3). Sort -2, 11, o in descending order.
11, -2, o
Suppose 2*o - 12 = -3*w, -3*o + 3 + 18 = 5*w. Let r = 0 + -5. Put w, r, 0.5 in descending order.
w, 0.5, r
Let j = 6.3 - 6. Suppose -2*m + 6*y - y + 23 = 0, 3*m - 17 = 4*y. Let k be m/(-6) + (4 - 4). Put j, k, 4/5 in increasing order.
k, j, 4/5
Let z = -7.2 - -7. Let g(u) = -u**2 + 4*u + 7. Let p be g(5). Suppose 0 = -m - p*m. Sort m, 5/2, z in descending order.
5/2, m, z
Suppose 3*q - 6 = 0, c + 2 - 3 = -q. Put -9, -5, 3, c in increasing order.
-9, -5, c, 3
Let p be -4 + 2 - (0 + 1). Let f = p + 2. Let x = -134 + 137. Sort f, -3, x.
-3, f, x
Let k(s) = -s + 2. Let i be k(0). Let v = -27 - -24. Sort v, i, -5.
-5, v, i
Let h = 38 + -42. Sort -9, 3, h in ascending order.
-9, h, 3
Let y = -40/3 + 13. Sort 4, y, -3/5, 1/9 in increasing order.
-3/5, y, 1/9, 4
Let o be ((-3)/(-18))/((-2)/4). Let i = -1/6 + o. Let t be ((-4)/30)/((-4)/(-3)). Put i, 0.4, t in increasing order.
i, t, 0.4
Suppose w - 14 = 4*m - 1, 4*m + 12 = 0. Let o be (-5)/(-2)*(-18)/15. Let k = w + o. Sort 3, 2, k in ascending order.
k, 2, 3
Let o(r) = -r**2 + 4*r - 3. Let n be o(5). Put 4, n, -5 in descending order.
4, -5, n
Let w = -3642.126 + 3638. Let y = w - -0.046. Let c = -0.08 - y. Sort 0.1, -5, c.
-5, 0.1, c
Let q be 2 - 2 - (-8)/6. Sort -0.5, q, -1 in ascending order.
-1, -0.5, q
Let z = 2.958 - -0.042. Sort 5/4, 3/5, z.
3/5, 5/4, z
Let f be (18/(-15))/(8/(-20)). Suppose -5*x = 25, 6*x = -4*p + f*x - 35. Sort p, 3, 5 in ascending order.
p, 3, 5
Let m(z) = -z - 23. Let k be m(-20). Sort -5, 0, -4, k.
-5, -4, k, 0
Suppose -u + 1 - 2 = 0. Sort u, 0, 5 in decreasing order.
5, 0, u
Let u be 9/6 + (-18)/(-12). Sort -4, u, -2 in ascending order.
-4, -2, u
Let u be -1*1 - (4 + -3). Put 6, 5, u in descending order.
6, 5, u
Let q = -3.3 - -10.8. Let c = 8 - q. Put -2, c, -1 in decreasing order.
c, -1, -2
Suppose -4*t - 4 = 0, 4*t + 34 = -0*f + 5*f. Let l be 58/f + 3/9. Let r be 4/l - 39/(-15). Sort 2, -2, r in descending order.
r, 2, -2
Let m = -13 - -13.5. Put m, -3/4, 5 in ascending order.
-3/4, m, 5
Let l = -2.9 - -3. Let x = 3.9 + l. Suppose 6 = y + 11. Sort y, x, -2 in ascending order.
y, -2, x
Let c(z) = -z**3 - 6*z**2 - 6*z - 4. Let r be c(-4). Let d be 4 - 4/r*-3. Suppose 0 = 2*o - 3 - 7. Sort 2, d, o in ascending order.
2, d, o
Let m = 41 + -39. Put 6/11, -1/3, m in decreasing order.
m, 6/11, -1/3
Let a be 7*(-6 + 5) - -5. Let u = 44/105 + -2/15. Sort a, u, 0.5.
a, u, 0.5
Suppose -10 = -2*u - 6. Sort u, 5, -5, -3 in descending order.
5, u, -3, -5
Let a = -80 - -76. Sort a, 4, 0.5, -3 in increasing order.
a, -3, 0.5, 4
Let t = 0.4 + 0.6. Let n = t - 0. Put 1/6, 3, n in descending order.
3, n, 1/6
Let g(t) = 85*t**2 + 2*t - 3. Let r be g(2). Let o = r - 4435/13. Put 1, o, 0.3 in ascending order.
o, 0.3, 1
Suppose 4*f + 0*r - 2*r = -22, 3*r = -2*f + 1. Let v = 7 - 4. Sort v, -1, f in increasing order.
f, -1, v
Let z be (4 - 2)/((-3)/(-6)). Suppose -z*b + 14 = -u, u + 4*b = 11 - 1. Put u, -3, 5 in descending order.
5, u, -3
Suppose -5*b + b = 0. Suppose -5*i + 3*i = b. Sort i, -3, -1 in descending order.
i, -1, -3
Let t(i) = i + 2. Let c be t(9). Suppose 0 = 2*v - 3*y + 2*y - 5, 3*y + c = 5*v. Suppose 0 = 2*k + 4 + v. Put 1/2, -0.1, k in descending order.
1/2, -0.1, k
Let v = 76.6 - 71. Let c = 0.6 - v. Let y = c - -6. Put 0.5, 4, y in descending order.
4, y, 0.5
Let p be ((-6)/(-4))/((-6)/(-16)). Suppose -5*z = 3*q - 37, -5*z + 5 = -p*q - 4. Put q, -5, 0.1 in ascending order.
-5, 0.1, q
Let w(n) = -n**3 + 5*n**2 - 2*n - 4. Let p be w(4). Sort 3, p, 0 in decreasing order.
p, 3, 0
Let b be (-170)/45 - 2/9. Suppose -4*x + 18 = -5*s - 0*s, 4*x = 8. Put b, s, 5 in descending order.
5, s, b
Let l(m) = -m**2 + 3*m +