*a + 3*u = 10 + 8, 0 = a - u - 14. Suppose 2*f = a - 2. Let v = -0.168 + -0.032. Put 3, f, v in decreasing order.
f, 3, v
Let i be (((-5718)/102)/1)/(3/19). Let p = -355 - i. Put -5, -4, p in increasing order.
-5, -4, p
Let p(i) = -i**3 + 13*i**2 + 26*i - 338. Let r be p(13). Put r, 86, 1 in decreasing order.
86, 1, r
Suppose 34 = -3*m - 5*t, -3*m - 13 = 2*t + 6. Put m, 28, 5 in descending order.
28, 5, m
Let u be (-1)/3*(-216)/8. Let l be (-1)/(u/6 - 2). Let h be (-2)/2*(-3 - 1). Put -1, h, l in descending order.
h, l, -1
Let m = 249 - 252. Sort 0, m, -6.
-6, m, 0
Let y be (-4 + 3)/(2 + -5). Let p = -23.1 + 22.1. Put 3/5, p, y in ascending order.
p, y, 3/5
Let c be 12/(-18) + 124/6. Let y be (-15)/c - ((-18)/(-8) - 2). Put -3, 3, y in decreasing order.
3, y, -3
Let n be 4/6 + -9 + (-56)/(-7). Sort n, -2/3, 2/3 in decreasing order.
2/3, n, -2/3
Suppose -5*l + 32 = -8. Suppose l = 5*j - 7. Let y(p) = -6*p**2 - 319*p - 58. Let m be y(-53). Sort j, 2, m.
m, 2, j
Let f(y) = -14*y + 18. Let v(p) = -5*p + 6. Let c(l) = 6*f(l) - 17*v(l). Let s be c(-6). Let j = -19 + 18. Put s, 2, j in descending order.
2, s, j
Suppose -2*b - 2*o + o = -12, 3*b - 4*o = 40. Put -4, 13, b in decreasing order.
13, b, -4
Let u = -39 - -11. Let y = u - -34. Put -5, y, 1/3 in increasing order.
-5, 1/3, y
Suppose 21*t = 16*t - 315. Let x = 65 + t. Put x, 5, -5 in ascending order.
-5, x, 5
Let c be (-30)/4 - (-1)/2. Suppose 5 = 2*y - a - 0, 0 = 2*a + 2. Sort 0, c, -2, y.
c, -2, 0, y
Let f(t) = -2*t**2 + 12*t - 27. Let n be f(3). Put n, 0, 1 in decreasing order.
1, 0, n
Let b(q) = 5 + 3*q - 3*q + 4*q - 6*q. Let x be b(3). Sort 4, x, -0.4, 2 in descending order.
4, 2, -0.4, x
Suppose -3*n - 29*o + 28*o - 3 = 0, -5*o - 15 = 5*n. Put n, 12, 3/7 in descending order.
12, 3/7, n
Let q(n) = 5*n + 30. Let c be q(-5). Sort -1, 1, 8, c.
-1, 1, c, 8
Suppose 15*b + 18 + 12 = 0. Let m(t) = t**2 - 6*t - 4. Let v be m(6). Let p be (5/2)/(b/v). Sort 4, -5, p in increasing order.
-5, 4, p
Let x = 0 + 0.1. Let y = 105.35 + -2.35. Let v = -102 + y. Put 2/11, v, x in decreasing order.
v, 2/11, x
Let g(w) = -w**3 - 4*w**2 - 3*w + 4. Let q be g(-3). Let u = -6 + 9. Let b = -447 + 444. Put q, u, b in decreasing order.
q, u, b
Let n be 9 - 15/12*-2*-4. Let u(o) = -8*o**2. Let z be u(1). Sort n, 5, z, -2 in decreasing order.
5, n, -2, z
Suppose 0 = -5*p - 10, -6*x - 3*p = -x + 31. Suppose -20 = -10*o + 5*i, -5*o = 5*i + 28 + 7. Put o, -4, x in descending order.
o, -4, x
Let i(w) = 32*w**2 - 31*w**2 - 2 + 3 + 3*w. Let a be i(-4). Let d be (1/1)/(a/10). Sort -1, -2, d in descending order.
d, -1, -2
Let k = 1.7 + -1.2. Let c = -212 - -213. Sort k, -0.4, 2/7, c.
-0.4, 2/7, k, c
Let o = -3.47 - 31.73. Let j = o - -35. Put j, -3/7, -0.4, 3 in descending order.
3, j, -0.4, -3/7
Suppose -g + c = -1, -2 = -5*g + 4*c - 0. Let r be 2/9 + (-35)/(-45). Let w be (-2 + 3)*r + 0. Sort 5, w, g.
g, w, 5
Let i = -374.4 + 307.4. Sort 0.4, i, -0.06 in decreasing order.
0.4, -0.06, i
Let b(h) = 2*h**2 + 1 + 5*h + 7*h - 10*h. Let g be b(-2). Sort g, -0.3, 2/11, -1/4 in descending order.
g, 2/11, -1/4, -0.3
Suppose 0 = 17*f + 4*f - 504. Put 1, 4, 3, f in descending order.
f, 4, 3, 1
Let x(i) = -i**3 - 8*i**2 - 6*i + 10. Let u be (1 - 1 - -7)/(-1). Let j be x(u). Let l be 3/(j + (-2 - 0)). Sort -3, l, -2 in descending order.
l, -2, -3
Let a = 14 - 8. Let t = a - 5.9. Put t, -4/5, 0 in increasing order.
-4/5, 0, t
Suppose 9*s = 31 - 76. Put 0, s, 18 in increasing order.
s, 0, 18
Suppose 0 = -4*b - 34 + 58. Sort -4/9, -2, b, -4 in ascending order.
-4, -2, -4/9, b
Let n be (160/(-4))/(4/6). Suppose -2*g = 3*k - 20, -15 = k - 2*k + g. Let q be (-92)/n - 2/k. Sort -1, -2/11, q in descending order.
q, -2/11, -1
Let t(b) = 0 + 2*b - 4*b - 1. Let o be t(-1). Sort 4, -2, o.
-2, o, 4
Let f = -4.3 - 1.1. Sort 1, f, -4/5 in decreasing order.
1, -4/5, f
Let r = -0.9 + -9.1. Let n = r - -13. Suppose 7*i + 8 = 3*i. Put i, 1/5, n in increasing order.
i, 1/5, n
Let l be 0 + 4*(4/(-20) + 0). Let s = -0.7 - -0.2. Sort l, 5, s in decreasing order.
5, s, l
Let d(w) = -3*w**2 + 4*w - 3. Let a be d(1). Let j be (a/(-36))/(4/16). Sort -4, 2, j in increasing order.
-4, j, 2
Suppose 4*q - 1 = 3*s - 35, 46 = 5*s + 4*q. Let i = -15 + 15. Sort 2, -2, i, s in descending order.
s, 2, i, -2
Let j = 6 + 1. Let b be (j - 8)/(14/(-4)). Suppose x + 10 = -x. Put 0.5, x, b in increasing order.
x, b, 0.5
Let g = -152 + 241. Let f = 90 - g. Sort -2, 5, f.
-2, f, 5
Let a = 1713 - 1723. Sort 3, a, 2, -1 in ascending order.
a, -1, 2, 3
Let s = 7198 - 7200. Let r = 12 + -7. Sort r, s, 4.
s, 4, r
Let w = 0.306 - -4.694. Put 0.5, w, -4.5 in ascending order.
-4.5, 0.5, w
Let s = 141 - 136. Sort -6, s, 7, -2.
-6, -2, s, 7
Let y = -0.2779 + -0.0071. Put 4, 0, y in increasing order.
y, 0, 4
Suppose -4*z - 13 = -5*r, z - r + 2*r = 8. Let m be (-55)/(-65) - (18/(-39))/z. Put 5, m, -5 in descending order.
5, m, -5
Let c be (-2 + 3)*(-6 + 3 - -3). Let i = 1.5 - 2. Sort 2, i, c.
i, c, 2
Suppose -3*c - 6 = b, -c = -2*b - b - 48. Let f be (1 + 1)/(10/b). Let v(h) = 3*h**2 + 1. Let l be v(1). Sort f, -4, l in decreasing order.
l, f, -4
Let q(u) = 2*u + 2. Let r(l) = -l**2 - 2*l - 2. Let j(w) = 2*q(w) + 3*r(w). Let d be j(-1). Sort d, -5, 5.
-5, d, 5
Suppose 2*t + 3*p = 14 + 3, -5*t - 2*p = -48. Suppose t = 5*g + 2*c, 0 = -2*g - c + 3. Let m be 48/(-168) + (-9)/(-7). Sort 0, g, m in descending order.
g, m, 0
Let t be 6/27 - 64/(-198). Suppose 0 = -3*f - 3*q + 12, f + 2*q = -3 + 7. Let h be f + -1 + ((-24)/11 - 1). Put t, h, 0.1 in increasing order.
h, 0.1, t
Let d be 42/63*-3*3 + 16. Put d, 5, -6 in decreasing order.
d, 5, -6
Suppose -i + 8*q = 11*q - 4, 0 = i + 5*q - 2. Put i, 3, -2, -7 in decreasing order.
i, 3, -2, -7
Suppose -10*t = -13*t. Let s = -1 - -2. Let u be (-3)/(-6)*s - 1. Put t, 3, u in descending order.
3, t, u
Let r = -65.18 + 0.18. Let l = 67 + r. Let u be (2/3)/(4/6). Put 5, l, u in descending order.
5, l, u
Let m(g) = -g**3 + 4*g**2 - g + 2. Let u be m(4). Suppose -3*v = -3*z + 474, 5*v + 303 + 167 = 3*z. Let w = z - 163. Put u, 5, w in increasing order.
w, u, 5
Let b be ((-14)/119 - 70/(-17)) + 4. Suppose -3*t = 4*z + 17, 0 = b*t - 4*t - 2*z + 8. Suppose h = -h + 8. Sort t, h, 0 in descending order.
h, 0, t
Let d = 340 - 341. Put 26, d, 2 in decreasing order.
26, 2, d
Let z be (58/8)/((-3)/(-12)). Put -1, 0.3, z in increasing order.
-1, 0.3, z
Let c be (-40)/12*(5/2 + -1). Suppose -35 = -5*p - 2*v + 25, 0 = -p - 2*v + 12. Sort p, 4, c, -1.
c, -1, 4, p
Suppose 5*f = 5*r - 20, -r - 4*f = 3*r - 56. Suppose 2*x = r + 1. Suppose -2 - 8 = x*m. Put m, 4, -4 in decreasing order.
4, m, -4
Let f = -501 + 497. Put -12, f, 2, 0 in decreasing order.
2, 0, f, -12
Let q = -0.16 + 0.26. Suppose 0*s = 5*s - 20. Let h = 6 - s. Sort h, 1, q in descending order.
h, 1, q
Suppose -5*k - 4*o = 12, -k + 3*o + 9 = 4*k. Put 7, k, 6 in decreasing order.
7, 6, k
Let i(v) = -11*v - 4. Let q be i(0). Sort q, 11, 3, 2 in increasing order.
q, 2, 3, 11
Let d = -2786 - -2783. Put 96, d, 3 in decreasing order.
96, 3, d
Let x = 10.486 + 0.014. Let l = -11 + x. Let c = -7 + 8. Put l, -0.3, c in decreasing order.
c, -0.3, l
Let n = -12.2 - -17.2. Sort n, 8, 4 in increasing order.
4, n, 8
Let g = -572.95 - -573. Sort g, 0.4, -1, -3/2 in ascending order.
-3/2, -1, g, 0.4
Suppose -l + 5*w = 4, 1 = w - 1. Suppose 0 = -3*p + l - 3. Suppose -3*c = 3*q - 8*q - 10, 5*c = -3*q - 40. Sort c, p, 3 in descending order.
3, p, c
Let t = -2356/9 + 262. Put 0.066, -4/5, -0.2, t in increasing order.
-4/5, -0.2, 0.066, t
Let h = -36.54 - -37. Let m = h - 0.06. Sort -5, m, 2/7 in decreasing order.
m, 2/7, -5
Let v be 20/(-8) + (-25)/(-10). Sort 45, -4, v in increasing order.
-4, v, 45
Suppose 5*f = -4*k + 12, -16*f + 3 = -13*f + k. Sort 29, 1, f, 5.
f, 1, 5, 29
Let q = 3.66 + -3.86. Put q, 1, -76 in descending order.
1, q, -76
Let h be ((-9)/(-45))/(6/(-10)). Suppose v - 6 = 4*n, -n = 4*v - 8 + 1. Sort -3/4, v, h.
-3/4, h, v
Let k(i) = i**2 + 13*i - 591. Let c be k(19). Put c, -2, 11, -4 in decreasing order.
c, 11, -2, -4
Let l(m) = -m**2 - m + 3. Let v be l(2). Let u be ((-7)/v)/((-4)/(-12)). Suppose -2*r + 5*c - u = -0, 3*c - 2 = -r. Sort r, -2, 5 in descending order.
5, r, -2
Let f(r) = -9*r**2 - 3*r - 2. Let o