19, 0, p, 4
Let r = 18096/5 - 3619. Put r, -0.05, -2 in increasing order.
-2, -0.05, r
Let p = 2778 + -2763. Sort 0.01, 0.04, p in descending order.
p, 0.04, 0.01
Suppose 286 = -a - k + 294, 4*a = -2*k + 36. Sort 9, -2, a in increasing order.
-2, 9, a
Let t = -81 - -84. Let w = -52 + 74. Let n be 2/w*(28 - 30). Sort t, n, 5 in ascending order.
n, t, 5
Let m = 8.597 - 10.597. Put m, -0.3, 0, 78.7 in decreasing order.
78.7, 0, -0.3, m
Suppose 3*v - 17 = -4*q - 0*q, 3*v - 29 = -q. Suppose 1 = -i + 2*i, -3*h + v = -4*i. Sort -4, 7, h.
-4, h, 7
Let q be -3 + (-1754)/10 + 5. Let i = 174 + q. Let x = -0.24 + 0.14. Put x, 2, -4/5, i in descending order.
2, i, x, -4/5
Let h = 0.224 - -1.976. Let o = h + -2. Put -15, o, 0 in increasing order.
-15, 0, o
Let l(t) = 3*t**3 - t**2 - 2*t - 1. Let v be l(-1). Let z = -2034 - -2039. Sort v, z, -1 in ascending order.
v, -1, z
Let a(y) = -2*y**3 + 30*y**2 + 3. Let k be a(15). Suppose -5*q - 6 = -4*z + 8, k*q + 6 = 0. Sort z, -39, -0.3 in descending order.
z, -0.3, -39
Let u be 2/16 + (-1316)/(-376)*(-1)/(-4). Sort 3, 4, -12, u, -4 in ascending order.
-12, -4, u, 3, 4
Let q = -2 + 5. Let i = 4 - q. Let y be (-40)/(-250)*-15*1/(-3). Put i, y, -3 in decreasing order.
i, y, -3
Let y(u) = u**3 + 14*u**2 + 2*u + 28. Let h be y(-14). Let i be (-24)/9 - 2/6. Let z = 4 + i. Put -1, h, 4, z in ascending order.
-1, h, z, 4
Let i(c) = -c**2 - 20*c - 37. Let r be i(-18). Let f = 0.3 - -8.7. Put r, f, 4 in decreasing order.
f, 4, r
Suppose 5*t = 3*m + 54, m + 11*t = 15*t - 18. Let x be (-4)/m*(-8 + -4). Let i be (-5)/(-20) + (-9)/4. Put 0.01, i, x in increasing order.
x, i, 0.01
Suppose -4*a = 2*m, -5*a - 12 + 2 = 0. Let i be (1 - 1 - 0)*2/4. Suppose 5*x + v - 6 = -29, i = 5*x - 2*v + 14. Put x, -2, m in descending order.
m, -2, x
Let j(f) = -f**3 + f**2 - f + 1. Let w be j(1). Let v(u) = -3*u + 4. Let k be v(w). Suppose 0 = -4*t - 2*z - 2 - 2, k*t - 2*z = -20. Sort -5, 2, -1, t.
-5, t, -1, 2
Suppose -15 = -3*b - 3. Let s be ((-3)/((-18)/(-411)))/(-1). Let g = -67 + s. Sort g, b, 0.5, -0.2.
-0.2, 0.5, g, b
Let n = -2726 + 2724. Sort -6, -4, n, -35, 2 in ascending order.
-35, -6, -4, n, 2
Let u = -8706 - -8712. Put -47, -4, u in ascending order.
-47, -4, u
Let f be (71160/176)/15 - 1. Let l = 192/11 - f. Put l, 0.3, -3 in decreasing order.
0.3, -3, l
Suppose -14*a + 46 = -13*a - 3*b, -4*b + 52 = 2*a. Sort 0, 8, a in ascending order.
0, 8, a
Let s(i) = -i**2 - 420. Let l be s(0). Put -2, 4, l in descending order.
4, -2, l
Let w = 1095 + -1096. Let k = 267 + -262. Sort k, 2, 3, w.
w, 2, 3, k
Let f be 345/(-33)*(-10)/25 + (-4)/1. Sort -0.12, f, 0, -12 in descending order.
f, 0, -0.12, -12
Let c = -528.5 - -535.5. Sort c, -0.5, -0.11, -5.
-5, -0.5, -0.11, c
Let j(b) = -2*b**2 - 16*b - 25. Let x be j(-5). Suppose l + 5*s - 1 = -12, -x*l - 11 = 3*s. Let m be (-3)/(-2) - (-1)/2. Put l, m, 13 in increasing order.
l, m, 13
Let o = -35 - -40. Suppose -3*z - o*b + 10 = -10, 0 = 4*z - 3*b - 17. Let f(r) = r - 9. Let v be f(z). Put -6, v, -5 in increasing order.
-6, -5, v
Suppose 4*l + 4 + 4 = 0. Let u be -8 - (-9)/9 - (-1 + 3). Let g(y) = y**2 + 7*y - 15. Let o be g(u). Put 0, l, o, 2 in descending order.
o, 2, 0, l
Suppose 9 = -5*p - 1. Let o be -2*2*16/(-32). Suppose 2*y = -5*r + 3, r = o*r - y + 5. Sort 1, r, p in increasing order.
p, r, 1
Let h = -6981 + 6982. Put h, 5, -4, -2, -38 in ascending order.
-38, -4, -2, h, 5
Suppose -12*x + 7*x - 7 = -3*i, 3*i = -4*x + 16. Suppose i*u - 6*f = -7*f - 8, 15 = u - 4*f. Sort 9, -3, u, 3 in ascending order.
-3, u, 3, 9
Let v be 15 + -10 + 6 + -1 + 29. Put v, -3, -66 in decreasing order.
v, -3, -66
Suppose 3 = n + 2*q, 5*n - q = -0*q - 40. Suppose 27*p + 7*p - 41 = -7*p. Let f = -3 + 0. Put p, n, f in increasing order.
n, f, p
Suppose -7*o = -76 - 43. Let n be (11/2 + 2)*(-4)/6. Sort 0, o, -2, n in descending order.
o, 0, -2, n
Suppose 4*s + 6 = 2. Suppose 0 = i - 3*r + 10, i - 7*r = -3*r - 15. Suppose -x + 2*x - d - 2 = 0, -44 = -4*x - i*d. Sort x, 4, 3, s in ascending order.
s, 3, 4, x
Let r be -3 + (-76)/(-24) - (-12147)/126. Let b = -96 + r. Put 0.15, b, -0.5 in decreasing order.
b, 0.15, -0.5
Let n be 3 - 0 - ((-2 - 9) + 19). Put -483, -1/3, n, 0.4 in ascending order.
-483, n, -1/3, 0.4
Let n(u) = -8*u**2 - 39*u + 306. Let a be n(5). Put -4, -6, a, 4 in increasing order.
a, -6, -4, 4
Let z be (12*1992/54)/(15/(-45)). Sort 0, 4, z in descending order.
4, 0, z
Suppose -7*f + 16 = 30. Let g(p) = -7*p**2 - 11*p - 5. Let y be g(f). Put y, 4, -3 in descending order.
4, -3, y
Suppose -b = -f - 8, -3*b - 89 = f - 129. Let y be (69/9)/(2/18). Put f, y, 2 in decreasing order.
y, f, 2
Let p be (-40)/(-3) + 68/102. Suppose p*y + 53 + 45 = 0. Put -4, -3, 0, y in descending order.
0, -3, -4, y
Let h(u) = -u**3 + 14*u**2 + 13*u + 34. Let x be h(15). Let p(d) = 22*d - 87. Let w be p(x). Sort w, 1/2, -0.2, -2 in decreasing order.
w, 1/2, -0.2, -2
Let x = -325 + 332. Let d be (8 - x)/((-7)/35). Put 3, d, 159 in decreasing order.
159, 3, d
Let r(u) = -3*u**2 - 43*u + 44. Let d be r(1). Let x = 4 - 10. Sort d, 0.4, x, -4 in decreasing order.
0.4, d, -4, x
Suppose 0 = 3*b + o - 5 + 34, 3*b + 4*o = -53. Put 2/7, -2/11, 1, 0.3, b in descending order.
1, 0.3, 2/7, -2/11, b
Let c be ((-8)/(-20))/(24/30). Let h = -213 + 212.7. Let r = 4 + -7. Sort -0.2, r, c, h in decreasing order.
c, -0.2, h, r
Let y = -398 + 658. Let g = y + -260.4. Sort g, 0.325, -0.5 in decreasing order.
0.325, g, -0.5
Suppose -4*d - 5*o = -339, -6*d + 4*d - 2*o = -168. Suppose 13*t + d + 101 = 0. Put t, 1/4, -3 in increasing order.
t, -3, 1/4
Let i = 9.62 - 13.62. Put -3, -6/7, i, -4/3 in ascending order.
i, -3, -4/3, -6/7
Suppose 0 = -v - 4*m + 17, 5*v - 40 = -4*m - m. Sort 3, 71, v, 2 in increasing order.
2, 3, v, 71
Let y(r) = 8*r - 12*r + r**2 - 9*r + 28. Let o be y(12). Let h be 32/30 + o/(-40). Sort 9, 0.2, h in decreasing order.
9, h, 0.2
Let b = 0 - -0.9. Let x = -0.459 + 0.559. Let n = b + x. Put n, 3, 1/7 in increasing order.
1/7, n, 3
Suppose 3*g + 33 = -2*k + 36, k + g = 0. Let z(y) = -y**2 + 19*y + 3. Let n be z(19). Sort -1, n, 2, k.
k, -1, 2, n
Let d = -2.2813 + 2.24. Let g = d + 0.0113. Sort -1, g, 1/6, 2 in ascending order.
-1, g, 1/6, 2
Suppose 4*f - 2*k + 6 = -0*k, 3*f + 5*k - 2 = 0. Let o = 48 + -47. Let z = -17 - -14. Put z, o, f in increasing order.
z, f, o
Let t = -163.7 - -161.7. Sort 8, t, -3, -1 in decreasing order.
8, -1, t, -3
Let i = 9765 - 9765.01. Put -47, 4, 0.2, i in descending order.
4, 0.2, i, -47
Let x = -1232 + 1236. Sort 0, 755, x in increasing order.
0, x, 755
Let a(s) = 7*s - 221. Let r be a(32). Let n(t) = -t**3 - 3*t**2 - 4. Let i be n(-3). Let m = -7 - -2. Sort r, i, m, 5 in descending order.
5, r, i, m
Let y(v) = -2*v**3 - 5*v**2 + v - 4. Let t be y(-3). Suppose -8 = -t*w - 2*w. Put 12, w, 5 in ascending order.
w, 5, 12
Let w be -2 - (-16)/(-64)*12. Sort w, 6, 28 in decreasing order.
28, 6, w
Let l(j) = 93*j + 4585. Let p be l(-49). Sort 5/3, 3, p.
5/3, 3, p
Let s be (-12)/16 - ((-403)/52 + 7). Put 2, -306, s, 5, -2 in decreasing order.
5, 2, s, -2, -306
Let b be ((-2)/(-7))/(-1) + 256/14. Let n be 4/b - (-1 + 1). Suppose d = 3*f + 11, d - 6*d - 20 = 0. Put n, 3/16, f in increasing order.
f, 3/16, n
Let o(m) = -m - 9. Let b be o(-11). Suppose b*d - 31 + 5 = 0. Let k = -647 - -647. Sort k, -1, d.
-1, k, d
Let l = 8 - 4. Let v = -18117 + 18114. Sort l, 2/5, 3/5, v.
v, 2/5, 3/5, l
Let w = 770 + -770. Suppose -l + 3*d + 10 = w, 27 = 5*l - 3*d - 35. Suppose -3*u - 12 = 0, -a - 4*u = 22 - 5. Sort a, 5, l in decreasing order.
l, 5, a
Let u(k) = -8*k + 79. Let x be u(8). Let i be ((-3180)/(-56))/x + -4. Put -1/5, i, 2/21 in increasing order.
i, -1/5, 2/21
Let z = 25.78 + -26. Suppose 37*r - 7*r + 115 = 7*r. Put z, r, -3 in ascending order.
r, -3, z
Suppose 5*a - 80 = 2*q + 27, -4*q + 80 = 4*a. Suppose 80 = -5*g + a*g. Put -0.01, g, 2/3, -1 in decreasing order.
g, 2/3, -0.01, -1
Let r = -0.07 + 48.07. Let j = r + -49. Let d = -1483/11 - -135. Sort -3, j, d in descending order.
d, j, -3
Let w be ((-4)/15)/(3/(-15)). Let s(v) = v**3 + 11*v**2 - 3*v - 23. Let t be s(-11). Let j be 2*1/42*90/t. Sort -4, j, w in increasing order.
-4, j, w
Let p = -2.2 - -2.3. Let c = -3.93 + -0.07. Let i be ((-81)/180)/((-6)/(-