61 = 3*h - 4*a. Sort 25, h, -2 in descending order.
25, -2, h
Let i(r) = r - 12. Suppose 3*b = 2*b. Suppose -5*q + 12 = s + 2*s, -2*s + 5*q + 33 = b. Let j be i(s). Sort 5, -1/8, j in decreasing order.
5, -1/8, j
Suppose 3*o - 2*t - 2 + 40 = 0, t - 4 = 0. Suppose -5*n + 0 = 25. Sort o, n, 2 in descending order.
2, n, o
Let r(d) = d**3 - 5*d**2 - 14*d + 43. Let y be r(6). Sort y, 30, 3 in increasing order.
y, 3, 30
Let c = 7 - 7. Let y = -10 - -11. Sort 3, c, y.
c, y, 3
Let o = 161 - 166. Sort -338, o, 1 in descending order.
1, o, -338
Let u be (-60)/(-2145) - 4/22. Let n = -11/18 + 4/9. Let x be (-15)/(-16)*2/(-5). Sort u, x, n in increasing order.
x, n, u
Suppose -h + 1 = 3*z - 5, -5*h - 2 = -z. Suppose 3*y + 2*y = h. Let v = 15 - 14. Sort v, y, -2.
-2, y, v
Let z = -2 - 3. Let g be 18/(-16)*(-10)/(-15). Put g, 5, z in ascending order.
z, g, 5
Let m be 7/14 - 13/14. Put 5, 3, m, 3/2 in increasing order.
m, 3/2, 3, 5
Let y(t) = -t**2 - 4*t - 2. Let v(a) = 8*a - 26. Let z be v(3). Let l be y(z). Put l, 0, -1, 5 in increasing order.
-1, 0, l, 5
Let c(y) = -y + 2. Let j be c(3). Let f be (1/2)/(7/(-42)). Sort j, 2, f.
f, j, 2
Suppose -4*m + i - 2*i - 15 = 0, 0 = 3*i + 9. Let j be (4 - (-120)/(-35))*(-14)/(-4). Put 1, m, j in ascending order.
m, 1, j
Let m(f) = -f**2 + 7*f + 33. Let c be m(10). Let r = 0 + 1. Let z = r - -1. Sort 5, z, c in descending order.
5, c, z
Let f(l) = -l**2 - 21*l - 74. Let b be f(-16). Sort 3, b, -3 in descending order.
b, 3, -3
Suppose -5*g = -3*p + 34, -4 + 3 = 2*g + 3*p. Let u(k) = -2*k - 6. Let x be u(g). Suppose x*i + 8 = 0, 3*b - i = -0 - 7. Sort b, 4, -2 in ascending order.
b, -2, 4
Let k = 8 + -9. Let a = -25 - -21. Let q be (-17 - -27)*(-2)/a. Sort k, -2, q.
-2, k, q
Let j(a) = -2*a**3 + 86*a**2 - 84*a + 4. Let d be j(42). Sort -5, d, 90, -3 in descending order.
90, d, -3, -5
Let q(s) = 7*s - 5. Let z be q(5). Let g be ((-4)/(-8))/(-3 - 117/(-36)). Put g, -3, z in ascending order.
-3, g, z
Suppose 0*t = 5*t - 25, -f + 22 = 4*t. Suppose 4*u + 3*j - 7 = 0, j + 4*j - 3 = f*u. Sort 7, u, -2 in ascending order.
-2, u, 7
Suppose 29*p + 30 + 57 = 0. Put -4, p, 42, 2 in increasing order.
-4, p, 2, 42
Suppose -24 = -2*n - 4*f, 7*n - 2*n - 18 = 4*f. Suppose 0*m - n = -3*m. Let v(h) = -11*h + 113. Let y be v(10). Put m, y, -12 in increasing order.
-12, m, y
Let s = -24947/3 + 8315. Let u be 16/6*9/(-6). Sort -7, 2, s, u.
-7, u, s, 2
Let b = 1.4 - -17.7. Let f = -21 + b. Let a = 6.9 + f. Put 0.1, 4, a in ascending order.
0.1, 4, a
Let t be -8*-3*(-3)/9. Sort -5, t, -2.
t, -5, -2
Suppose 20 = -5*m + 4*w + w, -7 = 2*m - w. Suppose 0*y + 120 = -4*y. Let v be (-1)/3 - (-110)/y. Put 2, m, v in descending order.
2, m, v
Let i = 0.08 - -12.92. Let l = i + -13.22. Let v = l + 0.02. Sort 1/3, v, 7 in ascending order.
v, 1/3, 7
Let a be (-4 + 3)*1/7. Let w = 1537/3162 - 92/465. Let y = w + -3/34. Sort y, a, 3 in decreasing order.
3, y, a
Suppose 7 = 2*u + 1. Put 6, u, -25, -3 in descending order.
6, u, -3, -25
Suppose -4*m + 2*p + p = -18, -3 = -3*m - 3*p. Let l = 19 + -17. Suppose -f - l = -6. Put -5, f, m in decreasing order.
f, m, -5
Let g = -1 + 1. Suppose 2*h - 2*y - 6 = 0, -h - 6 + 3 = -4*y. Sort h, 0.1, g in ascending order.
g, 0.1, h
Let d(b) = -b**2. Let q(o) = 7*o**2 - 7*o - 3. Let w(x) = -6*d(x) - q(x). Let n be w(8). Suppose -j - 12 = -4*t, -4*j - 15 = 4*t - 9*t. Sort j, n, 5.
n, j, 5
Let j(t) = -3*t**2 - 68*t + 27. Let u be j(-23). Let f be -3 - (4/4 - -1). Put u, 3, f in decreasing order.
u, 3, f
Suppose -5*r = -5*s + 31 + 4, 23 = 5*s + r. Sort -1, s, 12.
-1, s, 12
Suppose -n + 2*a - 17 = -2*a, -2*n - a - 7 = 0. Let p = 998.8 + -999. Sort n, -1, p in descending order.
p, -1, n
Let i(b) = -6*b - 53. Let n be i(-9). Sort n, 4, -20.
-20, n, 4
Suppose -2*d = -14 + 10. Put d, 13, -5 in decreasing order.
13, d, -5
Suppose 3*q = -15 + 3. Let i be 143/(-13) - (q + 0). Let p = -1 - 4. Sort i, 4, p in decreasing order.
4, p, i
Let f(q) = -q**2 - 17*q + 33. Let l be f(-19). Let o = 3.4 - -0.6. Sort l, 0.2, o, 6 in decreasing order.
6, o, 0.2, l
Let k be (4/5)/((-8)/60). Let w(q) = q**3 + 7*q**2 + 7*q + 15. Let b be w(k). Suppose 4*t - t = -b. Sort t, -4, 4.
-4, t, 4
Let v be -4 - 0*3/18*-3. Put v, -13, -5, 2 in descending order.
2, v, -5, -13
Let k = 16 + -10. Let i be (k - 4) + (-32)/18. Let f = 1277 + -1272. Sort i, 0.2, f in decreasing order.
f, i, 0.2
Suppose -5*q + 5*u = -70, -96 = 3*q - 7*q - 4*u. Put q, 3, -2 in descending order.
q, 3, -2
Let s = 2 + -2.1. Let f = 3136 - 3134. Let c = 7 - 11. Sort s, c, f in descending order.
f, s, c
Suppose -p + 3*h + 2*h - 15 = 0, -4*h = 2*p - 12. Let m(d) = 6*d + 164. Let w be m(-28). Sort w, 5, -2, p in ascending order.
w, -2, p, 5
Suppose -d - 17 = 3*m, d - 6*d = 4*m + 8. Let n be (11 - 6)*-1 + 3. Let z be 14/6 - ((-7)/(-3) + n). Sort z, m, 3 in decreasing order.
3, z, m
Let z be (44/(-8))/(21/(-28) - -1). Sort -1, -3, 0, z in decreasing order.
0, -1, -3, z
Let y(s) = 56*s - 450. Let h be y(8). Put -5, h, 3, -3 in descending order.
3, h, -3, -5
Suppose -26*h = -20*h - 18. Put h, 15, 1 in decreasing order.
15, h, 1
Suppose 0 = 13*p - 65. Sort 0.1, 4, p in decreasing order.
p, 4, 0.1
Let r = -95 + 99. Let g = -7 + 5. Let x = r - g. Sort x, 3, -3 in descending order.
x, 3, -3
Let v = -1.99 - -2.19. Sort 15, v, 0 in decreasing order.
15, v, 0
Suppose 5*r = -0*r - 5*l - 25, -4*r + l - 20 = 0. Let n be ((-4)/r)/((-2)/(-5)). Suppose -v = 1 + n. Sort 4, -6, v in ascending order.
-6, v, 4
Let n = -145 - -13. Let d = n - -131.6. Sort -3/7, d, 1, 0.
-3/7, d, 0, 1
Let n = -5.8 + 6. Let k(l) = -l**3 - 21*l**2 + 21*l - 20. Let i be k(-22). Suppose -r + 16 = 4*o + r, -i*o - 4*r = -14. Put n, 1, o in descending order.
o, 1, n
Let r(g) = -g**3 + 13*g**2 - g + 13. Let m be r(13). Suppose 8*x = 6*x - 6. Sort m, x, -4 in ascending order.
-4, x, m
Let s be 1/((-20)/(-24))*15/(-6). Let m be (-12)/(-16)*(-8)/(-14). Suppose 5*j + 4*w = -18 - 23, -5*w - 5 = -3*j. Sort m, j, s in descending order.
m, s, j
Suppose 5*o + 2*v + 10 = 0, 3*v = v. Let n(q) = 39*q**2 - 2*q + 2. Let a be n(1). Let d be 3 + (-15)/4 - a/12. Put 0, o, d in descending order.
0, o, d
Suppose i = -3*h + 10, -3*h + 0 = 4*i + 5. Let v = 48/19 + -211/76. Let z = -24 + 26. Sort z, h, v in descending order.
h, z, v
Suppose 5*b + 9 = -16. Suppose -3*h = 4*c + 16 + 16, -14 = h + 2*c. Put -2, h, b in decreasing order.
-2, h, b
Let h = -12 + -16. Let g = h + 24. Sort g, 0.4, 0.7.
g, 0.4, 0.7
Suppose 0 = 2*x - 10, 3*x + 83 = 5*u + 393. Let f = -58 - u. Let g be 3 + (0 - -2)/2. Put f, g, -2 in descending order.
g, f, -2
Let f = -79.3 + 79. Let h = 7/33 + -1/33. Sort f, 5, h in descending order.
5, h, f
Let g be (-37)/13 + 202/(-1313). Sort 6, -2, 1, g.
g, -2, 1, 6
Let l(b) = -b**2 - 17*b - 56. Let j be l(-16). Put -3, -2, j in descending order.
-2, -3, j
Let u = -30.5 + 33. Let y = 5.5 - u. Let p = -5 + 2. Sort p, y, -2.
p, -2, y
Let g = 0.5008 + -0.0008. Sort 4, -0.4, -17, g.
-17, -0.4, g, 4
Let o = -18 + 15. Let q(v) = -7*v + 109. Let t be q(14). Put -2, t, o in decreasing order.
t, -2, o
Let l = -1 - -1.1. Let z = -0.1 + l. Let c = -509 + 507. Put -1, c, z in descending order.
z, -1, c
Let v = -28 + 25.6. Let j = v + 2.6. Sort -4, j, -0.6 in descending order.
j, -0.6, -4
Let x = -454 + 456. Sort -1, x, -0.3, 12 in decreasing order.
12, x, -0.3, -1
Suppose x = -j - 3*j - 256, 0 = -4*x + 4*j - 1064. Let c = 2109/8 + x. Let v = 118 - 119. Sort c, -1/4, v.
v, c, -1/4
Suppose 0 = 5*w - 2*s - 6 - 4, 8 = 4*w - 2*s. Suppose w = h + h. Suppose h = -q - 2. Sort -4, q, 2 in decreasing order.
2, q, -4
Let q be (-224)/40 - -6 - 1576/(-10). Sort -3, 3, q in descending order.
q, 3, -3
Let u be ((-6)/(-9))/((-10)/90). Put u, -1, -2 in descending order.
-1, -2, u
Let w = -0.3 - -3.3. Let q = -0.49 - -0.89. Suppose 0 = 2*o - 5*o + 15. Put o, w, q in descending order.
o, w, q
Suppose 6*s = -2 - 22. Sort 43, 3, 1, s in ascending order.
s, 1, 3, 43
Let l = -85/42 + 13/6. Let h = 0 - 0.6. Let i = h + 2.6. Sort l, -3, i in decreasing order.
i, l, -3
Let g = 423 - 427. Sort g, -9, 2/3 in descending order.
2/3, g, -9
Let b = 4 + -4.1. Let u = -0.12 - 1.88. Sort u, b, 4/7 in descending order.
4/7, b, u
Suppose 4*u = -2*u - 2*u. Suppose u*j = 3*j + 12. Sort j, 5, 1, -3 i