 3*z, -4*z + 8 = -2*l - 6. Sort -4, l, 2.
-4, l, 2
Let k(x) = x + 12. Let c be k(-13). Sort -3, -4, 1, c in descending order.
1, c, -3, -4
Suppose 2*i + 1 = -1. Let d = 1 + -0.5. Put -0.3, i, d in descending order.
d, -0.3, i
Let g = 20 + -20. Put 5, 7, g in decreasing order.
7, 5, g
Let j = 4 - 3.8. Let b = 0.4 - j. Let c = 0.16 + 0.14. Put b, -0.5, c in descending order.
c, b, -0.5
Let h be 3 - 7/2 - 0. Let c be (-6)/15*5/(-7). Sort h, 2/5, c in descending order.
2/5, c, h
Let s = -0.2 + 2.2. Let x = -1.1 - 3.9. Let l = x + s. Sort 0, 0.1, l in descending order.
0.1, 0, l
Let b = -7 - -10. Put b, 2, 0 in decreasing order.
b, 2, 0
Let a = 103.2 + -103. Put 0.4, -2, a in decreasing order.
0.4, a, -2
Suppose 4*p - 40 = -5*m - 5, -4*p - 2*m = -26. Put -2/3, -20, 1/7, p in increasing order.
-20, -2/3, 1/7, p
Suppose -5*y + 15 = -0*y. Suppose y*b - 4*f = -7, 0 - 4 = -f. Suppose -g - 5*s = -4*g + 1, s = g + 1. Sort g, 0, b.
g, 0, b
Let d = 38 - 35. Sort -5, d, 0.
-5, 0, d
Let i = -2.237 + 0.237. Let g = -5 - -2. Sort i, g, -2/9 in increasing order.
g, i, -2/9
Let g = 2.4 + -0.4. Let h = 535 + -534.7. Sort h, g, 1 in descending order.
g, 1, h
Let u = -7/6 - -3/2. Put 2/23, -0.1, u in descending order.
u, 2/23, -0.1
Let k = -0.206 - 0.094. Sort 3/4, -1/6, k, -3.
-3, k, -1/6, 3/4
Let c be ((-11)/5)/(3/(-15)). Sort -2, c, -4 in ascending order.
-4, -2, c
Let i be 3/12 - 95/(-20). Let o = i - 4. Sort 4, 2, o in descending order.
4, 2, o
Let y = 0.8 + -0.7. Sort -3/4, -1/6, y in descending order.
y, -1/6, -3/4
Let j = -6 - -6.4. Let i = -145/6 - -24. Let w = i + 5/6. Put w, 0.2, j in ascending order.
0.2, j, w
Let f(r) = -r. Let m be f(-3). Suppose -3*n - 5 = -5*l, 3*n + 2*l - 11 = m*l. Put -2, n, 2 in descending order.
n, 2, -2
Suppose -3*v = -2*v + 5. Let n be (-2)/6 + 13/3. Suppose -4*d + 31 - 3 = -n*z, -5*z = -d + 19. Sort v, z, 0 in descending order.
0, z, v
Let h = 19 - 14. Sort h, 3, -1 in increasing order.
-1, 3, h
Suppose 0 = -4*p + 2*p. Let a be ((-338)/(-252))/(1/3). Let i = a + -25/6. Sort p, i, 0.2.
i, p, 0.2
Let l(a) = -a**3 - 6*a**2 - 6*a - 7. Let g be l(-5). Let p = 9 + -12. Let h = p - g. Sort 2, h, 5 in ascending order.
h, 2, 5
Let w = 5/133 + -351/2261. Sort w, -5, 0, -1.
-5, -1, w, 0
Let v be (-6)/33 - (-1 + 32/66). Sort 1/7, -2, v, 0.4 in ascending order.
-2, 1/7, v, 0.4
Let s = 1.05 - 0.05. Let m = -29 - -61. Let j be m/(-14) - (-6 - -4). Sort s, j, -5.
-5, j, s
Suppose -4*z = 4*a - 0*a + 4, -13 = z + 5*a. Let k be 3/(-1) + 2 + 2. Put k, z, -4 in ascending order.
-4, k, z
Let y be 4/22 - 46/253. Sort -6/7, 1, -7/5, y in increasing order.
-7/5, -6/7, y, 1
Let f = 0 + 1. Sort f, 0.1, 2/5 in descending order.
f, 2/5, 0.1
Let x = 2/3 + 1/12. Sort -3, x, -1/5 in decreasing order.
x, -1/5, -3
Suppose -2*m - 31 = 4*u - 13, 4*m = -4*u - 16. Let p = 0.38 + -0.08. Sort m, p, 5.
p, m, 5
Suppose 1 = 5*a - 9. Suppose -2*v = -4*v. Suppose v = -h - a. Sort -1, h, -5 in decreasing order.
-1, h, -5
Let x(b) = b**3 - 6*b**2 - 2*b + 7. Suppose -4*j + 37 - 13 = 0. Let r be x(j). Suppose -3*i - s - 7 = 0, -6*i = -i - 5*s + 45. Put -2, i, r in ascending order.
r, i, -2
Let x = -6.94 - -7. Let d = 1.06 - x. Put 0.5, d, -1/6 in increasing order.
-1/6, 0.5, d
Let q = 0.288 - -0.012. Suppose 2*y - 1 - 9 = 0. Sort q, y, 3.
q, 3, y
Let j(y) = -2*y - 3. Let x be j(-4). Suppose -5*s + 15 = -x. Put 0, -2, s in decreasing order.
s, 0, -2
Let b = -35 - -32. Put 3, b, -0.04 in descending order.
3, -0.04, b
Let c = -6.16 - -0.16. Let u = 193.6 - 194. Sort c, 1/5, u in increasing order.
c, u, 1/5
Let y be (1 + 1)*3/(-2). Let n be (-49)/(-14) - 1/(-2). Sort y, 0, n.
y, 0, n
Let g = 7.12 + -0.12. Let d = g - -12. Put d, -1, 2 in decreasing order.
d, 2, -1
Suppose -5*m - 16 = -3*u + 12, 4 = -m - u. Put -0.2, 5, m, -1 in increasing order.
m, -1, -0.2, 5
Let a = -8 - 4. Let z = -6 - a. Suppose 8 = 4*n - z*n. Sort 2, -5, n.
-5, n, 2
Let t be 0 + 0 - (0 + -3). Sort t, 5, -4.
-4, t, 5
Let j be 0 + 0 + (13 + -3 - 7). Sort 7, j, 2.
2, j, 7
Let j = -288 + 2013/7. Suppose -6 = -2*m - 16. Sort m, j, -0.4 in decreasing order.
-0.4, j, m
Let u = 37 + -37. Sort -0.1, 0.9, u in increasing order.
-0.1, u, 0.9
Let f = 16 - 21. Put -2, 3, f, 4 in increasing order.
f, -2, 3, 4
Let b be (-1)/(-5) + (-6)/(-15). Let p be 12/30 - (-2)/(-5). Sort b, -3, p in ascending order.
-3, p, b
Let j(k) = k + 5. Let b be j(0). Put 0, b, 2 in decreasing order.
b, 2, 0
Let o = -0.04 + -0.46. Put -1, o, 15 in decreasing order.
15, o, -1
Let x = 1.71 + -1.7. Sort 2, x, 0.3 in increasing order.
x, 0.3, 2
Let g(b) = 4*b + 4. Let y(a) = -a - 1. Let h(v) = g(v) + 3*y(v). Let x be h(-2). Suppose -7*k + 4*k = 0. Sort k, x, 5 in increasing order.
x, k, 5
Let l = 3.99 - 4. Let a = l + 0.07. Let f = a + 0.24. Put -3, 2/11, f in decreasing order.
f, 2/11, -3
Let x(r) be the first derivative of -r**2/2 + 7*r - 1. Let t be x(5). Let c be t/((-10)/(-4) - -2). Put 4, 0.5, c in decreasing order.
4, 0.5, c
Let a be (1 - 0)/(2/(-2)). Suppose 5*o + 3*j - 5 = 22, 0 = o - 5*j + 17. Sort -2, a, o in descending order.
o, a, -2
Let v(t) = 3*t + 24. Let k be v(-8). Put -2, k, -4, 3 in descending order.
3, k, -2, -4
Suppose -19 = 5*i - 6*i. Let z = -24 + i. Sort 0.06, z, 0.2 in decreasing order.
0.2, 0.06, z
Let v = 24 - 25. Sort -5, 5, v.
-5, v, 5
Suppose 2*b = 3*f + 3*b + 18, -f + 5*b - 6 = 0. Sort 1, f, 5, -1 in decreasing order.
5, 1, -1, f
Let s be 6/39 + (-56)/26. Let c be 1 - ((-45)/(-12) + s). Put -1, -0.1, c in increasing order.
-1, c, -0.1
Let q(u) = 2*u**2 - u - 1. Let d be q(-1). Let r = 1316/9 + -146. Sort d, 0.4, r.
r, 0.4, d
Let q = -8 - -2. Let i be (2/q)/(2/(-6)). Sort i, 3, 2/15.
2/15, i, 3
Let m = 1.1 + -1. Put m, 2, 1/4 in descending order.
2, 1/4, m
Let j(u) = -4*u - 11. Let z be j(-4). Sort z, 0, -12.
-12, 0, z
Let y(b) = 2*b**2 - 2*b - 2. Let q be y(3). Suppose -3*w + q = -w. Sort 0, 4, w in descending order.
w, 4, 0
Let j = 8 + -6. Suppose -2*k - m + 2 = 1, 8 = -4*k - 4*m. Suppose 3 = j*b - k*b. Sort -1, b, 0.2.
b, -1, 0.2
Let s(t) = t**3 - 9*t**2 + 3. Suppose -2*p = -p - 9. Let c be s(p). Let f be 4/(-18) + (-8)/(-9). Sort f, c, -5 in ascending order.
-5, f, c
Suppose 4*j + 0*j + 16 = 0. Suppose -2*k - 2*i - 6 = 0, -5*k + 3*k + 9 = -3*i. Sort -9, j, k in descending order.
k, j, -9
Let h = 1.2 - -3.8. Let i = 57.37 - 57. Let o = -0.03 - i. Sort o, -1/3, h in increasing order.
o, -1/3, h
Let p(l) = l - 3. Let a be p(4). Suppose -4*m + 2*c - 3 = -5*m, -4*c + 21 = 5*m. Sort 0, a, m in ascending order.
0, a, m
Let f = -16 - -16.3. Put f, 0.8, 0.2 in ascending order.
0.2, f, 0.8
Let x = -18 + 13. Let k be (-6)/(-12)*4/22. Sort 2, k, x in descending order.
2, k, x
Let t be (-6)/4*(-2)/3. Sort -0.3, t, 3/7 in descending order.
t, 3/7, -0.3
Let l(b) = 2*b**2 - 3*b - 10. Let g be l(-2). Put g, 0, 1, -1 in increasing order.
-1, 0, 1, g
Let v(h) = h**2 - 2*h - 1. Let m be (-50)/(-14) + 4/(-7). Let y be v(m). Sort -6, y, -4.
-6, -4, y
Let f(t) = -t - 9. Let d be f(-10). Sort d, 4, -3.
-3, d, 4
Let r be -2 + 1 + 0/2. Let a be ((-10)/(-4 + -1))/(-1). Put a, 3, r in decreasing order.
3, r, a
Let d = 157/489 - -2/163. Suppose -3*k = 4*h - 11, -3*h = 4 - 1. Let j = 39 + -38. Sort j, d, k in decreasing order.
k, j, d
Let b be -2*4/24*-12. Put 1, -4, b in descending order.
b, 1, -4
Let w = 2 + -1. Let a = -1.2 + w. Let j = 5 - 5.4. Sort a, 5/3, j in descending order.
5/3, a, j
Suppose 2*w - 5 = 5. Suppose -2*q + 1 - 2 = 3*y, w*y = -5*q. Let d = -3 + 1. Sort d, -4, q in ascending order.
-4, d, q
Let v be 12*3/45*-5. Let u = 0 - 0. Put u, 4, v in ascending order.
v, u, 4
Let n be ((-3)/(-1))/(9/(-18)). Let w(k) = -k - 1. Let f be w(n). Put f, 0, 2 in decreasing order.
f, 2, 0
Suppose g - 4*z - 4 = 0, 2*g + 0*z - 8 = 2*z. Suppose 0 = 3*p + 4 - 1, -g = -k - p. Suppose -2*o - 2*o - 12 = 0. Put 0, k, o in descending order.
k, 0, o
Let g = 0 + 0. Let h(s) = -2*s. Let k be h(-2). Suppose 5*f = -k*z - 5, 0 = -f + 3*f - 3*z + 25. Put f, g, 2 in ascending order.
f, g, 2
Let y = 37 - 36.9. Sort 0.5, y, -0.4 in increasing order.
-0.4, y, 0.5
Suppose 3*n + 4*i = n + 24, 0 = 2*n - 2*i - 24. Let h = -16 + 25. Suppose -6*t + n = -h*t. Put t, 1, 3 in descending order.
3, 1, t
Let r(a) = 3*a - 9. Let b be r(-8). Let x be 1*-1 + (-27)/b. Let 