der.
-2, -1, v
Suppose 2*j - 20 = 6*j. Let i = 3 + -2. Suppose -12 = -m + 4*m. Sort i, j, m in increasing order.
j, m, i
Let o be (-12)/(-9)*(14 + 1). Suppose 4*p = -5*x - 23 - 2, 0 = 4*x + p + o. Let j = -20 - -25. Sort j, x, 0 in ascending order.
x, 0, j
Let u = -57 - -59. Put u, 3, -9, -4 in decreasing order.
3, u, -4, -9
Let j = -3 + 3.2. Let s = -4 - -4.5. Sort j, 1/6, s in increasing order.
1/6, j, s
Let q = -3 + 9. Suppose -q*b + b = 0. Let r be 4 - (b - (-2)/2). Sort r, 4, -5 in decreasing order.
4, r, -5
Let o = -2.96 - 0.04. Put o, 0.07, -0.2 in ascending order.
o, -0.2, 0.07
Let k = 2954056928653553766759/4588370 - 643814018628302. Let m = k - 1/62005. Let n = m - 2/37. Sort 5, 1, n in ascending order.
1, n, 5
Let r(y) = 12*y + 1. Let v be r(2). Suppose 0*k + v = k. Suppose -3*c - 10 + k = 0. Put -2, -1, c in descending order.
c, -1, -2
Let v(r) = -r**2 + 4*r + 2. Let y = 5 + -1. Let n be v(y). Suppose -k = n*k. Sort k, 5, -3.
-3, k, 5
Let c = -2.96 - 0.04. Let u = c - -1. Let o = -2 + u. Put o, -6, 1/2 in descending order.
1/2, o, -6
Let x = 29 - 9. Suppose 0 = q + 4*q + x. Let w be (10 + -4)*-1*(-3)/(-27). Sort w, q, -5 in descending order.
w, q, -5
Let q = 37 - 38. Put q, 4, 6 in ascending order.
q, 4, 6
Suppose -4*d + 7 = -5*z, 10 = -4*z + 2*d - d. Put z, 2, 0 in decreasing order.
2, 0, z
Let f be ((-4)/4 - -3) + -3. Put 4, f, -4 in decreasing order.
4, f, -4
Suppose 8*a = 5*a - g + 9, -5*g = a + 11. Sort a, 0, -11 in ascending order.
-11, 0, a
Let m be ((-6)/4)/(3/4). Let k be 1/6*(0 + 2). Sort m, k, -3 in descending order.
k, m, -3
Let b be (6 - 4)*(-15)/(-18). Put -1/5, b, 1, 2 in decreasing order.
2, b, 1, -1/5
Let b be 18/5 - (-4)/10. Let w be (-3 + 2 - 1)/(-1). Suppose 0 = -q + w*s - 3, -3*q - 8 = 2*s + 9. Sort 2, q, b.
q, 2, b
Let m = -1 - 1. Suppose -6 = -x - 5*r + 6, -5*x - 4*r = -18. Suppose -3*d - x*d = -15, -9 = -3*s - 2*d. Sort m, s, -4 in descending order.
s, m, -4
Suppose 4*r + 3*t - 16 = t, -16 = -4*r + 2*t. Let i(j) = j**2 + 5*j + 3. Let u be i(-3). Let y be u/(-12)*(0 + 4). Put 3, r, y in increasing order.
y, 3, r
Let v = 4.98 - -0.02. Let j be 2/8 - (-3)/(-108). Let q = -1.2 + -3.8. Put j, q, v in ascending order.
q, j, v
Let i = -3 - 0. Suppose 0 + 7 = s. Suppose -s - 13 = 4*a. Sort 4, i, a in descending order.
4, i, a
Let d = -8 + 13. Suppose d*q + 0*q + 15 = 0. Sort -1, 3, q.
q, -1, 3
Suppose -5*j - 5 + 20 = 0. Let q be -9 + 2 + 1*j. Sort 3, q, -3.
q, -3, 3
Let l = 145 + -146. Let v(w) = -w**3 + w**2 + w + 1. Let i be (-4)/3 + 2/6. Let g be v(i). Sort 5, g, l in ascending order.
l, g, 5
Let o be 5 - (-1 - (-1 - 1)). Let u = 1.61 - 1.6. Let f = u - -0.09. Sort -1/3, f, o.
-1/3, f, o
Suppose -2*q + 7*q = -115. Let g = -18 - q. Put -5, -3, g in decreasing order.
g, -3, -5
Let n be 8/6*2/(-8). Let j = -45.5 - -45. Put j, n, -0.01 in decreasing order.
-0.01, n, j
Suppose 0*v - 5*v = -5*b + 5, 4*v - 3*b = -4. Let t be (21/(-27) - v)*1. Let l = -0.1 - 0.1. Put l, t, 0.2 in ascending order.
l, 0.2, t
Suppose 20 = -2*c + 6*c. Sort c, 24, -2/15 in increasing order.
-2/15, c, 24
Let q = 8 + -9.2. Let i = 3.8 - q. Sort -0.5, -2, i in decreasing order.
i, -0.5, -2
Let u = -11 + -1. Let n be (u/(-9))/(2/6). Suppose 3 = -n*g - 9. Put 1, 2, g in increasing order.
g, 1, 2
Let x = 7.1 - -0.9. Let v = -7 + x. Let j = -594/7 - -85. Sort v, j, 3/5 in descending order.
v, 3/5, j
Let x = 5.1 - 0.1. Let w = x - 5. Put -1, -2/5, w in decreasing order.
w, -2/5, -1
Let v = -1 + 0. Suppose 3 = -3*t, -3*o + t = -0*o - 7. Suppose 6 = o*r + 16. Sort r, v, 3.
r, v, 3
Let o = -7 - -7.5. Sort -0.5, 6, o in descending order.
6, o, -0.5
Suppose -2 = -3*t + 4*t. Put -5, -3/4, t in decreasing order.
-3/4, t, -5
Let m be -1 - (-1 + -2 + 3 - -2). Let k = 11 + -15. Put m, k, -5 in decreasing order.
m, k, -5
Let g be 1/(-2)*12/(-2). Suppose -3*y - 3*a = 3, -g*y + 1 = -0*a - a. Let w = -4.4 - -4.1. Put -5/4, y, w in ascending order.
-5/4, w, y
Let g be ((-2)/4)/(5/(-20)). Let y(j) = j**3 + 8*j**2 + 7*j - 4. Let u(d) = -2*d + 11. Let t be u(9). Let k be y(t). Sort 1, g, k in ascending order.
k, 1, g
Let z(c) = c**2 + 8*c + 14. Let r be z(-6). Put 7, r, 1 in ascending order.
1, r, 7
Let s = -2 - -2.2. Let y = 12 + -15. Sort y, -0.5, s in descending order.
s, -0.5, y
Suppose 2*m - 8 = -2*q, 0 = 3*m + q + 3*q - 13. Put -5, m, -4, 0 in increasing order.
-5, -4, 0, m
Let z = -222.82 - -218. Let b = z + -0.18. Put -0.02, b, 1 in increasing order.
b, -0.02, 1
Suppose -2*i + 0 = -6. Let u(d) = -d**3 - 7*d**2 - 7*d + 3. Let p be u(-6). Let v = p + -4. Sort -4, v, i in descending order.
v, i, -4
Suppose -2*i + 4 = 0, 0*c = 2*c - 2*i + 4. Put -1, c, -5, 3 in descending order.
3, c, -1, -5
Suppose 8*h = -2 + 34. Put 0, -14, h in increasing order.
-14, 0, h
Let c(m) = -m**2 - 6*m + 5. Let r be c(-6). Suppose 6*t = 3*t + 12. Suppose 0*l + 3*l - 13 = -t*d, 2*l - 3 = 3*d. Sort 3, r, d.
d, 3, r
Let l = 13.7 - 13. Let z = l + -0.2. Sort z, -6, -0.1 in decreasing order.
z, -0.1, -6
Let g = 2 - 2. Suppose g = v + 4*v - 15. Sort -1, 5, v.
-1, v, 5
Suppose -5*i + 45 = 5*r, 0*r + 5*i = -2*r + 30. Suppose 3*p = r*j + 1, -2*j + 2*p = -2*p + 6. Sort 4, -2, j.
-2, j, 4
Let j(n) = 2*n**3 + n**2 + 2. Let a be j(-2). Let b be (-4)/1 - (a - -8). Sort 1/3, 0, b in descending order.
1/3, 0, b
Let x(j) = -j - 3. Let l be x(0). Suppose 28 = -o + 5*o. Let d(t) = -t**2 + 7*t - 4. Let m be d(o). Sort m, l, 2.
m, l, 2
Let u be 2/1 + (1 - 3). Suppose -4*z + 6*v - 2 = 3*v, -4*v + 10 = 2*z. Let k be -2*(z + (-2)/4). Sort u, k, 4.
k, u, 4
Let b = -2 - 1. Sort -2, b, 0.3.
b, -2, 0.3
Suppose -13 = -7*l + 8. Sort l, -2, -5.
-5, -2, l
Let i = 3.5 + -3.1. Put -4, i, 0.5 in descending order.
0.5, i, -4
Suppose 0 = -r + 2*w + 10 - 2, 4*r - w = 18. Suppose -r*y + 3*m = -m + 8, 0 = -y - 3*m + 6. Sort y, 0.2, -0.3 in decreasing order.
0.2, y, -0.3
Let s = 85/7 - 86/7. Put 7, 4, s in decreasing order.
7, 4, s
Suppose -5*v = -2*v - 12. Suppose -4*n - 20 = n. Put 2, n, v in increasing order.
n, 2, v
Let w = -0.1 + 0.2. Let k = -13/2 + 6. Put k, w, 3 in descending order.
3, w, k
Let m(y) = 2*y - 7. Let p be m(5). Let x = 4.3 - 10.4. Let o = 1.1 + x. Sort 1/4, o, p.
o, 1/4, p
Suppose 4*u - i - 1 = 0, 8*i + 8 = -3*u + 7*i. Let z be (1 + -4)*(-4)/6. Put u, z, -4 in descending order.
z, u, -4
Let a = -0.8 + -3.2. Let y = a + 3.9. Let d = 0.5 + -0.3. Sort y, d, -4 in increasing order.
-4, y, d
Suppose 6*c = c + 5. Sort c, -2/5, 4 in decreasing order.
4, c, -2/5
Let t(y) = -8*y - 37. Let s be t(-5). Suppose -9 - 1 = -5*v. Suppose -m = -5*m - d - 7, 0 = v*d - 2. Sort m, -1, s in ascending order.
m, -1, s
Let k = -55 + 51. Sort 5, k, -0.1, -3 in decreasing order.
5, -0.1, -3, k
Let l = -27.92 + -0.08. Put -1/3, l, -0.2 in increasing order.
l, -1/3, -0.2
Let o = 13.6 + -14. Put o, -4, -2 in ascending order.
-4, -2, o
Let j = 40 + -39. Sort 3, 5, 2, j.
j, 2, 3, 5
Suppose -2*q = 6, -5*q + 0*q = -4*c + 23. Let t = -5 + c. Sort -4, 2, t.
-4, t, 2
Let p(u) = -u**3 + 7*u**2 - 9*u + 9. Let f be p(6). Let c be ((-4)/18)/(12/f). Put 0.2, 0.5, c in descending order.
0.5, 0.2, c
Let w(h) = -h - 1. Let s(u) = -2*u**2 + 4*u + 5*u + u**2 - 7. Let g be s(8). Let b be w(g). Sort 0, b, -5 in ascending order.
-5, b, 0
Suppose 5*n + 3*c + 16 = -1, 5*c = 3*n + 17. Let p = 7 + n. Let f be (9/12)/(18/(-4)). Sort p, -2, f.
-2, f, p
Let o(i) = i**3 - 5*i**2. Let s be o(5). Put s, -5, 6, -3 in ascending order.
-5, -3, s, 6
Let x = -34 - -47. Suppose -m + 4*m - 9 = 0. Suppose m*f - 1 = -x. Put -2, -1, f in increasing order.
f, -2, -1
Let v(j) = j**2. Let i(a) = -a - 1. Let o(z) = -i(z) - v(z). Let d be o(2). Suppose 9 = 3*n + w, n - 2*n = 5*w - 3. Sort d, -5, n.
-5, d, n
Suppose -5*d - 2 + 0 = -i, 5*i + 11 = 4*d. Sort -1/2, 1, 2/15, d in descending order.
1, 2/15, -1/2, d
Let g be (2/(-3))/((-10)/492). Let x = 33 - g. Put x, -3, -0.3 in increasing order.
-3, -0.3, x
Let d = -16 + 15.7. Let f = 19 + -19. Sort 3/4, d, f.
d, f, 3/4
Suppose 44 = 5*i + 34. Put 3, i, 5 in descending order.
5, 3, i
Let m = 2/19 - -11/76. Sort 0, 2/19, m, 3 in descending order.
3, m, 2/19, 0
Let d = -1 - 3. Let m = 29 + -19. Let h = -9.7 + m. Put h, d, -1/2 in increasing order.
d, -1/2, h
Let g be ((-5)/(-4))/(-5)*2. Put 2, 3, g in decreasing order.
3, 2, g
Le