4*r = 3. Put a, 4, -6 in increasing order.
-6, a, 4
Let c = -8659 + 8655. Suppose 1 = -2*b + 3. Put -3, c, -1, b in increasing order.
c, -3, -1, b
Let w be (0 - -1)/(18/(-18)). Suppose 0*k + 5*k = -20. Sort 5, 0, w, k in ascending order.
k, w, 0, 5
Let d = 684 - 683.94. Sort d, -0.2, -10 in decreasing order.
d, -0.2, -10
Let u be (-20)/(265/805 - (-4)/(-14)). Let l = 7822/17 + u. Sort 2, l, 1/5 in decreasing order.
2, 1/5, l
Let v(j) = 55*j**2 + 103*j - 103. Let s be v(1). Put 0, s, -2/9 in decreasing order.
s, 0, -2/9
Suppose -95 = -44*p - 51. Let j be 18/24*(-2)/3. Sort -1/4, p, j.
j, -1/4, p
Let z = 12 - 3. Let o be (-31)/((-1)/(2/7)). Let v = z - o. Sort v, 1/3, 4 in increasing order.
v, 1/3, 4
Let v be ((-6)/(-35))/(2 + 56/(-35)). Put -18, 0.2, v, 0.4 in ascending order.
-18, 0.2, 0.4, v
Let x(j) = -j**3 + j - 2. Let l be x(-2). Let y(b) = -33*b + 496. Let i be y(15). Sort i, -1, l in decreasing order.
l, i, -1
Let j = -251/9 - -3245/117. Put 3, j, -0.2, -6/119 in decreasing order.
3, -6/119, j, -0.2
Let l = 2533 - 2536. Sort l, 7, 4/9, -2.
l, -2, 4/9, 7
Let m be (-3)/(-6) + (-1515)/6. Let t be 14/m - 4/(-18). Put -5, 0.2, t, 0.5 in ascending order.
-5, t, 0.2, 0.5
Let n = 0 + -0.2. Let y = 87 - 38. Let k = y + -48. Sort n, 10, k.
n, k, 10
Suppose -23*n + 25 = -5*o - 18*n, 25 = -5*o + 4*n. Sort o, -3, 0.08 in ascending order.
o, -3, 0.08
Let g(m) = -m**2 - 3*m + 3. Let i be g(-3). Sort i, 89, 5 in descending order.
89, 5, i
Let b = 1227/5 + -246. Sort 3, b, -1, -5 in ascending order.
-5, -1, b, 3
Let w = -56 - -59. Suppose 0 = 2*d + w*d + s - 17, 3*s + 13 = d. Put 3, -5, 1, d in increasing order.
-5, 1, 3, d
Let a be 13 - -3 - (3 - -1). Suppose 6 = -6*z - a. Sort z, 2, 5 in decreasing order.
5, 2, z
Let c = 0.6 - 3.6. Let j = -318.8 - -319. Let l = 1 + -1.2. Sort j, c, l in descending order.
j, l, c
Suppose 0 = 28*l - 30*l + 136. Suppose 4*j = -48 + l. Let i be (2/(-4))/((-3)/(-2)). Sort i, 0, j in decreasing order.
j, 0, i
Let m = 11 - 6. Suppose 3*s - 1 = 5*x, -4*s + s + 4 = -2*x. Sort x, m, 0.3.
0.3, x, m
Let f = 406 - 410. Suppose 2*n - 13 = 6*h - h, 0 = h + 3. Sort f, n, 2, -2 in increasing order.
f, -2, n, 2
Let l(b) = -b**3 - 6*b**2 + 2*b + 7. Let y be l(9). Let p be y/(-90) + 4/(-18). Suppose -2 = -6*i - 8. Sort 3, i, p in ascending order.
i, 3, p
Let z be (-341)/66 + (-2)/(-12). Sort z, 38, 9 in decreasing order.
38, 9, z
Let j be 4/8 + (-38)/4. Let o = 45 - j. Sort 2/3, -0.3, o.
-0.3, 2/3, o
Let j be 5*(-14)/49*(-7)/6. Let q = -5 + 9. Suppose -2 = -y - q. Sort j, 1, y in decreasing order.
j, 1, y
Let b = -1361833/63 + 21615. Let d = b - -10/9. Let m = -0.4 - -0.9. Sort -5, m, d in descending order.
m, d, -5
Suppose 2*s = -4, -s = 2*m - 6 - 0. Suppose 0 = 3*h - 9. Put h, -3, m, -2 in increasing order.
-3, -2, h, m
Let h(l) = l**3 + 7*l**2 + 4. Let a be h(-7). Let w = -518 - -506. Sort w, a, 3 in ascending order.
w, 3, a
Let n = -15 + 4. Let r = 13 + n. Let q(i) = -i**3 + i**2 + 2*i - 2. Let c be q(2). Sort 3, c, r in increasing order.
c, r, 3
Let h be ((-2)/5)/(10/(-725)). Let q = 29 - h. Sort -4, q, -3, 2 in increasing order.
-4, -3, q, 2
Let m = -50 - -47. Let f = -0.3 - 0.2. Let t(h) = h**3 + 12*h**2 + 12*h + 11. Let p be t(-11). Put p, f, m in decreasing order.
p, f, m
Suppose -5*y - 38 = 2*j, -2*y + 2*j + 4 = 22. Let r(t) = -t**2 + 11*t - 6. Let u be r(10). Put 1, y, u in decreasing order.
u, 1, y
Let u be 3 + 13*(-2)/10. Let i = -20 + 17.4. Let o = i + 0.6. Sort u, -3, o in ascending order.
-3, o, u
Let l be (-20)/(-6) + (-3)/9. Suppose -5*y - 90 = -3*s - 2*y, y = 4*s - 120. Suppose 0*u - 9 = -n + 2*u, -5*n = 5*u + s. Sort n, 5, l in ascending order.
n, l, 5
Let s(r) = -4*r**3 + 2*r + 2. Let u be s(-1). Sort u, -45, 5 in descending order.
5, u, -45
Let j(o) = o**2 - 2*o - 9. Let g be j(9). Let k = g - 268/5. Sort k, 2/7, 3.
2/7, k, 3
Let r = 407 - 407.2. Put 4, -32, r in descending order.
4, r, -32
Let j = -18 - -28. Suppose -12 = 7*s - j*s. Put 10, 0, s in descending order.
10, s, 0
Suppose 6 + 15 = 3*p. Let j(y) = p - y - 7 + 7. Let o be j(5). Sort -5, o, 3 in decreasing order.
3, o, -5
Suppose -222 + 236 = 14*k. Sort k, -4, 36.
-4, k, 36
Let f be 6/(-15) + 24/(-10)*-1. Let a(m) = -m**2 + m - 1. Let h be a(f). Let w = -4 + 5. Sort -0.3, h, w in ascending order.
h, -0.3, w
Let w(a) = a**2 + 4*a - 224. Let p be w(13). Sort 0.5, 0.07, p, -0.007 in ascending order.
p, -0.007, 0.07, 0.5
Let o = -1.11 - 0.09. Let t = -0.13 + 0.83. Let w = o + t. Put w, 5, 0.1 in decreasing order.
5, 0.1, w
Let r = -23705/1059 + 18/353. Let a = -22 - r. Let w = -0.05262 + 0.05262. Sort w, -8, a in descending order.
a, w, -8
Let h = -181/20 + 37/4. Put 4, h, -3, 0.4 in descending order.
4, 0.4, h, -3
Suppose -5*m + 3*m = -6. Put m, 0, 4 in increasing order.
0, m, 4
Let z(g) = 10*g + 368. Let k be z(-37). Sort k, 3, -6 in decreasing order.
3, k, -6
Suppose 53 = 4*h - 191. Suppose 97 = -5*u + 3*v, -v + 2*v = -3*u - h. Let z = u - -25. Put 0, z, -1 in descending order.
z, 0, -1
Let q(j) = 13*j - 52. Let b be q(4). Sort b, 1, -0.3, -2/3 in decreasing order.
1, b, -0.3, -2/3
Let t = -0.1 + 0. Let h be -1*(0 + 5) + (-6 - (-8 + -5)). Sort h, 5, t, 1/3 in increasing order.
t, 1/3, h, 5
Let r = 193 + -196. Sort r, 4, -10, 0 in decreasing order.
4, 0, r, -10
Let p = -513 + 453. Sort -1, p, -2, 4.
p, -2, -1, 4
Let y = 0.11 - 0.02. Let f = 5.09 - y. Let t be (24/(-64))/(6/4). Put f, 2, t in decreasing order.
f, 2, t
Suppose 3*t = -q + 2*t + 6, 2*t = -4. Suppose -4*a = -q*a + 16. Suppose a*z - 3*z = -2*y + 5, 4*y = 4*z - 20. Sort -5, y, -3 in increasing order.
-5, -3, y
Let o = -5 - -9. Suppose -2*p = p - 126. Let h = p + -48. Sort -0.1, h, o in increasing order.
h, -0.1, o
Let p = 397 - 395. Let c be 48/27 - 4/(-18). Suppose -5*d = -4*k - 4*d + c, -3*k - 3*d = 6. Put -4, k, p in ascending order.
-4, k, p
Suppose -3993 - 87 = -15*h. Put -3, h, -2 in decreasing order.
h, -2, -3
Suppose -2*x + 15 = -5*p, -4*p + 0*x - 2*x = 30. Let n = p - -4. Sort -7, -3, n in descending order.
n, -3, -7
Let s(u) = -u**2 - u + 25. Let r be s(5). Put r, 21, -3, 4 in decreasing order.
21, 4, -3, r
Let g = 933 - 938. Sort g, -4, -2, -14 in increasing order.
-14, g, -4, -2
Let s = 11.44 + -6.44. Sort -28/11, s, 1, -0.4.
-28/11, -0.4, 1, s
Let u = 305 - 303. Let s(m) = -m**3 - 4*m**2 - 3*m + 4. Let q be s(-3). Sort -3, q, u in ascending order.
-3, u, q
Suppose 65 = 11*z - 6*z. Suppose -8*m - 15 = -z*m. Sort -3, -4, -1, m in descending order.
m, -1, -3, -4
Suppose 0*w = -3*w - 108. Let b = w - -41. Let p(j) = j + 4. Let m be p(-5). Sort m, b, 2.
m, 2, b
Suppose -3*n - 3*k + 6 = -3, -k = -4. Put 69, n, 5, -3 in ascending order.
-3, n, 5, 69
Let o = -0.057 + 0.467. Let b = -0.31 + o. Let t = 1 - -2. Put b, t, 0 in descending order.
t, b, 0
Suppose -2*z - 36 = 64. Put -2, z, -4 in decreasing order.
-2, -4, z
Suppose 30 - 5 = -5*b, 0 = -2*n + 4*b + 378. Put n, 4, -3 in decreasing order.
n, 4, -3
Suppose -2*j = -q - 11, -3*q + 8 - 21 = -j. Put q, 1, 2, -11 in decreasing order.
2, 1, q, -11
Let f = 89/2 - 42. Sort 0.06, f, 4 in increasing order.
0.06, f, 4
Let p be ((-6)/(-24))/(2/40). Let y be (-1)/2 - (45/6)/p. Sort y, 4, 3.
y, 3, 4
Suppose -t - 19 = -4*j, 16*t - 18*t = 5*j - 27. Put -8, -2, j in ascending order.
-8, -2, j
Let f be -6*12/28*7. Put 2/23, f, 4/3, 0.2 in ascending order.
f, 2/23, 0.2, 4/3
Suppose -5*y + 3*y = 48. Let k = y - -22. Sort 3, 0, k in descending order.
3, 0, k
Let p(x) = -2*x**3 - 4*x**2 - 5*x + 3. Let y be p(-4). Let z = y - 82. Sort 3, 4, z in ascending order.
3, 4, z
Suppose -5*y - 5*q + 40 = 0, 11*q - 18 = 5*q. Suppose 5 = f - m, -2*f - m + 12 = -5*m. Sort -2, y, f, 7 in descending order.
7, y, f, -2
Let b be 1390/18 + 8/(-36). Suppose b - 17 = -5*g. Let n = 7 + g. Put 1, n, 5 in descending order.
5, 1, n
Let p = -175 - -174. Let s be (0 + -6)*(-12)/(-8). Sort -4, s, p in increasing order.
s, -4, p
Suppose 0 = -6*f + f + 20. Suppose 4*k + 2*d = 6*k + 8, 0 = 5*k + d - f. Sort 3, k, -5, -8 in decreasing order.
3, k, -5, -8
Let z = 23 - 16. Let c = 30 + -24. Suppose 4 = -2*h - c. Sort h, z, -4 in increasing order.
h, -4, z
Suppose -3*o - 40 = -34. Put -15, o, -5 in descending order.
o, -5, -15
Suppose 6*k = 2*k + h - 21, 0 = 2*k - 5*h + 33. Suppose o - 20*o