m, 0, -3
Suppose -30 = 3*y + 5*x, 0*y - 4*x = -4*y - 8. Let p(s) = s - 8. Let u be p(7). Let a be -1 + u + 2 + 2. Sort a, 4, y.
y, a, 4
Suppose 3 - 11 = 4*p. Let q be -1*(1 - (-3 - p)). Sort 2, 5, q in increasing order.
q, 2, 5
Let p be ((-2)/(-5))/(2/15). Let u = -3 - -5. Sort p, 1, u in ascending order.
1, u, p
Let c(s) = 2*s - 1. Let g be c(2). Put -4, 0, 14, g in ascending order.
-4, 0, g, 14
Let n = -18 + 7. Put n, 5, 4 in decreasing order.
5, 4, n
Suppose 0*j - 13*j + 52 = 0. Sort 1, j, -5.
-5, 1, j
Let x = 0.8 + -0.4. Put -2, 1, x in increasing order.
-2, x, 1
Let c be 7/9 + (-4)/(-18). Put c, -3, 0 in decreasing order.
c, 0, -3
Let w = 2/5 + -1. Sort 0.3, w, -1, -0.9.
-1, -0.9, w, 0.3
Let x = -19/3 - -145/21. Put -0.5, 0, -1, x in descending order.
x, 0, -0.5, -1
Let t = -1.2 + 0.4. Put 0, 0.2, t, 0.5 in increasing order.
t, 0, 0.2, 0.5
Suppose -o + 17 = 4*v, -11 + 50 = 5*o - 3*v. Suppose 0 = -2*j + 3*h + h - 10, 0 = -4*j - 3*h - o. Sort 0, -4, j.
-4, j, 0
Let b(r) = 20*r**3 - r**2 + r. Let w be b(1). Suppose 4*n - w + 0 = 0. Let o be (-4)/(-2) + (-56)/30. Put n, o, 0 in descending order.
n, o, 0
Let s = 34 - 35.3. Let c = 6.8 + s. Let n = 0.5 - c. Sort n, 4, -3 in increasing order.
n, -3, 4
Let a(k) = -k + 2. Let g be a(3). Let h = 9 + -5. Suppose 3*l + 11 = -h. Put -3, g, l in descending order.
g, -3, l
Let p = 15 - 14.93. Sort 1/7, 4/3, p in descending order.
4/3, 1/7, p
Let l(q) = q**3 - 18*q**2 + q - 21. Let i be l(18). Put 1, 0.1, i in decreasing order.
1, 0.1, i
Let m(z) = -8*z - 18. Let t be m(-2). Sort -14, t, -3, 2 in ascending order.
-14, -3, t, 2
Let q = 23 + -27.4. Let d = -0.6 + q. Let b be (-1)/2*16/6. Put d, -1, b in increasing order.
d, b, -1
Let r = 15 + -15.6. Let q = -5.6 - r. Sort -1/3, 2/3, q.
q, -1/3, 2/3
Let h be 0/(8/(-4)) - 1. Put h, -3, 2 in increasing order.
-3, h, 2
Let o = 5 + 5. Let j(k) = k - 12. Let c be j(o). Sort c, -3, 5 in increasing order.
-3, c, 5
Let n = 0.27 - 4.07. Let k = 0.2 - n. Put -0.2, k, 2 in descending order.
k, 2, -0.2
Suppose 0 = -2*v + v - 4*b - 25, 2*v + b + 15 = 0. Let x be (-1)/(2/(-8)) - 0. Put x, 3, v in decreasing order.
x, 3, v
Let m = 20 - 17. Let h be (-4)/m*(0 + -3). Sort 3/2, h, -1/8 in increasing order.
-1/8, 3/2, h
Suppose 3*t = 5*p - 15 + 65, -2*p + 2*t - 24 = 0. Sort -2, p, -4/3.
p, -2, -4/3
Suppose 5*s + 12 = -2*g, 0*s - 8 = 2*s. Suppose 1 = 5*w + 5*a - 14, 2*a = 4. Suppose d = 2*d. Put g, d, w in decreasing order.
g, w, d
Let y(n) = 2*n**2 - 6*n - 5. Let g be y(5). Let d be g/12 - (-1)/(-4). Let j = -3 + d. Sort 0, 1, j.
j, 0, 1
Let d = 1 + -1. Suppose -2*i - 2 = -d*i. Put 2/7, i, 0.3 in decreasing order.
0.3, 2/7, i
Let l = -68/7 + 10. Sort 0.2, 5, l.
0.2, l, 5
Let w(f) = -23 + 14 + 6 + f - 3*f. Let n be w(0). Sort 3, n, 0 in descending order.
3, 0, n
Let r = 0.16 + -4.16. Sort -0.4, r, -1/5.
r, -0.4, -1/5
Let k be 5*(-2)/(-3)*3/(-2). Put 0, 1, k in descending order.
1, 0, k
Let r = -0.4 + -0.1. Let v = 40 - 20. Suppose v = 2*n + 3*n. Sort r, 1/2, n in descending order.
n, 1/2, r
Let g = -16 - -18. Suppose h - 4*r + 14 = g, 5*h - 4 = 4*r. Sort h, -5, -4 in decreasing order.
h, -4, -5
Suppose 4 = -2*h - 0*p - 3*p, 0 = h + 3*p + 2. Let i = 1 - -1. Let r(v) = v**3 - 3*v**2 + 2*v + 1. Let a be r(i). Sort h, a, -4 in descending order.
a, h, -4
Let z = -5 + 10. Let d = z + -5.4. Let g = -1.6 + d. Sort 0, g, 0.4.
g, 0, 0.4
Let o(r) = -r**2 + 4*r + 2. Let l be o(5). Let m be -1 + (-4 + l - -2). Let g = m + 2. Sort g, 5, 3 in decreasing order.
5, 3, g
Suppose 2*k = 4*u + 5*k - 13, -3*k - 11 = -2*u. Let t be 6*(6/u - 1). Let c be -1 - t - 2/(-2). Put 4, c, -5 in decreasing order.
4, c, -5
Let k be (2/(-2))/(-1) - -14. Suppose -3*b = -k, -4*g - 4*b + 35 = g. Suppose 430*o - 4 = 432*o. Put g, -4, o in ascending order.
-4, o, g
Let u = 6/17 + 27/68. Put -0.5, -3, u in increasing order.
-3, -0.5, u
Let m = 57 - 57. Sort -4, -0.3, -2, m in ascending order.
-4, -2, -0.3, m
Suppose 0 = -3*b + b - 2*j - 6, 0 = 5*b + j + 23. Let a(r) = r**2 + 9*r - 25. Let d be a(-11). Put d, 4, b in decreasing order.
4, d, b
Let g = -63 - -65. Sort 10, -3, -0.3, g.
-3, -0.3, g, 10
Let g = -4 - -2. Let w = -1.7 - g. Let u = 0.5 - 0.7. Sort -1, w, u.
-1, u, w
Suppose 10*i + 10 = 5*i. Let h be (4/40)/((-1)/(-4)). Sort i, h, -0.5 in increasing order.
i, -0.5, h
Suppose 5*a - 16 = a. Let d(x) = 4 - 4 - 3*x + 1 + a*x. Let n be d(3). Sort 3, n, 0 in descending order.
n, 3, 0
Suppose 4*g - 7 = x, -3*g - 1 = 2*x + 2. Sort g, -3, 2 in decreasing order.
2, g, -3
Let n(y) = -2*y**3 - y - 1. Let a be n(-1). Let k be ((-4)/(-21))/(a/(-3)). Put k, 0, -3/2 in increasing order.
-3/2, k, 0
Suppose 9 = -2*x + 1. Let h(v) = v + 1. Let g be h(x). Sort g, -1, -2 in decreasing order.
-1, -2, g
Let z be ((-18)/(-15))/((-12)/30). Let w be (-4)/1*(-1)/(-2). Sort w, z, 3 in decreasing order.
3, w, z
Let b = -0.24 + 0.54. Put -20, b, 5 in descending order.
5, b, -20
Suppose 31 = -3*w + 8*w - 4*k, -5*w + 7 = 2*k. Let j = 1 + 3. Sort w, -3, j in descending order.
j, w, -3
Let f be (-8)/(-36) - 16/(-36). Sort -0.1, f, 4.
-0.1, f, 4
Let s = 4 + -2. Suppose 5*a = 3 + 2. Let k be a + -2 + 5 + 1. Put s, k, 4 in decreasing order.
k, 4, s
Let x(v) = 2*v**3 - 2*v**2 - v. Let j be (-3)/2*(-24)/18. Let q be x(j). Put -4, -0.4, q in ascending order.
-4, -0.4, q
Let l be 2/(-1) + 1 - -1. Let u be ((-7)/28)/(2/(-16)). Sort 1, u, l in increasing order.
l, 1, u
Let t(v) = -v**3 - 14*v**2 + 14*v - 10. Let s be (5 + -1)*105/(-28). Let f be t(s). Put f, -4, -1 in ascending order.
-4, -1, f
Suppose 4*l + 45 = 13*l. Put 1, -6, l in decreasing order.
l, 1, -6
Suppose -7*d + c + 9 = -5*d, 0 = 4*d + 2*c - 14. Put 3, d, -6 in decreasing order.
d, 3, -6
Suppose 3*r + r = 60. Let n be (-2)/r*-3*5. Let b be (7 - 7)/(-3*(3 + -2)). Put 1, b, n in descending order.
n, 1, b
Let k = -122 - -122.1. Sort -0.3, 2/21, k, -15 in increasing order.
-15, -0.3, 2/21, k
Suppose -6 = 5*z - 1. Sort 4, z, -5 in descending order.
4, z, -5
Let i = -8 - -8.01. Let w = i - 0.04. Sort w, 2, 4 in descending order.
4, 2, w
Let f be (-2)/(8/(-13)) - 6/24. Sort 10, 2, f in descending order.
10, f, 2
Let q be 18/3 - ((6 - 4) + 1). Let a be 1/(1 - (-4)/6). Put q, a, -0.1 in descending order.
q, a, -0.1
Let a = -7.54 - -2.49. Let y = 0.05 + a. Let j = -7 + 7.3. Put y, -1, j in descending order.
j, -1, y
Let w = 3 - 2.5. Let g = -0.16 - -0.5. Let l = g + 0.06. Sort w, 0.1, l.
0.1, l, w
Let g = -12 - -7. Let s(y) = y**2 - 9*y + 3. Let x be s(9). Suppose x*a - 2*a - 2 = 0. Sort -4, g, a in descending order.
a, -4, g
Suppose -16*v - 40 = -8*v. Sort 4, 1, v.
v, 1, 4
Let b = -4 + 7. Sort -5, b, 0, 4.
-5, 0, b, 4
Let u = -2 + 2.3. Let w be (-2)/3*(4 - 3). Sort u, w, -4/7 in descending order.
u, -4/7, w
Let r(u) be the first derivative of -u**3/3 - 7*u**2/2 + 8*u - 2. Let c be r(-6). Suppose 4*z = c - 34. Put -2, 0, z in increasing order.
z, -2, 0
Let i(y) = -y**2 + 6*y + 9. Let g be i(7). Let w be g/8 - 11/(-4). Let x = 4.6 + -0.6. Put x, -2/13, w in decreasing order.
x, w, -2/13
Let p(f) = -f**2 - 9*f - 17. Let n be p(-8). Sort n, -3, -1 in increasing order.
n, -3, -1
Suppose -4*v + v - 30 = -3*t, -30 = 5*v - t. Suppose 0 = 8*g - 4*g - 12. Sort v, g, 2.
v, 2, g
Let d be (-161)/98 + 6/4. Sort -0.4, 0, d in increasing order.
-0.4, d, 0
Let c = 42 + -46. Put c, -5, -1 in decreasing order.
-1, c, -5
Let t = -1 - -3. Suppose 0*j = j. Suppose j*y = y - 5. Put y, -1, t in increasing order.
-1, t, y
Let h be (0 - 2)*(-30)/(-4). Let y be ((-4)/(-6))/(h/9). Let r = 0.6 - 1.1. Put y, -2, r in descending order.
y, r, -2
Let d = 16 + -18. Let y be (1 + 2 + d)*-1. Sort 3, y, -3.
-3, y, 3
Let h = -8 + 6. Sort -4, h, 3.
-4, h, 3
Let x be (2 + 0 + -3)*5. Sort -0.5, x, -4.
x, -4, -0.5
Let o(h) = -3*h**3 - h - 1. Let n be o(-1). Suppose 0*g = -g - n. Put -4, g, -0.5 in decreasing order.
-0.5, g, -4
Let d = -9.3 + 9. Put -22, 1/4, d in descending order.
1/4, d, -22
Suppose 2*q + 4*h + 12 = 0, -4*h - 2 = -6. Let j be (2/(-4))/(4/q). Sort 5, j, 1/2 in descending order.
5, j, 1/2
Let m = -78 + 73. Let l = -0.01 + 0.51. Put -3, m, l in decreasing order.
l, -3, m
Let q = -6 - -8. Let j = -2.5 + -0.5. Let t = j + 2.7. Sort q, t, -1 in ascending order.
-1, t, q
Let k be (-3 - -1) + 3 + (-3 - 0). Sort 1, -5, 2, k 