pose -3*n - q = -12, 3*n + 0*n - c = -3*q. Put -7, h, n in decreasing order.
n, h, -7
Suppose 0 = 4*m - m + 3. Suppose 4*a + 3*i + 52 + 3 = 0, -a + 2*i = 11. Let u = a - -17. Put 1, m, u in ascending order.
m, 1, u
Suppose -3*n - 761 = -647. Let y be (2/(-4))/(1/(-78)). Let o = y + n. Sort 0.02, o, 3 in decreasing order.
3, o, 0.02
Let b = -101/21 - -29/7. Put -2, -17, b in descending order.
b, -2, -17
Let n = -7 - -5. Let t be ((-2)/(-2))/((11 + -6)/(-105)). Put n, -1, t in descending order.
-1, n, t
Suppose 0 = 2*l + 4*k + 1 - 3, -3*l - 30 = -5*k. Let w be (3*2)/((-12)/(-8)). Suppose -3*y + 2 = -4*d, w*d + 10 = -2*y + y. Put 1, l, d in increasing order.
l, d, 1
Let i = 10.56 + -10.76. Let v = 7 + -10. Sort -0.1, v, i, -0.06 in ascending order.
v, i, -0.1, -0.06
Suppose -t = -3*p - 5, -p - 3*p - 2*t + 10 = 0. Suppose -2*m + 5 = -3*z - 11, p = m - z - 6. Let l = 184 + -185. Put m, -5/2, l in descending order.
m, l, -5/2
Let g = 3 - 3. Let u = 0.4 - g. Let n = -219 + 214. Put u, 1/2, n in ascending order.
n, u, 1/2
Let t = 1.9 + 2.1. Let j = -0.02 - -0.32. Sort -0.1, t, j in descending order.
t, j, -0.1
Let y(i) = -i**3 - 10*i**2 - 6*i + 75. Let p be y(-8). Sort -0.07, -3, p.
p, -3, -0.07
Let k(h) = -h**2 + 7*h - 1. Let u be k(7). Let a = 27.17 - 0.17. Let f = -27.06 + a. Sort 3, f, u in descending order.
3, f, u
Let n be ((-1150)/5 + -1)*1. Let m = -2077/9 - n. Put 41, 1/9, m in increasing order.
1/9, m, 41
Suppose 0 = d + 3 - 6. Let r = -15.9 + 16. Let k = 1.9 + r. Sort d, k, -8 in increasing order.
-8, k, d
Suppose -5*m = 3*w - 5 - 20, 4*m = 8. Put -0.05, w, 4 in decreasing order.
w, 4, -0.05
Suppose 13*d - 56 + 4 = 0. Sort -3, 3, d, -6 in decreasing order.
d, 3, -3, -6
Let c(u) = 2*u + 1. Let n be c(-3). Suppose -2*d - y - 7 = 0, -4*y + 6 = -2*d - 6. Let f be 0*(-4)/(-8) - 5*-1. Put d, n, f in decreasing order.
f, d, n
Suppose -2*w = -p + 3 - 9, 3*w = 12. Let i = 4 - 3.6. Sort i, p, -2.
-2, i, p
Let c = -3.2 + 25.2. Let n = -4 + c. Let g = n - 20. Put 0.2, -2/11, g in descending order.
0.2, -2/11, g
Let l be (2 + 1/(-1))*2. Put -17, -4, l, -3 in ascending order.
-17, -4, -3, l
Let x(w) = -7*w**2 + 29*w - 2. Let l be x(4). Sort 0, 40, l, 1 in ascending order.
0, 1, l, 40
Let g = 0.1 + 0.1. Let j = 86 + -86.04. Let y = 6.04 + j. Sort y, g, -3 in increasing order.
-3, g, y
Let t = -153 - -152.6. Put 2/17, 3, t, 0.4 in decreasing order.
3, 0.4, 2/17, t
Let n be 22/77 + (-301)/1078. Sort n, -0.5, -2/9, 0.3 in decreasing order.
0.3, n, -2/9, -0.5
Let r = 55 + -57. Let g be r - -3 - (-1 + 2). Sort -2, 7, g, 1.
-2, g, 1, 7
Let y be (1080/9)/6 - 7. Put -11, y, -5 in descending order.
y, -5, -11
Let n = 8 + -3. Suppose 5*r = 3*r - 502. Let z = -2257/9 - r. Put 3, z, n in increasing order.
z, 3, n
Let j be (((-4)/(-3))/(-4))/(2/(-264)). Let b be (-15)/22 - (-8)/j. Sort b, -9, 3 in decreasing order.
3, b, -9
Suppose 5*l + 321 - 331 = 0. Put l, -2, -14 in decreasing order.
l, -2, -14
Let u be (-15)/3 + 2 + -6. Sort -0.3, 31, u.
u, -0.3, 31
Suppose -32*f + 33*f - 1 = 0. Sort f, 0, 257, 2 in ascending order.
0, f, 2, 257
Let a = -86 + 81. Put a, -1/3, -0.009 in increasing order.
a, -1/3, -0.009
Suppose 9*b + 3*u + 5 = 7*b, 0 = -2*b + 4*u - 26. Let k(r) = -2*r - 14. Let v be k(b). Sort 2, 4, v in descending order.
4, 2, v
Let y(w) = 2*w + 5 - 8*w + w**2 + 0*w**2. Let c be y(4). Let s be (-6)/c - -6 - 3. Put 3, 2, s in decreasing order.
s, 3, 2
Let x = 12 - 11.9. Let y = -2.36 + 0.36. Sort x, y, 10/9 in ascending order.
y, x, 10/9
Let h be 12/15*-2 - (-6)/10. Let z(n) = 0*n + n**2 - 2*n - 1 + n. Let y be z(h). Sort -5, -4, y in descending order.
y, -4, -5
Let l be -1*5 + (8 - (-207)/(-81)). Let i = 1.7 + -0.7. Let y = 3 + 0. Sort l, y, i in descending order.
y, i, l
Let p = -176 + 180. Put 3, 8, p in descending order.
8, p, 3
Suppose 5 = 12*g - 7*g. Suppose -6 = -u - 0*d - 3*d, d - g = 0. Let t be (-2)/(-6) - (-4)/6. Sort t, u, -6.
-6, t, u
Let u = -18.7 + 0.7. Let y = u + 17.6. Sort 1/4, y, -1 in decreasing order.
1/4, y, -1
Let d = -179 + 182.04. Let n = 0.04 - d. Let f = -8.96 - -12.96. Sort -4, f, n.
-4, n, f
Let g = -19.5 + 19.8. Sort g, -24, -3 in descending order.
g, -3, -24
Let a = -18 + 19. Let d = 181 + -178. Put d, -5, a, -2 in decreasing order.
d, a, -2, -5
Let f be (0 + -2)/((-130)/42 + 3). Suppose -4 - f = 5*z. Let k = 2 - 5. Sort 1, z, k.
z, k, 1
Let n(x) = x**3 - 14*x**2 - 15*x - 2. Let k be n(15). Let a be (-40)/(-18) + 14/(-63). Sort k, -3, 5, a in decreasing order.
5, a, k, -3
Let l = 0.01 - -0.49. Let q be -1*((-25)/5 + 13). Sort -0.5, l, q in decreasing order.
l, -0.5, q
Let s = 7.8 + -3.2. Let w = s - 6.6. Put w, 12, -1 in descending order.
12, -1, w
Let p(n) = 3*n**2 - 82*n - 64. Let q be p(28). Put 2, 1, q in ascending order.
q, 1, 2
Let r = 0.779 - 1.279. Sort r, -1, -24/65, -5 in ascending order.
-5, -1, r, -24/65
Let l(t) = 2*t**2 + 41*t + 39. Let x be l(-19). Put -2, 3, x, 4 in descending order.
4, 3, -2, x
Suppose 19*t = 74 - 17. Put 0, t, -7, 4 in decreasing order.
4, t, 0, -7
Let c = -0.07 - 0.04. Let j = -4.89 + c. Let d = j - -10. Put 2/7, -1/2, d in increasing order.
-1/2, 2/7, d
Let q = -4 + 7. Let a = 0.09 - 66.09. Let u = -62 - a. Sort q, u, 0.5.
0.5, q, u
Suppose 0 = b - 1, 2*i - 5*b = -0*b - 15. Put 2/9, -7, i in increasing order.
-7, i, 2/9
Suppose 0 = -5*f - 21 - 69. Let h be (1 + -1)/(-1 + f/(-6)). Sort -4, -1, h.
-4, -1, h
Let g = 5 - -5. Let w(r) = -3*r**2 + 8*r + 3. Let f(c) = -16*c**2 + 39*c + 15. Let a(m) = 2*f(m) - 11*w(m). Let t be a(g). Sort t, -2, 0 in descending order.
0, -2, t
Suppose 20 = 5*h + 4*y, -y - 22 = -2*h - 27. Put 7, -31, h in descending order.
7, h, -31
Let t = -4037/10 - -404. Sort -0.2, 5, t, 0.4 in decreasing order.
5, 0.4, t, -0.2
Let j be 5 + 5*(-2 + 6/5). Let o(i) = -i + 7. Let l be o(-6). Suppose -l = -5*g + 3*r + 54, 5*r + 31 = g. Sort -5, j, g in decreasing order.
g, j, -5
Let x = -8 - -6. Put 0, 0.11, x, 5/4 in decreasing order.
5/4, 0.11, 0, x
Suppose -8*w - 23 = 33. Let q be 8/w*(-91)/26. Let a(p) = p - 2. Let x be a(0). Sort x, q, -1.
x, -1, q
Let j(v) = 23 + 6 + 3*v - 5. Let p be j(-9). Let t = -2 + 1. Sort 4, p, t in descending order.
4, t, p
Let w be 22/440 - 43/60. Let d = 0 - -1. Sort 0.2, w, 5, d in descending order.
5, d, 0.2, w
Let w(h) = -h**3 - 17*h**2 - 2*h - 32. Let u be w(-17). Let t = 4 - -7. Sort -4, u, t, 1 in ascending order.
-4, 1, u, t
Suppose -3*o + 15 = -0*o. Suppose 4*q - 4 = -c, -3*c + 2*c + 5 = o*q. Let a be (-130)/39 + (-4)/6. Put a, 3, q in decreasing order.
3, q, a
Let w be (-16)/(-7) - (-20)/(-70). Suppose w*i = 4*d - 0*d - 2, -5*d - 2*i - 11 = 0. Put -5, d, -3 in descending order.
d, -3, -5
Suppose 48 = 33*g - 49*g. Sort g, -2, 27.
g, -2, 27
Suppose -5*x = 14 + 11. Suppose -394*y + 395*y + 6 = g, -5*g + y = -18. Put x, -2, g, 1 in descending order.
g, 1, -2, x
Suppose 25*a - 15 = 22*a. Let t be 16/6*(-9)/6. Sort a, t, 3 in ascending order.
t, 3, a
Let d be (-1*(1 + -1))/(3 + 2). Sort d, -7, 1, 7 in decreasing order.
7, 1, d, -7
Let q = -0.31 + 1.31. Let l = q - 2. Let x = 7/2 + -2. Sort l, -5, x in ascending order.
-5, l, x
Suppose -l - c + 2 = 0, -88*c = -83*c. Let g = 21 - 24. Put 3, -0.4, g, l in decreasing order.
3, l, -0.4, g
Let l(s) = -2*s**2 + 2*s - 5. Let h be l(0). Suppose -2*p + 15 = 3*p. Sort h, p, -3, 0.
h, -3, 0, p
Let p = -14.6 + 14.4. Put -5, p, -4, 5 in ascending order.
-5, -4, p, 5
Let x = -13.64 - -14. Let b = x + 0.04. Let q = -0.1 + -0.1. Put q, 0.5, b in decreasing order.
0.5, b, q
Let s = 22 + -22.5. Let o = -0.3 - s. Put o, 2, 0 in descending order.
2, o, 0
Let m = -49 - -30. Let i(u) = -9*u + 103. Let o be i(11). Sort o, -5, m.
m, -5, o
Suppose -20*f - 19 - 81 = 0. Put 3, 29, f, -2 in increasing order.
f, -2, 3, 29
Suppose -3*g - g = -p + 105, 3*g - 5*p = -100. Suppose -14 + 6 = -4*k. Let u = 0 - k. Put g, u, 0 in increasing order.
g, u, 0
Let o = -711.78 - -719. Let a = 7 - o. Let v = 0.08 - a. Sort -5, v, 4.
-5, v, 4
Suppose 5*o = -j - 104, o + 4*j + 18 = j. Let i = -19 - o. Let r = 7.9 - -0.1. Put r, i, -1/3 in increasing order.
-1/3, i, r
Let m(p) = p**2 - 2*p - 8. Let x be m(4). Suppose 3*o + x*o + q - 10 = 0, 0 = -4*o + 4*q + 8. Sort o, 2, -3 in decreasing order.
o, 2, -3
Let a = -461 - -461.5. Sort a, 6, -4/5, 4 in 