der.
2, y, h
Let k be (9/24)/((-6)/(-4)). Let c = 64 + -63.6. Sort k, c, -1.3 in decreasing order.
c, k, -1.3
Let g be ((-2)/21)/(36/(-54)). Put -0.3, -0.01, g, -1/5 in decreasing order.
g, -0.01, -1/5, -0.3
Suppose -c + 4*c = 0. Suppose c - 1 = b. Sort b, -3, 0.
-3, b, 0
Suppose d + 2*f - 3*f = 0, 3*d - 24 = -3*f. Suppose -2*g + 0*b - d*b - 12 = 0, 5*g + 5*b = -15. Sort -1, g, 1 in increasing order.
-1, g, 1
Let f(t) = t + 1. Let i be f(-6). Let s = 39 + -38. Sort i, s, 2.
i, s, 2
Let s be ((-1)/(-3))/((-2)/(-12)). Suppose -m = j - 3, -s*j = m - 2*m - 6. Suppose 0 = 2*i + z + 9, -2*z + 22 = -i - 6*z. Sort m, -3, i in descending order.
m, i, -3
Let u = -1/38 - -83/266. Let b = 1.1 + -1.3. Let s = 0.1 - b. Put -3, u, s in decreasing order.
s, u, -3
Let h = -65/252 - -1/28. Let c = 381 + -375. Sort 0.2, c, h.
h, 0.2, c
Let f be ((-68)/12 + 5)/((-2)/(-6)). Put f, 1, 0 in increasing order.
f, 0, 1
Let w(p) be the third derivative of p**6/120 - p**5/30 - p**4/12 - p**3/2 + p**2. Let n be w(3). Suppose -10 = -3*t - 2*t. Sort t, -5, n in descending order.
t, n, -5
Let n(y) = -y**3 + 5*y**2 - 6*y + 6. Let f be n(4). Let o be ((-1 - 5) + 2)/(-1). Suppose 0 = -3*r - o + 1. Put f, 3, r in descending order.
3, r, f
Let s(a) = a**3 + a**2 - a + 2. Let c be s(-2). Let p = c - -2. Let l be (2 + -1)*0/p. Sort 4, l, 5 in decreasing order.
5, 4, l
Suppose -3 = -4*t - 15. Sort 0.4, 2/11, t.
t, 2/11, 0.4
Suppose -2*o - 23 = 13. Sort -0.2, -2, o in increasing order.
o, -2, -0.2
Let o be ((-1)/(-2))/(1/(-6)). Suppose 30*s = 27*s - 24. Sort s, o, 2 in ascending order.
s, o, 2
Let b = 4 + -1. Let j be b*(-4)/6*1. Sort j, 3, -5 in increasing order.
-5, j, 3
Suppose -2*s + 13 = 3. Sort s, -2, 2 in ascending order.
-2, 2, s
Let h be ((-8)/60)/((-12)/(-18)). Sort h, -0.5, 0.9, 0 in descending order.
0.9, 0, h, -0.5
Suppose 0 = -3*k + 2*n - 55, 32 = -4*k - 2*n - 32. Put 0, -2, k in increasing order.
k, -2, 0
Let p be ((-88)/(-55))/(4/10). Let a(r) = -r**3 - 6*r**2 - 5*r. Let o be a(-5). Let k = 0 - o. Sort p, 2, k in decreasing order.
p, 2, k
Let p = -29 + 32. Sort p, -5, 1 in decreasing order.
p, 1, -5
Let w = -5 - -5. Let x be (-3)/9*(-1 - 2). Let i be 3 - (2 - x) - 7. Put -4, i, w in decreasing order.
w, -4, i
Let f = 82 - 46. Let w = f - 25. Suppose -4*l - 5*s = -12, -3*l + w - 33 = -4*s. Sort 0, -1, l.
l, -1, 0
Let s be 20/16*8/(-2). Let t = -0.2 + 0.4. Let i = -0.3 - t. Sort s, i, 0.3 in decreasing order.
0.3, i, s
Let d be ((-3)/(-4))/(1/(-4)). Put -1, d, -2 in descending order.
-1, -2, d
Let v = 3.5 - 3. Let l be ((-2)/(-36))/(1/4). Put 2, v, l in decreasing order.
2, v, l
Let x = -5 + 8. Let v = -0.02 - -3.02. Let r = x - v. Sort -2, -4, r in descending order.
r, -2, -4
Let o(u) = -u**2 - 9*u - 3. Suppose 2*g + 2*g = -36. Let a be o(g). Put -2, a, 2 in ascending order.
a, -2, 2
Let n be ((-6)/(-21))/((-3)/(-21)). Sort -2, -1, n, -7 in decreasing order.
n, -1, -2, -7
Let s be (2 + -1)*(2 - 15). Suppose 2*m - 43 = -5*o, 5*o - 3*m - 48 = -0*o. Let i = o + s. Put 5, 3, i in decreasing order.
5, 3, i
Suppose 4*b + 0*n = -n - 63, 0 = -2*b + 5*n - 59. Let x = -21 - b. Put x, -2, -5 in descending order.
-2, x, -5
Let x(w) = -w**3 - 2*w**2 - 3*w - 2. Let m be x(-2). Suppose -4*o + 12 = 9*g - 5*g, -5*o + 14 = m*g. Let j = 9 - 5. Sort -4, o, j in increasing order.
-4, o, j
Let v = -0.18 - 1.82. Let t = -0.3 + -0.2. Let f = 0.1 + 0. Sort f, t, v in descending order.
f, t, v
Let f(h) = -h - 6. Let o be f(-5). Sort o, 3, 4.
o, 3, 4
Let q = -8 + 7.6. Suppose -6 - 3 = 3*h. Sort -3/4, h, q in decreasing order.
q, -3/4, h
Let v = 119 - 120. Let d = -5/4 - -11/12. Sort v, 2/7, d in increasing order.
v, d, 2/7
Let r(i) = i - 13. Let n be r(6). Let k(s) = -s + 1. Let v be k(6). Let q = v - n. Sort q, 3, 4 in descending order.
4, 3, q
Let n be 6/(-2) - (-5)/1. Put 1, n, -10 in decreasing order.
n, 1, -10
Let k = 8 + -9. Let m = -0.08 + 0.17. Let v = m - 0.39. Put v, -4, k in descending order.
v, k, -4
Let s = 12 + 15. Suppose -2*h + 3*w - 21 = 0, -5*w + 7 + s = -3*h. Sort h, 3, 3/8 in ascending order.
h, 3/8, 3
Let c be 2/(1*(-3 - -1)). Let d = -99 + 96. Sort c, 3, d in descending order.
3, c, d
Let o = 11 + 3. Let s = 1 - 10. Let z = o + s. Put 0.4, 0.5, z in descending order.
z, 0.5, 0.4
Suppose -4*n = -2*n + 12. Let i be n/5 + (-20)/25. Put i, 5, 3 in descending order.
5, 3, i
Let c = 0.181 - 3.181. Let w = -0.4 + -0.1. Put w, -5, c in increasing order.
-5, c, w
Let o = -1268/7 + 181. Sort o, -1/4, 0, 1/8 in descending order.
1/8, 0, o, -1/4
Let m be (17/(-51))/((-2)/6). Put 3, m, 4, -3 in decreasing order.
4, 3, m, -3
Let u = 20 - 19.61. Sort 2, u, 5 in decreasing order.
5, 2, u
Let m = -93.3 + 93. Sort 0.2, -0.5, m, 0.5.
-0.5, m, 0.2, 0.5
Let k = -7 - -4. Let d be k/(6/(-4)*1). Suppose -7 + 4 = -3*c. Sort d, c, -2 in descending order.
d, c, -2
Let b = -0.03 + -2.27. Sort 2, b, 1/3 in descending order.
2, 1/3, b
Let m = -20 - -17. Sort -2/7, m, -3/8, 3 in descending order.
3, -2/7, -3/8, m
Let j = -967/12 - -1319/60. Suppose -3*t - 3*o = 177, t - 2*o + 177 = -2*t. Let i = j - t. Put -4, i, 1/5 in decreasing order.
i, 1/5, -4
Let z = -0.37 - -0.36. Let f = -5 - -9. Let w be 1/f - (-18)/(-8). Sort w, -3/5, z.
w, -3/5, z
Let z = 0.27 + -0.4. Sort 5, z, 3 in increasing order.
z, 3, 5
Let f = 29 - 29.4. Let p(u) = -u**2 - u + 4. Let i be p(-4). Let y be ((-6)/i)/((-1)/(-4)). Sort 2/9, y, f in increasing order.
f, 2/9, y
Suppose 3*a = -0*a + 6, -4*a - 26 = 2*z. Put 0.4, -1, z in ascending order.
z, -1, 0.4
Let d = 5 - 6. Let h(g) = g**2 - g. Let y be h(0). Sort d, y, 2 in increasing order.
d, y, 2
Let l = -10 + 5. Let i = l + 6. Sort -3/4, -3/7, i in descending order.
i, -3/7, -3/4
Let j(g) = -2*g**3. Let b be j(1). Let a be 3 - 4/(b + 0). Suppose 2*n + 4 - 3 = -3*h, -25 = 2*n - a*h. Sort 3, n, 0 in increasing order.
n, 0, 3
Let p = -3 + 6. Let t = p + -3.4. Put 0.4, 5, t in descending order.
5, 0.4, t
Let v be ((-4)/6)/(4/6). Let h = -122 + 124. Sort v, h, 1.
v, 1, h
Let k = -0.3 + 1.3. Let i = 35.372 + 0.128. Let v = i - 35. Sort -1/4, k, v in decreasing order.
k, v, -1/4
Suppose s - 2 = -s. Sort 4, -4, s.
-4, s, 4
Let v = 33 - 36. Put -15, v, -1 in increasing order.
-15, v, -1
Suppose -2*i - 5 + 8 = f, -16 = 3*f + i. Sort -4, f, 5.
f, -4, 5
Let s = 8 - 15. Let d = -6.7 - s. Put d, 0.2, 0 in descending order.
d, 0.2, 0
Suppose -k = -4*k + 15. Suppose o + 0 = -k. Sort o, 3, -2 in decreasing order.
3, -2, o
Let q be (-2)/(-1) - 24/11. Let g = -8 - -11. Let u = g - 8. Put u, 0.1, q in ascending order.
u, q, 0.1
Let i be (-3 - 5/25) + (-6)/(-2). Put 7, i, 4 in ascending order.
i, 4, 7
Suppose -31 = 3*x + c, c = 6*c - 10. Let d(z) = -z**2 + 6*z - 7. Let f be d(3). Put f, x, -2 in descending order.
f, -2, x
Suppose -12*v = -13*v + 5. Suppose a = -4*y - 8, -2*y - 2*a - 5 = -1. Let o be (-1 - 0) + (-2)/y. Put -3, v, o in decreasing order.
v, o, -3
Suppose -4*o + 9 + 7 = 0. Suppose x = 3*u + 2, 5*u + o*x = 5*x. Sort u, 4, 5 in ascending order.
u, 4, 5
Let u(i) = -3*i - 29. Let m be u(-8). Sort 0, 5, m in increasing order.
m, 0, 5
Suppose g - 12 = -2*g. Let l be (-2)/((-3)/(18/g)). Suppose 6 = 3*m + 5*c, -2*c - l = 4*m - m. Sort -2/3, 3, m.
m, -2/3, 3
Let t = 0.39 - -0.01. Suppose -5*v + 23*u + 21 = 21*u, 0 = -4*u + 8. Let a = 0.4 - 0.1. Put a, v, t in increasing order.
a, t, v
Let y = -10.98 - 0.02. Let z = -6 - y. Let o = 0.74 - 0.34. Put -4, o, z in descending order.
z, o, -4
Let y be ((-1)/2)/((-2)/4). Let u = 8 - 4. Suppose 0*n = u*n. Put -4, y, n in increasing order.
-4, n, y
Suppose 7*n - 3 = 4*n. Put n, 2, -5, 4 in descending order.
4, 2, n, -5
Let o(b) = -b**2 + 6*b - 11. Let c be o(4). Sort 5, 3, c, -1.
c, -1, 3, 5
Suppose 2*l + 2*y = 10, 5*l - 3*y = -7*y + 21. Sort 11, 5, l in decreasing order.
11, 5, l
Let t = -5 + 7. Let u = 0.03 + -0.03. Sort u, -1/3, t.
-1/3, u, t
Let y = 6 + -12. Let x = 11 + y. Let q = -4.8 + x. Sort -4, q, 2/11 in decreasing order.
q, 2/11, -4
Suppose -r - 9 = -0*r. Let z be (-3 + 4/3)*3. Sort r, -3, z.
r, z, -3
Let g be 6/(-4) + (-250)/(-20). Let j(y) = -y**2 + 12*y - 10. Let l be j(g). Sort 2, l, -3.
-3, l, 2
Let b(w) = 2*w + 9. Let x be b(-4). Put 3, -2, x in descending order.
3, x, -2
Let f = -1 + -3. Suppose -2*t + 2*k = -2*k - 16, -3*k = -t + 11. Pu