der.
-2/9, 0.5, 3/5, s
Let r(w) = -w**3 + 7*w**2 + w + 4. Let u be r(7). Let d = u - 15. Put 4, 1, d in increasing order.
d, 1, 4
Let v = 0 - -1. Suppose -5*h - 5*p = -40, -2*p + 3 + 1 = h. Let t be (-22)/6 - 4/h. Put -5, v, t in increasing order.
-5, t, v
Let m = 0.75 - -0.25. Sort m, -2/5, -5 in descending order.
m, -2/5, -5
Suppose 22 = -2*f - 2*f - 2*y, -4*y = 4. Sort f, -1, 4 in descending order.
4, -1, f
Let g = 1.5 + -1.3. Let r = g + -0.5. Let t = 5/7 - 1/21. Sort r, -0.2, t.
r, -0.2, t
Let t = -249 + 239.84. Let s = -9 - t. Let k = -0.04 - s. Sort -5, -1, k in decreasing order.
k, -1, -5
Let i = -3/56 + -103/168. Let x = -12 - -7. Sort i, -4, x in descending order.
i, -4, x
Suppose 0*g - 21 = -5*t - g, -3*t + 13 = g. Suppose 0*j + 3*j - t*o = 8, 4*j + 26 = -2*o. Sort 7, j, 5 in ascending order.
j, 5, 7
Let x = 4 + -2. Suppose -5*s - 20 = -3*p, -p + s + 4 = -2*p. Sort x, -3, p.
-3, p, x
Let k be (-3 - 5 - -5)/(-1 + 4). Sort -5, k, 3, 5 in descending order.
5, 3, k, -5
Let b = -6 - -3. Let m be ((-3)/1)/b*5. Let h(i) = i**3 - 5*i**2 + i - 6. Let p be h(m). Put 5, 3, p in decreasing order.
5, 3, p
Let o = 0.011 - 0.011. Let g = -5 - -4.7. Put g, -4, o in ascending order.
-4, g, o
Let h = -4 - 3. Let g = h - -6.8. Let o be (-2)/(-7) - (-32)/(-63). Put -4, g, o in ascending order.
-4, o, g
Let h be 1/3 + 5/3. Suppose -22 = -2*s - 3*k - 9, 0 = -s - k + 6. Suppose s*p = 6*p, -2*g = -3*p + 8. Sort g, h, 1.
g, 1, h
Suppose 3*o + 15 = 3*w - 2*w, 5*o + 25 = 5*w. Suppose -k = 10 - 5. Let t = k + 0. Sort w, 2, t.
t, w, 2
Let r be (0 + 4)/(-1*1). Suppose -4*w = 2*t - 18, -w - 4*w = -5*t. Sort -3, w, r in decreasing order.
w, -3, r
Let k = -14 - -18. Sort k, 5, 1 in decreasing order.
5, k, 1
Let c = 19 - 19. Let q = -0.2 + -1.8. Sort c, q, -3.
-3, q, c
Suppose -5*y = -3*y. Let k(m) = -m - 5. Let i be k(y). Let r = 11 - 6. Sort r, 0, i in descending order.
r, 0, i
Let u = -15.2 + 15. Let a = 0.37 + -0.07. Sort -2/9, u, a in increasing order.
-2/9, u, a
Suppose 5*n - 6 = 4. Let r be 4/(-10) + 2/5. Suppose 5*w + k - 12 = -r*k, 4*w - 2*k = 18. Sort 4, n, w in ascending order.
n, w, 4
Let l = -0.05 - -0.45. Let o = 0.5 - l. Let z = o - -0.2. Put -1, -3/5, z in decreasing order.
z, -3/5, -1
Suppose -c + 2*c - 5*g - 2 = 0, 3*c - 4*g - 6 = 0. Let m be ((-18)/(-36))/((-2)/(-20)). Sort -5, c, m.
-5, c, m
Let x = 0.02 - 0.01. Let n = -3.01 + x. Sort -1/3, n, 2 in ascending order.
n, -1/3, 2
Let k = -1/6 - -7/18. Suppose -9*u = -u - 32. Put k, -2, u in descending order.
u, k, -2
Suppose 5*q = v + 18, -v + 6*q = 2*q + 15. Sort 5, 1, v.
v, 1, 5
Let g be 1/3*(-4092)/(-10). Let v = 136 - g. Let r = -0.6 - 0.4. Sort r, -2, v in descending order.
v, r, -2
Let o = 3 - -1. Let y = -41 + 40.61. Let g = 0.01 - y. Sort g, -1/4, o in ascending order.
-1/4, g, o
Let m(w) = -w**2 - 5. Let q be m(0). Suppose 0 = 2*v - v + 9. Let y = v - q. Sort y, -2, 1 in ascending order.
y, -2, 1
Let p = 18 - 18. Sort 0.2, p, 1/2 in decreasing order.
1/2, 0.2, p
Suppose -3*j + 24 = -6*j. Let a = -6 - j. Sort 4, -2, a in descending order.
4, a, -2
Suppose 12 = -o + 5*o. Let g be (-3 + 6/(-2))/(9/(-6)). Sort -7, o, g.
-7, o, g
Let j(y) = 4*y**2 + y. Let k be j(2). Let a = 3 - k. Let w be a/6 + (-1)/2. Put 1, -2, w in descending order.
1, -2, w
Let l = -3 + -0.5. Let u = l + 3. Let x be 3*((-2)/7)/2. Sort u, 3, x in ascending order.
u, x, 3
Suppose 3*p + 12 = 3*i, 0*p = -2*p + 3*i - 10. Let u be (1/p)/(6/(-4)). Let k be 1/4 - (-25)/(-68). Sort k, u, 0.1.
k, 0.1, u
Suppose 2*t + 12 = -t. Sort t, 16, 3 in decreasing order.
16, 3, t
Let c = 18 + -13. Suppose w = 6*w + c. Sort -3, 4, w in increasing order.
-3, w, 4
Suppose 0 = 4*v - 2 + 10. Let m(a) = a - 2. Let d be m(v). Put 4, d, -1 in decreasing order.
4, -1, d
Suppose -v - 3 = -5. Suppose x - 3*n = 7, -22 = v*x + 4*n - n. Sort 1, 3, x in increasing order.
x, 1, 3
Suppose 0 = 3*p - 6*p. Suppose 3*x + 4 - 34 = p. Let d be (1/(-3))/(x/(-18)). Sort d, 0.4, -1 in descending order.
d, 0.4, -1
Let q = -2.5 + -2. Let o = q + 5. Put -3/7, 0, o in ascending order.
-3/7, 0, o
Let m be 6/(-4)*(-2)/(-12). Let v = -8 - -12. Suppose 2*x = 5*c + 31, 3*x = 5 + v. Sort m, c, 0 in descending order.
0, m, c
Let q = 2 + 2. Suppose -2*o = q*x - o + 5, -17 = 4*x - 3*o. Sort 1, 3, x.
x, 1, 3
Let t(x) = -4*x - 51. Let v be t(-13). Let y = 0 - 0.1. Sort 0.2, y, v in decreasing order.
v, 0.2, y
Let r(j) = 4*j. Let i be r(1). Suppose i*q + f + 6 + 8 = 0, -4*q + 5*f = 2. Put 4, 1, q in decreasing order.
4, 1, q
Let o(h) = -h**3 + 11*h**2 - 17*h - 7. Let n be o(9). Put -5, 3, n in descending order.
3, n, -5
Let h be ((4 - 2)/2)/(-1). Let f be 0 - h - (-6 + 6). Let z(y) = y. Let o be z(5). Sort o, 0, f in descending order.
o, f, 0
Suppose -3*v + 8*v = -5. Let a = -2 + -4. Let q = 9 + a. Put 1, v, q in ascending order.
v, 1, q
Let q be -1*-6*5/(-15). Sort -4, 6, q in increasing order.
-4, q, 6
Let m be 4/(-12)*(-2 - 1). Let l(p) = p**3 + 7*p**2 - 5. Let t be l(-7). Suppose 2*a + 4*o - 1 = -9, -2*o + 8 = -2*a. Sort m, a, t in decreasing order.
m, a, t
Suppose b + 2*l + 9 = 0, -16 = 4*b - l + 2. Let u be 2/5 - (-7)/b. Sort 5, u, 0 in descending order.
5, 0, u
Let g(t) = -t**3 + 8. Let b(d) = -d**3 - d**2 + 9. Let c(j) = 4*b(j) - 5*g(j). Let o be c(4). Sort o, 7, -2 in decreasing order.
7, -2, o
Suppose -d + 4*d + 6 = 0. Sort -1, -3, d in decreasing order.
-1, d, -3
Suppose -d - 2*d = 60. Let r be (-14)/8*d/14. Let p = 21/8 - r. Put p, -4/7, -2 in decreasing order.
p, -4/7, -2
Let z = 4.95 - 5. Let k = -0.15 - z. Sort k, 3/8, -1 in decreasing order.
3/8, k, -1
Suppose -2*r = 4*x, -4*r - 3*x = -4 + 14. Let g(y) = 3*y - 1. Let z be g(1). Put r, 4, z in decreasing order.
4, z, r
Let s = 0.2 - 1.2. Let m = -10 - -6. Let l = m + 3.7. Put l, 0.5, s in ascending order.
s, l, 0.5
Suppose -l = -4*f + 9, 0*f = 3*l - 4*f + 3. Suppose -3*z - l = 4*s - 26, -4*s = -2*z - 18. Let j = 0 + z. Sort j, 2, -1 in decreasing order.
2, j, -1
Let h = -8.6 - -7.9. Sort 2, h, 5 in ascending order.
h, 2, 5
Let a be ((-1)/(-3))/(2/66). Suppose -2*b = -2*k + b - 7, -a = 2*k + b. Let o be (-30)/(-8) + (-9)/12. Put 1/5, o, k in descending order.
o, 1/5, k
Let i be 2/(-5) + (-648)/(-120). Suppose z - 4*z = 9. Put 4, z, i in ascending order.
z, 4, i
Suppose 0 = -2*n + 5*q + 9, -3 = 7*q - 4*q. Sort -0.5, -2, n, 1/2 in decreasing order.
n, 1/2, -0.5, -2
Let p = -131/3 - -44. Let t = -0.43 - -0.73. Sort p, t, 4.
t, p, 4
Suppose 2*y - 3 = -3*i - y, -3*i = -3*y - 9. Put -3, i, -0.5 in increasing order.
-3, -0.5, i
Let j = 5 + -4. Suppose -3*d = j + 2. Sort d, -3, -5 in descending order.
d, -3, -5
Let b = -0.21 - 1.79. Let z = 0.05 + -3.05. Put b, z, -0.4 in decreasing order.
-0.4, b, z
Let a = 5 - 9. Suppose 0 = -l - 1 + 4, 3*l = 5*i + 19. Sort i, 4, a.
a, i, 4
Let u be (3/2)/(2/(-4)). Suppose -2*f - 2*m = 0, 5*f + 2*m - 3 - 6 = 0. Sort u, f, -4 in decreasing order.
f, u, -4
Suppose -4*i + 39 = 35. Let j be (6/(-4))/((-3)/(-4)). Sort i, -3, j.
-3, j, i
Let t = 90 + -85. Let c be 1/(3/(-9) + 0). Put t, 4, c in descending order.
t, 4, c
Let s = 17 + -15. Let n be 4/8*-14 + s. Sort 2, -3, n in decreasing order.
2, -3, n
Let d be (-6 - -4 - -2) + 3/7. Put d, 5, -5, -13 in descending order.
5, d, -5, -13
Let d = -1.3 + 1. Let g = -0.7 + d. Let w = 2/133 - -256/665. Put w, 0.3, g in increasing order.
g, 0.3, w
Suppose -11*l = -15*l - 8. Put 4, l, 2, 0 in ascending order.
l, 0, 2, 4
Let p be -6*(8/12 - 0). Let l be p/40*12/(-2). Let b(o) = o**3 + 2*o**2 - 5*o - 2. Let g be b(-3). Sort g, -0.1, l.
-0.1, l, g
Let s = 0.015 - -0.385. Put 1, s, -1 in descending order.
1, s, -1
Let i be (-3)/(1 + 0) - -4. Sort i, -1, -3 in decreasing order.
i, -1, -3
Let p = -5.3 + 5.2. Put -0.2, 2, p in increasing order.
-0.2, p, 2
Let y = -2.99 - 0.01. Let k = -0.2 - 2.8. Let a = k - y. Sort a, -0.5, -0.4 in decreasing order.
a, -0.4, -0.5
Suppose 4*p - 27 = 9. Let c(s) = 3*s + 2. Let m be c(-3). Let h = p + m. Sort -3, -4, h.
-4, -3, h
Let r = -5 - -5. Sort -2/5, 4, r in increasing order.
-2/5, r, 4
Suppose 2*r + 7 = -1. Let c(a) = a**3 + 6*a**2 + 3*a - 7. Let z be c(-5). Put z, -1, r in ascending order.
r, -1, z
Let n(u) = -2*u + 2. Let f(r) = -3*r + 3. Let i(o) = -3*f(o) + 2*n(o). Let p be i(-6). Let h be 10/p - 2/(-7). Sort h, 3, -