2 in increasing order.
-2, l, 4
Let t = 45 - 33. Put -3, 5, t in decreasing order.
t, 5, -3
Let z(b) = -b**2 - 7*b - 6. Let u be z(-6). Suppose -4*m = -2*m - 20. Suppose m = 5*r, 2*k + k = 3*r - 21. Put u, k, 3 in decreasing order.
3, u, k
Let i be 7 + 6/(6/(-3)). Put -1, i, -5 in ascending order.
-5, -1, i
Let z = 0.07 - 0.06. Let b = 0.0119 + 4.9781. Let s = b + z. Sort s, 1/6, 0.4 in decreasing order.
s, 0.4, 1/6
Let a = -0.1 + 0.12. Let j = -1.08 - a. Let d = j + 0.8. Sort d, -5, 1 in increasing order.
-5, d, 1
Suppose 0 = -0*l + l. Sort -0.4, -3/8, l in increasing order.
-0.4, -3/8, l
Suppose -6*h + 36 = 60. Sort h, 0.7, -0.4 in descending order.
0.7, -0.4, h
Let m = -134 - -673/5. Sort 1/9, m, 1/4.
1/9, 1/4, m
Let v = -53 - -40. Sort 0.2, 2/7, v, -0.2 in descending order.
2/7, 0.2, -0.2, v
Let i = 2 - 5. Let o be -1*(4 + i)*0. Sort -1, 1, o.
-1, o, 1
Let g be 0 + 8/(-36) - 16/9. Sort g, 1, 3, 4.
g, 1, 3, 4
Let p(c) = c**3 + c**2 - c. Let b be p(1). Suppose 0*g - b = -g. Let j(w) = -4*w**2 + w. Let y be j(g). Sort y, 2, 7 in ascending order.
y, 2, 7
Let r(s) = 1 - s + 4 + 0*s. Let j be r(4). Suppose -d - 5*k - 15 = 0, 0 = -5*d + 2*k - 0*k + 33. Sort -1, j, d.
-1, j, d
Let o = -2270/9 - -252. Put -1/6, o, 1/7, 0.2 in descending order.
0.2, 1/7, -1/6, o
Let s = -19 + 33. Let m = s + -8. Let p = 5.6 - m. Sort 0.1, p, -0.3 in decreasing order.
0.1, -0.3, p
Let j = 7 + -8. Let w = 0.9 + j. Let l = -86 + 347/4. Put -2/17, l, w in ascending order.
-2/17, w, l
Let p be 4/(-6)*-3 + 0. Let n = 1545/13 + -119. Put p, n, -0.5 in descending order.
p, n, -0.5
Let y = -3.24 + -0.76. Sort -1/5, y, 1/6, -2 in decreasing order.
1/6, -1/5, -2, y
Let j = 47 - 49. Sort 1, 3, j, -1.2 in increasing order.
j, -1.2, 1, 3
Suppose 4*z + 5*p = 130, 5*p - 42 = -2*z + 18. Suppose 5*y - z = -2*y. Put 2, y, 0 in increasing order.
0, 2, y
Suppose 4*m = y + 9, -4*y + m + 4*m = 3. Suppose -2*c = y*d - 5, 2*c + 0*c + 1 = 3*d. Let x be -1*(-3 + (3 - 2)). Put c, 0, x in decreasing order.
x, c, 0
Let n be 5/(-25) - (-42)/10. Let p(q) = q**3 + 2*q**2 - 2*q + 1. Let a be p(-3). Sort 0, n, a in decreasing order.
n, 0, a
Suppose 2*a - 3 = 2*c - 1, 5*a + 11 = c. Sort a, 3, -8 in descending order.
3, a, -8
Let u(v) = 2*v**2 + 6*v + 6. Let x be u(-2). Suppose 0*q = 5*q + 15. Sort -0.3, x, q.
q, -0.3, x
Let l = -33 + 37. Sort -2, l, -0.1, -4/5 in increasing order.
-2, -4/5, -0.1, l
Suppose -3*g + 1 = -2. Let b = -63 + 59.1. Let h = b - -4. Put h, -2, g in decreasing order.
g, h, -2
Let u = -32 - -31. Sort 2/61, u, -1/4 in descending order.
2/61, -1/4, u
Let x be ((-10)/4)/(9/18). Sort 5, x, -2 in decreasing order.
5, -2, x
Let c be (2/3)/((-136)/51). Sort c, 13, 3 in descending order.
13, 3, c
Let a = -2 - -1. Let k = 0.02 - 0.32. Sort k, a, -0.2 in decreasing order.
-0.2, k, a
Suppose -5 = 5*l - 0. Let z be 1 - (-3)/((-1)/l). Put z, 1, -5 in descending order.
z, 1, -5
Let y = 22 + -23. Put 5, y, -2 in descending order.
5, y, -2
Let k = -9 + 8.8. Sort -2/7, k, 3 in decreasing order.
3, k, -2/7
Suppose 8*x - 24 = 4*x. Let d be x/33 + (-10)/55. Suppose -n = n - 8. Put d, n, 1 in ascending order.
d, 1, n
Let n = 14 + -15. Sort n, -5, 7 in descending order.
7, n, -5
Let u be (-34)/38 - (1 + -2). Let o = 67/3 - 22. Put u, o, 0.4 in decreasing order.
0.4, o, u
Let d = -3.5 + 3.8. Let w = -4 - -9. Put -3, d, w in decreasing order.
w, d, -3
Let u be 4/14 - (-594)/126. Put u, 2, -1 in descending order.
u, 2, -1
Let y be 4 + ((-4)/(-6))/((-12)/(-18)). Let t = 8 - -4. Suppose -2*j - j = -t. Sort j, y, -5.
-5, j, y
Suppose 0 = -3*n - 2*h - 2, 4*n + 3*h - 2 = -6. Let i(k) = k**2 + 4*k + 3. Let v be i(-3). Suppose 0 = 3*r + 3. Sort n, v, r in decreasing order.
n, v, r
Let z(c) = c**2 + 9*c - 5. Let q be z(-9). Let h be q*((-1 - 1) + 1). Sort -4, h, -5 in decreasing order.
h, -4, -5
Let z = 3 - 5. Let f = -5 + 1. Let v = 136/21 - 50/7. Sort v, f, z in ascending order.
f, z, v
Let c(k) = k**2 + 5*k - 10. Let r be c(-6). Sort -3, 9, r in decreasing order.
9, -3, r
Suppose -8*j - 9 = -2*z - 5*j, 3*z + j - 8 = 0. Put -3, 12, z, -5 in increasing order.
-5, -3, z, 12
Suppose 2*w = -0 + 8. Put w, 5, 3 in ascending order.
3, w, 5
Suppose -3*y = -15, 4*s + 7*y = 2*y + 13. Suppose -j = 4*j + 105. Let a = 20 + j. Put -2, a, s in descending order.
a, -2, s
Let w(o) = 13*o**2 + 2*o**3 + 2*o**3 - 2 - 3*o**3 + 3. Let m be w(-13). Let k = 5 - 2. Put 5, k, m in ascending order.
m, k, 5
Let k = 0.1 - 0.1. Let g = -2 - -2.4. Let d = g + k. Sort 1, d, -0.2 in descending order.
1, d, -0.2
Let z = -4 - -5. Let a be (z/7)/(6/(-18)). Sort -4, -2, a.
-4, -2, a
Let k = 4.03 - 0.03. Let h = -3.1 + 2.6. Sort h, -2/9, k in decreasing order.
k, -2/9, h
Let u be (34/(-14) + 3)/(24/28). Sort -0.1, u, -2/55.
-0.1, -2/55, u
Let s be -4 + (-12)/20*-6. Sort -1/2, 2/15, 0.1, s in descending order.
2/15, 0.1, s, -1/2
Suppose v + v = v. Sort 5, -3, -11, v.
-11, -3, v, 5
Let o(s) = 5*s**2 - s - 1. Let w(p) = p**2 - p - 1. Let n(j) = o(j) - 4*w(j). Let l be n(-4). Sort -3, l, -2 in increasing order.
-3, -2, l
Let k = -6.4 + 6. Let r be (-6)/33 - (-2)/(-110). Put r, k, -0.3 in descending order.
r, -0.3, k
Suppose -4*i + 1 + 15 = 0. Sort 5, i, -5, -2 in descending order.
5, i, -2, -5
Suppose -3*z - 3*o + 11 = -4*z, 4*z + 5*o = 41. Suppose 0*f + f + 5*k = -9, -5*f + z*k + 13 = 0. Sort f, 3, -7.
-7, f, 3
Let p = 8/9 + -58/45. Suppose 3 = 4*k - k + 2*f, 2*k - f = 2. Put -3/7, k, p in increasing order.
-3/7, p, k
Let k = -0.169 - 6.531. Let m = k - -7. Sort m, -2/5, 5 in decreasing order.
5, m, -2/5
Let z = -4 - -7. Let j be 17/4 + 9/(-36). Let g(k) = 2*k + 7. Let q be g(-5). Sort j, z, q in increasing order.
q, z, j
Let f(p) = -p**2 - 8*p - 3. Suppose 5*c = -v - 17, 2*v + c = -2*v - 30. Let j be f(v). Let m be -3*2/(-3)*-1. Sort 3, m, j in descending order.
j, 3, m
Let n = 140 + -189. Sort -3, 4, n in descending order.
4, -3, n
Let d(m) = m**2 - 4. Let s be d(-3). Suppose -7*p + 2*p = 3*t - 11, 0 = -2*t + 4. Sort s, -5, p in ascending order.
-5, p, s
Let n = -19 + 18.8. Sort n, 2, 1, 0.6.
n, 0.6, 1, 2
Let n = -0.44 - -1.24. Put 1/4, -5, n in descending order.
n, 1/4, -5
Let q = 0.01 - -0.39. Let a = 0.09 - -5.91. Let c = 3 - a. Sort 5, c, q in increasing order.
c, q, 5
Let d = -62 + 62.2. Put d, -0.2, -0.01 in increasing order.
-0.2, -0.01, d
Let h = 3 - 2. Suppose 14 = 2*u + 2*t, -3*t - 6 = -3*u + 3. Let g = 8 + -12. Sort u, g, h in decreasing order.
u, h, g
Let t = -50.4 + 46. Let q = 0.6 - t. Let n = 4.8 - q. Put n, -0.5, 3/4 in increasing order.
-0.5, n, 3/4
Suppose -3*k - 5 = 7. Let g = -51 + 53. Put k, g, -1 in descending order.
g, -1, k
Let t = -8 + 13. Let a be (-4)/(-18) + (-86)/(-18). Suppose -a*x - 1 = -2*j - 30, 18 = -4*j + 2*x. Sort t, 0, j in descending order.
t, 0, j
Let t = -2.9 - -7.9. Sort t, 1/5, -0.1 in increasing order.
-0.1, 1/5, t
Suppose 0 = -n + 3 - 0. Put 5, 2, n in ascending order.
2, n, 5
Let u = 318.0361 - 318. Let w = u + 4.8939. Let n = 0.07 + w. Sort -3, 0, n in increasing order.
-3, 0, n
Let t = 180 - 177. Put 9, 2/11, t in decreasing order.
9, t, 2/11
Let b = -1/119 - 50/119. Let g be 1/2 + (-18)/(-4). Let x = 728.3 + -728. Sort g, x, b in increasing order.
b, x, g
Let k = 0.2 - 0.3. Let x = -147 - -147.63. Let l = x - 0.13. Sort k, 1/3, l in ascending order.
k, 1/3, l
Let j = -0.05 + 2.05. Suppose -4 = -2*s - 0. Let h be 12/(-102) - (2 - s). Sort j, h, -3 in descending order.
j, h, -3
Suppose 1 = m - 2. Let t be 2/2*3 - 2. Let r be -2 + (t - 1/1). Put m, r, 0 in increasing order.
r, 0, m
Let c = 2.86 - -0.14. Sort -2/17, -4, c in descending order.
c, -2/17, -4
Let i = 2/39 - -8/13. Suppose -4 = 5*w + 2*s - 0, 5*w + s + 7 = 0. Sort w, i, -0.5.
w, -0.5, i
Let o = -0.9 - -1.9. Suppose -2*h + 14 = -6. Let n be (h/6)/(2/(-6)). Put n, o, -4 in increasing order.
n, -4, o
Let b = 35 - 93. Let n be 8 + -6 - (-241)/(-4). Let z = b - n. Sort z, -0.2, -0.4 in ascending order.
-0.4, -0.2, z
Suppose -2*o - 19 = 3*b, -10 = -5*o + 3*b + b. Sort 2, 0, 3, o in decreasing order.
3, 2, 0, o
Suppose 5*k + 4*t = -10, -k + 5*t = 3*t - 12. Let m be 3 - (-3 + 7 + -1). Let d(g) = g - 2. Let c be d(m). Sort 0, c, k in decreasing order.
k, 0, c
Let k be 10/8*(-3 - 1). Let t be (-32)/10 + (-3)/(-15). Sort -2, k, t in increasing order