 Sort k, a, -2.
a, -2, k
Let h = 18 + -15. Sort h, -1, 0.4 in ascending order.
-1, 0.4, h
Let i(z) = 2*z - 9. Let f be i(7). Let g = 13 + f. Suppose -2*j + 3*y = -5*j + g, 5*j - 20 = 5*y. Sort j, 4, -5 in ascending order.
-5, 4, j
Let d(u) = u**3 + u**2 - 3*u + 3. Let o be d(2). Let i be 6/o*3/(-2). Sort -4, i, 2 in increasing order.
-4, i, 2
Let f = 15.932 - -0.068. Put f, 4/3, -3 in ascending order.
-3, 4/3, f
Suppose -2*u + 29 - 21 = 0. Put -35, 3, -5, u in ascending order.
-35, -5, 3, u
Suppose 3*v + 13 = -2*b, 18 - 2 = -5*b - 2*v. Let a be (-9)/7 - 2/(-7). Put a, 4, b in descending order.
4, a, b
Let q = 101/28 - 15/4. Put -2, 1/5, 10/7, q in descending order.
10/7, 1/5, q, -2
Suppose -2*j + 15 = 2*j - 3*n, 0 = -3*j - 3*n + 6. Let c(r) = -3*r - 1. Let x be c(-2). Sort 2, j, x in increasing order.
2, j, x
Let c = 7936/63 + -930/7. Let m = -56/9 - c. Sort -0.4, -3, m.
-3, -0.4, m
Let d = -4 + 7. Let x be ((-24)/(-16))/(1/(-2)). Sort 1, x, d in increasing order.
x, 1, d
Let a(f) = f - 13. Let i be a(10). Let u = 3.2 + -3. Put 2, i, u in descending order.
2, u, i
Suppose 2*h - 6*h + 72 = 0. Let q = 19 - h. Put q, -1, -4 in increasing order.
-4, -1, q
Let g(d) = d**3 + 2*d**2 - 2*d. Let t be g(-3). Sort -2, t, 1 in descending order.
1, -2, t
Suppose 3*a = -1 + 7. Suppose 0 = -2*x + 2*v - 14, 4*v = -5*x + v - 11. Let d = x + 3. Put 5, a, d in ascending order.
d, a, 5
Let q be (-10)/(-4) - 8/(2 + 0). Put 3, 0, q in decreasing order.
3, 0, q
Let o(d) = -4*d - 4. Let x be o(-2). Suppose -4*b + 0 = -5*i - 41, -2*b + 8 = 0. Let l be 22/i + (-4)/(-10). Put x, l, -2 in decreasing order.
x, -2, l
Let m = -73 - -75. Sort m, -3, 1 in ascending order.
-3, 1, m
Let w = -3 - -3.5. Let a = -3.5 + w. Put -1/6, a, -5 in descending order.
-1/6, a, -5
Let u = -13/2 - -27/4. Put -2/5, u, -0.5, -3/4 in ascending order.
-3/4, -0.5, -2/5, u
Let x = 43 + -39. Let k = 1106207/145960 + -14/3649. Let z = k - 36/5. Put x, -5, z in descending order.
x, z, -5
Let g = 0.034 - 2.034. Put g, 3/7, 4 in decreasing order.
4, 3/7, g
Let g = 28 - 27. Let c = 0.9 - 1. Sort g, c, 0.4.
c, 0.4, g
Let c(o) = -o + 1. Let l = 12 + -7. Let i be c(l). Suppose 0 = f - 0*f + 3. Put f, i, -5 in increasing order.
-5, i, f
Let i = -63/2 - -30. Let x = -2 - i. Let f = -32 - -30. Sort 4, f, x in descending order.
4, x, f
Suppose -6*z + 7*z = 0. Sort -12, z, 0.5.
-12, z, 0.5
Let j(o) = -2*o - 1. Let k be j(-5). Let d be 6/(-9) - (-15)/k. Sort d, 0.3, 0.4 in descending order.
d, 0.4, 0.3
Suppose 2*c - 3*p - 7 = 0, 2*c + 5*p + 17 = -0*p. Put -2/23, 0.3, c in ascending order.
c, -2/23, 0.3
Let q be (-3)/(-12) + 18/(-8). Let h be q/(-3) + 13145/(-120). Let y = h - -109. Put y, -2, 2/25 in increasing order.
-2, 2/25, y
Let f = 0.1 + -2.1. Let o = 1 - f. Let u = 0.2 - 0. Put -0.3, o, u in descending order.
o, u, -0.3
Suppose 5*u = 3*u - 2. Let n be -3*((-3)/9)/1. Sort u, 5, n in decreasing order.
5, n, u
Let g = -0.1 + 0.3. Put -0.1, 1, g, 1/4 in ascending order.
-0.1, g, 1/4, 1
Let o be 1 + 0 + -2 + 0. Let d = -6 + 7. Let b = 30 - 26. Sort o, b, d.
o, d, b
Let b be -3*1 - 19/(-7). Sort 0.5, b, 4 in ascending order.
b, 0.5, 4
Let r be 1/2 - (6/12 + -2). Sort r, 3, 5, -5 in decreasing order.
5, 3, r, -5
Let q = -10.6 + -1.4. Let d = q + 7. Let b = d - -4.8. Put b, 5, 3 in decreasing order.
5, 3, b
Let r = 17.09 + -17. Let f = r - 3.09. Sort 0.4, -0.1, f in decreasing order.
0.4, -0.1, f
Let v(z) = z - 1. Let x be v(9). Suppose t = 2*t + 12. Let q be (x/t)/((-1)/(-6)). Sort 5, 1, q.
q, 1, 5
Suppose -28 = 2*l - 82. Let b be 0 + l/15 + -2. Sort 1/4, b, 0.2 in decreasing order.
1/4, 0.2, b
Suppose 3*o - 94 = v, -v + 0*v + 61 = 2*o. Let f be o/35 - 2/7. Let w = 3.08 - 0.08. Sort 1/2, w, f in increasing order.
1/2, f, w
Let h(p) = -p**2 - 6*p - 7. Let y be h(-5). Sort -5, -6, 3, y in decreasing order.
3, y, -5, -6
Suppose 5*d + 5 = -0*d - 5*g, -4*d - 3*g - 1 = 0. Suppose -b = 3*t + 20, t + 3 + 17 = -3*b. Sort d, 5, b in descending order.
5, d, b
Let b = -13 - -8. Let f(l) = -2*l**2 - l + 1. Let x be f(-3). Let v = 29/2 + x. Put -0.4, b, v in increasing order.
b, -0.4, v
Let b(p) = -p - 8. Let n be b(-10). Suppose x - 1 = -n. Let d be (8/6)/(1/(-3)). Sort 2, x, d in increasing order.
d, x, 2
Suppose 10 = -3*n + b - 3*b, 4*n + 4*b + 20 = 0. Put -3, 5, n in increasing order.
-3, n, 5
Let a be (2/(-4))/(-3 + 77/28). Put a, -13, -1 in ascending order.
-13, -1, a
Let w(d) = 3*d**2 + d + 1. Let v be w(-1). Suppose o + 3*r + 10 = 4*r, 16 = -o + 3*r. Let f be o/(-6) + 3/(-18). Sort f, 5, v in ascending order.
f, v, 5
Let z = 28 + -32. Put 3, z, -6, 1 in decreasing order.
3, 1, z, -6
Let c(s) = -2*s**2 + s - 4. Let n be c(0). Sort -1, n, 2.
n, -1, 2
Let n = -108 - -104. Let s = -2/241 + -464/2169. Put s, -1, n in increasing order.
n, -1, s
Suppose -11*v + 6*v = -15. Suppose -3*o - 3*w = -6*o, 0 = -o - 3*w - 8. Sort 0.4, v, o in descending order.
v, 0.4, o
Let p = 4 - 2. Suppose p*y - 4 = 0, 2*t - 1 - 3 = -y. Sort t, -2, 0 in descending order.
t, 0, -2
Suppose -26 = -5*c - 6. Suppose -2*u = 2 - c. Suppose -u - 1 = 2*f. Put 1/2, f, 4/5 in decreasing order.
4/5, 1/2, f
Let r be 11/(-15) - (3 - 4). Let w = r - 58/105. Put w, 1, 9 in ascending order.
w, 1, 9
Let s = 1.037 + -0.037. Sort 2/9, s, 0.1 in ascending order.
0.1, 2/9, s
Let k(s) = 3*s**2 - s - 1. Let n be k(3). Suppose -2*p + 5*d + n = 0, -5*p + 2*p - 3*d = -3. Sort p, 1, -2/9.
-2/9, 1, p
Suppose b + 39 = -5*j + 4, -2*j - 14 = 3*b. Sort 4, j, 1 in decreasing order.
4, 1, j
Let r = -41 + 34. Sort 0, -5, r.
r, -5, 0
Let i(o) = -2*o - 3. Let m be i(-2). Let c = -18 - -16. Put m, -3, c in decreasing order.
m, c, -3
Suppose 4 = n + n. Suppose -5*t = -3 - n. Let g be (t - 18/5) + 2. Sort -0.3, -1, g in descending order.
-0.3, g, -1
Suppose 4*h = 5*h - 5*j - 13, -2*h = 3*j. Put 4, h, -4 in descending order.
4, h, -4
Let b be (-2 - -4 - 2) + -4. Put 2, 1, b, 0 in descending order.
2, 1, 0, b
Let s be 0 - 1 - 214/(-160). Let y = 1/16 + s. Put 1, y, -0.3 in increasing order.
-0.3, y, 1
Let a(q) = -2*q**2 - 5*q - 3. Let f = 8 + -11. Let d be a(f). Let x be 3/d + (-22)/(-28). Sort -1/3, 5, x.
-1/3, x, 5
Let k = 10 + -7. Let j(x) = 4*x - 8. Let g be j(1). Put 1, k, g in descending order.
k, 1, g
Let p(m) = -m. Let n be p(1). Let l(z) = -2*z**2 + 21*z + 16. Let q be l(11). Put -5, n, q in decreasing order.
q, n, -5
Suppose 52 - 16 = -4*j. Let a = 5 + j. Sort a, 1, 2.
a, 1, 2
Let k = 23/30 - 3/5. Sort 1, k, -2/3 in descending order.
1, k, -2/3
Let b(x) = 2*x + 1. Let r be b(-3). Let a = 8 + r. Put 0, 1, a in decreasing order.
a, 1, 0
Let p be (-11)/(-2) + 9/(-6). Suppose 0 = -0*i + 5*i. Put p, i, -5 in ascending order.
-5, i, p
Let y be 7/(-9) + 4/4. Sort -4, y, -1 in ascending order.
-4, -1, y
Let t = -0.23 + 0.03. Sort t, -8, 1 in increasing order.
-8, t, 1
Let s = 3 + 0. Let r(t) = -t**2 + 6*t + 5. Let b be r(7). Sort b, s, 2 in descending order.
s, 2, b
Let y(m) = 2*m. Let k be y(3). Sort -3, 3, k in ascending order.
-3, 3, k
Let h = 2 + -2. Let i(z) = z**2 - 5*z + 4. Let x be i(3). Put h, 4, x in ascending order.
x, h, 4
Let q(t) = t - 2. Let c be q(5). Suppose c*k - 46 = -4*d - 2, -2*d + 8 = -2*k. Suppose 2 - d = 2*a. Sort a, -2, 1 in decreasing order.
1, -2, a
Let r be ((-4)/(-10))/((-2)/10). Let n be (-6)/(-3)*(-3)/r. Let k be (6 + -2)/((1 - -1)/2). Put k, 1, n in decreasing order.
k, n, 1
Let g = 2.98 + 0.02. Let c = -3 + g. Let o = -2 - -3. Sort 2, c, o in increasing order.
c, o, 2
Let y = -17.1 - -17. Put 5, y, -1 in descending order.
5, y, -1
Let p = 15 + -14.8. Let d = p - -1.8. Put d, 0.2, 0.3 in descending order.
d, 0.3, 0.2
Let l = 1.07 + -3.07. Sort l, 3/2, -7 in decreasing order.
3/2, l, -7
Let c = -26 + 28. Sort c, -0.4, -2/3.
-2/3, -0.4, c
Let h = -17.9 + 18. Put 0.3, h, 1 in descending order.
1, 0.3, h
Let v = 18.1 + -18. Sort 4, v, -2/9 in descending order.
4, v, -2/9
Suppose 5*y - 2*u = 4*y + 7, -y = 2*u + 9. Let m(v) = v**2 - 10*v + 9. Let i be m(9). Put y, 2, i in descending order.
2, i, y
Let x be 3632/(-144) + 4/18. Sort -4, 3, -1, x.
x, -4, -1, 3
Let z be ((-6)/9 - -1)/((-5)/(-15)). Put -10, z, -4, 5 in increasing order.
-10, -4, z, 5
Suppose 0 = -4*m - m + 30. Let d be 1*(-19 + m/(-3)). Let f be 14/d*(-6)/7. Sort -1/3, f, -5/2 in ascending order.