 + z = 2*j + 8. Suppose 2*m = 3*m - 5. Sort -4, z, m.
-4, z, m
Let q = -27 - -15. Let x = 17 + q. Put -3, 1, x in ascending order.
-3, 1, x
Suppose 9*l + 2*j = 4*l + 44, 0 = -l - 3*j + 1. Put 3, 2, l, 4 in descending order.
l, 4, 3, 2
Suppose 2*d = -w + 11, 2*d = -w - w + 16. Let z be (-1)/(-5) - 208/(-10). Suppose -3*m - 9 = -z. Sort 1, m, d.
1, d, m
Let w = 0.4 - 0. Let a = -39.1 + 39. Sort -1/4, a, w in decreasing order.
w, a, -1/4
Let n = 9.2 - 16.5. Let u = 15 + -8. Let z = u + n. Put 4/7, z, 1/4 in descending order.
4/7, 1/4, z
Let u = 14.32 + -14.2. Sort 0.1, -2/13, u in increasing order.
-2/13, 0.1, u
Let w = -12/25 + 73/100. Put 0.5, 0.1, w, 5 in descending order.
5, 0.5, w, 0.1
Let o(t) = -t**2 + 1. Let d be o(-1). Suppose 3 + d = -a. Put -1, -0.5, a in decreasing order.
-0.5, -1, a
Let b = -8 + 8.07. Sort b, 2/7, 0.1 in ascending order.
b, 0.1, 2/7
Suppose 4*s - 30 = -14. Suppose 3*v = 4*w + 5 + 13, 4*v + 4 = -4*w. Let u = v - 7/4. Sort s, u, -4.
-4, u, s
Let c = 38 + -39.05. Let k = c + 0.05. Let o = 1 + -0.9. Put 5, o, k in ascending order.
k, o, 5
Let j = -2 + 4. Let f be (j/1 + 2)/(-2). Sort 1/5, 1/4, f.
f, 1/5, 1/4
Let x(n) = -n**2 - 2*n + 7. Let o be x(-5). Let l be 32/18 - o/36. Let g be 3/(-1) - (0 - 1). Sort l, g, 3.
g, l, 3
Let c(q) be the first derivative of -q**3/3 - 9*q**2/2 - 10*q - 3. Let m be c(-8). Let w = -3 - m. Sort -4, w, 1.
-4, w, 1
Let s = -1 + 3. Suppose 2*d - 4 = -2*y - 2*y, s = 2*y - 3*d. Suppose f + 2 = -y. Sort f, -1, -4.
-4, f, -1
Suppose 0*i - 4 = 4*i, -q = 4*i - 6. Let o = -8 + q. Suppose o*w + 3*w = 5*k + 15, 3*w = 15. Put -1, k, 0 in increasing order.
-1, 0, k
Let w be ((-6)/(-9))/(6/27 - 0). Sort -3, 5, w.
-3, w, 5
Let p be 9/(-6)*2/6. Let m = -0.4 - -0.3. Let c = m - -0.2. Put p, -2/3, c in ascending order.
-2/3, p, c
Let g be 8/16 + 5/2. Let o be (-14)/(-21)*2*g. Let d be o/(-6) + 22/(-12). Put -0.3, -2/7, d in decreasing order.
-2/7, -0.3, d
Let d = -1.4 - 0. Put 4, 1, d in decreasing order.
4, 1, d
Let q(c) = 2*c**2 + 3*c + 2. Let h be q(-2). Suppose -u = 3*u + h. Let w = -3.92 + -0.08. Sort -0.5, w, u in ascending order.
w, u, -0.5
Let i be 5 - (-2)/((-2)/2). Suppose -2*b = -5*x - 6*b - 17, 5*x + i*b = -19. Suppose n + 0 + 3 = 0. Sort 4, x, n in descending order.
4, n, x
Let b = -0.06 + 0.06. Put b, -2/3, 2/5 in descending order.
2/5, b, -2/3
Let c = -29 - -31. Let w = -11 - -7. Let m = 0 - 3. Put c, w, m in decreasing order.
c, m, w
Let r = -12 - -8. Sort 5, 3, r in ascending order.
r, 3, 5
Suppose -3*u + 4*u + 5*p = 3, 2*u = -3*p + 6. Put 2, u, -1, -7 in descending order.
u, 2, -1, -7
Let j(x) = -x + 1. Let r be j(-4). Let v = r - 8. Let c be 69/21 + (-2)/7. Sort v, c, -1.
v, -1, c
Let r = 0.13 - 0.13. Sort -4, r, -1.
-4, -1, r
Let u = 7 + -7.5. Put 0.2, -0.3, u in ascending order.
u, -0.3, 0.2
Suppose 3*m + 2*m - 5 = 0. Put m, 7, -5, 2 in ascending order.
-5, m, 2, 7
Suppose 0 = 12*t + 103 - 19. Let m(l) = -l**2 - 5*l. Let x be m(-5). Put 3, x, t in increasing order.
t, x, 3
Suppose -g + 3*h + 4 = 0, 2*g - 4*h - 8 = -0. Put -3, g, 0 in decreasing order.
g, 0, -3
Suppose 3*c = 2*z + 3*z + 160, 4*z - 4*c + 128 = 0. Let u = -12 - z. Suppose -2*m = -4*l - u - 4, 3*l + m = -13. Put 2, -4, l in increasing order.
l, -4, 2
Let y be ((-8)/16)/((-5)/6). Put 3/8, y, -18 in decreasing order.
y, 3/8, -18
Let f = -11 + 7. Let g be (-1)/((-3)/(-6) - 1). Let r = g - 4. Sort 4, f, r in increasing order.
f, r, 4
Let n = 8 - 3. Let h(d) = -d + 2. Let w be h(n). Sort w, 3, 4 in increasing order.
w, 3, 4
Let k be (-3)/(3 - 12/2). Let v be 3 + (-1 - k) + -3. Put 6, -3, v in increasing order.
-3, v, 6
Suppose -12*r - 8 = -8*r. Sort r, -4, 5.
-4, r, 5
Suppose -3*b + 6*b - 12 = 0. Suppose 12*f - b = 8*f. Sort -2/3, 1/4, f in descending order.
f, 1/4, -2/3
Let a(d) = d + 3. Let r(z) = -5*z - 16. Let y(q) = 11*a(q) + 2*r(q). Let g be y(-4). Suppose 5*u = 4*u + 4. Sort -5, u, g.
-5, g, u
Suppose m + m = -8, 5*t - 40 = 5*m. Sort -9, t, 3.
-9, 3, t
Let r be (-6)/(-12) + (-27)/6. Suppose -9 - 1 = 5*w. Sort 1, w, r in decreasing order.
1, w, r
Let l = -2 - -5. Let x = 1 - l. Let q = -0.25 - -3.25. Put x, q, -5 in descending order.
q, x, -5
Let v = -13.057 + 0.057. Put -3, -1, v in ascending order.
v, -3, -1
Let m = -7/6 - 1/3. Let b = -22 - -33. Let w = 8 - b. Sort m, -2, w in descending order.
m, -2, w
Let w = 1 + 2. Suppose -3*g + 4*h = -9, 4*g - 4*h - 10 = 2*g. Sort g, w, -4.
-4, g, w
Let s = 1.1 + -0.6. Let r = 2 - 0. Let v = -2 + r. Put v, s, -1 in descending order.
s, v, -1
Suppose 0*s = -5*s + 15. Let r = 10 - 15. Sort r, s, 0 in increasing order.
r, 0, s
Suppose -2*l = -21 - 31. Let d = l - 21. Sort d, 2, -4.
-4, 2, d
Let j = -4 + 3.5. Sort -1/5, j, 5 in decreasing order.
5, -1/5, j
Suppose 0 = 5*a + 10 - 5. Sort -7, 2, a in descending order.
2, a, -7
Suppose 5*l = -2 + 12, 3*q - 4*l = 1. Suppose 0 = -4*j - z - 8, z + 7 = 3*j + 5*z. Sort -2, j, q in decreasing order.
q, -2, j
Let i = -3 + 3.08. Let b = -3.32 - -3.7. Let p = b - i. Put p, 4, 0.4 in increasing order.
p, 0.4, 4
Suppose -2*j + 23 - 3 = -4*m, -2*j = -m - 23. Let u be (-12)/(-16) + (-153)/j. Sort 4, u, -1 in descending order.
4, -1, u
Let t be 12/10*(6 - 1). Put 5, 1, t in decreasing order.
t, 5, 1
Suppose 11*b = 17*b - 18. Put b, 7, -1 in descending order.
7, b, -1
Let k(g) = -4*g + 27. Let d be k(8). Sort 1, 15, d.
d, 1, 15
Let z = -1 - 2. Suppose 5 + 0 = c. Sort z, 1, c.
z, 1, c
Let k = -55.5 - -55. Put 4/3, 9, k in increasing order.
k, 4/3, 9
Let k(y) = y**2 - 4*y - 6. Let b be k(5). Suppose -4*s = 4*r - 20, 2*s - 12 = -0*r - 3*r. Suppose 0 = -4*l + 8*l - 8. Put l, s, b in decreasing order.
s, l, b
Suppose 0*c - 9 = -3*c. Suppose -4 = -3*b + 8. Put b, c, -5 in decreasing order.
b, c, -5
Suppose 0 = 3*y - 9. Sort -1, y, -3 in decreasing order.
y, -1, -3
Let w = -4 - -2. Let n be ((-12)/(-15))/(w/(-5)). Suppose -k + 2 = -3. Sort 1, n, k in ascending order.
1, n, k
Suppose -3*c + 3*p - 15 = -7*c, -3*c + 3*p = 15. Suppose 2*n = 8 - c. Suppose -l - 14 = -4*i - 3*l, 0 = -5*i - n*l + 13. Put i, -2, 4 in decreasing order.
i, 4, -2
Let v = 12 - 2. Let m = v - 15. Suppose -d + 5*p = -21, 5*d + 0*d + 15 = -5*p. Sort -1, d, m in ascending order.
m, -1, d
Let o = -50816 + 356912/7. Let m = 172 - o. Let y = -0.4 - -0.1. Sort y, m, -5 in descending order.
m, y, -5
Let j be (1 + -4)/(9/(-12)). Let y be 3 + 156/(-20) + 1/(-5). Put -3, j, y in decreasing order.
j, -3, y
Let m = 5 + -9. Let n be (-3)/(-165) - m/22. Sort n, 2/3, 1.
n, 2/3, 1
Let g = 2 - 6. Let b = 5.74 + -8.74. Sort g, -0.2, b in decreasing order.
-0.2, b, g
Let t = -82.9 - -83. Put -2, -2/9, t, -5 in ascending order.
-5, -2, -2/9, t
Let f = -0.861 - -15.501. Let m = 12.6 - f. Let v = m + 0.04. Put v, -1, 0 in ascending order.
v, -1, 0
Suppose 0 = -a + 2*a + 5. Let y = a + 0. Sort -6, 0, y in descending order.
0, y, -6
Let t = 7.9 + -2.9. Put t, 3, -1 in descending order.
t, 3, -1
Let l = -6 + 4. Let u = l + 2.1. Put 5/3, -0.5, u in decreasing order.
5/3, u, -0.5
Let d be (-6)/8 - (-2)/(-8). Suppose -4*x - 15 = -h - 0*h, -2*h = 2*x. Sort d, 3, x in descending order.
3, d, x
Let y(w) = -1 + 3*w - w - 3*w. Let g be y(1). Put 1, 0, g in descending order.
1, 0, g
Let p = -5.4 + 0.4. Let g = -0.3 + 0.4. Sort p, -0.4, g in ascending order.
p, -0.4, g
Let s = -26 - -26.11. Let z = s + -0.21. Put z, -4, 1/5 in descending order.
1/5, z, -4
Let z be 5/15*(0 + 0). Suppose -2*p + z*p = -4. Sort p, -5, 0.1.
-5, 0.1, p
Suppose -3*g - 7 = -x - 0*g, -g = 1. Suppose -x*s = -5 - 7. Let f = s - 1. Sort 4, -4, f in descending order.
4, f, -4
Suppose -3*l + 3 = -6*l. Let r be ((11 - l) + -2)/2. Let s = -12.4 - -12. Sort r, s, -1.
-1, s, r
Suppose b + 47 = -4*b - 4*y, -3*y - 16 = b. Sort b, 3, 4 in descending order.
4, 3, b
Let b be (-1)/2 - 2/(-4). Sort 3, 13, b in ascending order.
b, 3, 13
Let z be 6/9*(-9)/3. Let r = -2 + 2. Put 2, z, r in increasing order.
z, r, 2
Suppose -p + 3*p = 0. Sort 1, p, 4 in decreasing order.
4, 1, p
Let h be (-1)/(-3)*(-363)/11. Let w be 57/h + (-16)/(-88). Sort w, 2, 4 in ascending order.
w, 2, 4
Let p(t) = -t - 4. Let n be p(-6). Suppose 1 = -n*i - 9. Let r(v) = v**3 + 3*v**2 - 5*v - 5. Let z be r(-4). Put z, -4, i in increasing order.
i, -4, z
Let c = -12 + 9. Suppose -4*k - 8 = -3*m, 