r.
4, 3, i
Let h = 2543/543 - 3/181. Let w = 9/2 - h. Sort 5, w, -0.3 in decreasing order.
5, w, -0.3
Let i be (-5)/(-6)*(-45)/300. Let y = 3.5 + -4. Put -1, y, i in descending order.
i, y, -1
Suppose -6*n - 6 = -8*n. Sort n, -3, 5 in increasing order.
-3, n, 5
Let k = 30 - 30.2. Put 5, 0, k, -5 in ascending order.
-5, k, 0, 5
Let r(j) = j - 6. Let v be r(7). Suppose -3 = -b - v. Put b, 3, 4 in decreasing order.
4, 3, b
Let s(v) = v + 10. Let p be s(-6). Let j = -1/54 - 611/54. Let a = 241/21 + j. Put a, 1, p in ascending order.
a, 1, p
Let s be -3 - (-2)/(-3 - -2). Let z = -0.5 - -0.44. Let w = -3.94 + z. Put s, w, -0.5 in increasing order.
s, w, -0.5
Suppose 0 = -4*i + i. Suppose i = p + 2*p - 3. Let w = 3 + -2.5. Sort p, w, 4/9 in ascending order.
4/9, w, p
Let b = 6 + -9. Suppose 2*g - 3*l - 13 = -4*l, 5*g - 5 = 3*l. Sort b, g, 2 in decreasing order.
g, 2, b
Suppose 5*i - 5*k - 5 = 0, i - 4*k - 9 = 2*i. Let r = 7 - 12. Let o be 0 + (-4)/(-1) + -1. Put i, r, o in ascending order.
r, i, o
Let q be -2 - ((-2 - 2) + 0). Sort q, 4, 1/2, -0.3 in descending order.
4, q, 1/2, -0.3
Let p = 4153988960209779/153901 - 26991305841. Let l = p + -2/823. Let x = -6/17 - l. Put 1/2, x, -1 in decreasing order.
1/2, x, -1
Let v = 0 - 1. Sort v, 2, 0 in decreasing order.
2, 0, v
Suppose -20 = 3*n + 4*x, -4*x = -2*n - 6*x - 12. Let r(p) = -p**2 - 3*p. Let j be r(n). Suppose -5*k = -6*k + 4. Sort 1, j, k in descending order.
k, 1, j
Suppose 4 - 2 = 2*s. Let i be s/(2 + (-34)/4). Let m = -22 - -21.5. Sort m, i, 0.4 in descending order.
0.4, i, m
Suppose l - 4 = 2*a, 5*a - 7 + 32 = 4*l. Suppose 3*g + 2*g = l. Suppose 5*x - 15 = -2*w - 3*w, -3*w + 4*x + 16 = 0. Sort 1, g, w in increasing order.
1, g, w
Suppose 0 = q - 0*q - 27. Let w be q/(-6)*(-4)/6. Sort -4, w, -3 in descending order.
w, -3, -4
Let f(t) be the second derivative of -t**5/20 - t**4/4 + t**3/6 + t**2/2 - 3*t. Let a be f(-3). Put a, 1, 3 in ascending order.
a, 1, 3
Let u be (-12)/(-40)*(-15)/18. Put 0.2, u, -4/5 in descending order.
0.2, u, -4/5
Let g(r) = 7*r + 18. Let x be g(-4). Put 0.2, -0.5, x, -5 in descending order.
0.2, -0.5, -5, x
Let l = -0.7 - 0.3. Let q = l - -1. Let b = -8.5 - -8. Put -1, q, b in decreasing order.
q, b, -1
Let l = 14.7 - 11. Let o = -0.7 + l. Sort o, -2/13, -0.2 in decreasing order.
o, -2/13, -0.2
Let p be 64/80*15/(-6). Put 2, 5, p in increasing order.
p, 2, 5
Let m(f) = -f**3 + 8*f**2 - 4. Let x be m(8). Put -2, x, 1 in descending order.
1, -2, x
Let z(t) be the first derivative of t**2/2 + 1. Let d be z(-3). Let c be (-18)/8 + d/(-12). Sort 3, c, 0 in ascending order.
c, 0, 3
Let y(t) = t + 13. Let k be y(-15). Sort 4, k, -14.
-14, k, 4
Let s(g) = g**3 + 10*g**2 + 9*g + 6. Let t be s(-9). Suppose 3*o - 3*l = t, 3*l + 2*l + 13 = 2*o. Suppose 4*f + 5 = -11. Put f, -3, o in decreasing order.
o, -3, f
Let a(r) = r**2 + r + 2. Let w be a(0). Suppose 120*x - 25 = 125*x. Sort x, w, -2 in descending order.
w, -2, x
Let t be 4/((-16)/(-44)) - 0. Let w(n) = n**2 - 12*n + 14. Let z be w(t). Sort 6, -4, z in descending order.
6, z, -4
Suppose 4*n - 3*f - 66 = 0, 5*n - 3*f - 41 - 43 = 0. Let h = n - 25. Let r be 3/(-9) - h/3. Sort r, -2, -4 in increasing order.
-4, -2, r
Suppose 4 = 2*n + 5*l + 8, 0 = 4*l + 8. Put 4, -3, n in decreasing order.
4, n, -3
Let z = 167 - 170. Let g = 7 + -11. Sort 4, z, g in increasing order.
g, z, 4
Let z = -8 - -2. Let k = z - -11. Let l = -69.5 + 70. Sort -0.1, l, k in increasing order.
-0.1, l, k
Let j = 4.4 + -2. Let f = 4 - 6. Let v = f + j. Sort 0.1, -3, v in decreasing order.
v, 0.1, -3
Let t be (-16)/(-12) + 2/3. Let g be t/(-3)*12/8. Let b = -1 - -6. Sort 3, b, g in decreasing order.
b, 3, g
Let p = -3.6 - -4. Let z(f) = 9*f + 12. Let o(q) = 4*q + 6. Let r(k) = -7*o(k) + 3*z(k). Let b be r(-9). Sort b, p, 2 in descending order.
b, 2, p
Let x be (-10)/60 - (-2)/84. Put 5, 0.4, x, -1 in increasing order.
-1, x, 0.4, 5
Let s = -22 - -23. Let w = 0 - s. Sort w, 1/20, -5 in decreasing order.
1/20, w, -5
Let c = 73 + -587/8. Let v be -2 + (-14)/(-48)*14. Let a = v + -7/4. Put -5, a, c in decreasing order.
a, c, -5
Let o be ((-1)/1)/((-10)/60). Suppose 2 = -4*r - o. Sort -3, r, 3 in ascending order.
-3, r, 3
Suppose 50*i - 53*i + 6 = 0. Sort -5, 3, i in ascending order.
-5, i, 3
Let s = -12 - -6. Let m = 8 + s. Sort -3, m, -4.
-4, -3, m
Let k = -13 - 1. Let a = k + 10. Let b = 6.3 + -6. Put b, 5/2, a in decreasing order.
5/2, b, a
Suppose -33*r + 37*r = 4. Sort 4, r, -5, -1 in decreasing order.
4, r, -1, -5
Let r be (-10)/(-4)*24/10. Sort -2, -1, r, -5 in increasing order.
-5, -2, -1, r
Suppose 4*g - 22 = 26*g. Let r(c) = c**3 + 4*c**2 + c - 2. Let z be r(-3). Suppose -5*b + 5 + 4 = -4*f, -z*b + 1 = 3*f. Sort 3, b, g.
g, b, 3
Let h(a) = 2*a + 19. Let o be h(-10). Put o, -2, 8 in ascending order.
-2, o, 8
Let w(f) = -f + 11. Let p = 9 + -6. Let b be (p/2)/((-4)/(-24)). Let t be w(b). Put t, -5, -1 in descending order.
t, -1, -5
Let s be -2*(-2 - 14/(-4)). Let k(a) = 3*a + 1. Suppose 2*u = -5*i + 17, 7*i = 3*u + 3*i + 9. Let f be k(u). Put f, -1, s in descending order.
f, -1, s
Let r(h) = 7*h**2 + h - 2. Let p be r(-2). Put p, 1, 2/13, -5 in ascending order.
-5, 2/13, 1, p
Let a = 0.2 - -0.8. Let z = 0.6 - a. Let c = 2.3 - 2. Sort -1/6, c, z in descending order.
c, -1/6, z
Let g(r) = -2*r + 5. Let j be g(6). Let a = -9 - j. Let s = -1 + 0. Sort s, -4, a in descending order.
s, a, -4
Let v = 76.1 - 86. Let b = v - -9. Let g = b + 0.6. Sort -5, g, 0.1 in decreasing order.
0.1, g, -5
Let o be 0 + 2 - 24/14. Let a = -20/3 + 7. Sort -5, a, o in descending order.
a, o, -5
Let g(q) = q**2 + 6*q + 1. Let w be g(-3). Let m be (4/w)/((-10)/(-12)). Suppose 4*k + 3*j = -2*j - 3, -5*k + 9 = 2*j. Put -1, k, m in decreasing order.
k, m, -1
Let d = 0 + -1. Suppose 4*o - 5*y = 32, -5*o + 6*y + 27 = 3*y. Put d, o, 0 in ascending order.
d, 0, o
Let b = -4.8 - -3.8. Let c = -3.91 + -0.09. Let p = c - b. Put 2/9, 3, p in decreasing order.
3, 2/9, p
Let v be -4 + 0*(-1 + 2). Suppose 4*m = 5*u - 28, 2*u + 1 - 7 = -m. Let g = 4 + -9. Put v, g, m in decreasing order.
m, v, g
Let k = 1.76 + 0.22. Let u = 7.02 - 7. Let a = k + u. Sort 5, a, 2/9 in descending order.
5, a, 2/9
Let f = -1.8 + 1.8. Put 1, -2, f in descending order.
1, f, -2
Let t(h) = h**2 + 5*h - 3. Let o be t(-6). Put 2, 49, o in decreasing order.
49, o, 2
Let t be (-3 - -9)*2/(-4). Suppose 3*j - 10 = j. Let b = -2 + 0. Put j, t, b in descending order.
j, b, t
Let y = 21.8 - 22. Suppose 0 = 4*v + 3 + 9. Sort -1/3, y, v in descending order.
y, -1/3, v
Let c(n) = n**2 - 2*n + 2. Let x be c(0). Sort 5, x, 6 in decreasing order.
6, 5, x
Let n(o) = -o - 13. Let c be n(11). Let u = c + 20. Let z = 3 - 2.7. Sort u, -3, z in increasing order.
u, -3, z
Let j(t) = -t**2 - 3*t + 5. Let y be j(-3). Sort y, -3, 4 in ascending order.
-3, 4, y
Let c = -6 + 5. Let s be 2/(-3)*(-9)/18. Put c, s, -5 in increasing order.
-5, c, s
Let v(s) = 2*s**3 - 6*s**2 + 7*s - 8. Let l be v(6). Let u = 2752/11 - l. Put 1/9, -0.04, u in descending order.
u, 1/9, -0.04
Suppose 2*u - f = -2*f - 85, -4*u = -5*f + 177. Let o = -1245 - -3865/3. Let c = o + u. Sort -1/2, c, -1 in ascending order.
-1, -1/2, c
Suppose -7 = 2*s - 2*h - 1, -4*h = -s. Sort 0, -3, s in descending order.
0, -3, s
Let j = -38.1 + 38. Sort j, 0.07, 0 in increasing order.
j, 0, 0.07
Let q = -0.11 - -0.08. Let s = q + 0.23. Let j = 1.1 + -1. Put j, s, 2 in increasing order.
j, s, 2
Let f = -3.04 - -0.04. Let k = f - -4. Let z be 2 + ((-162)/21)/3. Sort k, 1/3, z in ascending order.
z, 1/3, k
Suppose l = -i, -2*i + l + 4 = -5*i. Suppose 10*m - 7*m = -15. Let t(r) = 2*r**2 + 5*r + 2. Let a be t(-3). Sort i, m, a.
m, i, a
Let u = -1.6 - -1.2. Sort u, 5, 2/21.
u, 2/21, 5
Suppose 0 = f + w - 2, 0*w = -2*f + 3*w + 19. Suppose -f*j = -4*k + 17, -15 = 4*j - j. Put k, 0, 3 in decreasing order.
3, 0, k
Let o = -24 - -29. Let i = -8 + 6. Sort -4, i, o in descending order.
o, i, -4
Suppose -3*m - 20 = -h, -5*h + 17 = -3*m - 23. Sort 0, 3, m in increasing order.
m, 0, 3
Let o = 23 - 16. Let x = o - 4. Suppose -4*n + 5*n = -x. Put -5, -2, n in decreasing order.
-2, n, -5
Let v be (2 - (-8)/(-4))/(-3). Sort v, -13, 2 in increasing order.
-13, v, 2
Suppose -x - 4*z = -5*x - 24, -15 = -5*x