in increasing order.
-1/3, u, 1
Let h = 7.8 + -12.8. Put -17, -4, h in descending order.
-4, h, -17
Let w = 23 - 27. Let b = -3 - w. Sort b, 3/5, -0.3 in descending order.
b, 3/5, -0.3
Let q(i) = 3*i + 1. Let l be q(-1). Let v be (-355)/540 + l/(-3). Let z = -113/540 + v. Put z, -0.1, 2/9 in descending order.
2/9, -0.1, z
Suppose -5*o = -5, 5*o = 2*t - 0*o - 1. Suppose -s = -2*s. Sort t, s, -3 in increasing order.
-3, s, t
Let d(o) = 14 + 13*o - 2*o + o**2 - 5. Let z be d(-10). Suppose -4*b = 8 - 0. Sort -4, z, b in descending order.
z, b, -4
Let k be 2/(-2) - (-9 - 1). Let b(t) = t**2 + 17*t - 21. Let o be b(-18). Sort o, k, 0.
o, 0, k
Let j be (-3)/14*4/(-3). Let c(w) = -w**3 - 4*w**2 + 4*w - 4. Let z be c(-5). Suppose d + z = -3, p = -d - 2. Sort 0.5, j, p.
j, 0.5, p
Let y(x) = x**2 + 5*x + 4. Let t be y(-3). Suppose 5 = -3*c + 2*p - 3*p, p - 1 = -c. Suppose 0 = -u - 0*u - 1. Sort c, t, u in increasing order.
c, t, u
Let z = 4870 - 43580/9. Let k = z - 28. Sort k, 0.5, 4 in increasing order.
k, 0.5, 4
Suppose -4*g + h = 33, 0 = 3*g + 3*h + 2*h + 19. Let i be g/12 - (-28)/6. Sort 0, 3, i in increasing order.
0, 3, i
Let a = 15 + -11. Suppose 0 = a*j - 5*i - 29, 2*j - i - 7 = -0*i. Let t = -45 + 42. Put t, j, 5 in ascending order.
t, j, 5
Let o = -2 + 4. Suppose 16 = -3*p + 4*v, 16 = -p - 2*v + 6*v. Let k = -125.6 - -126. Put k, p, o in ascending order.
p, k, o
Suppose 0 = 5*p + 3*g - 2*g - 22, -2*p + 10 = g. Let f(z) = -2*z + 10. Suppose 5*w - 25 = 10. Let j be f(w). Sort j, p, 5.
j, p, 5
Suppose 2*w = -5 + 3. Let a be -2*w/((-8)/(-12)). Let s(k) = k + 9. Let i be s(-9). Put a, -2, i in increasing order.
-2, i, a
Let b = 1 + -2. Let d = 3.9 + 1.3. Let s = d + -5. Put 0.4, b, s in decreasing order.
0.4, s, b
Let q = 3.5 + -4. Let s(m) = 23*m**2 - 2*m - 1. Let d be s(-1). Suppose 4*v + 9 = -0*t + t, 4*t - d = 4*v. Sort q, 2/5, t in increasing order.
q, 2/5, t
Let z = -4 - -5. Let x be (-22)/(-8) - z/(-4). Sort -3, -2, x in decreasing order.
x, -2, -3
Let c = -3 - -1. Suppose 5*r - j + 26 = 2*j, 3*j = -5*r - 14. Sort 0, c, r in decreasing order.
0, c, r
Let z be 2/4*40/45. Put -2, 1/6, z in descending order.
z, 1/6, -2
Let i = -6 - -8. Suppose 5*s - 4*g = 3 + 53, -2*g = 2*s - 8. Put 1/4, i, s in descending order.
s, i, 1/4
Let r = -0.2 - 0.3. Let y be 1 + -4 + 9 + (-1 - 1). Sort r, 5, y in decreasing order.
5, y, r
Let l be (9/(-6))/((-6)/16). Suppose -d = 3*f - 5, -2*d - 23 = -f - l*f. Sort -3, -6, d in ascending order.
-6, d, -3
Let u(z) = 2*z + 5. Let c be u(0). Sort 3, c, -6 in descending order.
c, 3, -6
Let f = -21 + 42. Suppose 1 = 3*o - 3*p - 5, 0 = -3*o - 2*p + f. Sort 0, o, 0.1.
0, 0.1, o
Let r = -164/385 + 2/77. Let u = 0.07 + -0.57. Let i = -1.8 - -2. Put u, r, i in decreasing order.
i, r, u
Suppose 24 = -5*u - 1. Let b be u*-1*(-1 + 2). Let a = 2 + -4. Sort a, -3, b in decreasing order.
b, a, -3
Suppose 0 = -3*p - 2*v - 9 + 28, -5*p + 10 = -v. Put p, 2, 4 in decreasing order.
4, p, 2
Suppose 2 = 2*t - 2*i, -5*t - 2*i = -i - 23. Let p be ((-3)/6)/((-14)/t). Let o = -0.73 - 0.27. Put o, 0, p in increasing order.
o, 0, p
Let z be 4/6*12/8. Put -4, z, -2 in descending order.
z, -2, -4
Let i = -0.26 - -0.17. Sort 1/4, i, -1 in decreasing order.
1/4, i, -1
Let z be 290/(-35) - 4/(-14). Put 5, 3, -1, z in ascending order.
z, -1, 3, 5
Suppose 0*c + 2*i = c - 10, 1 = -2*c - 3*i. Suppose 0 = -c*d - 0*d + 5*x, 2*x - 8 = 0. Put 3, d, -2 in increasing order.
-2, 3, d
Suppose -2*a = -4*a. Let l(o) = -o**3 - o**2 + o. Let v be l(a). Let m be ((-1)/(-1))/((-1)/5). Sort m, 4, v in descending order.
4, v, m
Let c = 0.5 + -0.4. Let b = c + -0.5. Let y = 0.9 - -0.1. Put 5, b, y in ascending order.
b, y, 5
Suppose -3*x = 3*o - 15, 3*x = -5*o + 3 + 16. Put 5, -4, x, -5 in ascending order.
-5, -4, x, 5
Let b = -0.3 + 0.7. Let d = 145 - 1307/9. Sort d, -0.3, b in increasing order.
-0.3, d, b
Suppose -4*c + 6*c - 2 = 0. Sort c, -3, 3.
-3, c, 3
Suppose -3*o + 0*o - 6 = 2*d, -d + 3*o = -15. Let l(c) = -c**3 + 4*c**2 - 2*c - 2. Let s be l(d). Let t be (0 - s)*15/(-3). Put -2, t, -1 in decreasing order.
t, -1, -2
Let u be (1/2)/(2/(-4)). Sort u, 12, 2 in increasing order.
u, 2, 12
Let z = 11 - 15. Let g(a) = a**3 - 3*a**2 + a. Let k be g(2). Sort k, -5, z.
-5, z, k
Suppose 0*h - 2*h - 8 = 0. Let f be 11/(-5) - h/2. Let v be -2 + (8/(-6))/(-2). Sort 3/8, v, f in increasing order.
v, f, 3/8
Let o(f) be the first derivative of f**3/3 - 2*f - 4. Let y be o(0). Let g = -0.2 - -0.3. Sort g, -0.5, y in increasing order.
y, -0.5, g
Let m = 2293 + -194907/85. Put -0.1, m, 5 in decreasing order.
5, m, -0.1
Let r(f) = f**3 + 8*f**2 + 7*f + 2. Let c(q) = -2*q**2 + 2*q + 5. Let l be c(3). Let i be r(l). Let b = 8 + -3. Sort -5, i, b in ascending order.
-5, i, b
Let q = -3.89 + -0.11. Let z(g) = 2*g + 3. Let w be z(-3). Let s = -0.7 + 0.3. Put s, w, q in increasing order.
q, w, s
Suppose 0 = 2*z - a - 2, 0*a - 4 = 2*z + 2*a. Let s be -5 + 10 + z/(-1). Suppose s*l + 6 = -3*i, 0 = l + 5*i + 3 + 7. Sort 1, 3, l in ascending order.
l, 1, 3
Let x be (-10)/(-4) - (-2)/4. Suppose x*s + 2*s + 5*q + 15 = 0, -4*s + 4*q + 20 = 0. Sort 0, -1, s in increasing order.
-1, 0, s
Suppose k = -4 + 6. Let i be (k - 1) + (-4 - -3). Suppose 5*t - 3*w - 9 = 3*t, 5*t = -2*w - 25. Put i, t, 2 in increasing order.
t, i, 2
Let q(f) = -f**2 - 4*f + 1. Let s be q(-5). Let l be ((-3)/(-2))/(5/(-10)). Let i be 4/3*l/(-5). Sort s, i, -0.2.
s, -0.2, i
Suppose -f + 2*f = -3. Let s = 10 - 8. Suppose -h = -s*h. Sort f, h, -5 in decreasing order.
h, f, -5
Let v(n) = -n**2 - 7*n + 4. Let h be v(-7). Let p be (2/4)/(1/2). Sort -1, p, h in descending order.
h, p, -1
Let k = -19/3 - -6. Put k, 2, -4 in decreasing order.
2, k, -4
Let z = -50.6 - -51. Sort 5, z, -2, -0.8 in descending order.
5, z, -0.8, -2
Suppose 0 = -3*r - 2*w - w - 3, -5*w - 29 = -3*r. Let z(m) = m**2 - 4*m + 2. Let o be z(4). Let v = o - 1. Sort r, -4, v in descending order.
r, v, -4
Let x be (-3)/(-2) + (-15)/(-10). Suppose 3*i - 3*m - x = 0, 2*i + m = 5*m + 6. Sort 3, i, -5 in decreasing order.
3, i, -5
Let o = 4.2 + -0.2. Sort -1.8, -5, o.
-5, -1.8, o
Let w be (-35)/11 - 33/(-11). Put -1/3, -1/2, -2/3, w in descending order.
w, -1/3, -1/2, -2/3
Let k(w) = -5*w. Let o be k(1). Let g(t) = -t + 1. Let p be g(-3). Sort o, -1, p.
o, -1, p
Let f be 8/(-12) - (-35)/3. Let u = -8 + f. Sort -2, -1, u in ascending order.
-2, -1, u
Let u(c) = -c**2 + 4*c + 5. Let k be u(4). Suppose -k*g + 28 = 3. Let o = 0.01 - 0.51. Sort o, -4, g in descending order.
g, o, -4
Let m = -2 - -2. Let c = 2 - m. Put c, -1/2, -5 in increasing order.
-5, -1/2, c
Let x = 1.7 + -1.2. Sort x, 1/3, -1/5 in descending order.
x, 1/3, -1/5
Let z be ((-3)/9)/(2/(-12)). Let r be 3/z*(-20)/(-15). Suppose 4*x - r*y = 4, y = 2*x - 7*x - 9. Sort -3, 2, x in descending order.
2, x, -3
Let a = 6 - 6. Sort 1/3, -2/5, a, -4 in ascending order.
-4, -2/5, a, 1/3
Let o be 1/5 - 21/(-45). Let n = 0.8 + 0.2. Put n, 1/7, o in increasing order.
1/7, o, n
Let o = -4.8 - 1.1. Let v = o - -0.9. Put 3, v, -4 in descending order.
3, -4, v
Let o = 23 + -22.6. Sort -0.5, o, 4 in descending order.
4, o, -0.5
Let i = 2 - 3. Put 0, 2, i in decreasing order.
2, 0, i
Let y be (16/(-10))/(-4) - (-144)/(-10). Sort 5, -2, y in decreasing order.
5, -2, y
Let n be 2/(-8) + (-8)/(-96). Put n, 3, 0.1 in ascending order.
n, 0.1, 3
Let a = -0.03 - -0.23. Let z = 0.1 + a. Let d = -0.03 + -0.37. Sort z, d, -2 in ascending order.
-2, d, z
Let f = 0.098 - 0.038. Sort -2/3, f, 1/3, -0.3 in descending order.
1/3, f, -0.3, -2/3
Let f be 0 + 6/4*4. Let i(h) = -h**2 + 6*h + 10. Let w be i(7). Let p = w - f. Sort -5, p, -2.
-5, p, -2
Let c = -2 + 5. Put -3, c, -0.05 in ascending order.
-3, -0.05, c
Let j = -14 + 21. Suppose v + 1 = 0, 4*t - t - 2*v = -j. Suppose 3*n = 3*h + 2*n, 0 = -h + 4*n - 11. Put -4, t, h in decreasing order.
h, t, -4
Let i = 15/8 - 53/24. Sort -5, i, -0.2.
-5, i, -0.2
Let v(f) = f**2 - 2*f - 2. Let k be v(3). Suppose -n + 2 = -k. Suppose 9 = -h - 4*i - 7, h + n*i = -13. Put -3, h, 3 in increasing order.
h, -3, 3
Let o be ((-1)/(2 - 21/10))/4. Put 1, 0.13, o in decreasing order.
o, 1, 0.13
Let t = 2 - -5. Let l = -5 + t. Let i = l - 2.4. Sort 2/3, -5, i in decreasing order.
2/3, i, -5
Suppose -4*t + 1435