der.
-23, 2, 4, m
Let q = -0.2 - 0.8. Let c = -0.1102 + 0.2302. Put c, 3, q in descending order.
3, c, q
Let a = -229.95 - -230. Put 1/7, 3, a, -2 in ascending order.
-2, a, 1/7, 3
Let i = 3.06201 + -0.06201. Let f be (0 - (-2)/3) + 0. Put -2/3, f, i, -2/17 in decreasing order.
i, f, -2/17, -2/3
Let u = 3.983 - 4.283. Let b = -2.98 + -0.02. Put 0.3, 1/2, u, b in descending order.
1/2, 0.3, u, b
Let l = -22.015 + 22. Put -0.1, l, -2/3 in descending order.
l, -0.1, -2/3
Suppose -5*t + 3*b = -t + 149, t + 2*b = -29. Let q = t + 34. Sort 2, -4, q in increasing order.
-4, q, 2
Let v = 2.2 - 2. Suppose i = -5 + 3. Let n = 2/137 - 280/411. Put n, i, v in decreasing order.
v, n, i
Let o(q) = q - 3. Let r be o(4). Suppose 0 = -3*x + 6*n - n + 17, -18 = -4*x + 2*n. Sort -2, x, 2, r in descending order.
x, 2, r, -2
Suppose u - 15 = -2*u. Let x = -181 - -180. Suppose 0*h = 4*k - 5*h - 7, k - 5*h + 2 = 0. Put u, k, x in increasing order.
x, k, u
Let t(z) = -z**2 + 47*z + 513. Let x be t(60). Sort 5, x, -3 in decreasing order.
5, -3, x
Let g be (342/513)/((-2)/(-6)*-2). Put 24, g, 2/7, 0.5 in increasing order.
g, 2/7, 0.5, 24
Let p be (-78)/(-65)*(-15)/27*3. Put p, 0, 1, -0.06 in increasing order.
p, -0.06, 0, 1
Suppose 0 = -3*y + 2 - 8. Let u be ((-1)/2)/(8/(-112)). Let m be (2 - -4)/y + u. Put -1, 3, m in descending order.
m, 3, -1
Suppose 3*u + 0 = -6. Suppose -6*z = 7 - 1. Suppose 28*o = 22*o + 6. Put u, o, z in ascending order.
u, z, o
Let b be (-20)/6*(-24)/(-20). Let o(m) = -m**2 + 11*m + 27. Let r be o(13). Suppose 2*d + d - 18 = -3*u, 3*u - 3*d = 0. Sort b, u, r in increasing order.
b, r, u
Let p be (1/1)/((-1)/(-4)). Let s(j) = j**2 - 10*j - 6. Let h be s(10). Let l be 1 + -4 - 0/h. Sort 1, l, p in decreasing order.
p, 1, l
Let x = -443341156/13 - -34017988. Let s = x + 85308. Let r = 130 - s. Put r, -3, 4/5 in ascending order.
-3, r, 4/5
Suppose -8 = 2*g - 0*g. Suppose 0*t = -2*t - 5*i - 9, 5*t - 27 = 4*i. Suppose t*v + 8 = v, -5*v - 30 = -5*n. Sort n, 3, g in decreasing order.
3, n, g
Let z = -3.7 - -4. Let n be (6/4)/(2/(-2)). Let s = 27157/72 + -3398/9. Put z, s, n in descending order.
z, s, n
Suppose 6*q - q = -20. Let v be (-78)/(-16) - ((-150)/(-80) - 2). Sort q, 11, -1, v in increasing order.
q, -1, v, 11
Let w(g) = -g**3 + 19*g**2 + g - 23. Let k be w(19). Sort k, -3, 4, -12 in decreasing order.
4, -3, k, -12
Let l(h) = -h**2 + 19*h + 149. Let z be l(25). Put -2, z, -3 in increasing order.
-3, -2, z
Let s be 4/22 + -4 + 255/110. Sort 5/4, s, -3, -1/4 in ascending order.
-3, s, -1/4, 5/4
Let p be 1/3 + (5 - 4/3). Sort p, -2, -3 in descending order.
p, -2, -3
Let p = 2919 + -11673/4. Sort -2/55, p, 0, -5.
-5, -2/55, 0, p
Let p be (4/5)/(((-6)/(-15))/2). Let l = 3 + 0. Suppose -7*s + l*s - 14 = 2*o, -3*s + 4*o + 17 = 0. Put s, p, 5 in decreasing order.
5, p, s
Suppose 0 = 15*h + 8 + 7. Sort 2, 4, -4, h.
-4, h, 2, 4
Suppose 8*z - 4*z + 8 = 0. Suppose 2*d - 1 = -3*v + 27, -d + 14 = 3*v. Suppose -d = 5*u + 6. Sort u, 1, z in ascending order.
u, z, 1
Let w be (-3)/(-6)*8/(-10). Let u = -35 + 24. Let r = 10.5 + u. Put r, -3, w in decreasing order.
w, r, -3
Let u = 3.796 - -0.204. Put u, 2/13, 1.9 in increasing order.
2/13, 1.9, u
Suppose -3*i + 1 - 5 = 4*o, 2*o - 8 = i. Let a be 12/20 - (o - 2). Let b = -0.18 + 1.18. Put b, a, -0.4 in decreasing order.
b, a, -0.4
Let m = -78 - -77. Sort -2, 26, m in increasing order.
-2, m, 26
Let s(q) = -q**2 + 8*q - 8. Let a be s(6). Suppose 4*g + 4*o - 1 = 5*g, -o + 3 = 0. Put g, a, 2 in increasing order.
2, a, g
Let m = -15.4 - -1.4. Let x = m + 9. Put x, -6, -0.2 in ascending order.
-6, x, -0.2
Let f = 18 - 18. Suppose 8 = 5*s + 2*v - 39, f = -s + 4*v + 5. Suppose -4*r - s = c, -r + 3*r = 3*c - 1. Put 8, r, 5 in descending order.
8, 5, r
Suppose 9*o = -115 + 16. Suppose 0 = -3*z - 0*z. Suppose z*n - 5*n = 15. Sort n, o, -5 in descending order.
n, -5, o
Let h(l) = -7*l - 17. Let b be h(-4). Let g = 84 + -79. Sort g, -4, b in increasing order.
-4, g, b
Let z be ((-2 - -3)*-7)/(-1). Let s = -10 + z. Sort 0, s, 2, -1 in increasing order.
s, -1, 0, 2
Let l(n) be the third derivative of n**5/20 - n**4/24 + n**2. Let o be l(-1). Let z = -744 - -743.9. Put o, 0.3, z in descending order.
o, 0.3, z
Let x(d) = -d**2 - 3*d + 2. Suppose -2*y = k - y - 1, -4*y + 1 = 5*k. Let s be x(k). Suppose -f + s*f - 2 = g, 2*g = 4*f. Put 0, 2, g in descending order.
2, 0, g
Let x = -87 + 42. Let r = x + 44. Put 0, r, -5 in decreasing order.
0, r, -5
Suppose -2*c - 5*i = -25, 19*i - 24*i + 25 = 0. Sort 6, c, 1 in decreasing order.
6, 1, c
Let r be (-2)/11 + (-348)/22. Suppose 0 = 27*v + 33*v. Sort r, v, 4 in descending order.
4, v, r
Let m = 783 - 784. Put m, -3, -0.235 in descending order.
-0.235, m, -3
Let u = -5.47 - 1.53. Sort -1/7, u, -0.1.
u, -1/7, -0.1
Let l be 9/(-15)*(-14)/(-21). Put -2/19, 2/11, 0.1, l in decreasing order.
2/11, 0.1, -2/19, l
Let k be 2/5 + (-264)/710. Let r = 846760/7 + -60120159/497. Let u = k - r. Sort u, -0.4, -4 in decreasing order.
u, -0.4, -4
Let k(v) = -2*v**2 + v - 19. Let y be k(0). Suppose -j - 6*j = -4*j. Put j, y, -1, 5 in decreasing order.
5, j, -1, y
Let y = -5394 + 5394.1. Suppose -5*d - 2*p = -0*d - 50, -2*d + p = -29. Sort 5/4, d, y in increasing order.
y, 5/4, d
Let x = -32 - -34.1. Let s = x + -1.7. Put s, 4, 0.2 in ascending order.
0.2, s, 4
Let z be (10/4)/((-13)/422). Let c = z + 81. Let y = 188/3 - 62. Put 1/3, c, y in decreasing order.
y, 1/3, c
Let u(z) = 16*z + 1. Let f be u(-4). Let t be 10/45 - 13/f. Suppose -2*v = 5*g - 15, -3*v - 7*g + 15 = -2*g. Put -1/2, v, t in ascending order.
-1/2, v, t
Let u = 0.35809 + -0.55809. Suppose -6*n + n - 7 = 2*z, -n - 7 = -z. Put z, u, -9 in increasing order.
-9, u, z
Suppose -2*w = 2*w - 8. Let i be (-1)/(-3) - 1/3. Suppose 7*m - 12*m - 5 = i. Put w, m, 5 in descending order.
5, w, m
Let l(a) = 4*a**2 - 12*a + 1. Let p(q) = 3*q**2 - 11*q + 2. Let y(j) = 4*l(j) - 5*p(j). Let f be y(-8). Suppose 13 + f = 3*m. Sort 6, -3, m.
-3, m, 6
Suppose 3*q = s + 22, q = -2*s - 9 + 21. Suppose -17 - 15 = -q*t. Put 3, -6, t, -5 in ascending order.
-6, -5, 3, t
Let k = 3/118 - 257/826. Sort -1/5, k, 4, -0.5 in ascending order.
-0.5, k, -1/5, 4
Let p = 121/4 + -30. Let t = 1500 - 1500.4. Sort -9, p, t in ascending order.
-9, t, p
Let q(z) = z**2 + 23*z - 626. Let g be q(16). Sort 0, 19, g.
g, 0, 19
Suppose 3*y = -0*y + 12. Let u be 32 - (1 - (1 + -2)). Suppose 4*f + u = -2*g + 8, -3*f = 5*g + 27. Sort y, 0, f in descending order.
y, 0, f
Let j(q) = -27*q. Let x be j(0). Sort 2, 1, x, 3.
x, 1, 2, 3
Let n be 4/((183/122)/((-1)/2)). Let p = -5.3 + 5. Sort n, p, 1 in descending order.
1, p, n
Let p = 113.1 + -136.1. Sort -5, -2, p in decreasing order.
-2, -5, p
Let g = 5 + -4.6. Let w = -8.3 + 8.8. Sort -0.5, g, w in increasing order.
-0.5, g, w
Suppose 17*s - 6 = -6. Put 2, -51, s, 1 in descending order.
2, 1, s, -51
Let p be (-3 + 6)*-1 + 0. Let l(w) = -w - 34 - 7*w - w + 4*w. Let y be l(-6). Put y, p, 3 in decreasing order.
3, p, y
Let t be 4/1*57/546. Let c = 4/7 - t. Let i = -19/3 - -31/5. Sort i, 2/5, c.
i, c, 2/5
Let u be (-10 - 1120/(-190)) + 4. Put u, -8, 10 in decreasing order.
10, u, -8
Suppose -8*i + 113 = 81. Put 687, 2, i in decreasing order.
687, i, 2
Let f = 751 - 762. Put 0, f, -3 in ascending order.
f, -3, 0
Let t = -2.37 - -13.07. Let a = t + -11.7. Put a, 0.4, -3/7 in decreasing order.
0.4, -3/7, a
Let p = 5 - 15. Let m = p - -10.5. Let u = 0.047 + 0.253. Sort m, 3, u in ascending order.
u, m, 3
Let o be (-5)/(25/(-14)) + (0 - 3). Sort -0.4, -2/7, 4, o in descending order.
4, o, -2/7, -0.4
Let t(s) = s**2 + 13*s + 32. Let y be t(-10). Suppose 4*x + 17 = 5*r, 5 + 8 = -3*x + 4*r. Put y, 3, x in increasing order.
x, y, 3
Let y be (-462)/154 - (-234)/34. Sort 0.5, y, -2/9 in descending order.
y, 0.5, -2/9
Let y = 377 + -313. Sort -0.3, y, -2/7, 4 in descending order.
y, 4, -2/7, -0.3
Let w be (-2)/(-9) + (-32)/(-72). Let y = -68 + 55. Sort y, w, 3/2, -3/4 in decreasing order.
3/2, w, -3/4, y
Let r(w) = -w**3 - 11*w**2 + 19. Let y be r(-11). Suppose y - 7 = 3*i. Sort 1, i, 2, -2 in increasing order.
-2, 1, 2, i
Let d = 35 - 35. Sort 3, -1, d, -4 in increasing order.
-4, -1, d, 3
Let v = 284.5 + -285. Let c(t) be the first derivative of -t**4/4 +