-6). Sort -1, l, r in increasing order.
-1, r, l
Suppose 17 = -5*r + 2. Sort 4, r, 3.
r, 3, 4
Let o = -2 + 1.9. Let d(a) = a**2 - 5*a - 1. Let b be d(5). Let r = 84 + -88. Put o, r, b in increasing order.
r, b, o
Let x = -3.02 - -0.02. Let d = 13 - 12. Put x, 3, d in descending order.
3, d, x
Let k be ((-7)/(-126))/((-1)/(-4)). Suppose 4*x = 4, -y + 3*y = -5*x + 1. Sort -5, k, y.
-5, y, k
Let h = 9/4 - 31/12. Put h, -1/2, -5 in descending order.
h, -1/2, -5
Let r(d) = -d**2 + d - 2. Let q be r(3). Put -1, q, 0 in decreasing order.
0, -1, q
Let j(b) = -3*b. Let m be j(-1). Suppose -4*k - 1 = m. Sort 3, k, 0 in decreasing order.
3, 0, k
Let r = 30 - 30.3. Put 0.2, r, -4 in descending order.
0.2, r, -4
Let x = 0.08 - 3.08. Let i = -0.1 - 0.2. Sort -2, x, i in decreasing order.
i, -2, x
Let w(s) = s**2 - 7*s + 4. Let j be w(6). Let q(g) = g - 2. Let x be q(5). Let n(d) = d**3 + 7*d**2 + 6*d. Let k be n(-6). Sort k, j, x in decreasing order.
x, k, j
Let a(l) = 2*l - 4. Suppose 4*b - 2*b - 6 = 0. Let o be a(b). Put 4, o, 0 in descending order.
4, o, 0
Let i(o) = -o**2 + 6*o + 3. Let u be i(6). Let b be 3 + u + -4 + -3. Sort b, -5, 3.
-5, b, 3
Suppose 3*o = 6*o - 24. Suppose -l - j = 3, -4*l - 2*j + o = -3*j. Suppose -w + l = -0*w. Sort -1, 0, w in descending order.
w, 0, -1
Let d(n) = -n**3 + 11*n**2 + 9*n + 40. Let g be d(12). Sort g, -28, 0.1 in increasing order.
-28, 0.1, g
Let o = 2.2 - 0.2. Let t = 2 - o. Let q = 1.8 + -0.8. Sort t, 0.4, q.
t, 0.4, q
Let f = -2.02 - -0.02. Let b be (-6)/(-4) + -5 + 3. Put b, 0, f in increasing order.
f, b, 0
Let o = 7.06 - 0.06. Let a = 6.7 - o. Sort a, 4/3, 5 in decreasing order.
5, 4/3, a
Let k = -8 + 6. Put -4, -1, k, 2 in descending order.
2, -1, k, -4
Suppose 7*k + 2 = 23. Suppose 0 = -3*d - 1 + 4. Sort k, 2, d in increasing order.
d, 2, k
Let n(l) = -l**2 - 4*l - 5. Let q be n(-2). Put 5, 4, q in increasing order.
q, 4, 5
Let u = -71.92 - -69. Let z = -0.08 + u. Let q = z - -2.5. Sort -5, -0.3, q in increasing order.
-5, q, -0.3
Let n = 63 - 59. Put 0, -5, n, 2 in descending order.
n, 2, 0, -5
Suppose 16 = b + 18. Sort b, 4, -1 in ascending order.
b, -1, 4
Suppose v - 21 = -5*o, -6*o + o + 23 = 3*v. Put -13, v, -3 in increasing order.
-13, -3, v
Let r = -5 - 0. Let x = 234.5 + -235. Sort 0, r, x in ascending order.
r, x, 0
Suppose 2*n + 16 = -2*n. Let l(f) = -5*f**2 + 6*f. Let i(k) = -6*k**2 + 6*k + 1. Let a(g) = -4*i(g) + 5*l(g). Let d be a(4). Sort -5, d, n in decreasing order.
d, n, -5
Let f = -0.1 - -1.5. Let z = 0.9 - f. Let v = 2.5 + -0.5. Sort z, 5/4, v.
z, 5/4, v
Let i be (-9)/(-6)*9/(63/4). Sort -0.1, -0.4, 0.4, i in decreasing order.
i, 0.4, -0.1, -0.4
Let c = -3.53 + 0.03. Let h = c - -3. Let z = 0.3 + h. Put 0, z, 2/3 in increasing order.
z, 0, 2/3
Suppose 5*z - 5*w + 7 = -18, 11 = -z + 3*w. Put -9, z, -5 in descending order.
z, -5, -9
Suppose 5*y + 18 = -17. Let t = -12 - y. Sort t, -4, 1.
t, -4, 1
Let f = 10 + -17. Let m = 10 + f. Let v be m*2/(-1 + 0). Put 2, -2, v in ascending order.
v, -2, 2
Let f be 33/12 - 3/4. Let o be ((-3)/f - -1)*0. Suppose 0 = 5*x + w - 20, -2*x + w + 3*w + 30 = o. Put -3, x, 1 in increasing order.
-3, 1, x
Let f(v) = v**2 + 3*v + 1. Let n be f(-1). Put n, 4, -4, 48 in descending order.
48, 4, n, -4
Suppose -4*a + 9 = j - a, -5*j - 2*a + 6 = 0. Suppose 0 = 2*v - 3*r - 17, 6*r - 4*r + 10 = j. Let w be v + -2 + 20/24. Put -0.2, 3, w in ascending order.
-0.2, w, 3
Suppose -5*d = 2*d + 35. Put 1, 4, d in descending order.
4, 1, d
Suppose -1 = 4*x - b + 4*b, 8 = x - 2*b. Sort 3, -1, -2, x in ascending order.
-2, -1, x, 3
Let w = 4.94 - 5. Let l = -0.34 + w. Let x = l - -1.4. Put 0.2, -2, x in ascending order.
-2, 0.2, x
Let r = -120494/7 - -17473. Suppose 2*z - 253 = c, 3*c = c - 5*z - 533. Let l = r + c. Sort 3/7, 5, l in descending order.
5, l, 3/7
Suppose -5*i - 22 + 22 = 0. Sort 2, 4, i in ascending order.
i, 2, 4
Let r = 0 + -2. Suppose -7*x = -17*x - 60. Put x, r, 5 in increasing order.
x, r, 5
Let f be (-12)/(-48) + (-3)/(-4). Sort f, -4, 4 in increasing order.
-4, f, 4
Let w = 7 - 11. Let k = 2.96 - -0.04. Let m = -5 + k. Sort m, w, -1 in increasing order.
w, m, -1
Suppose 2*i - 5*i - 15 = 0. Let m(l) = -5*l + 4*l + 5 - 1. Let h be m(0). Put 0, h, i in descending order.
h, 0, i
Let i = -4.05 - -4. Let g = i - -2.05. Let v = -0.1 + -0.3. Sort g, v, -1 in descending order.
g, v, -1
Let r = 1/36 + 17/36. Sort 1, r, 3 in increasing order.
r, 1, 3
Let r = 0.5 - 1. Suppose -2*h - 3 = -f, -1 = 2*h - 3*f - 4. Let s(d) = -d**3 - d**2 + 4*d - 1. Let j be s(h). Sort r, j, 0.5.
r, 0.5, j
Suppose 0 = 6*y - 2*y - 20. Let c = 10 + -7.96. Let w = -0.04 + c. Put -0.2, y, w in descending order.
y, w, -0.2
Let q = 2 - 1.98. Let u = q + 0.48. Sort -5, 0, u.
-5, 0, u
Let x = 13 - 8. Suppose 0 = -x*r - 5*c + 20, r - 4*c + c + 8 = 0. Put 5, r, -1 in increasing order.
-1, r, 5
Let f(q) = -q. Let y be f(0). Let l = -3 - y. Let v(u) = u + 2. Let s be v(-4). Sort l, -4, s in ascending order.
-4, l, s
Suppose -1 = 4*m - 5. Suppose 0 = -4*g - 5*w + m - 6, -g - 5*w = -10. Sort -4, g, -1 in ascending order.
g, -4, -1
Let r(u) = -u**3 - 5*u**2 - 3*u + 2. Suppose 4*x = -3*s - 19, 4*s = -3 - 1. Let k be r(x). Let t be (k/4)/(10/8). Sort -1/8, t, 0.5 in decreasing order.
0.5, -1/8, t
Let j = 14 - 8.3. Let w = j - 0.7. Let d = 0.2 + -1.2. Sort -4, d, w.
-4, d, w
Suppose 3*n = 2*r + 14, -3*n - 5 - 5 = 4*r. Suppose -4*j - j = -15. Suppose -2*v = -j*k + 15, 0*v = v + 3. Sort 0, n, k.
0, n, k
Let o = -25.2 + 25. Let b = -4.89 + -0.11. Sort o, -0.4, b in decreasing order.
o, -0.4, b
Suppose 17*g = 14*g - 24. Sort 4, -4, g.
g, -4, 4
Suppose 0 = -10*h - 6 - 34. Put 0, 4, 5, h in increasing order.
h, 0, 4, 5
Suppose 3*h - 6*h - 24 = 3*q, 4*q + 28 = -3*h. Let w be 4/(-26) - 108/(-26). Let t(y) = -2*y - 3. Let r be t(-4). Sort w, h, r in descending order.
r, w, h
Let r(c) = c**3 + 3*c**2 + 2*c + 2. Let a be r(-2). Put a, 1, 3 in descending order.
3, a, 1
Let g(s) = s**3 - 2*s**2 + 2*s. Let c(i) = i**3 - 5*i**2 - 6*i + 3. Let z be c(6). Let u be g(z). Suppose 6*p - u = p. Sort 5, p, 4 in descending order.
5, 4, p
Let g = -0.1 - -0.2. Suppose 3*u - 1 - 5 = 0. Let b = 112 - 451/4. Sort u, g, b.
b, g, u
Suppose 0 = -z - 5. Sort 0, 2, z in descending order.
2, 0, z
Let d = -5.94 - -6. Let r = -17.64 - -18. Let s = r - d. Sort -1, -0.3, s in increasing order.
-1, -0.3, s
Let o = 78 + -82. Sort -3, -2, 3, o in ascending order.
o, -3, -2, 3
Suppose -3 = 5*q + 2*l + 1, -3*q = -l - 2. Suppose -y + 5*r - 5 = q, 5*y = -3*r + 6 + 25. Suppose 3 = -5*n - 4*x - 4, -5*n - 5*x - 5 = 0. Sort -2, n, y.
n, -2, y
Let z = -84 + 84. Put -2, -4, 10, z in ascending order.
-4, -2, z, 10
Suppose -4*i = 2 - 6. Suppose 5 = -3*s - 7. Let f be (-1)/(-4) - (-10)/(-8). Put i, f, s in ascending order.
s, f, i
Let n = 4 + -1. Suppose 2*v = -n*v + 45. Let u be 3/(-2)*(-3)/v. Put -5/3, u, -0.4 in decreasing order.
u, -0.4, -5/3
Let s = -17 + 10. Let l = s - -10. Suppose -2*b - 7 - l = 0. Put -1, 5, b in increasing order.
b, -1, 5
Let b = -12 + 10. Put 1, b, 3 in decreasing order.
3, 1, b
Let u(i) = i**3 + 5*i**2 + 3*i + 4. Let j be u(-3). Suppose -6*m + 5*l - j = -3*m, -3 = 3*m - 3*l. Let k = 14 + -11. Put -5, k, m in ascending order.
-5, k, m
Let c = -8 - -4. Let l = 15 - 14. Put l, -2, c in descending order.
l, -2, c
Let y be 1/(-1) + (-18)/(-15). Let o(j) = -j**3 + 2*j**2 + j. Let s be o(2). Let h be s/(-4)*1/(-3). Put h, y, -1 in increasing order.
-1, h, y
Let p = 5 + -1. Let j be (2/p)/(2/(-2)). Suppose -4*c + 6 = -5*u - 14, 4 = -u - c. Sort 0.2, u, j in increasing order.
u, j, 0.2
Let i = -31/12 + 11/6. Let h be (2 - 70)*(-3)/(-4). Let b = -256/5 - h. Sort 3/5, i, b in decreasing order.
3/5, b, i
Let i = 6 + -6.9. Let c = -69.9 + 73. Let j = i - c. Sort -2/15, j, -2/7 in ascending order.
j, -2/7, -2/15
Let o(b) = 4*b + 5. Let g be o(-2). Put -5, 4, g in ascending order.
-5, g, 4
Let f(j) = -j**2 - 10*j + 8. Let u be f(-11). Sort 2, u, 3 in descending order.
3, 2, u
Suppose -5*r + 20 = -5*s, -3*s - 12 = -2*r + 7*r. Put 1, r, -26, 3 in descending order.
3, 1, r, -26
Let c be (-280)/1782 + 4/22. Let t = -239/162 - c. Sort t, 1/10, -0.1.
t, -0.1, 1/10
Suppose 7*s = 2*s + 20. Suppose c = -s*c - z - 1, -3*z - 3 = 5*c. Sort 2, c, 3 in decre