*c = 20, -u*r + 5*c - 20 = -0. Sort r, 3, k in descending order.
3, r, k
Suppose -30*r - 51 = 9. Put 64, 5, 3/4, r in descending order.
64, 5, 3/4, r
Let c = -9 - -5. Let g be (-4 - 30/(-8))*4*9. Sort -5, -1, c, g.
g, -5, c, -1
Let p be 0*(2 + -1*3). Suppose 0 = 4*r, -3*v + 8*v - 25 = 5*r. Sort p, 3, v in increasing order.
p, 3, v
Suppose 4*g + 5*m - 22 = 3*m, 11 = -3*g + 4*m. Suppose 3 = 26*x + 81. Sort g, x, 5 in ascending order.
x, g, 5
Suppose -16*t - 6 = -13*t. Let o = 4 + t. Sort o, -1, 1 in ascending order.
-1, 1, o
Let d = 3.9103 - -0.0897. Sort -2/15, d, -2, 2 in decreasing order.
d, 2, -2/15, -2
Let o = 90 - 93. Let g = -0.65 + 0.5. Let d = g - -8.15. Sort -0.1, d, o.
o, -0.1, d
Let s = 33/17 - 197/119. Sort 5, s, 2/3, 1.
s, 2/3, 1, 5
Let c = 3 + 5. Let p(r) = -r**3 + 8*r**2. Let n be p(c). Suppose -k = -4*k - 9. Sort k, n, -4 in ascending order.
-4, k, n
Suppose 65*p - 67*p + 12 = 0. Suppose -24 = 4*m - 4*v, -m - 7 = v - 3*v. Suppose t - 12 = -3*t. Put p, m, t in decreasing order.
p, t, m
Let o be 14/(-4) - (-11 + (-3 - -10)). Sort 5, o, -0.1, -2/11 in decreasing order.
5, o, -0.1, -2/11
Suppose w = -3*u + 8, 4*w = -3*u - 5 - 8. Let i = w + 12. Suppose -n + s = 3, 0 = -2*n + 3*n + 3*s - i. Sort -2, n, 1.
-2, n, 1
Let y(m) = m**3 + 3*m**2 + 4. Let u be y(-3). Let o be (-210)/56 - (-1)/(-4). Let i = u + o. Put 5, i, 1 in decreasing order.
5, 1, i
Let k = 604 + -599. Sort -1, k, 29 in increasing order.
-1, k, 29
Let w = -17 - -21. Let a be (-6)/(-4)*(-36)/(-27). Suppose -a*z + 6 = 4. Sort w, z, 6 in increasing order.
z, w, 6
Let n(w) = 14*w - 101. Let a be n(7). Sort 0, -16, -5, a in descending order.
0, a, -5, -16
Let y = 45 - 40. Let g = 4 + -2. Suppose -3*w - 9 = -0*w. Sort y, w, g in ascending order.
w, g, y
Let g = 16 - 22. Let v be 2/g*12/(-18). Sort 2/7, v, 2/17.
2/17, v, 2/7
Let x(l) = -l**3 + 3*l**2 + 6*l - 3. Let k be x(4). Suppose i = 2, i - k*i = 2*q - 2. Let a be 3 + 2 + 0 + q. Sort a, 3, 4 in descending order.
4, 3, a
Let n = -127 + 152. Put n, 2, -2 in descending order.
n, 2, -2
Let u = 562 + -566. Put -0.09, -1.9, u in ascending order.
u, -1.9, -0.09
Suppose 0*y + 16*y = 2*y. Let c(h) = -h**3 - h - 3. Let j be c(0). Sort 5, y, -2, j in ascending order.
j, -2, y, 5
Let d = -147 + 92. Let b be d/(-6) - ((-1)/(-6) + 0). Put b, 0, 2 in ascending order.
0, 2, b
Let a be ((-16)/20)/(4/(-10)). Suppose -2*m + 5 = -3*q, -4*q - 14 = 7*m - 6*m. Let y be (-1)/2 - m*3/12. Sort -5, a, y in increasing order.
-5, y, a
Let o(y) = 2*y**3 - 5*y**2 + 9*y - 9. Let w be o(2). Sort -4, w, 352 in increasing order.
-4, w, 352
Let a be (6 + -4)/(5/15). Sort 5, a, 0, 2 in descending order.
a, 5, 2, 0
Let w = -131.99 + 131. Let n = w - 0.01. Sort n, -1/9, -1/7 in increasing order.
n, -1/7, -1/9
Let x(s) = -9*s + 131. Let l be x(15). Sort -1, -5, l, 1.
-5, l, -1, 1
Suppose 0 = -70*r + 37*r - 165. Put 4, r, 77 in decreasing order.
77, 4, r
Suppose -2 = -r + u, -2*r - 106*u = -107*u + 1. Suppose 5*n - 15 = -2*g, 2*n - 6 = -2*g - 3*g. Sort -2, 0, r, n in descending order.
n, 0, -2, r
Suppose 12*g + 178 - 154 = 0. Sort -1, g, 2 in ascending order.
g, -1, 2
Suppose -4*k + k + 3*b = 0, -18 = 2*k + 4*b. Let a(g) = 0*g + 16 - 13 + 2*g. Let q be a(k). Sort q, 1, 5 in descending order.
5, 1, q
Suppose 4*g = k + 19, 4*g - 25 = -0*g - 5*k. Let u be 10/(-3)*(g + -11). Let d be -10*(u/8 - 2). Sort d, -3, 5 in decreasing order.
5, -3, d
Let h = -159 - -155. Let t = 1 + -0.6. Let o = 0 + t. Sort h, o, 1 in decreasing order.
1, o, h
Let i(s) = -s**2 - 9*s - 4. Let k be i(-7). Suppose -k*g - g = 77. Sort 3/7, 1, g in decreasing order.
1, 3/7, g
Let f(o) = o + 7. Let r be f(6). Let v(u) = -u**2 + 13*u + 4. Let w be v(r). Put w, 2, 5 in decreasing order.
5, w, 2
Suppose m + 550 = 49*m + 62*m. Suppose 2*w + 2*w = r + 2, 2*r - 2*w = -4. Put m, r, -10, -4 in decreasing order.
m, r, -4, -10
Let g = -1.96 - -0.26. Let x = 101 + -101.37. Let z = x - -3.37. Put z, g, 5 in ascending order.
g, z, 5
Let v(w) = -w**3 - 7*w**2 - 2*w - 5. Let q be v(0). Sort 1, q, 4, -1 in increasing order.
q, -1, 1, 4
Let a(c) = c + 3. Let s be a(-3). Let x = -8 + 6. Let j = -17870 + 17872. Sort s, x, j in increasing order.
x, s, j
Let s = -1033 + 1032.7. Put 2/5, -2/5, s, 0 in descending order.
2/5, 0, s, -2/5
Let t = -23.9 + 23.4. Put t, 0.16, 0.5 in increasing order.
t, 0.16, 0.5
Suppose -56 = -5*y + p, y + p - 6*p = -8. Let k be 0 - y*2/2. Sort 0, k, 2, -1.
k, -1, 0, 2
Let c = -12 + 12.2. Let i = 5.2 - c. Let j be (-8)/(-14)*(-9)/(-12). Sort j, i, -5 in descending order.
i, j, -5
Let u = 0.9 - 5.9. Let p = -163 - -165. Put u, -2, p in increasing order.
u, -2, p
Suppose 2 = y - 2. Suppose 17 = y*u + 5. Let f = 3 - 5. Put u, 2, f in increasing order.
f, 2, u
Let i = 382 - 377. Let g = 15 + -12. Put i, -4, g in increasing order.
-4, g, i
Let w = 1.932 + 11.068. Sort 3, w, 4, 2/9 in ascending order.
2/9, 3, 4, w
Let a(q) = -q**2 + 8*q - 11. Let g be a(5). Suppose l = -3*c, -l = -g*c - 3 + 24. Let b be 5/(-15)*l - 6. Sort 5, b, 3 in decreasing order.
5, 3, b
Let z be 3/(-9)*(-9)/5. Let i = -54 + 50.92. Let w = 0.08 + i. Put z, 1, w in descending order.
1, z, w
Let c(v) = v**2 - 36*v - 257. Let s be c(-6). Let r = 0.3 + -1.3. Let o = -1 - r. Put o, s, 2/11 in increasing order.
s, o, 2/11
Let g = -688 - -687. Put 4, g, -15 in descending order.
4, g, -15
Let j = 34 - 64. Let m = -43 - j. Sort -2, 1, m.
m, -2, 1
Let t = -0.5 - 78.5. Let u = t + 74. Sort u, 2/7, -8, 1 in descending order.
1, 2/7, u, -8
Let t be (-111)/(-39) - (-18)/(-585)*-5. Sort -4, -72, t in descending order.
t, -4, -72
Let a(i) = -2*i**2 + 2*i + 2. Suppose -5*o + 5*u - 17 + 7 = 0, -2*o + 5*u = 16. Let b be a(o). Sort 5, b, -1 in descending order.
5, -1, b
Suppose 26*f - 10 = 21*f. Suppose f*m + 28 = 4*q, 33 = 10*q - 5*q - 2*m. Sort q, -4, -1 in decreasing order.
q, -1, -4
Let j(l) = -6*l + 118. Let r be j(19). Put 39, -2, r in descending order.
39, r, -2
Let x be 6/21 - 172/14. Let u be 8041/(-154) + ((-9)/7 - -1). Let t = u + 54. Put -0.5, x, t in ascending order.
x, -0.5, t
Let v = -62/3 - -21. Let k = 0.408 - -0.092. Let p be (-1)/(-1) - 27/21. Sort p, k, v in decreasing order.
k, v, p
Suppose 0*r - 3*r = 15. Let j be (-12)/(-28) + (0 + 177)*2/(-42). Put -4, -2/5, j, r in ascending order.
j, r, -4, -2/5
Suppose 0 = 4*h - 9*h + 20. Let i = -8 - -4. Put i, -3, h in decreasing order.
h, -3, i
Suppose 2*f = -4*r + 20, 0 = -f + 7*r - 2*r - 25. Suppose f*a + 2*a + 4 = 0. Suppose 5*s = 3*t - 21, -5*s + 3*s - 2*t = 2. Sort 1, s, a in increasing order.
s, a, 1
Let s = -21/197 + 239/394. Sort -5, s, -2/3, 5.
-5, -2/3, s, 5
Suppose 0*r - r = -2*r. Let l(t) = t**3 - 3*t**2 - 13*t + 5. Let o be l(5). Let w = o + 9. Sort 5, w, r in descending order.
5, r, w
Let z = -8 + 7.7. Suppose 3*n + j = -2*j + 9, 0 = j - 1. Sort -4, z, 0, n.
-4, z, 0, n
Let j = -765 + 764.8. Sort -5, j, 9.
-5, j, 9
Let y = -3 + 5. Suppose 0 = 3*x - 15, y*p - p + x - 13 = 0. Suppose -r + p = 3*r. Sort -3, r, -4.
-4, -3, r
Let d = -16 + 17. Let i = -0.48 - -0.2. Let t = i - 0.02. Sort d, 0.5, t in increasing order.
t, 0.5, d
Let f = -4 + 5. Let s = -21 - -11. Let o be ((-16)/s)/((-4)/10). Put -1, f, o in decreasing order.
f, -1, o
Let l = 0.3 + -0.3. Let f = 2290.5 + -2291. Sort -3, -4, l, f in decreasing order.
l, f, -3, -4
Let z = 0.76 - 0.65. Put -1, 0.5, z, -3 in descending order.
0.5, z, -1, -3
Let q be 0*(-3 + 5)/(-6). Let v be 3/((-3)/(-3)) - q. Let x be (v - 0) + 26/(-8). Sort -4, -8, x in descending order.
x, -4, -8
Let y = 569 + -569. Sort y, 0.1, -1, 5/4 in descending order.
5/4, 0.1, y, -1
Let o(i) = i**3 - 3*i**2 - 15*i + 21. Let v be o(5). Let s be 15*(24/(-9) + 3). Sort 2, s, v, 7 in increasing order.
v, 2, s, 7
Let s be 2/6 - 2/((-24)/1292). Sort 5, 2, -5, s in decreasing order.
s, 5, 2, -5
Let f = -0.0511 - -0.0011. Sort -0.5, 0.1, f.
-0.5, f, 0.1
Let b(k) be the third derivative of -k**4/12 + k**3/3 - 2*k**2. Let i be b(4). Let j = -1651 + 1647. Sort 5, j, i in decreasing order.
5, j, i
Let v = 340.1 + -340. Let z = 2 - -3. Let a = z + 0. Put a, v, 3 in increasing order.
v, 3, a
Let d be 1/(-4) + 17/4. Suppose 18*t = 14*t + 16. Let u be d/16*-1*t. Sort u, 2, -4 in decreasing order.
2, u, -4
Let w = 4448.1 - 4448. Let f = 3 - 2. Sort f, w, 1/4 in des