 Put v, -5, 1 in ascending order.
v, -5, 1
Let b(p) = -p + 5. Suppose 0 = -a + 4 + 1. Let s be b(a). Put -0.5, s, -0.2 in ascending order.
-0.5, -0.2, s
Let o = 4.78 - -0.22. Sort o, -1, 0.1 in decreasing order.
o, 0.1, -1
Suppose 2 = 11*f + 57. Sort 0.004, 1, f in ascending order.
f, 0.004, 1
Let l be (1/(-3))/((125/(-90))/(-25)). Let t be 1/((-1)/(-2)*2). Sort l, t, 3.
l, t, 3
Suppose 3*t = 2*w + 50, 3*w + 2 - 37 = -t. Put t, 3, -1 in increasing order.
-1, 3, t
Suppose -17 - 11 = -7*q. Sort 3, -1, 0, q in descending order.
q, 3, 0, -1
Let x = 39 + -34. Sort 1, x, -4, -5 in ascending order.
-5, -4, 1, x
Let t(v) = v**2 + 10*v - 7. Let x be t(-11). Put x, 3, 1 in descending order.
x, 3, 1
Let k = 4 - 3.6. Sort k, 3, -1/10, 0.2.
-1/10, 0.2, k, 3
Suppose 2 = -p + 2*o - 10, 5*p + 30 = 4*o. Let u = -0.027 + 2.027. Put -5, u, p in ascending order.
-5, p, u
Let k(q) = -5*q - 6. Let y be k(-2). Let s = -14 - -10. Put -2, y, s in descending order.
y, -2, s
Suppose -4 + 7 = q. Sort -3, q, -2/15 in ascending order.
-3, -2/15, q
Suppose 0 = 2*o - 7*o - 25. Suppose 5*g + 25 = -5*f, f - 3*f + 5*g = 3. Put o, f, -2 in descending order.
-2, f, o
Suppose 9 = -5*i - 31. Let s(b) = -b - 3. Let z be s(i). Put 4, z, 2 in descending order.
z, 4, 2
Suppose 0 = -r + 3*o + 6, 2*r - 4*o - 4 = 0. Let m(a) = -a**3 - 5*a**2 + 7*a + 2. Let y be m(r). Let l = 11 - 10.7. Sort l, -3, y.
y, -3, l
Let i = 0.16 + -6.56. Let m = i - -6. Sort m, -5, -0.1 in descending order.
-0.1, m, -5
Let y = -1/154 - 65/154. Let h = 4 - 6. Let i = h - -2.1. Sort -1, i, y in descending order.
i, y, -1
Let z(m) = -m**2 + 5*m + 3. Let c be z(5). Suppose c*s - 35 = 4. Let r = s - 8. Sort 3, r, -2 in increasing order.
-2, 3, r
Let r be (-1)/1*12/4. Let a(l) = l**2 - 11*l + 15. Let g be a(10). Suppose 3*u - 2*u - 15 = g*d, 18 = -2*d - 2*u. Sort d, 1, r in ascending order.
d, r, 1
Suppose -5*z + 16 = -4*k, 3*z + 4*k = -2*z + 24. Suppose -1 = s - 0. Put -7, z, s in decreasing order.
z, s, -7
Let a = -16 + 16.3. Let d be 5/(-5) - (2 + -5). Let j be (-1 + 7)/(27/d). Put a, j, -0.4 in increasing order.
-0.4, a, j
Let r = -0.5 + 1. Let u(o) = o**3 - 7*o**2 + 6*o + 4. Let v be u(6). Suppose 5 = 3*x - v. Put r, -1, x in descending order.
x, r, -1
Suppose 0 = 8*r - 2*r + 18. Sort -1, r, -5 in descending order.
-1, r, -5
Let z(w) = -3*w - 41. Let f be z(-12). Put 3/2, 4, f, 5 in increasing order.
f, 3/2, 4, 5
Let t = 7.5 + -8. Let s be -1*(-1 + -1)*-1. Let a be -1 - (s + 1) - -2. Put -4, a, t in descending order.
a, t, -4
Let m = -3.9 - 0.1. Sort -5, m, 0.2 in increasing order.
-5, m, 0.2
Let y be -22*(-4)/(-104) - (-4)/(-26). Suppose -2*g - 2*g = 3*n + 1, -4*n - 22 = -5*g. Put y, -7, n in decreasing order.
y, n, -7
Let a = -61 - -23. Let d be 5*(3 + a/10). Let c be 1 - ((-1 - -1) + 3). Put d, 5, c in descending order.
5, c, d
Let p = 45 - 48. Let n(m) = -m**3 - 5*m**2 + 6*m + 2. Let j be -6 - -1 - (0 - -1). Let a be n(j). Sort 3, p, a in descending order.
3, a, p
Let k(m) = m - 7. Let p be k(7). Suppose w - 18 = -3*w + g, -2*w + g + 8 = p. Let j be 2/(-1)*(-3 - -4). Sort -5, j, w.
-5, j, w
Suppose -5 = -19*c - 24. Sort c, 2, -2, 5 in descending order.
5, 2, c, -2
Let z = -8 - -17. Sort 0, z, -5.
-5, 0, z
Let x be 2/10 + (-14)/(-5). Suppose -2*h = -7*h. Put x, 2, h in decreasing order.
x, 2, h
Let j be 4/(-18) + (-336)/(-54). Sort 3, j, -5 in ascending order.
-5, 3, j
Let i = 4 + -4. Let f = 17 - 21. Put f, -5, i in decreasing order.
i, f, -5
Suppose -2*h + 2 + 0 = 0. Suppose -46 = 4*r - 14. Let w(j) = j**2 + 8*j + 3. Let l be w(r). Put l, h, 4 in descending order.
4, l, h
Let k(n) = n. Let t be k(2). Sort t, -2, 0 in descending order.
t, 0, -2
Let b = 4 - 5. Let w = 0.41 + -0.01. Let a = -13.7 + 14. Sort a, b, w in decreasing order.
w, a, b
Let a be 6/(-4)*(1 + -3). Suppose 3 = -0*s - 3*s. Let l be s/2 + 27/6. Sort a, 0, l in ascending order.
0, a, l
Let m = 0.223 - 0.223. Let r = -1612/7 - -231. Let k = 18/35 - r. Sort -0.1, m, k.
k, -0.1, m
Let h = -10.4 + 5.4. Let v = -2.99 - -3. Put h, v, 2/9 in increasing order.
h, v, 2/9
Let s = -7 + 7.2. Let o = -40.21 - -40. Let w = o + 0.01. Put -1, s, w in descending order.
s, w, -1
Let b = 1 + 5. Let v(k) = -k**2 + 6*k + 2. Let m be v(b). Put -2, m, 4 in ascending order.
-2, m, 4
Let p = 2 - 2. Suppose 54 = -12*g + 30. Put p, g, 3 in decreasing order.
3, p, g
Let z(b) = -b**2 + 11. Let l be z(4). Put 0.4, 0.12, l in descending order.
0.4, 0.12, l
Let w = 36.8 - 37. Put 5, w, 0.5, -4 in increasing order.
-4, w, 0.5, 5
Let a = -9 + 7. Let r be (a/(-4))/(2/12). Sort r, 2, 0.
0, 2, r
Let m = 0.06 + -0.06. Put m, -2, -7 in decreasing order.
m, -2, -7
Let t(g) = -g**2 + 5*g - 5. Let d be t(3). Put d, 0, 4 in descending order.
4, d, 0
Let a(t) = -t**2 - 3*t. Suppose k + 6 = -c, 2*k - 4*c - 9 = c. Let g be a(k). Put 5, 2, g in ascending order.
g, 2, 5
Suppose -4*f - 3 = -f. Let k = -0.43 + 0.03. Let s = k + 1.4. Put s, f, -3 in decreasing order.
s, f, -3
Let h = 12 + -7. Suppose 6 = -4*u - h*y + 14, -8 = 4*u + y. Sort u, 0, 0.2 in ascending order.
u, 0, 0.2
Let w = 72 - 73. Sort w, -2/5, -1/2, 2/5 in ascending order.
w, -1/2, -2/5, 2/5
Let r = 2 + -2.3. Let d = -1.3 - r. Let w = 1.27 - 0.27. Sort 2/11, d, w.
d, 2/11, w
Let l = -4 - -3.5. Let w = 0.04 + -4.04. Sort w, l, 3.
w, l, 3
Let u be 4/(-2)*6/4. Let s(k) = k**2 - k. Let v be s(0). Suppose 0 = -d - v*d. Sort 2, d, u in increasing order.
u, d, 2
Suppose -w + 6 = -0. Suppose 3*k + 0*k - 2*v - w = 0, 0 = -3*k + v + 9. Sort -3, k, -4 in increasing order.
-4, -3, k
Let c be (-144)/10*(-110)/21. Let a = -2493/35 + c. Let x = a + -23/5. Sort 0.4, x, 0.
x, 0, 0.4
Let k = -0.7 + 3.7. Let r = -5.6 + 6. Sort k, -1, r in decreasing order.
k, r, -1
Let p(t) = 4*t - 82. Let z be p(20). Let d be 8/(-10)*1/4. Put 4, d, z in ascending order.
z, d, 4
Let v = -46 + 22. Let a be v/9 - 2/6. Sort a, -4, 2 in descending order.
2, a, -4
Suppose -2*t + 2 + 0 = 5*m, -6 = 4*t + 5*m. Let r be 1*(-10)/(-6) - 0. Let c = -38 - -33. Sort t, r, c in decreasing order.
r, t, c
Let b = 5.3 + -2.3. Sort 0.06, -6/11, b in decreasing order.
b, 0.06, -6/11
Let q(k) = -k**3 + 7*k**2 + 7*k + 4. Let b be q(8). Let w be 2/2 + 1 + -1. Sort 4, b, w in increasing order.
b, w, 4
Let a = 75 - 73. Put a, -2, 5 in ascending order.
-2, a, 5
Let l(o) = o**3 - 4*o**2 + 5*o - 14. Let g be l(4). Suppose 0 = 2*r - 4, 0 = 5*a + 2*r + 1. Put a, -3, g in decreasing order.
g, a, -3
Let m = -5.11 + 0.11. Sort 0.5, -2/7, m, -1/2 in descending order.
0.5, -2/7, -1/2, m
Let i = -453377/33 + 13737. Let u = 18/11 - i. Sort -0.5, 4, u in ascending order.
-0.5, u, 4
Let l = -0.6 + -0.5. Let m = -1.2 - l. Sort m, 2, -2/7 in decreasing order.
2, m, -2/7
Suppose -2*s = -y - 11, 12 = -3*y + 5*s - 17. Sort 1, y, 2 in increasing order.
y, 1, 2
Let t = -46 + 49. Put 5, 1, t, -4 in decreasing order.
5, t, 1, -4
Let u be -15*(69/15 - 4). Put 4, u, -3 in increasing order.
u, -3, 4
Let v be 11 - 10 - (2 - 0 - -1). Sort v, -22, -5 in descending order.
v, -5, -22
Let w be 3/(0 - (-9)/6). Suppose 5*z - r = 2*r - 34, -5*z = 3*r + 16. Let h = 8 + z. Put h, -1, w in descending order.
h, w, -1
Suppose -2*r + 2 = 4*b, 2 + 4 = 3*r + 3*b. Suppose 0 = 5*n - 18 + r. Suppose -i - 5*j + 3 = 0, 2*j + 1 = n. Put 1, 5, i in increasing order.
i, 1, 5
Let q be (-105)/90*1/7. Sort q, -0.3, -5 in descending order.
q, -0.3, -5
Let a = 61 + -99. Let h = 26 + a. Let p be (h/30)/((-2)/(-10)). Sort 1, p, 5.
p, 1, 5
Suppose -3*h = -3*p - 48, -3*h - p - 2*p + 36 = 0. Suppose -k = -3*k + 3*i + h, -4 = 2*i. Sort -1, k, 0.
-1, 0, k
Let f = -1.4 + 3.4. Put -2, f, -2/15 in increasing order.
-2, -2/15, f
Let m = 4 - 3.5. Sort 2/3, 7, m.
m, 2/3, 7
Let u = 28.95 - 28. Let n = u - 1. Let r = 1.05 + n. Put r, 2/3, -5 in ascending order.
-5, 2/3, r
Let i = -1 + 9. Let m = 3 - i. Let p(w) = w**3 - 4*w**2 - 6*w + 3. Let o be p(5). Sort m, o, -3 in ascending order.
m, -3, o
Let v be 18/4*3/(-18). Let p be 2/(-3)*(-1)/(-2). Sort 0.1, v, p in descending order.
0.1, p, v
Let p = -45 - -36.6. Let d = -3.48 - p. Let u = d + 0.08. Sort u, 4, 0.2 in decreasing order.
u, 4, 0.2
Suppose -15 = 3*i, 2*l + 3*l + 3*i = -5. Let f be (-16)/24*(-15)/l. Let d(w) = -w**3 - 4*w**2 - 3*w - 2. Let k be d(-3). Sort k, f, 3.
k, 3, f
Let j be (-1 - (-4 + 