 -y + x + 4, 2*y - 4 = c*x. Sort y, 4, 3 in descending order.
4, 3, y
Let d(a) = -a**2 + 7*a + 5. Let w be d(8). Put 5, 3, w in ascending order.
w, 3, 5
Let z be -10*(-2 - (-8)/5). Suppose 2*w - z = -2*w. Let v be (30/(-25))/((-6)/(-20)). Put -3, v, w in ascending order.
v, -3, w
Let b be 6 - (-1 + -1 + 1). Let j = b - 22/3. Sort j, -4, 2/9 in descending order.
2/9, j, -4
Let y = -0.85 - -0.15. Let k = 1.1 + y. Let b = -0.2 + 0.3. Put k, -2, b in descending order.
k, b, -2
Let l(u) = -u + 2. Let f be l(-3). Let x be (-4)/(-10) + 120/(-175). Let h be -4*(-4 - -5) + 3. Put x, h, f in decreasing order.
f, x, h
Let g be (-6)/(-9)*(-15)/(-10). Let b = -1/22 + -5/11. Let i = -2/3 - -1. Sort i, b, g.
b, i, g
Let f = -73 + 75.9. Let d = f + 1.1. Sort 0.2, d, 5.
0.2, d, 5
Let w = -0.46 - 0.54. Sort w, -2, 0.2 in decreasing order.
0.2, w, -2
Let z = -0.08 + 1.08. Put 2, z, 5 in ascending order.
z, 2, 5
Let t = 5/12 + -1/6. Let m be 1 + (-2)/(-2) + 4. Put t, m, -2 in increasing order.
-2, t, m
Let w = -3 + 6. Sort w, -1, 5 in descending order.
5, w, -1
Let m = -12 - -9. Let v = 0.1 + -0.1. Let u = m + v. Sort -5, u, 3.
-5, u, 3
Suppose 0 = 4*o - 3*q, 3*o + 0*o - 25 = -4*q. Let l = -32 - -38.2. Let v = l - 6. Sort 0, v, o in increasing order.
0, v, o
Let q = 12 + -8. Suppose -8 = 3*t - q*t. Sort -5, t, 5 in descending order.
t, 5, -5
Let w = -0.05 + 0.02. Let r = -0.43 - w. Put r, -0.2, 5 in increasing order.
r, -0.2, 5
Suppose -2*b = 1 - 9. Let o(u) = 5*u + 16. Let k be o(-3). Put b, k, 5 in ascending order.
k, b, 5
Let k = 23 - 27. Put 7, k, 4, -2 in descending order.
7, 4, -2, k
Suppose 0 = 5*b - 3*p - 7 - 3, -5*p - 23 = -2*b. Let d = 3 + 0. Let a be (-1 + 9)*d/(-6). Sort b, a, 4.
a, b, 4
Let p = -0.2 - 1. Let u = p + 0.7. Sort u, -0.4, 1 in decreasing order.
1, -0.4, u
Suppose 20 = 5*g - i - 3*i, -20 = -5*g - 4*i. Put g, -5, 0.5, -4 in descending order.
g, 0.5, -4, -5
Let d = 0.36 + -0.17. Let z = -24.01 + 24. Let o = z - d. Put o, 0, 5 in decreasing order.
5, 0, o
Let o = 753/8 - 94. Sort -34, 3, o in ascending order.
-34, o, 3
Let a = 121 - 120. Put 0, 3, a in decreasing order.
3, a, 0
Let u(k) = k**2 + 16*k + 34. Let p be u(-13). Let c(t) be the third derivative of -t**4/8 + t**2. Let o be c(-1). Put p, o, -2 in increasing order.
p, -2, o
Let i = 73 - 68. Put -4, i, 4, 0.3 in ascending order.
-4, 0.3, 4, i
Suppose -4*z + 5*z - x = -7, 4*z + 19 = x. Put -5, 1, 2, z in increasing order.
-5, z, 1, 2
Let u be 2977/65 + 2/(-1). Let t = u - 1553/35. Put t, -4, 0 in descending order.
0, t, -4
Let b = -2 - 3. Let j = -244 + 2686/11. Let d = -3.02 + 0.02. Put b, d, j in descending order.
j, d, b
Let j be (1/(-30))/(3/(-12)). Let w = -2.1 - -2. Let d = -0.3 - w. Sort d, 3, j in decreasing order.
3, j, d
Let g = -47.5 - -48. Put 5, -0.18, g in increasing order.
-0.18, g, 5
Let z = 4 + -3. Suppose -5*u = -3*c + 5, 3*c + 14 + z = 0. Let n be (-3)/(-5) - (-4)/10. Sort n, -1, u.
u, -1, n
Let q be (-2 + 4)*(5 + (-52)/8). Let y be ((-2 + -4)/(-2))/8. Sort -2, y, q in decreasing order.
y, -2, q
Let x(y) = y**3 - y**2 - y - 169. Let b be x(0). Let c = b - -1185/7. Put -2, -3, c in decreasing order.
c, -2, -3
Let l(x) = 8*x + 32. Let n be l(-6). Sort -3, 5, n in decreasing order.
5, -3, n
Let p = -50 - -53. Sort p, 5, 2 in descending order.
5, p, 2
Let b = 43 - 38. Sort -5, 4/5, b in increasing order.
-5, 4/5, b
Let q = -46 + 51. Put -2/13, -2/3, q, 1 in ascending order.
-2/3, -2/13, 1, q
Let j(v) be the second derivative of -v**4/12 + 11*v**3/6 - 6*v**2 - v. Let r be j(10). Sort r, 1/3, -0.3 in descending order.
1/3, -0.3, r
Let h(c) = c**3 - 11*c**2 - 7. Let n be h(11). Let v be -3 - -6 - (-23)/n. Sort v, 5, 3 in decreasing order.
5, 3, v
Let t = 0.2 + -0.2. Put 3/4, t, -2/7 in decreasing order.
3/4, t, -2/7
Let p be ((-20)/6)/(2/(-3)). Suppose 18 = -p*m + 3. Let a be 7/(-3) + (-2)/(-6). Put 0, m, a in decreasing order.
0, a, m
Suppose 5*s - 3 - 17 = 0. Suppose -n + 5*j - 13 = 0, -2*j = -s - 4. Sort 2, n, 3.
2, 3, n
Suppose -3*d + 3 = -2*m, -4*d + 0*m + 2*m + 2 = 0. Let k = 0 - 1. Let i be ((-1 - k)/(-1))/(-2). Sort 1, i, d in decreasing order.
1, i, d
Suppose 3*z + 0 = 2*a + 15, z + 4*a = 5. Let u = 138 + -141. Sort -2/19, u, z in decreasing order.
z, -2/19, u
Let l = 2.089 - 0.089. Let o = 2/839 - -1640/15941. Put o, 3, l in decreasing order.
3, l, o
Let h be (-9)/3 - (3 - 5). Let w = -5 - h. Sort -2, w, -3 in descending order.
-2, -3, w
Suppose -x = -5*x + 12. Suppose 2*o + 3*q + 21 = 0, -q - q = -o + 7. Sort o, x, -2 in ascending order.
o, -2, x
Suppose -w + 12 = w. Suppose -3*i = w, 2*u + 2*i + 6 = 2. Put u, 1, -1 in increasing order.
-1, u, 1
Let r = 0.4 + -3.4. Let q = r - -3. Let o = q - 5. Sort 1/7, 4/3, o in descending order.
4/3, 1/7, o
Suppose 3*l = 7*l - 72. Let k = l - 22. Sort k, -5, 4 in ascending order.
-5, k, 4
Let u(b) = b - 3. Let n be u(6). Put 19, 0, n in ascending order.
0, n, 19
Let r = 0 - 0. Sort r, 3, -0.2 in descending order.
3, r, -0.2
Let y be ((-4)/(-6))/(3/18). Suppose -24*u = -5*u. Sort y, 2, u in decreasing order.
y, 2, u
Let l be 56/6 - (-2)/(-6). Let c = 10 + -5. Let a = c - l. Put a, 1, 0 in ascending order.
a, 0, 1
Let g = -4 + 2. Let c = 446/735 + -1/147. Let r = c - 11/10. Sort 5, r, g in increasing order.
g, r, 5
Let c be (-12)/(-7) - 4/(-14). Let v be (27/(-6) - -3) + c. Put 3/5, v, 3 in ascending order.
v, 3/5, 3
Let s = -12/19 - -122/133. Let n = 3.5 + -0.6. Let q = -3 + n. Put s, q, 0.1 in increasing order.
q, 0.1, s
Let j be (-2 + 4)/(4/(-422)). Let t = -1685/8 - j. Let u = -7 - -4. Sort -6, t, u.
-6, u, t
Suppose -40 = 8*z - 4*z. Let w = z - -9. Let j(i) = i**2 + 6*i - 2. Let x be j(-6). Put w, 5, x in ascending order.
x, w, 5
Let x = 29 - 147/5. Sort -3, x, 0.5 in ascending order.
-3, x, 0.5
Let y(i) = i**2 + 5*i - 7. Let j be y(-5). Sort -1, -2, j in decreasing order.
-1, -2, j
Let k = -26 - -30. Put 5, 2/13, k in decreasing order.
5, k, 2/13
Let l = -52 + 51.5. Let u = 2 + 1. Put u, l, -1 in ascending order.
-1, l, u
Suppose -3*i - 29 = -4*j, -6*i = -4*i + 6. Put 4/3, 2/3, j in ascending order.
2/3, 4/3, j
Let o = 0.05 - -0.45. Let j = 0 + o. Sort -2, 2/3, j.
-2, j, 2/3
Let z = -32 + 29. Let i = 0.3 + -0.5. Let t = i - -1.2. Sort 0.2, z, t in descending order.
t, 0.2, z
Suppose -c + 12 = -4*j - 0, 4*j - 4*c + 12 = 0. Let b(d) = -d**3 + 10*d**2 + 12*d - 13. Let x be b(11). Put x, 2, j in decreasing order.
2, x, j
Let c(w) = w**2 - w + 2. Let l be c(2). Let k be 6/l*8/4. Put 4, -5, k in decreasing order.
4, k, -5
Let s = 43 - 42.6. Sort s, -0.4, -1, -0.01 in increasing order.
-1, -0.4, -0.01, s
Let i be (-13)/4 + 1 - -1. Let l(a) = a**3 + 11*a**2 + 10*a. Let n be l(-10). Sort n, -0.1, i in ascending order.
i, -0.1, n
Suppose -445*y + 432*y = -39. Let u(k) = -k**2 + 5*k + 2. Let q be u(5). Put q, 5, y in ascending order.
q, y, 5
Let p = -24 - -28. Suppose 0 = -4*n - 8, p*b - 5*n + 2*n = -18. Sort -5, -2, b in decreasing order.
-2, -5, b
Suppose -4*o = w - 8*o + 21, -4*w + 16 = 4*o. Sort -3, 2, -2, w in decreasing order.
2, w, -2, -3
Let r be (1 - 1)/(2 + -3). Suppose -x + 5*k = -3*x - 2, 4*x - k - 18 = r. Sort x, 3, 0 in increasing order.
0, 3, x
Let j = 35 + -37. Let a be 3/6*18 - 2. Sort -2/11, j, a.
j, -2/11, a
Suppose 0 = -g + 3, 0*o + 3 = 3*o + 2*g. Let x = 2 + o. Let z = 72 - 68. Put -5, x, z in decreasing order.
z, x, -5
Suppose -2 = -2*l - 6. Let v = -5 - l. Sort -5, -4, v in descending order.
v, -4, -5
Let d be (-23)/5 + (-4)/10. Suppose -32*s + 24*s = -40. Sort -4, s, d.
d, -4, s
Let i = -47 - -49. Put 3, -2, i, -3 in decreasing order.
3, i, -2, -3
Let l(m) = 6*m**2 - 2*m - 1. Let d be l(-1). Let y(w) = -4*w + 29. Let z be y(d). Let j = 2 + 1. Put j, z, -3 in descending order.
j, z, -3
Let l = 4 - 2. Let v(o) = 3*o**2 + 0*o - o**2 - o**l - 4*o. Let b be v(4). Put -4, 3, b in descending order.
3, b, -4
Let y be ((-3)/5)/(1/(-5)). Let x(g) = -8*g - g**2 + 3 + 11*g - 6. Let p be x(y). Put p, -1, -2 in ascending order.
p, -2, -1
Let g = -22 + 25. Let c be ((-3)/(-3) + -1)/g. Let j(f) = -f**2 - 4*f + 3. Let v be j(-4). Put v, c, -5 in ascending order.
-5, c, v
Let w(d) = d - 4. Let x be w(5). Let u(o) = -o**2 - 3*o - 7. Let l be u(-2). Sort 0, l, x.
l, 0, x
Suppose -6*g = -2*g - 4. Sort 0, 3, g.
0, g, 3
Suppos