0.2 + 0.3. Sort -2/17, d, j in increasing order.
j, -2/17, d
Suppose 0 = -f - 3*f - 64. Let t = 18 + f. Put t, 0, 3 in decreasing order.
3, t, 0
Let m = -0.63 + 0.23. Put m, 0.07, -3 in increasing order.
-3, m, 0.07
Let w = 3.38 - 0.38. Let v = 11 - 15. Let h be (-4)/2*(-4)/10. Sort h, v, w in decreasing order.
w, h, v
Let i be (-26)/10 + 2/(-5). Suppose j + 0*j = -3*z + 14, 0 = -z - 2*j + 13. Suppose -z*f = 4 + 11. Put i, -1, f in ascending order.
f, i, -1
Suppose -7*v = -29 - 48. Put -5, v, 0, -4 in decreasing order.
v, 0, -4, -5
Let b = 36 + -37. Put 10, 4, 3, b in decreasing order.
10, 4, 3, b
Let x(h) = h - 7. Let y be x(3). Suppose 20*z + 4 = 18*z. Put y, z, -3 in decreasing order.
z, -3, y
Let l be ((-16)/10)/(8/(-20)). Let h = -261/5 + 53. Let i(d) = d + 2. Let g be i(0). Put h, g, l in decreasing order.
l, g, h
Suppose y - 2*y - 17 = -5*r, -3*r + 6 = -2*y. Suppose 20 = y*z + 2*z. Sort z, -4, 3 in descending order.
z, 3, -4
Suppose -n + 3*n = -4, -n - 10 = -2*m. Let d be (2 - 2) + 2 - 1. Let s = d + m. Put 1, 2, s in decreasing order.
s, 2, 1
Let q be 4/6 + 20/6. Let v(g) = g - 9. Let l be v(10). Let x(f) = -f**3 - 5. Let r be x(0). Sort r, q, l.
r, l, q
Suppose 0 = r + 21 - 18. Sort 2, -5, r in descending order.
2, r, -5
Let o be 1/((-5)/2)*-10. Let c be 3*(20/(-12) + 2). Let z = c - 4. Sort o, z, -4 in increasing order.
-4, z, o
Let h = 1.2 + -0.2. Let q = 12 - 16. Sort 0.3, q, h.
q, 0.3, h
Let b = -0.53 - -32.53. Let i = b + -32.2. Let k = 5.1 - 0.1. Sort k, 1/6, i in ascending order.
i, 1/6, k
Let j be 1*-7*18/(-21). Let k(t) = -t**3 + 7*t**2 - 6*t + 4. Let r be k(j). Let a be ((-12)/(-2))/(r/2). Put a, -3, -2 in decreasing order.
a, -2, -3
Let l = 2/385 + -62/77. Sort l, -3, 0.5 in descending order.
0.5, l, -3
Suppose 0*q = -3*q + 9. Suppose -3*a - 9 = 3*b, a - 11 = 3*b + 2*a. Sort b, q, -3.
b, -3, q
Let b be (1 + -4)*1 + 0. Let u be (-1 - -4)/((-6)/8). Sort u, 5, b.
u, b, 5
Let a be ((-6)/(-15))/(3/(-15)). Let d be 3/a + 22/(-4). Let s = d - -3. Sort s, -2, -1.
s, -2, -1
Suppose v - 20 = -4*v - 3*d, 0 = -2*v - 3*d + 17. Let p be ((-4)/10)/(5/(-25)). Put v, p, 11 in increasing order.
v, p, 11
Let d(y) = y**3 + 6*y**2 + 5*y + 2. Let n be d(-5). Suppose -5*u = -5*a - 0*u, 0 = -a + 3*u + 2. Sort a, -4, n in descending order.
n, a, -4
Let w = -54 - -49. Let r(s) = s**2 - 6*s - 1. Let z be r(6). Put z, w, 4 in decreasing order.
4, z, w
Let p be 24/280 - (-2)/10. Sort -2, p, 0.1, -0.2 in ascending order.
-2, -0.2, 0.1, p
Let s = -2 + 3. Let o = 8.2 - 9. Let p = o + 2.8. Sort 0, p, s in decreasing order.
p, s, 0
Let v = -3.8 + 3.6. Put 1/12, -1, v in decreasing order.
1/12, v, -1
Let z = 1.2 - 1. Let b = -52 + 52.4. Put z, b, -2/7 in ascending order.
-2/7, z, b
Suppose 3*w = -3*y, -y + 3*w + 14 = 3*y. Suppose 0*f - 5*f + 17 = 3*h, 3*f - y*h = -5. Sort -5, 4, f in ascending order.
-5, f, 4
Let n = 949/12 - 79. Sort -0.05, -4, n.
-4, -0.05, n
Suppose -35*v - 8 = -39*v. Put v, 19, -1, 3 in increasing order.
-1, v, 3, 19
Let q be 6/27 - 10/(-36). Let p = -0.7 + 1. Sort q, p, -2/9 in descending order.
q, p, -2/9
Suppose 0 = -n + 3*w - 7, w + 0*w = -4*n + 11. Let g(m) = -m**3 + 5*m**2 - 2*m - 3. Let z be g(4). Sort n, 3, z.
n, 3, z
Suppose 3*x + 12 = -2*x - 2*v, 0 = 4*x + 2*v + 10. Put x, -14, -3 in decreasing order.
x, -3, -14
Let z be (-4)/3 + -3*8/(-18). Put 4, z, 2, -5 in descending order.
4, 2, z, -5
Let r(q) = 2*q + 2*q + 1 - 9. Let a be r(7). Suppose a = 2*f + 2*f. Sort f, 1, -1 in decreasing order.
f, 1, -1
Let q = 1 + 15. Suppose 4*h + 0*h - q = 0. Sort h, -3, 2 in decreasing order.
h, 2, -3
Let l(k) = k + 1. Let m(o) = -2*o + 8. Let f(u) = l(u) + m(u). Let h be f(4). Let b = -21 + 21. Sort 3, b, h in ascending order.
b, 3, h
Suppose 6 = 2*m - 2. Suppose -5*s + 18 = 3*j - 1, m*s = -5*j + 23. Sort s, -5, 3 in ascending order.
-5, s, 3
Let m = -10 - -11. Let t be 32/42 + (-1)/3. Sort 0.3, t, m in decreasing order.
m, t, 0.3
Let d(t) = t**2 - 8*t - 10. Let h(j) = -j**2 + 7*j + 9. Let g(x) = -2*d(x) - 3*h(x). Let k be g(6). Sort k, -1/7, 0.4 in decreasing order.
0.4, -1/7, k
Let o be ((-6)/(-9))/((-22)/6). Put -3/7, o, 0.2 in descending order.
0.2, o, -3/7
Suppose -5*u = -a + 15, -16 = -2*a - 2*a - 2*u. Suppose -2*d + 4*j = -2, -3*d + 3*j = a*j + 21. Suppose -4*n + 8 = -2*n. Put d, n, -4 in decreasing order.
n, -4, d
Let x be 2 + -1 + -3*1. Let q = 70 + -76. Sort q, -3, x in decreasing order.
x, -3, q
Let a = 20 - 21. Let c = -60178 - -3429973/57. Let p = -26/19 - c. Put p, a, -3/5 in ascending order.
a, -3/5, p
Let o = 9.9 - 11. Let w = 1 + o. Let x = 328/5 - 65. Sort x, w, 2/3 in ascending order.
w, x, 2/3
Let r = 1 + 2. Let d = 3.2 - r. Let s = -11 - -6. Sort s, 2/25, d.
s, 2/25, d
Suppose -3*m + 2*m = -5. Let i(l) = -l + 5. Let p be i(m). Let z(u) = -u**2 + 2*u + 1. Let k be z(4). Put p, k, 0.3 in decreasing order.
0.3, p, k
Suppose -2*j - 4 = -2. Put -3, j, -5 in descending order.
j, -3, -5
Let t = 1.49 + -1.29. Sort 3/7, -5, t, -1/6 in decreasing order.
3/7, t, -1/6, -5
Let u(a) = -a**3 - 7*a**2 - 7*a - 4. Let t be (-10)/(-14) + (-6)/(-21). Let j = -5 - t. Let x be u(j). Sort -3, -1, x in decreasing order.
x, -1, -3
Let j be 2/((-168)/(-123)) - (-8)/28. Put j, 1/3, 5, 2 in decreasing order.
5, 2, j, 1/3
Let o = -1/3 - -1/6. Sort o, -5, -1 in increasing order.
-5, -1, o
Let w = 16 + 23. Let m be 8/52 + (-240)/w. Let p be (-66)/(-15) - m/10. Put 0, p, -2 in ascending order.
-2, 0, p
Let x = -434/57 - 96/19. Let o = x + 118/9. Sort o, 0, 0.4 in ascending order.
0, 0.4, o
Let s be (24/30)/(14/10). Let w = -8.3 + 8. Sort s, -5, w in descending order.
s, w, -5
Let v = -13 + 13.3. Let r = v - 1.3. Put 1/5, r, 4 in decreasing order.
4, 1/5, r
Suppose -z + 4*z + 12 = 0. Suppose -t + 3*s + 16 = 0, 2*t - 5 - 7 = s. Let n(l) = l**3 - 4*l**2 + 3. Let u be n(4). Sort z, t, u.
z, u, t
Let h = 41 - 40.8. Put -1, -5, h in decreasing order.
h, -1, -5
Let o be 5/30 + 7/(-6). Suppose 6*x - x - c = -65, x + 34 = -4*c. Let u be x/(-2) + 2 + -4. Put o, u, 1 in decreasing order.
u, 1, o
Let v be 2/(-7) - 30/(-7). Suppose j - 3*b - 6 = 4*j, -5*j + 8 = -b. Sort 0, v, j in descending order.
v, j, 0
Let r(y) = y**2 - 10*y + 27. Let p be r(6). Sort p, 6, -1 in increasing order.
-1, p, 6
Let f = -22.7 + 23. Sort -0.2, f, 2, 2/3 in ascending order.
-0.2, f, 2/3, 2
Let g(h) = -h**2 - h + 1. Let p be g(-2). Let c = p + 0. Sort c, -4, 1.
-4, c, 1
Let y = -70 - -67. Sort -1, y, 5 in decreasing order.
5, -1, y
Let h(m) = m**3 + m**2 - m - 1. Let t be h(0). Let q = -0.4 - -0.44. Let k = 3.96 + q. Put k, t, -5 in decreasing order.
k, t, -5
Let t(p) = -p**3 - 2*p**2 + p - 4. Let d be t(-3). Suppose 0 = d*o + o - 9. Suppose o*j + 4 = -j. Put -2, j, -3 in increasing order.
-3, -2, j
Let u = -2/45 - -62/45. Put 2/7, u, -2 in descending order.
u, 2/7, -2
Let o be -1 + 2/2*-1. Let x = -79 - -84. Sort x, o, -3 in descending order.
x, o, -3
Suppose -5*u + 3*m - 18 = 0, -5*m + 17 = -2*u - 2*u. Sort u, 2, 3 in decreasing order.
3, 2, u
Suppose -4*s + 21 = -3*c, 4*s - 2*c + 0*c - 18 = 0. Let m = 15 + -15.3. Sort s, -4, m in descending order.
s, m, -4
Let n = 0 + -3. Let x = -3.5 - -4. Let q = x + -0.3. Sort q, 5, n in ascending order.
n, q, 5
Let z = -10.3 + 10. Put -1/2, z, 0.3 in descending order.
0.3, z, -1/2
Let m be (1/(-15))/((-6)/(-18)). Put m, 0.1, 0 in descending order.
0.1, 0, m
Suppose -7*r - 2 = -8*r. Suppose -4*h = h + 55. Let u be (-2)/(-4) - h/(-2). Put u, r, 5 in increasing order.
u, r, 5
Suppose 0 = 5*g - l + 20, 5*l + 4 - 14 = -5*g. Let f be (-2)/7 - 2/(-7). Sort 3, f, g in decreasing order.
3, f, g
Let x = 32 - 34. Sort 5, 21, x in increasing order.
x, 5, 21
Let a(w) = 2*w**2 - 3*w - 2. Let c be a(2). Let n(k) = -k**2 + k - 3. Let t be n(c). Sort t, 1, 5 in descending order.
5, 1, t
Let m be -8 + 9 + 108/32 + -4. Let n = -4.99 + -0.01. Let y = 3 + n. Sort y, -0.4, m in ascending order.
y, -0.4, m
Let n be -2*12/32 - (-1)/(-4). Put -33, 4, n in decreasing order.
4, n, -33
Let m be 4*11/(-8)*2. Let f = m - -6. Let h(l) = -3*l**2 - l + 1. Let z be h(1). Sort z, 1/5, f in ascending order.
f, z, 1/5
Let r = -46 + 41.2. Let l = 0.8 + r. Sort l, -3, -0.3 in decreasing order.
-0.3, -3, l
Let z(r) = -23*r - 232. Let x be z(-10). Suppose -3*p - 11 = -3*i - 29, -4*i -