r = 990 + -1670. Put r, 2, -5 in decreasing order.
2, -5, r
Let d be 10 - (-21)/(-2) - (-7)/2 - -2. Let v = -31 - -17. Sort 2, d, v in descending order.
d, 2, v
Suppose 0*c - 5 = -c - 5*u, -3*c - 3*u = -3. Suppose c*g - 3*g = 0. Suppose -y - 9 = -2*y - 5*r, g = 5*y - 3*r + 39. Sort -3, 3, y in decreasing order.
3, -3, y
Let k = 6.7 - 6.5. Put -25/3, -3, k, 2/17 in decreasing order.
k, 2/17, -3, -25/3
Let g = 426 + -437. Put g, -3, 0.4, 3/4 in increasing order.
g, -3, 0.4, 3/4
Suppose -h - 10*c = -9*c + 1, 0 = 4*c + 20. Sort -3, -8, h, 5.
-8, -3, h, 5
Suppose 2*i - y + 6 - 17 = 0, 0 = 3*i + 2*y - 20. Suppose 0 = u - i*d + 3*d, u = -2*d + 20. Suppose -14*b = -u*b + 10. Put 2, -4, b in descending order.
2, -4, b
Suppose 5*z = 56 + 34. Let d = z - 19. Let h be -8 - (-15)/((-25)/(-5)). Sort h, 2, d in decreasing order.
2, d, h
Let r = 108.38 - 0.98. Let z = 107 - r. Put z, 13, -2 in ascending order.
-2, z, 13
Let v be 0/(-2) - (2 - 12 - -15). Put v, 0, -4, 3 in increasing order.
v, -4, 0, 3
Let q be 26/(-6) - 2/(-6). Let w(u) = u**3 - 11*u**2 - u + 16. Let r be w(11). Suppose -r*h - 6 = -j, -3*h + j = -2*h + 2. Put q, h, 5 in decreasing order.
5, h, q
Let b = 27.98 + -103.98. Let o = 4.7 + -5. Sort b, -4, o in ascending order.
b, -4, o
Let s be (-48 + 49)*(0 + 0). Let l be 46/6 + (-4)/6. Suppose 0 = 4*g - k + 11, -4*g - g = k + l. Sort g, s, -4 in ascending order.
-4, g, s
Let d = 17 - 12. Suppose -c + 0*c - 5*p = -9, 21 = 4*c + 5*p. Put d, -4, -1, c in descending order.
d, c, -1, -4
Let k = -0.4 + -0.1. Let g = 117 + -118. Sort -4, g, k in decreasing order.
k, g, -4
Let o be ((-4)/(-10))/((408/(-240))/(-17)). Suppose 0 = -3*d - 10 - 2. Put -2, o, -5, d in descending order.
o, -2, d, -5
Let z be ((-5)/((-15)/6))/(-2). Let u = -17 + 19. Suppose -3*a + 1 = -u. Put z, 2, a in descending order.
2, a, z
Let w = -69 - -73. Suppose -w*o = -5*z + 29, -3*o = -2*z - 2*o + 11. Put 2, z, 1 in decreasing order.
z, 2, 1
Let p = 1.043 - 75.143. Let q = p - -74. Suppose 5*i - 3*i = -v - 7, -5*i - 25 = -5*v. Sort i, -1/5, q.
i, -1/5, q
Let k(r) = -r**2 - 7*r - 3. Let l be k(-6). Let x(b) = -b**3 + 11*b**2 + 12*b - 6. Let d be x(12). Let o = 5 + d. Sort l, -4, o in increasing order.
-4, o, l
Let o(v) = 3*v**2 + 37*v - 37. Let q be o(-13). Let r(a) = -a**3 - 4*a**2 + 8*a + 4. Let p be r(-5). Let y = q - p. Sort -4, -0.4, y.
-4, -0.4, y
Let f = -2 - -7. Suppose -x + f*x = 40. Suppose -3*s + 1 = x. Sort 1, s, 3 in increasing order.
s, 1, 3
Let l be ((-1)/(-4))/(19/228*12). Sort -0.1, 4, -3, l in ascending order.
-3, -0.1, l, 4
Let a = -1.989 - 96.011. Put a, 2, -4 in ascending order.
a, -4, 2
Let v = 2.91 - 2.61. Put v, -0.5, -9, -3 in descending order.
v, -0.5, -3, -9
Let a(g) = -23*g**2 - 5*g + 5. Let r be a(1). Put -5, 2, r, -3 in ascending order.
r, -5, -3, 2
Let v = 29 + -28. Let p = -9 - -8. Sort p, -15, 5, v in decreasing order.
5, v, p, -15
Suppose 12 = 3*y - 4*j, -4*y - 5*j + 46 = -1. Suppose 7 = 5*z - y. Suppose 0 = -z*v - 36 + 21. Sort v, -1, 2 in descending order.
2, -1, v
Let k = -922 - -920.2. Sort -2, -4, k.
-4, -2, k
Let y be (24/(-4) - 573/(-96))*-2. Put -5, -0.5, y in increasing order.
-5, -0.5, y
Let a(z) = -z**2 - 11*z + 12. Let m be a(-8). Let d = 41 - m. Put 4, d, 0 in descending order.
d, 4, 0
Let o(u) = u**3 - 18*u**2 - 19*u + 2. Let i be o(19). Put -4, 3, -3, i in increasing order.
-4, -3, i, 3
Let x = 4.21 - 7.21. Sort x, 19, 0, 2.
x, 0, 2, 19
Suppose -5*i = -10, -4*k + 5*i - 8 = -14. Put -2, k, -28, 3 in increasing order.
-28, -2, 3, k
Let v be (-4)/(-10) - (-1024)/40. Let j = v + -22. Sort -2/19, j, -10.
-10, -2/19, j
Suppose 17*g = 14*g + 27. Sort 3, -11, g.
-11, 3, g
Let o(w) = -w**2 - w - 2. Let i be o(2). Let a = 2.3 - -71.7. Let p = -73.5 + a. Put i, p, -2 in increasing order.
i, -2, p
Suppose 2*t = n + 10, 5*n = -5*t + n + 12. Suppose t*y = 5*v - 12, -5*v + 1 = -2*y - 5. Sort 2, v, 3 in ascending order.
v, 2, 3
Let l = 0 - -2. Suppose l*y = -y. Let n be 6/(6/(-4) + y). Put n, -2, 2 in descending order.
2, -2, n
Let z be (14/(-21))/((-1)/3). Let y = 5 - 4.92. Let b = -112 + 453/4. Sort z, b, y.
y, b, z
Let s = 16 + -14. Suppose 5*l = 5*m - 10, -3*l - s*m + m = 10. Put l, 24, 4 in descending order.
24, 4, l
Let c be (-1 - (3 - -1)) + 1. Suppose -5*k + 4*v + 340 = v, k + v = 60. Let w = k + -59. Put w, c, -5 in decreasing order.
w, c, -5
Let x(k) = -3*k + 6*k + k - 2*k + 9. Let t(z) = -z + 1. Let o(b) = 4*t(b) + x(b). Let n be o(8). Put -1, n, 3 in descending order.
3, -1, n
Let t = -88/3 + 29. Let q = 18 - 16. Let m(l) = -l**2 + l + 3. Let d be m(q). Sort d, t, 1/4.
t, 1/4, d
Suppose -306 - 177 = 21*h. Let w(s) = s**2 - 2*s + 1. Let f be w(3). Sort h, f, 3 in increasing order.
h, 3, f
Let m = 81.2136 + -0.1136. Let v = m - 81. Sort 1, 0, v in descending order.
1, v, 0
Let o = -4.03 - -2.03. Sort -1, -0.11, 0.5, o.
o, -1, -0.11, 0.5
Suppose -10*j + 6*j = -112. Let w = j + -169/6. Let o = 0.1 - 0.09. Sort w, o, -0.4.
-0.4, w, o
Let o = -18 + 33/2. Let n = 57 - 32. Let x = -25.3 + n. Put 2, o, x in decreasing order.
2, x, o
Let j = 50.73 - 51. Let v = 0.46 + 0.11. Let w = j + v. Put 0.2, w, -1 in increasing order.
-1, 0.2, w
Let d be ((-8)/3)/((-12)/(-54)). Sort d, -5, 1, 5 in descending order.
5, 1, -5, d
Let x = -269 + 265. Let b = -1.7 - -2. Sort -2/13, b, x in descending order.
b, -2/13, x
Let z be (-3)/(-8) - 121/88. Put 1, -31, z, 5 in decreasing order.
5, 1, z, -31
Suppose 2*o - 3*d - 7 = 5, -6 = -o + 2*d. Let w be (o/4)/(15/40). Suppose 0 = -5*i + 20, -7 = -t - w*i + i. Put 5, 2, t in decreasing order.
5, 2, t
Let q = -270 - -267. Sort q, 3, -5, -2 in descending order.
3, -2, q, -5
Let u(f) = -9*f**2 - 28*f + 17. Let h be u(-4). Suppose -15 = -4*k + k. Put -2, k, h in ascending order.
h, -2, k
Let j = 125 - 124. Let s = -0.35 + -3.65. Sort s, j, 0.01, 0 in increasing order.
s, 0, 0.01, j
Suppose -2*k = -8, 13 = 4*h - 3*k + 9. Sort -4, -12, h, 3 in ascending order.
-12, -4, 3, h
Let b be ((-1)/3)/(15/(-45)). Suppose 2*i + 12 + 21 = -3*d, -55 = 5*d - 3*i. Let y = -12 - d. Sort y, 3, b.
y, b, 3
Let b = 150 + -55. Let d = b + -94. Put d, 3, 30 in increasing order.
d, 3, 30
Suppose -3*i - 136 = 4*t, -4*t = 4*i - 10 + 186. Sort -1, i, 4, -5 in ascending order.
i, -5, -1, 4
Suppose 2*w + 3*y = 36, 2*y = 3*w + 7*y - 53. Suppose -w = -3*q - 0*q. Suppose 2*r + 9 + q = 0. Put r, 1, 2 in descending order.
2, 1, r
Suppose -15 = -3*f - 2*f. Suppose f*s = -0*s. Suppose 0 = -2*x - 5*r + 15 - 1, 5*r = 0. Put -1, x, s in increasing order.
-1, s, x
Let p be -2*(210/(-36) + 6). Let k = 6 - 2. Suppose -6 - 2 = k*w. Put 2, p, w in descending order.
2, p, w
Let i = 0.96 + 2.04. Let s = -2.3 - -3. Put -0.3, i, s in descending order.
i, s, -0.3
Suppose 0 = 4*v - 5*v - 3. Let l = -195 - -194. Sort 3, l, v in decreasing order.
3, l, v
Suppose -2*g - 22 + 40 = 4*v, 0 = 4*g + 4. Sort -1, v, 3, -4 in descending order.
v, 3, -1, -4
Let t be 4/(24/90) + (4 - 2). Suppose z - 13 = -t. Sort -32, z, -2, -1.
-32, z, -2, -1
Let k = -2.48 + 1.48. Put -4, k, -6/19 in increasing order.
-4, k, -6/19
Let r be (-9)/6 - 9/(-4). Put -1/2, 0.07, -3, r in descending order.
r, 0.07, -1/2, -3
Let d(r) = -r + 3. Let l be d(0). Let o be (2*1)/((-16)/(-448)). Suppose 21 + o = -11*j. Sort l, 0, j in decreasing order.
l, 0, j
Let p = -2 + 1. Let a = 48 + -52. Let u be ((-9)/(18/a))/(-4 - -1). Put p, u, 0.3 in ascending order.
p, u, 0.3
Suppose -2*o + 162 = -4*h, 95*h - 97*h = 5*o - 429. Put 0, -2, o, -5 in descending order.
o, 0, -2, -5
Suppose 46*v = 52*v + 6. Let r = -1 + 0. Let t = 4 - r. Sort -2, v, t in decreasing order.
t, v, -2
Let g = 0.112 + -143.112. Let u = -143.13 - g. Sort -4, u, 0.3 in ascending order.
-4, u, 0.3
Let i(h) be the second derivative of h**5/20 + h**4/4 - 7*h**3/6 - 3*h**2 + 4*h. Let s be i(-9). Let t = s - -3857/9. Put -1, 2/7, t in decreasing order.
2/7, t, -1
Suppose 4*j = -c + 16, 2 = -2*j - 15*c + 17*c. Sort j, -17, -3 in descending order.
j, -3, -17
Suppose 0 = -6*u - 13 + 19. Let v = -1.2 + 0.2. Let q = -5 + v. Sort q, u, 4 in descending order.
4, u, q
Let o be 7/((-7)/1)*0. Let v(s) = -s**2 + 5*s - 1. Let m be (-4)/14 - (-30)/7. Let p be v(m). Sort 1, o, p in increasing order.
o, 1, p
Let p = -4/225 - 122/1575. Put p, -0.8, -2 in decreasing order.