v(-7). Put 2, 5, m in ascending order.
2, m, 5
Let b = 6.3 + -5.3. Put -7, 1/2, b in decreasing order.
b, 1/2, -7
Let q = 2 + -7. Let k = q + 5.4. Let m = 32 + -133/4. Put k, m, 1/3 in ascending order.
m, 1/3, k
Let z = 11 + -1. Suppose -5*s + l - z = -0, -4*s - 5*l - 37 = 0. Sort -4, s, 3 in ascending order.
-4, s, 3
Let s = 5510/17 - 324. Sort -4, s, -5 in decreasing order.
s, -4, -5
Let w = 3 + -3. Let c = 0 + w. Let s = 3.9 - -1.1. Sort s, c, -0.2 in increasing order.
-0.2, c, s
Let k(a) = -2*a - 4. Suppose -2*r - 3 = 5. Let g be k(r). Sort g, -5, -3.
-5, -3, g
Let j(q) = -q + 4. Let h be j(6). Let u(f) = -f**3 + 5*f**2 - 6*f + 4. Let c = 10 - 6. Let b be u(c). Put b, h, 0 in decreasing order.
0, h, b
Suppose 2 = -3*y - 7. Let n be 2 - 1 - (87/(-24) - -5). Put y, 1, n in ascending order.
y, n, 1
Suppose j = -9 - 0. Let t = 8 + j. Sort -5, t, -4.
-5, -4, t
Suppose 15 = -4*f - 1. Sort -1, -0.4, f in ascending order.
f, -1, -0.4
Suppose 0 = 5*q - q + 20. Let j = 1.3 - 0.3. Let o = j - -2. Sort -4, q, o in descending order.
o, -4, q
Suppose -4*x = 3*p - 32, -2*p + 4 = -p - 2*x. Suppose 6*t = 2*t + p. Sort t, -3, 4/7 in descending order.
t, 4/7, -3
Suppose -4*n + 3*w = -7, -w - 8 = -2*n - 3. Suppose 4*q + 4*k + 17 = 3*k, 0 = -4*k - n. Suppose 0*d - 3*d = -6. Put d, q, 0 in descending order.
d, 0, q
Let n be 8/(-6)*3/(-2). Suppose -3*r = -r - n. Put -4, r, 5 in increasing order.
-4, r, 5
Let h = -9.4 - -9. Suppose 0 = 5*f - 3*y - 13, 0 = -4*y + 11 + 5. Let m = 2 + -2.1. Sort m, h, f in ascending order.
h, m, f
Let h = 1 - 0.6. Let k be (15/(-20))/(1/(-2)). Put h, k, 1 in decreasing order.
k, 1, h
Let f = -6 + 5.8. Let z = -0.23 + 0.2. Let g = z - -3.03. Sort g, 5, f in descending order.
5, g, f
Let f = 6 + -1. Let n = 20 - 32. Let t = n - -9. Sort t, 2/11, f in decreasing order.
f, 2/11, t
Let h(p) = -5*p - 4. Let t be h(1). Sort t, -3, 2 in descending order.
2, -3, t
Suppose 0 = 4*g - 4 + 24. Let y be 30/(-150) - (22/(-10) - -1). Put y, 0.4, g in ascending order.
g, 0.4, y
Suppose -4 = 4*g - 0*g. Sort g, -5, 4.
-5, g, 4
Let b = 7 + -10. Let h(x) = -x**2 + 2. Suppose -6 = 3*l - 0. Let t be h(l). Put b, -1, t in increasing order.
b, t, -1
Suppose 2*x = x - 3*y + 25, 45 = 3*x + 3*y. Let v be x/6 + 4/(-6). Put v, -3, 3 in descending order.
3, v, -3
Let i = -9 - -13. Let f be i/20 - 18/190. Let r = -0.2 - -0.2. Put -3, f, r in decreasing order.
f, r, -3
Let q be -1*1*(-11 - -9). Sort -2, q, -11.
-11, -2, q
Let i(j) = -8*j**2 + 2*j + 1. Let o be i(-1). Let x(u) = -u - 4. Let m be x(o). Put m, 4, -4 in decreasing order.
m, 4, -4
Let f = 0.386 + 0.014. Put 0.2, f, -2 in increasing order.
-2, 0.2, f
Let g = -7/75 + -6/25. Sort 2, -4, g in descending order.
2, g, -4
Let n(j) = j - 3. Let i be n(6). Let u be 2 + (3 - 0)/i. Let l be u + (-1 + 0)*1. Put -0.2, l, -3 in decreasing order.
l, -0.2, -3
Let j be 71 - (5 - 2)*1. Put -2, -4, j in decreasing order.
j, -2, -4
Let t be 0/(-3) + (1 - 2). Let v be 2/((t - 1)/(-4)). Sort -2, v, 5 in decreasing order.
5, v, -2
Suppose 10*h - 5*h - 4*p + 9 = 0, -3*h + p = 11. Put h, 5, 0, 9 in increasing order.
h, 0, 5, 9
Let y be (-2)/(-8) + (-14)/(-8). Suppose -2*r = -r - y. Let n = 3 - r. Put -3, n, 0 in descending order.
n, 0, -3
Suppose 5*u + 0*l + l - 14 = 0, -2*u + 4*l - 12 = 0. Suppose -2*d - 6*d + 8 = 0. Sort d, u, -2.
-2, d, u
Let w be (8/(-4))/((-2)/5). Let d be 15/24*1/w. Let m = 15 - 10. Sort d, -3/5, m in ascending order.
-3/5, d, m
Let x be (0 - 2 - 1)/1. Sort -4, 3, x in decreasing order.
3, x, -4
Suppose b = -40 + 19. Sort 2, b, -1 in descending order.
2, -1, b
Let i(c) be the third derivative of c**5/60 - c**4/8 - 2*c**3/3 - c**2. Let n be i(3). Sort n, 4, -2 in ascending order.
n, -2, 4
Suppose a - 4 = -0*a. Suppose -3*m + 10 = -5*m. Suppose -8 = o + o. Sort o, a, m in increasing order.
m, o, a
Let g = -66 - -70. Let o be (-14)/(-6)*(-4)/(-14). Sort -2/7, g, o in ascending order.
-2/7, o, g
Let w be (10/(-6))/(1/3). Let b(q) = -q - 1. Let c be b(w). Suppose 5*z + c + 11 = 0. Sort -5, -2, z in decreasing order.
-2, z, -5
Let v(k) = 0*k**2 - 2*k**3 - k**2 + 0*k**2 + 4*k**2 - 2. Let x be v(2). Let q be 2/3*x/(-4). Sort 0, 5, q in descending order.
5, q, 0
Let q = -6 + 10. Suppose 4*x + 0*x = -20. Let v = -30 - -29. Put x, q, v in increasing order.
x, v, q
Let h be (-6)/(-2)*(-1)/(-3). Let v be (2/(-1))/(1 + h). Put v, -0.4, 5 in descending order.
5, -0.4, v
Let m(f) = -5*f**3 + 2*f + 1. Let v be m(-1). Suppose 4*b - 11 = -2*x + 17, v*b - 24 = -x. Sort 2/7, 2, x in ascending order.
2/7, 2, x
Suppose -4*p + 12 = -2*p + h, 4 = 2*h. Let g(d) = -d**3 + 8*d**2 - d + 7. Let b be g(8). Let w(i) = 3*i + 2. Let k be w(-2). Sort b, p, k in increasing order.
k, b, p
Suppose 0 = 5*x - 4*t - 13, 5*x + t = 3*t + 9. Sort 4, x, 5, 3 in ascending order.
x, 3, 4, 5
Let g(w) = w**3 + 4*w**2 - 4*w + 5. Let q be g(-5). Suppose -14 + 10 = -2*k. Put k, 4, q in ascending order.
q, k, 4
Let a = 2.1 - 0.1. Let i = -1 + 1.5. Sort i, -2/7, a in ascending order.
-2/7, i, a
Let q = -0.34 + 0.24. Let l = 0.1 + 0. Put l, q, -0.2 in decreasing order.
l, q, -0.2
Suppose -3*x - n = -2*x, -2*x - 2 = 4*n. Let u be -2*(-4)/(-4) + 7. Put x, u, -1 in ascending order.
-1, x, u
Let c(v) = -v - 6. Let q be c(-3). Suppose 3*a = -5*k + 5, -a + 2 = 2*k - 2*a. Sort q, -2, k.
q, -2, k
Let r = -0.068 - 0.422. Let s = 0.01 - r. Let b = -2677/19 - -141. Put 0.4, s, b in descending order.
s, 0.4, b
Let b(c) = 2*c - 9. Let d be b(9). Let h be d/3 + (3 - 8). Let g be (-12)/18*5/h. Put -1, g, -3 in decreasing order.
g, -1, -3
Let l(m) = m**3 - 11*m**2 + 8*m + 1. Let c(s) = -s**3 + 12*s**2 - 9*s - 1. Let f(v) = -4*c(v) - 5*l(v). Let n be f(6). Put n, -2, 2 in ascending order.
-2, 2, n
Let z be (-10935)/(-72)*(-4)/10. Let c = 61 + z. Let b be (-9)/2 + (-3)/6. Sort c, 0, b in increasing order.
b, 0, c
Let k = -12.3 + 12.6. Let q be ((-6)/14)/(1 - 2). Sort k, -1/9, q in descending order.
q, k, -1/9
Let r be 1/5 - (-36)/(-5). Let z(h) = h**3 + 6*h**2 - 6*h + 9. Let u be z(r). Suppose o = 2*l - 0*l + 3, l = -5*o + 26. Sort o, u, -4 in increasing order.
-4, u, o
Suppose 2*s = -19 + 25. Put 0, s, -32, -3 in descending order.
s, 0, -3, -32
Let g = -10 - -15. Sort g, -4, 1 in descending order.
g, 1, -4
Suppose 1 = -3*q - 2*y - 2, 3*q + 4*y = -9. Suppose 0 = 17*v - 7*v. Put -3, v, q in descending order.
q, v, -3
Let j be 4 + 1 + (-4 - -2) + -27. Put -1, 5, j in decreasing order.
5, -1, j
Let h = -17 + 17. Sort -1/5, 5, 0.5, h.
-1/5, h, 0.5, 5
Let c = 3 + 0. Suppose -d + c*d = 0. Sort d, -4, 3 in decreasing order.
3, d, -4
Let u(a) = -a**2 + 14*a - 24. Let o be u(12). Sort o, -4, 3, 19.
-4, o, 3, 19
Let h = -64.6 + 65. Let w = 95/259 - 3/37. Sort h, w, -2 in ascending order.
-2, w, h
Let d be 2/(-3) - 33/(-9). Suppose 5*p + 23 = h, d*p = 2*h - 6*h - 23. Let k = 4 + -4. Put -0.2, p, k in ascending order.
p, -0.2, k
Let b be 428/12 - 1/(-6). Let u = b - 36. Put u, 0.2, 2/15 in ascending order.
u, 2/15, 0.2
Suppose -4*f + 2*v + 8 = 0, 0 = f - 2*f + 3*v + 2. Suppose -f*j + 4 = -2*y + 2, -4*j - y - 11 = 0. Sort -1, -4, j in decreasing order.
-1, j, -4
Suppose g = 2*f - 2 + 1, 7 = -4*g + 5*f. Let q(r) = -r**2 + 9*r - 7. Let d be q(8). Suppose -2*m - 9 = -d. Sort m, -2, g in descending order.
-2, g, m
Let f = -3 + 2.8. Let y = -3.2 - f. Sort y, -2/15, -0.3 in ascending order.
y, -0.3, -2/15
Let j be ((-2)/(4/(-3)))/((-15)/20). Sort j, 4, -4, 7.
-4, j, 4, 7
Let m = -161 - -1453/9. Let g = 18 + -18.28. Let p = g - 0.02. Sort m, p, 1 in decreasing order.
1, m, p
Let n = -522 + 7313/14. Put 2/11, n, -2/3 in decreasing order.
n, 2/11, -2/3
Let j(a) = 3*a**2 - 4*a**2 + 3*a - 8 + 13. Let i be j(5). Suppose -4*g = -0*g. Sort i, 3, g.
i, g, 3
Suppose 0 = -3*t - 3*w + 30, -5*t + 6*w = 3*w - 18. Let g be (t/9)/(2/(-9)). Sort -2, g, 0.4.
g, -2, 0.4
Let i(o) = -o**2 - 5*o. Suppose -40 = 5*z + 5*c - 0*c, 5*z - c + 16 = 0. Let b be i(z). Sort 1, 5, b in ascending order.
1, b, 5
Let g be 1/2 - (-24)/(-112). Let v be (4 + (1 - 1))/2. Let x be (1/14)/(1/v). Put x, 1, g in decreasing order.
1, g, x
Suppose -m - 1 = -5*b, 2*m + 3*m = 4*b - 5. Sort m, 0, 1 in ascending order.
m, 0, 1
Let r = 4 + 0. Let o be ((-2)/(1 + -3))/((-18)/90). Sort 5, r, o in descending order.
5, r, o
Let s(v) = v**3 + v*