der.
4, 2, l
Let p be (-1)/2*(-5 + 147/28). Put p, -0.3, -1/5 in decreasing order.
p, -1/5, -0.3
Let h(i) = -i**3 - 4*i**2 + 8. Let g be h(-4). Let r be (-10)/4*g/5. Let q(t) = t + 6. Let c be q(-5). Sort c, r, 5 in descending order.
5, c, r
Let h be ((-8)/6*24/4)/2. Suppose -b + 3*b = 0. Let z = b + 2. Put h, z, -5 in increasing order.
-5, h, z
Let o = -11 - -8. Let n = -2/3 + 5/12. Put o, n, 0 in ascending order.
o, n, 0
Suppose -z + 4 = 6. Put 5, 2, z in decreasing order.
5, 2, z
Let p = 2 + -1.93. Let t = p + -0.47. Sort 2/3, t, -3 in descending order.
2/3, t, -3
Let i be (6/(1*2))/1. Suppose -35 = 5*l - 5*p, -3*p + 9 = 3*l + 18. Sort 4, i, l in ascending order.
l, i, 4
Suppose -3*w = -0*d - 4*d + 21, 5*w + 6 = -3*d. Sort 0, -4, w.
-4, w, 0
Let w = 10 - 15. Suppose -q + 0*q = -5. Let b = 0.4 + -0.1. Sort w, q, b in descending order.
q, b, w
Let u be (-2 - 2/2) + 2. Let f = u + 3. Let x(c) = -c**2 - 5*c + 3. Let n be x(-5). Sort -4, f, n in descending order.
n, f, -4
Let v = -11 - -8. Let z = -13.7 - -2.7. Let s = -6 - z. Sort -0.4, s, v in ascending order.
v, -0.4, s
Suppose -3 = 3*z, 3*n - z + 6 = -5. Suppose 72 - 52 = 4*s. Sort n, s, 2 in decreasing order.
s, 2, n
Let q be ((-1)/(-3))/(1/9). Suppose j - q*j + 3*o = -22, -29 = -5*j + o. Sort 2, j, 0 in ascending order.
0, 2, j
Let r = 19 - 16. Suppose 0 = r*v + c + 10, -3*v - 2*c = -3*c + 2. Sort -5, 2, v in decreasing order.
2, v, -5
Let m = -0.11 - -0.01. Let q = -1.1 - m. Sort 1, q, -2/15 in increasing order.
q, -2/15, 1
Let b = 173.01 - 175. Let f = b - 0.01. Let d = 1/2 + -7/6. Sort d, 1, f in descending order.
1, d, f
Let j be (-22)/(-8) + 1/4. Let v be -1 + (-20)/(-4) + -2. Suppose -2*k - 12 = 3*h, 2*h + 3*k - v = -15. Sort 2, h, j in increasing order.
h, 2, j
Let u = 0.38 - -0.02. Let r = -0.38 - -0.48. Put u, r, 2/3 in ascending order.
r, u, 2/3
Let u = 0.38 - -0.02. Let r = u + -0.7. Sort 0.1, -5, r in increasing order.
-5, r, 0.1
Let h be (6 + -2)*2/(-8). Sort h, 4, -2.
-2, h, 4
Let j = 69 + -71. Let x be -6*(14/(-6) - -2). Sort x, -3, j in descending order.
x, j, -3
Suppose -t + 6 = 2*y, -t - y + 0*y + 3 = 0. Let k = -18 + 20. Sort k, 5, t.
t, k, 5
Let w = -3 - -2. Let l be (w - (-3)/6)*0. Put 1, l, -3 in ascending order.
-3, l, 1
Let v = 2 - 3. Let k = 1 + v. Let y = -0.2 + 0.7. Put y, 0.3, k in increasing order.
k, 0.3, y
Let u be 1 + -1 + (0 - 0). Suppose 3*f = -7 - 2. Sort u, f, -2.
f, -2, u
Let d(g) = 3*g**3 + 32*g**2 - 8*g + 14. Let o(h) = 2*h**3 + 21*h**2 - 5*h + 9. Let n(l) = 5*d(l) - 8*o(l). Let i be n(-8). Put i, 5, 4 in descending order.
5, 4, i
Suppose -v - v + 8 = 0. Suppose v*y + 1 = -11. Let m = y + 4. Sort -2, 3, m in decreasing order.
3, m, -2
Let t be (-2 + 0)/8 + (-10)/40. Let n = -1.1 + 0.8. Put -5, n, t in ascending order.
-5, t, n
Suppose 20 + 0 = 5*u. Put -2, 2, 3, u in increasing order.
-2, 2, 3, u
Let q be (-20)/(-16) - (-9)/12. Let b be 5*-1 + (q - 1). Sort -5, b, -6 in increasing order.
-6, -5, b
Let i = 1 + -3. Let k be 1*i*(-7)/14. Sort k, -3, 5 in ascending order.
-3, k, 5
Let g = -40/7 + 179/35. Put g, 2, -1/4, -2 in increasing order.
-2, g, -1/4, 2
Suppose 3*x = x. Put x, 5, 4 in increasing order.
x, 4, 5
Suppose -4*m + 2*m + 12 = 0. Let w = m - 4. Let d be (2/42 + (-12)/(-42))*3. Sort 3, d, w in descending order.
3, w, d
Let w be (4/6)/((-4)/(-144)). Let j be (-4)/(w/(-9))*2. Put -5, 4, j in increasing order.
-5, j, 4
Let m = 10.57 - 11. Let i = m - 0.07. Let q(p) = -p**2 + 2*p + 3. Let o be q(4). Sort i, o, 1/2 in decreasing order.
1/2, i, o
Suppose -2*k - 6 = -4. Put -2, -7, 5, k in ascending order.
-7, -2, k, 5
Suppose 2*d - 1 - 35 = 4*z, z + 14 = d. Suppose -5*g = -d - 10. Sort -1, g, -3.
-3, -1, g
Let z = -5 - -1. Let t be ((-6)/4)/(4/(-8)). Put z, 1, t in decreasing order.
t, 1, z
Let k be ((-3)/(-1))/(7/42). Let y = -13 + k. Sort -2, 9, y in decreasing order.
9, y, -2
Suppose -4*h + 7*h - 33 = 0. Suppose 0 = -3*o - 2*p + 7, 4*p - 6*p + h = -o. Put 0, o, -2 in decreasing order.
0, o, -2
Let b be 4 + 1*6/(-3). Suppose -l + 7 = -5*j + l, -l = -j - b. Sort -5, 0, j in ascending order.
-5, j, 0
Suppose -3*o = -2*z + 1, 3*z + 3*o + 0*o = -21. Let t = 0.5 + 4.5. Put t, -5, z in increasing order.
-5, z, t
Suppose 2*t - 13 = 3*q - 2*t, -3*q - 11 = -2*t. Put q, -5, 20, 1 in increasing order.
-5, q, 1, 20
Let y be (-6)/33 - 4/(-22). Suppose 5*b = -y*b. Put -2, 1, b in decreasing order.
1, b, -2
Let c = 57 - 62. Sort c, -1/3, 1.
c, -1/3, 1
Let g = 8 + -5. Let v be -2 - ((-3)/g - 0). Let b be (8/(-6))/(-4) - v. Put 0, b, 5 in increasing order.
0, b, 5
Let l(v) = v - 8. Let p be l(5). Suppose -m + 0 = -4. Sort 1, p, m in increasing order.
p, 1, m
Let m = 1/2 + -3/10. Sort -1, m, 3 in increasing order.
-1, m, 3
Let b = 58 - 62. Put -1, b, 0 in increasing order.
b, -1, 0
Let k = -6 - -5.2. Let h = k + 1. Let u = -5 - -3. Sort u, 0.5, h.
u, h, 0.5
Let x be (((-28)/21)/2)/(2/9). Put x, -4, 1/4 in decreasing order.
1/4, x, -4
Let f be 2/40*4 - 0. Sort -3/4, f, -0.1 in ascending order.
-3/4, -0.1, f
Suppose -2*x - 6 = -3*x. Suppose 2*s - 6*s = -16. Let a be s/x + 2/(-3). Sort -4, a, -1/3 in increasing order.
-4, -1/3, a
Let h = 0.01 + -0.05. Let i = -0.46 + h. Sort 1, i, -3 in decreasing order.
1, i, -3
Let l(i) = i**3 - i**2 - 2*i - 1. Suppose 3*o + 0 = 6. Let g be l(o). Let r = g + 1. Sort 1/3, -1, r in descending order.
1/3, r, -1
Let j = -1.7 + 2. Sort j, -0.4, 2 in descending order.
2, j, -0.4
Suppose -2*x - x = 15, 95 = f - 4*x. Let r be 90/f - (0 - -2). Put 0, r, -1 in decreasing order.
0, r, -1
Let t(c) = 2*c + 28. Let x be t(-12). Sort 7, x, -4.
-4, x, 7
Let r(h) be the third derivative of h**5/60 - 5*h**4/24 - 3*h**2. Let w be r(4). Sort 2, w, -1.
w, -1, 2
Let h = 3/8 + -43/72. Let n = 10.2 + -9. Let w = -0.9 + n. Put h, 3/2, w in ascending order.
h, w, 3/2
Let r = -1799/5 - -361. Let l = 26263 + -131902/5. Let s = l + 117. Put s, r, 0.1 in decreasing order.
r, 0.1, s
Let z = -28 + 25. Let t be 2/z - 6/(-9). Suppose -2*i - 20 = 3*i. Sort -3, i, t in ascending order.
i, -3, t
Let a = -28 - -27. Put -5, 0, a, 4 in increasing order.
-5, a, 0, 4
Let q = 11 - 8. Suppose -2*f = 5 - q. Put 5, 0, f in decreasing order.
5, 0, f
Let v be (6/8)/((-1)/4). Let n(u) = -u**3 + 10*u + 5. Let a be n(-3). Let f be ((-2)/(-3))/((-1)/(-6)). Put v, f, a in ascending order.
v, a, f
Let i be (0 - 3)/(-9)*1. Sort i, -22, -4 in descending order.
i, -4, -22
Let n = -1 + 1.2. Let k = 71/787 - -2994115/13379. Let s = k - 224. Put 2/3, s, n in increasing order.
s, n, 2/3
Let i be (-1 - (-8)/7) + 0. Suppose 2*y - y = -2. Let a be y/(-5)*(1 - 0). Put 5, a, i in descending order.
5, a, i
Let o = 2/1215 + 3629/9720. Sort -0.1, -0.5, o, 1 in ascending order.
-0.5, -0.1, o, 1
Suppose 18 = 5*a - 4*a + 5*i, -3*i + 12 = 0. Put -7, 0, a in ascending order.
-7, a, 0
Let x = -1 - -6. Sort -4, 9, x, 1 in decreasing order.
9, x, 1, -4
Let a be (-1)/5 + (-54)/30. Sort -1, 21, a.
a, -1, 21
Let h = -9 + 10. Let a = h - -4. Let r(x) = 2*x - 7. Let v be r(5). Sort 1, a, v.
1, v, a
Suppose 0 = -8*q - 8*q + 112. Put -4, -5, q in decreasing order.
q, -4, -5
Let z = -114 - -117. Sort -4, z, -5 in increasing order.
-5, -4, z
Let f = -7 + 6. Suppose 4 + 6 = -5*z. Put z, f, 5 in increasing order.
z, f, 5
Let l = -100 + 100.5. Suppose 0 = -r - 2*u - 5, -15 = 2*r + 3*u + 2*u. Let z = -6.4 + 6. Sort r, l, z in ascending order.
z, l, r
Let l = 10.1 - 2.1. Let z = -7.6 + l. Sort 0.3, 0.5, z in decreasing order.
0.5, z, 0.3
Let b(r) = -3*r**2 + r + 1. Let h be b(-1). Suppose -96 = -5*p - y, -3*p + 2*y + 2*y = -76. Let f = p - 20. Put f, 3, h in ascending order.
h, f, 3
Let l = 3 + -22/7. Let f = l - 11/21. Sort f, -3, 3 in increasing order.
-3, f, 3
Let i = 7 + -4. Suppose -k + 6 = -2*m, -3*k + 5 = i*m - k. Sort 5, m, -3.
-3, m, 5
Let x(m) = -m - 14. Let c be x(-10). Put c, -5, -1 in increasing order.
-5, c, -1
Suppose -3*j + 2*h = 23, j - 4*h = h + 1. Suppose 0 = -3*g - 12, 0 = -3*m - g + 3 + 8. Let a = m + j. Sort 3, a, 2.
a, 2, 3
Let x = -8/9 - -13/45. Put 7, x, 2, 1/2 in decreasing order.
7, 2, 1/2, x
Let n(u) = 2*u + 1. Let o be n(1). Let l(z) = -z + 2. Let f be l(4). Sort 0, f, o in decreasing order.
o, 0, f
Let g be 35/28 + (-2)/8. Let u(q) = -2*q. Let f be u(g). Sort -1, 5, f in descending orde