-2, 2 in decreasing order.
i, 2, -1, -2
Let y be ((-72)/45)/((-2)/5). Let v = 4 - 4. Suppose 0*p + 3*p - 15 = v. Put 0, p, y in descending order.
p, y, 0
Let f = 5 - 3. Put f, -1, 0 in decreasing order.
f, 0, -1
Suppose 0 = -0*p + 3*p - 6. Let l(k) = -k - 2. Let z be l(-13). Let i = z - 10. Put i, p, -1 in descending order.
p, i, -1
Let g = -5.09 - -0.09. Suppose p = -i - p + 8, 5*p - 35 = 5*i. Let r = -40 + 198/5. Sort i, g, r in ascending order.
g, i, r
Let r = -0.14 + -8.86. Let x = r + 11. Sort 0.2, 3, x.
0.2, x, 3
Suppose 0 = b - 5*q - 7, 5*b + 4*q = q + 7. Put b, -1, -2 in descending order.
b, -1, -2
Let q = 9.85 - -0.15. Let i = -12 + q. Sort i, 0.07, -0.1 in increasing order.
i, -0.1, 0.07
Let k(r) = r**3 - r - 3. Let j be k(2). Suppose 12 = j*c + c. Suppose 5*a - 15 = -z + a, 10 = 2*z + 4*a. Put c, z, 2 in increasing order.
z, 2, c
Let f(p) = -8*p + 7*p + 2*p. Let s be f(4). Let i be 4/(-14) - 4/(-14). Sort 3, s, i.
i, 3, s
Let y(d) = 4*d + 1. Let w be y(-1). Let x(v) = -3*v - 152. Let i be x(-52). Sort 3, w, i.
w, 3, i
Let t = 7 + -12. Suppose 6 = 2*v + v. Let m be 2/(-1) + (6 - v). Sort m, -4, t.
t, -4, m
Let g(j) = -j**2 + j - 3. Let p be g(2). Sort -3, p, 2 in ascending order.
p, -3, 2
Let y(d) = -d. Let r be y(-4). Put -4, -3, 2, r in descending order.
r, 2, -3, -4
Suppose -d - 1 = 4. Let v = 0 + 0. Suppose v = 4*l - 5 - 11. Sort -4, l, d in increasing order.
d, -4, l
Let c(f) = -f**2 - 4*f + 1. Let u be c(-5). Let t = u + 2. Suppose 4*i + 0 = 20. Put -5, t, i in descending order.
i, t, -5
Let t(j) = 4*j**3 - 5*j + 6. Let o be t(1). Suppose -7 = -4*d - 15. Put -1, o, d in decreasing order.
o, -1, d
Suppose 0 = -5*q + 7*u - 8*u - 5, 0 = q + u + 1. Sort -3, -8, q.
-8, -3, q
Let t = -0.042 - -0.412. Let o = 15.07 + -15. Let n = o - t. Put 5, n, 4 in descending order.
5, 4, n
Let q = 5 + -7. Let u = -7/3 - -11/6. Sort q, -0.3, u in increasing order.
q, u, -0.3
Let a(m) = -m**2 - 2*m - 3. Let f = -7 + 5. Let v be a(f). Let i be 2/v - (-3)/(-9). Sort 3, -3, i.
-3, i, 3
Let y = 0.334 - 0.034. Sort 0.6, y, 5, -2/9 in ascending order.
-2/9, y, 0.6, 5
Let i(r) = -r**3 + 3*r**2 + 3*r + 6. Let q be i(4). Let s(c) = -c**3 - 5*c**2 - 2*c + 3. Let d be s(-4). Sort -2, q, d in ascending order.
d, -2, q
Let i(n) = -n - 8. Let r be i(-5). Let c be -3 - (-1 + r)/2. Put 4, 1, c in ascending order.
c, 1, 4
Let x(b) = -b**3 - 2*b**2 + 2*b - 2. Let g be x(-3). Sort 4, -2, 3, g in decreasing order.
4, 3, g, -2
Suppose -3 = -7*c + 11. Put c, 4, 1, -7 in decreasing order.
4, c, 1, -7
Let g = 3 + -5/2. Let j = -5 - -3. Put g, -5, j in decreasing order.
g, j, -5
Let u(z) = -z**2 + 7*z - 9. Let j be u(6). Let r be j/21*(2 + 0). Sort r, -0.1, -0.4 in increasing order.
-0.4, r, -0.1
Let o(v) = -v + 3. Let y be o(3). Sort y, -5, -1.
-5, -1, y
Suppose -2*v + 5 = v + 2*g, 45 = 4*v - 5*g. Let u = -32 - -34. Put v, -3, u in decreasing order.
v, u, -3
Let a = 7 + -3. Suppose 0 = a*l + 1 - 5. Sort -2, 2, l in descending order.
2, l, -2
Let a(t) = t**3 - 4*t**2 - 4*t - 4. Let l be a(5). Suppose -l = -b - 3. Sort -3, b, 2 in increasing order.
-3, b, 2
Let q(j) = -4*j**3 + 4*j + 3. Let c be q(-1). Sort c, 6, -4 in increasing order.
-4, c, 6
Let k = 35 + -36. Put k, 0.2, 0.3, -4/3 in increasing order.
-4/3, k, 0.2, 0.3
Suppose 2 - 22 = -4*g. Suppose 20 = 5*r + 5*u, -4*u - 42 + 13 = -r. Sort g, -3, r in increasing order.
-3, g, r
Let w = -39 - -38. Put -10, 3, w, -3 in decreasing order.
3, w, -3, -10
Let k = -5.3 - -10. Let y = k + 0.3. Suppose -3*f + 6*f + 4*r = 4, f - r = -1. Put -4, f, y in descending order.
y, f, -4
Let j be 4/(-2)*2/2. Let w be 2 - 6*(-2)/j. Let b = 0 - 2. Sort 5, b, w in decreasing order.
5, b, w
Let m be (-5)/2 - 1/(-2). Suppose -5*f + x = 145, 0*x - 50 = 2*f - 2*x. Let i be (12/f)/(2/(-20)). Put m, -5, i in descending order.
i, m, -5
Let k = 0.047 + -2.447. Put -2, 0.2, 3, k in descending order.
3, 0.2, -2, k
Let t = -12 + 16. Let w = -1 - t. Sort 2/13, w, -4 in ascending order.
w, -4, 2/13
Let f(d) = -3*d - 1. Let v be f(-1). Suppose v + 6 = -2*q + 2*s, 9 = -2*q + s. Let h = -2 - q. Sort -2/5, h, -2/9.
-2/5, -2/9, h
Let u be 27/(-36)*(-16)/6. Put 1, 5, u in decreasing order.
5, u, 1
Suppose 24*c - 20*c = -20. Sort -3, 2, 4, c.
c, -3, 2, 4
Suppose r = -0 + 3. Let a be ((-2)/3)/((-52)/(-390)). Sort -3, r, a.
a, -3, r
Let t = -2/7 + 4/63. Put -1/11, t, -0.3 in increasing order.
-0.3, t, -1/11
Suppose 3*d + 2*d - 15 = -5*z, 3*z = -4*d + 9. Put -17, 4, -5, z in decreasing order.
4, z, -5, -17
Suppose 3*y = 2*a - 4*a - 4, -a = -2*y - 5. Sort a, 5/3, -15 in decreasing order.
5/3, a, -15
Let b(t) = t**3 + 4*t**2 - 5*t - 5. Let d = 0 + -4. Let v be b(d). Suppose -n - v = y + 3*y, 2*y + 25 = 3*n. Sort -2/7, 0.2, y.
y, -2/7, 0.2
Let m be 0 + (-2 - -22)/1. Suppose 4*l = 8*l + m. Sort 5, l, 1 in decreasing order.
5, 1, l
Let h(r) = -r**2 - 14*r + 33. Let n be h(-16). Sort 5, n, 2, 3 in descending order.
5, 3, 2, n
Let f be 4/(-14) - (-36)/(-21). Sort 3, f, -3 in decreasing order.
3, f, -3
Let u = 4 - 2. Suppose u*g - 12 = -g. Let x(q) = -q**3 + 3*q**2 + 5*q. Let h be x(g). Sort h, 3, 5 in ascending order.
3, h, 5
Let z = -317 - -131. Let m = z - -130. Let s be 54/m - (-4)/(-14). Sort s, -2, 1/4 in descending order.
1/4, s, -2
Let u be (-20 + 6/3)*2/(-3). Sort u, 1/7, -4 in increasing order.
-4, 1/7, u
Let i = -11 + 109/10. Let k be (-2 + 1)/(2/(-10)). Sort k, i, -4/3 in descending order.
k, i, -4/3
Suppose -2*u + 6*u = -4. Let j be (u/(4/(-8)))/2. Sort 3, j, -2.
-2, j, 3
Suppose 3*d + d - 17 = -v, 4*d - 21 = -5*v. Sort 0.4, 0.3, d, 0.05 in descending order.
d, 0.4, 0.3, 0.05
Let w(v) = -v. Let x be w(-9). Suppose 3*g + x = -3*r, 0 = -5*g + 4*r - 10 + 4. Let j = -1 + -3. Sort g, -5, j in increasing order.
-5, j, g
Let k(q) = q**3 + 4*q**2 + 2*q - 3. Let r be k(-3). Put r, -1, 3 in decreasing order.
3, r, -1
Let x(g) = g**3 + g**2 - 4*g + 3. Let k be x(2). Let n(l) = -l**2 + 8*l - 6. Let h be n(k). Sort 2, h, 3 in descending order.
3, 2, h
Let t = -0.83 + 0.13. Let r = 0.3 - t. Let h = -2/221 + -653/1105. Put h, r, -0.5 in descending order.
r, -0.5, h
Let x = -20 - -13. Let v = -1 - x. Suppose 4*u = 2 - v. Sort -5, 2, u in ascending order.
-5, u, 2
Let r = 4.3 - 5. Let k = -1 - r. Sort -0.2, 0, k in increasing order.
k, -0.2, 0
Let f be 3/6*-1*-24. Let v be (6/9)/(2/f). Let n(o) = -o**2 + 4*o - 5. Let g be n(v). Put 0, g, 5 in ascending order.
g, 0, 5
Let j = 29 + -31. Sort 5, j, 0.5 in ascending order.
j, 0.5, 5
Suppose -3*y + 4*x + 5 = 0, -2*x = -4*y - 4*x - 8. Let q = 2 - -3. Let c = -4 - -1. Put c, y, q in ascending order.
c, y, q
Suppose -5*b = 3*x - 1, -2*b + x + 0 = 4. Let y be ((-3)/(-4))/(2/(-8)). Let q = y + -2. Put q, b, 1 in ascending order.
q, b, 1
Let a be ((-2)/7)/(9/21). Sort -3, a, 4/5, -0.07 in decreasing order.
4/5, -0.07, a, -3
Let q = -10 - -6. Put 3, q, 15 in descending order.
15, 3, q
Let y be 2 + 14/(-2 + 0). Let c(x) = -x**3 + 11*x**2 - 10*x + 13. Let u be c(10). Let i = u - 16. Put i, 0, y in decreasing order.
0, i, y
Suppose 3*n = 5*o, 0 = 4*n - 0*n - o - 17. Sort 3, -5, n in decreasing order.
n, 3, -5
Suppose 10*g = -5*g + 90. Sort 2, -3, g in descending order.
g, 2, -3
Let v(o) = o**3 - 3*o**2 + 3. Let x be v(3). Let q be 3 - (0 - 17/(-6)). Sort 2/11, x, q in descending order.
x, 2/11, q
Let m be (-4)/(-22) + 7/22. Let x = 2.06 + -0.06. Sort 3, m, x in increasing order.
m, x, 3
Let u be (2/7)/(4/7). Let a = 753/14 + -107/2. Sort u, a, -0.2 in descending order.
u, a, -0.2
Let w = 13 + -18. Let c = -46 - -45. Sort c, -7, w.
-7, w, c
Let n(l) = -11 - 2*l**3 + 2*l**2 + 4*l**2 + 2*l**2 - l + 3*l**3. Let z be n(-8). Let d(c) = c. Let q be d(-2). Sort 0, q, z in descending order.
0, q, z
Let l be (-7)/(-35) - (-22)/(-10). Suppose 6*y - 15 = y. Sort y, 0.3, l.
l, 0.3, y
Let g = 16 - 21. Sort -4, g, 2 in increasing order.
g, -4, 2
Let j be (-12)/(-1 + -2) + -6. Sort j, -1/6, 0.08, 2 in decreasing order.
2, 0.08, -1/6, j
Suppose 9 = i + b, 0*i - i + 5*b = 21. Let o be 2/(-2) - -2 - -2. Suppose -9 = -5*h + 2*d, 0*h - 5*h - o*d = -24. Sort 1, i, h in descending order.
i, h, 1
Let k be -3 - (80/(-15))/2. Put 0.1, 1, k in increasing order.
k, 0.1, 1
Let c = 10 + -9.6. Sort 0, c, -3/2 in increasing order.
-3/2, 0, c
Suppose -2*f = -3*l - 14, 