v + 2*c - 17 = 0, -4*c + 1 - 3 = -2*v. Sort 0, 2, v in decreasing order.
v, 2, 0
Let g be 645/60 + 2/8. Sort -3, 0, g in increasing order.
-3, 0, g
Let p(q) = -304*q + 609. Let w be p(2). Suppose -6*u - 5 = -u, 0 = 3*x - 5*u - 50. Sort 5, w, x.
w, 5, x
Let q be (2/(-3))/((-24)/324). Let t be (3/q)/(4/36). Sort -3, 9, t, -5.
-5, -3, t, 9
Suppose 3*k - 2 = 2*d, 1 = 5*k - 3*d + 2*d. Suppose 0 = -k*n + 5*n + 10. Let c(r) = 14*r + 251. Let x be c(-18). Sort 1, x, n.
n, x, 1
Suppose -4 = -2*t - 2. Put -3, -14, t in descending order.
t, -3, -14
Let j = -0.27 - -0.67. Let u be -2 + (16/24)/((-6)/(-27)). Put j, -0.1, u in increasing order.
-0.1, j, u
Let b(s) = 6 - 1 - s**2 - 2 - 2 - 4*s. Let f be b(-5). Sort -1, -5, f in decreasing order.
-1, f, -5
Let o = 4.62 - 1.62. Sort 4, o, 116.
o, 4, 116
Suppose 0 = -3*a - 24 + 18. Sort -3, -4, a, 2 in descending order.
2, a, -3, -4
Let t(i) be the third derivative of -i**6/120 + 7*i**5/60 - i**4/4 + i**3/6 + 3*i**2. Let a be t(6). Sort 5, a, 4 in descending order.
5, 4, a
Let i be (9/(-6))/((-162)/(-144)*1/(-3)). Let o = -7 + -12. Put o, i, 0 in increasing order.
o, 0, i
Let w be (-2)/10 + 154/70. Suppose w*p + 1 = 3. Let v(x) = 2*x**2 + 6*x - 2. Let i be v(-3). Sort i, p, -5 in increasing order.
-5, i, p
Let t = 35 - 67. Let q = t + 28. Let m be (-6)/(-14) - (-2 + 2). Sort m, 5, q.
q, m, 5
Let m = -300 + 898/3. Put -1.1, -0.2, m, 0 in increasing order.
-1.1, m, -0.2, 0
Suppose 0 = p - 25 + 26. Suppose -v - 1 = 0, -5*w + v + 34 = -3*v. Let m(s) = s**2 + 3*s + 1. Let t be m(-4). Sort w, p, t in descending order.
w, t, p
Suppose 29*j + 14*j = -129. Put -44, 4, j in descending order.
4, j, -44
Suppose 3*q + 0 = -5*f - 1, 0 = -2*f + 3*q - 13. Suppose 53*a - 24 = 45*a. Suppose 18 = -6*v + a*v. Put v, -4, f in decreasing order.
f, -4, v
Let m = -85.269 + 89.25. Let b = m - -0.019. Sort -2/5, 3, b in descending order.
b, 3, -2/5
Suppose v - 2*u - 5 = 0, 0*v = -4*v - 5*u - 6. Put v, -115, 3 in decreasing order.
3, v, -115
Let s = -3.07 + 0.07. Put 0.09, s, 0.4 in decreasing order.
0.4, 0.09, s
Let t = -1/161 + 93/161. Let j = 2 + -6. Sort 2/5, j, t, -1 in decreasing order.
t, 2/5, -1, j
Let u = 27/7 + -229/63. Let n(d) = d**2 - d + 2. Let z be n(3). Let t be (27/(-63))/(z/(-14)). Sort t, 1, u in descending order.
1, t, u
Let i = 1 + 1. Let v(n) = -n**3 + 44*n**2 + 91*n + 46. Let d be v(46). Sort d, i, 5 in descending order.
5, i, d
Suppose -4*d = 5*h - 12, 3*h = 2*d + 6 + 10. Sort 269, 0, d.
d, 0, 269
Suppose -3*l - 3*g - 76 = -16, 4*l - 2*g = -62. Sort l, 3, -3.
l, -3, 3
Let d(t) = t - 13. Suppose 5*a = 93 - 38. Let w be d(a). Sort 2, -3, w, -4 in increasing order.
-4, -3, w, 2
Let c = -24 + 39. Let q be ((-3)/(c/(-190)))/2. Let z = q + -23. Put 1, -2/17, z in increasing order.
z, -2/17, 1
Let h = -6/5 - -29/20. Let k = 1.45 + -1.65. Sort -0.3, h, k in decreasing order.
h, k, -0.3
Let s = 7 - 6. Let b(q) = -9*q + 1. Let l be b(-1). Let y = 7 - l. Put y, -5, s in increasing order.
-5, y, s
Suppose 0*p - 3*p + 5*g = -22, -p + 4 = -g. Let m = -17 + 17.2. Sort -5, m, p.
-5, p, m
Let m = 255 - 256. Put m, 0, -0.2, -1/10 in increasing order.
m, -0.2, -1/10, 0
Let y(a) = 14*a + 74. Let b be y(-5). Sort -2, 0, b, 50 in ascending order.
-2, 0, b, 50
Let i = 40 + -39.89. Let a = 3.11 - i. Sort 0, 0.5, a in descending order.
a, 0.5, 0
Suppose -116*b + 110*b = -12. Put 0.9, 3/8, b in increasing order.
3/8, 0.9, b
Let a = -70 + 100. Let p = a + -33. Sort p, 4, -5 in ascending order.
-5, p, 4
Suppose 0 = 3*y + 2*h - 17, -2*y - h + 5*h = 10. Let r(d) = -d**2 - 7*d + 20. Let l be r(-9). Suppose -2*x = -1 - 7. Sort l, y, x in descending order.
x, y, l
Let t be (24/(-4))/(-18)*(0 + -1). Put 0.4, 0.11, t in decreasing order.
0.4, 0.11, t
Let u(g) = -4*g**2 - 1. Suppose 15*i = 17*i + 2. Let w be u(i). Suppose -5*f - 35 = -2*r, -3*r + 4*r = -3*f - 10. Sort w, -4, r.
w, -4, r
Let x be 2/5 - 14/10. Let y = -541 + 538. Sort y, x, 0.5, 3.
y, x, 0.5, 3
Suppose 15*y = 14*y + 4. Let k be (y + -2)/(12/(-15)). Let m be (2 - 3) + (-4)/(-8). Sort m, k, 1.
k, m, 1
Let y = 24.01 + -24. Let g = y + -0.01. Sort -0.2, -2/21, g in ascending order.
-0.2, -2/21, g
Let g = -49.04 + -5.59. Let r = 55 + g. Let a = -0.07 + r. Put 4/3, -5, a in decreasing order.
4/3, a, -5
Let c(j) = -j**2 - 103*j + 1004. Let r be c(9). Let o = 2 + 0. Put 5, r, o in decreasing order.
5, o, r
Suppose -4 = -2*l - 8. Let s = l - -1. Let q(r) = -r**2 - 12*r. Let o be q(-12). Sort s, o, -4 in descending order.
o, s, -4
Let p = -694 - -691. Sort p, -0.1, 2/15, 8 in ascending order.
p, -0.1, 2/15, 8
Let b be -4*3/6 + 45/5. Put -5, 20, -4, b in descending order.
20, b, -4, -5
Let c = -31 - -28. Let j(q) = q + 3. Let n be (6/4)/(9/(-24)). Let p be j(n). Put p, 1, c in increasing order.
c, p, 1
Suppose -2*y = -y + 2. Put -5, -46, y in decreasing order.
y, -5, -46
Let u be -3 + -2 - 84/(-21). Sort -5, -9, u in ascending order.
-9, -5, u
Let l = -0.13 - -5.13. Let j = 27 - 26.87. Let o = j - -1.87. Sort 0, l, o in ascending order.
0, o, l
Let y be 23/((-1863)/18) - (-56)/90. Put 4, 0.1, y, 3 in increasing order.
0.1, y, 3, 4
Let g = -20 - -23. Suppose -g*a + 11 = -7. Sort 3, 5, a.
3, 5, a
Suppose 0 = 8*h - 5*h - 2*i - 8, 0 = -2*h + 4*i. Let s be (-3)/(-3 + 6) + 3. Sort 6, h, s, -1.
-1, s, h, 6
Let t = 6 + -36. Let f = -29 - t. Let m be (-8)/6*(-12)/4. Sort -5, m, f.
-5, f, m
Let w = 9 + -5. Suppose -2*s - 16 = -w*s. Suppose o = -o - s. Sort -1, 1, o in decreasing order.
1, -1, o
Let a = -5 + 2. Let p = -5954 - -5952. Put 4, p, a, 2 in descending order.
4, 2, p, a
Suppose 3*g + 7*j - 2*j = -33, 3 = -j. Let n be (19/g)/((-3)/9). Let h = n - 173/18. Put 1/6, -5, h in decreasing order.
1/6, h, -5
Suppose -4*z = -5*u + 19, 3*u - 6 - 6 = 3*z. Let b(q) be the first derivative of -q**3/3 - q**2/2 - q - 236. Let h be b(z). Put 3, h, 2 in decreasing order.
3, 2, h
Let d = -39.152 + 0.052. Let k = -39 - d. Sort k, 0, 5/4 in decreasing order.
5/4, k, 0
Let p = 0.07 + 4.23. Let a = -0.4 + 3.1. Let m = p + a. Sort m, -2/7, 5.
-2/7, 5, m
Let d = 86 - 100.6. Let h = d - -13.6. Sort h, -3, 11 in decreasing order.
11, h, -3
Let z = 148 + -593/4. Put -2/5, 2/69, z in ascending order.
-2/5, z, 2/69
Let n = -1.004 + 1.05. Let i = n - 0.146. Put 4, 2/13, -2, i in descending order.
4, 2/13, i, -2
Suppose 103 - 95 = -4*c. Put c, -5, 3, -3 in decreasing order.
3, c, -3, -5
Let y = 1546 - 1512. Suppose 6 = -u + 4*u. Sort 3, u, y in decreasing order.
y, 3, u
Let i(h) = -h**2 - 8*h - 13. Let t be i(-6). Let w be (t + 0)/(-4 - -9). Sort -4/3, w, 2.
-4/3, w, 2
Let y be (-2)/9 + (-44)/(-36). Let d(o) = -o**2. Let q be d(1). Let v = -4 - q. Sort y, v, -4 in ascending order.
-4, v, y
Let f be (561/11)/(4 + -5). Sort -2, f, -1, 5 in increasing order.
f, -2, -1, 5
Let a = 0.9 + -0.6. Let b be (6/(-15))/(3 - (-390)/(-100)). Put b, a, -5 in descending order.
b, a, -5
Let w = -141 + 989/7. Let r = -0.47 + -0.13. Let x = 0.2 + r. Put w, x, 1 in descending order.
1, w, x
Let f = 511 - 503. Sort -2/3, f, 1/11.
-2/3, 1/11, f
Suppose 5*h = 3*p - 23, 1 + 1 = 2*p. Put 0, 9, h, 4 in ascending order.
h, 0, 4, 9
Suppose 9 = 4*a + 1. Let q = 146/1485 + -1/135. Sort q, a, 1/9, 1/4 in ascending order.
q, 1/9, 1/4, a
Suppose 0 = 19*z - 120*z - 505. Sort -1, z, -13.
-13, z, -1
Let i = -1118 - -1120. Sort 5, -3, i, 11 in decreasing order.
11, 5, i, -3
Let u be (5/(-60)*-4)/((-2)/18). Let w be (0/3)/(-1 - u). Let h be (-5 - 0) + (0 - 0). Sort w, 4, h in decreasing order.
4, w, h
Suppose -21 = -5*b - 1. Suppose -b*y + 15 - 3 = 0. Let c = 136 + -141. Put c, y, -1 in ascending order.
c, -1, y
Let r(c) = -4*c + 151. Let s be r(37). Put 4, s, 5, -20 in descending order.
5, 4, s, -20
Suppose -4*u - u + 350 = 0. Suppose 12 = h - 2*t, 0 = -14*h + 13*h + 5*t + 9. Suppose 5*f = a - h, -4*f + u = 5*a + f. Sort -5, 0, a in decreasing order.
a, 0, -5
Let j be (-3)/((-48)/68) + 9/12. Suppose -2*b + 0 - 6 = -2*s, 5*s + 2*b = 22. Sort 3, s, j in descending order.
j, s, 3
Let y = -0.9 - -1. Let k = y - 0.2. Let r = 6 - 4. Sort r, -0.2, k in decreasing order.
r, k, -0.2
Let u = -0.174 + 0.174. Sort u, 2/13, -5, 17 in decreasing order.
17, 2/13, u, -5
Let d = 9 - 52. Let z = d - -47. Put 6, z, 3 in decreasing order.
6, z, 3
Suppose -4*k = 5*t + 40, -127 = -