creasing order.
l, z, r
Suppose -15 = 2*d - 7. Put 1, d, -0.2 in increasing order.
d, -0.2, 1
Suppose 0 = 3*r + 2*r - 5*z + 5, -2*r = 3*z + 27. Put -4, -11, r in decreasing order.
-4, r, -11
Suppose 5*l = 2*b + 12, 3 = -l - 3*b + 2. Suppose 0*s + s = l. Suppose -2 = t + 3*t - 3*a, t - a = 0. Sort t, -5, s in increasing order.
-5, t, s
Let l = 0.5 - 0.9. Let m = -2 + 2. Suppose 5*g - 12 - 3 = m. Sort -5, l, g.
-5, l, g
Let n = 5 + -7. Let d(x) = x**3 - x - 4. Let u be d(0). Put n, 0.4, u in decreasing order.
0.4, n, u
Let w(n) = 0*n - 3*n - 7 - 2*n + 4*n. Let a be w(-7). Put -4, 2, a in descending order.
2, a, -4
Let l be 4/6*(-3)/8. Let z = 0.01 - -2.99. Let b = -5 + z. Put 4, l, b in decreasing order.
4, l, b
Suppose j = 2*b + 4 + 3, -2*b + 5*j - 27 = 0. Sort b, 2, -3 in descending order.
2, b, -3
Suppose -4*c = -6*c - 10, 3*c = -3*i - 24. Sort i, 4, 2 in increasing order.
i, 2, 4
Let j = -25.3 + 25. Sort 3, -2/7, j in ascending order.
j, -2/7, 3
Let g = -3.2 + 3.1. Sort g, -3, -5 in decreasing order.
g, -3, -5
Let x = -97 - -93. Sort -3, 0.02, 1, x in descending order.
1, 0.02, -3, x
Let y = 0.01 - 0.41. Let m = 0.7 + y. Put -1/7, -2, m in decreasing order.
m, -1/7, -2
Let p be 4 + -8*-3*(-1)/6. Sort 2, -5, p, -1 in descending order.
2, p, -1, -5
Suppose 0*v + 2*v = -12. Let g(z) = z**3 + 7*z**2 + 8*z + 9. Let l be g(v). Sort 2, 5, l in ascending order.
l, 2, 5
Let q = -0.075 - -0.275. Sort 0.4, 4, q, -0.5.
-0.5, q, 0.4, 4
Let r be 3 + -1*82/26. Let j = -0.4 + 0.1. Sort r, -3/5, j in decreasing order.
r, j, -3/5
Let p = 12 - 26. Let v = p + 14.2. Let a = 1/6 - -1/2. Sort a, v, 1/4.
v, 1/4, a
Let i = 12.02 + -0.02. Let r = 11.8 - i. Let z = 3.01 + -0.01. Put z, -0.4, r in decreasing order.
z, r, -0.4
Let b be 1*-1*(-411)/(-18). Let o = -47/2 - b. Put o, -0.3, -1/6 in descending order.
-1/6, -0.3, o
Let f = -28 + 27. Sort 3, 2, f in decreasing order.
3, 2, f
Let l = -0.08 + 0.06. Let d = -0.28 + l. Sort 0.2, d, -1/2.
-1/2, d, 0.2
Let o = 1.88 + -1.7. Let p = o - 0.22. Sort 1/2, 5, p in descending order.
5, 1/2, p
Let d = 42.6 + -44. Sort 0.5, d, -0.3, -0.1 in descending order.
0.5, -0.1, -0.3, d
Let p = 55 + -58. Sort 5, p, -4, 4 in decreasing order.
5, 4, p, -4
Let n = -7.3 + 7. Let m = -0.4 - n. Let d = m - -3.1. Sort d, 1/5, -1 in increasing order.
-1, 1/5, d
Let a = -8 - -2. Let j = -9.5 - -4.5. Let k = j - a. Sort 3, 0.1, k in descending order.
3, k, 0.1
Let i(m) = -m**3 + 9*m**2 - 9*m + 13. Let z be i(8). Sort 1, z, -4.
-4, 1, z
Let w = -26 + 28. Sort 3, w, -7 in decreasing order.
3, w, -7
Let f be (-1204)/(-24) - (-1)/(-6). Suppose -3*r - 35 = 4*g, 5*g + r + f = -4*r. Sort g, -1, 0 in ascending order.
g, -1, 0
Let h be 21/90 - (-2)/(13 - 1). Let q = 6/29 - 65/174. Sort q, h, 0 in increasing order.
q, 0, h
Let h = 3 + 2. Suppose 2*d - h*d = 0. Let u = 4 - 3. Put d, -4, u in increasing order.
-4, d, u
Let w = -3.4 + 3. Let c = -0.6 + 0.1. Let v = c - w. Put v, 2, 3 in ascending order.
v, 2, 3
Let x = -123 - -132. Sort -5, -1, 4, x in increasing order.
-5, -1, 4, x
Suppose -2*x + 2*w = -4, -4*x - 5*w + 17 = -0*x. Suppose 8 - 7 = o, 4*a + 18 = 2*o. Sort x, a, -5.
-5, a, x
Let q = -0.3 + -0.1. Let y = -10 - -13. Put q, 4, y in ascending order.
q, y, 4
Let i be 42/28 - 1/6. Sort 4, i, 2/3 in decreasing order.
4, i, 2/3
Let n = -0.2 + 0.6. Let f = -2 - -4. Sort f, 2/7, n in descending order.
f, n, 2/7
Let k(c) be the first derivative of c**2 - 7*c + 2. Let g be k(5). Suppose g*o = 7*o. Sort -2, -1, o.
-2, -1, o
Let y be (-6)/(-3) - (-1 + -7). Suppose 0 = -x + 11 - y. Suppose -2 - 8 = -5*v. Sort x, 0, v in decreasing order.
v, x, 0
Let s = -0.8 - -1. Let f = -48 - -43. Let a(m) = m**3 + 3*m**2 - 2*m + 5. Let i be a(-4). Sort f, s, i.
f, i, s
Suppose 3*f + 3 = -5*c, 6*c + 2 = c - 2*f. Sort c, -4, -12 in descending order.
c, -4, -12
Suppose 0 = 5*m - 32 + 2. Let w = 0 - m. Let u be 20/84 + (-2)/w. Put u, -4, 4 in decreasing order.
4, u, -4
Let n(d) = -d**3 + 3*d**2. Let a be n(3). Put 1, a, -5 in decreasing order.
1, a, -5
Let c = 2 - 5. Suppose 3*m - 4*n + 14 = -2*n, 5*n - 18 = -m. Put 2, m, c in increasing order.
c, m, 2
Let o = 12 - 10. Suppose -6 = -4*y + o. Let g = -2 - 0. Sort g, -3, y in decreasing order.
y, g, -3
Suppose -5 = -2*n + 1. Let q be (-2)/(-8) + n/(-12). Sort q, -2/3, -2 in descending order.
q, -2/3, -2
Let a be (35/(-14))/((-3)/(-6)). Sort 0, a, -3 in increasing order.
a, -3, 0
Suppose 0 = -8*o + 25*o + 238. Sort o, -5, 5, 1 in descending order.
5, 1, -5, o
Suppose -2*w = -0*w - 5*o + 19, 4*o = 2*w + 14. Let r be 6/3 + (1 - 6). Sort w, r, 4 in increasing order.
r, w, 4
Let d be ((-1)/2)/((-1)/(-24)). Let h be 4/(-6) - 11/d. Let b = -0.13 - -0.03. Sort h, b, 5.
b, h, 5
Let j = 346537/178893 + 14/4587. Let h = 31/13 - j. Sort 0, h, -2 in increasing order.
-2, 0, h
Let d = -4 + 5. Let v = -2 + 5. Let c = -2 + 1.6. Put v, d, c in descending order.
v, d, c
Let s = -5.6 - -5.79. Sort 2/11, 3, 1/3, s in descending order.
3, 1/3, s, 2/11
Suppose u + 2 = -u. Suppose -6*v = -3*v - 3. Suppose -k = 5*h - 4*k - 26, -2*k - 12 = -2*h. Sort h, v, u in decreasing order.
h, v, u
Let w be (-1)/3 + 2/6. Suppose 4*v - 2*v - 5*m - 1 = w, -3*v - 1 = -5*m. Suppose 7*l - 24 = l. Sort l, -1, v.
v, -1, l
Let p = 0.4 - 0.2. Let z = 12 - -4. Let k = z + -15.6. Sort -2, k, p in ascending order.
-2, p, k
Suppose 0 = -2*u + 4 - 10. Sort 3, u, 0.
u, 0, 3
Let v(s) = s**3 - 15*s**2 + 14*s + 6. Let q be v(14). Put 3, q, 2 in increasing order.
2, 3, q
Let w = 104 + -104. Sort w, -2, -5 in decreasing order.
w, -2, -5
Let t(y) = y**3 + 4*y**2 - 5*y + 5. Let r be t(-5). Put -1, 2, r in descending order.
r, 2, -1
Let x be -3*-1*10/6. Sort x, -3, -1 in increasing order.
-3, -1, x
Let n = -3935/6 + 654. Let g = n + 13/6. Sort g, -0.3, -1/3 in decreasing order.
g, -0.3, -1/3
Let f = 2 - 1. Let l = f + -6. Put 4, 3, l in descending order.
4, 3, l
Let j(c) = -2*c + 26. Let g be j(11). Let y(u) = 2*u - 11. Let d be y(g). Let k = 7 + -11. Put 3, d, k in decreasing order.
3, d, k
Let i = -58.5 - -59. Put -0.2, -1/3, i, 1 in descending order.
1, i, -0.2, -1/3
Suppose -3*a - 4*o = 10 - 2, 3*o = 3. Put 3, 2, -3, a in ascending order.
a, -3, 2, 3
Let x = 22 + -20. Sort 4, 1, x, -5 in ascending order.
-5, 1, x, 4
Let u be ((-90)/(-54))/((-1)/(-3)). Sort -1, u, 1, 6 in increasing order.
-1, 1, u, 6
Let i = 6.2 + -0.2. Let f = i + -7. Let c be (0 - -1) + (-22)/18. Sort f, 1, c in decreasing order.
1, c, f
Let x be ((-6)/(-16))/((-9)/6). Let r(q) = -q**3 + 5*q**2 - 4*q + 4. Let y be r(5). Let n be 38/24 + 4/y. Put n, x, -2/9 in decreasing order.
n, -2/9, x
Let v = -57 - -60. Put -5, v, -9, 2 in increasing order.
-9, -5, 2, v
Let n = -29 - -29. Let b = 80 - 718/9. Put b, 0.1, n in ascending order.
n, 0.1, b
Let i = -0.2 + 0.3. Let p = 363 - 3991/11. Put 5, p, i in decreasing order.
5, p, i
Suppose 0 = 2*r + 3 + 5. Suppose -3*s + 14 = -4. Suppose 4 = 2*p + s. Put r, p, -5 in increasing order.
-5, r, p
Let a(v) = 3*v + 14. Let c(g) = -g - 5. Let o(m) = 6*a(m) + 17*c(m). Let l be o(8). Sort 1, 5, l in decreasing order.
l, 5, 1
Suppose 4*c + 2*v - 2 = -22, -3*c + 4*v - 4 = 0. Let o(b) = b**3 - 4*b**2 + 2*b + 4. Let p be o(3). Sort 5, p, c in decreasing order.
5, p, c
Let x = 15 - 0. Let o be (-4)/20 + (-57)/x. Put -2, o, 3 in decreasing order.
3, -2, o
Let c be ((-45)/39 - -1) + (-30)/(-26). Sort 0, c, -7 in decreasing order.
c, 0, -7
Suppose 0 = -o - 0 - 3. Sort 5, o, 2 in ascending order.
o, 2, 5
Suppose -k = -4*i - 17, -6*k = -2*k - 4*i - 20. Sort 8, k, -3 in decreasing order.
8, k, -3
Let n = 4.36 + -0.25. Let o = n + -0.11. Let d = 4.2 - o. Put -3, -5, d in descending order.
d, -3, -5
Suppose 1 + 4 = b. Suppose 0 = 3*h + 4*x + 25, 4*h - 5 = -5*x - 37. Sort h, b, 2 in decreasing order.
b, 2, h
Let c be (1 - -1*(-2)/2)/(-3). Sort c, -3, 1, -5 in ascending order.
-5, -3, c, 1
Let y = 5.7 - 6. Let a = -27.4 + 27. Put -2, y, a in decreasing order.
y, a, -2
Let m = -77/78 + 15/13. Let d = 3.7 - 4. Sort 2, d, m.
d, m, 2
Let y(z) = z**3 + z**2 + z + 4. Let f be y(0). Suppose -f*s = 5*p + 12, -3*p - 4 = -4*s + 16. Let l be 3/(-9) - (-40)/12. Sort -2, s, l.
-2, s, l
Suppose 1 + 0 = -o + x, 0 = 2*x - 10. Let k(t) = 5*t + 7. Let f(w) = 6*w + 6. Let b(h) = o*k(h) - 3*f(h). Let i be b(-7). S