n descending order.
q, -5, p
Let i = 453.25 - 452. Let f = -0.85 + i. Put 7, -5, f, 5 in decreasing order.
7, 5, f, -5
Let x = -56.6 + 56.3. Put 1, -4, x, 349 in increasing order.
-4, x, 1, 349
Suppose -x + 4 = 9. Let l(i) = 7*i + 27. Suppose -11*p = 6*p + 68. Let w be l(p). Put 3, x, 0, w in decreasing order.
3, 0, w, x
Let p(y) = y**2 - y - 51. Let s be p(-8). Let w be s/(-24)*-2*(-21)/49. Put -0.12, w, -0.8 in decreasing order.
-0.12, w, -0.8
Let k = 0.302 + -0.102. Let d(b) = 2*b. Let h be d(-10). Put h, 2, k in descending order.
2, k, h
Let l be (11 - 13) + 4 - 2*7/6. Put 5, -4, 4, 130, l in increasing order.
-4, l, 4, 5, 130
Let f be (-296)/111*(-3)/(-2). Put 16, f, 0 in decreasing order.
16, 0, f
Let c = 240.33 + -240.63. Let o = 14 - 16. Sort -3, c, 3, o in increasing order.
-3, o, c, 3
Suppose 0 = -4*r + r + 33. Let i = r - 7. Let s = -30142 + 30144. Sort s, 0.1, -0.2, i.
-0.2, 0.1, s, i
Let l(f) = -f**2 - 97*f - 186. Let a be l(-95). Sort 7, 3, -1, 5, a in decreasing order.
7, 5, a, 3, -1
Let q = 4702 + -4700. Sort 4, q, -4, 0, -1.
-4, -1, 0, q, 4
Suppose 9 = -3*f - 3*k, 15*f - 9 = 18*f + k. Let u = 3 + -3. Suppose 0 = 3*o + 7 + 5. Sort o, u, f in increasing order.
o, f, u
Suppose 0 = -3*a + 2*j, -2*a - 2*j = -6*j. Suppose 11*s + 42 = 9. Let v(h) = -h**3 - 3*h**2 + h - 6. Let t be v(s). Put a, t, -1 in descending order.
a, -1, t
Suppose 5*y - 6*c + 180 = 0, 3*y - 38*c + 110 = -34*c. Let g be (-4)/(-6)*(-1)/(-6). Put y, 3/4, g in ascending order.
y, g, 3/4
Let q = 8 + -12. Let v be (46/69)/((-1)/(-18)). Suppose 0 = 4*z - 0*z - 2*u + v, 4 = -3*z - u. Put -1, q, -5, z in descending order.
-1, z, q, -5
Let t be 1/(-4) - (-7)/(-28). Let r = -2264 + 2263. Put r, -0.7, t in ascending order.
r, -0.7, t
Let w = 13274 - 26547/2. Put -12/7, w, -2, -0.5, 2 in increasing order.
-2, -12/7, -0.5, w, 2
Let d(b) = -6*b - 24. Let u be d(-5). Let a be 25/10 - (-4 + u). Put a, 3, 2/3 in ascending order.
a, 2/3, 3
Let h = 14805.98 - 14806. Put h, 0.641, 0.3 in descending order.
0.641, 0.3, h
Suppose 864 = -2*t + 34*t. Let h = 204 + -202. Put h, t, 0.3 in descending order.
t, h, 0.3
Suppose -4*f = 4*b - 40, -8*f = -b - 10*f + 6. Suppose 2*r + b = 16. Sort 23, -2, 3, r in ascending order.
-2, r, 3, 23
Let t = 201.15 + -204. Let f = -1.85 - t. Put f, -0.05, -6 in descending order.
f, -0.05, -6
Suppose -11*m = -5*j - 14*m + 24, -j = 8*m - 27. Put 0, 2, -4, j, -2 in decreasing order.
j, 2, 0, -2, -4
Let q = -41 + 81. Let o = q + -31. Let b = o - 8.5. Sort 2, b, -5 in decreasing order.
2, b, -5
Suppose 2*s = -3*s - 10. Suppose 1 = 59*r - 42 - 16. Put r, s, 0, -8 in descending order.
r, 0, s, -8
Let z = -3 + 3. Suppose n - 2*y + 11 = z, 2*n - 6 = -y - 2*y. Suppose -22152*o - 25 - 193 = -22043*o. Put 0, o, 5, n in ascending order.
n, o, 0, 5
Let k = -6490 + 6459. Put -17/6, 1, k in descending order.
1, -17/6, k
Suppose -17*s = -20*s - n - 736, -s = -3*n + 262. Let w = s + 1233/5. Put 5/6, w, -3 in descending order.
5/6, w, -3
Let g = -5.7 - 1.3. Let x = g - -11. Let a = -901/2585 + -130/517. Put a, x, 0.4 in descending order.
x, 0.4, a
Suppose -5*w = 3*r + 615 - 131, 3*w - 5*r = -270. Let m = w - -93. Let z be m/7 + ((-54)/(-42) - 1). Sort -5, -3, 6, z in increasing order.
-5, -3, z, 6
Let b(n) = 35*n - 5. Let j be b(1). Suppose 6 - j = 12*w. Let a be -4 - (4/(-3) + w/(-6)). Sort -4, a, 2, 0 in decreasing order.
2, 0, a, -4
Let i = 90 + -52. Let l = i - 5. Let q = l + -38. Sort 0, q, -8, -3.
-8, q, -3, 0
Suppose -4*d + 73 = -27. Suppose -3*y - 2*m + 15 = 2*y, 4*m = -5*y + d. Let r = 5.95671 + 0.04329. Put 2, r, y in increasing order.
y, 2, r
Let v = 15674 + -16420. Sort -0.2, v, -2/7.
v, -2/7, -0.2
Let z be 3/9*((-12)/(-34) - 0). Let r = 306 + -306.4. Sort r, -6, z, -9 in descending order.
z, r, -6, -9
Let l be 3*12/(-54) + 33/9. Suppose 75 + 126 = l*d. Sort d, 5, -3 in decreasing order.
d, 5, -3
Let a(o) = -2*o - 22. Let q be a(-16). Suppose -q*m - 6 = -7*m. Suppose -6*k - 8 = -4*d, 4*k - d = -2 + 5. Sort -5, m, k, -10.
-10, -5, m, k
Let k = -4591 - -4588. Put k, 29, 6 in descending order.
29, 6, k
Let g(u) be the first derivative of -u**3/3 + 12*u**2 - 23*u + 11. Let y be g(23). Sort y, 5, -12.
-12, y, 5
Let u = -190 + 208.3. Let n = u - 18.6. Sort 0, -5, n in descending order.
0, n, -5
Let t = 81 - 100. Let d be (10/2)/((-15)/(-6)). Sort 4, d, t, -1 in increasing order.
t, -1, d, 4
Let f = -4799/30 + 959/6. Let v = -4 - -8. Sort v, -3, f.
-3, f, v
Suppose 5*j - 2*z + 24 = 0, -5*j - 333*z - 18 = -332*z. Suppose 2*f - 5*o = -59, 0 = 3*f + 2*o - 5*o + 93. Put j, f, 1, 7 in increasing order.
f, j, 1, 7
Suppose -3*i - 53 = -3*u - 5, 0 = 3*i - 5*u + 48. Let q be 6/((i/20)/((-12)/(-30))). Put 32, -1, 0, q in ascending order.
q, -1, 0, 32
Let q = -5/57 - 299/57. Let s = -59408.4 + 59408. Put q, -1, s in descending order.
s, -1, q
Let g = 4565 + -4561. Let c = 0 + 2. Suppose 0 = c*b + 1 + 3. Sort -4, b, g.
-4, b, g
Suppose 2*z + 3 = -5. Suppose 5 = 5*j + 5*p, 9*j - 7*j - p - 2 = 0. Suppose -6*d + 5*d = -g + 4, -4*g + j = -d. Sort z, 2, 1, g in decreasing order.
2, 1, g, z
Let j = 9.95173 - -0.04827. Sort j, 3, -52 in descending order.
j, 3, -52
Suppose -z = 5*g + 7, 0 = -2*z - 54*g + 53*g + 4. Let q be (-162)/(-24) + -2 + z/12. Put -34, -2/11, q, 0.2 in ascending order.
-34, -2/11, 0.2, q
Let g = -2.24 - -2.3. Let h = -2106 + 2098. Sort -5, g, h in descending order.
g, -5, h
Suppose -2*g = 3*d - 1, -5*d + 5 = -4*g - 4*d. Let l = -341 - -341. Let j be (2 - -2)/((-4)/24). Sort l, j, g in ascending order.
j, g, l
Suppose -23 + 135 = -2*d. Let v(g) = -3*g - 96. Let x be v(-12). Let t = d - x. Sort -4, t, -1 in decreasing order.
t, -1, -4
Let v = -226 - -227. Sort v, 1177, 0 in descending order.
1177, v, 0
Let p(a) = a**3 + 5*a**2 - 146*a + 56. Let u be p(-15). Sort u, 4, 6, 2, 7 in decreasing order.
7, 6, 4, 2, u
Let m be (-5670)/378 + 2*-19. Suppose -g = 2*g - 5*s - 155, -g + 3*s = -53. Let k = g + m. Sort 5, -2, k, 3 in increasing order.
k, -2, 3, 5
Let t = -3361 - -3362.437. Let s = t - 1.237. Let x be 1/(3*5/2). Put -1, 0.1, x, s in descending order.
s, x, 0.1, -1
Let z(s) = 2*s - 74. Let q be z(14). Let y = q + 58. Sort y, -1, -5 in increasing order.
-5, -1, y
Suppose 0 = -5*z + 20, 4*z - 50 = 2*m - z. Let k be (-78)/m - (-7)/(-35). Put k, 4, 1, -10 in increasing order.
-10, 1, 4, k
Let m be (-3 + (-31)/(-9))/((-8)/(-180)*-5). Suppose 0 = -k + 3*l - 3 - 6, -35 = -5*k - l. Suppose 6*y - 2*y - k = -o, 2*y - 48 = 4*o. Sort 5, 1, m, o.
o, m, 1, 5
Let h be -9 - -2*(-1 - -3). Let r be h/((-9 + 5)/(-4)). Let n(j) = -j**2 - 6*j - 3. Let c be n(r). Sort c, 4, -5, 1 in decreasing order.
4, c, 1, -5
Let u = -9550 - -9554. Sort 2, 3, u, -4, 312.
-4, 2, 3, u, 312
Let j = 17.399 + -20.399. Put -19, -7, j in descending order.
j, -7, -19
Let d be 225/2625 - 2/(-10). Sort 0.3, -5/4, d, 6 in decreasing order.
6, 0.3, d, -5/4
Let r(y) = 8*y - 5. Let g be r(4). Let s be 10/45 + ((-6)/g - 1). Let a be ((-6)/(-8))/((-153)/408). Sort s, -3, 5, a in ascending order.
-3, a, s, 5
Suppose -51*h + 36 = -15. Put -2, 10, h, -1, 4 in descending order.
10, 4, h, -1, -2
Suppose -341*x + 328 = -154*x - 23*x. Let q = 2 - 1. Sort q, x, 4, -4 in decreasing order.
4, x, q, -4
Let o = -54253 - -379768/7. Let d = -1523/9 + 169. Sort -1, d, o.
-1, o, d
Let j be 5/(-4) + 0/(-2). Let m be 64/480*1250/40. Sort m, j, -2 in descending order.
m, j, -2
Let b(i) be the second derivative of i**6/360 + i**5/15 + i**4/3 - 33*i. Let s(f) be the third derivative of b(f). Let h be s(-4). Sort 3, 4, h, 1.
h, 1, 3, 4
Let u = 7 - 6.04. Let r = u - -0.04. Let m = -182 - -181.8. Sort r, m, 18 in decreasing order.
18, r, m
Let f = 3364 + -16812/5. Put 0.4, -4/63, f in ascending order.
-4/63, 0.4, f
Let b = 25319/6 + -4220. Sort -0.03, b, 4/5, 0, -5 in increasing order.
-5, b, -0.03, 0, 4/5
Let v = -0.6492 + 0.3492. Let n = 7/6 + -23/12. Sort n, 4, -2, v in decreasing order.
4, v, n, -2
Let i = 7870 - 7868.583. Put -2, i, 5 in decreasing order.
5, i, -2
Let h(t) = 2*t**2 - 18*t + 20. Let j be h(8). Let y = -5 + j. Let q be ((-7)/(-2) + y)*4/(-2). Put q, -2, 5 in decreasing order.
5, -2, q
Let z = 18 - 26. Let x = -168.32 - -0.32. Let d = x + 167. Put 0, d, 0.2, z in decreasing order.
0.2, 0, d, z
Let i = 17 + -16. Suppose 