n decreasing order.
r, f, -1
Let n be (-2)/(-2) + -1 + (-12)/4. Sort 1, -4, -2, n in ascending order.
-4, n, -2, 1
Let p = 5 + -3. Suppose b + p*b - 15 = 3*m, 0 = 4*m + 2*b + 2. Let v(w) = -w + 1. Let z be v(m). Sort 4, -2, z in decreasing order.
4, z, -2
Let x be (4 - 1)*1/3. Suppose 10 = -2*b, -4*b - 21 = -4*p - x. Suppose p*n + 3 = 3*n. Sort n, 3, 2 in descending order.
3, 2, n
Suppose 2*c - 3*c - 5 = 0. Let q = 227 + -225. Put c, q, 3 in increasing order.
c, q, 3
Let j be ((-108)/168)/(6/7). Let h = -0.6 - -0.2. Put j, -1/3, h in ascending order.
j, h, -1/3
Let s be ((60/(-27))/5)/(-1 - -3). Let m = 32/165 - 2/33. Sort m, s, -0.3.
-0.3, s, m
Let i be -2 - (6/(-2))/(9/(-3)). Suppose o = 4*o. Sort o, 5, i in decreasing order.
5, o, i
Let p = -1.1 - -7.1. Let c = -6 + p. Put 3/4, c, 1 in decreasing order.
1, 3/4, c
Let j = 3.2 + -3. Let p = 9 - 14. Sort -2/7, p, j in decreasing order.
j, -2/7, p
Suppose -40 = -5*t + 2*f, 0*t - 2*t = -f - 16. Suppose -t*c + 3*c = -10. Suppose 0 = -a - c - 1. Put -1, 2, a in ascending order.
a, -1, 2
Suppose -s - z - 3 = -0*s, -4*s - 5*z = 17. Sort s, 4, 3 in decreasing order.
4, 3, s
Suppose 0 = 3*u + 4*h - 10, 0 = 3*u - 2*u + h - 3. Put u, -5, 3 in ascending order.
-5, u, 3
Let k be 1*2*(-13)/39. Let b = 379/4 - 96. Let n be (6/28)/(3/(-4)). Sort n, k, b.
b, k, n
Let a = -145 + 136. Put -2/3, a, 1 in increasing order.
a, -2/3, 1
Let m = -13 + 9. Let n be (-2)/(-3) - 5/(-15). Sort n, m, 0 in increasing order.
m, 0, n
Suppose 0 = 4*b - b + 30. Let f = b + 7. Let v(n) = n**3 + 2*n**2 - 5*n - 4. Let g be v(f). Put g, 0.3, -5 in ascending order.
-5, 0.3, g
Let r(w) = -4 + w - 2 - 2. Let n be r(6). Put 3, -4, n in decreasing order.
3, n, -4
Suppose 6*c = 10*c + 4. Let k(b) = -b. Let h(d) = d**3 - 6*d**2 + 3*d + 7. Let x be h(5). Let p be k(x). Put 4, p, c in decreasing order.
4, p, c
Let c = -6.11 + 0.11. Let o = c - -10. Let k = o - 7. Sort 0.2, k, -2/5 in descending order.
0.2, -2/5, k
Let d(l) = l**2 + 11*l + 22. Let m be d(-9). Put 1, m, 5 in descending order.
5, m, 1
Let b be (1 - -3)*6/(-64). Let i be 3 + 133/(-42) + 34/60. Sort i, -2, b in descending order.
i, b, -2
Let k = 27 - 47. Let a = -119/6 - k. Sort -8, -0.3, a.
-8, -0.3, a
Let g(j) = 3*j**3 - 9*j**2 - 20*j - 11. Let q(l) = -2*l**3 + 6*l**2 + 13*l + 7. Let c(p) = 5*g(p) + 8*q(p). Let z be c(4). Let a = 14 + -16. Sort 2, z, a.
a, z, 2
Let t = -7 + 5. Let z = -5 + 8. Let p = 211/152 + -24/19. Sort p, t, z in ascending order.
t, p, z
Suppose 2*i + 0 = 2. Let z be (i - 0) + (-10)/2. Sort z, 4, -3.
z, -3, 4
Let j = -15.6 + 15.5. Put 0.27, 0.5, 3, j in decreasing order.
3, 0.5, 0.27, j
Let a be (-3 - -6)/(2/(-2)) - -4. Sort a, 3, -7.
-7, a, 3
Let h = -0.4 + -0.1. Let w = 25938/13 + -143457/65. Let f = -211 - w. Sort h, -1, f in ascending order.
-1, h, f
Let v(z) = z + 5. Let m be v(-5). Let h be 1 - m - (-8)/2. Let f = -0.8 - -0.9. Sort h, f, -1.
-1, f, h
Let k = -4.3 + 23.1. Let f = -22 + k. Let j = f - 0.8. Sort j, 1/3, 1/6.
j, 1/6, 1/3
Suppose -t + 5*g = -23, 5*g - 3*g - 2 = -t. Let f be ((-3)/(-1))/((0 + -3)/12). Let v = f + t. Sort v, 1, 5 in ascending order.
v, 1, 5
Let c = 11.84 - -0.16. Let f = c - 17. Put -3, 2/5, f in decreasing order.
2/5, -3, f
Let s = 63 - 61. Sort 1, s, -3.
-3, 1, s
Let q = 52 + -47.2. Let t = q - 0.8. Let b = 2 + -1.9. Put t, 0.5, b in descending order.
t, 0.5, b
Suppose -3*v - 2*v = -50. Let r be (-40)/v*3/16. Let k = 7 - 7.3. Put k, 0, r in decreasing order.
0, k, r
Suppose -2*d + 9 = 7. Sort d, -2, 3 in decreasing order.
3, d, -2
Let v = -62/5 - -196/15. Put -4, v, 3 in increasing order.
-4, v, 3
Let j = 418 + -9612/23. Sort 3, j, 2.
j, 2, 3
Let f(c) = 7*c**2 + 13*c - 4. Let k(n) = -n**2 - n + 1. Let o(l) = -f(l) - 6*k(l). Let h be o(-6). Put 3, 0, h in increasing order.
0, 3, h
Suppose 0 = f - 6*f + 25. Suppose 0 = 5*x - 3 - 17. Sort f, x, -2 in decreasing order.
f, x, -2
Let r be (6/(-5))/(9/(-60)). Suppose 5*m - 17 = r. Suppose 3*s - 6 = o - 4*o, -o - 5*s - 2 = 0. Sort m, -3, o in decreasing order.
m, o, -3
Let i = -14 + 17. Put 5, -1, i, -5 in decreasing order.
5, i, -1, -5
Suppose -2*x = -0*x - 2. Let u be (-9 - -15) + -3*x. Sort u, -3, -4.
-4, -3, u
Let v be (4/6)/((-10)/15). Put 0, 4, -5, v in ascending order.
-5, v, 0, 4
Suppose 3 = 2*x + 13. Let y = -11 + 15. Suppose 4*p + 1 = f, -4*f + 4*p = f - 5. Sort y, f, x in decreasing order.
y, f, x
Let a = -2.6 + 2.1. Sort 3, a, -0.2 in decreasing order.
3, -0.2, a
Suppose 0 = -5*s + 2*t - 3, -7 + 1 = 2*s - 2*t. Put 3, s, 4 in decreasing order.
4, 3, s
Let s be (-10)/((1 + -3)*-1). Let i = 0 - 1. Sort s, i, 4 in increasing order.
s, i, 4
Let i(o) = -o. Let n be i(-2). Suppose n*r + 10 = 0, 3*k + 0*r = -r - 14. Sort k, 2, 0 in increasing order.
k, 0, 2
Suppose 4*d - 2*m = -12, 3*m + 2 = -5*d - m. Let b be d/(-6) - 30/9. Sort b, -2, 2 in ascending order.
b, -2, 2
Let p(n) = n + 10. Let x be p(-9). Let o be x/((-2 - -4) + -1). Let q be (-2)/(-4) + 21/6. Sort o, q, -2 in ascending order.
-2, o, q
Suppose -2*z - 5*n - 5 = 0, -z - 5*n - 5 = -0. Sort z, 2, -1, -4 in ascending order.
-4, -1, z, 2
Let n be (57/(-190))/((-18)/(-8)). Sort n, -5, 0, 3/5 in descending order.
3/5, 0, n, -5
Suppose 5*u + 2*b - 20 - 5 = 0, 2*u - 4*b = 34. Let o be (2 - (-34)/(-8))*4. Let x = o + u. Sort x, 3, 2 in ascending order.
x, 2, 3
Let s(z) = 2*z - 7. Let b be s(7). Let p = -2 + b. Let h = -4 - -7. Put h, p, 1 in descending order.
p, h, 1
Suppose -10 = -2*a - 4. Let k be (-6)/a + 5 + 0. Suppose -u = 4*j, 5 = u - k*u - 3*j. Sort -3, u, -1 in descending order.
-1, -3, u
Let b = -42 + 43.1. Sort b, -2, -0.5 in decreasing order.
b, -0.5, -2
Let x = -1.67 + 6.67. Let z = -3.6 - 0.4. Sort -0.3, z, x in decreasing order.
x, -0.3, z
Suppose 3*d - 2*d + 3*t - 1 = 0, -4*d = -t + 22. Put 5, d, 2, -8 in descending order.
5, 2, d, -8
Let w = 5 - 8. Let d = 3 - 1. Sort 3, w, d in ascending order.
w, d, 3
Let a(q) = q**2 - 9*q + 8. Let l be a(5). Let z be (-4)/l - 10/(-6). Put 0, z, -3 in descending order.
z, 0, -3
Let a(u) = u + 29. Let i be a(-27). Put -5, i, 1, 3 in increasing order.
-5, 1, i, 3
Let w(v) = -2*v**2 + 14*v - 15. Let s be w(6). Sort -4, 1, s, -1/5 in decreasing order.
1, -1/5, s, -4
Let k(f) = 2*f**3 - 14*f**2 + 7*f - 17. Let c(g) = 3*g**3 - 21*g**2 + 11*g - 26. Let q(t) = 5*c(t) - 8*k(t). Let b be q(7). Sort 0, b, 2 in descending order.
2, 0, b
Let p = 1.3 - 1. Put 2/7, p, 1/2 in decreasing order.
1/2, p, 2/7
Let s = -1.71 + 1.1. Let w = s - -0.01. Let v = 0.6 + -0.6. Put w, v, 4 in decreasing order.
4, v, w
Let h = 11 - 7. Suppose -h*k + 8*k = -12. Put -2, k, 2 in decreasing order.
2, -2, k
Let u be (0 + 0)/(-2) - 0. Let o(x) = 3*x**3 - 4*x**2 - 29*x - 2. Let i be o(4). Put i, 2, u in ascending order.
u, 2, i
Suppose 52 - 10 = 3*c. Sort -3, c, 2 in ascending order.
-3, 2, c
Let g = 133 + -797/6. Let u = 0.3 + 0.7. Put 2, u, g in descending order.
2, u, g
Let f = 48 + -34. Suppose 0 = 5*s - 3*y - f, -6*s + s - 1 = 2*y. Sort -5, s, -2 in decreasing order.
s, -2, -5
Let j(z) = -z**2 - 6*z - 4. Suppose 4*w = 2*v - 14, 0 = -2*w + w - 3*v - 14. Let n be j(w). Suppose -62 = 22*m + 4. Put -1, n, m in ascending order.
m, -1, n
Suppose 0 = 4*c + 4*o - 4, -9 = -3*c - 2*o + 5*o. Let w be 0 + 6 - (-75)/(-25). Sort w, -4, c in descending order.
w, c, -4
Let b = -0.45 - -0.05. Let t be (2 + 1)/(-9 + 7). Put 0.4, b, t in increasing order.
t, b, 0.4
Let f(m) = m**2 + 9*m + 8. Let s be f(-8). Let y = 17 - 19. Put y, s, -3 in decreasing order.
s, y, -3
Let t = -0.18 + 3.18. Sort 0.5, t, 2/9 in descending order.
t, 0.5, 2/9
Let n = 2.1 - 2.6. Sort -1/7, 1, n.
n, -1/7, 1
Suppose 4*y - 56 = q, 4*y - 40 - 4 = -2*q. Suppose 2*w - 4*h = 1 - y, 3*w - 3*h = -15. Put 2/3, w, 5 in decreasing order.
5, 2/3, w
Let v = -11 - -6. Suppose 3*c + 2*z = -3*z - 37, 0 = 2*c + z + 13. Put v, c, 4 in ascending order.
v, c, 4
Let r = 1 + 2. Suppose -5*d = s - 32, -5*d - 3*s = -r*d - 18. Suppose -d*p + p + 25 = 0. Sort -4, -3, p in descending order.
p, -3, -4
Let f(z) = -z**2 - 4*z + 4. Let a be f(-5). Let i be (-8)/((-2 - a) + -1). Let o = 2 - i. Sort 1, o, -4.
-4, o, 1
Suppose 0 = 2*q + 4 + 6. Put 4, q, -1 in descending order.
4, -1, q
Let a = -43.3 - -43. Put -0.4, -5, a, -10 in ascending order.
-10, -5, -0.4, a
Suppose 11 = -