r.
3, 2, p
Let v = 22 - 25. Sort -3/7, 0, v in descending order.
0, -3/7, v
Let y be -2 + 4 + 0/1. Let p(j) = 2*j**y + 4*j + 1 - j**2 + 3. Let b be p(-4). Sort -2, b, 3 in decreasing order.
b, 3, -2
Let u = -17 + 12. Let a(r) = -r - 1. Let z be ((-9)/(-6))/(1/(-2)). Let l be a(z). Put -2, u, l in decreasing order.
l, -2, u
Suppose q + 2 = -4*o - 3, 0 = 4*q + o - 10. Suppose -5*f - 28 = 3*r, 2*r = -3*r - 5. Sort 1/6, f, q in increasing order.
f, 1/6, q
Let r be -10*2/4*-1. Sort 2, -16, r in decreasing order.
r, 2, -16
Suppose -15*j - 29 = 16. Suppose w = -2*w. Put j, 5, w in decreasing order.
5, w, j
Let b = -11 + 45/4. Put -12, 0.1, b in descending order.
b, 0.1, -12
Let h = -9.11 + -18.85. Let y = h - -28. Put 2/9, y, 4 in decreasing order.
4, 2/9, y
Let g be 21 - 21 - (-6)/4. Let z be (-118 + 0)*(-1)/3. Let c = z - 38. Sort g, 0.5, c in descending order.
g, c, 0.5
Let g = 1.5 - 0.5. Let m = g + -1. Let z = -7 + 12. Put m, z, 2/13 in increasing order.
m, 2/13, z
Let l = 36 - 7. Suppose v + l = -5*a, 4*a - 4 = 2*v - 16. Put a, 1, 2 in increasing order.
a, 1, 2
Let c = 7 - 12. Sort c, -0.1, 1, 0 in decreasing order.
1, 0, -0.1, c
Let z be ((-4)/5)/(3/15). Sort z, 0, 2, 4 in descending order.
4, 2, 0, z
Let c = 0.039 + -0.039. Sort -0.4, 4, c in descending order.
4, c, -0.4
Let g be 4/(-6) + (-20)/6. Let j(w) = w**3 + 8*w**2 + 7*w + 3. Let o be j(-7). Put 2, o, g in decreasing order.
o, 2, g
Suppose 4*y - 16 = -4. Put -1, y, 5 in ascending order.
-1, y, 5
Let x(m) = 3*m**3 + 8*m**2 - 10*m - 8. Let b(h) = 7*h**3 + 16*h**2 - 21*h - 16. Let n(l) = -4*b(l) + 9*x(l). Let g be n(7). Sort g, 3, 4 in descending order.
4, 3, g
Let j be (6/9 + (-6)/9)/(-2). Let o(x) = 2*x - 4. Let b be o(4). Put b, j, 5 in decreasing order.
5, b, j
Let y = 29/2 - 15. Let h = 0.03 + 0.27. Let p = -0.2 + h. Sort y, 2/7, p in descending order.
2/7, p, y
Let i = 33.3 - 33.8. Let d = -5 + 5. Let j = 0.2 - 4.2. Sort i, d, j in increasing order.
j, i, d
Suppose -3*o + n = -0*n - 65, 4*n + 53 = 3*o. Suppose s + 15 = 4*s, k - o = -5*s. Let h(t) = t**2 - 5. Let u be h(0). Sort u, k, 5 in descending order.
5, k, u
Let k = 152 + -1068/7. Sort 11, 1/3, k in decreasing order.
11, 1/3, k
Suppose 2*b - 5 = -1. Suppose -b*p + p + 25 = -2*y, -4*p - 20 = 0. Let v be y/(-9) - 4/2. Sort -0.4, 0.5, v in ascending order.
-0.4, v, 0.5
Let m = 0.09 - 0.59. Let t = m + 0.5. Let r = -0.5 + t. Sort 4/3, r, 0.5.
r, 0.5, 4/3
Let j = 577/5 - 115. Sort 2, 5, j in increasing order.
j, 2, 5
Let m be (1/(-1) + 0)*1. Let t = m - -3. Let x = 0 + 0.5. Sort t, x, 4.
x, t, 4
Suppose -3*o = -2*o - 3. Suppose -o*u = -w + 6, w + 5*u = 5*w - 10. Let x = 1 + 0. Put 5, x, w in descending order.
5, x, w
Suppose -2*o + 3*o = 3. Suppose -4*d + f = -f + 16, -5*d = -2*f + 18. Sort o, 0, d in ascending order.
d, 0, o
Let y be ((-3)/4)/(6/(-4)). Put y, -2/11, -1 in increasing order.
-1, -2/11, y
Let y be -3*(1 - (-1 + 3)). Sort 2, 1, y in ascending order.
1, 2, y
Suppose 0 = -0*q - 5*q - 15. Suppose 3*o = 2*k + 12, 3*k + 10 - 1 = 0. Suppose 3*c = o*d - 4 + 2, -5*d - 4*c + 5 = 0. Sort q, 4, d in descending order.
4, d, q
Suppose 4*d - 12 = -4*c, 5*d - 2 - 1 = -2*c. Let w(o) = o**3 + 13*o**2 - 2. Let j be w(-13). Sort j, -4, d in decreasing order.
d, j, -4
Let p = -20 + 19. Put 0, p, 9, -3 in increasing order.
-3, p, 0, 9
Suppose 0 = 4*w + 3 + 13. Put w, -10, 0 in ascending order.
-10, w, 0
Let l be 16/3 + -5 - (-20)/3. Sort -3, -2, l, -1 in descending order.
l, -1, -2, -3
Let a = 19 - 19.4. Sort 1/7, -0.3, a.
a, -0.3, 1/7
Let n(t) = t**2 + 6*t - 4. Let q be n(-6). Sort -2, 3, q, -5.
-5, q, -2, 3
Let l(j) = 3*j - 9. Let m be l(0). Let w be (-12)/m + (-2)/1. Put 0.3, w, -3 in decreasing order.
0.3, w, -3
Let v = 2.78 - 3. Let k = v - -0.2. Let t = -2 + 9/2. Sort k, t, -5 in ascending order.
-5, k, t
Let n(t) be the first derivative of t**2/2 - 4*t - 1. Let k be n(5). Sort k, 5, -2 in increasing order.
-2, k, 5
Let y be 4 - (8/(-4) - -4). Let q = y + -5. Sort 3, q, 4.
q, 3, 4
Let r = -0.63 - -0.23. Put r, -5, 3 in increasing order.
-5, r, 3
Let x = -0.8 + 1.1. Let c = 4 - -1. Sort c, -4, x in decreasing order.
c, x, -4
Suppose f - 3*u + 10 = 2*f, 0 = 4*f - 5*u + 45. Sort f, 2, -51 in decreasing order.
2, f, -51
Let t = -68 - -63. Let b = 0 - 2. Put t, 2, b in descending order.
2, b, t
Let t = -1.7 - -1.1. Sort t, 4, -2/7 in descending order.
4, -2/7, t
Let s = -6.93 + 7. Let z = s - -2.93. Let p = z - 3. Sort p, -2/11, -3 in decreasing order.
p, -2/11, -3
Let b be -3*(42/(-9))/7. Put b, 10, -1 in descending order.
10, b, -1
Suppose -4*p + 2*w + 3*w = 36, -40 = 5*p - 5*w. Let y = 17 - 15. Sort p, 5, y.
p, y, 5
Let r = -2.6 - -0.6. Sort r, -5, -0.3, 1/3 in ascending order.
-5, r, -0.3, 1/3
Let r = 1.99 - 2. Let s(l) = 5*l + 40. Let z be s(-8). Sort r, -5, z.
-5, r, z
Let s = 3 - 3. Suppose 0 = -b - n + 5 + 5, -2*b = -4*n + 4. Suppose 3*c + b = -s. Sort c, 2, 5.
c, 2, 5
Let l be (-4)/(-10) + 23/5. Suppose 5*z - 5*n = 25, 4*z - 7 = -z - n. Let v = 1 - 1. Sort l, v, z in decreasing order.
l, z, v
Let g be 54/(-63)*(2 + (-7)/3). Suppose 4 + 1 = -5*i. Sort i, g, -0.3 in ascending order.
i, -0.3, g
Let k be ((-12)/(-54))/((-4)/(-6)). Put k, -2/13, 2 in decreasing order.
2, k, -2/13
Let r = -29.7 - -30. Sort 3, 12, r in decreasing order.
12, 3, r
Let m = 29 - 29.2. Put 1, -4, m in decreasing order.
1, m, -4
Let z = 1.1 + -0.7. Sort z, -1, -4 in ascending order.
-4, -1, z
Let a(h) = -h**3 - 7*h**2 + 3. Let z = 5 + -12. Let g be a(z). Suppose 0 = -n + 4*n. Put -4, g, n in descending order.
g, n, -4
Let l = 0.09 - -3.91. Suppose n + 6 = 4. Sort n, l, -0.1.
n, -0.1, l
Let o be (122/(-94))/(138/10). Let w = o + 1/141. Put -1/3, w, -0.1 in ascending order.
-1/3, -0.1, w
Let h = -3 + 3. Suppose -3*w = -2*w + 3. Let o = -8 - w. Put h, 5, o in descending order.
5, h, o
Let b(o) = -o**2 + 6*o - 5. Let h be b(6). Let k(d) = -d**2 + 5*d - 6. Let v be k(4). Put -4, v, h in descending order.
v, -4, h
Let o(c) = -5*c. Let q be o(2). Let r be -5 - (-3 - -4)/((-1)/2). Sort r, q, -4 in decreasing order.
r, -4, q
Let o = -5.8 + 6. Let b = -5.11 + 0.11. Let g = b + 4.8. Put g, o, -5 in increasing order.
-5, g, o
Let k(a) = -a + 1. Let q be k(-2). Suppose -d + 0*d = -3*m + 14, 0 = 4*d + 5*m - 29. Suppose 3*o = d - 10. Sort o, 0, q in ascending order.
o, 0, q
Suppose -2*y = -d - 11, 18 = -5*d - y - 4. Sort -3, 20, d in increasing order.
d, -3, 20
Suppose -3*d = 3*w + 15 - 6, 5*d = 2*w - 15. Put 3, 2, d in ascending order.
d, 2, 3
Let v(u) = u**3 + 6*u**2 + 4*u. Let w be v(-5). Suppose -5*n - 67 + 47 = 0. Let o(s) = s**2 + 8*s + 9. Let h be o(-6). Sort n, w, h in increasing order.
n, h, w
Suppose 3*y = 9 - 3. Suppose -3*l - l = b - 5, 0 = 3*l + 2*b. Let r be (-20)/2*1/l. Sort -3, y, r in descending order.
y, -3, r
Let n(q) = -14*q**2 - q + 1. Let z be n(1). Let s = z - -19. Put 2, 3, s in descending order.
s, 3, 2
Let i = -38 + 37. Sort -1.3, i, -2.
-2, -1.3, i
Let q(z) = 7*z - 16. Let p be q(0). Put p, 1, -0.5 in decreasing order.
1, -0.5, p
Let x = -27 - -25. Let c be -2*14/16 + 2. Sort c, 0.3, x in increasing order.
x, c, 0.3
Let i = -104 - -104.1. Sort 1/11, -3/7, i, -0.1.
-3/7, -0.1, 1/11, i
Suppose -9 = 7*o - 2. Put o, 2, -2, 1 in descending order.
2, 1, o, -2
Let m = 29 - 29. Put 4, m, 13 in descending order.
13, 4, m
Let m = 0.8 + 0.2. Let p(v) = -v**2 - v. Let u be p(-1). Sort u, m, 4 in increasing order.
u, m, 4
Let n be (3 + -4)*(-1 + 4). Suppose 2 = -4*v - 6. Let j = v - n. Sort 0, -5, j.
-5, 0, j
Let z = -0.5 - -1. Let p = 3.9 - -0.1. Let i = -4.5 + p. Sort z, -0.2, i.
i, -0.2, z
Let z(d) = d - 5. Suppose 3*o + o = 0. Let u be z(o). Sort u, -3, 5.
u, -3, 5
Let q(k) = -2*k + 5*k - 2*k**2 - 7 + 3*k**2. Let z be q(-4). Sort z, 5, -1 in ascending order.
z, -1, 5
Let i(y) = 3*y. Let c be i(-1). Suppose -g = 4*m - 22, -2*g - 2*m = g - 16. Sort g, 3, c.
c, g, 3
Let t = -40 + 75/2. Let f = -11 - -10.8. Sort f, -4, t in descending order.
f, t, -4
Let x = 94/65 - 24/13. Suppose -7 = -4*g + 5*c, 0 = 8*g - 3*g - 2*c - 13. Suppose 6*y - g*y + 9 = 0. Put x, 0.3, y in decreasing order.
0.3, x, y
Suppose 3*q + 7 = 22, 5*g = -4*q + 5. Let v = -6 - g. Sort 3, 5, v in increasing order.
v, 3, 5
Let l = -7.02 + 0.02. Put -5/3, l, -1/7 in descending order.
-1/7, 