4, 2*x = -2*v. Put v, 1, 0 in descending order.
1, 0, v
Suppose -12 = -4*v - 2*j, 0 = -4*v + 5*j + 9 - 25. Let y = -12 - -17. Suppose 3*o - 6 = 4*z, -y*o + 0*z + z = 7. Put -4, v, o in increasing order.
-4, o, v
Let i = -2.4 - -5.4. Let c = -1496/9 - -989/6. Let y = 8/9 + c. Put y, -1/4, i in decreasing order.
i, -1/4, y
Let c = 99 - 497/5. Sort -0.1, -0.5, c.
-0.5, c, -0.1
Let w be -6*(-9)/54*(0 - -1). Suppose -2*a + 3 + 43 = 0. Suppose 2*h - 5*l + 5 = -3*h, -2*h - a = 5*l. Put 7, w, h in descending order.
7, w, h
Suppose -3*i + 19 + 3 = w, 0 = 5*w + 10. Put -4, -1, 1, i in increasing order.
-4, -1, 1, i
Let j = -4.92 + -0.08. Let t be (-15)/27*1 - (-2)/2. Sort -0.4, j, t in increasing order.
j, -0.4, t
Let j = 12 + -17. Let m = 1.6 + -1.4. Sort m, 1.6, j in increasing order.
j, m, 1.6
Let y = -8 - -15. Let m = -7.4 + y. Let f = 2 - -1. Put f, 4/7, m in ascending order.
m, 4/7, f
Let u = 96 - 97.4. Put u, -2/9, 0.1 in increasing order.
u, -2/9, 0.1
Let q(k) = k**3 + 7*k**2 + 10*k + 3. Let t be q(-5). Sort 4, -3, t.
-3, t, 4
Let t(k) = 2*k - 11. Let y be t(8). Sort 0.7, y, -2 in descending order.
y, 0.7, -2
Let x be (3/((-18)/(-4)))/(-3). Let b = 49/2 + -25. Let u = 1.8 + 0.2. Sort b, u, x in decreasing order.
u, x, b
Suppose 0 = 5*y + 4 + 21. Put -4, 1, y in decreasing order.
1, -4, y
Let m = -95 - -110. Put -1, m, -1/8 in descending order.
m, -1/8, -1
Let i = 18.2 + -18. Let s = -3.06 - -0.06. Put i, s, -2 in ascending order.
s, -2, i
Suppose 7*g + 25 = 2*g. Let x = 0 - -4. Sort g, -1/2, x in ascending order.
g, -1/2, x
Let o(b) = b**2 - 1. Let g be o(0). Let f be 6/4*8/6. Let l(h) = -h**3 + h + 1. Let c be l(f). Put g, 3, c in descending order.
3, g, c
Let z(t) = -2*t + 3. Let n be z(2). Let c = 5.9 + -6. Sort c, n, -0.02 in ascending order.
n, c, -0.02
Let i = 22.5 - 23. Put i, -0.4, 2/3 in decreasing order.
2/3, -0.4, i
Let o be 1/(-4) - 325/(-20). Suppose -2*p + o = 2*p. Suppose 0 = -l + p*l. Sort 4, -2, l.
-2, l, 4
Let z = 0.35 + 0.05. Let q = 3 + -2. Suppose -77*b - 16 = -61*b. Put b, q, z in ascending order.
b, z, q
Let a = -4 - -4.2. Let x = a + -0.3. Sort -0.2, -1, x.
-1, -0.2, x
Let c be 2*(1 + 7/(-2)). Suppose -10 = 6*f - f. Let r be (6 - 3/3) + 0. Put c, f, r in increasing order.
c, f, r
Suppose -5*w = -3*x + 1, w - 7 = -0*x - 3*x. Let n(i) = 2*i + 3. Let s be n(-2). Let c be 2 + 1*(3 - 9). Sort c, w, s in ascending order.
c, s, w
Let d = 7 + -3. Sort 3, d, -5 in descending order.
d, 3, -5
Let i be (1 + 12/(-9))*-9. Let m = -196/9 - -1399/63. Put i, m, 0.3 in decreasing order.
i, m, 0.3
Let y be (-8)/(1 + 3) + 2. Suppose 19 = -5*s - h, 7*s + 3*h = 3*s - 24. Sort y, s, 3.
s, y, 3
Let i = -32.1 - -34.1. Let q be (-13)/55 - 6/15. Let f = -3/22 - q. Sort f, -2, i in descending order.
i, f, -2
Let n(a) = -5*a + 46. Let h be n(9). Let f be (30/(-4))/((-3)/(-4)). Let p = f - -6. Put h, -1, p in decreasing order.
h, -1, p
Let a = -2.9 + 3. Let u = 4 + -4.4. Let r = a - u. Put 0, 0.4, r in increasing order.
0, 0.4, r
Let a = 0.44 - 0.04. Let b be (-4)/(-12) - 181/(-105). Let q = 13/7 - b. Put 2, a, q in decreasing order.
2, a, q
Let v = -0.6 + 1. Let x = -27/7 - -4. Let s = 6 + -9. Put x, v, s in decreasing order.
v, x, s
Let u = 0.99 - -0.01. Let p = u - -3. Let s be (-9)/(-6)*(-2)/12. Put s, -2/5, p in descending order.
p, s, -2/5
Let d(n) = n**2 + 10*n + 12. Let o be d(-8). Suppose 0 - 12 = -4*b. Put -5, o, b in decreasing order.
b, o, -5
Suppose -5*u + 22 = p, u - 14 = -6*p + p. Let k = -6 - -11. Sort p, k, -1 in ascending order.
-1, p, k
Let k = -6 - -4. Let l = -8 - -7. Sort k, 2, l in descending order.
2, l, k
Let w(p) = p**2 + 5*p - 10. Suppose z - 11 = d + 2*z, -20 = 5*z. Let u be w(d). Let n be ((-2)/u)/(4/24). Put 4, n, 3 in ascending order.
n, 3, 4
Suppose v + 9*v = -50. Let b be (-2)/((-2)/1) - 0. Sort v, -4, b in decreasing order.
b, -4, v
Let a = -6 - -5. Let m be ((10/2)/a)/(-1). Sort 4, m, -4 in descending order.
m, 4, -4
Let w = 55 - 52. Suppose -2*q = 4*u, 9 = 3*q + 4*u - 7*u. Let g = q + -4. Put g, w, 4 in ascending order.
g, w, 4
Let b(z) = -5*z**3 + 2*z**2 - z. Let v be b(1). Let l(k) = k**3 - 2*k**2 + 2*k. Let t be l(2). Put t, v, -2 in increasing order.
v, -2, t
Let a be (6/10 - 0)*(-6)/(-9). Let f = -0.07 + -2.93. Sort f, 3, a.
f, a, 3
Let t = -4 - -2. Let x be (-1 - -5)/((16/6)/2). Sort x, t, -4 in decreasing order.
x, t, -4
Let b = 16 - 18. Sort -6, b, -1.
-6, b, -1
Suppose -4*r + p + 11 = 0, -r - 3 = 3*p + 4. Let v be (-1 - (1 - r)) + -6. Let h be 2*(-4 - 6/(-2)). Put h, v, 3 in descending order.
3, h, v
Let n = 331/187 + -27/17. Let o = 0.107 - 0.007. Sort -1/5, n, o.
-1/5, o, n
Let x = 0.3 + 4.7. Let d = x + -5.1. Let i = -0.4 - d. Sort i, 3, -3 in decreasing order.
3, i, -3
Let z(q) = -q - 1. Let s(c) = -5*c - 1. Suppose -4*g + g - 3 = 0. Let w be s(g). Let i be z(w). Sort i, 1/7, 0.5.
i, 1/7, 0.5
Let d be (4/(-12))/(1/3). Sort 7, 1, d in decreasing order.
7, 1, d
Let o be (-3534)/2037 - 6/(-3). Let x = -2/97 - o. Sort -0.4, -3, x in descending order.
x, -0.4, -3
Suppose 11*o - 3*o = 32. Put 5, 1, 8, o in descending order.
8, 5, o, 1
Suppose l - 4*l = -9. Let k(w) = w**2 - 7*w - 13. Let r be k(9). Suppose 12 = -l*n - 2*z + 7*z, r*z = -3*n - 12. Put -1, n, 2 in increasing order.
n, -1, 2
Let k be 1/(((-2)/1)/(-2)). Let m(n) = n - 3. Let t be m(4). Let x be (-3)/(-6)*(-2)/t. Sort k, x, 5 in ascending order.
x, k, 5
Let j = -0.4 - -0.4. Let v = 0.8 + -0.77. Sort j, v, 2 in descending order.
2, v, j
Suppose 0*i - i = 1. Let y = -0.2 + 0. Let g = y + 0. Put -4, i, g in descending order.
g, i, -4
Suppose 0 = 8*a + 9*a + 1122. Put -2, 1, a in increasing order.
a, -2, 1
Suppose -4*d - 10 = -3*a, 9*d - 4*d + 26 = -3*a. Sort 0, 17, a in decreasing order.
17, 0, a
Let q = 3 - 3. Suppose 2*t + 2*t = q. Suppose -5*s = -4 - 16. Sort t, -3, s.
-3, t, s
Let a = 4.4 - 0.6. Let u = -0.2 - a. Let h = 3 + u. Put 0.4, h, -0.2 in decreasing order.
0.4, -0.2, h
Let w = -2 + 2.7. Let j = w + -0.3. Let n = -111/550 + 1/50. Sort n, j, 4 in descending order.
4, j, n
Let a = 5 + -2. Let t(g) = -g - 3. Let k be t(-8). Put -1, a, k in decreasing order.
k, a, -1
Let v(a) = -a**3 + 9*a**2 - a + 4. Let y be v(9). Suppose 3*f = -5*x - 2*f + 15, 0 = -f. Sort y, x, -2 in descending order.
x, -2, y
Let m = 99 - 98.7. Sort m, 10, 2/3.
m, 2/3, 10
Suppose -3*v = -4 - 2. Let r(t) = 2*t**2 - t - 2. Let k be r(-3). Suppose -1 - k = 4*f. Sort v, f, 0 in descending order.
v, 0, f
Let z be 3*(1 + (-14)/(-6)). Let m = 11 - z. Let w = 6 - 4. Put w, m, 5 in increasing order.
m, w, 5
Suppose -l - 23 = 4*l - u, 2*l = 4*u - 20. Let w be (-2 + -1 - -2)/(-5). Let y = 1 + -3. Sort l, w, y in descending order.
w, y, l
Let z be 2*2 - 5/(-5). Let t be -1 + 1 + z/(-10). Sort -2/5, t, 1/3 in descending order.
1/3, -2/5, t
Let v(w) = 2*w**2 - 26*w - 8. Let a be v(13). Sort -4, 2, a in decreasing order.
2, -4, a
Let c(f) = -f - 6. Let g be c(-8). Suppose 4 = -i, 3*w + g*w = 3*i + 7. Suppose -u - 2*p - 5 = 0, 2*p - 6 + 2 = 2*u. Sort w, -5, u in increasing order.
-5, u, w
Let k(v) = -v + 7. Let b be k(6). Let p be 216/40 + (-2)/5. Let j be p/b*6/(-15). Put j, 5, -3 in descending order.
5, j, -3
Let u = -9 - -14. Let k(a) = -a**2 - a. Let q be k(0). Suppose 0 - 8 = 2*l. Sort l, q, u in decreasing order.
u, q, l
Let w = 0.29 - -0.21. Put w, 3, -2 in ascending order.
-2, w, 3
Suppose -6 = -3*d + 6. Put -0.2, 5, d, 3 in ascending order.
-0.2, 3, d, 5
Let z = -1.2 + 1.5. Let n = 2 + -5. Sort z, -2, n in descending order.
z, -2, n
Let o = 0 - 1. Let b = -112 - -111. Let r = o - b. Sort 0.2, 5, r.
r, 0.2, 5
Let f = -8 + 10. Suppose 5*l + 32 = 4*n, -f*l = -l + 4. Let s be (-9)/6*(-8)/(-6). Put 4, s, n in descending order.
4, n, s
Let n(v) = v**2 + 5*v + 2. Let m be n(-6). Suppose 0 = m*p - 3*p + 5. Put p, 4, -3 in descending order.
4, p, -3
Let z = -6.2 - -6. Put -1, 0, z in ascending order.
-1, z, 0
Suppose -3*f - 85 = 2*f. Let k be f/(-8) + (-2 - 0). Let u = 3/8 + k. Sort -2, -1, u.
-2, -1, u
Let y = -96 - -99. Put -2/67, y, 2 in descending order.
y, 2, -2/67
Let l(u) = -u**3 - 5*u**2 - 4*u. Let b be l(-4). Let f(d) = -d**3 - 6*d**2 + 5. Let c be f(-6). Suppose b = 2*i - c*i - 3. Sort 0, i, 4.
i, 0, 4
Suppose 0 = 2*i - 11 - 47. Let x = i + -146/5. Sort 4, x, 0.1 in increa