 - 25 = s*r - 10. Put r, -1, 3 in descending order.
3, -1, r
Suppose 14*w = 15*w, -4*h + 3*w = -12. Suppose 0 = -0*j + 4*j. Sort -2, j, h in descending order.
h, j, -2
Let g(p) = 4*p - 33. Let x be g(8). Put 4, 11, x, -2 in increasing order.
-2, x, 4, 11
Suppose -6*m = -0*m - 24. Let o be ((-6)/5)/(6/20). Let h be (-2)/(-4) - 6/o. Put -5, m, h in descending order.
m, h, -5
Suppose 3*c + 1 = 7. Let a be (-3 - 1/(-1))/c. Let f = 0.2 - 0.3. Put a, 1/5, f in decreasing order.
1/5, f, a
Let h(u) = 2*u + 19. Let r be h(-9). Put r, -3, -4 in decreasing order.
r, -3, -4
Let z(c) = c**2 - 16*c - 16. Let p be z(17). Put p, 3, -1 in decreasing order.
3, p, -1
Let v = 133/3 - 44. Let s = v - -1/6. Let r = 6 + -2. Sort -0.5, r, s in decreasing order.
r, s, -0.5
Let x(u) = 2*u + 2. Let h be x(2). Suppose -h*n + 2*n = 20. Let z be (-28)/(-42)*(-6)/4. Sort n, z, 3.
n, z, 3
Let h(f) = f**3 - 13*f**2 - f + 14. Let r be h(13). Put 5, r, -5, -3 in decreasing order.
5, r, -3, -5
Let x = -5770/9 + 640. Sort 4, -4, x.
-4, x, 4
Let u = 6 - 7. Let v = -24 + 214/9. Sort u, v, 3.
u, v, 3
Let g = -0.526 - -0.026. Let z = -2 + 0. Let j = z - 1. Put j, g, 2/23 in increasing order.
j, g, 2/23
Let r be (-40)/12*24/(-10). Let h be (-1 - -7) + r + -10. Put 1/4, h, 2 in decreasing order.
h, 2, 1/4
Let f = -4 - -8. Suppose -2*n = -f*v + 22, -3*v - v + 4*n + 24 = 0. Suppose l + 0 = -5. Sort 1, l, v in increasing order.
l, 1, v
Let d(v) = -v - 3. Let j be d(-8). Sort j, -2, 2 in ascending order.
-2, 2, j
Suppose -1 = -l + 4*a, -4*l + 4*a - 11 = -3. Let h be 0 + 94/(-30) - l. Sort -0.5, h, -0.4.
-0.5, -0.4, h
Suppose -y = x + 5, 3*y + y - 3*x + 6 = 0. Put -4, y, -14 in decreasing order.
y, -4, -14
Let c(t) = t**3 - 4*t**2 - 4*t - 3. Let b be c(5). Let y = 8 - 5. Suppose 0 = -5*g + y*g. Put 1, b, g in decreasing order.
b, 1, g
Let x = 22 + -22.9. Let d = 0.01 - 0.11. Let l = x + d. Put l, -2/5, -0.5 in decreasing order.
-2/5, -0.5, l
Let b = -0.7 - 2.3. Let l = -0.23 + -6.17. Let o = -6 - l. Put o, -4, b in increasing order.
-4, b, o
Let x(v) = -v - 5. Let d be x(-9). Suppose 21 = -5*s - d. Let n = s - -2. Put -1, 4, n in increasing order.
n, -1, 4
Let t(q) = q**2 + 12*q + 11. Let a be t(-11). Let o be (-1 - 1) + 2 - -3. Suppose -7*l + o*l = a. Sort l, 4, 3 in ascending order.
l, 3, 4
Let f = 19 - -2. Let n = -19 + f. Put n, 5, -2/11 in ascending order.
-2/11, n, 5
Let t = 9.3 - 1.3. Let c = t + -3. Sort -1/3, c, 1.
-1/3, 1, c
Let t = 0.4 - 0.4. Let l be -4 + (4 + -1 - 2). Sort -1, t, l in descending order.
t, -1, l
Let n = -127 + 887/7. Let l = -0.7 + 0.7. Put l, n, -0.5 in increasing order.
-0.5, n, l
Let f = 29 - 31. Put -15, f, 1/11 in descending order.
1/11, f, -15
Let a = -81 - -85. Sort 72, -2, a, 0 in increasing order.
-2, 0, a, 72
Let o be 4/2 + -5 + 1. Let g = 1 + o. Put -4, g, 3 in increasing order.
-4, g, 3
Let y be (-3)/108 + (-2)/(-8). Let p = 0.025 + 0.375. Sort p, y, -2/21 in increasing order.
-2/21, y, p
Suppose -3*w + 6*w + 1 = i, -w - 11 = 5*i. Let z be 3/(-3) - i*3. Put -1, z, 0 in descending order.
z, 0, -1
Let l be 5/2*(-1)/(-15). Let v be ((-1)/(-2))/((-2)/8). Let c = 116 - 116.5. Sort c, v, l.
v, c, l
Let j be ((-8)/3)/(6/1). Sort -1/10, -0.2, j.
j, -0.2, -1/10
Let q be 3/(-9)*(4 - 7). Let f(r) = r**3 + 3*r**2 - 5*r + 1. Let a be f(-4). Sort q, a, -4.
-4, q, a
Let i(f) = -f**2 - f + 1. Let y be i(-3). Let q = -3 + 3. Sort q, y, 2 in increasing order.
y, q, 2
Let t = -6 - -3. Let z be (-11)/55*(-1 + -1*4). Put z, t, 5 in increasing order.
t, z, 5
Let p = -21.2 - -21. Let i be 2/(-3)*9/(-15). Put p, i, 2/7 in decreasing order.
i, 2/7, p
Suppose 0 = -5*v + 3 + 12. Suppose 4*o - 1 - 3 = 0. Let t(f) = -2*f**2 - 1. Let n be t(1). Sort n, o, v in descending order.
v, o, n
Let o(p) be the first derivative of p**4/4 + p**3 + p**2 + p - 2. Let w be o(-2). Let c be (-2)/3*(-2 + 5). Put w, 3, c in decreasing order.
3, w, c
Let c = 47/2 + -24. Let x = 6.4 - 6. Let d = x + -0.8. Sort c, 1/9, d in descending order.
1/9, d, c
Let g be ((-3)/(-63))/(6/54). Sort 6, -1/2, g.
-1/2, g, 6
Let f = 0.087 + -0.087. Sort f, -0.2, -3, -9/5 in increasing order.
-3, -9/5, -0.2, f
Let m(b) = -b**2 + 3*b + 4. Suppose 5*w + k - 23 = 0, 2*k + 3 = 3*k. Let g be m(w). Suppose 4*z = 2*o + 2, 2*z + 3*o = 6 + 15. Put -3, g, z in ascending order.
-3, g, z
Let b be -1 - 2/(-6) - 48/(-96). Sort b, -9, 0.4 in increasing order.
-9, b, 0.4
Let n be 2*(-3)/6*2. Let y be 1 - 1 - (n + 5). Sort 1, -4, y in descending order.
1, y, -4
Suppose 6*t + 45 = t. Let r be ((-8)/5)/(t/(-45)). Sort r, 2, -5.
r, -5, 2
Let c be (-1 - -3)*2/6. Let q = 24.2 - 24. Sort c, 1, q in descending order.
1, c, q
Suppose -b + 2*i + 7 = 0, b - 5 - 3 = 3*i. Suppose 3*d - 4*d = -4, -3*n - b*d + 32 = 0. Let a(h) = -h**2 + 4*h. Let f be a(3). Put n, f, -3 in decreasing order.
n, f, -3
Suppose 6 = 3*v - 5*v. Put -5, v, 5 in descending order.
5, v, -5
Let u(q) = q - 9. Let c be u(9). Let x = c - 3. Put -2, 0.4, x in descending order.
0.4, -2, x
Let a = -0.3 + 0.5. Let h be (-4)/(-2)*3*4/(-8). Let k(o) = -4*o**3 - 2*o**2 + 1. Let r be k(1). Sort a, h, r in decreasing order.
a, h, r
Let j(o) = 3*o**2 - o. Let s be j(1). Suppose 90 = 3*i - s*v, -2*v - 60 = -5*i + 3*i. Let l = -388/13 + i. Sort -5, 3, l in decreasing order.
3, l, -5
Let x = -19.8 + 20. Put -4, -1/2, x in increasing order.
-4, -1/2, x
Let l = 0.13 + 13.87. Let g = -13.7 + l. Sort g, -5, 2 in descending order.
2, g, -5
Let u = -3 - -3.8. Let w = 1 - u. Let l = 0.1 - w. Sort l, -4, 0 in decreasing order.
0, l, -4
Let t(d) = d**3 + 6*d**2 - 6*d + 10. Let w be t(-7). Suppose g + 0*g = -2*y, w*g = -12. Put 3, y, -20 in decreasing order.
3, y, -20
Let y = -60 + 188/3. Let m = 2197/12 - 741/4. Let c = m + y. Sort -2/11, 0, c in decreasing order.
c, 0, -2/11
Let u = -27 + 22. Sort -0.4, u, -3/5.
u, -3/5, -0.4
Let z = -35 - -36. Put -0.08, z, 0.1 in decreasing order.
z, 0.1, -0.08
Let h = -14/95 + -1/19. Let m = 6.9 + -7. Put h, 1/2, m in descending order.
1/2, m, h
Let p be 9/(-6)*(-5 - -3). Sort -1/3, 2/3, -14, p in ascending order.
-14, -1/3, 2/3, p
Let s = 39 - 44. Put 5, s, 4, 0 in descending order.
5, 4, 0, s
Let b = 1.8 + -2.8. Sort b, 7/4, -4 in ascending order.
-4, b, 7/4
Let r be 12/(-8)*4/6. Let a be (-1 - -1 - r) + 14. Suppose 0*h + a = 3*h. Sort 1, h, -2 in increasing order.
-2, 1, h
Let p = 6 + -3. Suppose -4*g - 33 = 5*j, 4*g + 4 = 7*g - 2*j. Put p, g, 4 in decreasing order.
4, p, g
Let z be (-4)/(-6) + 616/(-33). Let k be (2/(-6))/(2/z). Put k, -4, -1 in increasing order.
-4, -1, k
Let o be 3*8/(-84)*-7. Sort 7, o, 3, 4 in ascending order.
o, 3, 4, 7
Let a be (-3)/30*(-3272)/(-9). Let r = 109/3 + a. Let v = r + 17/90. Sort -5, v, -1.
-5, -1, v
Suppose 5*n = 2*m + 2, 5*m + 0*n - 5*n - 10 = 0. Sort m, -8, 1 in decreasing order.
m, 1, -8
Suppose 5*r = -d + 10, -5*d + 12 = -4*r - 9. Let i be 4 + (4/2)/(-1). Put i, 3, d in descending order.
d, 3, i
Let y = -19 - -16. Put 4, y, -4 in descending order.
4, y, -4
Let b = -0.1 + 0.1. Let d be (2 + (-12)/8)/(-1)*-2. Sort -3, b, d in ascending order.
-3, b, d
Let j be 6/9 + 17/(-3). Let g = -21 + 21. Suppose 1 + 4 = y. Sort j, y, g.
j, g, y
Let c = -18 + 22. Put -2, c, -1 in descending order.
c, -1, -2
Let i = 2 + 7. Sort i, 2, -4/5 in descending order.
i, 2, -4/5
Suppose 24 = q + 5*t, q - 23 = -4*t - 3. Let v be ((-1 - 0) + 1)*-1. Let w be (6 + v/2)/2. Sort 2, q, w in increasing order.
2, w, q
Let b = 22 + -21.89. Let t = -2.11 + b. Sort t, 2/15, 0.4 in ascending order.
t, 2/15, 0.4
Suppose -t - 2 = -3. Suppose 20 = -2*m - 2*m. Let g = -2 + -2. Put g, m, t in ascending order.
m, g, t
Suppose 2*z - 20 = 6*z. Sort z, 0, -4.
z, -4, 0
Suppose 10 + 2 = 3*k. Suppose 0 = k*i + 2 + 14. Sort -2, 4, i in decreasing order.
4, -2, i
Let v be (-19)/5 + (9/5 - 2). Put 31, v, -1 in increasing order.
v, -1, 31
Let j be ((-36)/(-15))/((-2)/(-5)). Let m(g) be the second derivative of g**3/3 - 4*g**2 + g. Let k be m(j). Put 1, k, 0 in increasing order.
0, 1, k
Suppose -4*h + 0*h + 132 = 0. Suppose -3 + h = 3*m. Let d be (4 - m)*(-1)/2. Sort -3, d, 1.
-3, 1, d
Let s = 11 + -7. Suppose 5*t = 4*f + 3*t - 24, 3*f = -4*t + 7. Suppose 5*k - 4*k = f. Sort 3, k, s in descending order.
k, s, 3
Let i = -3.01 + 0.01. Let y be 1 + 1/((-21)/30). Sort -1, 