 2/(-3)*m/2. Put n, 0, 2 in ascending order.
n, 0, 2
Let d(q) = -4*q - 6. Let j be d(-4). Suppose 1 - j = -3*x. Sort x, 4, 0.
0, x, 4
Let i = -0.6 + -3.8. Let y = 4 + i. Sort 3, y, -0.1.
y, -0.1, 3
Let x = 36 + -33.7. Let l = 0.3 - x. Sort 0, l, 5 in decreasing order.
5, 0, l
Suppose 3*p - 3 - 3 = 0. Suppose 0 = -u + 37 - 33. Sort u, 5, p in decreasing order.
5, u, p
Let z(l) = 3*l. Let w be z(1). Suppose -3*i + 35 = -4*t, 0*t + 40 = -4*t + 4*i. Put t, w, -1 in increasing order.
t, -1, w
Let f(i) = i + 1. Let b be f(-2). Let y(w) = 4*w**2 - w - 1. Let o be y(-1). Let z = o + -6. Sort z, 3, b in decreasing order.
3, b, z
Suppose 52*k + 8 = 60*k. Let m be (0 + 3)/(-3 + 2). Sort k, m, -1 in descending order.
k, -1, m
Let t = 0.117 + -0.117. Sort 4, 1/2, -1, t.
-1, t, 1/2, 4
Let l = -13 - -15. Sort -0.4, l, -5 in decreasing order.
l, -0.4, -5
Let k = -191/21 + 66/7. Sort k, -1, 2, 3/2 in increasing order.
-1, k, 3/2, 2
Let w = -1159/4 + 285. Let f = 163/36 + w. Let z = -0.1 + 0.3. Sort f, z, 5 in decreasing order.
5, z, f
Suppose -10*n - 6 = -4*n. Put n, 1, -4, -2 in descending order.
1, n, -2, -4
Let r = 0.5 + 0. Let m be (28/49)/((-6)/(-7)). Sort 6, r, m.
r, m, 6
Let h = 1.1 + -5.1. Let z = -60.1 - -60.5. Sort z, h, 3 in increasing order.
h, z, 3
Let b be -3 + 3*76/72. Sort -0.5, 0.3, b.
-0.5, b, 0.3
Suppose 5*v - v = -5*s - 15, 4*v = -s - 3. Let n be 9/(-12) - 5/20. Let h be ((-5)/(-2))/((-2)/4). Sort s, h, n in descending order.
n, s, h
Let t = -2/209 - 404/1463. Let w be ((-2)/10)/(3/(-5)). Put w, -6, t in descending order.
w, t, -6
Let u(v) = v**2 + 8*v + 10. Let l be u(-7). Let y = 1.4 - 2.4. Put l, -3, y in decreasing order.
l, y, -3
Suppose -5*l = -6*l + 5. Let p = -789 + 792. Sort l, p, 2 in decreasing order.
l, p, 2
Let z(f) = -4*f - 3. Let v be z(-2). Put 2, -5, v, -4 in decreasing order.
v, 2, -4, -5
Let b = -0.15 + 4.15. Sort 0.5, b, 3.
0.5, 3, b
Suppose 4*u + 4*y = 0, 2*y - 5*y - 24 = -3*u. Let a be 0/((u - 3) + 1). Put -2, a, 1 in increasing order.
-2, a, 1
Let q = 7.139 - 0.039. Let t = q + -7. Sort -1, t, 0.2 in ascending order.
-1, t, 0.2
Let n = 1.42 - 0.22. Let r = 5.2 - n. Sort -4, 0.4, r.
-4, 0.4, r
Suppose 0 = 4*f + o + 9 - 29, 0 = -o + 4. Put f, -2, -1.2 in ascending order.
-2, -1.2, f
Let p be (3/(-1) - -2)/1. Let w = 0 + 6. Suppose -w*s = -2*s. Sort -5, p, s in descending order.
s, p, -5
Let f = 0.25 + -0.05. Sort -5, f, 1, 2/21 in increasing order.
-5, 2/21, f, 1
Let o = -2/27 - -37/135. Sort 1, -9, o in increasing order.
-9, o, 1
Let u = -0.003 + 0.403. Sort -81, 4, u.
-81, u, 4
Let z(a) = 5*a**3 - a**2 + 2*a + 7. Let s(w) = w**3 - w**2 + w + 1. Let x(y) = 6*s(y) - z(y). Let m be x(4). Sort 5, m, -3 in increasing order.
-3, m, 5
Suppose x - 5 = -4*x. Let b be x - -1*(-4)/(-2). Suppose b*l = -2*s - 1 + 15, -l - 14 = -4*s. Put 5, s, 0 in ascending order.
0, s, 5
Suppose -3*c + 21 = -5*m + 116, 2*m - 29 = 3*c. Let t be 2/4*(-8)/m. Put -5/4, -0.2, t in descending order.
t, -0.2, -5/4
Suppose 5*v - c = -6*c, -3*v - 5*c + 8 = 0. Sort 3, 4, v in decreasing order.
4, 3, v
Let r = 0.4 + -0.9. Let v = 0 - r. Let y = -7 + 4. Put -1/5, y, v in decreasing order.
v, -1/5, y
Let r(l) = -3*l + 1. Let m be r(-1). Let w = m - 4. Let z = 1.1 + -0.8. Put w, 4, z in descending order.
4, z, w
Let x = 2 - -3. Let w be (-3)/(-9)*3*x. Put -1, 3, w in descending order.
w, 3, -1
Let t = -0.1 + 0.3. Let w = -1 - -4. Put w, 1/4, t in decreasing order.
w, 1/4, t
Let s be 96 + -85 + 4*-1. Let t be (-4 + 0/(-1))*1. Sort t, -3, s.
t, -3, s
Let i(l) = l - 7. Let j be i(6). Suppose o = -2*w - 0*w - 9, 4*w - o + 9 = 0. Sort j, w, 2 in descending order.
2, j, w
Let m = -5.02 + 0.02. Let f = 1 + 6. Suppose -t = -4*c + f, t - 2 = -4*c - c. Sort m, c, 0.2 in decreasing order.
c, 0.2, m
Let g = -62 + 185/3. Put g, 1, 4, -5 in decreasing order.
4, 1, g, -5
Let s = 144935/8 + -18146. Let l = s - -115/4. Let k be 2/(-9) - 0/(-2). Put k, l, -1/6 in increasing order.
l, k, -1/6
Let c be -3*2*3/(-6). Put 5, 2, c in descending order.
5, c, 2
Let k = 0.26 + -12.26. Let g = k + 16. Sort g, -3, 1/3 in decreasing order.
g, 1/3, -3
Let m = 3 + -2.9. Let w = m - -0.1. Suppose -2*t - 6 = -4*q, 3*q - 2 = 5*t - 1. Sort 0.4, w, t.
w, 0.4, t
Let w = 56 + -56. Sort 1/11, w, 6 in descending order.
6, 1/11, w
Let q(d) = d**2 - 5*d + 1. Let o be q(5). Put -0.02, o, 0.4, 2 in increasing order.
-0.02, 0.4, o, 2
Let t = -19 - -28. Suppose -4*d + t*d - 30 = 0. Suppose d*z + 20 = 2*z. Put z, 1, 2 in descending order.
2, 1, z
Let z = -12 - -13. Let f = -1.2 - -1. Sort f, z, -0.4 in descending order.
z, f, -0.4
Let o = -2 + 2.5. Let m be (3/((-9)/(-30)))/2. Let j be (-3 + 1)/1 + m. Sort o, j, -0.2 in increasing order.
-0.2, o, j
Let v be (0/(-2))/(6/(-3)). Let q be (4/(-3))/(16/24). Suppose w = -w - 6. Sort v, w, q in ascending order.
w, q, v
Let u(c) = -c**3 - 2*c**2 + 3*c - 4. Let q be u(-3). Put q, 2, -3 in ascending order.
q, -3, 2
Let v = 5 + -3. Suppose 5*o - 6 = v*o. Let i = -36 + 39. Sort o, 0, i.
0, o, i
Let v = 35 + -34.97. Put -4, v, -5 in descending order.
v, -4, -5
Let i = -34/15 + 8/3. Sort 19, 1, i, -5 in decreasing order.
19, 1, i, -5
Let l = 2 - 4. Let x = l - -5. Put 0, x, 1 in increasing order.
0, 1, x
Let b(j) = j**2 + 5*j + 5. Let y be b(-5). Suppose -2*x = -3*s - 9, -3*x + 11 = -x - y*s. Suppose w = x*w. Sort 1, w, 2 in increasing order.
w, 1, 2
Suppose 2*r + 5*v - 4 = 4, -5*r + v = 34. Let b be 2/(2/r*2). Put 2, b, -4 in descending order.
2, b, -4
Let o = -350023/693 - -5565/11. Let q = -5/7 + o. Let c = 0 - 0. Sort 0.4, c, q.
c, q, 0.4
Let f = -163 + 163.03. Put -3, f, 2 in descending order.
2, f, -3
Let x = 3.6 + -3.2. Put 1/3, 5, x, -0.05 in descending order.
5, x, 1/3, -0.05
Let v(h) = h**3 - 8*h**2 + 9*h - 10. Let y be v(7). Put -3, y, 2 in increasing order.
-3, 2, y
Let u = -17 - -7. Let o be u/84 + 10/35. Sort -3/2, 1, o in descending order.
1, o, -3/2
Suppose 0 = -3*v + 15. Put -2, -5, v in decreasing order.
v, -2, -5
Suppose -3 = 5*c - 3*t, 3*t - 2*t = 5*c + 11. Let r = c - -7. Sort 3, -1, r.
-1, 3, r
Suppose 206 - 65 = 3*j. Put j, 5, 2 in ascending order.
2, 5, j
Let i = 299/10302 + 113/303. Let k = i - 4/17. Suppose 0 = a + 2 - 0. Put -3, a, k in decreasing order.
k, a, -3
Suppose -5*b - 420 = 10*b. Sort 2, -5, b in decreasing order.
2, -5, b
Let g = 2 + -4. Let s(o) = o**2 - 9*o - 9. Let l be s(8). Let x = 17 + l. Put -4, x, g in ascending order.
-4, g, x
Let n = -5 - -3. Let i(z) = -z**2 - 4*z. Let r be i(-3). Let c be (12/56)/(r/(-4)). Sort 2, n, c.
n, c, 2
Suppose -4*d + 0*d = 20. Let u(a) = a + 3. Let j be u(d). Let q(y) = y**3 + 5*y**2 - 1. Let x be q(-5). Sort x, 0, j in decreasing order.
0, x, j
Let a(n) = -n - 1. Let g be (2 + 1)*(-3 - -2). Let p be a(g). Suppose -p*y + 4 + 0 = 0. Sort -1/3, -0.5, y.
-0.5, -1/3, y
Suppose -4*g - g + 100 = 0. Suppose -5*w = -h + 19, h + h = 4*w + g. Let q = -13 - -18. Put 3, h, q in increasing order.
3, h, q
Let w(u) = -2*u**3 - u**2 + 5*u + 2. Let o be w(-2). Let a be (-2)/4*-6*-1. Sort a, 2, o.
a, 2, o
Let n = 3 - 1. Let l = 9 + -8. Let q = n + l. Put -0.4, q, -5 in increasing order.
-5, -0.4, q
Let o = -2 - -2.3. Let i = -2.3 + o. Let z = 3 + i. Sort 0, 3, z.
0, z, 3
Let r be (4 - (-1 - -1))*(-4)/12. Put -3, 0.03, r in decreasing order.
0.03, r, -3
Let j(k) = k**3 - 6*k**2 + k - 1. Let r be j(6). Sort -3, -33, r in decreasing order.
r, -3, -33
Let x(z) = -3*z + 1. Let n(b) = -b - 1. Let k(u) = -2*n(u) + x(u). Let v be k(3). Sort -2, -4, v in ascending order.
-4, -2, v
Let s = -46 + 56. Put 2, s, 1 in descending order.
s, 2, 1
Let s(y) = y**2 + y - 33. Let h be s(-6). Let g be (-3)/(-1 + 0 + 0). Put g, 0, h in descending order.
g, 0, h
Suppose 0 = 3*m - 0*m + 3. Let q = -6 + 2. Sort q, 0.6, m in decreasing order.
0.6, m, q
Suppose -7*r + 0*r - 28 = 0. Sort -2, r, -3 in increasing order.
r, -3, -2
Suppose 33 = i - 4*m, -5*i + 4*m + 117 = -0*m. Sort i, -1/2, -1 in increasing order.
-1, -1/2, i
Let d = 2 - 0. Let w(r) = -2*r**2 - 8*r + 1. Let n be w(-4). Put d, -5, n in decreasing order.
d, n, -5
Let g = -10 - -6. Let p = 6 + g. Sort -5, 1, p in decreasing order.
p, 1, -5
Suppose 0 = g + 4*g + 5*l + 15, -2*l - 6 = -g. Sort -4, -2, g.
-4, -2, g
Let o = -99 - -103. Put o, 0, 5 in descending order.
5, o, 0
Let i