creasing order.
2/3, p, n
Let f = -25 + 22. Sort 2, f, -1, -0.01.
f, -1, -0.01, 2
Suppose -2*p = -5*h + 60 - 25, -5*h - 3*p + 10 = 0. Sort h, -4, -2 in ascending order.
-4, -2, h
Suppose 6*o - 3*o = 0. Suppose 8 = 2*z - o*z. Suppose z = -d + 9. Sort d, -4, 3.
-4, 3, d
Suppose -5*v + 0*v = 3*d - 6, 2*v + 4*d = 8. Sort -1, v, 5 in descending order.
5, v, -1
Let g = 0.34 + -0.4. Sort -0.1, -4, g.
-4, -0.1, g
Let r = 5 - -4. Let i = -11 + r. Sort -5, i, -3 in descending order.
i, -3, -5
Let q = 0 - 9. Let n = q + 3. Let g = n + 6.3. Sort -2, g, -1/5 in decreasing order.
g, -1/5, -2
Suppose -5*v + 27 - 7 = 0. Suppose v*r - 9 = -1. Let i(f) = f**2 + 2*f + 1. Let b be i(-1). Sort b, -3, r.
-3, b, r
Let g = -26 + 23. Sort 4, 5, g in decreasing order.
5, 4, g
Let u(d) = 2*d - 10. Let b be u(5). Sort 2, b, 9/5, -0.3.
-0.3, b, 9/5, 2
Let v(p) = -5*p**3 + 1. Let h be v(1). Sort 6, h, 5, -2 in ascending order.
h, -2, 5, 6
Suppose -211*b + 20 = -216*b. Put 1, -8, 2, b in ascending order.
-8, b, 1, 2
Let b = 0.42 + -0.02. Let z = -4 + 3. Let h be (10/2)/(z/1). Sort h, b, 0.5 in descending order.
0.5, b, h
Let w(x) = 2*x - 23. Let p be w(9). Sort 2, -8, p.
-8, p, 2
Suppose 3*m + t + 20 = -0*m, 0 = -3*m - 2*t - 25. Let z(k) = -k**3 + 4*k**2 + 11*k + 2. Let i be z(6). Sort 0, i, m in descending order.
0, i, m
Suppose k + 3*k - 4 = 0. Let i(r) = -r**3 + 3*r**2 + r - 3. Let u be i(3). Put u, -1, k in decreasing order.
k, u, -1
Let r(d) = d + 10. Suppose -m - 12 = -5*w, 3*w + 0*w - 38 = 5*m. Let y be r(m). Suppose 13 = 5*f - 12. Put y, -2, f in decreasing order.
f, y, -2
Suppose -2*t = t - 3. Let y be 2 + t/(1/13). Suppose -3*f = 2*f + y. Sort f, -1, 1 in increasing order.
f, -1, 1
Let f = 5 + 3. Suppose f = 3*p - p. Suppose 4*h = 2*h + 10. Put h, p, -5 in increasing order.
-5, p, h
Suppose 7*w - 3*w - 5*f + 2 = 0, 0 = -3*w - 5*f - 19. Let z be 2*(-3)/(12/(-10)). Put z, w, -2 in descending order.
z, -2, w
Suppose -i + 4*i + 9 = 0, 3*k + 9 = -5*i. Suppose -2*m - 10 = -4*m. Suppose 2*f = m*f - 3*y - 27, 4*f - 3*y - 31 = 0. Sort 3, k, f in ascending order.
k, 3, f
Suppose -4*k - 3*o + 17 = 0, 5*k + 2*o - o = 13. Suppose 4*d + 5*f = 32 - 6, 0 = d + k*f - 8. Suppose -d = z - 3. Sort -0.3, z, 1 in descending order.
1, -0.3, z
Suppose 4*a + r = 20, 0*r + 15 = 3*a + 2*r. Suppose -3*y - a = -17. Put -2, y, -1 in increasing order.
-2, -1, y
Let k = 13.2 - 14. Let l = k - 1.2. Sort -0.5, l, 5 in increasing order.
l, -0.5, 5
Let d(k) = -k**2 - 10*k - 3. Let w = 14 + -23. Let n be d(w). Suppose -q = -n*q + 20. Sort q, 3, 5 in descending order.
5, q, 3
Let o(m) = m**2 - m + 2. Let y be o(2). Let j be ((-6)/(-5))/((-2)/(-10)). Suppose -y*z - j = 2. Sort z, 0.4, -1/5 in decreasing order.
0.4, -1/5, z
Suppose -2*s + 6 = -5*r - 6*s, -2*r = 4*s. Sort r, -5, 4.
-5, r, 4
Suppose -2*y - 11 = -a, -4*y - a - 28 = -9. Let q = -6 - -7. Let k(i) = 2*i**3 + i**2 - i + 1. Let l be k(1). Sort q, y, l in ascending order.
y, q, l
Let t be (-2)/(-3)*(-1)/2. Put -1/5, t, 5/4 in descending order.
5/4, -1/5, t
Let v be (-1)/(-1*(-1)/5). Let s = 0 + 3. Suppose -4*i - 26 = s*q, -5*q + 5*i - 2 + 17 = 0. Put v, q, 2 in decreasing order.
2, q, v
Let g(x) = x**2 + 3*x - 7. Suppose 0 = 5*p + 22 + 3. Let s be g(p). Put -1, s, 0 in descending order.
s, 0, -1
Suppose -4*g - 12 = -4*w, -3*g + 41 = 2*w + 2*g. Suppose -6*o + 2*o = -w. Sort o, -4, -5 in ascending order.
-5, -4, o
Suppose 60*k - 65*k - 25 = 0. Put k, 2, -1 in decreasing order.
2, -1, k
Let s be 12/(4 - 6) + 2. Sort s, 3, -5 in descending order.
3, s, -5
Let u be (-2 - 15/(-8))*(7 - 10). Sort u, 2/9, 4 in decreasing order.
4, u, 2/9
Let m = 1562/17 + -92. Sort -0.4, m, 0.4, 3 in decreasing order.
3, 0.4, m, -0.4
Let i = -7 + 10. Let j = 41425/4 + -10409. Let s = j - -53. Put s, 1, i in decreasing order.
i, 1, s
Let q be 24/231 - (-2)/11. Sort q, 2/5, 0.2.
0.2, q, 2/5
Let a = 0.385 + 0.115. Sort -0.4, 4, a.
-0.4, a, 4
Let p = 0 - 0.1. Let i = -3.1 - p. Let h = -9 + 8.8. Sort i, h, 2 in ascending order.
i, h, 2
Let c = -5 - -6. Let h = 1 - -2. Sort h, 0, c in increasing order.
0, c, h
Let y be (-8)/(-2)*(-1)/(-14). Sort -14, -5, y in descending order.
y, -5, -14
Suppose 5*l = 0, 2*l = 4*r - l - 40. Sort -1, 5, r in descending order.
r, 5, -1
Let u = -0.028 + 0.528. Let z = -0.2 + 0.3. Sort z, u, -5 in decreasing order.
u, z, -5
Suppose 11 = -q - 2*a - 0*a, a = 2*q + 2. Let l = 0 - q. Put 2, l, 5 in increasing order.
2, l, 5
Suppose -28 = -4*n - 3*n. Sort 7/4, n, -1/4, -5 in increasing order.
-5, -1/4, 7/4, n
Suppose r - 2*g = -9, r - 2*g = -2*r - 15. Let t be (10 - 9) + (-2 - (-2)/1). Put t, r, 6 in decreasing order.
6, t, r
Let i = 17 + -12. Let l = -0.3 + -0.2. Sort -0.4, l, i in ascending order.
l, -0.4, i
Let t(m) = m**3 - 4*m**2 + 2*m - 8. Let g be t(4). Put g, 2, 3 in decreasing order.
3, 2, g
Let r = -368/63 + 50/9. Put -1/10, r, 3, 3/8 in decreasing order.
3, 3/8, -1/10, r
Let n be 2/7 + 68/(-42). Let s = 8 - -2. Let x = s + -7. Sort x, n, 0.5 in descending order.
x, 0.5, n
Let v be -7 + 0*1/(-2). Let q(l) = -l**3 - 6*l**2 + 2*l + 15. Let u be q(-6). Sort v, -3, u in decreasing order.
u, -3, v
Let u(k) = k - 8. Let f be 2/(-4) + (-11)/(-2). Let g be u(f). Suppose -5*v + 5*b = -25, 0 = -v - 3*v + 2*b + 12. Sort g, 3, v in increasing order.
g, v, 3
Let l = 14 - 9. Sort 4, 0, 9, l.
0, 4, l, 9
Let i(k) = 3*k**3 - 19*k**2 - 19*k - 12. Let u(d) = -d**3 + 9*d**2 + 9*d + 6. Let h(x) = -2*i(x) - 5*u(x). Let f be h(-6). Sort -3, -4, f.
-4, -3, f
Let u = 2 - -1. Let b = -131 - -916/7. Sort u, -3/7, b in descending order.
u, b, -3/7
Let j = 1.7 - 1.6. Sort 1, j, -0.1 in ascending order.
-0.1, j, 1
Suppose -5*p + p + 2*z = 16, -2 = z. Let k(q) = -18*q + 123. Let u be k(7). Sort 2, p, u.
p, u, 2
Let h(n) = -n**3 + 10*n**2 - 9*n + 2. Let q be h(9). Suppose -q*x - 1 + 3 = 0. Sort x, -3, 2 in ascending order.
-3, x, 2
Let r(p) = p**3 - 2*p**2 - 4*p + 4. Let o be r(3). Let a be 8*o*(-4)/40. Let d = -15 - -14.8. Put d, 0.5, a in decreasing order.
0.5, d, a
Let q = 0.4 - 0.4. Put q, 4, -1, 1/4 in increasing order.
-1, q, 1/4, 4
Let f be -1*(-2 - -3)*1. Put -10, 4, f in decreasing order.
4, f, -10
Suppose -5*g + 33 = 4*f - 2*f, -3*f = g - 17. Suppose 5*r + g = -0*r. Let t be (0/3)/(2 - r). Sort -5, 5, t in decreasing order.
5, t, -5
Let o(v) = v**3 - 7*v**2 - 7*v - 1. Let s be o(8). Let h = 15 - s. Sort 2, 3, h in ascending order.
2, 3, h
Let h be 6 - (2/1 - 1). Let n(a) = a**2 - 8*a + 17. Let q be n(3). Suppose 0 = 4*d + h*k + 2, -2*d - q*k - 2 = 0. Sort d, 0, -4 in descending order.
0, d, -4
Suppose 2*a = -0*a + 6. Let j = a + -4. Sort j, 1, 3.
j, 1, 3
Let u = -0.067 - 0.033. Sort -2, -1/4, u, 11 in increasing order.
-2, -1/4, u, 11
Let s = -16 + 19. Put s, 0, 10 in increasing order.
0, s, 10
Let j = -3/28 - 8/7. Sort j, -4, -3 in ascending order.
-4, -3, j
Let i(f) = -7*f - 71. Let s be i(-10). Sort -2, s, -3, 0 in descending order.
0, s, -2, -3
Suppose -3 = -2*a - 1. Let h(t) = 5*t**2 - t + 1. Let w be h(a). Suppose w*p - 1 = 14. Put 5, 2, p in descending order.
5, p, 2
Let o = 10 + -11. Put 4, 0, o in ascending order.
o, 0, 4
Suppose -40 + 45 = -5*t. Put t, -0.06, 1/3 in descending order.
1/3, -0.06, t
Let x(b) = b**3 - b**2 - 2. Let l be x(2). Suppose p + p - 18 = -4*u, 5*u = -l*p + 21. Sort u, 1, -1.
-1, 1, u
Let l = 13 - 11. Sort 3, 5, l in decreasing order.
5, 3, l
Let m be 1 + (1/8)/((-2)/12). Sort 1, 5, m.
m, 1, 5
Let i be -4*(-4 - -3)/(-34). Let t = -0.1 + 0.1. Let u be (-2 - -4)*-1 - 1. Put t, i, u in ascending order.
u, i, t
Let z(y) = -5*y + 3*y + 2 + 4*y. Let j be z(-3). Suppose -7*g = -3*g - 16. Put j, g, 3 in increasing order.
j, 3, g
Suppose -y - 3*y - 12 = 0. Suppose -2*b - x = -8, x + 0 = -b + 4. Suppose -2 = -3*k + b. Put y, k, 4 in ascending order.
y, k, 4
Suppose -3*z + 7 = -l, 2*l - 3*l = -5*z + 11. Put 8, 4, l in increasing order.
l, 4, 8
Let b(x) = -4*x**2 - x + 1. Let d be b(1). Sort 5, 1, d.
d, 1, 5
Let y be ((-44)/(-4))/((0 - 1)/(-1)). Put -2, -4, y in decreasing order.
y, -2, -4
Let a = -131.5 - -131. Sort -11, 2/13, a, 0.1 in decreasing order.
2/13, 0.1, a, -11
Let u = -5 - -2. Suppose 0 = -4*n - 8 - 0. Let m be -1*(1 + 3/n). Sort -5, m, u in decreasing order.
m, u, -5
Let b = 7 + -4. Let z = -2.8 + b. Let l = -17/2 + 89/10. S