m in decreasing order.
v, m, -3
Suppose 0 = p + 5 - 10. Put p, 1, -2 in increasing order.
-2, 1, p
Let t(z) = -2*z**3 + 6*z**2 - 3. Let n be t(3). Sort 1, 4, n.
n, 1, 4
Let n = 2.9 - -2.1. Sort n, -3, -1 in ascending order.
-3, -1, n
Suppose 15*z - 10*z - 35 = 0. Put z, 3, -4 in decreasing order.
z, 3, -4
Let d = -27 - -59. Suppose 4*y = 2*w + 26, 2*y = -3*w + y - d. Let z = 6 + w. Sort 4, z, -1.
z, -1, 4
Let x = 21 + -3. Let q be -12*(-3 + x/8). Suppose -5*g + q + 6 = 0, 5*g - 18 = 3*z. Put z, 1, -4 in descending order.
1, z, -4
Suppose 2*a = -4*q - 22, -3*q - a + 5*a = 0. Put -2, q, 1/4 in decreasing order.
1/4, -2, q
Suppose 0 = -4*b + 12 + 4. Let u = 7 - b. Suppose u*i - 4 = 5. Put -3, -2, i in ascending order.
-3, -2, i
Let z = -22 - -19. Put 0.3, 0, z in descending order.
0.3, 0, z
Suppose 0 = 4*j + o + 3*o, 0 = 5*o. Let x be (j/5)/(1 - 2). Let g be (-1 + x)*4 - 1. Sort g, -4, 1 in decreasing order.
1, -4, g
Let f be (15/(-10))/((-6)/8). Let w be 6 + (-12)/8*f. Sort -4, 0, w in descending order.
w, 0, -4
Let s = 4 + -8. Let m be (-10)/(-35)*(-250)/4. Let t = 2111/119 + m. Sort 3, t, s in descending order.
3, t, s
Suppose 6*w - 3 = 3*w. Let l be -1*1 + 5 + -5. Let x be 0 + l + -2 + 1. Put w, x, 3 in decreasing order.
3, w, x
Let b(k) = k**2 - 13*k. Let g be b(13). Sort g, -4, 5.
-4, g, 5
Suppose -2*q + 2 = -4*q. Sort 2/23, q, -5, 3.
-5, q, 2/23, 3
Let g = 91/3 + -29. Let p = 0.7 + -1. Let r = -0.8 - p. Put r, g, -0.4 in decreasing order.
g, -0.4, r
Let h = 219 - 1755/8. Let o = -353/238 + -2/119. Sort o, h, -2 in decreasing order.
h, o, -2
Let z = -8383/20 + 419. Let m = 7/20 + z. Put -5, -2, m in ascending order.
-5, -2, m
Let c be (1/42)/((-2)/848). Let q = c - -94/7. Let g = -5 + q. Put g, -1, 0 in increasing order.
g, -1, 0
Let y = -169 + 180. Let a = -1 - -1. Put y, a, -4 in ascending order.
-4, a, y
Let q(s) = -3*s - 1. Let f be q(-2). Suppose f*l - 44 = -19. Let n(a) = a**3 - 4*a**2 - 5*a + 2. Let u be n(l). Sort -3, u, -4 in decreasing order.
u, -3, -4
Let r = 0.15 - 0.2. Let f = r + 0.35. Sort f, -4, 2 in increasing order.
-4, f, 2
Let z be 1/(-2)*(1 + -1). Let q(y) = y**3 - 3*y**2 - 1. Let k be q(2). Sort -1, z, k in ascending order.
k, -1, z
Let h be 36/15 - (2 + 0). Sort h, -2/7, 5 in increasing order.
-2/7, h, 5
Let r(y) be the third derivative of y**4/24 + y**3/6 - y**2. Let i be r(-1). Let k = 2 + -4. Put 3, k, i in increasing order.
k, i, 3
Let s = -1.6 - -0.4. Let v = s + 6.2. Sort v, -1/7, 2 in descending order.
v, 2, -1/7
Let a be 9/(-15) + (-48)/(-5). Sort 1, 5, 2, a.
1, 2, 5, a
Let p = 0.14 - 1.74. Let a = p - 0.4. Sort 4, a, -4/5 in decreasing order.
4, -4/5, a
Let l = -1.51 - -2.91. Sort l, 2, -1 in descending order.
2, l, -1
Let k be 1/(-2) - (-27)/6. Suppose -j + 16 + 1 = -5*x, k*x + 5*j = -31. Sort 5, -5, x in ascending order.
-5, x, 5
Let r be (-24)/(-14) + (-2)/(-7). Let k be r/((4/6)/(-1)). Let a(x) = x**3 + 3*x**2 - 4. Let o be a(k). Sort 1, o, -5 in increasing order.
-5, o, 1
Let p(k) be the second derivative of k**5/20 - 7*k**4/12 + 5*k**3/6 + k**2 + 2*k. Let u be p(6). Let i = -3 - u. Sort 3, -5, i in descending order.
3, i, -5
Suppose -t + i = 5, t + 4*i - 3 = 7. Suppose 3*f - x + 0 = 1, -x + 5 = 3*f. Put 2, f, t in decreasing order.
2, f, t
Suppose -r + 4*s + 12 = 4*r, 4*s + 12 = -3*r. Let w = -12 - -17. Sort w, r, -5 in descending order.
w, r, -5
Suppose 0 = -x + 5*u + 30, 4*x + 3*u = -0*u + 28. Sort -4, 3, x.
-4, 3, x
Let q = -2/198731 + -352747511/1391117. Let j = q - -253. Let v = 0.28 + 0.02. Sort -5, j, v in ascending order.
-5, j, v
Suppose -15 = -5*n - 5*q, 0 = 2*n + q - 5*q + 18. Suppose 15 = s + 2*s. Sort s, 1, n in decreasing order.
s, 1, n
Let m = -39/4 - -10. Put -5, m, 2 in decreasing order.
2, m, -5
Let z(w) = 3*w - 3. Let v = -13 + 19. Let y be z(v). Suppose 3*d = -3*l - y, -3*l + 0*d - 16 = 4*d. Sort 5, l, 3 in decreasing order.
5, 3, l
Suppose -2*p = 3*p + 20, -2*z - 20 = 2*p. Sort z, -2/9, 2/9.
z, -2/9, 2/9
Let x = -5 - -10. Let p = x - 2. Suppose -q + 0*q = -5, 2*n = 4*q - 20. Sort p, -1, n in descending order.
p, n, -1
Suppose -6*v = -v - 5*t - 40, 3*v + 5*t + 8 = 0. Suppose 4*r = 24 - v. Let x be 17/4 + 2/(-8). Put r, x, -3 in decreasing order.
r, x, -3
Let u = 0.87 + -0.17. Let q = u - -2.3. Let k = -157/803 + 1/73. Put k, q, -5 in decreasing order.
q, k, -5
Let b be ((-9)/6)/((-9)/(-12)). Suppose 3*g - 2*v - 19 = 2*v, 5*g + 2*v + 3 = 0. Let o be (-14)/(-3) - (-4)/(-6). Put o, b, g in descending order.
o, g, b
Suppose 0 = -3*s + 4*i - 11, -25 + 1 = -3*s - 3*i. Suppose 4*h + 13 = o, -2*h - o - 20 = s*o. Put h, 0, 4 in ascending order.
h, 0, 4
Suppose 3*r = 8*r - 105. Let v be (-6)/r + 57/(-21). Let g = 0.07 - 4.07. Put v, g, 2/3 in increasing order.
g, v, 2/3
Let g = 89 + -86. Sort 5, -2, g, 0.
-2, 0, g, 5
Suppose 2*o + 0 = -4*d + 4, 5*o = -4*d - 8. Suppose -d*n + n - 2 = 0. Let a be (15/12)/(n/4). Sort 1/6, 4, a in ascending order.
a, 1/6, 4
Let y(s) be the first derivative of -s**2/2 - 5*s - 5. Let h be y(-5). Put 5, h, -1 in decreasing order.
5, h, -1
Let n = 3.7 - 0.7. Let s = -55 - -55.4. Sort n, s, -3 in descending order.
n, s, -3
Let y = -4 + 4.3. Let u(r) = -r**3 - 6*r**2 - r - 8. Let s be u(-6). Sort s, 0.4, y.
s, y, 0.4
Let x = -21.9 + 20. Let p = x + 9.9. Put 0.3, p, 0.5 in ascending order.
0.3, 0.5, p
Let o = 2/397 - 808/2779. Sort o, -4, -0.1 in increasing order.
-4, o, -0.1
Let o(f) = f**3 - 7*f**2 + f - 5. Let r be o(7). Suppose -g - r = -3*g. Put -2, 2, g in increasing order.
-2, g, 2
Let j(t) be the second derivative of -1/20*t**5 - t**2 + 0 + 1/6*t**3 + 1/4*t**4 + t. Let y be j(2). Sort -2, y, 2 in descending order.
y, 2, -2
Suppose -q = 2*u + 13, 3*q = -u - q - 17. Put -2/15, u, -2/7 in ascending order.
u, -2/7, -2/15
Let a(m) = m**3 + 7*m**2 + 6*m + 6. Let b be a(-6). Let k be ((-2)/(-16))/((-2)/b). Let c = 0.04 + 1.96. Put -4, c, k in descending order.
c, k, -4
Let p(j) = -j**2 + 5*j + 1. Let i be p(6). Suppose 0 = -0*k + 2*k - 2. Put i, 3, k in decreasing order.
3, k, i
Let p = -8 + 15. Let l be 2 + 26/(-6) + 0. Let x = l - -8/3. Sort 0.2, x, p in ascending order.
0.2, x, p
Let g(x) = 4*x**3 + 4*x**2 - x + 4. Let s(t) = -5*t**3 - 4*t**2 - 4. Let b(j) = -4*g(j) - 3*s(j). Let u be b(-5). Put -9, u, 4 in increasing order.
-9, u, 4
Let a = 1 + -0.6. Let r = -6.92 - -0.92. Put -1/6, r, a in decreasing order.
a, -1/6, r
Let f(b) = b**3 - 4*b - 3. Let l be f(-2). Let z = -6 + 7. Put 3, l, z in descending order.
3, z, l
Suppose -2 = -2*p + 2. Sort p, 5, 10 in decreasing order.
10, 5, p
Suppose 5 - 13 = 4*z. Sort -0.4, 0.3, z, 0.2 in decreasing order.
0.3, 0.2, -0.4, z
Let o be 33/(-44)*(-4)/(-126)*12. Put o, -5, -2 in decreasing order.
o, -2, -5
Let c = -54 + 117. Suppose 3*y + 171 = 3*o, -o = -0*o - 4*y - c. Let x be o/255 + 2/(-6). Put -0.5, 3, x in ascending order.
-0.5, x, 3
Let i = 32 - 20. Suppose -i = -7*r + 11*r. Sort r, -2, 3 in decreasing order.
3, -2, r
Let i = -15.8 + 16. Put 1, i, -1/4, -2/19 in descending order.
1, i, -2/19, -1/4
Let g be 26/(-22) + 12/66. Sort 1, g, -3, -4.
-4, -3, g, 1
Suppose -3*j = j + 8. Let n(r) = -3*r**3 - 1. Let o be n(-1). Let m be -4*1*o/(-4). Put m, 1, j in decreasing order.
m, 1, j
Let h = -14 - -15.8. Let b = h - 2. Let w = 0.1 - 3.1. Put b, -4/7, w in increasing order.
w, -4/7, b
Let b = -4 - -2. Let h = -3.812 + -0.188. Let w = -0.1 + 0.1. Sort h, w, b.
h, b, w
Suppose -o - 1 = -23. Let p be 2/4 - o/52. Let d = 33/91 - p. Put -2, d, 0.2 in descending order.
d, 0.2, -2
Let r = 0.342 + -0.042. Sort 1, r, 2/5, 2.
r, 2/5, 1, 2
Suppose d = -0 + 3. Sort -3, d, 2 in descending order.
d, 2, -3
Let x(o) = -4*o + 8. Let r be x(3). Sort 7, 6, r, 1.
r, 1, 6, 7
Let d = 4.6 - 4.9. Sort -2/3, d, -11.
-11, -2/3, d
Let h = 12 + -8. Let v(p) = -p + 5. Let f be v(5). Suppose 3*j + 4*w + 20 = 0, f = -0*w - 4*w - 20. Sort j, -4, h in ascending order.
-4, j, h
Suppose 14 = -5*m + 4. Let t be m/(((-2)/(-5))/1). Put t, -3, -2 in decreasing order.
-2, -3, t
Suppose -6*v = -16*v - 50. Sort -4, v, -15 in increasing order.
-15, v, -4
Let n = 31 - 34. Sort 5, -5, n, 0 in descending order.
5, 0, n, -5
Let i = 0.3 + -0.1. Let w = -0.1 + i. Let u = 4 + -9. Put u, w, 0.4 in descending order.
0.4, w, u
Let u be (4/(-6))/((-2)/396). Suppose -5*j - 52 = 