4, -2 in decreasing order.
4, s, -2
Let l = 4.6 - 5. Sort -1, 1/2, l.
-1, l, 1/2
Let s = 17.8 + -16. Let i = 2 - s. Let j be (-16)/(-7) + 8/(-28). Sort -3, i, j in ascending order.
-3, i, j
Let u be (-3 - -3) + 0 - -6. Put 1, 5, u in descending order.
u, 5, 1
Let c be (-2)/(-4) - 1/(-2). Let b be (-7 + 8)/((-2)/8). Sort b, c, -3 in decreasing order.
c, -3, b
Suppose 4*w - 16 = -24. Let k(b) = -b**3 + 3*b**2 + 4*b - 1. Let r be k(4). Put r, w, 5 in increasing order.
w, r, 5
Let z = 5.6 + -6. Let b = -0.2 - z. Let r = 1.2 - 1.3. Sort b, r, -3 in decreasing order.
b, r, -3
Suppose 2*z + 26 = 4*y, 3*y + 4 = 4*z + 36. Put z, -4, -1/2 in descending order.
-1/2, -4, z
Let c be 2/4 + 1/(-2). Let y be (6 - 12) + (-31)/(-5) + 0. Sort c, 0.4, y in ascending order.
c, y, 0.4
Let f(l) = -2*l**2 + 5. Let s be f(0). Let i(h) = h - 1. Let o = 0 - -1. Let j be i(o). Sort s, j, -1 in descending order.
s, j, -1
Let q = -90 + -125. Let i = q - -1501/7. Let b = -1 + 3. Put b, i, 3/5 in decreasing order.
b, 3/5, i
Suppose 2*d + 2*d - 2*p = 0, -3*p + 14 = d. Sort d, 3, 6 in decreasing order.
6, 3, d
Let o = 45 + -41. Sort 3, o, -1, -4.
-4, -1, 3, o
Let i be -4*(-1)/2 - (-11 + 12). Suppose -3*r + 4*u + 32 = 0, 3*u = -r - 9 - 2. Put r, 0, i in descending order.
r, i, 0
Let u = -127 - -127. Sort 15, u, 4 in decreasing order.
15, 4, u
Let l = 1.33 - 0.13. Let j = 6.2 - l. Let g(t) = -t**3 - 5*t**2 - 4. Let q be g(-5). Put j, 3, q in ascending order.
q, 3, j
Let l = -16.2 - -13. Let p = l + 0.2. Let t be (-10)/8 - 2/(-8). Sort t, p, -4/7 in increasing order.
p, t, -4/7
Let g = -3 + 6. Let o be (-7)/5 - (24/(-10) - -2). Sort g, o, -4 in descending order.
g, o, -4
Let z = 9 + -8. Let r be 1/3 - (-13)/(-3). Put r, -3, z in decreasing order.
z, -3, r
Let h be (-3)/(-6) - (-49)/(-42). Put -4, -3, -2, h in descending order.
h, -2, -3, -4
Let k(v) = -v**3 + v**2 + 4. Let l be k(0). Suppose 80 = 3*s + 5*y, 102 = -0*s + l*s + 2*y. Suppose -d = z + 3, d = -4*d - s. Put 1, z, -5 in ascending order.
-5, 1, z
Let t be (4 + 1 + 32/(-6))*6. Sort t, -3, -1, 5 in descending order.
5, -1, t, -3
Suppose -f = -4*f + 18. Let j(x) be the third derivative of -x**4/12 - 11*x**3/6 + 9*x**2. Let s be j(-5). Sort f, 2, s in decreasing order.
f, 2, s
Let h = -2.3 - -2. Let w = -2.3 + 0.3. Sort w, -5, h.
-5, w, h
Let b(j) = j**3 - 4*j + 3. Suppose -3*d - 3*k = 2*d - 19, -4*k + 16 = 2*d. Let r be b(d). Let u = -7 + 4. Put u, r, 2 in decreasing order.
r, 2, u
Let s = 23 + -23.22. Let a = 0.78 - s. Sort a, -0.1, -4 in descending order.
a, -0.1, -4
Let p be 3/1 - 3/((-18)/(-19)). Sort 4, p, 5/3 in increasing order.
p, 5/3, 4
Suppose 3*c = -4*t - 29, c + 11 = -c - t. Let a(s) = -s**3 - 6*s**2 - s - 8. Let v be a(-6). Sort 0.1, v, c in decreasing order.
0.1, v, c
Suppose -20 = -4*l - 2*h, h = -3*l + 3*h + 15. Let i = -1.5 + 1. Put i, 0.3, l in decreasing order.
l, 0.3, i
Let a be 2*(-3 - -7 - 3). Put a, 0, -4 in ascending order.
-4, 0, a
Suppose 2 = k + 3. Let t = -3.4 - -3.7. Let g = -0.4 + 0.8. Sort t, g, k in decreasing order.
g, t, k
Let x(v) = v + 11. Let p be x(-5). Let i = 1 - p. Suppose -4*z = 2*q + 3*q + 24, z + 9 = -2*q. Sort z, i, 1 in increasing order.
i, z, 1
Let x = -3 + 3.2. Let s(q) = -q**3 - 4*q**2 + q + 4. Let y be s(-4). Suppose 4*c + 9 = -c + b, -2 = -c + 4*b. Put y, c, x in ascending order.
c, y, x
Let t = 0.4 - -1.2. Let x = t - -3.4. Sort 2, x, -5 in increasing order.
-5, 2, x
Suppose -9 = -7*q + 4*q. Suppose -m - q + 1 = -2*c, c = 0. Sort 6, 4, m.
m, 4, 6
Let h = -135.5 + 135. Sort -0.3, -1.3, 0.1, h in decreasing order.
0.1, -0.3, h, -1.3
Let k be (3/6)/(1/(-2)). Let g be k/(-4) - 21/(-12). Let r(f) = -f**3 - 2*f**2 + 2*f + 2. Let x be r(-2). Sort x, 3, g in descending order.
3, g, x
Let f be (-36)/(-24) - 0/(4 + -2). Sort -5, f, -2.
-5, -2, f
Let g be (-1)/(-3) - (-304)/(-1200). Sort -0.3, 2/3, g in decreasing order.
2/3, g, -0.3
Let a(d) = d**3 - 7*d**2 + 4*d + 13. Let t be a(6). Let s = -5 + 7. Let r = 6 - 9. Sort s, t, r in decreasing order.
s, t, r
Let p be (-4 + 6)*(-2)/(-4). Let b be (2 + -3)*(p - 2). Sort b, 3, 4 in descending order.
4, 3, b
Suppose -132*m - 10 = -137*m. Sort m, 21, 1 in ascending order.
1, m, 21
Suppose -4*l - 5*p - 34 = 0, p - 28 = -l + 6*l. Let i = l + 7. Sort -4, i, -1 in decreasing order.
i, -1, -4
Suppose -j = 4*u + 18, -3*j + 5*j = -u - 8. Suppose 4*m + 3*g = -4, -5*m + 2*g + 14 = -2*m. Let f be m + (-6)/(-33) + j. Sort f, 4, 0.
0, f, 4
Let w be -2 + 21/12 - -1. Sort 1/4, -0.1, w.
-0.1, 1/4, w
Let j = -11 + 18. Let n = -4.2 - -5.2. Put j, -4, n in increasing order.
-4, n, j
Let t be 8/2*(-2)/(-4). Suppose 3*i - 5*i = t*y - 6, -i - 3*y = -7. Let z = i + -1. Sort -2, 5, z.
-2, z, 5
Let j = -55.8 - -56. Let h = -775/1841 - 2/263. Sort j, h, -4 in descending order.
j, h, -4
Let s = 13 - 11. Put 4, s, 8 in descending order.
8, 4, s
Let s be 0*(-2 - 6/(-4)). Put -4, -5, s in descending order.
s, -4, -5
Let h = -10 + 14. Sort h, -3, -4 in ascending order.
-4, -3, h
Let b be (-45)/(-20)*4/3. Let s = -0.09 + -3.91. Put -3, s, b in descending order.
b, -3, s
Suppose 3*o = 3*i - 2*o, i = 3*o. Put i, -12, -3 in increasing order.
-12, -3, i
Let x be (-3*1/1)/(-1). Let d = 429 + -434. Sort -3, x, d.
d, -3, x
Let q = -17 - -11. Put 2/13, -3, q in increasing order.
q, -3, 2/13
Let x(r) = r + 6*r - 6 + 2 + r**2. Suppose 7*o = 3*o + 5*v - 18, -3*o - 25 = 2*v. Let d be x(o). Sort d, 3, 1 in decreasing order.
3, 1, d
Let a = 0.6 - 5.6. Put -3, 5, a, -2 in descending order.
5, -2, -3, a
Suppose 2*y + 10 = 4*y. Put y, 0, 3, -1 in decreasing order.
y, 3, 0, -1
Let h be 3 + 0 - (-5 - -12). Sort h, -6, 2.
-6, h, 2
Let i = 16 - 11. Let l = -3 - -2. Let r = -0.2 + 0.1. Put l, i, r in ascending order.
l, r, i
Let o be (-1)/(-1) - 1*-11. Suppose 5*a - 2 = -o. Let b be (a/5)/(24/(-20)). Sort b, -4/5, -2 in descending order.
b, -4/5, -2
Let v = -1 - -1. Let l = -3.6 - -3. Let h be (-1)/((-8)/10)*(-8)/(-2). Put l, v, h in decreasing order.
h, v, l
Let r be ((-138)/27)/(-1 - -9). Let b = -1/36 + r. Put 0, b, 5 in decreasing order.
5, 0, b
Let c = 3 - 1. Let z(f) = 4*f - 8. Let h be z(6). Suppose -h = 4*i + 4. Put 5, i, c in descending order.
5, c, i
Let x(f) = f**2 + 1. Let t be x(1). Let p be (-1 + 2)/(-3)*(20 - 32). Let g = 0.4 + 0.1. Sort t, p, g in increasing order.
g, t, p
Let i = -4.87 - 0.13. Sort -2, i, 0.3 in descending order.
0.3, -2, i
Let r(u) = -5*u - 7. Let k be r(5). Let w be 2*1 + k/18. Let j = 2/151 - 336/2567. Sort -5, j, w in decreasing order.
w, j, -5
Let o = -107 + 107. Sort 3, o, 2 in descending order.
3, 2, o
Suppose -2*z - 3*i - 8 = 0, -5*i = -z - 2*i + 5. Suppose 4*d + 2 = 10. Sort d, -4, z.
-4, z, d
Let u(b) = -b**2 + 4*b - 5. Let i be u(4). Let z(m) = m**2 + 10*m - 8. Let x be z(-10). Put 3, i, x in increasing order.
x, i, 3
Let k be -4 + ((-2)/(-2) - 1). Let j(i) = -5*i**2 - 2*i - 1. Let t be j(-1). Let s be t/(2/((-2)/2)). Sort k, s, 3/4.
k, 3/4, s
Let n(t) be the first derivative of t**3/3 - t**2/2 + t - 1. Let r be n(2). Sort -2, r, 1 in ascending order.
-2, 1, r
Let c = -15 + 7. Let x be (-2)/8 + (-66)/c. Suppose -x*o = -4*o. Sort -2, o, 3 in descending order.
3, o, -2
Suppose -25 = -3*c + 44. Let h = c - 25. Let x(z) = -z**3 - 4*z**2 - 4. Let j be x(-4). Sort 1, h, j in increasing order.
j, h, 1
Let b = -0.9 - -1.8. Let p = -0.7 + b. Put -2/7, p, 5/4 in ascending order.
-2/7, p, 5/4
Let o be (-1)/3 + (-176)/12. Let j be o/18*(-3)/20. Let n be 1 - ((-20)/14 + 2). Sort n, j, -2 in descending order.
n, j, -2
Let v = -17 - -13. Suppose -2*l = 5*c - 5, -3*l - 3 = l - 3*c. Suppose l = 4*x - 1 - 19. Sort x, 4, v.
v, 4, x
Let m(b) = 2*b - 1. Let s be m(3). Suppose 3*w + 7 = 3*p - s*p, 0 = -5*w - p - 7. Let n be ((-12)/8)/((-18)/(-24)). Put n, -3, w in decreasing order.
w, n, -3
Suppose 0 = -0*d - 3*d + 6. Let c = 3 - 0. Suppose 5*v = -q - 6 - 0, 2*v = c*q + 1. Put d, -5, v in descending order.
d, v, -5
Suppose -29 = -4*c + 31. Suppose 0 = -4*j + c - 3. Let b = -2 + j. Sort 0.4, -0.4, b in increasing order.
-0.4, 0.4, b
Suppose 0 = -4*q - 8, -4*q = -3*z + 6 + 8. Put -1, z, -2 in increasing order.
-2, -1, z
Let z be 3/9*11/(-13). Let o = z + 8/13. Let n = -7.3 + 7. Sort o, 0.2, n in ascending order.
n, 0.2, o
Let s(c) = 2*c - 10. Let j be s(7). Suppose -