+ v = 4*p, 2*u + u = -p + 3. Sort -5, -2, u.
-5, -2, u
Suppose f + 0*f - 3 = 0. Let w = 12 + -10. Sort -1, w, f in decreasing order.
f, w, -1
Let p be (-1)/(-3) + 5/3. Suppose -3*j = 4*d - 1 - 11, p*j + 2*d - 8 = 0. Sort j, 0, -4.
-4, 0, j
Let y = -0.2 - 0.1. Let v = 8/17 - 22/119. Let c = -6 - -3. Put y, v, c in ascending order.
c, y, v
Let l = -0.1 - -1.1. Let y = 0.5 - l. Let n = -4.9 - 0.1. Sort n, y, 1 in decreasing order.
1, y, n
Let d = -0.1 + 0.1. Suppose 0 = 4*s - 6 - 10. Let v be (-14)/(-10) + s/(-10). Put d, v, -2/13 in descending order.
v, d, -2/13
Let h(m) = 2*m + 3. Let p be h(-2). Suppose 16 = 5*l + 1. Suppose l*d = w - 5, 5*d + 4 + 3 = 2*w. Sort 2, d, p in decreasing order.
2, p, d
Suppose 19 = -3*d - 23. Let b = 30 + -31. Put d, b, 1 in descending order.
1, b, d
Let j = 0.2 + 0. Let s = 0.77 + 1.23. Put s, -3/4, j in decreasing order.
s, j, -3/4
Let k = -36 + 542/15. Sort 2/5, k, 2 in ascending order.
k, 2/5, 2
Suppose 0 = 4*m - 3*i - 0 + 29, -i = m + 2. Suppose 0 = -5*a - 0 - 30. Sort 2, a, m in decreasing order.
2, m, a
Suppose -2*v = -4*q - 5*v - 28, -5*v = -4*q + 4. Sort -5, q, -1.
-5, q, -1
Let t = 4.98 + 0.02. Let o = -5.5 + t. Sort o, 3, -4.
-4, o, 3
Let u = 5 + -3. Put -4, u, 4 in ascending order.
-4, u, 4
Let n = -0.3 - -0.2. Let t(h) = -h**2 - 7*h - 7. Let a be t(-5). Let f = -4 + 8. Put n, a, f in descending order.
f, a, n
Let m = -3.5 + 5.52. Let s = 0.02 - m. Sort 3, -1/4, s in ascending order.
s, -1/4, 3
Let v be (63/6)/(9/(-12)). Let k = v + 34. Suppose 4*l - b - 5 + 1 = 0, 5*b - k = 0. Sort l, 3, -5 in descending order.
3, l, -5
Let c be (2/(-4))/((-50)/(-60)). Let l = -0.4 - -0.5. Let x = 0.1 + l. Sort x, 3, c in decreasing order.
3, x, c
Let w = 3 + -2. Let c be 4/w + 0/(-2). Sort 1/3, 1, c.
1/3, 1, c
Let u = 0.02 + -0.12. Let s(g) = -g**2 - 5*g - 3. Let b be s(-4). Let p be b - (1 - 3/5). Put 0.2, u, p in descending order.
p, 0.2, u
Let u = 14 - 14.1. Sort -1, -2/3, u in descending order.
u, -2/3, -1
Let q = 0.8 + 0.2. Let c = 8 + -3. Let r be 45/20 - (-2 + c). Put q, 3, r in ascending order.
r, q, 3
Let c be 13/(-2) + 9/18. Let p = c + 11. Suppose 2*d - 5*d - 3 = 0. Sort d, p, -3 in increasing order.
-3, d, p
Let r = -0.03 + 0.09. Let m = -0.09 - -0.03. Let z = r + m. Sort 0.4, -2/15, z.
-2/15, z, 0.4
Let m(v) = -4*v**2 + 3*v - 2. Let n be m(2). Suppose 3*g + d - 15 = 0, 2*g - 3*g + 4*d - 8 = 0. Let u be g/n + (-32)/(-6). Sort -5, -2, u in decreasing order.
u, -2, -5
Suppose -5*m - 5*r = -3*r - 10, -5*m + 15 = r. Suppose -f = m*f. Sort 3, f, -2 in decreasing order.
3, f, -2
Suppose -11*c + 12*c + 182 = 0. Let b be 0 + -4 - c/49. Sort 0.2, -6, b.
-6, b, 0.2
Suppose 3*u - 260 = -2*u. Let l be 4/6 + u/12. Sort -3, l, 4 in increasing order.
-3, 4, l
Let c = 14 + -9. Suppose c*f = 2*w - 7, w - 3 = 3*f + 1. Put 3, f, -2 in descending order.
3, f, -2
Let i = -0.02 - 0.58. Let n = i + 1. Let y be (1 + 1)*(-1 + 3). Sort y, -1/7, n in descending order.
y, n, -1/7
Let y be 0/(2/(-2)*-1). Suppose -16 = 2*j - 0*c + 3*c, 5*c = -10. Let a = -41 - -44. Sort y, a, j in decreasing order.
a, y, j
Let v = -547 - -547.4. Suppose 19 = -4*g - 1. Sort v, g, 5 in decreasing order.
5, v, g
Suppose 11*h = 9*h - 4. Let d = 1 + -1. Put d, h, -4 in descending order.
d, h, -4
Let p = 0.1 - 2.1. Put -0.4, -1/2, 1, p in ascending order.
p, -1/2, -0.4, 1
Let u = -0.1 + -2.9. Put u, -10, 3/8 in descending order.
3/8, u, -10
Suppose w - 9 = -0*w. Let j(i) = -i**2 + 10*i - 7. Let u be j(w). Put -2, u, 1 in decreasing order.
u, 1, -2
Let t = -1 + 3. Suppose 4*q - t*z = 3*q - 10, -5*q + 5*z - 30 = 0. Suppose 2*p - 28 = -5*o + o, 0 = 3*p - 12. Sort q, o, 1 in ascending order.
q, 1, o
Let g(q) = -q**3 + 6*q**2 - 8*q + 11. Let j be g(4). Put 4, j, -3 in ascending order.
-3, 4, j
Let v be (-5 + 6)*(-3 - -1). Sort 0, v, -3.
-3, v, 0
Let k(j) = -3*j. Let u be k(2). Let a = u - -10. Sort -4, 2/13, a in descending order.
a, 2/13, -4
Let f be 57/(-4) - 2/(-8). Let k be f/10 - 12/(-30). Let w be 7/(-2) - (-2)/(-4). Put k, 4, w in ascending order.
w, k, 4
Let t = 6 + -4. Let q = 2 - t. Let s = -1 + 3. Sort s, 5, q in increasing order.
q, s, 5
Let w(q) = -q**3 + 13*q**2 - 11*q - 12. Let z be w(12). Sort 4, -3, z in decreasing order.
4, z, -3
Let g = 0.39 - 0.29. Sort -0.1, g, -6/5 in descending order.
g, -0.1, -6/5
Let q = -9 + 9.2. Put -1/2, -2/17, q in ascending order.
-1/2, -2/17, q
Let g(f) = 3*f + 1. Suppose 1 = 2*b - 1. Let u be g(b). Suppose 2*z + 28 = 5*a, -u*a = z - a - 8. Sort z, 0, 5 in descending order.
5, 0, z
Let r = 9 - 6. Sort -1, r, 1/5 in descending order.
r, 1/5, -1
Let d(l) = l**3 + 8*l**2 + 12*l. Let q be d(-6). Put -1, 3/2, q, -1/7 in decreasing order.
3/2, q, -1/7, -1
Let a = -3.7 + 3.7. Let h = 2 - a. Let s = -5.07 + 0.07. Put s, -0.4, h in decreasing order.
h, -0.4, s
Let q = 9.16 - 0.16. Let i = -11 + q. Let p be -2 + (54/8)/3. Sort i, -1, p in increasing order.
i, -1, p
Let j = -14 - -9. Sort 7, j, 0 in descending order.
7, 0, j
Let d = 175/4 + -44. Sort 5, d, 1.
d, 1, 5
Let w be 2/42*-19 - 104/(-78). Sort -0.01, 3, -3, w in decreasing order.
3, w, -0.01, -3
Let u(v) = -2*v**2 - 8*v + 7. Let c be u(-5). Sort -5, -4, c in decreasing order.
c, -4, -5
Let b = 0.03 + -3.03. Let t(a) = a + 2*a - 4 - 5*a. Let x be t(-4). Sort 5, b, x in ascending order.
b, x, 5
Suppose -w = -0*w + 16. Let t be (-3 + 1)*2/w. Let d be 15/21 + (-2)/(-7). Sort d, 0.1, t in descending order.
d, t, 0.1
Let v = 35 - 35. Sort 3, v, 7 in ascending order.
v, 3, 7
Let w = 1020 + -1020. Let r = -3 - -2. Sort 1, w, r in descending order.
1, w, r
Let r = 7 + -5. Sort 0.5, 3, r, -1.
-1, 0.5, r, 3
Let g = -23 + 18. Let d = 0.5 - -2.5. Let x(l) = l + 7. Let a be x(-5). Sort a, d, g in decreasing order.
d, a, g
Let f = -8 + 14. Let y be 3*2/f - 2. Suppose 0 = 3*x + 2*x. Sort x, 5, y in descending order.
5, x, y
Let v(l) = -3*l**3 - 2*l + 1. Let x be v(1). Suppose 0 = -3*w - w - 20. Sort 5, x, w.
w, x, 5
Let v = -35/111 - 2/111. Sort 6, 0.4, v, -2/3 in ascending order.
-2/3, v, 0.4, 6
Suppose -5*r + 2*r + 12 = 0. Suppose a = -3, -3*k + r*a = 2*a - 15. Let t = 3 - k. Put 1, t, 0.2 in decreasing order.
1, 0.2, t
Let u be (-12)/8 + 69/42. Put 4, 1, u in ascending order.
u, 1, 4
Suppose i + 3 = 0, i - 23 = -4*d + 6*i. Let k(o) = -o**3 + 6*o**2 - 6*o + 4. Let f be k(5). Sort 3, f, d in descending order.
3, d, f
Let n = 38 + -115/3. Sort 0.3, -4, n in descending order.
0.3, n, -4
Let m = -10 + 7. Let c be ((-2)/(-2))/((-1)/(-3)). Put c, -2, m in decreasing order.
c, -2, m
Let a be 1/2 - (-54)/12. Let r be -1*4*(-5)/(-4). Sort a, r, 0 in descending order.
a, 0, r
Let a be (-4)/18 - (-22)/(-63). Let z be (1/(-2))/((-2)/10). Sort 1/3, a, z.
a, 1/3, z
Let r = -7 + 9. Suppose 0 = -2*c + 5*s + 35, -3*c = 5*s - s + 5. Sort c, -4, r in ascending order.
-4, r, c
Suppose 5*j - 1 - 19 = 0. Suppose 4*i - 2*n = -24, -2*i + 3*n - j = -4*i. Let a be ((-2)/i)/((-5)/10). Sort 5, -5, a.
-5, a, 5
Let l = -51 + 49. Sort 3/13, 2/13, l.
l, 2/13, 3/13
Suppose 3*w + 18 = 4*v, w + v + 4 - 5 = 0. Suppose 0 = -o - 4*o + 5. Suppose 0 = -30*t + 49 + 11. Sort w, t, o.
w, o, t
Suppose 0 = -3*o + 7*o + 3*j + 3, 16 = 2*o - 2*j. Put -5, -4, o in descending order.
o, -4, -5
Let s(b) = b**2 + 7*b + 2. Let j be s(-5). Let c be (-5)/2*j/4. Put c, 1, -1 in ascending order.
-1, 1, c
Let q be (4/(-2))/(6/(-9)). Suppose 0*u + q*u + 2*y - 7 = 0, -3*y + 12 = 3*u. Sort -3, u, 5.
-3, u, 5
Suppose -20*q + 24*q = -4*a + 8, 0 = 4*a. Suppose 5*y + w - 21 = -2, -y + 4*w = -8. Sort q, 5, y in increasing order.
q, y, 5
Let t be -6*(-1 + (9/2)/3). Suppose -5*v - 15 = f - 3*f, -2*f = -2*v - 12. Sort 0, t, f.
t, 0, f
Let b(d) = -d + 4. Let t be b(7). Suppose 0 = -2*c + c. Sort t, c, 2 in descending order.
2, c, t
Suppose 4*z + j = 9*z, -j = -3*z + 2. Put -2, 0, z, 5 in descending order.
5, 0, z, -2
Let y = -56 - -53. Put 4, 1/3, -0.1, y in increasing order.
y, -0.1, 1/3, 4
Let r = -0.1 - -0.3. Suppose -6*z + z + 15 = 0. Let a be z/(0 - (-6)/3). Sort 0, a, r in ascending order.
0, r, a
Let p be ((-1)/(-2 + -1))/(2/(-30)). Let d = -25 - -18. Sort 4, d, p in descending order.
4, p, d
Suppose d - 2*d + 23 = 5*w, 0 = 4*w - 16. Sort d, 5, 6, 1 in increasing order.
1, d, 5, 6
Let j(q) = q**3 + 10*q**2 - 23*q + 7. Let w be j(-12). Sort