ding order.
5, u, j
Suppose -z - 10 = -4*a - 3*z, -2*z = 5*a - 13. Sort -2, -3, a in ascending order.
-3, -2, a
Let x be 1*(12/3)/(-2). Let k be 2 - 15/(3/1). Sort k, x, 5.
k, x, 5
Let o = -4 - 1. Let i(n) = n**2 + 15*n + 23. Let f be i(-13). Sort o, f, -2 in decreasing order.
-2, f, o
Let y(m) = 7*m**2 + 2*m - 5. Let k(c) = -c**2 - c + 1. Let w(u) = -6*k(u) - y(u). Let v be w(3). Put v, -3, 0 in ascending order.
-3, 0, v
Let f = -1 + 6. Let g(l) = 4*l - 2. Let w be g(5). Let p be 4/w - 16/(-9). Sort -2, f, p in increasing order.
-2, p, f
Suppose 6 = -5*i - 4. Suppose -3*b + 5 = 2*b. Let n be (-1 + 2)*(1 + 1). Put n, b, i in ascending order.
i, b, n
Let s = -25 + 18. Let i = s - -7. Suppose i*z - 2 = 2*z. Sort -4, z, 3.
-4, z, 3
Let r = -1.25 + -2.75. Let f = -0.5 + 1. Sort r, -2/5, f in ascending order.
r, -2/5, f
Suppose -2*z + p - 2*p + 15 = 0, -5*p + 30 = z. Suppose -z*k = -1 + 6. Let r be k/2*-1*10. Sort r, 3, -2/11 in increasing order.
-2/11, 3, r
Let q = -1.99 + -0.01. Sort -4, -5, q in decreasing order.
q, -4, -5
Suppose -4*x - 4*n = 16, 5 = -3*x - n + 3. Sort 2, -2, x in descending order.
2, x, -2
Let n = -0.1 + 0.1. Let u = -103 - -105. Sort n, -0.5, u.
-0.5, n, u
Let z(y) = 3*y + 3. Let d be z(-4). Let i(v) = -v**3 - 10*v**2 - 11*v - 12. Let a be i(d). Put 0, a, -3 in descending order.
a, 0, -3
Let o(p) = p**3 - p**2 - 2*p + 3. Let m be o(3). Let l be -2 - (-1 - 21/m). Sort 5, l, -5.
-5, l, 5
Suppose -5*l - 7 = 13. Suppose -4 = 2*q - 0. Suppose 0 = o + 1 - 2. Sort l, q, o in decreasing order.
o, q, l
Let u = -1.4 + 1. Let q = -4.9 - 0.1. Sort q, u, 0.4 in descending order.
0.4, u, q
Suppose 6*d + 14 = 2. Sort d, 2, -1 in decreasing order.
2, -1, d
Let l be 1/3 - (-24)/9. Let h = -26/21 + 4/7. Let d = -17.1 + 17. Sort h, l, d.
h, d, l
Suppose 32 = -4*m - 4*z, -3*z = 5*m - 6*z + 16. Put -4, m, 1, -3 in ascending order.
m, -4, -3, 1
Let z(n) = n**3 + 5*n**2 + 4*n - 3. Let j be z(-4). Sort j, -0.1, 2/3 in descending order.
2/3, -0.1, j
Let y = 35 - 30. Sort -5, -1, y, 4 in ascending order.
-5, -1, 4, y
Let s = -42 - -43. Put -1/6, s, -1, 2/11 in increasing order.
-1, -1/6, 2/11, s
Suppose -2*t - k - 8 = 3*k, 2*k = -2*t. Let u = -1 + t. Suppose 2 = -3*s + s + 3*j, -5*j - 10 = 0. Sort s, 1, u in decreasing order.
u, 1, s
Let z be 3*(4 + -3) - 8. Put z, 2, 3 in ascending order.
z, 2, 3
Let d be (2/55)/(3/15). Let r be -54*(16/(-3) - -2). Let a = r + -1624/9. Sort a, d, 1 in descending order.
1, d, a
Suppose 5*v + 2*n - 10 = 5, n = 2*v - 15. Suppose 4*s - 14 = -o - o, -v*s = -3*o - 1. Sort s, 3, -3 in ascending order.
-3, s, 3
Suppose -2*k = -w - 6, 10 = 5*k - 7*k + 5*w. Suppose 2*d - 8 = h, -5*d = -3*h - d - 14. Sort -2, k, h in decreasing order.
k, h, -2
Suppose -2*x + 17 + 1 = k, 10 = 5*k. Suppose 0*t = -4*t + x. Sort -3, t, 0.
-3, 0, t
Let s = 10 - 11.1. Let y = 1 + s. Let d = y + 0.5. Put -4, d, -1 in increasing order.
-4, -1, d
Let c = 14 - 10. Let w be (-24)/28 + 2 - 1. Put c, -0.1, w in decreasing order.
c, w, -0.1
Let u = 422/7 - 60. Put u, 2/5, 3 in ascending order.
u, 2/5, 3
Let i = -2 + 3. Let u(h) = h**2 + 25*h + 42. Let c be u(-23). Put c, -3, i in increasing order.
c, -3, i
Suppose 6*y + 2*y = 16. Put -1, 6, y in decreasing order.
6, y, -1
Let s(l) = l**2 - 8*l - 4. Let h be s(7). Let f be h/(-3) + (-2)/3. Let t(u) = u**3 - 11*u**2 - 12*u - 3. Let c be t(12). Put 0, f, c in decreasing order.
f, 0, c
Let v(c) = c**2 + 3*c. Let h be v(-4). Suppose -8 = -2*b + 3*y, -2*b - h*y = -3*y. Sort b, -4, -6.
-6, -4, b
Let o(g) = -g + 3. Let r be o(8). Sort 2, r, 0.
r, 0, 2
Let k = 406 - 6092/15. Let p be (-2)/(-12) + (-1)/(-2). Sort k, -2/13, p.
-2/13, k, p
Let q = -6.9 - -7. Suppose -4*k + 35 = -5*g - 0*g, 2*g = -2*k + 4. Let z = -4 + 3. Sort z, q, g in decreasing order.
q, z, g
Suppose -84 = t - 5*t. Put -2, 2, 3, t in increasing order.
-2, 2, 3, t
Let b = -21.2 + 21. Let r = -6.2 - b. Put r, 5, -2 in decreasing order.
5, -2, r
Let g(v) = v - 5. Let m be g(0). Put 2, 5, m, -2 in decreasing order.
5, 2, -2, m
Let g = 5 + -10. Let k = -6 - g. Let b = 1.3 - 0.3. Put -0.4, b, k in decreasing order.
b, -0.4, k
Let p = 13 + -11. Suppose 0 = 3*r + p*r. Let l be 3 - 4 - (-1)/(-1). Sort 4, l, r.
l, r, 4
Let s = 0.23 + -0.14. Sort s, -0.5, -1/3 in descending order.
s, -1/3, -0.5
Suppose 3 + 3 = -3*l. Let s be -3 + -3 + 3 + -1. Let n be (0 - 0)/(4 + -6). Sort s, n, l in descending order.
n, l, s
Let h = 8 + -2. Suppose 2*k + k + h = 0. Suppose 2*b - 2 = -12. Put b, k, 5 in decreasing order.
5, k, b
Suppose 3 = -4*l + 7*l. Sort -2/5, l, 0.
-2/5, 0, l
Let z = 17 + -18. Sort 0, z, 1, 5 in increasing order.
z, 0, 1, 5
Let i = 0.067 + 3.933. Sort -0.2, -5/3, -5, i in descending order.
i, -0.2, -5/3, -5
Suppose 4*z - 10 - 2 = 0. Let f be (z/15)/(3/15). Sort f, 0, 4.
0, f, 4
Let x(d) = d**2 + 4*d - 3. Let m be x(-6). Let t be 6/m*(-9)/(-2). Let k be -7 + 2*3/t. Sort k, 1/3, -1/3.
k, -1/3, 1/3
Let h = -21 + 18. Put 5, 1, h, -5 in ascending order.
-5, h, 1, 5
Let q = -2 + 0. Let d = q - 1. Put 0, d, -3/7 in decreasing order.
0, -3/7, d
Suppose 0 = 3*h - 6, -3*y + 3*h + h = 14. Let j be 2 - 7*(-1)/(-1). Put j, 4, y in ascending order.
j, y, 4
Let m = 59 - 60. Sort -2, m, 0, 12 in decreasing order.
12, 0, m, -2
Let o = 50 - 48. Let r = -4 + 4. Sort 4, o, r.
r, o, 4
Let z(f) = -4*f + 8. Let a be z(2). Let q = -2 + 1. Sort q, 4, a in decreasing order.
4, a, q
Suppose 6*c - 4*c + 8 = 0. Let l = -6 + 10. Sort l, c, 3.
c, 3, l
Suppose 0 = -2*l + 3 - 53. Let i be (-6)/20*l/30. Let j = -79 + 393/5. Sort i, j, -5 in descending order.
i, j, -5
Let q = 3.89 - -0.11. Let l = q + -2.8. Let f = -1 + l. Put 0.3, f, -4 in ascending order.
-4, f, 0.3
Suppose w = 3*t - 13, 2*w + 0*t = 2*t - 10. Let m(z) = z**3 + 4*z**2 + 4*z + 3. Let v be m(-2). Sort v, w, 4 in increasing order.
w, v, 4
Let j = 5 + -3. Suppose 0*g = -j*g - 2. Let t be (-1)/(g/3) + 1. Sort 0, t, -3 in descending order.
t, 0, -3
Let s = 3 + -3. Let f(c) = c**2 - 2*c + 2. Let o be f(2). Sort o, s, 3 in increasing order.
s, o, 3
Let n be 1*(-1 - (2 - -3)). Let u = -4 - n. Put 1, 4, u in increasing order.
1, u, 4
Let l = -22 + 24. Sort l, -2, -3.
-3, -2, l
Let r(o) = o - 7. Let b be r(6). Let g be 10/(-25) - ((-22)/5)/1. Put -5, g, b in descending order.
g, b, -5
Let y(p) = p**3 + 2*p**2 - 4*p + 1. Let w be y(-3). Suppose -t = 3*m + 2, -t + w*t + 6 = 3*m. Let b = -34 + 37. Put b, -1, m in descending order.
b, m, -1
Suppose 5 + 1 = 2*k. Suppose k*d + 8 = -d. Let n be 2/((-3)/(-1 + d)). Put -2, 1, n in decreasing order.
n, 1, -2
Suppose 3*o - 3*k + 15 = 0, 6 = -4*o + 2*k - 4. Suppose 0*x = 3*x + 3*y + 12, y + 10 = -3*x. Sort o, x, -5 in decreasing order.
o, x, -5
Let f = -0.15 - -4.15. Sort -0.2, f, 0 in decreasing order.
f, 0, -0.2
Let j = 2 - 2.1. Let y be 13/(-9) - (-1 - 0). Sort -0.3, y, j.
y, -0.3, j
Let k = -0.7 + 0.5. Let c = 0.35 + -0.05. Let m = k - c. Sort m, 0.1, 4 in increasing order.
m, 0.1, 4
Let t = 521/1304 - 4/163. Put -0.3, 0, t in ascending order.
-0.3, 0, t
Let z = -3.1 + 12.6. Let y = 10 - z. Sort -1, y, -6 in ascending order.
-6, -1, y
Let s(q) = -q + 4. Let v be s(0). Suppose 7 = -v*o + 23. Suppose -o*h - 11 = 9. Put h, 3, -4 in decreasing order.
3, -4, h
Suppose -1 = -g + 6. Suppose 2 = -5*b + g. Suppose 3*r = -r + 8. Sort b, -5, r in descending order.
r, b, -5
Let k be (5/(-60))/((-1)/2). Let m = 0.43 + -0.13. Put m, 5, k in increasing order.
k, m, 5
Let o = 0.4 - 0.3. Let y = 0.76 + -0.36. Let s = 0 + -0.2. Sort o, y, s in descending order.
y, o, s
Suppose 5*j = 8 + 2. Put 4, j, -12 in ascending order.
-12, j, 4
Suppose -6*f + 8*f - 12 = 0. Suppose 1 = -j + f. Sort j, -2, -1 in decreasing order.
j, -1, -2
Let l = 130/3 + -43. Sort -2/17, l, -3/5 in decreasing order.
l, -2/17, -3/5
Let t(a) = -a - 1. Let b be t(-6). Suppose 0 = 5*c + 3*f + 10, -3*c - 3*f = -0 + 6. Sort 0, c, b in increasing order.
c, 0, b
Let m be -7*2/4*2. Let p(w) = w**3 + 8*w**2 + 6*w - 8. Let o be p(m). Let g(n) = -n**3 + 3*n**2 + 2*n + 4. Let j be g(4). Sort 0, j, o in decreasing order.
0, o, j
Suppose -4*s - 60 = -0. Let w be 8*(s/54)/5. Sort w, 2, 2/13.
w, 2/13, 2
Let l be 1 + -2 - 1*-1. Let g = 6.66 - 6.6. Sort -4, g, l in increasing order.
-4, l, g
Let s = -0.15 - 9.85. Let u = 14 + s. Sort 5, u, 1/11 in decr