r.
4, a, -5
Suppose -7*p - 27 = 3*a - 4*p, 0 = -3*p - 15. Suppose 0 = -2*b, b + b - 15 = 3*t. Sort a, 1, t in descending order.
1, a, t
Let q = -210 - -210. Suppose -a + 5 = -2*a. Sort -3, q, a.
a, -3, q
Let b = -8 - -6. Let o = -6.06 + 6. Sort 0, o, b in decreasing order.
0, o, b
Let y be 2/(-5) + 9*(-6)/(-135). Put 1, y, -2/3, -4 in decreasing order.
1, y, -2/3, -4
Suppose 4*k = -2*k. Suppose 0*t + 4*m + 16 = -2*t, 0 = 4*t + 2*m + 20. Sort t, -1, k in ascending order.
t, -1, k
Suppose d - 47 = -143. Let j be ((-6)/4)/(36/d). Let n be (-2)/4 + 18/(-4). Sort -1, n, j in increasing order.
n, -1, j
Let f be (-4)/6*(-33)/(-22). Suppose 9*s + 5 = -4*n + 4*s, 0 = -2*s - 2. Put f, n, -2 in ascending order.
-2, f, n
Suppose 0*p + 16 = 2*p + 2*v, -17 = -2*p - 3*v. Suppose -p*z = 2*l - 2*z + 29, 4*l = -2*z - 18. Put 1, 0, l in increasing order.
l, 0, 1
Let p(w) = 2*w - 6. Let t be p(4). Let j be (-1)/((-2)/(3 - 1)). Put 5, j, t in decreasing order.
5, t, j
Suppose 0 + 4 = -4*h, 4*h = -2*w + 2. Suppose w*f + g + 4*g - 5 = 0, -4*g = -5*f + 33. Suppose 4*u + 8 = 8*u. Put -1, u, f in decreasing order.
f, u, -1
Let c = 20.007 + -0.007. Let m = c - 20.13. Let r = m + 5.13. Put -0.2, r, -5 in decreasing order.
r, -0.2, -5
Let h = -95 - -477/5. Sort -1, -1/7, h, 1/7 in descending order.
h, 1/7, -1/7, -1
Let u = -151/4 - -38. Let z = 105 - 1154/11. Put u, -3, z in decreasing order.
u, z, -3
Let d be 1*(-1)/((-2)/18). Let s(h) = -h**2 + 9*h - 4. Let x be s(d). Let m be (5 - 0)/(3 - 4). Sort m, x, 0 in descending order.
0, x, m
Let p = 7 - 4. Suppose -f + 2*x = 76, 0 = 2*f + 5*x + 137 + 6. Let g = 224/3 + f. Put p, g, -5 in ascending order.
-5, g, p
Suppose 5*z + 0 = -5*h + 20, -3*z = -3*h + 6. Suppose -4*t = -5*a - 11, 5 = -4*t - 5*a - 14. Put z, t, -4 in decreasing order.
z, t, -4
Let v = -32/63 + 4/63. Put v, -1/7, -0.5 in decreasing order.
-1/7, v, -0.5
Let f = -7 - -10. Put 1, f, -4 in descending order.
f, 1, -4
Let f be 4/(64/28) + -2. Put 0.3, f, 1.2 in increasing order.
f, 0.3, 1.2
Let s(i) = -i - 16. Let k be s(-8). Sort k, 1, -1 in decreasing order.
1, -1, k
Let v be -2 - -7 - (3 + 7). Suppose -2*m + 3*m = 0. Sort -3, m, v in ascending order.
v, -3, m
Let t = 11 + -9. Suppose t*i = -i. Let g = 3 - 8. Put g, 5, i in descending order.
5, i, g
Let u(s) = -5*s - 5. Let f be u(-4). Let n be (-4)/6 - (-7)/f. Let l = 107 + -537/5. Sort n, l, -2.
-2, l, n
Let g = -28 + 26. Sort 2, 6, g in decreasing order.
6, 2, g
Suppose -5*u - 2 = -3*u. Suppose -7 = l - 3. Put 0, u, l in decreasing order.
0, u, l
Let p be 42/15 + (-1)/(-5). Suppose -j - p*s = -16, 14 = 5*j + 2*s - 1. Sort j, 3, -0.4 in increasing order.
-0.4, j, 3
Suppose 2*r = 2 - 0. Suppose 5*a - a = 4. Suppose m = -a - 2. Put 5, r, m in ascending order.
m, r, 5
Let a be (1 - (-21)/(-14))*2. Let o = 5 + -8. Sort -2, o, a in ascending order.
o, -2, a
Let m = -8 - -8.7. Let l = m - 1.6. Sort -1, l, -5/6 in descending order.
-5/6, l, -1
Let c be 14/(-3)*(-18)/7. Suppose -2*p + 4 = 0, -4*p = -2*y - 0*y + 2. Suppose -y*b - c = -b. Sort b, -2, 1 in descending order.
1, -2, b
Let k = 0.65 - -0.35. Let d(f) = -f**3 - 6*f**2. Let b be d(-6). Suppose b*p = 2*p. Sort k, p, -5 in ascending order.
-5, p, k
Suppose -2*c + 3*z = 1 + 5, 3*c + 3*z = 21. Let t(u) = u**3 + 6*u**2 + 5*u - 1. Let h be t(-4). Put -5, h, c in ascending order.
-5, c, h
Suppose 0 = -o - o - 6. Suppose 32 = -4*t + 3*z, 7*z = -4*t + 2*z. Sort 2, t, o in ascending order.
t, o, 2
Let n = 11 - 3. Put -0.2, n, 0 in decreasing order.
n, 0, -0.2
Let t = 21 - 16. Sort t, -1, 0.
-1, 0, t
Let k = 14 - 19. Sort k, 5, -2.
k, -2, 5
Suppose -285*y + 1 = -286*y. Let x(v) = v. Let d be x(-1). Let c = d + 3. Sort -4, c, y in decreasing order.
c, y, -4
Suppose -5*v - 5 = 5*f, 0 = 2*f - 5*v + 10 + 20. Let d be (-1)/((-30)/9 - -3). Put f, d, 5 in ascending order.
f, d, 5
Suppose -u = w, -2*u - 4*w = -0*w. Let h = 6 + -10. Put u, h, 1 in increasing order.
h, u, 1
Let m be (-14)/3 - 4/(-6). Sort m, 6, 3 in ascending order.
m, 3, 6
Suppose -5*v + 9 = -1. Sort -4, 0, v in descending order.
v, 0, -4
Let q = 7.038 + -0.038. Put -1, -1/6, 2, q in descending order.
q, 2, -1/6, -1
Let g = 1 + -4. Let u be 2 - (-44)/(-23)*(4 - 3). Sort g, 3/7, u in increasing order.
g, u, 3/7
Let t(k) = 2*k**3 - 25*k**2 - 14*k + 18. Let w be t(13). Sort -0.4, w, -2, 0 in ascending order.
-2, -0.4, 0, w
Suppose g - 2*g = 0. Let x = 22 - 14. Let s be (-2)/(x/(-3)) - g. Sort -5, -0.1, s in decreasing order.
s, -0.1, -5
Let x = 59 - 57. Put 0.3, x, 5, 0 in decreasing order.
5, x, 0.3, 0
Let x be ((16/(-18))/4)/1. Put -9/2, -4, -2, x in decreasing order.
x, -2, -4, -9/2
Let j(x) = -2*x + 1. Let o(f) = -f**2. Let y(b) = -j(b) - o(b). Let s(w) = w - 7. Let r be s(5). Let n be y(r). Sort 4, 0, n in ascending order.
n, 0, 4
Let y be 6/2 + 11 + -11. Sort 0.7, y, -0.5 in ascending order.
-0.5, 0.7, y
Let r be -1 - (-1 - -3)/(-1). Let p = 43 - 41. Put -4, p, r in descending order.
p, r, -4
Let b(h) = 4*h**2 + h - 1. Let t(u) = u**2 + u - 2. Let q be t(-3). Let m = 5 - q. Let y be b(m). Put -1, y, -2 in ascending order.
-2, -1, y
Suppose -2*z = -4*f, f + 6 = -4*z + 3*z. Put z, 0, 4 in descending order.
4, 0, z
Let z(d) = d**2 + 7*d - 25. Let u be z(-10). Sort 4, u, 3 in descending order.
u, 4, 3
Let p = 12 - 12. Sort 5, p, 15 in increasing order.
p, 5, 15
Let z = -0.27 - 1.93. Let i = 0.8 - z. Let w = -0.2 - 0. Sort i, -2/5, w in ascending order.
-2/5, w, i
Let x = 13 - 13.3. Sort 1, -3, x in ascending order.
-3, x, 1
Let s = 13 - 18. Suppose -2*y - 4*o - 20 = 2*y, 5*o + 16 = 4*y. Sort s, y, 3 in decreasing order.
3, y, s
Let t = 0.021 + -1.021. Let m be 1 - (-7)/(21/18). Put m, -5, t in ascending order.
-5, t, m
Let v = -5 + 6. Sort 3, -5/6, v.
-5/6, v, 3
Let p(q) = q + 1. Let v be p(-4). Sort v, -2, 5, 4 in descending order.
5, 4, -2, v
Let b(w) = w**2 + 5*w - 7. Let f be b(-6). Sort 3, f, -5 in decreasing order.
3, f, -5
Let f(g) = g**2 - 5*g + 6. Let c be f(4). Suppose -c*a - s = 2*a - 21, 5*s = 2*a + 17. Put -4, a, 0 in increasing order.
-4, 0, a
Let t(r) = -r - 7. Let w be t(-11). Let m = 5 - w. Suppose p + 1 + m = 0, -4*p = -4*h + 24. Sort -0.3, h, -0.1.
-0.3, -0.1, h
Let c be (-12)/(-18)*-1*6. Let p = 3 + -2. Sort c, -2, p in ascending order.
c, -2, p
Let s = 7 + -11. Put -0.4, -1/11, s in descending order.
-1/11, -0.4, s
Suppose 4*m + 5*w = 31, 7*m + w = 3*m + 19. Let x(c) = -c. Let p(n) = 3*n - 5. Let g(j) = p(j) + x(j). Let u be g(m). Sort 1, -4, u in decreasing order.
u, 1, -4
Let y be ((-6)/(-5))/(10/(-25)). Let c be 3/2*(-10)/y. Put 4, c, -1 in decreasing order.
c, 4, -1
Let s be -2*-1*(-4)/(-24). Let g = -3 + 1. Sort s, g, 0 in decreasing order.
s, 0, g
Suppose -2*r = r + 3. Let i be (2/6)/(3*6/54). Sort i, r, 5 in increasing order.
r, i, 5
Let l = -1 + -1. Let d be 2/(-10) - (-14)/(-5). Let a be 5 - (-1 - 2)/d. Sort l, -3, a in decreasing order.
a, l, -3
Suppose 0 = 5*j - 3*j - 2. Let g(c) = c**3 + 4*c**2 - c. Let b be g(0). Put j, 4, b in decreasing order.
4, j, b
Let m = 9 - 6. Suppose -6*h + 2*h = -12. Suppose -6*i + 12 = -h*i. Sort 2/5, m, i in decreasing order.
i, m, 2/5
Let w = -379/5 + 76. Put -5, w, -0.3 in decreasing order.
w, -0.3, -5
Let u = 8 + -5. Sort 1/2, 5, u in descending order.
5, u, 1/2
Suppose -p - 2 = 2. Let a be 1 - (24/(-2))/(-2). Let f = -6 + 6. Sort a, f, p.
a, p, f
Let h = 4.6 + -5. Let d = 0 + h. Put 4/5, 2, d in descending order.
2, 4/5, d
Let l(g) = -4 - 4*g - 2*g**3 + 9*g + g**3 - 5*g**2 + 2. Let t be l(-6). Sort 1, t, 5 in increasing order.
1, t, 5
Let r be (-1)/(2 - 33/15). Suppose -r*w + 22 + 331 = -z, -4*w = -2*z - 286. Let a be ((-4)/w)/((-3)/15). Put 5, a, 6/11 in descending order.
5, 6/11, a
Let j = 10 + -7. Let g be (-68)/12 + 2/j. Sort 5, g, 2 in increasing order.
g, 2, 5
Let l(o) = 3*o**3 - 5*o**2 + 2*o + 2. Let y be l(3). Let b be 6/33 + (-52)/y. Sort -5, -4, b.
-5, -4, b
Let b(x) = -x**3 - 5*x**2 + x. Suppose 0 = -3*p + 5*m, 5*m = 3*p + 2*p + 10. Let n be b(p). Sort -1, -3, n in descending order.
-1, -3, n
Let k be (-2)/5 + 2/5. Suppose -5*a + 18 = -2. Put a, k, 7 in decreasing order.
7, a, k
Let u = -27 + 21. Sort u, 0.4, -4 in descending order.
0.4, -4, u
Let a(n) = n - 1. Let j be a(2). Let v = j - 3. Suppose -4*l + 4 - 3 = 5*x, 3 = -x - 4*l. 