uppose -4*y = p - 0*p - 2, 0 = -3*p + 5*y + 6. Sort p, 1, -3, 4 in descending order.
4, p, 1, -3
Let i be -30 - -3 - (-3 + 1). Let n be 49/(-1)*(-2)/4. Let m = i + n. Sort -1, -0.3, m.
-1, m, -0.3
Let n = -77 - -81. Put n, -2/9, 3, 1 in descending order.
n, 3, 1, -2/9
Let j(n) = n**3 - 4*n**2 - 6*n + 5. Let v be j(5). Suppose v = 4*u - 3*u + 3. Suppose -11*q + 8*q = 0. Sort 4, u, q.
u, q, 4
Let g be (-5)/((-15)/(-18)) - -2. Let s = -6 - g. Sort 0, s, -4 in descending order.
0, s, -4
Suppose -4*b + 0 = -8. Let t be (1*b)/(6/(-3)). Let z be (-28)/6 - (-6)/9. Put z, -2, t in ascending order.
z, -2, t
Let z(g) = -4 - 3*g + 1 + 2. Let q be z(1). Let p = -48 + 50. Sort p, -1, q.
q, -1, p
Suppose -2*x = 2*t + 6, 0 = 2*t - 3 + 1. Sort -1, x, 1, 0 in ascending order.
x, -1, 0, 1
Let v = -17 + 13. Suppose -5*b = -4*p + 7, -4*p - 4 = -3*b - 5. Sort 4, p, v in ascending order.
v, p, 4
Let s(z) = 5*z - 6. Let k be s(-5). Let n be (-2)/(-12) + k/42. Sort 2/5, n, 2.
n, 2/5, 2
Let h be (-2)/(-3) - (0 - -1). Let i = 38/3 + -77/6. Put i, 1/4, h in increasing order.
h, i, 1/4
Suppose 5*w = 3*w. Put w, 15, -3 in decreasing order.
15, w, -3
Let f be ((-7)/(-2))/((-3)/6). Let a(z) = 2 - 6 - 20*z + 19*z. Let g be a(f). Sort g, 1/3, -0.3 in increasing order.
-0.3, 1/3, g
Let d = 0.1 + 0.9. Let b = -0.087 + -0.013. Put d, -1/5, b in descending order.
d, b, -1/5
Let l be (0 - (5 - 0)) + 0. Let d = 69 + -67. Sort d, 6, l in descending order.
6, d, l
Suppose -2*t - 1 = -0*w - w, -2*w + 2 = t. Put -1, t, 3, -4 in decreasing order.
3, t, -1, -4
Suppose -28*q = -35*q + 224. Sort -5, q, 3.
-5, 3, q
Let p = 3.4 - -9.6. Let n = -12.6 + p. Let x = 1.8 - 2. Put x, n, 4 in descending order.
4, n, x
Let r = -14 - -11. Let k = 0 - 2. Sort 0, k, r.
r, k, 0
Let s(d) = -d**2 - 4*d + 5. Let g be s(0). Put 4, 3, g in descending order.
g, 4, 3
Suppose 0 = -j - 5, -3*k - j - 2 = -3. Suppose 0 = -k*p - p - 9. Let z be (9/p)/(0 + -5). Sort 2/15, -0.2, z in descending order.
z, 2/15, -0.2
Let x = 12 - 5. Let u = x + -8. Put -3, 0, u in descending order.
0, u, -3
Let r(o) = -6*o + 1. Let v be r(1). Let x be 1 - v/(10/4). Suppose -2*q + 11 = x, 5*k + 2*q = -12. Sort k, 5, 4 in ascending order.
k, 4, 5
Suppose 3 = -0*g + g. Suppose -2*k + m + 22 = -14, k - g*m - 13 = 0. Suppose 3 = -0*x - 4*x - 3*a, -2*x - 5*a - k = 0. Put 0, x, 5 in descending order.
5, x, 0
Let k(q) = 2*q + 4. Let z be k(10). Let n = z + -24. Sort 5, n, -2 in increasing order.
-2, n, 5
Let l(p) = -4*p - 9. Let c(s) = -2*s - 5. Let d(y) = 11*c(y) - 6*l(y). Let m be d(3). Suppose 7*q + 9 = 16. Put q, 4, m in ascending order.
q, 4, m
Let q = 5 - 4.6. Let m be ((276/(-10))/(-3))/8. Let c = -7/5 + m. Put q, -4/7, c in decreasing order.
q, c, -4/7
Let c = 13 - 21. Let h be 14/c - 1/(-4). Sort 0.1, h, -1 in ascending order.
h, -1, 0.1
Let j(r) = 2*r - 9. Let y be j(7). Suppose y*s + 30 = 5. Suppose 0 = -3*q - v + 2, q - 2*v + 12 = -q. Sort 4, s, q in ascending order.
s, q, 4
Let w = -0.5 - -0.1. Let p(x) be the second derivative of -x**5/20 + x**4/4 + x**3/2 + 2*x**2 + x. Let g be p(4). Sort w, 1/8, g in ascending order.
w, g, 1/8
Let y be 0*(3 + (-20)/8). Sort 4, -4, y in increasing order.
-4, y, 4
Let g = 28/11 + -152/77. Let r = -35 - -34.6. Put r, g, -3 in increasing order.
-3, r, g
Let w = 1 - 2. Let s(f) = -2*f**2 + 23*f + 9. Let j be s(12). Put 1, w, j in decreasing order.
1, w, j
Let m = 0 - -2. Let c(z) = -11*z - 52. Let x be c(-5). Sort x, m, 1.
1, m, x
Let k(v) = v**3 + 3*v**2 - 4*v. Let r be k(-4). Suppose 4*b + 31 = -4*o + o, r = -5*o + 4*b - 9. Put o, 3, -2 in ascending order.
o, -2, 3
Let r be (-2343)/(-21) + 3 + -5. Let u = r + -110. Put u, 0.2, -1/5 in increasing order.
u, -1/5, 0.2
Suppose 0 = -2*q + 2 + 4. Suppose -5*b - 25 = -4*s - 7, 2*s = 4*b + 12. Sort b, q, 1 in decreasing order.
q, 1, b
Let j = 0.03 + -0.13. Sort j, -1, 5.
-1, j, 5
Suppose -2*a = -x + 15, 5*x - 5*a - 35 = -3*a. Suppose s + 3*d + 13 = 6*s, -x*s - 4*d = -6. Put s, 3/8, 2/11 in descending order.
s, 3/8, 2/11
Suppose l - 3 = 0, 37 = 6*r - r + 4*l. Sort -4, 4, r.
-4, 4, r
Suppose 3*l + 2*l = -20. Let a be 0/(3/(-3) - 1). Sort -2, a, l in increasing order.
l, -2, a
Let l = -53 + 60. Sort 4, 0.3, -2/7, l in ascending order.
-2/7, 0.3, 4, l
Let z = 541.9 + -600. Let d = z - -55. Let f = d + 3. Sort f, -1, -1/2 in decreasing order.
f, -1/2, -1
Let n = -31 - -30. Put n, -0.4, 0.3 in descending order.
0.3, -0.4, n
Suppose -3*i - 12 = 0, -6*f + i + 40 = -2*f. Let m be (3/f)/((-1)/3). Let g = 6 - 4. Sort m, g, 5.
m, g, 5
Suppose -3*k - k - 20 = 0. Let j(v) = v**2 - v. Let z be j(2). Suppose -h - z + 1 = 0. Put h, -2, k in decreasing order.
h, -2, k
Suppose -l - 55 = -12*l. Sort -3, 4, l in decreasing order.
l, 4, -3
Let z = 1 + 1. Suppose -4*y - 12 = -7*y. Let s be 26/(-45) - (-4)/(-18). Sort s, z, y in decreasing order.
y, z, s
Let q(l) = l + 12. Let p(m) = -6*m - 61. Let r(v) = 2*p(v) + 11*q(v). Let x be r(10). Let h = 3.2 - 3. Sort 0.5, h, x in ascending order.
x, h, 0.5
Suppose -12 = -4*n + 8. Sort -2, n, 4 in decreasing order.
n, 4, -2
Suppose q - 2*q - 5 = 0. Sort -9, 1, q.
-9, q, 1
Let z = 0.6 - 0.68. Let o = z - -3.08. Let y = -1 + o. Put 2/13, 1, y in descending order.
y, 1, 2/13
Let w = 14 + -10. Let y = -7 - -10. Let o = y - w. Sort 0, o, 1 in decreasing order.
1, 0, o
Let s be (-6)/(-4) + (-5)/10. Let u = -6 + 5. Sort u, s, 0.9 in increasing order.
u, 0.9, s
Let h be ((-3)/(-12)*2)/(0 + -1). Let t(x) = x**3 + 5*x**2 - 2. Let q be t(-5). Put h, -5, q in increasing order.
-5, q, h
Let h = 0.5 - 1.3. Let d = -1.2 + h. Sort d, 0.1, 4.
d, 0.1, 4
Let b(v) = -v**3 + 12*v**2 - 11*v - 9. Let x be b(11). Put -2, x, -5, 3 in descending order.
3, -2, -5, x
Let p = -4 - -4.4. Let g = 0.2 - p. Let n = -6 - -39/7. Sort n, 1/3, g.
n, g, 1/3
Suppose -2*d - 3*b + 7 = 0, 0 = -d + 6*d + 5*b - 10. Put d, -5, 3 in descending order.
3, d, -5
Suppose 0*v - 3*v - 3 = -2*h, 24 = -3*h - 5*v. Let q = 4 - 3. Let g be ((6 + -2)/(-1))/q. Put g, h, 5 in increasing order.
g, h, 5
Let v(y) = 2*y - 4. Suppose -3*k + 4*k - 3 = 0. Let n be v(k). Let w = 3 + -4. Put -4, n, w in decreasing order.
n, w, -4
Let x = -0.3 + 0.2. Let u = -142/539 + 4/49. Let i = 3.03 - 0.03. Put u, i, x in decreasing order.
i, x, u
Let a = 2.9 - 0.9. Let n = 2 + -1.8. Sort n, a, 0.5 in ascending order.
n, 0.5, a
Suppose 0*v - v + 1 = 0, 0 = -4*r + 5*v - 25. Let x be 6/(-21)*(-4 - 3). Suppose d - 2 = x*d - k, -d + 2*k = 2. Sort 4, d, r in descending order.
4, d, r
Suppose -4*m + 14 = 3*k - 2*k, 0 = -2*m + 6. Sort 0, 1, k in decreasing order.
k, 1, 0
Let d = -21 - -32. Sort d, 0.5, 4/5 in descending order.
d, 4/5, 0.5
Let p(u) = -u - 3. Let r be p(-9). Suppose r*l - 2*l = 20. Suppose 0 = -4*z, -5*m - l*z = -3*m - 2. Put -2, -4, m in descending order.
m, -2, -4
Suppose 4*x = 7*v - 2*v + 5, -4*x + 3*v = -11. Let w = x - 2. Sort 5, -6, w in decreasing order.
5, w, -6
Let l = 0.2 + 0. Let i = -54 + 812/15. Put -4, i, l in decreasing order.
l, i, -4
Suppose 2*f = -5*m + 11, f - m + 5 = -0. Let q(l) = -l**3 + 7*l**2 - 7*l - 8. Let h be q(6). Let r = h - -11. Put r, f, -4 in decreasing order.
f, r, -4
Let c = -5 - -3. Suppose -5 = -h - 2. Let b be -1*h*(-2)/33. Put -1, c, b in descending order.
b, -1, c
Let u = -70 + 70.5. Sort u, 4, 11 in decreasing order.
11, 4, u
Suppose -4*j + 2 = -10, -2*j = -5*q + 14. Sort -2, q, -29.
-29, -2, q
Let l be (16/(-10))/((-14)/10). Let z = 125 - 124.7. Put l, z, 1/2 in descending order.
l, 1/2, z
Let m(r) = r**3 - 6*r**2 + 3*r + 7. Let o be m(5). Put 5, 3, o in increasing order.
o, 3, 5
Let b = -96 - -99. Suppose -2 = 5*l + 4*x, -5*l = -0*l - 2*x + 14. Let j be 2/1*l/12. Sort -3/7, b, j in descending order.
b, j, -3/7
Let q be -4*1*(-3)/6. Sort 0, q, 1 in decreasing order.
q, 1, 0
Suppose 17*d - 8 = 9. Let r(h) = h + 2. Let l be r(2). Put l, d, 3 in descending order.
l, 3, d
Let s be 2/18*(4 - 1). Let a = -11.5 + 12. Sort s, a, -1 in descending order.
a, s, -1
Let l = 9 + -12. Suppose -15*n + 2 = -14*n. Suppose 3*m - 25 = -5*i, -10 = -4*i + 2*i - 5*m. Sort l, n, i.
l, n, i
Suppose 0 = -2*g + 4 - 2. Sort g, 3, 2, -4 in increasing order.
-4, g, 2, 3
Let m be 7/3 - (-9)/(-27). Sort 6, -2, m, -1 in descending order.
6, m, -1, -2
Let i be 4/(-6)*(-1 - -7). Sort 3, -5, 5, i in 