Sort 0, f, 5 in decreasing order.
5, 0, f
Suppose 0*o = -4*o + 5*i - 80, -o + 2*i = 20. Put -1/3, 0, 1, o in increasing order.
o, -1/3, 0, 1
Let c be (-8)/(-4) - (-2)/2. Let x(v) = v - 1. Let y be x(c). Put y, -5, 0 in decreasing order.
y, 0, -5
Let w be (10/3)/(8/(-12)). Let n = -1 - -3. Put w, 4, n in descending order.
4, n, w
Let g(a) = -a**3 - 4*a**2 + a - 1. Suppose -z + 3 = 7. Let m be g(z). Let d = 5 - 3. Sort 3, m, d in descending order.
3, d, m
Let g(z) = -z**3 - z**2 + 2*z + 1. Let a be g(-1). Put a, 2, 4 in descending order.
4, 2, a
Let k = 8 - 5. Let y(a) = a**2 - 7*a + 4. Let p be y(6). Sort p, -5, k in ascending order.
-5, p, k
Suppose 4 = -2*g + 4*g. Suppose d + 2*p = 3*p - 1, 0 = -2*d - 4*p + 28. Put g, d, 6 in ascending order.
g, d, 6
Let d = -47 - -52. Sort d, 1, 12 in increasing order.
1, d, 12
Suppose s + l = -3, 4 = -2*l - 0. Let g(q) = -2*q - 15. Let t be g(-10). Put t, 0, s in descending order.
t, 0, s
Suppose 2*r - 4 = 0, -b + 10 = -2*b + 3*r. Let g = -1 - b. Suppose -2*h = -0*i + 5*i, 0 = -g*i - 2*h + 4. Put i, 5, 2 in increasing order.
i, 2, 5
Let f = -15.7 + 16. Put f, 0.02, 3 in ascending order.
0.02, f, 3
Let o be (-6)/5*(8 - 13). Let j = 2 - o. Sort j, -1, 2.
j, -1, 2
Suppose 3 = 7*a - 11. Let b(n) = n**2 - 3*n - 3. Let h be b(-2). Let q = h + -4. Sort a, q, 1.
1, a, q
Suppose -2*c = -4*o + 3 - 1, -3*c - 2*o + 5 = 0. Sort 2, 4, c in increasing order.
c, 2, 4
Suppose -1 = 2*c + 1. Suppose 3*i = 2*i + 5. Sort c, 3, i in descending order.
i, 3, c
Let l(h) = -13*h + 25. Let x be l(2). Sort 2, x, 0 in descending order.
2, 0, x
Let v = 15 - 9. Suppose 0 = -p - 2*u + v, -4*u + 9*u - 25 = -5*p. Suppose p*o - 2 = 14. Sort 2, -5, o in increasing order.
-5, 2, o
Let u(a) = -2*a**3 + 4*a**2 - 2*a - 1. Let w be u(2). Suppose 2*o - 7 = -9. Put -4, w, o in increasing order.
w, -4, o
Let g be (184/(-30) - 2/(-15))/(-2). Let w(v) = v + 5. Let u be w(-5). Sort u, -1, g in decreasing order.
g, u, -1
Let f = -7 - -9. Sort -3, -4, f in decreasing order.
f, -3, -4
Let s = -9 - -12.5. Let p = s - -0.5. Sort 2, -5, p in descending order.
p, 2, -5
Let j = -19 + 21. Sort -3, j, -1 in ascending order.
-3, -1, j
Suppose -13*v + 10*v - 6 = 0. Suppose -2*f + 16 = -6*f. Sort v, 2, f in increasing order.
f, v, 2
Let h = 11 + -21. Let z = h + 10.3. Sort 0, z, 2/3.
0, z, 2/3
Let o = 9 - 6. Let s(y) = -y**3 - 2*y**2 + 4*y. Let c be s(-3). Sort c, o, 1.
c, 1, o
Suppose -4*d = -4*k + 18 - 46, -d + 15 = -5*k. Put d, -3, 2, -8 in decreasing order.
d, 2, -3, -8
Suppose -3*o - 4*x + 4 = o, -2*x + 17 = 5*o. Sort 0.4, -2/11, o in decreasing order.
o, 0.4, -2/11
Let s(v) = -v. Suppose -2*h - 2 = 2. Let i be s(h). Suppose -2*r + 5*w - 1 = 3, -8 = 4*r - w. Sort r, -3, i in descending order.
i, r, -3
Let j be 1/5 + (-24761)/55. Let l be j/(-117) - 4/(-26). Sort 3, l, 2 in decreasing order.
l, 3, 2
Let o be (-5)/10*(-4)/22. Put -1, o, 6 in ascending order.
-1, o, 6
Let l(o) = o**3 + 2*o**2 - 4*o. Let h be l(-3). Sort 7, -4, 0, h in ascending order.
-4, 0, h, 7
Let k = -4 - -4. Let s = -0.77 + 0.8. Let m = 2.97 + s. Put k, 2, m in increasing order.
k, 2, m
Let m be (4 - 3)/((-10)/(-4)). Let y(i) = i + 9. Let v be y(-4). Suppose -5*c - 25 = 2*j, 3*c + 10 = -j - v. Put c, m, -2 in decreasing order.
m, -2, c
Suppose y + 2*y = 9. Put -5, 5, y in descending order.
5, y, -5
Suppose 5*i - 292 = v + 109, -5*v = -i + 85. Suppose 3*t = -t + i. Suppose 3*m + 5 = t. Sort 2, -3, m in decreasing order.
m, 2, -3
Let b(t) = -t**3 + 2*t**2 + 3*t - 2. Let l be b(2). Put l, 14, 5 in descending order.
14, 5, l
Let i = -6 - -8. Sort -5, i, 4 in decreasing order.
4, i, -5
Suppose 4*j - 27 + 11 = 0. Sort -2/7, 3, j, 1/2 in increasing order.
-2/7, 1/2, 3, j
Let m(a) = -a**2 + 10*a - 4. Let n be m(9). Suppose -5*s + q = -13 - 3, 4*s - 3*q = 4. Sort s, 2, n.
2, s, n
Let r(m) = 3*m + 19. Let s be r(-8). Suppose 4 = 3*p + 1. Let h = -233 - -1161/5. Sort h, s, p.
s, h, p
Let c = 0.3 - 0.1. Suppose 2*r - 4*o = -2*r - 36, 2*r + 3*o + 13 = 0. Let k be 2*10/r*2. Sort c, 5, k in ascending order.
k, c, 5
Let f be 2/(-4) - 14/(-4). Suppose 0*c + 25 = 5*c. Put c, f, 9 in ascending order.
f, c, 9
Suppose k + 18 = 4*g, 3*k - 4 = 3*g - 13. Sort -5, -4, k, 1 in decreasing order.
k, 1, -4, -5
Let f = 2 + -2. Let z be 1/2 + (-3)/2. Put -1/4, z, f in decreasing order.
f, -1/4, z
Let n = -1.8 - -1.4. Put -1, n, -0.1 in descending order.
-0.1, n, -1
Suppose 5*a + 4*g = 35, 2*a - 10 = 5*g - 29. Sort 2, 7, 1, a in decreasing order.
7, a, 2, 1
Let c be ((-1 - -2)*2)/1. Let z be (c - 0)*(-1 - -3). Suppose f - 4*d - d = 24, -f + d = -4. Sort 0, f, z.
f, 0, z
Let l = 13 - 23/2. Suppose d - 3*w + 14 = 0, 0*d - 4*d = w + 17. Sort -1, l, d.
d, -1, l
Let s(i) be the second derivative of -i**4/12 - 3*i**3/2 - 5*i**2 + 2*i. Let f be s(-7). Sort -5, -4, f in ascending order.
-5, -4, f
Let r = 9 - 6. Suppose 3*p - r*l = 75, 105 = 4*p - 0*p - 3*l. Let y be 8/p - 8/12. Sort 3/2, y, -2 in ascending order.
-2, y, 3/2
Let o be (-1)/((-4)/(-4) + -4). Sort -1/2, -3, o in descending order.
o, -1/2, -3
Let z = 7 - 3. Let b be 9/(-6) - 18/z. Let j = b - -8. Sort -5, j, -4.
-5, -4, j
Let r = -0.4 + -72.6. Put 0.1, -2/15, r in decreasing order.
0.1, -2/15, r
Let u = 0.1 + -11.1. Let q = -6 - u. Let g = -14 - -18. Sort q, g, -0.4 in decreasing order.
q, g, -0.4
Let c(i) = i**2 + 4*i + 4. Let j be c(-4). Put j, -1, 1 in descending order.
j, 1, -1
Suppose 2*m + 20 = -0. Let f be (-2)/(-6) - m/6. Let o be f/(-2 - -4) + -2. Put o, -4, -2 in decreasing order.
o, -2, -4
Let h be 4/18 + 7/((-1638)/88). Sort 2, h, 0, 0.07 in descending order.
2, 0.07, 0, h
Let z be (-2)/(-4) + 117/(-26). Put z, -3, 2 in increasing order.
z, -3, 2
Let a = -9 + 18. Let w be (6/(-8))/(a/(-36)). Put -5, 4, w in ascending order.
-5, w, 4
Let o = 7 - 5. Let x be ((-5)/4)/((-3)/(-12)). Sort 1, x, o in ascending order.
x, 1, o
Let t = 578/5 - 116. Let p = 1.5 + 1. Let l = p + -0.5. Sort t, -2/7, l in decreasing order.
l, -2/7, t
Let q = -5 + 5. Let z(k) = -k**2 + 4*k + 7. Let f be z(6). Sort f, q, -1.
f, -1, q
Let l = -148 - -2071/14. Sort 0.1, l, 5.
l, 0.1, 5
Suppose -3*c + 2*j = 24, 0 = 3*c - 0*c + j + 15. Let q = c + 9. Suppose 0 = -0*t - 2*t + 8. Put -2, q, t in ascending order.
-2, q, t
Let y = -89 + 88. Let d(p) = -p**3 - 4*p**2 - 2*p. Let r be d(-3). Put r, y, 1 in descending order.
1, y, r
Let m be 5/(-35)*8 + (-2)/(-14). Sort 0, -5, m in ascending order.
-5, m, 0
Let h(q) = q**2 + q + 1. Let t be (-10)/6 - (-2)/(-6). Let w be h(t). Let f be w/(-21)*13 + 2. Put f, 0.4, 5 in decreasing order.
5, 0.4, f
Suppose 5*m = t - 22, 10 - 30 = -4*t + 3*m. Sort -7, t, 5 in ascending order.
-7, t, 5
Let b(x) = 2*x + 4. Let d be b(-7). Let u be 30/8 + d + 7. Let z = -0.11 - 0.39. Put z, u, 5 in decreasing order.
5, u, z
Let c = 7.6 + -7. Let y = -0.6 + c. Put -3, -2, y in decreasing order.
y, -2, -3
Let v = 61 + -63. Sort 1/4, 7, v, -0.1 in descending order.
7, 1/4, -0.1, v
Let d = -649/8 - -81. Sort d, 3, -0.5 in decreasing order.
3, d, -0.5
Suppose 89*s - 83*s = 12. Sort 30, s, -4.
-4, s, 30
Let h(x) = -x + 2. Let q be h(4). Suppose -2*j + 25 = 3*j. Let l = -0.1 - -0.3. Put l, q, j in descending order.
j, l, q
Let b = 6/101 + 124/1313. Let d = 0.37 - -0.13. Sort d, -0.3, b in ascending order.
-0.3, b, d
Let q = -18 + 17.5. Sort 3, 1, q in descending order.
3, 1, q
Let u(t) = t**3 + 8*t**2 - 8*t + 6. Let y be u(-9). Let i be (5/4)/(y/12). Sort 3, 0, i in ascending order.
i, 0, 3
Let i = 18 + -21. Let p(w) = -w - 1. Let j be p(4). Suppose 0 = -2*a - 0*a + 2. Sort i, a, j.
j, i, a
Let l = -49 - -86. Suppose -3*x - l = 11. Let h = 33/2 + x. Sort 1, h, -2/7 in increasing order.
-2/7, h, 1
Let r = -4 - -4. Let s = 2 + -5. Let g be s/(-2 + 7/2). Sort g, 4, r in decreasing order.
4, r, g
Let x be (4*-1)/2*2. Suppose -5*c + 3*w + 11 = 0, 5*w + 8 = w. Sort x, -3, c.
x, -3, c
Let b(u) = -u**3 + 13*u**2 - 12*u + 6. Let p be b(12). Let n be 3/(-18) - (-4)/p. Sort n, -2, 0.
-2, 0, n
Let h = 0.03 + 0.47. Sort -2/3, h, -1/4 in descending order.
h, -1/4, -2/3
Let s = -28/153 - 2/51. Suppose -5*k = -61 + 76. Put k, s, -0.4 in descending order.
s, -0.4, k
Let s be (4/5)/((-2)/(-15)). Let z be (-48)/80*14/s. Put 2/7, z, 1 in increasing order.
z, 2/7, 1
Let z = 10 - 7. Let o = 0.8 - 3.