-3, q, 4
Let i be (-4 + 4)/((2 + -1)*-1). Let k be ((-10)/(-8))/(3/(-12)). Let v be -1*k/4 + -1. Sort 0.4, i, v in increasing order.
i, v, 0.4
Let l = -30 - -28. Sort 3, 40, l in increasing order.
l, 3, 40
Let u = 1.3 + -1.7. Let n be ((-4)/(-12))/(2/12). Sort u, 2/13, n in decreasing order.
n, 2/13, u
Let z(s) = s**2 + 9*s + 18. Let v be z(-8). Sort 2, v, -4 in descending order.
v, 2, -4
Suppose -4*c - 16 = 3*y - 2*c, 14 = -2*y - 3*c. Let g be -3 + (-15)/9*-3. Sort g, 1, y.
y, 1, g
Suppose -7*p = -4*k - 3*p - 24, -2*k + 13 = 3*p. Sort -3, k, 2 in decreasing order.
2, k, -3
Let p be ((-20)/12)/(2/(-6)). Suppose p*n + 0*n - 25 = 0. Sort 0, -2, n.
-2, 0, n
Let a(q) = q**2 + 6 + 2 - 7*q - 1. Let x be a(5). Suppose 2*k = -2*k + 4. Sort x, k, -5 in descending order.
k, x, -5
Let u(y) = -2*y**3 - y**2 + 1. Let x be u(1). Let z be (-2 - 2)/(2/x). Sort z, 0, 5.
0, z, 5
Let a be (-855)/525 + 2/10. Sort -1/5, a, -4 in descending order.
-1/5, a, -4
Let j = 7 + 5. Sort j, 0.2, -1/3.
-1/3, 0.2, j
Let r = 15 + -11. Sort -5, 0, r.
-5, 0, r
Let a = 163/3 - 55. Let c = 0 - -2. Sort c, 1/2, a in decreasing order.
c, 1/2, a
Let f = -1.9 - -1.7. Let z be (-4)/(-10) + 14/40. Sort 3, f, z in ascending order.
f, z, 3
Let m = 9 + -13. Let y(q) = -q**2 - 2*q + 2. Let o be y(-3). Let i = -4 - o. Put -1, m, i in increasing order.
m, i, -1
Suppose -f + x - 1 = 0, 2*x = 2*f - x + 3. Sort -3, f, 2 in increasing order.
-3, f, 2
Let y = -0.077 - -5.077. Sort y, -9, -0.4.
-9, -0.4, y
Let b = -53 + 43. Sort 2, b, -1, 4 in ascending order.
b, -1, 2, 4
Let b be (9/(-6) + -1)*20/25. Let t be 1/11*(-2)/(-1). Put b, t, -3 in decreasing order.
t, b, -3
Suppose -2*b + 2 = -4. Put 2, 0.2, b in descending order.
b, 2, 0.2
Let b(t) = -t**3 + 6*t**2 + t - 5. Let n be b(6). Sort 2, n, 5.
n, 2, 5
Let g = -3 + 0. Let a = -1 + g. Let t be ((-10)/12)/5*4. Put -1/5, t, a in ascending order.
a, t, -1/5
Let z(a) = 7*a**3 - a**2. Let d be z(1). Let i = d + -10. Let w(s) = s**2 + 14*s + 29. Let c be w(-12). Put i, c, 0 in decreasing order.
c, 0, i
Let m be ((6/(-20))/3)/1. Let k = 1.3 + -2.2. Let c = k + 1. Put 1, m, c in decreasing order.
1, c, m
Let k be (-3)/(-9)*9*2. Suppose -2*l - l = k. Sort 3, -5, l in decreasing order.
3, l, -5
Let g = 21 + -23. Sort -0.03, g, -2/5.
g, -2/5, -0.03
Suppose 6*c - 2*c = 0. Sort -0.4, -4, c.
-4, -0.4, c
Let d = -17 - -17. Put -1/2, 0.4, d in ascending order.
-1/2, d, 0.4
Suppose w - 6 = -1. Suppose c + w = 4. Suppose -s = 2*s - 12. Put -2, c, s in ascending order.
-2, c, s
Suppose -2*h = 2*u - 12, -3 = h - 3*u - 5. Let z = -12 + 28. Suppose 0 = -4*l - 0*l + z. Sort h, -1, l.
-1, l, h
Let c = -778 - -5437/7. Let d = c + 38/35. Sort 6, -2/5, d in descending order.
6, d, -2/5
Let x = 181 + -177. Put -5, x, -4 in descending order.
x, -4, -5
Let c = -712/29 - -57301/2465. Let i = -12/17 - c. Put i, -1, 3 in decreasing order.
3, i, -1
Suppose 0 = 6*g - 2*g - 12. Put -1, 4, g in increasing order.
-1, g, 4
Suppose 0 + 21 = -3*o. Sort 0, o, 4.
o, 0, 4
Let c = -21 - -21. Put -1, c, -2/11 in descending order.
c, -2/11, -1
Let q(p) = -p**2 + 3*p + 1. Let w be q(4). Let c = w - 0. Let i(u) = -u + 10. Let h be i(8). Put h, 0, c in ascending order.
c, 0, h
Suppose 0 = -3*f - 0*f - 3. Let y(t) = -t**2 + 5*t**2 + 3 - 5*t - 3*t**2. Let c be y(5). Put f, c, 0 in descending order.
c, 0, f
Suppose 4*v = -2*t + 46, 0 = -4*t + 5*v + 21 + 6. Sort t, -2, 3, -4.
-4, -2, 3, t
Let w(k) be the third derivative of k**4/24 + 2*k**2. Let q be w(5). Let z be 1*(-2 - -2 - -1). Sort q, -2, z in increasing order.
-2, z, q
Let b(u) = 7*u - 2. Let g be b(1). Suppose -g*z - 3*j - j + 26 = 0, -3*z + 3*j - 6 = 0. Sort 4, -2, z in increasing order.
-2, z, 4
Let n = 0.2 + 0.1. Let i = -0.84 - -3.84. Put 2/5, n, i in ascending order.
n, 2/5, i
Suppose -2*j + 3*j - 5*z = -17, 5*j - 3*z - 3 = 0. Put 0, j, 1 in ascending order.
0, 1, j
Let n = -92.6 - -90. Sort -1, n, -0.1 in ascending order.
n, -1, -0.1
Let p be 2 - 0 - (-1 + 3). Let b = p - 4. Put b, 5, 3 in descending order.
5, 3, b
Let b = 2 - 5. Let y = -223 - -1557/7. Sort b, y, -5 in increasing order.
-5, b, y
Suppose 0 = x - 0*x + 1. Let o(a) = 4*a + 33. Let u be o(-8). Sort x, 5, u.
x, u, 5
Let z = 1.5 - 1.5. Let y = -3 + z. Sort 3/2, -2/5, y.
y, -2/5, 3/2
Let r(b) = b + 14. Let h be r(0). Suppose 3*a - h = -2*o, -3*a = -2*o + 3*o - 13. Let v be 7/(-3) - 1/(-3). Sort a, v, 3 in increasing order.
v, 3, a
Let r = -0.21 - -0.31. Put -0.7, -0.1, r in decreasing order.
r, -0.1, -0.7
Let d = 0.2 + -0.3. Let h be ((-8)/(-80))/(19/(-15) + 1). Put h, -2, d in ascending order.
-2, h, d
Let i = 2 + -5. Let j(g) = g**2 + 2*g - 1. Let n be j(-3). Let u be ((-3)/6 - n)*2. Sort -1, i, u.
u, i, -1
Let k = 2.94 + 0.06. Put k, -1/7, 2 in descending order.
k, 2, -1/7
Let v be (-1)/(-12)*14 + 3/(-6). Suppose 0 = 4*m + z + 13, -z = -3*m + 4*z - 4. Put m, v, 0.5 in increasing order.
m, 0.5, v
Let v = 5 - 2. Suppose 3*n + v = -6. Let u(s) = s**3 - 5*s**2 + s - 4. Let x be u(5). Put 3, x, n in increasing order.
n, x, 3
Let f be (-33)/(-7) - (141/21 - 7). Sort 4, f, -13 in ascending order.
-13, 4, f
Let j be (-21 - -5) + 2 + 1. Let g = j - -18. Sort -5, -2, g.
-5, -2, g
Let w(f) = 2*f + 29. Let j be w(-15). Sort j, -8, 1 in ascending order.
-8, j, 1
Let z(i) = 2*i**3 - 34*i**2 + 31*i + 20. Let t be z(16). Let h(q) = q. Let y be h(5). Put t, 1, y in decreasing order.
y, t, 1
Let y = -6.1 - -1.1. Let t = -1 - -3. Suppose 0*f = 2*i + 3*f - 13, -t*i - 8 = -4*f. Sort 1/3, y, i in descending order.
i, 1/3, y
Suppose -3*v - 75 + 21 = 0. Let x be (-6)/(-9)*v/(-4). Put 4, x, 1 in increasing order.
1, x, 4
Let s = -15 + 15.4. Put 0, -0.1, s in descending order.
s, 0, -0.1
Let y = -0.16 - -6.16. Let k = -46/3 + 15. Sort k, y, 2 in decreasing order.
y, 2, k
Suppose 2*r = -3*t - 5, 3*t = r - 2*t + 9. Let p be (-1)/r - (-4)/(-16). Sort 1, p, -2.
-2, p, 1
Let x = 6.5 + -6. Let f = x + -1.6. Let g = -0.9 + f. Sort -1/2, g, -3 in descending order.
-1/2, g, -3
Suppose -4*y - 4*c + 0 = -8, 0 = -2*c + 4. Put -2, y, -5, 3 in decreasing order.
3, y, -2, -5
Let d = -0.33 - -0.13. Let c = -2.1 - -2. Sort c, d, 2/17 in ascending order.
d, c, 2/17
Let q be (4/(-12))/(10/3 - 3). Let c = -2 + 6. Put -3, c, q in decreasing order.
c, q, -3
Let c = -1 + -4. Let w be (3 - 4)/(2/(-8)). Sort -2, c, w.
c, -2, w
Let s = 96 + -287/3. Put s, -4, 5, 1 in descending order.
5, 1, s, -4
Let o = -113 + 115. Sort o, -12, -1 in decreasing order.
o, -1, -12
Suppose 2*s - 21 = -5*k + 1, 4*s = -4*k + 20. Suppose -k*n - n = 0. Sort -2, 5, n.
-2, n, 5
Let y = -110/13 + 595/78. Sort y, 3, -0.2 in descending order.
3, -0.2, y
Let w = -168 + 168. Put w, 1, 4 in ascending order.
w, 1, 4
Let p = 108 + -108.3. Put -1, p, 2/23, 2 in ascending order.
-1, p, 2/23, 2
Let f = -0.3 + 0.4. Let s = 3.858 - -0.142. Let t be 2/(-8) + 5/(-28). Sort s, f, t.
t, f, s
Let c be 23/(-7) - (-10 - -7). Put -2, 0.4, c in ascending order.
-2, c, 0.4
Let r = -15 + 12. Put -1, r, 4 in descending order.
4, -1, r
Let r = -0.84 + 1.04. Put r, -0.1, 2 in increasing order.
-0.1, r, 2
Suppose -2*u + 2*l = -3*l + 8, 4*u + l = 6. Let v be (-8 - -7)/(u/(-4)). Suppose -b - b - 8 = -2*m, 2*b = -3*m - 3. Sort m, -3, v in ascending order.
-3, m, v
Let w be (-4)/(-1 - -5) + 2. Let g be (-3 + w)*(5 - 9). Sort -1, -2, g in decreasing order.
g, -1, -2
Let r = 0.024 + -1.024. Let s(j) = -j**2 - 5*j - 1. Let p be s(-4). Put r, -0.2, p in ascending order.
r, -0.2, p
Let w be 4/(-6) - 105/45. Let k be 27/(-12)*(-16)/6. Let s be 2/(2 + k/(-4)). Put s, w, 2 in ascending order.
w, 2, s
Let a(c) = -c + 10. Let o be a(8). Sort -1, -3, o.
-3, -1, o
Let f(i) = i**3 + 14*i**2 + 22*i - 29. Let u be f(-12). Put 3, u, 4 in ascending order.
u, 3, 4
Suppose -2*g = 3*o - 4, g + 1 = -o + 3. Sort o, 1/6, -4, 0.2 in descending order.
0.2, 1/6, o, -4
Let m = -9 + 10. Let d(g) = g**2 - 3*g + 1. Let s be d(1). Sort -2, m, s in descending order.
m, s, -2
Let a(f) = f**2 + 13*f + 10. Let r be a(-12). Sort -1, -4, -5, r.
-5, -4, r, -1
Let j be (-3)/3 - 27/(-33). Put -7, -5, j in decreasing order.
j, -5, -7
Let d = 0.13 + 5.87. Let t = d + -6.1. Sort -1/2, 5, t in ascending order.
-1/2, t, 5
Let h = -0.11 + 0.11. Sort -2/5, -3, h in decreasing order.
h, -2/5, -3
Suppose -2*y = 3*y + 20. 