Let p be x(-5). Sort 2, p, q in increasing order.
q, p, 2
Suppose -3*s + 74 = -4*c, 0 = -0*s - 2*s - 5*c + 11. Let n(d) = d**3 - 19*d**2 + 17*d + 17. Let r be n(s). Sort 0.5, -2/9, r in descending order.
0.5, -2/9, r
Let j = 1737.8 - 1739.8. Suppose -k + 3 + 1 = 0. Put j, k, 0 in descending order.
k, 0, j
Let i = -0.392 + 0.092. Sort i, 0.2, 67 in decreasing order.
67, 0.2, i
Suppose 2*f + f + 9 = 0. Let x = -2 + f. Let r = 55 + -54.8. Put r, x, 5 in decreasing order.
5, r, x
Let c(n) be the first derivative of n**4/4 - 5*n**3 - n**2 + 27*n - 11. Let t be c(15). Sort -1, t, 0, -2/5 in descending order.
0, -2/5, -1, t
Let y be (7 - -1)/(-2 - -4). Suppose y = -3*b + 2*x + 5, 2 = -2*b + 2*x. Let s(a) = a**3 + 2*a**2 - a + 1. Let k be s(-3). Sort b, k, 5.
k, b, 5
Let c = -18.81 - -19. Let t = c - 0.2. Let m = -5.01 - t. Put 0.5, -0.4, m in ascending order.
m, -0.4, 0.5
Suppose -195 + 125 = 14*p. Sort -55, 4, p, -2 in descending order.
4, -2, p, -55
Let g = 40 + -46. Let q be g*(10/(-36) - 22/99). Sort -4, 4, -1, q in descending order.
4, q, -1, -4
Suppose -3*a - 1 = 8. Let z(b) = -b**3 + 10*b**2 + 13*b - 20. Let p be z(11). Put a, p, -2 in descending order.
p, -2, a
Let s = -14 + 15. Let c be 1/(2 - (-105)/(-51)). Let n = -12 - c. Put s, n, -3 in descending order.
n, s, -3
Let t = -20 - -7. Let d = t + 9. Let q = -1.3 - -1. Sort q, -6, d in descending order.
q, d, -6
Let q be 1034/(-282) + 2/3 + 0. Put -80, q, -10 in decreasing order.
q, -10, -80
Suppose -3*x + 8 = -4*q, 111*x - 5*q = 112*x + 10. Let b = 0 + -1. Sort x, 1, b in ascending order.
b, x, 1
Let o be (-1*1/12)/((-4)/(-8)). Let a = 0.99 + -1. Let q = -0.39 + a. Put o, q, 2 in decreasing order.
2, o, q
Suppose -16 = -s - 3*s. Suppose -4*j - 8 = s*k - 0, -5*k = 2*j - 2. Let c be ((-20)/(-16))/(k/(-8)). Put 1, 4, c in ascending order.
c, 1, 4
Let j(v) = -v**3 + 5*v**2 - 16*v + 48. Let d be j(4). Put d, 9, 4 in descending order.
9, 4, d
Suppose 2*x - 27 = -x. Suppose -10*z + 2 = -x*z. Suppose 0*a + 13 = a + 2*j, -3*a + 5*j + 17 = 0. Put 3, z, a in decreasing order.
a, 3, z
Suppose -5*i + 260 = -5*x, -3*i - x = -3*x - 160. Let d be 142/i + 2/(-7). Let q be ((-12)/(-40))/((-15)/20). Sort d, -5, q in ascending order.
-5, q, d
Let y = 2216 - 2215. Suppose -l - 5*i + 16 = l, -5*l + 3*i = 22. Sort l, y, 7/3 in descending order.
7/3, y, l
Suppose 3*u - 2*x = -2, 1 - 2 = -u - x. Suppose u = w + 3*a - 2 - 5, -5*w + 1 = -2*a. Put 4, -2, w in decreasing order.
4, w, -2
Let s = -7 + 6.93. Let z = -541/4 - -136. Sort z, s, -3 in ascending order.
-3, s, z
Let h be -1*(7 + -8)*(-1)/(-1). Suppose -2*i - 15 = -5*j, 2*i + 3*j - 30 = -i. Put i, 2, h, -1 in descending order.
i, 2, h, -1
Let p = -21 + 24. Let u be ((-72)/96)/(p/4 + -1). Sort -3, u, -1.
-3, -1, u
Suppose 0 = 37*j - 34*j + 306. Let f be (6/(-8))/(-4 + j/(-24)). Put f, -10, 0, 1 in descending order.
1, 0, f, -10
Let z be (-5 - -3)/(2/3). Let k = 136 + -134. Put 5, k, z in decreasing order.
5, k, z
Let r be ((-8)/(-6))/(-4 + 168/36). Sort r, -7, -2, -3 in decreasing order.
r, -2, -3, -7
Let s = 12847 + -12855.067. Let m = -0.067 - s. Put -2/7, 0.3, m in descending order.
m, 0.3, -2/7
Let t = 1261 - 1260.9. Sort 6, t, -1, -4.
-4, -1, t, 6
Let i = 3 - 2.96. Let y = 5.82 + -5.62. Sort 3, y, i in decreasing order.
3, y, i
Let g = -1872 - -1869. Suppose -4 = 4*n + 8. Let b be n + 4 + (-3)/1. Sort -1, g, b in descending order.
-1, b, g
Let h be (2/(-4)*0)/(-1). Let w be -160 + 153 - (-10 - -1 - -1). Sort -9, h, w in descending order.
w, h, -9
Suppose 129*a = 131*a + 20. Suppose 3 = p + 6. Put 3, a, p in increasing order.
a, p, 3
Suppose 4*p + 5*q = 15, -3*p + q - 6*q + 15 = 0. Let v = p - -4. Sort 3, v, -3 in descending order.
v, 3, -3
Let s be 6/9*(-6)/2. Suppose l + 2*a - 15 = -3*a, 2*a = -l + 9. Sort 1, l, s, 13 in decreasing order.
13, l, 1, s
Suppose -4*j - 5*d = -33, 4*d - 5*d = -5*j + 5. Let f be (12 - 21)*j/(2 - 14). Sort f, -1/7, 4/7, -4 in ascending order.
-4, -1/7, 4/7, f
Let y = -8 - -6. Suppose -44*r = -1530 + 1750. Sort y, 12, r, -1 in increasing order.
r, y, -1, 12
Suppose 3*h + 3*n + 3 - 12 = 0, -47 = -4*h + 3*n. Suppose 4*l - 1 - 7 = 0. Suppose l*j = 3*j + 2*w - 1, j + 3*w = 0. Put j, h, -2 in increasing order.
-2, j, h
Let b be (387/(-3))/(5/(-2) - -3). Put -3, b, -5, -4 in ascending order.
b, -5, -4, -3
Let v = -774 + 774. Sort -2, -5, v in increasing order.
-5, -2, v
Suppose -2*p = 2*j - 4 - 2, 10 = -5*j. Sort p, -6, 3, 1 in descending order.
p, 3, 1, -6
Suppose -2*x + 20 = 4*q, q = 3*q - 3*x - 18. Put 1, q, -28 in ascending order.
-28, 1, q
Let v = -76 - -69. Put -3, v, -1 in decreasing order.
-1, -3, v
Let l be 468/(-1890) - 2/(-10). Put -3, -1, l in descending order.
l, -1, -3
Let k(i) = -4*i**2 + 2*i - 2. Let b be k(2). Let s be 12/b*1/3. Sort -0.5, 5, s, 0.2 in descending order.
5, 0.2, s, -0.5
Let x(g) = 6*g - 33. Let b be x(5). Sort b, 4, 5, 3 in descending order.
5, 4, 3, b
Suppose 3 - 15 = -6*y. Sort 17, y, 0, -5 in decreasing order.
17, y, 0, -5
Let u be (3 - (5 + 0))/((-8)/4). Sort 2, 4, u, -1 in ascending order.
-1, u, 2, 4
Let h = -6.68 - -6.7. Let k = h - 0.42. Sort 3, k, -3, -4 in decreasing order.
3, k, -3, -4
Let w = -4.7 - -4.607. Sort 5, -2/29, w in increasing order.
w, -2/29, 5
Suppose 3*d - 49 = 5*v - 12, 0 = -3*d + 4*v + 35. Let o be (-1 - 4)/(d/(-45)). Suppose i + o = -4*i. Sort i, -0.5, -2 in descending order.
-0.5, -2, i
Let y(i) = i**2 - 27*i + 30. Let f be y(26). Sort -8, f, -4, 1 in increasing order.
-8, -4, 1, f
Let d = -0.48 - -9.98. Let c = d + -0.5. Let x = -7 + c. Sort x, 0.3, 0 in increasing order.
0, 0.3, x
Let n = -10 - -6. Let g be (-3 - (-45)/10)*(-4 + 6). Let m = -17 + 14. Sort m, n, g.
n, m, g
Suppose 0*b = -4*b + 12. Let z be 70/b - 24/(-36). Let x be (-6)/4*z/(-9). Put x, -5, -2 in descending order.
x, -2, -5
Let h = 2.737 + 2.063. Put 5, -0.5, h in ascending order.
-0.5, h, 5
Let d(s) = -7 - 3*s - 5*s + 7*s + 16. Let r(v) = v**2 + 3*v - 4. Let c be r(-5). Let w be d(c). Sort 0, -8, w.
-8, 0, w
Suppose 1 = 2*d + a, -12*d + 4*a - 24 = -10*d. Sort 0, d, 19 in descending order.
19, 0, d
Suppose -16*o + 3*o = 52. Suppose 4*s - 8 = -4*v, s - 8 = -2*v - 2*s. Put -1, v, o in ascending order.
o, v, -1
Let u = -2.94 - -2.84. Sort u, -4/5, 11 in increasing order.
-4/5, u, 11
Let u be 12*10/(-160)*4. Suppose -2 = -3*p - 2*z - 4, -3*p - z + 2 = 0. Sort u, p, 13.
u, p, 13
Let v be 0/((-9)/(-18) + (-7)/(-2)). Put -1, v, -41, 4 in increasing order.
-41, -1, v, 4
Suppose -8*a - 4*a - 336 = 0. Let u = 30 + a. Sort -5, u, 1.
-5, 1, u
Let x = 1401 - 1421. Put 0.1, x, -27 in increasing order.
-27, x, 0.1
Let k = -14 + 21. Suppose 0*z - z + 21 = -5*r, r = 3*z + k. Suppose 3*h - 3*m - 6 = 0, -5 = -3*h + 4*m - 1. Put h, z, -1 in increasing order.
z, -1, h
Suppose 0 = h + 3*k + 10, -3*h = 3*k - 0*k + 6. Let b be -6*(2/h)/(-9). Put -5, b, 0 in ascending order.
-5, 0, b
Let s = -197 + 61. Let z = -133 - s. Sort z, -2, 4.
-2, z, 4
Suppose 5*u - c - 36 = 0, -79*c + 25 = 3*u - 83*c. Let s(z) = -2*z + 1. Let w be s(-1). Put u, -2, w, -4 in decreasing order.
u, w, -2, -4
Suppose 4*n = -n - 30. Suppose -4 + 2 = -c, 2*c + 1 = v. Suppose v*x + 2*a = 2, 4*x - 5*x + 2*a - 2 = 0. Sort 4, n, x in decreasing order.
4, x, n
Let y be 1 + (7/3 - 3). Let m be (-18)/(-48)*(-4)/6. Sort -0.3, m, y.
-0.3, m, y
Let k = -813 - -812. Sort k, 3, -4, -17 in descending order.
3, k, -4, -17
Let d = -4 + 7. Suppose -5*r - 3*t = d - 4, 0 = -3*r + 2*t - 7. Sort 3, 0, r in decreasing order.
3, 0, r
Let y = -76 + 40. Put -4, y, 5, 2 in descending order.
5, 2, -4, y
Let c be (-14 - 0)*1/2. Let z = 8 - c. Suppose -3*q - 3 + z = 0. Put q, -3, -2 in descending order.
q, -2, -3
Let x = -35.7 - 4.3. Let h = 35 + x. Sort h, 1/4, -1, 1 in decreasing order.
1, 1/4, -1, h
Let i = 9/4 - 3/4. Put i, -0.5, 45 in descending order.
45, i, -0.5
Let l(u) = u**3 + 6*u**2 + 5*u - 2. Let r be l(-5). Let b = -174 + 169. Let m be 1 + 1*(0 - -2). Sort m, r, b.
b, r, m
Let m = -512 + 510. Sort m, 11, 3.
m, 3, 11
Suppose -6*b + 10*b + j + 89 = 0, 3*b + j + 66 = 0. Sort -2, b, 5 in descending order.
5, -2, b
Let o = -0.4 - 0.1. Let f = o + 0.4. Let m = 1.66 + -1.26. Sort -5, f, m in ascending order.
-5, f, m
Let y = 5 + -8. Suppose 2*g - 78 = 8*g. Let a = g - -14. Put -3/2