 53/3. Put -4, 15, p in ascending order.
-4, p, 15
Let s be ((-1)/10)/((-11)/(-44)). Let o(v) = -v**2 + 5*v - 1. Let w be o(5). Let j be 0 + w/(-3) + 0. Sort j, 3, s in decreasing order.
3, j, s
Let p(c) = -7 + 37*c - 9 - 34*c. Let j be p(7). Sort -5, 1, j in increasing order.
-5, 1, j
Suppose -5*w + 0*d = -2*d - 3, 5*w = -3*d + 8. Suppose m - w + 3 = 0. Suppose 4 + 11 = 5*s. Sort s, 5, m in ascending order.
m, s, 5
Suppose 0 = 2*j - 5*c + 19, -3*j = -j + 2*c - 16. Suppose -8*r + 4 = -4. Put j, r, 0 in decreasing order.
j, r, 0
Let n = -3 + 6. Let l = 2 - 1.6. Let m = 13 - 8. Put l, m, n in decreasing order.
m, n, l
Let h = 0 + 0.3. Let a = -6 - -5.6. Let c = 0.2 + a. Put 0.4, h, c in decreasing order.
0.4, h, c
Suppose n + 0*o + 4*o - 19 = 0, 7 = -3*n + 4*o. Suppose j + n = 8. Suppose 0*w + 8 = 2*w. Put 3, w, j in decreasing order.
j, w, 3
Let y = -0.2 + 0.1. Let h = -2/2789 + 27904/19523. Let g = -2 + h. Sort 1, g, y in decreasing order.
1, y, g
Let b be 54/21 + 3 + (-6)/(-14). Let z be (-8)/2*(-1)/2. Sort 1, z, b.
1, z, b
Suppose 0 = 5*o + 5. Let m be 3 + o + -5 - 2. Suppose 3*d = -3*k, 2*k + 3*d = 2 - 0. Put m, k, 1 in descending order.
1, k, m
Let k be (-4 + -1 + 4)/1. Sort 3, 1, k in increasing order.
k, 1, 3
Let x = 38 + -38. Let u(v) = v**2 - 8*v + 7. Let z be u(6). Put x, -2, z in decreasing order.
x, -2, z
Let u = -30.3 + 30. Sort u, 4, 0.4 in increasing order.
u, 0.4, 4
Let d = -1 - 3. Suppose 11 + 1 = 4*m. Let v = m + -4. Put d, v, -2 in descending order.
v, -2, d
Let q = 0.14 + -20.14. Let j = 12 + q. Let z = j - -7.7. Put 3, 1, z in decreasing order.
3, 1, z
Let y(b) = -b**2 - 4*b + 3. Suppose -3*s = -2 + 17. Let m be y(s). Sort 5, 6, m in descending order.
6, 5, m
Suppose 4*w + 256 = 2*t, w + t - 192 = 4*w. Let l be 16/w + 10/8. Put -1, 5, l in ascending order.
-1, l, 5
Let m(t) = 4*t**2 - 2*t. Let o be m(-2). Suppose 0*q = 5*q + o. Let w = -0.03 - 0.37. Put q, w, 4 in increasing order.
q, w, 4
Let h be (-4)/(-3) - 2/3. Let v = -1.2 + 1. Let r be (-69)/198 - (-4)/22. Sort v, h, r in ascending order.
v, r, h
Let h be 2 + (-5 - (-3)/(-3)). Let v = 3 + h. Sort -4, 1, v in decreasing order.
1, v, -4
Let d(y) = y - 7. Suppose -5*o + 6 + 34 = 0. Let v be d(o). Sort -1, v, 5 in descending order.
5, v, -1
Let j = 9 + -3. Let h = -11 + j. Let o be (-2 + 1)/(-1) + 1. Sort o, 5, h.
h, o, 5
Let s = -3.9 - -4. Let q = s - -0.9. Let z = -13 + 8. Sort q, -2, z in decreasing order.
q, -2, z
Suppose 5 = -5*z + 5*n, -1 = -z + 5*n + 2. Let u be (2 - z) + (-3)/(-3). Suppose 0 = -0*b - u*b. Put 4, b, 5 in ascending order.
b, 4, 5
Let b(l) = l + 5. Let a be b(-5). Let v = a - 1. Let q = 4 - v. Put q, 0, -4 in decreasing order.
q, 0, -4
Let a = 0.53 - 0.63. Sort -1/4, a, 1 in ascending order.
-1/4, a, 1
Let l = 130 - 131. Put l, -43, -2 in decreasing order.
l, -2, -43
Let v = 10 - 6. Put v, 2/9, -0.5, 4/3 in descending order.
v, 4/3, 2/9, -0.5
Let d(l) = l - 12. Let o be d(9). Put 3, o, -1/2 in decreasing order.
3, -1/2, o
Let y = 10 + -5. Put -4, -0.08, y in decreasing order.
y, -0.08, -4
Let b = 22 - 10. Let g = b - 16. Suppose -k = k - 4. Sort -2, k, g in descending order.
k, -2, g
Let b = -1.7 + 2.7. Sort 0.3, b, -2.
-2, 0.3, b
Let a = -8.23 - -0.23. Let f = a + 11. Put 0.02, f, 0.4 in ascending order.
0.02, 0.4, f
Let z = 0.4 + 0. Let f = z - -0.1. Sort -1/4, 2/11, f in descending order.
f, 2/11, -1/4
Let b(o) = 2*o + 4. Let v be b(-5). Let z = 2 + v. Suppose -3*k = w + 1, -6*w + 2*w = -4*k + 4. Sort w, 5, z in descending order.
5, w, z
Let w = 448 + -451. Suppose l - 2*r = r + 18, 0 = -2*l + 2*r + 28. Let a = l + -17. Sort a, 3, w in decreasing order.
3, w, a
Suppose 3 = -4*l + 5*u - 2, 0 = -4*l - 3*u + 35. Suppose -4*o - o = l. Sort o, 5, 4 in descending order.
5, 4, o
Let o(k) = k**3 - 5*k**2 - 6*k - 5. Let n be o(6). Sort 3, -16, n.
-16, n, 3
Let s = -104.6 - -105. Put -0.2, s, -0.1, -1/3 in increasing order.
-1/3, -0.2, -0.1, s
Let i = 2 + -4. Let p be 7/42 - i/(-3). Put -1/6, 0.5, p in descending order.
0.5, -1/6, p
Let s = 8.7 - 8. Let l = 1 - s. Let q be 18/(-8) + 1/4. Sort -3, l, q in decreasing order.
l, q, -3
Suppose -1 = 3*q - 4*q. Let h = q + -1. Sort -3, 2, h in increasing order.
-3, h, 2
Let s = -5 - -9. Suppose 0 = -4*d - m + 4, 0*m + 2*m - 8 = 4*d. Let f(b) = b**2 + 5. Let j be f(d). Put j, s, 0 in descending order.
j, s, 0
Let s(a) = -a**3 + 7*a**2 + a - 9. Let c be s(7). Suppose -9 = -2*w - w. Suppose 12 = 4*m + 4*g, 2*m + 3*g - 8 = -0. Put m, w, c in decreasing order.
w, m, c
Suppose -2*w + 0*w - 16 = -3*a, 0 = -5*w + 3*a - 31. Put w, 0.4, 4 in descending order.
4, 0.4, w
Let y = 53.4 - 53. Sort -1/2, 0.03, y.
-1/2, 0.03, y
Let q(z) = -z + 6. Let d be q(8). Let y be 0/(-2) + 2 + d. Suppose -5*h + 3 = -s - 6, -4*h = -5*s - 3. Put y, 5, s in ascending order.
y, s, 5
Let n be (3/(-2))/(6/12). Let h = -8 + 16. Let w be -5 - n - h/(-2). Put 3, -4, w in decreasing order.
3, w, -4
Let m be (1 + -3)*10/4. Let z = -11 - -15. Put z, m, -2 in descending order.
z, -2, m
Let y = -5.08 + 0.08. Let t = -5.7 - -6. Let b be (-14)/7*2/(-8). Sort t, y, b.
y, t, b
Suppose 4*q + 4*t - 40 = 0, -2*t - t = -3. Let a = 11 - q. Put -3, a, 3 in increasing order.
-3, a, 3
Let x be 2/(-6) - (-5)/6. Let w = 9.97 - 10. Let c = w + 0.23. Sort -2, x, c in increasing order.
-2, c, x
Let i = -490 + 487. Let s be (-2)/4 + (-15)/(-6). Sort 3, s, i in increasing order.
i, s, 3
Let w(r) = -r. Let c be w(-5). Let o be ((-39)/52)/(3/2). Sort o, c, -0.4 in ascending order.
o, -0.4, c
Suppose 3*v = j - 2, -3*j + v - 1 = 1. Sort j, 3, -2 in descending order.
3, j, -2
Let d = 33 - 27. Suppose -2 = -7*g + d*g. Sort 0, -4, g in descending order.
g, 0, -4
Let f = -16 + 18. Sort 3, f, 33.
f, 3, 33
Let w be (-6)/(-5)*(-125)/50. Put w, -14, 3 in decreasing order.
3, w, -14
Suppose 7*y - 3*y + 12 = 0. Put -1, y, 4 in increasing order.
y, -1, 4
Suppose 0 = k - 6*k + 5. Sort k, 4, 7.
k, 4, 7
Let y = -0.03 - -2.03. Let l = 4696/7 - 674. Let v = -24/7 - l. Sort 0.3, v, y in decreasing order.
y, 0.3, v
Let r(f) = -f**3 + 18*f**2 - 17*f - 5. Let d be r(17). Let o be 1 + -2 - (0 + -6). Put o, 0, d in increasing order.
d, 0, o
Let y(t) = 3*t**2 - 2*t + 1. Let x be y(1). Suppose 3*j - 18 = -3*r, 2*j = 5*r + 2 + 3. Put -1, x, r in increasing order.
-1, r, x
Let n be 8 - 2 - 468/81. Put -0.2, -2.5, -4, n in decreasing order.
n, -0.2, -2.5, -4
Suppose -p + 2*b + 3*b + 11 = 0, 5*p - 26 = -4*b. Let l be 171/36 + p/(-8). Sort l, -4, -3 in ascending order.
-4, -3, l
Let q = 787/45 + -161/9. Let j = 2 + -1.5. Sort j, 2/15, q in descending order.
j, 2/15, q
Let c = 4.1 - 4. Sort c, 1/5, -0.2 in descending order.
1/5, c, -0.2
Suppose 0 = -3*r - 5*m - 15, 2*r - 5*m - 5 = 3*r. Put 1, r, 3 in descending order.
3, 1, r
Let m be (6/(-4) + 0)*10/(-15). Sort m, 0, -3 in ascending order.
-3, 0, m
Suppose -m + 3 = -a + 2, 3 = 5*m - 3*a. Let i be (7 - 8)/(-1 - m). Put i, -2, -6 in decreasing order.
i, -2, -6
Let n = -12.3 + 12. Let z = 0.6 - 0.1. Sort -0.5, z, n in descending order.
z, n, -0.5
Let q = 9 + -4. Let l(v) = 2*v - 11. Let u be l(6). Let d be 3*u + (0 - 5). Put q, 4, d in decreasing order.
q, 4, d
Suppose t + 3 = 11. Suppose -5*x = -20, -5*x + 9 = -d - t. Put 1/2, 0, d in decreasing order.
d, 1/2, 0
Let a = 7 + 13. Suppose 3*v + v = a. Sort 1, -4, v in descending order.
v, 1, -4
Let i be 58/168 - (-1)/(-4). Let m be 5846/(-20) + 5/10. Let n = -293 - m. Sort 1, i, n in descending order.
1, i, n
Let j = 0.36 + -0.42. Sort -0.5, -2/3, j in increasing order.
-2/3, -0.5, j
Let v(g) = g**2 - 3*g. Let f be 2/(4/42) - 1. Suppose -w - f = -6*w. Let m be v(w). Put m, 3, 5 in ascending order.
3, m, 5
Suppose -3*c + 3*z = 28 - 4, z - 13 = 2*c. Suppose 0 = -7*a + 3*a + 20. Suppose y = -y + a*v - 5, 0 = 4*y - 4*v - 8. Put y, 4, c in descending order.
y, 4, c
Suppose 0 = 6*t + 6*t + 12. Let q = 3 - -1. Put t, q, 0 in decreasing order.
q, 0, t
Suppose 3*p + 21 = 6. Sort -1, p, 5, 3 in descending order.
5, 3, -1, p
Suppose 0 = 4*p - 9*p + 5*q - 10, 4*q - 10 = 2*p. Suppose -5*u - 2*b = -40, -6 = 2*u - 5*b + 7. Suppose u*c - 3*c = 6. Sort c, 4, p in ascending order.
p, c, 4
Suppose 43 = -4*s + 3*m, -3*s - 12 = -5*m + 23. Let u be (-34)/s - (-6)/(-15). Suppose -k = 4*q - q + 2, -q + 4*k + 8 = 0. Sort 5, q, u.
