order.
x, 4, -4
Let y(i) = 2*i - 9. Suppose -5*r + 5 = 5*x - 5, -r = -3*x - 22. Let o be y(r). Put -3, 0, o in increasing order.
-3, 0, o
Let v be ((-1 + (-2 - -3))/(-1))/(-2). Sort -3, v, 2, 3 in descending order.
3, 2, v, -3
Suppose -3*k + 4 = -2*w, 5 - 1 = -3*w + 4*k. Suppose 5*a = 3*b + 20, -5*b - 13 + 1 = -3*a. Sort b, w, 3 in decreasing order.
w, 3, b
Let m = 31 + -13. Let y = m + -14. Put 2, y, -9 in decreasing order.
y, 2, -9
Let k = -5318.21 - -5294. Let j = -23.1 - k. Let l = -0.11 + j. Sort 4, 0.01, l.
0.01, l, 4
Let m be (-5 + (-10)/(-5))*(0 + -1). Sort 0, m, -1 in decreasing order.
m, 0, -1
Let y = -4 - -9. Let t be (-1 - -1)/5 + 1. Sort y, -1, t in descending order.
y, t, -1
Let g = 123 + -173. Let c be 10/45 + g/(-18). Sort 2/5, c, 2 in decreasing order.
c, 2, 2/5
Suppose -4*w - j = -0*j - 29, -3*w - 4*j + 12 = 0. Suppose 5*p - w = p. Suppose 3*c - 2 = 1. Put 5, p, c in increasing order.
c, p, 5
Let j = -5 + 6.5. Let b = -1 + j. Let n = -10.3 - -10. Put b, n, -0.1 in descending order.
b, -0.1, n
Let i = -0.05 - -0.05. Let z(g) = -g - 6. Let y be z(-8). Let n be (-4)/(-22) + 96/(-165). Sort y, i, n in decreasing order.
y, i, n
Let x = 4 - 6. Let z be -5*((-1)/5 - -1). Put z, 3, x in ascending order.
z, x, 3
Let s = 59/369 + -2/41. Put 5, -3, -6, s in increasing order.
-6, -3, s, 5
Suppose 0 = -4*v + 22 - 38. Put 4, 3, 5, v in descending order.
5, 4, 3, v
Suppose -3 = -x + 2*x. Let p = 2 - 1.5. Let g = p - 0.5. Sort g, 1, x in ascending order.
x, g, 1
Let w = 19 - 27.5. Let u = -9 - w. Put u, 1/3, -0.3 in increasing order.
u, -0.3, 1/3
Suppose 25 + 11 = k. Suppose -4*x + 5*x + 4 = -2*p, -5*p - k = -4*x. Let u(c) = -c**2 + 3*c + 7. Let s be u(5). Put -4, x, s in decreasing order.
x, s, -4
Let y(r) = -r**3 + 4*r**2 - 4*r - 1. Let o be y(2). Sort -10, o, 0 in increasing order.
-10, o, 0
Suppose 4*a - 16 = 8*a. Sort a, 4, 0, -2 in descending order.
4, 0, -2, a
Let s(f) = f**3 - 16*f**2 - 17*f - 3. Let u be s(17). Put 4, u, 0, 2 in increasing order.
u, 0, 2, 4
Let v = -14 - -18. Sort -2, v, 1 in increasing order.
-2, 1, v
Let x(p) = -2*p + 62. Let z be x(29). Put z, 5, -5 in descending order.
5, z, -5
Let x be 2 - 1 - 12/14. Let s = 0.192 - -0.008. Sort s, 0, x in ascending order.
0, x, s
Suppose -10*s + 20 + 30 = 0. Put s, 2, -2 in decreasing order.
s, 2, -2
Let o = 0 - -4. Let s(r) = r**3 + 6*r**2 + 5*r - 3. Let l be s(-5). Sort -1/3, o, l.
l, -1/3, o
Let r = 0.13 + -4.13. Sort r, 7, -0.4 in ascending order.
r, -0.4, 7
Let s(r) = r - 6. Let u be 3/3*(3 - 1). Let b be s(u). Sort b, -1, -3 in decreasing order.
-1, -3, b
Suppose -2*z + 16 = -4*s, 4*z - 17 + 3 = -s. Suppose 0 = 4*h + 3*k - 0*k + 32, k + 29 = -5*h. Sort 0, s, h in increasing order.
h, s, 0
Let z = -107 + 107.2. Put 4, z, -14/3 in ascending order.
-14/3, z, 4
Suppose 5 = s + 3. Suppose -2*t - 14 = -2*p + 4, -2*t + 12 = 3*p. Suppose b - 6 = a, -p*a + 2*a + 2*b = 22. Put 3, a, s in decreasing order.
3, s, a
Let m = 0.21 - -13.79. Let y = 11 - m. Sort y, 2, -4 in increasing order.
-4, y, 2
Let m(k) = -k + 3. Let n(l) = -5*l + 15. Let v(b) = -11*m(b) + 2*n(b). Let r be v(-5). Let f = 12 + r. Sort 1, -2, f in decreasing order.
f, 1, -2
Let o = -0.12 + 0.12. Sort -5, o, -2/3.
-5, -2/3, o
Let q = -22 + 25. Put q, 0.1, 4 in ascending order.
0.1, q, 4
Suppose 2*f + 2*t = -0*f + 28, -3*f + 63 = -4*t. Suppose 4*h + 2 = 2*h, 3*h - f = -5*a. Let k = -6 + 3. Sort 2, k, a in increasing order.
k, 2, a
Suppose -8*w + 6 = -6*w. Sort w, -1, -9 in increasing order.
-9, -1, w
Let o = -9 - -6. Sort -1, 3, o in ascending order.
o, -1, 3
Let q = 8 - 6. Put 3, -5, q in increasing order.
-5, q, 3
Let h be (21/(-14))/(3/(-10)). Suppose -2*n = -0*n + 8. Let k = -7 - -4. Sort h, n, k.
n, k, h
Let g be (6/8)/((-1)/4). Let u(t) = 5*t**3 + t**2 - 2*t + 1. Let f be u(1). Let m be (-1 + 3)/(2/f). Put 3, g, m in ascending order.
g, 3, m
Let i be (-4)/14 - (-3 - 40/(-7)). Put i, -2/15, 0.5, -0.5 in increasing order.
i, -0.5, -2/15, 0.5
Let k = -0.9 + -10.1. Let s = k + 10. Sort s, 2/5, -0.1 in decreasing order.
2/5, -0.1, s
Let o(z) = 14*z**2 - 2*z + 1. Let j be o(1). Let h = j + -8. Let m = 54 - 53. Put m, 2, h in decreasing order.
h, 2, m
Suppose 4*n + 20 = -2*r, 3*n = -3*r - 2 - 19. Sort n, -4, 2 in increasing order.
-4, n, 2
Let y = -3 - 0. Put -4, y, 0 in descending order.
0, y, -4
Suppose 4*j = -3*d - 11, -2*j = 3*d + 5 + 8. Put 2, d, -3 in descending order.
2, -3, d
Let s(q) = -q**3 + q**2 + q. Let y be s(0). Sort 2, y, 4 in decreasing order.
4, 2, y
Let l = 0.11 + -0.2. Let c = l + 3.09. Put 0.5, -4, c in descending order.
c, 0.5, -4
Suppose 3*p = -0*p + 15. Sort p, 0, -1 in ascending order.
-1, 0, p
Let j be (-8)/28 - (-23)/7. Let g(i) = -3*i**3 + i**2 + 2*i - 1. Let n be g(-2). Suppose 3*w + n = 8. Put j, w, -2 in decreasing order.
j, -2, w
Let y = -152 + 149. Sort -0.2, y, -4/3, 1/4 in ascending order.
y, -4/3, -0.2, 1/4
Let p(c) = c**2 - 11*c - 23. Let w be p(13). Let m = 2 + -3. Put m, -2, w in decreasing order.
w, m, -2
Let s = 2.2 - 2. Let b = 0.25 + 0.05. Sort -1/5, s, b in increasing order.
-1/5, s, b
Let m = -33 - -33.3. Put -3, m, 0.6, -4 in decreasing order.
0.6, m, -3, -4
Let x = 22.4 + -22. Sort x, -1/4, 0.3 in decreasing order.
x, 0.3, -1/4
Let j = -5 + 4.96. Let r = -2 - -2.26. Let m = j - r. Sort 4, m, -3 in increasing order.
-3, m, 4
Let d = -5 - -10. Let n(h) = -h**3 - 6*h**2 + 9*h + 10. Let t be n(-7). Let z be (1 + 0)*1*2. Put z, t, d in decreasing order.
d, z, t
Suppose 0 = 5*n - 4*l - 12, -l + 13 = 3*n - 1. Let t(m) = m**2 - 3*m - 3. Let j be t(-2). Put j, n, 3 in decreasing order.
j, n, 3
Suppose -c + 4 = c, -2*x + 20 = 5*c. Sort x, 2, 3, -2 in descending order.
x, 3, 2, -2
Let y(n) = n**3 - 3*n**2 - 4*n. Let d be y(4). Put d, -4, -2 in decreasing order.
d, -2, -4
Suppose 3*b = -2*r - 8, -2*r + b - 3 = 5. Put r, 12, 4 in ascending order.
r, 4, 12
Suppose -q - 2 = 3. Let w be ((-1)/(-3))/(3/27). Put -2, w, q in decreasing order.
w, -2, q
Suppose -5*t = -3*t + 8. Suppose -5*c + 0*c + 5 = -4*q, -q = -3*c + 10. Sort 0, t, q in increasing order.
t, 0, q
Let u be (15/(-12))/((-1)/4). Sort u, 2, -4, -2 in increasing order.
-4, -2, 2, u
Suppose -3*z + 2 = -1. Sort 0.03, -1/2, z in descending order.
z, 0.03, -1/2
Suppose 5 + 16 = 3*h. Let o be 5 + (1 + 2)/(-3). Let i be (o/h)/(-1*2). Put 3, 1/6, i in descending order.
3, 1/6, i
Suppose -4 = -0*g - g. Sort 9, g, 3 in ascending order.
3, g, 9
Let w = -14 + 13.8. Put -0.1, -2, w in ascending order.
-2, w, -0.1
Let u = 97 + -93. Sort -0.05, u, 2/3, -0.3.
-0.3, -0.05, 2/3, u
Let k = -3 + 3.7. Let q = 7.3 - 5. Let c = q + k. Sort c, -2, -5 in decreasing order.
c, -2, -5
Let d = -1104/19 - -58. Sort -0.01, d, 1/2 in increasing order.
d, -0.01, 1/2
Let q(b) = b**3 - 8*b**2 - 9*b. Let g be q(9). Let o be (-2)/3 + 2/3. Suppose o*a - 5*a = -25. Sort -2, g, a in decreasing order.
a, g, -2
Suppose 0 = -2*m + 6, 2*o + 6 = m - 3. Put -15, o, -1 in ascending order.
-15, o, -1
Let i(q) = -q**2 + 2*q + 4. Let a be i(4). Let w(g) = g**2 + 15*g + 46. Let p be w(-4). Sort -3, p, a in descending order.
p, -3, a
Let y be ((-32)/(-20))/((-2)/(-10)). Let w = 1.2 - 1.6. Put w, 1, y in increasing order.
w, 1, y
Let z = 0 - -2. Let i be (27/6)/(z/4). Let m = i + -4. Sort m, 1, 2 in decreasing order.
m, 2, 1
Let f be 3*2*7/(-14). Suppose -4*s + n = 14, -2*s + 2*n = s + 8. Sort s, f, -1 in increasing order.
s, f, -1
Let n(h) = -3*h**3 - 18*h**3 - h**2 + 0 + 1. Let a be n(-1). Suppose -4*q = 4*l, -4*q + a = -2*l - l. Sort l, 5, 4 in descending order.
5, 4, l
Let v(h) = -h**3 + 16*h**2 + 10. Let s be v(16). Sort s, -1, 0.
-1, 0, s
Let h = -18 + 17.75. Let w = h - 0.05. Put 3, w, 1 in descending order.
3, 1, w
Suppose 3*k - 4*i + 1 = 0, 0*i - 3 = -3*i. Sort 3, k, -5 in decreasing order.
3, k, -5
Let z(p) = -37*p**3 - 3*p**2 - 2*p - 3. Let y be z(-2). Let b be (-642)/y - 4/(-2). Let q = b + 1/19. Sort 0.3, q, -2/11.
q, -2/11, 0.3
Suppose -4*v + 3*v = -5. Suppose -v = -a - 0. Let m = 2.9 - 3. Sort -1, m, a in descending order.
a, m, -1
Let h(k) = k + 1. Let b be h(-1). Let w be b + 447/(-18)*2. Let a = -49 - w. Sort 2/13, -2/7, a.
-2/7, 2/13, a
Let o be -2 + 1 - (-3 - -3). Let q(m) be the third derivative of m**5/60 - 5*m**4/12 + 2*m**3/3 - 3*m**2. Let n be q(10). 