)*(0 + 15). Sort m, 5, a in decreasing order.
5, a, m
Let i = -79 - -51. Let f be (-14)/i*(-1)/6. Let q = -0.6 + -1.4. Put f, -5, q in decreasing order.
f, q, -5
Let i = 42 - 38. Let r be 18/(-14) + 4/14. Sort 3, r, -13, i.
-13, r, 3, i
Let n be 6/(-27) - (-8)/18. Let v = -6632 - -6632.1. Put n, -1, v in ascending order.
-1, v, n
Let p = 6/161 - -453/805. Put 0.5, p, -5/7 in increasing order.
-5/7, 0.5, p
Suppose -5*r + 7 = v - 14, 5*r - 23 = -3*v. Suppose -122*x + 136*x = -126. Sort x, -3, r in descending order.
r, -3, x
Let v = 2496 + -2493. Put -1, v, 561 in ascending order.
-1, v, 561
Let h = -41 + 70. Suppose -5 = 4*r - h. Suppose r*o - o - 5 = 0. Sort 0, 3/5, o.
0, 3/5, o
Let q be 11 + -2 - (-18)/(-3). Put 4, q, -273/8 in ascending order.
-273/8, q, 4
Let c = 745 - 753. Sort 0.1, 0.4, c, -4/3 in descending order.
0.4, 0.1, -4/3, c
Let k = -6.56 + 3.56. Put -0.69, 3/2, k in descending order.
3/2, -0.69, k
Let i = 490 - 488. Suppose -50 = 5*k - 5*g, 45 + 23 = -5*k - g. Put -4, -3, k, i in descending order.
i, -3, -4, k
Let c = 10.36 + 1.24. Let d = 12 - c. Let j = -1 - -0.8. Put j, -5, d in ascending order.
-5, j, d
Suppose -3*d + 8*d + 2*g = 193, 4*d = -3*g + 153. Put -3, -0.1, d in descending order.
d, -0.1, -3
Suppose c = 42 - 37. Suppose 9*t = 7*t + 6. Suppose 4*n + 9 = n. Sort n, c, t in ascending order.
n, t, c
Let d = 13 - 22. Let q = 20.39 + -16.39. Sort d, -2/5, q in ascending order.
d, -2/5, q
Suppose 5*t + 5*n - 440 = 0, -5*t = -7*t - 3*n + 171. Suppose 89*b - t*b + 12 = 0. Let f be (-2)/3 - (-14)/3. Sort f, b, -6 in descending order.
f, b, -6
Suppose 2*o - 1 + 11 = 0, -5*j - 25 = 4*o. Sort 1, j, 21, 0 in descending order.
21, 1, 0, j
Let v = 0.613 - -11.287. Put v, -2/5, 0.1, 2/15 in increasing order.
-2/5, 0.1, 2/15, v
Suppose 4*l + g = 2, l - 5*g + 2*g - 7 = 0. Let k(b) = b**2 + 4*b - 10. Let c be k(-6). Let p be c*6*(-3)/(-12). Sort l, p, -5 in ascending order.
-5, l, p
Let t be 260/120 + 3/(-18). Sort t, 0.8, 1 in decreasing order.
t, 1, 0.8
Let k = 217 + -222. Put k, -2/9, -2/11, 0.5 in ascending order.
k, -2/9, -2/11, 0.5
Let v(h) be the first derivative of -h**4/4 - 4*h**3/3 + 5*h**2/2 - 4*h - 4. Let x be v(-5). Sort 2, x, 5, 1 in ascending order.
x, 1, 2, 5
Let p be -2 + -1 - (-6 - -6). Let v be (-20)/3*((-189)/28)/9. Sort v, p, 4 in descending order.
v, 4, p
Let g be 0 + 2 - (16 - (-952)/(-70)). Let s = -7 + 5. Sort s, -1/16, g in decreasing order.
-1/16, g, s
Suppose -3*l = 2*l + 20. Suppose -d - 6 = 5*k, 1 = -2*d - 3*k - 4. Put 23, d, l in ascending order.
l, d, 23
Suppose 76 = -4*i - 2*x, 5*i - 2*x = -12 - 92. Put 3, -2, i in ascending order.
i, -2, 3
Let p be (-11 - -5)/((-9)/6). Put -2, p, 1 in ascending order.
-2, 1, p
Let a(v) = v - 7. Let t be a(9). Let r = 1 + 0. Let z be -2*(-1)/(-6)*9. Sort t, z, r.
z, r, t
Let p be 28/(-21)*(-6)/28. Let b = -75.5 - -75. Sort b, p, 8 in decreasing order.
8, p, b
Suppose 4*a - 5*t = 20, 4*a + 5*t - 20 = 7*t. Suppose 3*o = 5*z + o - 42, 0 = -4*z + 5*o + 37. Suppose 2*u + z = 2. Sort u, a, 1 in ascending order.
u, 1, a
Let c = 5.8 + -2.4. Let y = -1.6 - 1.4. Let l = y + c. Sort 0, 5, l in descending order.
5, l, 0
Let s = -3.4 - 0.6. Let x(j) = 45*j + 2. Let g be x(-2). Let z be ((-22)/g)/(26/12 - 2). Put z, s, 2 in decreasing order.
2, z, s
Let d = -522 - -521.6. Put d, 4, -2/29, 0.4 in descending order.
4, 0.4, -2/29, d
Let m = 2.93 - -0.07. Put -0.61, m, -4 in ascending order.
-4, -0.61, m
Let w = -0.2 - -0.1. Let k = w + 0.5. Let m be (-1 + 0 - -4)*-1. Sort 2, m, k in decreasing order.
2, k, m
Let u = -50969/53160 + 1/2215. Let z = -5/8 - u. Let j = -7 - -6.9. Put -2/3, j, z in ascending order.
-2/3, j, z
Let m be (1 - 3) + -23 - (5 + -2). Let v = 33 + m. Let h(r) = 3*r**2 - r - 1. Let j be h(2). Sort v, j, 4 in increasing order.
4, v, j
Let g = 42.9 - 42.5. Sort 2, 1/2, g, 0 in ascending order.
0, g, 1/2, 2
Suppose 6*c = 19 - 43. Let j be -1 - ((-8)/(-8) + c + -2). Put -4, -5, -2, j in descending order.
j, -2, -4, -5
Let m(b) = b**3 - 9*b**2 - b + 2. Let z be m(9). Sort z, 5, -5, 1 in decreasing order.
5, 1, -5, z
Suppose 16*q + 4125 = -17*q. Let w(p) = p**3 + p**2 + p + 4. Let m be w(0). Sort -1, m, q.
q, -1, m
Let u(x) = -8*x**2 + 3*x**3 - 4*x**3 + 5*x**2 - 9 - 4*x**2. Let v be u(-7). Let k be (-1)/2*(1 + v). Put 3, -4, k in descending order.
k, 3, -4
Let t be -1 - (-12)/(-120)*0. Sort 5, -23, t.
-23, t, 5
Suppose 0 = -43*s - 1515 - 76. Sort s, 3, -2.
s, -2, 3
Let u be ((-2)/4)/(0 + -1). Let v = -8.4 + -0.6. Let d = v + 11. Put -2, u, d in decreasing order.
d, u, -2
Let f = 15 - 1. Let i = -28 - -24. Suppose -6*k + 4*d - 12 = -5*k, 4*k = -4*d + 32. Sort k, i, f.
i, k, f
Suppose 50*q - 54*q - 3*a = -388, -5*q - 5*a = -485. Put 4, -5, 2, q in descending order.
q, 4, 2, -5
Let c = 3 + -6. Let g = 0 + c. Let z = -66 + 64. Put g, -5, z in decreasing order.
z, g, -5
Suppose 5*x - 13 - 17 = -4*k, 29 = 5*k + 2*x. Suppose -3*a - 1 = 8. Let w = 99 + -95. Put k, w, a in increasing order.
a, w, k
Let l(h) = -h**2 + 9*h + 12. Let d be l(9). Suppose -2*b = -8*b + d. Let s = 2 + -4. Put s, -1, b in increasing order.
s, -1, b
Let t be 4/10 + 3/30. Let b = 10.38 + -0.38. Let a = 12 - b. Put t, a, -1 in decreasing order.
a, t, -1
Let o = 11 - 7. Suppose 4*d = o - 0. Suppose 0 = 52*h - 50*h + 10. Sort d, -3, h in increasing order.
h, -3, d
Suppose 0 = -17*f + 1264 + 1014. Sort 4, -1, f in descending order.
f, 4, -1
Let v be 4 - (3/(-3) + 4). Suppose r - 4*b - 3 = 0, -2*r - 2 + v = -b. Sort -3, r, 2, 4 in decreasing order.
4, 2, r, -3
Suppose 14*v + 81 = 41*v. Put v, -9, 1, 2 in descending order.
v, 2, 1, -9
Suppose 5*j + 2*m - 54 = 0, 4*m - 5*m - 27 = -2*j. Let z be 8/j - 51/9. Let x = -1057/12 - -88. Sort 2, z, x in ascending order.
z, x, 2
Let i = 0.07 + 0.03. Let v = 1941.06 + -1919. Let w = -22 + v. Put w, 2/7, i in ascending order.
w, i, 2/7
Let k(g) = g**3 - g**2 - g + 1. Let v be k(2). Suppose 0 = 5*a + 2*u + 13, 14 = -5*a - 52*u + 51*u. Put a, v, -2, 2 in descending order.
v, 2, -2, a
Let t = 0.1 - 0.1. Let v = -3966 + 3959.902. Let i = v - -0.098. Sort t, i, -1/5.
i, -1/5, t
Let t = -76 - -228. Let p = t + -147. Put 0, 1, p in increasing order.
0, 1, p
Let t = 364 - 361. Put t, -1, -4, 7 in ascending order.
-4, -1, t, 7
Let s(q) = q**3 - 7*q**2 + 4*q + 11. Let u be s(6). Let m = u - -13. Let t be (m/15)/((-2)/10). Sort -5, t, -2 in increasing order.
-5, t, -2
Suppose 0 = -3*s - 5 - 4. Let v(h) = 3*h**2 + 52*h + 112. Let j be v(-15). Put j, s, -1, -4 in increasing order.
-4, s, -1, j
Let k = 7.048 + -0.048. Let v = -6 + k. Sort 0, v, 2/9.
0, 2/9, v
Suppose -4 = 2*a - 14. Sort a, 2/9, -0.1, -0.5 in ascending order.
-0.5, -0.1, 2/9, a
Suppose -9 - 16 = -5*g. Let j(n) = -n**2 - 2*n + 100. Let p be j(9). Sort g, 2, p, -2 in ascending order.
-2, p, 2, g
Let u be (-1)/(-9)*3*39. Let i = 6 - u. Let m be (i/(-56))/((-10)/(-8)). Put 1, -4, m in descending order.
1, m, -4
Suppose -64*z + 74*z = 0. Put -14, 5, z, -2 in increasing order.
-14, -2, z, 5
Let r = 1441/12 - 120. Put -1/5, r, 3/5 in descending order.
3/5, r, -1/5
Let k = -119 + 121. Let o be 36/(-96)*k/(-3). Sort o, -2/17, -3/2 in descending order.
o, -2/17, -3/2
Let c = -171 - -170. Let m = -14 + 24. Let s be 3/(-12) + m/8. Sort c, -2, s in decreasing order.
s, c, -2
Let s(m) = m**2 - m + 4. Let k = -2 - -2. Let f be s(k). Let q = -141 - -985/7. Put 4/5, q, f in increasing order.
q, 4/5, f
Suppose 0 = 2*c + 2*c - 12. Suppose c*y = n + 1, 3*y + 2*n + 0*n + 2 = 0. Suppose 3*q - 4*m - 4 = 0, 8*q - 3*q + 5*m + 5 = y. Put q, 1, 5 in decreasing order.
5, 1, q
Let t(a) be the second derivative of 5*a**3/6 - a**2 - a. Let k be t(5). Suppose -5*y = 2*p - 11 - 18, 0 = -5*y + p + k. Sort 1, y, -4.
-4, 1, y
Let c be (-5 + 1)/((-13)/(-78)). Let d = c + 25. Let l(k) = -12*k**2. Let i be l(-1). Put d, -3, i in descending order.
d, -3, i
Suppose -25*k = -k. Sort k, 2, 12 in decreasing order.
12, 2, k
Let u be 4 - (-1 + (-95)/(-10)). Let l = u + 17/6. Let s = -0.3 - -0.5. Sort l, 1, s.
l, s, 1
Let y = -19.29 + 19.39. Let d = 13.93 - 14. Let j = -4.93 + d. Sort j, y, -2.
j, -2, y
Suppose a = 5*a. Suppose -4*z = -s - 3*z, -3 = -s - 2*z. Sort 3, 5, a, s.
a, s, 3, 5
Suppose 2*n - 26 + 28 = 0. Let k(c) = -3*c - 5. Let w be k(n). Sort 2, 4, w, 35 in