+ 15*u = -44. Sort 3, 1, -1, u in descending order.
3, 1, -1, u
Suppose 0 = 19*h - 23*h. Let j = -1 - -13. Let m = j - 10. Sort 1, h, m in ascending order.
h, 1, m
Let n = 5953/3 + -1983. Sort n, 2/9, -0.1.
-0.1, 2/9, n
Let y = -58 - -89. Let h = y + -28. Let s = 8 - 6. Sort 1, s, h in ascending order.
1, s, h
Suppose -6 = -2*l - z + 3*z, 0 = l + z + 7. Suppose -r + 2*t = r - 10, -4*r + 5*t + 22 = 0. Let v = -2 + r. Put 5, l, v in decreasing order.
5, v, l
Let c = 1/88 - 51/616. Let r = 0.044 + -0.544. Sort -2, r, c in increasing order.
-2, r, c
Suppose 3*b + 5*s + 0*s + 98 = 0, -4*s - 68 = 2*b. Let m = b + 27. Sort 7, -2, m in decreasing order.
7, m, -2
Suppose -15*z = -16*z + 3*t - 5, 51 = 5*z + 4*t. Put -3, -2, z, 2 in descending order.
z, 2, -2, -3
Let t = -62/27 - -380/189. Put 1, t, 10/9, -2 in ascending order.
-2, t, 1, 10/9
Let x = 64/7 - 2553/280. Put -2/7, x, 0.2, 0.5 in ascending order.
-2/7, x, 0.2, 0.5
Let r = 24 + -17. Let u be 22/77 - 3/r. Let j = 0.3 + -0.2. Put 0.3, u, j in decreasing order.
0.3, j, u
Let q = -0.1 - -0.24. Let p be (-1)/(-4)*4*1. Sort q, -0.1, p, -3 in descending order.
p, q, -0.1, -3
Let a(i) = i**3 + 3*i**2 - 2*i - 3. Let k be a(-3). Suppose 2*j - 20 = -4*c, -4*c + 31 = 5*j + 11. Sort 5, k, j in decreasing order.
5, k, j
Let f be 3/9 - (-1)/(-3) - 5. Suppose 1 = -4*a - 39. Sort f, 4, a in decreasing order.
4, f, a
Suppose 23*j = 37*j - 2002. Sort 3, j, -5 in decreasing order.
j, 3, -5
Suppose 3*g + 3*n = -33, 5*n = n + 12. Let o be (-36 + 36)*((-12)/3 + 3). Put o, 3, g in increasing order.
g, o, 3
Let i(k) = k**2 + 20*k + 20. Let g be i(-1). Put 12, g, -3 in decreasing order.
12, g, -3
Suppose -3*m + 30 = -30. Suppose -7*q = -3*q - m. Suppose -2*i - x = 3*i + 28, -i - 4*x = 17. Sort q, -3, i in descending order.
q, -3, i
Let y = 487 - 486. Sort 0.2, y, -4, -0.13 in increasing order.
-4, -0.13, 0.2, y
Suppose -q + 5*s + 26 = -0*q, 2*q - 32 = 5*s. Suppose 4*h - q = 6*h. Sort -4, h, 4, 1 in descending order.
4, 1, h, -4
Let n = -83.9 - -76. Let h = n + 7. Let o = h - 2.1. Put -5, o, -21 in descending order.
o, -5, -21
Let x(d) = d - 1. Let w(t) = 2*t + 3. Let i(f) = w(f) - 4*x(f). Let y be i(4). Sort y, -2/5, 4 in decreasing order.
4, -2/5, y
Let f be ((195/6)/(-13) + 2)*8. Sort 5, f, -1, -11.
-11, f, -1, 5
Let g = 146967/85 - 1729. Let q = g + 156/595. Let t = -43/2 + 22. Sort q, t, 0 in ascending order.
0, q, t
Let n = 4.432 - 3.4. Let l = 0.032 - n. Sort -4, l, 2, -0.5.
-4, l, -0.5, 2
Let s = 1319 - 1314. Let o = 82.7 - 87. Let h = o - -4. Sort h, s, -0.4.
-0.4, h, s
Let r = 0.234 + 0.266. Let h = -0.11 - 3.89. Sort -1, h, r.
h, -1, r
Let w = -6257/17 - -368. Put 4, w, -3 in decreasing order.
4, w, -3
Let k(u) = -8*u - 29. Let r be k(-4). Sort -9, r, 2, 4 in decreasing order.
4, r, 2, -9
Suppose 0 = -g - 3*y + 4, -3*g + 12*y = 16*y - 7. Sort -5, 7, g, 5 in descending order.
7, 5, g, -5
Let o = -10 - -10.3. Let y = -17.2 + 16. Let p = y + 1. Put o, p, 0.4 in descending order.
0.4, o, p
Let q(f) = -f + 1. Let o be q(1). Suppose o = -6*r + 40 - 16. Sort 55, 3, r in increasing order.
3, r, 55
Let i = -1091 + 1094. Sort -97/2, -3/8, i in ascending order.
-97/2, -3/8, i
Let a(t) = -t**2 + 4*t + 3. Let l be a(4). Suppose 5*q - 98 = r, -r + 5 = 3*q - 49. Suppose 16 = z + q. Sort l, 5, z in descending order.
5, l, z
Suppose k + 2*b - 8 = 1, 16 = -4*k + 5*b. Suppose 54 = 3*h - 6. Suppose 5*q + 5 = 25, t - h = -5*q. Put t, -2, k in decreasing order.
k, t, -2
Let h = 8.8 - 2.1. Let s = h + -6.6. Let r = -2.5 - -3. Put -1, s, r in decreasing order.
r, s, -1
Let y = 37 - 40. Let c be (5/(-20))/((-1)/y). Let i = -1 + 0.5. Sort -4, c, i in decreasing order.
i, c, -4
Let d be (-14)/(-60) - (-8)/(-20). Let c = 38 - 35. Sort c, d, -0.7 in descending order.
c, d, -0.7
Let k = -2817 + 2808.076. Let i = k + -0.076. Sort -2, -4/5, i in decreasing order.
-4/5, -2, i
Let c = -0.11 + -5.89. Sort c, -22, 1/4.
-22, c, 1/4
Let y = 44.98 + -45. Let g = -4.98 + y. Put 0, g, -1, -0.5 in increasing order.
g, -1, -0.5, 0
Let o = -437 + 437. Put 2, -4/7, -2/9, o in descending order.
2, o, -2/9, -4/7
Let b(m) be the first derivative of m**4/4 + 5*m**3/3 + 5*m - 6. Let c be b(-5). Let r be (-1)/1*(c + -4). Put -2, r, -4 in ascending order.
-4, -2, r
Let y be (21 - 2) + (-12 + 16 - 3). Put -1, 1, y in increasing order.
-1, 1, y
Let j be 20/(-6) + (-4)/6. Suppose 180*t = 194*t + 70. Suppose -4*d - c = 7, -d + 5*c = -5*d - 19. Put t, j, d in decreasing order.
d, j, t
Let k = 0.316 + -4.316. Sort 0.2, 2/9, k in decreasing order.
2/9, 0.2, k
Let p(n) = 81*n + 401. Let j be p(-5). Put j, 3, -7, 4 in descending order.
4, 3, j, -7
Let d = -47 - -140/3. Let m = 0.3 - 4.3. Let b = 1.0387 - 0.0387. Sort m, d, b in decreasing order.
b, d, m
Let x = 19 + -18. Sort -1, -43, x in descending order.
x, -1, -43
Let o be (-21)/(-4)*96/(-18). Let a = o - -48. Sort 1, 2, a.
1, 2, a
Let i = 0.2 + 1.8. Let z = -2 - i. Let k(w) = -55*w - 1814. Let p be k(-33). Sort -0.2, p, z.
z, -0.2, p
Let f(l) = l + 13. Let g be f(0). Suppose v = -4*v + 3*q - 52, v + 2*q = -g. Let u = v - -17. Put 1, 5, u in decreasing order.
u, 5, 1
Let t(j) = -5*j - 5. Let i be t(-5). Suppose 4*m + 2*s + i = 3*s, -6 = 3*m - 3*s. Let d be (-15)/2*m/(-9). Sort 3, -1, d in increasing order.
d, -1, 3
Let p = -1769 - -1771. Let t = 0.1 - 0.3. Sort 0.5, p, t, -4/5 in decreasing order.
p, 0.5, t, -4/5
Suppose -g - 24 = 4*y, -7*y - 28 = 2*g - 3*y. Sort 10, g, 2.
g, 2, 10
Let b = -1466 + 1462. Put -0.4, 0.2, b, -14/9 in decreasing order.
0.2, -0.4, -14/9, b
Let u(b) = -2*b**2 + 22*b + 1. Let m be u(11). Let k be -1 - 2/(-2) - (-2)/(-12). Put k, -11, m in decreasing order.
m, k, -11
Let k = -121.6 + 247.8. Let c = k + -126. Put 1/2, c, -1 in decreasing order.
1/2, c, -1
Let x = 602 + -603. Let z(r) = 3*r. Let y be z(1). Sort -3, -4, y, x.
-4, -3, x, y
Let q be (-9)/30*-2 + -1. Let m be (-20)/(-10)*26/(-4). Sort q, m, 0.4 in decreasing order.
0.4, q, m
Let i be ((2 - 10) + (-4)/(-1))/(-2). Let p(h) = 2*h - 8. Let r be p(6). Sort r, -4, i in descending order.
r, i, -4
Suppose 5 + 1 = -2*h. Suppose -5*s + 164 = 4*r - 3*s, -4*r - 3*s + 166 = 0. Suppose 3*l + 19 = 2*a, 0 = 5*a - 5*l + 5 - r. Sort -4, h, a.
-4, h, a
Let z = -37.68 - -39. Let t = -1.3 + z. Let p be ((18/(-4))/(-3))/(-2 + 8). Put p, t, -5 in ascending order.
-5, t, p
Let v(a) = -a**3 + 9*a**2 - 16*a - 8. Suppose -4*r - 3*u = -0*r - 34, 5*r + 2*u - 39 = 0. Let t be v(r). Sort 5, t, -5.
t, -5, 5
Let v = -0.71 + 1.04. Let o = -0.07 - v. Put o, -4/5, -3/2 in ascending order.
-3/2, -4/5, o
Let p(f) = 6*f + 3. Let x be p(-2). Sort x, 2, 4 in ascending order.
x, 2, 4
Let d be 12 + -13 + (2 - (2 + -4)). Put 2, d, 1, 8 in decreasing order.
8, d, 2, 1
Suppose -2*m + 40 = -5*v, -2*v + v - 1 = m. Suppose -3*u + 67 - 81 = r, 0 = -2*r + 5*u + 5. Sort -2, r, v in increasing order.
v, r, -2
Let n = -0.1 - -0.2. Let i = 7550 + -30201/4. Sort -1, n, i.
-1, i, n
Suppose -5*i = -20, -q - 3*i + 7 = -0*q. Suppose -5*f - 4*k + 28 = 0, -2*f - 8 = -2*k - 12. Sort 2, q, -4, f in decreasing order.
f, 2, -4, q
Let p = 0 - -0.1. Let s = p - 0.5. Let v = -891 + 896. Sort v, -4, s in decreasing order.
v, s, -4
Suppose 5*w - 3*j + 2849 = 525, -1867 = 4*w - 5*j. Sort -4, 4, w, 0 in descending order.
4, 0, -4, w
Suppose -328 = 100*x - 18*x. Sort -3, 70, x in descending order.
70, -3, x
Let j(u) = -u**3 + 15*u**2 - 14*u - 4. Let y be j(14). Let v(k) = -k**3 - 4*k**2 + 6*k + 19. Let x be v(y). Suppose b = 2*f - 14, b - 16 = 5*b. Sort x, 2, f.
x, 2, f
Let m be (40/(-28))/((-2)/14). Suppose -5 + 2 = -3*u. Sort m, 5, u, -3 in ascending order.
-3, u, 5, m
Let f be 3*(-3 - -1 - 5/(-5)). Let z = 94/3 + -31. Put f, 4, z in ascending order.
f, z, 4
Let r = 3 + 9. Let u be (-16)/r*2/12. Let v be 8/(-10) - (-4)/6. Put u, -5, v in increasing order.
-5, u, v
Let u(q) = -q**2 + 4*q - 3. Let v = -43 + 45. Let j be u(v). Put 0, -2, j, -4 in descending order.
j, 0, -2, -4
Suppose -2*t + n = 1, -n = 3*t + 2 + 2. Put 24, -3, 2, t in descending order.
24, 2, t, -3
Let z = 3.1 - 3. Suppose -179*m = 430 + 286. Sort z, 0, -5, m in increasing order.
-5, m, 0, z
Let k = 30.13 - 30. Let n = 5.13 - k. Let v be (-12)/18*(0 - 1)*24. Sort v, -5/6, n in descending order.
v, n, -5/6
Let x = -0.058 + -0.142. 