k = 2.8 + -3. Suppose -5*b - 5 = -0*b. Sort b, k, g.
b, k, g
Let v be 18/24*8/3. Suppose 3*t = 5*s - 14, 2*t + 1 = -3*s - v. Sort -2, 3, t in ascending order.
t, -2, 3
Suppose -d + 1 = -1. Put -5, d, 4 in increasing order.
-5, d, 4
Suppose -3*k + 0 = -4*d + 7, 0 = 2*k - 5*d. Suppose -3*p + 6*p = 0. Put k, -4, p in descending order.
p, -4, k
Let w be (-1 - 21/(-6))/(8/(-16)). Put w, 3, 2, 0 in decreasing order.
3, 2, 0, w
Suppose -20 = -4*s - 6*q + 3*q, q = -5*s + 14. Sort 1, 5, s, -4 in decreasing order.
5, s, 1, -4
Suppose 4*m + 0 = 5*p + 25, 5*p + 25 = -5*m. Let y be 1/(m + -1*4). Put y, -3, 5 in decreasing order.
5, y, -3
Suppose -4*i = -13*i - 27. Put -0.1, 1.5, i, -2 in descending order.
1.5, -0.1, -2, i
Suppose 0 = -2*i + 3*m - 19, -m + 14 + 9 = -4*i. Suppose -h = 3*y - 7 - 1, 0 = 5*y - 5. Sort i, h, 1 in decreasing order.
h, 1, i
Suppose g + 6 - 14 = 0. Put -3, 1, g, 5 in descending order.
g, 5, 1, -3
Suppose 2*y + 0*l + 14 = 2*l, -y - l - 1 = 0. Let o be (12/(-18))/((-4)/18). Suppose 3*j + 0 = o. Sort j, y, -5 in descending order.
j, y, -5
Let s = 17 + -12. Suppose 5*a = -3*y, -7*y = -4*a - s*y. Sort a, -3, 2 in descending order.
2, a, -3
Suppose -m = 5*d + 18, m = 1 - 4. Let z be (-1)/(0 + d/12). Let c be -2 + z - (-12)/(-6). Put c, -4, 5 in decreasing order.
5, c, -4
Let s(d) = d**2 + 3 - d + d. Let h be s(0). Let f(t) = -t**3 - 2*t**2 + 3*t - 3. Let b be f(-3). Put b, h, 0 in ascending order.
b, 0, h
Suppose -4 = -x + 5*x. Suppose -3 = n + d, 3*d + 0 = -9. Sort 2, n, x.
x, n, 2
Suppose -2 = f, u + 2*u - 3*f = 24. Let w be (-1 + 3)*u/(-3). Put w, 4, -0.5 in descending order.
4, -0.5, w
Let b = -85 - -86. Sort 5, b, -0.3, -4 in ascending order.
-4, -0.3, b, 5
Suppose 5*f + 11 = -4. Sort -2, -4, f in descending order.
-2, f, -4
Let i(v) = -v + 12. Let t be i(7). Let m = -3.02 - -0.02. Put t, 0, m in decreasing order.
t, 0, m
Let b = 7/29 + -262/725. Let h = b + 59/75. Sort h, 0.5, -10 in descending order.
h, 0.5, -10
Suppose j = g - 4*j - 21, -5*g - 3*j = -21. Let u = g - 8. Suppose -w + 25 = -5*m, -2*m - 10 = 2*w - 3*w. Sort -3, w, u in increasing order.
-3, u, w
Let f be 10 + (-3 - (2 - 4)). Suppose p + b = -6, -3*b - f = p + b. Sort p, 1, -3 in ascending order.
p, -3, 1
Let z be (4 + 1)*6/(-15) - 0. Put -8, -4, z in decreasing order.
z, -4, -8
Suppose -6 = -0*w + 3*w. Sort 1, w, 3, -5 in increasing order.
-5, w, 1, 3
Let y = -161 + 166. Let n be (-1)/3*(-6)/(-10). Sort y, -1/7, n in decreasing order.
y, -1/7, n
Let t be 3 + -4 + -1*7. Sort -2, t, 2 in ascending order.
t, -2, 2
Let t = 1.4 - 7.4. Let j = t - -9. Let y = 0 + j. Put -0.2, y, 0.4 in increasing order.
-0.2, 0.4, y
Let g = 23.4 + -23. Sort 1, 0, -3, g in increasing order.
-3, 0, g, 1
Let j = 15 - 10. Put 2, 1, j in increasing order.
1, 2, j
Let b = 0.2 - 0.1. Sort b, -4, 0 in ascending order.
-4, 0, b
Let h(a) = -a**3 + 4*a**2 + 3*a + 5. Let w be h(5). Put 2, 1, w, 5 in descending order.
5, 2, 1, w
Let g = -1/214 + -1279/1070. Sort g, 0.1, -1/5 in descending order.
0.1, -1/5, g
Let p = -14.8 - -14.7. Put p, -1, -6/29, -1/3 in descending order.
p, -6/29, -1/3, -1
Let u be (-10)/(-3) - 1/3. Suppose -c - 7 = -3*a - 1, u = 3*a. Suppose -4 + 0 = -4*p. Put p, -5, c in descending order.
p, c, -5
Suppose 0*h + 5*h - 2*a = -20, 11 = 2*h + 3*a. Sort 4, 1, h in decreasing order.
4, 1, h
Let l be (-2)/6 - (-49)/93. Let s = 7/124 + l. Put 0.2, 3/5, s in decreasing order.
3/5, s, 0.2
Let n(r) = 6*r - 44. Let j be n(7). Let v be (-2)/(-4)*2*4. Sort 1, v, j in descending order.
v, 1, j
Let a be 2/(-5) + 34/10. Put 4, a, 6 in increasing order.
a, 4, 6
Suppose 3 = p - 10. Let b = 18 - p. Suppose w + 1 = -2. Sort 2, w, b.
w, 2, b
Suppose m = 1 - 3. Let w be -3 + -14*m/8. Sort -1/4, 0.2, w.
-1/4, 0.2, w
Let q = -3.7 + -0.3. Let l = -9 - q. Put l, 3, -0.2 in decreasing order.
3, -0.2, l
Suppose -5*i - 2*q + 28 = 2*q, -4 = -2*q. Let v = -4 + i. Suppose -j + 9 - 13 = 0. Sort 5, v, j in increasing order.
j, v, 5
Suppose 8 = -7*z + 5*z. Suppose -3 = 2*c - 5. Suppose 0 = -2*w + 3*w + 3. Put w, z, c in descending order.
c, w, z
Let m be 20/6 - (-4)/6. Let b(y) be the first derivative of y**2 + 4*y - 2. Let z be b(-4). Sort -2, z, m in increasing order.
z, -2, m
Let m be 4/8 + 7/(-2). Suppose -2*v = -7*v - 5*f - 20, -3*v = f + 2. Sort v, 0.4, m in ascending order.
m, 0.4, v
Suppose 9 - 29 = -4*h. Put 3, h, -5 in descending order.
h, 3, -5
Let s(q) = q**3 + 18*q**2 + 16*q - 15. Let y be s(-17). Put -2, y, 4, -3 in decreasing order.
4, y, -2, -3
Let x = 2 + -1.9. Sort 5, -0.3, -2, x.
-2, -0.3, x, 5
Let u = -0.06 - -3.06. Let l = u + 1. Let x = 3 - l. Sort x, -0.3, -2/5 in increasing order.
x, -2/5, -0.3
Let s(d) = -d**2 + 2*d + 2. Let r be s(3). Suppose t + 3*t - 20 = 0. Suppose 0*i = 4*i. Sort i, t, r in increasing order.
r, i, t
Let o = 9 - 6. Let r = -152 - -151. Sort o, 2, r.
r, 2, o
Let t be 12/(-16) + 65/(-20). Suppose -b - 3*b + 8 = 0. Sort t, b, 5 in increasing order.
t, b, 5
Suppose -4*z - 50 = -5*o, 2*z + 2*z = 0. Let q be 0 - -1 - (-13 + 11). Put -1, q, o in descending order.
o, q, -1
Let k be 2/(-2)*(2 - 1). Let s = 27 + -21. Let z = s + k. Put 4, z, -4 in descending order.
z, 4, -4
Let v = -133 - -133.08. Let b = 0.3 + -0.4. Put 0, v, b in descending order.
v, 0, b
Let d be 20/(-6)*(-12)/(-10). Sort d, -6, 0, -3.
-6, d, -3, 0
Let f(k) = -6*k - 8. Let s be f(-2). Put s, 0, -1/3 in decreasing order.
s, 0, -1/3
Let x = -11 - -7.4. Let m = -4 - x. Let l = -1.1 + 0.1. Put l, m, -4 in descending order.
m, l, -4
Let s = 9 + 16. Suppose -5*k = 2*r + s, 3*r - 4*k + 0 = -3. Sort -3, 3, r in increasing order.
r, -3, 3
Let z(h) = h**2 + 8*h - 8. Let s be z(-9). Let w = 1 - s. Suppose j + 5*m + 8 - 35 = 0, -5*j + 2*m = w. Sort j, -2, -5 in decreasing order.
j, -2, -5
Let w = 15 - 18. Put w, 1, -1 in increasing order.
w, -1, 1
Suppose z + 0*z = 6. Let h be (-39)/(-52) + z/(-8). Put 4, h, -2 in increasing order.
-2, h, 4
Let f = -36 + 31. Put f, 1, -13 in descending order.
1, f, -13
Let g(d) = 0 - 6 + 2*d + 0. Let a be g(4). Suppose -a*w + 2*u = 6, u = w + 4*u - 1. Sort w, 5, -3.
-3, w, 5
Let d = 4.927 + 0.073. Sort -2/7, d, -7, 2.
-7, -2/7, 2, d
Suppose -4*w + 5*a = -w + 5, 0 = w - 2*a + 3. Let u(c) = 5*c**2 + 2*c + 1. Let r be u(-1). Sort 0, r, w in descending order.
w, r, 0
Let t = 6 + -5. Let i be 0 - (t + 1)/(-1). Suppose 2*d + 10 = -3*d. Put d, i, 0 in decreasing order.
i, 0, d
Let a be 30/9*6/5. Let l = 0 + 2. Suppose g + 9 = -l*g. Sort a, g, -1.
g, -1, a
Let x be ((-28)/(-385))/((-4)/(-10)). Sort x, 0.1, -0.5 in decreasing order.
x, 0.1, -0.5
Let g be -3 + 9 + (-3)/3. Put 1, 4, g, -1 in decreasing order.
g, 4, 1, -1
Let k be -12 - ((-6)/(-3) - 1). Let h = -8 - k. Put h, -4, -3 in decreasing order.
h, -3, -4
Let a = -0.28 + 0.48. Sort -4, a, 3/7.
-4, a, 3/7
Let p be (1 - (-6)/(-9))*-3. Let l = p + 4. Put 4, 1, l in ascending order.
1, l, 4
Suppose 2*b - 12 = 3*v - 5, 3*b + 4*v + 32 = 0. Put 3.7, 1, b in descending order.
3.7, 1, b
Let u(q) be the first derivative of q**4/4 + 2*q**3/3 - q**2/2 + 2*q - 1. Let h be u(-2). Sort -1, -4, h in ascending order.
-4, -1, h
Let f be ((0 + 0)/(-5))/(-1). Sort f, -4, 4 in descending order.
4, f, -4
Let f be -2 + 1 - (8/4 + 2). Sort 0.3, -0.08, f in ascending order.
f, -0.08, 0.3
Let i(q) = -3*q + 0*q + 4*q - 5. Let g be i(9). Suppose 5*h + 4 = -6. Sort g, h, -3 in descending order.
g, h, -3
Let t be (6/4)/(3/(-8)). Suppose 2*k = -2*g + 5*g - 15, 15 = -5*k. Put 1, g, t in increasing order.
t, 1, g
Let y be 26/8 + 3/(-12). Suppose -4*z + 6 = 5*d - y*d, 0 = -3*d + 2*z - 15. Let g(m) = m**3 - 6*m**2 + 4*m + 4. Let j be g(5). Put d, j, -2 in decreasing order.
j, -2, d
Let p be (1 - 1) + 6/8. Let b be 0 + (1 - (-8)/(-6)). Put p, 0.2, b in decreasing order.
p, 0.2, b
Let n = -0.99 + 1. Let j = n - 3.01. Let c be 2/(-16) + -1 + 1. Sort 5, c, j in ascending order.
j, c, 5
Let y = -0.3 - -0.6. Let i be (-25)/10 - (-4 - -1). Sort i, y, 3/5.
y, i, 3/5
Let g = 3 + 0. Sort 2, -1/3, g in ascending order.
-1/3, 2, g
Suppose -f + 8 = -10. Let b(i) = -i**3 - i**2 - i + 2. Let r be b(0). Suppose -r*u = -5*g + 2*g - 2, 2*g + f = -2*u. Sort g, -3, 0 in ascending order.
g, -3, 0
Let r be 0/(5 + -3 - 5). Suppose 24*j - 23*j = r. Put -4, j, 1 in increasing order.
-4, j, 1
Suppo