ending order.
2, b, -3
Let z = 6 - 6.2. Let j = 11 + -6. Put j, z, -1/3 in increasing order.
-1/3, z, j
Let r(h) = -3*h**2 + 38*h + 10. Let f be r(13). Sort -4, f, 9 in increasing order.
-4, f, 9
Let a = 11 + -15. Put a, 5, 0 in decreasing order.
5, 0, a
Let v(u) = u + 2. Let o be v(3). Suppose 3*a + 3*n = -15, -2*n = 2*a - n + o. Sort -1, a, -2 in decreasing order.
a, -1, -2
Let k = 1 + 7. Suppose i + k = 3*i. Let r = 7 - i. Sort -1, 2, r in descending order.
r, 2, -1
Let d = -2.2 - -2.4. Sort 1/10, d, 3 in ascending order.
1/10, d, 3
Let b(q) = q**2 - 5*q + 2. Let n be b(5). Suppose -2*s + 5*v = 4*v + 10, s + n = -v. Sort -1, -3, s.
s, -3, -1
Let q = 1 - -1. Let v be 6/3 - (0 - 1). Suppose 0 = -i + v*i - 8. Sort 3, q, i in descending order.
i, 3, q
Suppose -t - 4*j - 16 = 0, 2*t + 16 = 5*t - 4*j. Sort -3, 10, -1, t in descending order.
10, t, -1, -3
Let o be -2 - (-4 - (2 - 2)). Suppose 0 = 5*j + 5*w + 25, 0 = -2*w - o - 2. Sort -1, j, 5.
j, -1, 5
Let y be (-12)/36 - 2/4. Put 9, y, 0 in decreasing order.
9, 0, y
Let l(o) = -o**3 - 3*o**2 + 3*o + 4. Let t be l(-3). Suppose 4*m - m = 0. Let q be 10/(-1 + 3 + 0). Put t, m, q in descending order.
q, m, t
Let b = -44 + 33. Sort -2/23, 5, b.
b, -2/23, 5
Let a = -8 - -2. Let t = a - -10. Let g = 4 - t. Sort -0.5, g, -0.4 in descending order.
g, -0.4, -0.5
Let s be 6/4*10/15. Let t(i) = -i**2 + 6*i + 4. Let j be t(6). Suppose -5*c - 16 - j = 0. Sort c, s, 5 in decreasing order.
5, s, c
Let i be 2*-13*2/2. Let f be i/(-5) - (-3)/(-15). Suppose f - 16 = c + 3*u, 2*u = 5*c - 30. Sort 1, -4, c in increasing order.
-4, 1, c
Suppose -14 = -4*b + 6. Suppose 3*r - 3*z - 9 = 0, 5*r - 3 = -4*z + b*z. Suppose r = -3*t + 2*t - 3. Sort 0, -2, t.
t, -2, 0
Suppose 0 = -4*y - 2 - 10. Let q be ((-20)/6)/((-12)/18). Put -2, y, q in decreasing order.
q, -2, y
Suppose 3*z - 2 = 2*z. Put -1, -3, z in increasing order.
-3, -1, z
Suppose 0 = 5*r - 2*p + 1, -3*r - 5 - 8 = 5*p. Let a be (3 + (-10)/4)*0. Suppose 3*q + 0*q - 6 = a. Sort q, -3, r in increasing order.
-3, r, q
Let n be (-2 + 4)/(-2) - -4. Let j = 9 - 5. Suppose 0*f - f + j = 2*r, -4*r + 6 = f. Sort n, -1, r in decreasing order.
n, r, -1
Let i = -13 + 13. Let u = 0.5 - i. Let x = 6 + -5.7. Sort x, 3/2, u in increasing order.
x, u, 3/2
Let s = -0.5 - 2.5. Let i be -2*(-42)/24*6/7. Sort s, i, 1/6 in ascending order.
s, 1/6, i
Let b = 70 + -70. Put b, 6, 4 in ascending order.
b, 4, 6
Let b(n) = n**2 - 4*n - 7. Let a be b(6). Suppose 0 = 4*o - 7*o. Let l(r) = -r**3 - 4*r**2 - 4*r - 2. Let z be l(-2). Put a, o, z in decreasing order.
a, o, z
Let o = -6 - -10. Put -12, o, -5 in decreasing order.
o, -5, -12
Let f be (0 - 1) + 2/(-1). Let d(r) = r + 17. Let a be d(-18). Sort 5, a, f in descending order.
5, a, f
Let i = -7 + 11. Let c(q) = -3*q - 9. Let s be c(-3). Suppose -5*x - 5 = h - 6*h, s = h - i. Sort 5, -1, x.
-1, x, 5
Let j = -49/20 - -9/4. Sort -4/5, j, -3 in increasing order.
-3, -4/5, j
Let w = 487/5 + -97. Suppose 0 = -0*z - 2*z. Suppose z = -2*o - 2*m - 2, -1 = 2*o + 3*m + 2. Put o, w, 3/5 in decreasing order.
3/5, w, o
Let w = 9.1 - 9. Let k = 0.1 - w. Let v = 0 - k. Sort v, 3, -2/3 in descending order.
3, v, -2/3
Suppose 2*x - 3*q + 6 = 1, 5 = 5*q. Sort 22, 0.3, x.
x, 0.3, 22
Let u = -41 + 122/3. Let j = -1.29 + 0.09. Let y = -1 - j. Put 2/13, u, y in increasing order.
u, 2/13, y
Suppose 3*w + 18 = 2*x + x, 0 = -2*w - 4*x + 18. Put -3, w, 3 in decreasing order.
3, w, -3
Let a(l) = -l**3 - 4*l**2 - 3*l - 3. Let o be a(-3). Put -5, 2, o in decreasing order.
2, o, -5
Let f = -203/4 - -51. Let h = 52 + -47. Let x = 0.4 - 5.4. Put h, x, f in ascending order.
x, f, h
Let i = 1.6 - 0.6. Let x = i - 2. Put -1/5, 1/4, x in decreasing order.
1/4, -1/5, x
Suppose 0 = -3*t + 3*j + 4 - 13, -3*t + 7 = j. Sort -4, t, 3 in descending order.
3, t, -4
Let w(s) = s**3 + 8*s**2 + 6*s - 2. Let d(r) = -29*r + 1. Let m be d(-1). Suppose 5*h + m + 5 = 0. Let z be w(h). Sort z, -4, 0 in ascending order.
-4, 0, z
Let c be (-2 + 1)/((-2)/(-14)). Let m = c + 2. Let s(u) = -u - 1. Let r be s(-4). Sort r, m, 4 in descending order.
4, r, m
Suppose -y + 3*y = -3*d + 2, -3*y + 3 = -2*d. Suppose -b = -3 - d. Put -4, b, -1 in decreasing order.
b, -1, -4
Let r = -19 - -19.11. Let b = -37.01 - -37. Let f = r + b. Sort f, 2/9, -1 in decreasing order.
2/9, f, -1
Let v = 0.82 - 12.62. Let j = v - -12. Let q = 2 - 2.4. Sort 2, q, j in ascending order.
q, j, 2
Let s(t) = -t**3 - 5*t**2 - 2*t + 1. Let g be s(-2). Let o = g + 10. Sort -1, o, 4 in decreasing order.
4, o, -1
Let y = 15 + -11. Sort 2, y, 3 in ascending order.
2, 3, y
Let d be 12/(-9)*((-4)/8 + 2). Put d, -24, 1 in decreasing order.
1, d, -24
Let r be (-2)/(-5)*(9 - 3 - 11). Sort r, -4, 30, 1 in descending order.
30, 1, r, -4
Let k = -0.8 - 0.2. Let a = k + 0. Let w = a + -1. Put 3, w, -5 in ascending order.
-5, w, 3
Let g = 2 - 8. Let w be -1 - ((-12)/10)/(3/(-20)). Let c be w/(-12)*(-4)/g. Sort c, -2, -5 in ascending order.
-5, -2, c
Let s = 29 - 27. Put -3, 5, s, -6 in descending order.
5, s, -3, -6
Let j(q) = 2*q + 3. Let h be j(6). Suppose 0 = 4*m + m + h. Sort 0, m, -5 in descending order.
0, m, -5
Let m(y) = -2*y. Let l be 5/(-15)*(0 - 3). Let b be m(l). Sort 3, b, -5.
-5, b, 3
Suppose -3*h - 6 = l, 3*h + 4 = -2*l + 5*h. Sort -2, -1, l in increasing order.
l, -2, -1
Let p = -145 - -142. Put -5, p, 13, -2 in descending order.
13, -2, p, -5
Let f = -64.1 + 64. Sort -4, 0.1, 4, f.
-4, f, 0.1, 4
Suppose -3*a = -2*t + 4, 3*a + 6 - 4 = 4*t. Let h be (10/4)/(2/4). Let c = 7 - 11. Sort h, c, a in descending order.
h, a, c
Let n be 0*3/(-9) + 24. Let x be n/15*(-5)/(-2). Suppose -6 = x*v - 2*q, 4*v + 2*q + 15 = v. Sort 3, v, 5 in decreasing order.
5, 3, v
Let v = -19 - -11. Let n be (-3)/(-12) - (-34)/v. Suppose y - 9 = -2*y. Sort y, n, -1 in increasing order.
n, -1, y
Let m = -19.3798 + 0.2898. Let j = m - -19. Put j, 4, 3 in increasing order.
j, 3, 4
Let h = 1/16 - 39/112. Sort h, 0.11, -0.2 in decreasing order.
0.11, -0.2, h
Let s = 2 - 5. Suppose 0 = -6*u + 3*u + 12. Sort -5, s, u in increasing order.
-5, s, u
Let r be (-5)/8*(0 - -2). Sort -1/5, r, 5, -2/9 in descending order.
5, -1/5, -2/9, r
Let o be 9/60 - ((-12)/15)/(-2). Put 1, o, 3, 0.09 in ascending order.
o, 0.09, 1, 3
Let f(h) = h + 8. Let k be f(-6). Let y = 2 - -3. Suppose 0*v + 25 = 3*x - 5*v, 2*v - 21 = -y*x. Sort 4, x, k.
k, 4, x
Suppose -5 = -2*u + 1. Let o = 2 + 2. Suppose 0 = -2*i - 2*c + 4, c - 4 + 0 = i. Put o, i, u in increasing order.
i, u, o
Let g = 0.04 - 4.04. Let c = -5 - g. Let f = 0.06 - -0.24. Sort 0.1, f, c in ascending order.
c, 0.1, f
Let i = 2 + 0. Let u be (-38)/(-6) - i/6. Suppose -u*a + 2*a + 4 = 0. Sort -2, -4, a in decreasing order.
a, -2, -4
Let n = 3 - 2. Put -5, -2, 4, n in decreasing order.
4, n, -2, -5
Let r = 19 + -16. Sort 2, r, 0.
0, 2, r
Let j = 0.7 + -0.6. Let z = -3 + 3.5. Sort z, -4, j in increasing order.
-4, j, z
Let a(c) = 69*c**2 - c - 1. Let v be a(-1). Suppose 5*t = 10, 4*s + 25 = 5*t - v. Let f be 6/s - (-33)/(-7). Sort f, 2, 5 in increasing order.
f, 2, 5
Let b(m) = m**3 + 4*m**2 + 2*m - 1. Let k be b(-3). Sort 3, -3, k, 4 in ascending order.
-3, k, 3, 4
Let m = -70 + 75. Sort 0.5, 1, m.
0.5, 1, m
Let v = 2 + -8. Let k be (4/78)/(2/v). Let j be -3 + -1 - 44/(-10). Put k, 1/5, j in descending order.
j, 1/5, k
Let v = 39 - 36. Sort v, 0.1, 3/2 in decreasing order.
v, 3/2, 0.1
Let b = -6 - -10. Suppose b*q + 5*w = 8 + 29, -4*q = -3*w + 3. Sort -3, q, 0 in decreasing order.
q, 0, -3
Let g = -18.6 + 18.9. Let m = -1 + 3. Sort 0.4, g, m in ascending order.
g, 0.4, m
Suppose 2*k - 3*k = 6. Let w = 4 + k. Let x be (-6)/(2 - w/(-4)). Sort -3, 1, x in ascending order.
x, -3, 1
Let j(b) = b**3 - 2*b**2 - 2*b - 1. Let l be j(-1). Let f(o) = o**2 - 5*o + 1. Let s be f(4). Let y = -5782/17 - -340. Put y, l, s in decreasing order.
y, l, s
Let k = -5 - -11. Let z = k - 4. Suppose -2*w = -w - z. Put w, -2, -1 in decreasing order.
w, -1, -2
Let u = 7.4 + -7.03. Let m = 0.03 + u. Let j = m + -0.3. Put j, -2/19, -1/2 in increasing order.
-1/2, -2/19, j
Let j(h) = -2*h. Let a be j(-2). Let b = -11 - -6. Sort 0, a, b.
b, 0, a
Let x = -361/847 - 2/847. Let o = -4 - -4.4. Put o, -0.1, x in decreasing order.
o, -0.1, x
Let m = 13.1 - 13.4. Sort -