r.
-1/15, i, 2
Let t = 7 + -9. Let k = -2 - t. Put 2, k, -1/5 in decreasing order.
2, k, -1/5
Let o(p) be the third derivative of -p**5/60 + p**4/4 + p**3/3 - 4*p**2. Let i be o(6). Sort 3, -2, i.
-2, i, 3
Let u = -16.9 + -3.1. Put -1/8, 0.4, u, 0 in decreasing order.
0.4, 0, -1/8, u
Let l(t) = -4*t**2 - 6*t + 6. Let h(j) = -5*j**2 - 7*j + 7. Let w(a) = 3*h(a) - 4*l(a). Let o be w(-4). Let s = 14 - 9. Sort s, o, 0 in increasing order.
0, o, s
Let m = -0.1 + -0.05. Let v = 2.15 + m. Put 4, v, 5 in ascending order.
v, 4, 5
Suppose 9 = -2*y + 1. Sort 1/4, -2/3, y in decreasing order.
1/4, -2/3, y
Let z(i) = i**2 - i - 1. Let l be z(-2). Suppose 2*r = -l - 3. Sort 5, r, 1.
r, 1, 5
Suppose -3*n + 12 = 3*n. Let u(r) = -2*r + 3. Let p be u(4). Sort -2, n, p.
p, -2, n
Suppose 0 = -3*p + 2*p - 1. Let s be 2 + -8 + (2 - 1). Suppose -3*w = -5*w - 4. Sort s, w, p.
s, w, p
Let i = -6 - -5.9. Let n = -0.2 + i. Let q be (-5)/28 + (-1)/4. Sort -2/7, q, n in ascending order.
q, n, -2/7
Suppose 0*f - 3*f - 9 = 0. Let r(a) be the third derivative of a**5/60 + a**4/4 + a**3/2 + a**2. Let t be r(-6). Sort f, t, 0.
f, 0, t
Let y = -40 + 36. Let m(f) = f + 1. Let t be m(-1). Suppose -z + 0 - 2 = t. Sort z, y, 3/4 in ascending order.
y, z, 3/4
Suppose -2 = 3*a + 4. Let n be a/(-7) + (-87)/84. Let z = -527/21 - -74/3. Sort z, n, -5 in ascending order.
-5, n, z
Let z(i) be the first derivative of -9*i + 1/2*i**2 + 3. Let c be z(8). Sort c, -5, 0 in increasing order.
-5, c, 0
Let w = -17 - -16.4. Sort -4/7, -3, w.
-3, w, -4/7
Let g = 152 - 151. Sort g, 0, 18, 5 in descending order.
18, 5, g, 0
Let c(b) = -5*b + 1. Let m be c(1). Let h be 2/3*-3 + 5. Sort h, -11, m.
-11, m, h
Let t be (-4 + 5)/(1/9). Sort -2, t, -4.
-4, -2, t
Suppose 5*x + 20 = -u, 3*x + u = -x - 16. Let o(v) = -7*v + 4. Let i be o(2). Let r = i + 11. Put -3, x, r in decreasing order.
r, -3, x
Suppose b - 7 = -2. Put -4, b, -2 in decreasing order.
b, -2, -4
Let w = -4 - -1. Let d = 64 - 63.6. Sort d, w, 2/9 in decreasing order.
d, 2/9, w
Let m(k) = -3*k**2 + 1. Let y be m(-1). Let w = 7 - 6. Sort -4, w, y in ascending order.
-4, y, w
Let w = -56 - -51. Sort w, -0.3, -2 in decreasing order.
-0.3, -2, w
Let f(p) = p + 11. Let w be f(-10). Put 6, w, 5, 4 in decreasing order.
6, 5, 4, w
Let b be 0*(6 - (-13)/(-2)). Suppose 0*v + 5*v + 5 = 0. Sort 5, v, b in increasing order.
v, b, 5
Let a = 4 - 9. Put 6, a, 5 in decreasing order.
6, 5, a
Let y = -6 - -6.08. Let w = -19.4 - -19. Sort w, y, 3 in ascending order.
w, y, 3
Let k = -61 + 61. Sort k, 1, 1/3 in decreasing order.
1, 1/3, k
Let a = -3 + 7. Let o(f) = 2*f**2 - 23*f - 11. Let w be o(12). Put a, 0, w in descending order.
a, w, 0
Let u be -2 + ((-9)/(-4) - 2). Let q = u + 69/44. Let w = -0.1 + 0.3. Put q, w, 0.3 in increasing order.
q, w, 0.3
Suppose 5*w + 15 = 45. Suppose -w*t + t = -10. Sort 4, -4, t in decreasing order.
4, t, -4
Let t = 3.2 - 3.6. Put 1/6, -3/10, t, 1/3 in decreasing order.
1/3, 1/6, -3/10, t
Let o = -4 - 1. Put 5, o, 3 in ascending order.
o, 3, 5
Let x be 2/3*(-1 + 2). Put 0.03, x, 1/7 in decreasing order.
x, 1/7, 0.03
Let q(j) = -2*j**2 - 2*j. Let h = 1 + -3. Let t be q(h). Let v = -1 + 6. Sort 3, t, v in decreasing order.
v, 3, t
Let x = 0.086 + 18.814. Let k = x + -20. Put -5, k, -4 in decreasing order.
k, -4, -5
Let v(x) = x**3 + 8*x**2 + 2*x + 13. Let o be v(-8). Put -15, o, -5 in decreasing order.
o, -5, -15
Let m = -124 + 995/8. Let l be (2/4)/(2/20). Suppose 0 + 5 = l*c. Put c, 0.2, m in increasing order.
0.2, m, c
Let l be -3*(32/12 + -3) + -3. Suppose -3*h = -3*t - 6, t + 1 = -2*h + 5. Suppose 5*g + 45 = 4*z, -3*g - 15 = z + g. Put t, z, l in descending order.
z, t, l
Let v = -4.853 - 0.147. Put v, -22, -0.5 in decreasing order.
-0.5, v, -22
Let x = -7.03 + 7. Let d = x + -0.17. Let k = -165 - -1483/9. Sort k, 2/11, d.
k, d, 2/11
Suppose 30*d - 24*d = -30. Suppose -5*m = -4*z - 29, 0*z + 2*m = -4*z + 6. Sort 0, z, d in descending order.
0, z, d
Let s(h) = h + 7. Let o(n) = -n - 6. Let j(q) = 7*o(q) + 6*s(q). Let f be j(-3). Suppose v - 10 = -v. Put v, -2, f in increasing order.
-2, f, v
Suppose 0 = 5*i - 5. Suppose 0 = -5*a - a. Let f be (-2)/(-6) - (-10)/(-3). Put f, i, a in ascending order.
f, a, i
Let z = 10 - 8.4. Let h = z + -1.9. Sort 0.4, h, -2/21 in decreasing order.
0.4, -2/21, h
Let y = -6 - -4. Put 1, 9, y in ascending order.
y, 1, 9
Suppose 0 = 3*u - k - k - 30, 3*u = -5*k + 9. Suppose 0 = 2*r + r - 4*n + u, 0 = 4*r - 2*n - 6. Suppose -9*v - 2 + 20 = 0. Put r, v, 5 in descending order.
5, r, v
Let w = 5.4 - 0.4. Let v = -0.35 - 4.65. Sort w, -2, v in descending order.
w, -2, v
Let i = -8 - -6. Let z = -54/143 + 2/143. Let s = 3/22 - z. Sort 0.1, s, i in decreasing order.
s, 0.1, i
Let d = 65 + -68. Sort 0.2, -0.1, 2, d in descending order.
2, 0.2, -0.1, d
Let r = -5 - -10. Let o = -74 - -72. Sort 3, r, o in descending order.
r, 3, o
Let c = -1 - -1. Let n = -0.08 + -7.92. Let d = 4 + n. Sort 0.5, d, c.
d, c, 0.5
Suppose 3*u = -u + 20. Sort 2, u, -0.4 in decreasing order.
u, 2, -0.4
Let q be (-2)/4 + (-14)/(-4). Let r be 0 - 12*(-3)/(-6). Let n(h) = 2*h + 8. Let w be n(r). Sort w, -3, q in ascending order.
w, -3, q
Let x be 6/(-3)*6/(-4). Suppose x*v = -2*v - 10. Let p be -2 - (1 + 1) - v. Put 0.1, p, -3 in decreasing order.
0.1, p, -3
Let s = 0.5 + -0.8. Let o = 5 - 9. Let c = 0 - o. Sort s, c, -2 in descending order.
c, s, -2
Suppose -25 = -0*p - 5*p. Put 0, 4, p, -3 in ascending order.
-3, 0, 4, p
Let d(a) = -a**2 - 12*a - 28. Let l be d(-4). Put -3, l, -1 in decreasing order.
l, -1, -3
Let z(a) = 3*a**2 + 3*a + 4. Let q be z(-2). Let x(t) = -t**2 + 6*t + 4. Let y be x(7). Sort y, q, 0 in descending order.
q, 0, y
Suppose -3*x + 45 = 33. Put -1, 5, x in decreasing order.
5, x, -1
Let y = 5.5 + -9.6. Let k = -0.9 + y. Let p = -18 - -16. Put -2/5, p, k in increasing order.
k, p, -2/5
Suppose -2*z = -2*l - 8, l + 8 = -z - l. Suppose -1 = -n - z. Sort n, 0, 2.
0, n, 2
Let u be 51/(-2) - (-3)/6. Let g = u - -36. Suppose 5*j + y = j - 13, -2*j - 5*y - g = 0. Put -4, 0, j in increasing order.
-4, j, 0
Suppose 0 = -4*m + 8*m - 4. Let y be 1 - m - (-27)/(-9). Sort 3, 0, y.
y, 0, 3
Let h = 4 - 2. Let o = -2 - h. Let f be (2/(-4))/((-1)/2). Put -1, o, f in descending order.
f, -1, o
Let i = -1 + 1. Let r = -149 + 144. Put 5, r, i in descending order.
5, i, r
Let s = 3 + -2.5. Let y = -0.98 + 0.28. Let q = -0.4 - y. Sort 3, s, q in increasing order.
q, s, 3
Let q be 12/(-7) - (-2)/(-7). Let b = 7 - 7. Suppose b*n - 5*n = 0. Sort -4, n, q in descending order.
n, q, -4
Let a be 2/(-6) + 8/(-12). Let w be (-6)/(((-6)/4)/a). Let g = -1 + 3. Sort 4, w, g in decreasing order.
4, g, w
Let k be 6/(-15) - 14/(-10). Suppose 0*b + k = -b. Let i = -5 + 7. Sort -5, b, i in ascending order.
-5, b, i
Let n = -18 + 18.2. Put -2/7, -0.5, n in decreasing order.
n, -2/7, -0.5
Let y = 1.1 - 0.6. Let b = 9.4 - 9. Put -6/11, b, y in ascending order.
-6/11, b, y
Let m = -0.8 + -0.2. Let h = 33 + -31. Sort m, h, 4 in increasing order.
m, h, 4
Let o be ((-2)/(-6))/((-2)/6). Suppose -5*u - 44 = -4*t + 8, 0 = -4*t + 12. Let r be o*1 + u/(-6). Sort r, 1/5, -3 in descending order.
r, 1/5, -3
Suppose 2*y = -y + 6. Suppose -1 = c + 1. Sort c, 6, y in decreasing order.
6, y, c
Suppose 0 = z - 5*z - 8, z - 2 = 4*h. Put -3, h, 2 in ascending order.
-3, h, 2
Let n(u) = u**2 - 4*u + 4. Let i be n(4). Suppose -2*l = -4*b - 5*l + i, 2*l + 12 = b. Sort -4, 0, b in decreasing order.
b, 0, -4
Suppose 0 = 5*j - 4*i + 982, 3*i + 880 - 280 = -3*j. Let k be j/(-45) + 2/(-5). Sort k, -4, 1 in decreasing order.
k, 1, -4
Let w = 4 - 0. Suppose 4*d - 3*i = -3 - 18, -15 = 3*d - 2*i. Sort 0, d, w in descending order.
w, 0, d
Suppose -5*v + 1 + 14 = 0. Suppose 0 = -2*r + 5*o - 9, 6*r - 5*o + v = 2*r. Sort 2, -3, r.
-3, 2, r
Suppose -2*a - p + 31 = 0, 2*p - 60 = -5*a + 3*p. Let x = a + -4. Suppose 6 = -h + y + y, -x = -5*h - 3*y. Put h, 3, -2 in increasing order.
-2, h, 3
Suppose -24 = -4*n + 3*m, -2*n + 4*m = -0*m - 22. Sort n, -4, 5, -8.
-8, -4, n, 5
Let p = -0.06 + -0.01. Let v = p + 5.07. Sort -4, 1/9, v in decreasing order.
v, 1/9, -4
Let a be (17 + -20)/((-3)/4). Let y(i) = 2*i - 2*i - 4 + i. Let s be y(a). Put 3, s, -4 in descending order.
3, s, -4
Let c(f) = f**