 r - 1 = 2*s + 6*r. Suppose -7 = 3*o + s. Put m, o, 1 in decreasing order.
1, o, m
Let t = -1 - -1.4. Let r = -1.3 + -3.7. Sort t, -1, r in descending order.
t, -1, r
Let l(b) = 2*b - 7. Let s be l(3). Sort 4, s, -5, -3 in descending order.
4, s, -3, -5
Let f = 0.22 + -0.22. Let s = f + 5. Sort s, 3/5, 1/3 in decreasing order.
s, 3/5, 1/3
Let i be (-1)/4 + 78/(-8). Let h be -12 + 1/(1/(-3)). Let d = i - h. Sort -4, 0, d.
-4, 0, d
Suppose 4*a = 2*b + 12, 4*b + 30 - 10 = 4*a. Let c = 2 - 5. Let j = -133 + 133. Sort b, c, j.
b, c, j
Let v = 5 + -4.6. Let w = 9.9 - 9. Let j = 0.4 - w. Put 3, j, v in decreasing order.
3, v, j
Let z = -106/3 - -35. Put -5, 3/2, z in ascending order.
-5, z, 3/2
Let x(f) = -3*f**3 + 1. Let d = 11 - 10. Let w be x(d). Put 0, 5, w in descending order.
5, 0, w
Suppose 16 = 5*m - m. Let z(r) = 7*r + 142. Let j be z(-21). Put -2, m, j in increasing order.
j, -2, m
Let q(t) = -t**2 + 4*t - 1. Let j be q(3). Let o = j - 1. Suppose 13 = -3*z + 2*x, -4*z - 2*x + 11 = x. Sort 2, o, z in ascending order.
z, o, 2
Let x = -0.07 - -0.37. Let c = -0.7 + x. Let f = -163/108 - -1/108. Sort f, -3, c in descending order.
c, f, -3
Let g = -0.406 - -7.286. Let a = g - -0.12. Let m = a - 4. Put 5, -0.1, m in descending order.
5, m, -0.1
Let g(x) = x**2 - 10*x - 13. Let s be g(11). Sort 5, -1, -6, s in ascending order.
-6, s, -1, 5
Suppose -2 = -j - 7. Sort 4, j, 2.
j, 2, 4
Let x = 2 + 0. Suppose 4*h - 21 + 1 = 0. Let g be 0/h + 2/x. Sort 3, -4, g in increasing order.
-4, g, 3
Suppose -5*n = -n + 8. Let s = 1 + n. Let b(y) = -y**3 - 6*y**2 - 5*y + 4. Let d be b(-5). Sort s, d, 5 in increasing order.
s, d, 5
Let u(g) = -g**2 + 6*g - 2. Let b be u(5). Suppose -t + 3*t + 10 = 0. Let f = -4 + 0. Sort f, t, b in increasing order.
t, f, b
Let l(g) = g**3 + 14*g**2 + 15*g + 26. Let s be l(-13). Put -2, s, -13 in descending order.
s, -2, -13
Let a(u) = 20*u. Let k be a(-1). Let z be 2 + (-5)/(k/(-6)). Put 1, z, 5 in decreasing order.
5, 1, z
Let x = -11 + 10. Let h = 1 - -3. Suppose 0*k + 4*k = h*v + 12, -v = 2*k. Put k, x, -5 in descending order.
k, x, -5
Suppose 6*j + 19 = 7. Sort -4, j, 4, -3 in ascending order.
-4, -3, j, 4
Let t = -192/5 - -38. Let u(f) = -f**2 - 7*f + 10. Let h be u(-6). Put h, -4, t in decreasing order.
h, t, -4
Let x be 7/49 - 26/(-14). Suppose 0*q = -3*q - 18. Put x, 1, q in descending order.
x, 1, q
Suppose a = 11 - 14. Sort -5, a, 2.
-5, a, 2
Let b = -0.29 - 0.01. Let m = 33 + -34. Let u = -0.1 - 0.1. Sort b, u, m in decreasing order.
u, b, m
Let i(t) = t**3 - 5*t + 5. Let w be i(4). Suppose 2*j + 17 = -w. Let l be 2 + 0 - j/(-12). Sort l, 2/7, -1/2 in decreasing order.
2/7, -1/2, l
Suppose 0*g - g = -3*b - 2, -3*g - b + 16 = 0. Suppose -4*y - 25 = -g. Let t(x) = x - 1. Let w be t(1). Put w, y, 5 in descending order.
5, w, y
Suppose -q = -2*i - 3, -5*q = -6*i + i. Let a(o) = -o + 2. Let x be a(-1). Put 4, x, i in descending order.
4, x, i
Let w = 16 - 13. Let f(x) = -3*x**3 + 7*x**2 + 2*x**3 - 5 + 5*x - 3*x**2. Let m be f(5). Sort -4, w, m in decreasing order.
w, -4, m
Let u(b) = -b**3 - 14*b**2 - 24*b + 5. Let h be u(-12). Sort h, 6, -11, 3.
-11, 3, h, 6
Suppose -3*a - 8 + 29 = 0. Suppose -3*o - a = -4. Let z be (70/(-21))/(2/(-3)). Sort 4, z, o in ascending order.
o, 4, z
Let a be (8/10)/(1 - 0). Let c = 5.3 - 5. Put c, 0.1, a in descending order.
a, c, 0.1
Let q = -6 + 8. Let x be 2/4 + (-7)/q. Sort x, -2, 5.
x, -2, 5
Let q = 1.03 - 0.03. Let g = 3 - q. Put -1/4, -0.4, g in descending order.
g, -1/4, -0.4
Let b be (-1)/(-3)*12/(-8). Let q = -187 + 1307/7. Sort 0.1, b, q in descending order.
0.1, q, b
Let d be ((-4)/(-10))/((-1)/10). Sort d, 1, 2 in descending order.
2, 1, d
Let c = 12 + -6. Let u = 5 + -9. Let k be ((-1)/u)/((-3)/(-3)). Sort -3, k, c in descending order.
c, k, -3
Let j(h) = -h**2 + 4*h + 1. Let p be j(3). Sort 5, p, 3, -4 in ascending order.
-4, 3, p, 5
Suppose 4*w = -2*j + 2, -2*j - 7 = -3*j - 4*w. Sort j, -7, -4, -2 in increasing order.
-7, j, -4, -2
Let h = -31939/5 - -6239. Let u = h - -148. Put -0.5, 5, u in ascending order.
u, -0.5, 5
Suppose 7 = 2*h + r, h + 0*h - 4*r = -19. Sort 3, -2, -5, h in ascending order.
-5, -2, h, 3
Let g = 47 + -327/7. Let c = -5.04 - -0.04. Sort g, -2, c in descending order.
g, -2, c
Let b(d) = -d**2. Let q be b(1). Sort -3, 2, q in decreasing order.
2, q, -3
Let l = -4 - -3.92. Let t = l - -5.08. Sort t, 0.1, 3 in decreasing order.
t, 3, 0.1
Let a(j) = 4*j + 0 + j + 1 - 4*j. Let m be a(-6). Put m, 0, 3 in descending order.
3, 0, m
Let m = 1297/24 - 161/3. Sort m, -4, 2 in descending order.
2, m, -4
Let x = -5.06 + 0.06. Let t = 5 + x. Put t, 0.3, -0.4 in decreasing order.
0.3, t, -0.4
Let h be (-6)/(-1 - (1 - 0)). Suppose -2*l + 4*l + 14 = 4*d, -h*l - 2*d = -3. Let z be (-3)/(-3) + 0 - 6. Sort z, l, 2.
z, l, 2
Suppose 5*s + 2*m = -10, 5*s - 5*m + 0*m = -45. Suppose 0 = -y - 0*y - 2. Put y, -3, s in descending order.
y, -3, s
Suppose -4*l + 1 = 1. Sort 4, 5, -9, l in descending order.
5, 4, l, -9
Let t(g) = 2*g - 6. Let b be t(4). Let k be b + (3/(-3) - 0). Sort -1/6, k, -6/7.
-6/7, -1/6, k
Suppose -2*p + 7 = -3*p - g, 5*g + 5 = 5*p. Let f = -3 + 3. Sort p, f, 1 in increasing order.
p, f, 1
Suppose 5*n - n - 12 = 0. Suppose -k + n = 2*k. Sort 0, 3, k in descending order.
3, k, 0
Let j = -0.09 + 0.99. Let x = j + -0.7. Sort -0.5, 3/5, x in ascending order.
-0.5, x, 3/5
Let f(d) = d**3 + 4*d**2 - 2*d + 14. Let v be f(-5). Sort 0, -0.3, v in increasing order.
v, -0.3, 0
Suppose 0*z = -3*z + 4*x - 4, -3*z - 4*x = -28. Suppose -2 + 14 = z*a. Suppose a*l - 7*l = 0. Put -1, -5, l in increasing order.
-5, -1, l
Let h = 61 - 61. Sort 4, -46, h, 1.
-46, h, 1, 4
Let t(i) = 2*i + 1. Let k be t(1). Let h = -27558/19 - -1450. Let a = h - -110/171. Sort a, -5, k.
-5, a, k
Let o = -2.19 - -1.99. Let g(x) = -x**2 - 3*x + 1. Let t be g(-3). Put t, -1, o in ascending order.
-1, o, t
Let q(y) = y + 2. Let x be q(-2). Suppose -r + x*r + 2 = 0. Sort 4, 0, r in decreasing order.
4, r, 0
Suppose 5*m = 4 + 1. Sort 3, m, 4 in ascending order.
m, 3, 4
Let p(r) = r**3 + r**2 - r - 1. Let y be p(-2). Let v = -9 - -13. Sort -3/4, y, v in ascending order.
y, -3/4, v
Let j = -46.1 + 46. Suppose 0*a - 22 = -2*a. Suppose 5*p - 9 = -5*s + a, 4 = 4*p + s. Sort j, p, 0.2 in increasing order.
j, p, 0.2
Let p(a) = -a. Let i be p(-3). Sort 2, i, -1, -5.
-5, -1, 2, i
Let b = -14 - -10. Put b, 0, 8, 3 in descending order.
8, 3, 0, b
Let x = -62/7 - -9. Let p = 34 + -31.1. Let u = p - 3. Put u, -2, x in ascending order.
-2, u, x
Let l = -0.3 - -0.4. Suppose 0 = -5*a - 9 - 1. Let m be (-10)/6 - (a - -1). Sort -1/3, l, m in increasing order.
m, -1/3, l
Let c(v) = v**2 - 2*v - 5. Let p be c(0). Put 3, 0, p in increasing order.
p, 0, 3
Suppose q + 9 = -5*y, -5*y + 6 + 1 = -3*q. Sort y, -4/7, 2/9 in descending order.
2/9, -4/7, y
Let h = -2 - -1.8. Suppose 4*i = 4*v + 16, -3*i - i + 2*v + 16 = 0. Let g be 1/5 - (-56)/(-80). Put i, h, g in descending order.
i, h, g
Let n be (1 + 0)/(20/(-15)). Sort n, 0.2, -5 in descending order.
0.2, n, -5
Let o(h) = -2*h + 9. Let b be o(7). Let a be (56/42)/(4/6). Sort a, 0, b.
b, 0, a
Suppose d - g = -2*g, 0 = -g - 5. Sort d, 3, 2, -4 in decreasing order.
d, 3, 2, -4
Let n = 0.6 + -0.1. Let y = -121.3 - -121. Let m = 1 - -2. Put n, m, y in decreasing order.
m, n, y
Let a = -29 + 32. Sort 4, a, 2.
2, a, 4
Suppose 1 - 13 = 4*n. Let p be 3*((-8)/n)/2. Suppose 4*b - 1 = -21. Sort b, p, 5 in increasing order.
b, p, 5
Suppose 0 = -l + 3*l + 4*z + 14, -l + 3*z + 13 = 0. Sort 0, l, 4 in increasing order.
0, l, 4
Let i be (16/6)/(20/30). Sort i, 2, -2 in decreasing order.
i, 2, -2
Let t(j) = -3*j + 29. Let h be t(9). Let w be (-3 + (-15)/(-5))/h. Suppose m + 0 = 3. Put w, 2, m in increasing order.
w, 2, m
Let q be (-2)/(-9) - 141/27. Let h = -6 - -9. Sort q, h, 4 in decreasing order.
4, h, q
Let a be 88/10 - 2/(-10). Suppose -4*f + a*f = -15. Put 2, 1, f in descending order.
2, 1, f
Let x be ((-2)/3)/((-5)/45*-3). Sort 4, 0, -5, x.
-5, x, 0, 4
Let y = -7 + 7. Suppose -d + 2 + 1 = y. Sort 4, -1, d in descending order.
4, d, -1
Let q(d) = -d**3 + 6*d**2 - d + 5. Let b be q(6). Let n(z) = -2*z - 3. Let i be n(0). Sort b, i, 1 in decreasing order.
1, b, i
Suppose -8 = -3*d - 4*u + 2*u, 