2*x + 3*c. Sort 3, 4, x in increasing order.
3, 4, x
Let n(v) = -3*v - 97. Let y be n(-32). Sort -3, -14, y in decreasing order.
y, -3, -14
Let f be (7/(-2226))/(5/4). Let l = -1628/15105 - f. Let n = -14 - -12. Sort n, 6, l in increasing order.
n, l, 6
Suppose 0 = 2*u - 2*n + 16, -46 = 2*u + 2*n + 2*n. Sort 5, u, -2, 0 in increasing order.
u, -2, 0, 5
Suppose 0 = -4*p - 2*z - 49 + 37, 5*p = -2*z - 17. Put -4, 5, p, 1 in decreasing order.
5, 1, -4, p
Let v = -19 - -19. Suppose v = -5*y + 17 - 7. Suppose f = -y*m + 5, 0 = -2*f - 5 + 7. Sort 4, 1, m.
1, m, 4
Suppose -3*m + 6*m = -4*q - 10, 12 = 2*m - 2*q. Let x be (-4)/6 - 1/3. Put -3, 4, m, x in descending order.
4, m, x, -3
Suppose 19 = -0*o + o. Let k = o - 13. Sort 2, k, 5 in ascending order.
2, 5, k
Suppose -2*y = -4*y - 30. Let p = -59 - -57. Sort -3, 0, y, p in increasing order.
y, -3, p, 0
Let b(j) = j**3 - 5*j**2 + 6*j. Let w be b(3). Suppose -13*h = -9*h + 16. Sort 3, h, w.
h, w, 3
Let x = 61 + -60. Let f(k) = k + 2*k**3 - k**3 - 1 + 3*k**2 + 0*k**2. Let s be f(-3). Put s, x, -3 in increasing order.
s, -3, x
Let o(x) = -x**3 - 10*x**2 + 10*x - 8. Let a be o(-11). Sort a, 7, -3 in increasing order.
-3, a, 7
Let p = -295 + 2069/7. Put -4, p, 2, -3/4 in increasing order.
-4, -3/4, p, 2
Suppose -16*a - 18*a = 10*a. Put 3, a, 6 in descending order.
6, 3, a
Let j be 8/(-52) - (18450/78)/3. Put -4, -2, j in descending order.
-2, -4, j
Let i = -2683/84 + 145/12. Let u = i + 20. Let c = -0.6 - -1. Sort -0.2, c, u in decreasing order.
c, u, -0.2
Suppose -26 + 18 = 3*l + g, 0 = 4*l + 4*g + 16. Put 7, 1, l, -4 in descending order.
7, 1, l, -4
Suppose 5*m = 3*m + 2*y + 4, -2*m = 4*y + 14. Let r(u) = -u**2 + 5*u + 15. Suppose v - 2*v + 7 = 0. Let l be r(v). Put m, l, 5 in decreasing order.
5, l, m
Let q(x) = -x**3 - 8*x**2 + 17*x - 27. Let f be q(-10). Suppose f*k = s - 4, -k + 2*s - 5 = -2*s. Sort -5, k, 1, -2.
-5, -2, k, 1
Let v = 0.02 + -0.22. Let m = -78 + 78.08. Put m, 5, v in descending order.
5, m, v
Let u = -351.954 - -352. Sort 0.1, u, -3 in ascending order.
-3, u, 0.1
Let u be 0 + (42/1 - -3). Let c be 86/30 - ((-78)/u)/13. Sort c, -0.1, -0.16 in decreasing order.
c, -0.1, -0.16
Suppose -3*a + 0*m + 4 = -m, 4*m = -2*a + 26. Suppose 2*f + 2 = 2*r, r - a*f = 5*r - 4. Let o be (-6)/(45/6*r). Sort o, -0.1, 2.
o, -0.1, 2
Let a = -166 - -162. Put a, -2, -16, 3/5 in decreasing order.
3/5, -2, a, -16
Let k be (12/10)/(7/(-35)). Put -36, -3, k, -4 in ascending order.
-36, k, -4, -3
Let b(a) = a - 25. Let p be b(20). Put p, 0.05, -3 in decreasing order.
0.05, -3, p
Let h = -0.015 - 8.585. Let b = h + 6.6. Sort b, -1/5, -0.4, 3 in descending order.
3, -1/5, -0.4, b
Suppose -2*z + 3*a = -2, -2*z - 3*z = -5*a - 10. Suppose -12*b = -1609 + 1585. Put 3, -2, z, b in descending order.
z, 3, b, -2
Let r be 7/(28/(-48))*-1. Let o = 15 - r. Suppose o*u + 0 = -9. Sort 4, 9, u in descending order.
9, 4, u
Suppose -68*m + 15 = -257. Let i(x) = -x**3 - 7*x**2 - 8*x - 9. Let z be i(-6). Sort z, m, -7 in decreasing order.
m, z, -7
Let q = 4.1 - 0.1. Let m = 3.7 - q. Suppose -47*w - 19*w + 9*w = -3*w. Sort w, m, -8 in descending order.
w, m, -8
Suppose 2*x - 5*t - 33 = -2*x, 0 = 3*x + 5*t - 51. Let u = x - 47/4. Let w = -3.7 + 4. Sort w, -4, u in ascending order.
-4, u, w
Let l be (-4)/3*-1*(-7)/(-56). Let h = 0.03 + -0.43. Sort -3, h, 2/5, l in decreasing order.
2/5, l, h, -3
Let v be (-26)/5 - (-3)/15. Suppose -16 = 5*t - 4*n, -5*t - 11*n + 4 = -10*n. Sort -2, -3, v, t.
v, -3, -2, t
Let l(b) = -b**3 - 9*b**2 + 6*b - 31. Let p be l(-10). Put 4, 0, p in descending order.
p, 4, 0
Let p(j) be the second derivative of -j**3/6 - 7*j**2 + 10*j. Let y be p(-22). Sort 2, -5, y, 0 in descending order.
y, 2, 0, -5
Let u be 46/132 - 12/72. Sort 0.2, 47, -3/5, u in increasing order.
-3/5, u, 0.2, 47
Let u = 11.2 - 1.2. Let z = u + -10.2. Let p be 3*20/(-585)*6/(-4). Put p, z, -5/4 in ascending order.
-5/4, z, p
Let p = 3.4 - 3. Let n(k) = -3*k**3 + k**2 + 21*k + 22. Let i be n(-1). Put -1, p, -0.3, i in increasing order.
-1, -0.3, p, i
Let u(d) = 23*d - 6. Let x be u(2). Suppose -3*m + 51 = 4*i - 9, -2*m + 3*i = -x. Let a be m/90 + (-47)/9. Put a, 0, 1 in ascending order.
a, 0, 1
Suppose 2*d + 3*d + 37 = -4*v, -12 = 4*v. Sort 13, d, 5, -1 in descending order.
13, 5, -1, d
Let x = 142 + -82. Let z = x + -56. Sort z, -5, 0, 5 in descending order.
5, z, 0, -5
Let b = 2 - -2. Let t(v) = 33*v - 69. Let r be t(2). Sort -29, r, b in descending order.
b, r, -29
Let g be ((-3)/(-21)*0)/(4/2). Sort g, -1, 5, 28.
-1, g, 5, 28
Let f be 6/5*56/(-336). Let k = 149/4 - 38. Let i = 2 - 1. Sort f, k, i in decreasing order.
i, f, k
Let t = 33 - 30. Suppose 0 = t*n + 5*b + 16, -4*b = -6*b - 10. Sort n, -2, -5 in decreasing order.
n, -2, -5
Let d = 279 + -278.1. Let r = 0.3 + -0.2. Let k = d + r. Put -0.1, 2, k in descending order.
2, k, -0.1
Let v be (-6)/(-24)*(0 + (-4)/(-1)). Suppose 9*t + v = 10. Put t, 0.06, 0.1, -1 in ascending order.
-1, 0.06, 0.1, t
Let i = 30 - 30.9. Let k = 12.9 + i. Let u = 11 - k. Put -4, u, -1/5 in decreasing order.
-1/5, u, -4
Suppose 0 = 105*q - 213*q - 324. Suppose 5*c = -g - 22, -3*c = -3*g + 2 + 4. Let n = 3 + g. Put -5, q, n in decreasing order.
n, q, -5
Let c = 0.316 - 0.016. Let w = 0.7 - c. Sort -5, 0, w, -0.2.
-5, -0.2, 0, w
Let w(x) = -8*x**2 + 9*x. Let r be w(1). Sort -16, -5, r in increasing order.
-16, -5, r
Let i = 589.11 - 589. Put i, -2, 3, -1/3 in descending order.
3, i, -1/3, -2
Let w be ((-30)/(-5))/(-2) + (-33)/(-10). Put -1, w, -3 in decreasing order.
w, -1, -3
Let m = -70.2 - -58. Let c = 13.2 + m. Put -3, -1/5, c in descending order.
c, -1/5, -3
Let s = 280 + -278. Put -0.5, s, -5, 0 in decreasing order.
s, 0, -0.5, -5
Let u be -5*2*(-2)/10. Put u, 43, -3 in ascending order.
-3, u, 43
Let m = -1 + -2. Let f = 2178 + -2185. Put f, m, 3 in ascending order.
f, m, 3
Let r = -77 + 141. Let k = r + -63.9. Put 0.3, 3/7, 0.4, k in decreasing order.
3/7, 0.4, 0.3, k
Suppose 4*a = 3 + 5. Suppose 8*i - 50 + 2 = 0. Suppose 3*l - i*l = 2*d + 4, 3*l - 3*d = 6. Put -1, a, l in ascending order.
-1, l, a
Suppose -4*h + 66 = 2*h. Let f = h + -41/4. Put f, -0.6, 0.1 in descending order.
f, 0.1, -0.6
Let u = -1.048 - 0.242. Let f = -1.89 - u. Sort f, 6, -1 in decreasing order.
6, f, -1
Let y(m) = 13*m + 1. Let j be y(6). Suppose -j = -5*x + 36. Suppose 5*d - 11 = -3*k + x, -3*k - 6 = -3*d. Put -0.5, -8, d in descending order.
d, -0.5, -8
Suppose -r - 2*c + 23 = 3, 0 = -3*r - 4*c + 62. Suppose 5*u = 2*x + 12, 4*x + 2*u = -u + 2. Sort x, r, 5 in descending order.
r, 5, x
Let m be 1/4 + 34/(-8). Suppose -2*k - 28 = -4*s + 2*k, 0 = k + 1. Suppose 2*y = s*y. Sort m, y, 1 in descending order.
1, y, m
Suppose 3*p - 65 = -a + 18, -71 = -3*p - 4*a. Let n = p + -31. Put 1/9, n, 5 in decreasing order.
5, 1/9, n
Let h(d) = d**3 + 21*d**2 + 23*d + 64. Let b be h(-20). Suppose 1 = 4*z - 5*z. Sort b, z, 3 in descending order.
b, 3, z
Let z = -77 + 75.5. Let n = z - -1.7. Put -0.5, 0.1, n, -0.2 in ascending order.
-0.5, -0.2, 0.1, n
Let y be 6/(-4) + (-874)/(-76). Sort -2, y, 5 in ascending order.
-2, 5, y
Let q = -1 + 2. Suppose -2*b = -5*n - 20, 4*b + 5*n + 14 = -6. Suppose b = -0*w - 5*w - 20. Sort q, -5, w in decreasing order.
q, w, -5
Suppose 3*r - 12 = -r. Suppose -r*u + 0*u + 48 = 0. Let z = 20 - u. Put -3, z, -5 in ascending order.
-5, -3, z
Let r(m) = 2*m**2 + 12*m + 4. Let i = -53 + 47. Let t be r(i). Put t, -24, -5, -1 in decreasing order.
t, -1, -5, -24
Let o be ((-264)/(-20))/(2/5). Let c = o - 21. Suppose -5*p + 21 = 3*m, 2*m + 0*m + c = p. Put -5, 3, p in increasing order.
-5, 3, p
Let w = 913/15 - 52. Let p = w - 9. Let r = -3 + 9. Put p, 1/4, r in ascending order.
p, 1/4, r
Let o = 3 + 1. Let s = 251 + -2009/8. Sort s, -4/5, o in ascending order.
-4/5, s, o
Let t = 13.2 - -54.8. Let o = 67.7 - t. Sort -2/17, o, -1/27.
o, -2/17, -1/27
Suppose 22*b + 0*b = 22. Put 3, 52, b in descending order.
52, 3, b
Let u = -34 + 22. Let k = 11 + u. Let n be 5 + -6 + (0 - -4). Put k, n, 2 in increasing order.
k, 2, n
Let w = -107 - -91. Sort 5, 3, w in increasing order.
w, 3, 5
Let r = -81 + 80. Suppose 9*p - 43 = 2. Put -4, 2, r, p in ascending order.
-4, r, 2, p
Let a be (7 + -8)/(-2)*-8. Sort a, 77, 1, 3 in descending o