6, 0 = -2*u - 3*p + 7. Put -5, u, 5 in increasing order.
-5, u, 5
Suppose m - 192 = -2*m. Let g = -251/4 + m. Let h = 29 + -34. Sort h, -4, g in descending order.
g, -4, h
Suppose 0 = -3*g - 30 + 24. Sort -0.5, -0.4, g, -1 in decreasing order.
-0.4, -0.5, -1, g
Let s = 0.12 + 0.08. Sort -1/3, 5, s in increasing order.
-1/3, s, 5
Let w = 0.08 - 4.08. Put -0.3, 0.5, w in descending order.
0.5, -0.3, w
Let d be 5/10*(9 + 1). Suppose -d = p - 4. Let b be 3*p/(-6)*-12. Put -5, 4, b in decreasing order.
4, -5, b
Let q = -1.8 + 1.5. Put 5, q, -5 in decreasing order.
5, q, -5
Let u be (4/2)/((-1)/2). Let p(k) = -k**2 + 9*k - 6. Let g be p(8). Suppose 1 = h - g. Sort h, -2, u.
u, -2, h
Let r be (2/(-14))/((-3)/21). Sort -5, 2, r in decreasing order.
2, r, -5
Let y(p) = -7 - 5*p + p**2 - p - p. Let s be y(8). Let b be s/4 - (-38)/8. Put b, 3, 0 in increasing order.
0, 3, b
Let d(u) = 17*u + 98. Let n be d(-6). Sort n, -1, 56 in descending order.
56, -1, n
Suppose 5*z - 11*z = -594. Let q = -695/7 + z. Put q, -5, -1/7 in increasing order.
-5, q, -1/7
Suppose 12 = -4*u - 0*u - 3*w, 4*w = -3*u - 16. Suppose 4*f = -3*c + 10, -7 - 1 = -4*f - 2*c. Let g be ((-3)/(-2))/(3/6). Sort g, u, f in increasing order.
u, f, g
Let f(v) = v + 2. Let o be f(-6). Let x = -2 + 3. Suppose 0*k = k + x. Sort k, o, 5.
o, k, 5
Let t be (-16)/(-7) + (-4)/14. Let u(f) = -3*f + 3. Let o be u(t). Let q be (1/12)/((-4)/8). Put q, -3/8, o in descending order.
q, -3/8, o
Let t(y) = y**3 - 6*y**2 + 4*y + 6. Let m be t(5). Suppose -6 + 26 = -5*w. Suppose -z + 13 = 5*g, -2*g + 4*g + 5 = 3*z. Sort z, m, w in ascending order.
w, m, z
Let z = -2.2 + 0.2. Let f = z + 3. Sort -5, f, -4 in decreasing order.
f, -4, -5
Let v = -27 - -21. Sort v, 3, 1.
v, 1, 3
Let d be ((-4)/(-6))/((-2)/(-12)) + 1. Sort d, 3, -5.
-5, 3, d
Suppose 2*p - 21 = -3*h, 0 = -2*p + 4*h - 0 + 42. Let t = 10 - p. Put 2/7, t, -0.3 in decreasing order.
2/7, -0.3, t
Let m = -7 - -12. Suppose -2*f = -2 + 6. Sort 2, m, f.
f, 2, m
Let f = 2 - -3. Let m = -4.5 - -5. Let d = -36 - -143/4. Put f, m, d in decreasing order.
f, m, d
Suppose 8 = 4*f - 24. Suppose -a + 1 = f. Let r = 7 + a. Sort -2, -1, r in descending order.
r, -1, -2
Let y(l) = -2*l. Suppose i + 3 = -5*n, 3*n + 2 + 5 = 2*i. Let w be y(i). Sort w, 0, 2 in descending order.
2, 0, w
Let l = -3 + 7. Put -1, -5, 3, l in descending order.
l, 3, -1, -5
Let m = -3.7 + 0.7. Let j = -8 - m. Let r = -0.46 - -0.16. Sort 5, r, j in ascending order.
j, r, 5
Let k = -4 - -17/4. Let p = -177/44 + 36/11. Sort k, 4, p in ascending order.
p, k, 4
Suppose -6*w - 12 = -2*w. Let v(q) = -7*q. Let u be v(0). Put w, -4, u in descending order.
u, w, -4
Let x = 6.78 + 0.52. Let t = x - 7. Sort -2/13, t, 2/13 in descending order.
t, 2/13, -2/13
Let l be (20*-1)/(-4) - (1 + 0). Sort 1/4, -0.1, l, 0.4 in decreasing order.
l, 0.4, 1/4, -0.1
Let p(i) = i - 9. Let r be p(12). Let f(d) = d**3 - 2*d**2 - 3*d + 3. Let q be f(r). Sort 1/2, q, -5 in decreasing order.
q, 1/2, -5
Suppose -20 = -4*v - 2*a, 3*a - 4 = a. Suppose 4*p - 5 = b + 1, 0 = -4*p + 3*b + 2. Sort v, p, 0 in descending order.
v, p, 0
Let k = -146 + 1018/7. Put 0, -7, k in decreasing order.
0, k, -7
Suppose -30 = -12*f + 6*f. Put -0.1, 1/3, -2, f in decreasing order.
f, 1/3, -0.1, -2
Let c = 8 - 15. Let f = 8 + c. Let h = 422/7 - 60. Put f, h, -0.1 in descending order.
f, h, -0.1
Let b(c) = -c + 7. Let d be b(5). Suppose 2*t + 0*t = 5*x + 191, -d*t = -3*x - 193. Let w = t - 688/7. Sort 0.4, w, -0.4.
-0.4, w, 0.4
Let u = 44 - 40. Put -0.5, u, -0.06 in increasing order.
-0.5, -0.06, u
Suppose 0 = 5*c + 2*r - 0*r + 1, -2*r - 6 = 0. Sort c, -4, -2 in descending order.
c, -2, -4
Let v be 2/8 + 60/16. Sort 1, 8, v.
1, v, 8
Let r = 0.07 + -0.09. Let h = -2.02 - r. Sort -5, h, 0.05 in increasing order.
-5, h, 0.05
Let p = 1 + 2. Let w(b) be the first derivative of b**3/3 - 2*b**2 + 3*b + 1. Let f be w(p). Sort f, 2, -1 in increasing order.
-1, f, 2
Let q = 7 + -4. Suppose 2*a = -4*z - 4, 5*z - a + 8 = -5*a. Let w = 2 + z. Sort w, 1, q in increasing order.
1, w, q
Let u = 23 - 25. Sort 5, 3, u.
u, 3, 5
Let l(d) = -d**2 - 2*d + 1. Let n be l(1). Suppose 2*b = 4 + 6. Let k be ((-16)/10)/((-2)/b). Put n, -4, k in increasing order.
-4, n, k
Let k = -0.056 + -13.944. Put k, 2, -3/5 in increasing order.
k, -3/5, 2
Suppose -6*p = -4*p - 4. Let u(z) = z**3 + 7*z**2 - 6*z + 10. Let n be u(-8). Let l = 3 + n. Sort p, -4, l.
-4, l, p
Let c = -69 - -73. Let h(f) = -f + 6. Let k be h(6). Put c, k, -4 in ascending order.
-4, k, c
Let a(b) = b**3 + 3*b**2 - 6*b - 3. Let h be a(-4). Suppose -35 = -5*z + h*c, 4*z - 5*c - 43 + 12 = 0. Sort -5, -1, z.
-5, -1, z
Let w = 1 - 0. Suppose 3 = d - w. Let c = 8 - d. Sort 5, 3, c.
3, c, 5
Let q(h) = -h + 5. Let s = -4 + 8. Let y(l) = -3*l + 14. Let i(m) = s*y(m) - 11*q(m). Let v be i(-4). Sort 0, 1, v in descending order.
v, 1, 0
Let t = -4 - -7. Let d(x) = x**3 + x**2 + x + 4. Let f be d(0). Sort t, 5, f.
t, f, 5
Let y be 2 + (1 - 2) + 0. Suppose y + 3 = f. Put -5, f, 1 in decreasing order.
f, 1, -5
Let t(j) = 6*j**2. Let h be t(-1). Let a = h + -7. Let v be (4/(-5))/(a/(-5)). Put v, 1/2, 4/3 in decreasing order.
4/3, 1/2, v
Let q = -124 - -123. Suppose 0 = -4*r - i + 3*i + 2, -3*i + 8 = 5*r. Suppose 21 = 4*h + r. Put 1, h, q in descending order.
h, 1, q
Let q = -5 + 5.4. Suppose 0 = -0*g - g + 5. Let t = -0.33 - -0.33. Put q, g, t in descending order.
g, q, t
Suppose -4*c - 12 = 8. Sort 4, 3, c, 5.
c, 3, 4, 5
Let p = -1304/7 + 186. Let x = -83 - -78. Let k = 1 + -1.3. Sort x, p, k in decreasing order.
p, k, x
Let t = -93 - -93.1. Sort 0, t, -3 in ascending order.
-3, 0, t
Let p be 18/(-16)*2/3. Sort -2/19, -2/3, p in descending order.
-2/19, -2/3, p
Suppose 0*l - 3*g = -l + 12, 4 = -l - g. Let j be 1 + (1 - 1) - 6. Suppose 8*q + 4*q = 48. Sort q, l, j in decreasing order.
q, l, j
Let i = 2.5 - 2. Let u = -2.2 + -0.8. Sort u, -1/5, i in decreasing order.
i, -1/5, u
Suppose b - 8 = -5*d + 4, 5*d - 4 = 3*b. Suppose 5*w - 3 - 7 = d*v, 4 = 2*w + 5*v. Let z be (1 - 0)*1 - 4. Put -4, z, w in descending order.
w, z, -4
Let q be (1/(-2))/((-2)/3). Let w = -0.037 + -0.063. Sort w, -0.2, q.
-0.2, w, q
Let o be (2 - 2)*((-11)/(-4) - 3). Sort -15, -5, 4, o in descending order.
4, o, -5, -15
Let c(o) = 8*o + 35. Let g be c(-5). Suppose y + 10 = 2*y. Suppose 5*q - 20 = -4*m, -4*m + y + 10 = -2*q. Put q, g, -3 in descending order.
q, -3, g
Let f be (-1)/1 - (4 - -1). Let j be (-4)/f*1/(-2). Put 0.1, j, -2 in ascending order.
-2, j, 0.1
Let q = -9 + 9.2. Let g = -0.1 - q. Let v = 1 + -1. Sort v, -2/5, g.
-2/5, g, v
Suppose 0*a - 2*a + 12 = 0. Suppose -a*l + l = 0. Sort -4, -2, l in decreasing order.
l, -2, -4
Let y = 13 + -14. Let l be (12/45)/((-8)/(-20)). Put y, l, 0.2 in decreasing order.
l, 0.2, y
Let r(t) = 3*t + 22. Let x be r(-9). Sort -2, 2, x, 4 in decreasing order.
4, 2, -2, x
Suppose 12 = 5*s - s. Suppose -2 = s*w + 1. Let j be (-19 + 18)/((-1)/(-5)). Sort j, -0.2, w.
j, w, -0.2
Suppose -5 = 5*f + 10. Let t = -724/11 + 66. Sort 3, t, f in descending order.
3, t, f
Suppose -3 = 2*a + 1. Put -3, -5, -4, a in descending order.
a, -3, -4, -5
Let j(n) = 0 + n - 4 - 1. Let s be j(6). Let r(g) = -g**2 - 7*g - 3. Let u be r(-6). Put u, s, -4 in increasing order.
-4, s, u
Let o be 1/(-4) + (-1)/(-4). Suppose 4*h - 6 = -4*f + 22, 5*h + 3*f - 29 = 0. Sort h, o, -2 in decreasing order.
h, o, -2
Suppose 1 = 3*r - 5. Suppose 5*x = 2*f - 20, 2*f - 16 = -2*f - 2*x. Let u be (-15)/6*8/f. Sort r, u, 1.
u, 1, r
Let n(o) = -o - 3. Let h be n(3). Let m = -4 - h. Let r(t) = -t + 3. Let y be r(3). Sort -3, m, y.
-3, y, m
Let m = -1 + 5. Suppose 0 = 3*j + 4*n + 14, -3*j + m*n = 2*j - 30. Suppose -z - j*h - 10 = -3*h, 3*z - h + 20 = 0. Put -3, 3, z in decreasing order.
3, -3, z
Let j = -46 - -45. Sort 2, j, -3 in ascending order.
-3, j, 2
Let r be -4 + 15/(-10)*-2. Sort -3, r, 1 in ascending order.
-3, r, 1
Let v = -17/22 - 3/110. Let x = -12 - -29/2. Put x, v, 3/4 in decreasing order.
x, 3/4, v
Suppose 3*m - 27 + 18 = 0. Let u(s) = s**2 - 5*s - 8. Let p be u(6). Let k(d) = d + 1. Let q be k(-1). Put p, q, m in increasing order.
p, q, m
Let t be (-6)/(-2)*(-56)/42. Sort t, 2, -2 in ascending order.
t, -2, 2
Suppose 10 + 2 = 2*y. Suppose 4*v + 4*k =