 3/2 + w/(-30). Sort -1, u, 3 in increasing order.
-1, u, 3
Let p(h) = -37*h - 328. Let n be p(-9). Put n, 93, 0, -2 in decreasing order.
93, n, 0, -2
Let v = 151 - 147. Sort 2, v, 0 in ascending order.
0, 2, v
Let s = 307 + -308. Put s, 4, 3, 0 in descending order.
4, 3, 0, s
Let h = 3.65 + -3.7. Let p = h + 0.05. Put p, 0.5, 3 in ascending order.
p, 0.5, 3
Let m = -16 + 17. Let u = -52 - -50. Put m, 2, u in descending order.
2, m, u
Let x = 6 + -5. Let n be 3/(-18)*3*0. Suppose n = 3*l + 2*l + 10. Put l, 0.2, x in ascending order.
l, 0.2, x
Let s be ((-86)/129)/(((-4)/6)/(-1)). Put 1, 7, s in descending order.
7, 1, s
Let i be (-6 + 245/21 + -5)/2. Put 4, i, -23, 1 in increasing order.
-23, i, 1, 4
Suppose 0 = 275*p - 268*p + 14. Let z = 5 - 8. Let g be (-15)/(-6) + 3/(-2). Put p, z, g in decreasing order.
g, p, z
Let w = 250 - 253. Sort -0.4, w, -10, 2 in increasing order.
-10, w, -0.4, 2
Let l = -36 - -73. Let k = l + -41. Put k, -23, -3/8 in decreasing order.
-3/8, k, -23
Let z be -2*((-15)/(-2) + -1). Sort -1, -4, z, 1 in decreasing order.
1, -1, -4, z
Suppose -5*o = -218 + 413. Sort 4, o, -3 in descending order.
4, -3, o
Let m(d) = -d**3 - 7*d**2 - 3*d + 2. Let i be m(-7). Let g = i - 5. Suppose n = -2*t + 3, -5*n + 10 = -3*t - g. Put t, 4, -4 in decreasing order.
4, t, -4
Let r = 44 - 37. Let z(u) = 4*u + u**3 + r*u**2 - 5*u - 2*u + 15 - 3*u. Let b be z(-8). Sort 5, -17, b in descending order.
5, b, -17
Let h = 2.11 - -0.89. Put 4, 2/15, h, 8/3 in descending order.
4, h, 8/3, 2/15
Let m = -29.6 + 28.3. Sort -0.5, m, -2/7 in descending order.
-2/7, -0.5, m
Let l(a) = a**3 + 13*a**2 - 2. Let p = -32 - -19. Let v be l(p). Let q(y) = -y**3 - y**2 - y - 4. Let o be q(0). Put v, -3, o in ascending order.
o, -3, v
Let q = 7590 - 303581/40. Let u be (43/40 - 1)/1. Let c = u - q. Put -2, c, 3 in increasing order.
-2, c, 3
Let w = 3 - 0. Suppose 8*t = 2*k + 3*t - w, -2*t + 22 = 5*k. Suppose j + k = 3*h - 4, 2*h = 4*j - 8. Sort h, 5, -5 in increasing order.
-5, h, 5
Let f = 1.02 - 0.32. Let g = f + -1. Let c be 6/(-88) - 7/(-28). Put g, c, 0.1 in descending order.
c, 0.1, g
Suppose 2*i - 36 = -10*i. Put -3, -5, 1, i in decreasing order.
i, 1, -3, -5
Suppose 0 = -b - 92 - 29. Let o = b + 117. Sort o, -3, 0, 0.5.
o, -3, 0, 0.5
Let u be (-35)/(-2) + (-1)/(-2). Let v be u/(-12)*2/3. Put 9, v, 0.2 in descending order.
9, 0.2, v
Let r = -20.5 + -0.5. Let z = r - -21.2. Suppose 0 = -3*y + 4*n - 22, y + 14 = -0*y + 3*n. Sort z, y, -2/13.
y, -2/13, z
Let x(b) = -2*b + 27. Let y be x(9). Sort 23, y, 3, 2 in descending order.
23, y, 3, 2
Suppose 5*n - 4*y - 3 = -12, -5 = -3*n + 5*y. Suppose -3*k + 6 = -5*k. Put k, -4, n in decreasing order.
k, -4, n
Suppose 42*i = -24*i - 264. Put 5, -53, i in descending order.
5, i, -53
Suppose 2*x + 6 = 3*x - 2*o, -3*x + 3*o = -9. Let z(w) = w**2 - 2*w - 13. Let c be z(x). Sort -2, 2, c.
c, -2, 2
Let a be (-2)/6 - (-44)/(-3). Suppose -45*h + 1338 = 483. Let i = a + h. Sort -1/3, -0.4, i in ascending order.
-0.4, -1/3, i
Let f = 2865/2 + -1375. Let i = 58 - f. Sort -1/5, 2/23, i, 0 in descending order.
i, 2/23, 0, -1/5
Let p be (((-2835)/108)/21)/((-3)/(-12)). Let i be (-2)/(-2) - 4/(-2). Sort p, 0, i in decreasing order.
i, 0, p
Let n = -249 - -245. Sort 1, 5, -19, n in ascending order.
-19, n, 1, 5
Let t = 86.94 + -87. Let r = 2.8 + -2.6. Put -0.2, t, r in ascending order.
-0.2, t, r
Let l = 953 + -952.6. Sort -1, -0.3, -146, l in descending order.
l, -0.3, -1, -146
Let x = 160 + -154. Sort -1/3, x, 1/27 in descending order.
x, 1/27, -1/3
Suppose -141 + 105 = 9*v. Suppose 0*m = g - 5*m + 15, -3 = -3*g - m. Put g, v, 2 in increasing order.
v, g, 2
Let z(o) = -4*o - 20. Let c be z(-8). Put -4, -24, c in decreasing order.
c, -4, -24
Suppose 0 = -3*v + 10*v - 42. Suppose 2*u = -v, m + 19 = -8*u + 3*u. Sort m, -6, 5 in ascending order.
-6, m, 5
Let h = 63 + -35. Let y = -32 + h. Sort -3, -12, 1, y in increasing order.
-12, y, -3, 1
Suppose -4*g = -2*a - 3*a + 88, 0 = -a + 4*g + 8. Suppose 5*j - r = 44, 3*r - a = -3*j - 8. Suppose 2*m + 7 + 1 = 0. Put j, m, -3 in decreasing order.
j, -3, m
Let w = 32.6 + -33. Let i = 0.6 + -1.6. Sort w, -2.1, i in ascending order.
-2.1, i, w
Let w = -100 + 172. Let u = w + -67. Sort 1, u, -2 in decreasing order.
u, 1, -2
Suppose -2*r + 5 = -3. Suppose 3*q = r*k - 19, -2*q - 8 = 4*k - 2. Sort k, -5, -7.
-7, -5, k
Let a be 0 - (-2 - 11/(-5)). Let o = -49.6 + 6.6. Let k = 39 + o. Sort -1, k, a.
k, -1, a
Let z be (-6)/(-4) + 205/(-10). Let s = z + 19. Sort -2/5, 5, s in increasing order.
-2/5, s, 5
Let p = -1.8 - 5.2. Let u = -5 - p. Let j be ((-24)/30)/(-4)*10/(-18). Sort u, j, 1/4.
j, 1/4, u
Let b(p) = -p**3 - p. Let n(d) = -3*d**3 + 17*d**2 + 18*d - 20. Let z(j) = -2*b(j) + n(j). Let g be z(18). Sort g, 3, 0, 1 in decreasing order.
g, 3, 1, 0
Let l = -75 + 78. Sort -6, l, 0 in decreasing order.
l, 0, -6
Let t = -17 - -13. Let l = -19 - -34. Suppose 0 = 4*g + g + l. Sort 2, g, t in ascending order.
t, g, 2
Let a(y) be the second derivative of y**4/12 + 8*y**3/3 + 5*y**2 + 6*y. Let s be a(-15). Sort 2, 0.07, s.
s, 0.07, 2
Suppose 3*x = 6*x - 6. Suppose -13 = 3*s + x. Suppose -5*g - 21 = 2*t, 2*t + 1 - 4 = 3*g. Put g, s, 1 in descending order.
1, g, s
Suppose 2 = d - w, 3*d - 5 = w + 3. Suppose -3*r = 4*a + 13, a + 6 = 3*r - 1. Suppose -12*b + 15*b + 15 = 0. Put r, b, d in ascending order.
b, r, d
Let c be (-8)/(-6) + (-1 - 0). Let x(r) = -r + 1. Let i be x(5). Let z = 54 - 55. Put c, z, i in ascending order.
i, z, c
Let v = -1498 + 1498.6. Sort 2/19, -0.2, -0.08, v.
-0.2, -0.08, 2/19, v
Suppose 4*i - 4 = -0*i. Let y = 1.4 + 4.8. Let v = y - 23.2. Sort v, -2/13, i in increasing order.
v, -2/13, i
Let i = -1 + 1. Suppose 2*t = 4*m - 10, -3*m - 2*m + 6 = 4*t. Suppose m*x + 10 = -3*x. Put i, -3, x in increasing order.
-3, x, i
Suppose 176 = 5*x + 196. Put -2, 2, x in increasing order.
x, -2, 2
Let r = 394 + -398. Put 0, -41, r in descending order.
0, r, -41
Let g(y) = -6*y - 1. Let f be g(10). Let i = -30 - f. Suppose 3*j = -n + 13, -4*n + 9*n = j - i. Put 3, j, -1 in ascending order.
-1, 3, j
Let p = 177.5 - 178. Let w(k) = k - 1. Let g be w(-12). Sort 1, 5, g, p in ascending order.
g, p, 1, 5
Let f = -57.3 - -57. Let m = -3/8 + -3/8. Sort -1/10, f, m in increasing order.
m, f, -1/10
Let d = 0.2 - 0.2. Suppose 2*c - t + 7 = -c, -6 = 5*c + 4*t. Sort -1, d, c, -4 in decreasing order.
d, -1, c, -4
Let j(m) = 5*m - 5. Let p(l) = l. Let r(h) = -j(h) - 3*p(h). Let g be r(1). Suppose -k - 6*d = -d - 21, 4*k = 3*d - 8. Sort g, k, 5.
g, k, 5
Let k be -2 + 5 + -6 - 3. Suppose -3*d + 5*d = 0. Put d, k, 5, -1 in descending order.
5, d, -1, k
Let f be 3/(-24)*2 - -1. Let a = 0.38 - 0.28. Put a, 6/11, f in ascending order.
a, 6/11, f
Let h be 26/22 - (0 + 1). Let r be (-45)/75 - 46/(-10). Let k be (-6)/r + (-170)/(-140). Put h, 3, k in increasing order.
k, h, 3
Suppose -2*q - 9 = 3*r + 26, 5*q - 4*r + 30 = 0. Let s be 3/5 + (-4)/q. Let i = 1161 + -1157. Sort s, -6, i in increasing order.
-6, s, i
Suppose 2*h = -k + 9, 6*k - 10*k - 3*h + 16 = 0. Let f(x) = -x**2 + x + 1. Let g be f(2). Sort g, 8, k.
g, k, 8
Let b be (-3)/2*(-14)/(-21)*(-2 - -7). Let q = 0 - -2. Sort 6, q, -3, b.
b, -3, q, 6
Let x = 159.8 + -159.84. Sort -0.1, x, 10, 4.
-0.1, x, 4, 10
Let n(l) = 30*l - 178. Let c be n(6). Sort 3, c, 21, 0 in ascending order.
0, c, 3, 21
Let t = -26 - -28. Let o be 0/(t + (3 - 4)). Sort o, 1, -5.
-5, o, 1
Let d(f) = f**2 - 5*f + 3. Let g be d(5). Suppose g*y + y - 29 = 3*o, -12 = 4*o. Put 4, 1, -1, y in increasing order.
-1, 1, 4, y
Let g(i) = i**3 - 14*i**2 + 14*i - 4. Let b be g(13). Let q be ((-3)/b)/(4/(-60)). Put -2, q, 3/5, 1 in descending order.
q, 1, 3/5, -2
Let v = 3.1 - 3. Suppose 0 = 68*k - 55*k + 39. Sort v, 21, k.
k, v, 21
Let w be 13 + (-12 - -5) + -8. Sort -4, 21, 1, w.
-4, w, 1, 21
Suppose 28*r - 30*r - 3 = 3*j, 0 = 5*r + 3*j - 15. Put r, 4, -5 in descending order.
r, 4, -5
Let u = -27/14 + 3/7. Let h = -3.0488 + 0.0488. Sort 3, h, u.
h, u, 3
Suppose -4*u - 1 = 3. Let x be u/2 - 39/(-54). Let c = 42 + -125/3. Sort x, c, -0.5.
-0.5, x, c
Let g(i) be the second derivative of -i**4/12 - 3*i**3/2 - 13*i**2/2 + 21*i. Let v be g(-8). Sort 0, v, 3, 5 in ascending order.
v, 0, 3, 5
Suppose -3*f = 2*y + 