4, m, -19
Let x(q) = q + 2. Let v be x(-7). Let c be (-296)/50 - 20*3/750. Sort -2, c, v.
c, v, -2
Suppose 0 = -511*s + 518*s. Suppose 0 = l + 2 - 7. Put l, s, -4 in descending order.
l, s, -4
Suppose 24*w - a = 25*w, 0 = 4*w - 4*a + 40. Sort 1, 22, w, 4 in decreasing order.
22, 4, 1, w
Let g(n) = n**2 + 49*n - 50. Let z be g(-50). Sort z, 6, 3.
z, 3, 6
Suppose -3*z = -2*s - 23, 0 = 2*s - 6*s - 2*z - 6. Suppose -4*o - 4*c + 5 = c, -2*c = o - 5. Sort 0, s, o in decreasing order.
0, s, o
Let h = -0.208 - -244.208. Sort h, 0.4, -1/5.
-1/5, 0.4, h
Suppose z + 3*d = -13, -4*d - 123 + 36 = 5*z. Let r(p) = p**2 + 20*p + 17. Let a be r(z). Put 3, a, -13, -4 in descending order.
3, a, -4, -13
Suppose -4*d + 0*u = -4*u + 16, 24 = 4*d + 4*u. Suppose 20 = -12*n + 17*n - 5*w, 2*n = w + 6. Put d, n, 18, -5 in decreasing order.
18, n, d, -5
Let x be 210/18 + -6 + -7. Sort -0.5, -2/47, 1, x.
x, -0.5, -2/47, 1
Suppose 109*k + 4 = 107*k. Sort -5, 2, 5, k in increasing order.
-5, k, 2, 5
Suppose 0*r = 2*r. Suppose r = -h - 14 + 3. Let b = 11 + h. Sort 3, b, -5 in descending order.
3, b, -5
Let v = 1 + -28. Let w = v + 28. Put -1, w, -2 in increasing order.
-2, -1, w
Let t = 3/13 - 45/26. Let v = 2.75 + -1.75. Sort 4.7, v, t, -0.4 in decreasing order.
4.7, v, -0.4, t
Let q = -109 + 103. Put -2, 3, q, -1 in descending order.
3, -1, -2, q
Let a be 12/(-16)*76/209*(-2)/3. Let o = 0 + 0.04. Sort a, -3, o.
-3, o, a
Let a be 2/(6/93) - 0. Suppose -2*k + k + 4*n = 18, -3*k = 5*n - a. Put k, -2, 1 in decreasing order.
k, 1, -2
Let v = -950 - -959. Sort v, -4, 3 in increasing order.
-4, 3, v
Let o(u) = -u**2 + 5*u + 6. Let c be o(6). Suppose -4*p = -c*p + 12. Let n(y) = -15*y + 106. Let l be n(7). Put l, 2, p in increasing order.
p, l, 2
Let b be ((-33)/132)/(5/92). Put b, 0.2, 1/9 in increasing order.
b, 1/9, 0.2
Let j = 95.3 + -404.3. Sort 3, j, 2/9, 0.
j, 0, 2/9, 3
Suppose 4*z - 3*z = 5, -2*i = -z - 11. Let j(s) = -7*s - 5. Let h(m) = -8*m - 7. Let g(v) = -6*h(v) + 7*j(v). Let f be g(i). Put -7, f, -3 in increasing order.
-7, -3, f
Let g = 203/2 + -98. Let h = 3 - g. Put -1, h, -2 in decreasing order.
h, -1, -2
Suppose 5*p - 89 = 36. Suppose 9*y = 4*y - p. Let t(l) = l + 1. Let r be t(-1). Put 4, r, y in descending order.
4, r, y
Let l(u) be the first derivative of u**4/4 + 13*u**3/3 + 11*u**2/2 - 8*u - 1. Let d be l(-12). Suppose 5*g - 1 - d = 0. Sort g, 2, 5 in descending order.
5, 2, g
Suppose 5*d + 201 = 71. Suppose 9*a + 0*a = -2*a - 11. Put d, 5, a in descending order.
5, a, d
Suppose 2*y - 9 = -3*j + 25, -3*y + 15 = 0. Let z be (850/40)/(1/j). Let a = -1532/9 + z. Sort a, 1/4, -7/2 in descending order.
1/4, a, -7/2
Let d = -1 + 0.97. Let l = 0 - -1. Let v = -5.168 - -5.068. Put d, l, v in increasing order.
v, d, l
Suppose -247 = 15*i - 232. Suppose x = -0*x + 12. Sort 3, i, x in descending order.
x, 3, i
Let z = 1504 - 1508. Put 3, z, 89 in descending order.
89, 3, z
Suppose -3*c = -c + 5*a - 16, -5*c + 17 = a. Suppose h + 4*h - w = 6, 1 = -2*h - c*w. Sort 5, h, -2 in descending order.
5, h, -2
Suppose 4*m = 6*l - 5*l - 14, 0 = -2*m + 3*l - 2. Sort 14, 1, -2, m in decreasing order.
14, 1, -2, m
Let k = -0.783 + 72.783. Put 5, -1/3, k in increasing order.
-1/3, 5, k
Let m(p) = 2*p**2. Let u be m(-1). Let b = -1106 + 1104. Put b, -0.2, u, -1 in decreasing order.
u, -0.2, -1, b
Suppose -2*x + 4*l = -14, -5*x + l + 1 = -7. Let h = 257 - 1796/7. Put h, 0.1, x in ascending order.
0.1, h, x
Suppose -4*l = -7*l. Suppose -9 = 3*p - l*p. Let n = 18 - 17.3. Sort p, -0.2, n.
p, -0.2, n
Suppose -13*c + 4 = 56. Put 1, 0, c in increasing order.
c, 0, 1
Let k(q) = 2*q**3 - 14*q**2 - 61*q. Let h be k(-3). Put 3/5, 20, h in decreasing order.
20, h, 3/5
Let h be (-16*9/(-18))/2. Sort -1, h, 82 in decreasing order.
82, h, -1
Let p = -21.346 - -21.3. Put p, -1/2, -1/5, 5 in decreasing order.
5, p, -1/5, -1/2
Let j = -31 - -33. Let z = 1.9 - -0.1. Let y = 1.7 - z. Sort -0.8, j, y in decreasing order.
j, y, -0.8
Let v = 439.2 + -439. Put 2/17, 7, v in ascending order.
2/17, v, 7
Suppose -2*s - 2*s + 4 = 0. Let a be (-39)/9 + s/3. Let n = 420 + -419.9. Sort 7, a, n in descending order.
7, n, a
Let w = -127 + 127.1. Put -12, 3/4, 4, w in decreasing order.
4, 3/4, w, -12
Let n = 0.08 - -0.12. Sort -2, n, 0.3, 10.
-2, n, 0.3, 10
Let a = -132 - -128. Put 8, 2, a, -2/17 in decreasing order.
8, 2, -2/17, a
Let y be 2/(-6) + (-3)/72. Let v = -8 - -5. Let p = v + 0. Put y, p, -2/19 in ascending order.
p, y, -2/19
Let z = -2.5 - -0.5. Let s = 83.5 - -26.3. Let u = 110 - s. Sort u, z, 10.
z, u, 10
Let j = 468.4 + -468. Sort -0.5, 5, -7, j.
-7, -0.5, j, 5
Suppose 3*z - 8 = q - 3, 4*z - 12 = 4*q. Let c be (-24)/(-13) + (-2)/z. Put -3, c, 5 in increasing order.
-3, c, 5
Let w(k) = -2*k**2 + 24*k + 3. Let q be w(11). Suppose -q + 35 = -2*s. Let b = 4 + -1. Sort b, -7, s in descending order.
b, s, -7
Let u = 509 - 511. Sort -3, 15, u, 1.
-3, u, 1, 15
Let z be ((-1)/2)/((-7)/4). Let g = 5.4 + -0.4. Let o = 73 + -507/7. Sort g, z, o in decreasing order.
g, o, z
Suppose -4*t = -7 - 13. Suppose -k = -4*d + d - 6, -2*d = 3*k + 15. Sort -5, 4, t, d in descending order.
t, 4, d, -5
Suppose -20*y - 447 + 407 = 0. Put y, 10, 0, -4 in ascending order.
-4, y, 0, 10
Let y(u) = -u - 17. Let x be y(-16). Sort 3/4, x, -0.06 in decreasing order.
3/4, -0.06, x
Let m be 3/2*(-128)/96. Sort -3, 50, 4, m in descending order.
50, 4, m, -3
Let y be 30/20*2/(-12). Sort 4/17, -2, y, 3.
-2, y, 4/17, 3
Let r = -4.6 + 5. Let h = 0.756 + -0.156. Sort h, r, -5.
-5, r, h
Let l be (-1 - -3)*(0 - 2). Let p be (0 - 1)/((-2)/32*-8). Sort p, l, 2 in descending order.
2, p, l
Suppose -3*z = -8*z - 50. Let w be z + 8 + (1 - 0). Let h = 20 - 17. Sort h, -3, w in decreasing order.
h, w, -3
Let v = -0.582 - 18.418. Sort 3, 0.2, v.
v, 0.2, 3
Let l = 126 - 128. Sort 0, 3, l, -5 in decreasing order.
3, 0, l, -5
Let o be ((-1)/2)/((-1)/(-10)). Let p be 4/14*(-14 + 21). Let k(y) = 5*y - 106. Let r be k(21). Put p, r, o in increasing order.
o, r, p
Suppose 12 - 45 = -11*l. Let v(o) = -o + 11. Suppose 40 = 3*a + a. Let t be v(a). Sort l, -4, t in decreasing order.
l, t, -4
Suppose -4*n - 5*q = 26, -n - 10 = 3*n - 3*q. Sort -5, 5, n, 1 in descending order.
5, 1, n, -5
Let i(k) = 3*k - 55. Let u be i(18). Sort u, 6, -4 in decreasing order.
6, u, -4
Let g = 41 - 39.3. Let b = 44 + -45.78. Let x = b + g. Sort 2/5, x, 2/3.
x, 2/5, 2/3
Let l = -33 + 36. Suppose -4*c - c = l*c. Suppose 3*b + 2 - 5 = 0. Put b, 3, c in decreasing order.
3, b, c
Let v = 158 - 154. Let z be (2/3)/(8/60). Suppose -3 = 2*t + o - 10, -5 = -z*o. Put v, t, 2/21 in descending order.
v, t, 2/21
Suppose -2*a + 13 = 5*b + a, -4*b - 3*a = -11. Suppose 0 = -b*j + 6*j. Let r be ((-31)/(-93))/((-1)/15*1). Sort j, r, 2 in increasing order.
r, j, 2
Suppose 0 = g + 3*n + 12, 50*g + 24 = 48*g - 2*n. Suppose 3*v - v + f - 11 = 0, -4*f + 14 = 2*v. Sort g, v, 3, 4.
g, 3, 4, v
Let f = -369 - -369. Sort -2/105, -4/3, f in descending order.
f, -2/105, -4/3
Let k = -633 - -635. Sort -16, -2, k, -1 in decreasing order.
k, -1, -2, -16
Suppose 2*y + 2*y = -4. Let d be 2*2*(-9)/(-6). Let j = -1 + d. Sort j, y, -3.
-3, y, j
Let w = -35 + 32. Let n be (-4)/26 - 648/(-156). Sort n, w, 2 in decreasing order.
n, 2, w
Let t(j) = j**3 + 5*j**2 + 3*j - 6. Let x be t(-4). Sort 5, x, -27, 3.
-27, x, 3, 5
Let r(x) = 16*x**2 - x - 1. Suppose 45 = -2*h - 3*h. Let n = 8 + h. Let y be r(n). Sort y, 1, -3 in descending order.
y, 1, -3
Let a = 190 - 194.05. Let r = -0.045 + 0.095. Let y = r + a. Put y, -1, 1/5 in ascending order.
y, -1, 1/5
Let q = -2.05 + 0.05. Let n = 0.15 + -0.04. Let y = -2.89 - n. Put -2/9, y, q in decreasing order.
-2/9, q, y
Let p = -2191 + 2193. Sort 3, 5, 65, p.
p, 3, 5, 65
Suppose 0 = 6*w - 2*q + 14 - 10, q - 3 = 2*w. Put -11, -2, 0, w in descending order.
w, 0, -2, -11
Let z be (-91)/175 - (-9)/15. Sort -2, 2, z, -5/4 in decreasing order.
2, z, -5/4, -2
Let u = 0.09 - 0.17. Let c be ((-55)/(-44) + -2)/((-18)/4). Sort u, 4, c in increasing order.
u, c, 4
Let p = -16 + 22. Suppose 0 = 4*b - 2*n + p, -b - n = 4*b + 11. Put -5, 3, 1, b in increasing order.
-5, b, 1, 3
Let t = 5.9 - 0.9. Let c = -0.3117 + -0.0883. Put t, c, 0.6 in descending order.
t, 0.6, c
Let m = -0.4 - 0.6. Let l = 23 -