2)/6). Put 3, c, n in descending order.
3, n, c
Let v be (2 - 5) + (-3)/(-1). Let x be (-2 + 4 + v)/(-2). Put x, 3, -2 in increasing order.
-2, x, 3
Suppose 5*j = 4*s, 0 = -3*s + j + 3*j. Let y be 1/(-2)*(-2)/4. Sort y, 0.1, s in descending order.
y, 0.1, s
Let d = 6 - 2. Suppose 0 = 4*l + 20. Put d, l, -2 in increasing order.
l, -2, d
Suppose -5*w = -25, -2*w - 2*w = -4*i - 16. Sort -1/11, i, -3/2 in ascending order.
-3/2, -1/11, i
Let t = 6 + -5. Put t, -3, 4 in descending order.
4, t, -3
Let w = 6 - 6. Let s(j) = j**2 - 4 - j**2 - j**2. Let o be s(w). Put 5, 1, o in ascending order.
o, 1, 5
Let w = -26 - -28. Sort w, -5, -2, 3 in increasing order.
-5, -2, w, 3
Let z = 11 - 6. Let m = z + -3. Sort 4/3, -4, m.
-4, 4/3, m
Suppose -2*o = -0*o - 6. Let u = -4 + o. Put 0, 4, u in decreasing order.
4, 0, u
Let u = 88 + -83. Sort 0.3, u, 2/11, 2 in decreasing order.
u, 2, 0.3, 2/11
Suppose -18 = 25*h - 7*h. Let v(y) = y**3 + y + 5. Let k be v(0). Sort 4, h, k in descending order.
k, 4, h
Suppose 3*n - 5*n = -4. Let h be (-58)/(-6) + (-6)/9. Suppose 4*u = h + 3. Put -0.4, u, n in decreasing order.
u, n, -0.4
Let n = 25 + -26.7. Let u = n + -1.3. Let x = 0.8 + 0.2. Sort -2/3, x, u in ascending order.
u, -2/3, x
Let w = 8 - 5. Suppose w*n = 2 - 8. Let s be ((-24)/16)/(3/8). Put s, n, 1 in ascending order.
s, n, 1
Let n = 37 - 41. Put n, 5, 1/4 in descending order.
5, 1/4, n
Let l = 39 + -118/3. Let z be (-77)/(-110)*(-4)/(-7). Sort z, 0, l in increasing order.
l, 0, z
Let g = -21 - -19. Sort g, -6, 3 in ascending order.
-6, g, 3
Let f(m) = 4*m - 30. Let w be f(8). Let x = 9 + -6. Suppose -10 = -w*i + x*j, 3*j - j = 0. Put i, 0, -3 in descending order.
i, 0, -3
Let x(d) = -d**2 - 17*d + 1. Let z be x(-17). Put 5, -17, z in decreasing order.
5, z, -17
Let w = 15 + -13. Let v = -172 - -2922/17. Sort -0.03, v, w in increasing order.
v, -0.03, w
Let t = -28 - -26. Put 0.2, 5, 0.5, t in increasing order.
t, 0.2, 0.5, 5
Let k = 3 - 2.9. Let c = k - 0.6. Let x be 32/(-48)*3/(-7). Sort c, 2, x in increasing order.
c, x, 2
Let s = -0.8 - -0.4. Let f = -1 + 1.2. Let y = f + s. Put y, -0.3, -2 in decreasing order.
y, -0.3, -2
Let f be ((-15)/10)/((-3)/(-6)). Sort 4, 7, f, -4 in increasing order.
-4, f, 4, 7
Let w = 0.6 - -4.4. Let i = 3 - w. Put 0.1, i, -2/3 in increasing order.
i, -2/3, 0.1
Suppose -q - 2*q + 26 = -d, -2*d + q - 77 = 0. Sort 3, d, -2 in decreasing order.
3, -2, d
Let d be (4418/5)/(56/(-47)). Let t = 3686/5 + d. Let n = -36/7 - t. Sort -2/3, -1, n.
-1, n, -2/3
Suppose 3*y = 2*n + 24, 8*n - 3*n = 0. Let k = -12 + y. Sort k, 4, 3 in descending order.
4, 3, k
Let p = -19 - -9. Let r = -12 - p. Sort r, -4, 2 in decreasing order.
2, r, -4
Let y be 2/(-3) - (-7)/(-3). Suppose -7*k + 2*k - 5 = 0. Suppose 0 = -i + 2 + 1. Put k, i, y in descending order.
i, k, y
Let p be 6/27 + (-11)/(297/6). Let j = -3 + 1. Sort j, 2, p in decreasing order.
2, p, j
Let n = -65/8 - -911/120. Let u = n - -31/30. Put -3, 3, u in increasing order.
-3, u, 3
Let r be (-4)/21*6/(-4). Let l = -12.1 + 12. Let g = 3.1 + l. Sort g, r, 2 in decreasing order.
g, 2, r
Let v be (-41)/(-44) - 2/11. Let j = -1.6 - 2.4. Put j, v, -1 in decreasing order.
v, -1, j
Let p = -3 + 1. Let v = p - -4. Suppose -w - v - 2 = 0. Sort 1, 5, w.
w, 1, 5
Let x = 2 + 1. Let b(s) = 2*s**2 + 2*s. Let c be b(-2). Suppose 2*i + 3 = -2*l - 3, -5*l - 4*i - 10 = 0. Sort x, l, c.
l, x, c
Let r be ((-11)/22)/(2/8*-2). Let x be 58/12 + 0 + -1. Let s = x - 10/3. Sort -3, s, r.
-3, s, r
Let i(j) = -j**2 - 9*j + 16. Let a be i(-11). Let h = a + 5. Sort 1, 2, h.
h, 1, 2
Suppose 4*m = -5*a + 17, -5*m - 8 = -m. Let c(q) = q**2 + 6*q + 2. Let i be c(-5). Put a, i, 4 in increasing order.
i, 4, a
Let k = -2.1 - -2.1. Sort k, -2, 3/2.
-2, k, 3/2
Let a be (1 + (-5)/2)*-6. Sort 2, a, -3.
-3, 2, a
Let n = -185 - -183. Put n, -14, 0 in ascending order.
-14, n, 0
Let k = -8.2 + 7.9. Sort -5/2, k, 0.1 in ascending order.
-5/2, k, 0.1
Let f be (-19)/7 - 2/7. Let y = 68 - 69. Put y, f, -4 in increasing order.
-4, f, y
Let f = 187/2494 - 3/58. Let i = f + -45/86. Put 4, 1/7, i in decreasing order.
4, 1/7, i
Suppose 3*p = 4*p - 5*m + 22, 25 = 5*p + 2*m. Sort 1, 4, p in ascending order.
1, p, 4
Let c(y) = -y**3 + y**2 + 2*y - 7. Let l be c(0). Sort 0, l, 1 in increasing order.
l, 0, 1
Suppose 0 = -3*t + 5*t - 2. Let d(f) = 3*f**2 + 2*f - 5*f**2 + 3*f**2 - f. Let l be d(-1). Put -5, t, l in descending order.
t, l, -5
Let h = -6 + 6. Suppose h*s = 5*s - 2*o + 15, -4*s - 2*o - 12 = 0. Suppose j + 3 = -1. Sort s, 1, j in decreasing order.
1, s, j
Suppose -7 - 9 = 4*v. Suppose -5*x + 4*g - 2 = 0, g - 25 = -22. Sort -0.1, v, x in decreasing order.
x, -0.1, v
Suppose 3*n = -5*y + 42 + 4, -y - 30 = -5*n. Sort 12, n, -1.
-1, n, 12
Let g(h) = -h**3 - h**2 - h + 4. Let x be g(0). Let b be 4*-6*2/(-48). Put x, b, -2 in increasing order.
-2, b, x
Let q be 4 + 0 - (-30)/(-5). Sort 0.06, 0.3, q.
q, 0.06, 0.3
Let d = -7.5 - -8. Let b(f) = -f**3 - 6*f**2 - 2*f - 1. Let x be b(-6). Let k = x - 23/2. Sort d, k, 0.4 in increasing order.
k, 0.4, d
Let w be 3 + (4 - 4)/(-1). Suppose d = -0*d - 2. Sort w, d, -3.
-3, d, w
Let v be 3 + 8/6 + (-9 - -5). Let r = -2.2 + 2. Sort r, v, -1/7 in descending order.
v, -1/7, r
Let r = -0.96 + -0.04. Let x = 661/4 - 166. Put -3, r, x in decreasing order.
x, r, -3
Let g be (-24)/(-45) + 3/(-15). Put g, 0, -0.3 in ascending order.
-0.3, 0, g
Let x(q) = q**2 - 20. Let o be x(4). Sort 3/5, o, -0.2, -2 in decreasing order.
3/5, -0.2, -2, o
Let c be 2 + -2 - (-1 - -2). Let a be (-2 + 0/1)*1. Let i be 2*3/(6/(-5)). Put a, c, i in descending order.
c, a, i
Let k = -6.7 - -7. Let u = -0.4 + 0.5. Sort u, -1, k.
-1, u, k
Suppose y = 3*k + 15, 7*y = k + 2*y + 19. Let p = 47/171 + -1/19. Put p, -0.2, k in descending order.
p, -0.2, k
Let h = -12 + 11. Sort 4, h, -4, -3 in descending order.
4, h, -3, -4
Suppose 3*m + 5*z + 0*z - 5 = 0, -2*m + 3*z - 22 = 0. Let s be (-6)/(-2)*3/(-3). Sort -4, s, m in ascending order.
m, -4, s
Let w = -0.407 - -0.107. Put -5, 0.3, 2, w in descending order.
2, 0.3, w, -5
Let c = -12 - -29. Sort c, -5, 2/3.
-5, 2/3, c
Suppose h + h - 10 = 0. Let f = -13 + 8. Put h, f, -2 in descending order.
h, -2, f
Let v be 55/7 + (66/42)/11. Sort 2, v, 3 in ascending order.
2, 3, v
Let c = 344/5 + -69. Let n = 0.003 + 0.207. Let r = n + -0.11. Put -1/9, r, c in decreasing order.
r, -1/9, c
Suppose -9 = -4*m - 2*k - 1, 0 = 2*m - k. Let j = 6.25 + -1.15. Let q = 1.1 - j. Sort q, m, 0.2.
q, 0.2, m
Let x be (-12 - -12)/(-1*1). Let j be (-10)/8 - (-8)/4. Put x, j, -0.4 in increasing order.
-0.4, x, j
Let l be (-2 + 0)*2/(-4). Let j = 0 - l. Let g be (20/12 + -2)*-3. Put g, -4, j in increasing order.
-4, j, g
Let l be (-2 + (-19)/(-11))*1. Let k = l - -17/22. Sort 0, -5, k in decreasing order.
k, 0, -5
Let x(r) = -12*r + 11*r**3 + 2*r**2 + 4 - 12*r**3 - 15*r**2. Let n be x(-12). Sort n, -5, -7.
-7, -5, n
Let w = -6 + 5.4. Let t = w + 0.9. Sort -1/5, t, -4 in increasing order.
-4, -1/5, t
Let x = 0.93 - 0.93. Sort 0.1, x, -1, 5 in descending order.
5, 0.1, x, -1
Let t = -0.22 - -0.06. Let p = t - 4.84. Sort -3, p, 1 in increasing order.
p, -3, 1
Suppose -3*h - 2*h + 2 = -2*n, 5*h + 5 = -5*n. Sort 1, n, 0.
n, 0, 1
Suppose 3*r = 3*k + 6, -2*r + 1 + 5 = -3*k. Suppose r*q = q - 2. Sort 0, q, 5 in ascending order.
0, q, 5
Let s = -0.141 + -3.859. Put s, 1/5, -10 in decreasing order.
1/5, s, -10
Let s = 22 + -19. Sort 0.3, -0.4, s in increasing order.
-0.4, 0.3, s
Let c(q) = 4*q**2 + 3*q. Let k be c(-2). Let n be (-6)/k + (-10)/25. Let j be n + 1 + (-6)/10. Put j, -5, 2 in descending order.
2, j, -5
Let z = 0.3 - 0.4. Let f = 0.031 + 0.069. Let v = 0.1 - 0.6. Put v, z, f in ascending order.
v, z, f
Suppose -t - 3*u = 0, -2*u = -5*t + 4*t. Put 5, -4, -2, t in descending order.
5, t, -2, -4
Suppose 2*m + 2 = -4*r, 3*r = -2*m + 2*r + 4. Suppose 4*y - 12 = -0*y. Suppose -5*g + y*z + m = 2, -2*g - 2*z + 10 = 0. Sort 0.1, 0.3, g in descending order.
g, 0.3, 0.1
Let g = -12 - -3. Let m = 7 + g. Suppose 2*n - 4*v = -2*v - 6, 4*n - 16 = -3*v. Sort n, 4, m in descending order.
4, n, m
Suppose -3*b = -2*n - 23, -b - n - 9 = -2*b. Suppose -2*k = -3*f - 0*k - 8, b = -2*f + k. Sort -6, f, 1 in descending order.
1, f, -6
Suppose -4*z + 4 = 