*f + 12. Put v, 5, 3 in decreasing order.
5, 3, v
Let h be (8/(-70))/(1/(-5)). Let g = 8612/13 - 662. Let k = -49/78 + g. Put h, 0, k in descending order.
h, 0, k
Let r(x) = -x**2 - 3*x - 2. Let b = 1 - 4. Let q be r(b). Suppose -5*k - 5*a = 5, -4*k - 4 = 3*a - 6*a. Sort k, 5/3, q in ascending order.
q, k, 5/3
Suppose 0 = -4*r + 5*g - 53, -16 - 4 = -4*g. Let d = -4 - r. Put -5, 1, d in descending order.
d, 1, -5
Let p = 2.2 + -2.4. Let m = -0.5 - p. Sort -3, -0.07, m in increasing order.
-3, m, -0.07
Let x(p) = 5*p - 4 + 1 + p**2 + 3*p. Let t be x(-8). Let c be (-108)/20 - (-2)/5. Put t, 4, c in descending order.
4, t, c
Let m be 4/6*3*1. Suppose -3*r + 7 = -8. Let f = 42 - 46. Put f, r, m in ascending order.
f, m, r
Let w be 28/(-14) - 3*-1. Put 5, 12, w in decreasing order.
12, 5, w
Suppose 0 = 4*y - 1 + 17. Let i = 6 + -1. Suppose -5*t - i = -25. Sort -1, t, y in descending order.
t, -1, y
Let q be 2/9 - (-12)/432. Let y(m) = m**2 - 2*m - 7. Let h be y(5). Let x be (h/(-12))/((-6)/(-9)). Put -3/2, q, x in increasing order.
-3/2, x, q
Let w = -3 - -1. Let f be 1/1 + (-7 - -12 - 3). Sort 1, f, w in descending order.
f, 1, w
Suppose -5*t = -4*l - 5, 2*l = -t - 5 - 8. Let f be 1/(-4) - 7/4. Let j be (-3 - -2)/(t - f). Sort j, -3, 0 in increasing order.
-3, 0, j
Let p be (6/(-4))/((-55)/22). Put -0.3, -1/10, p in decreasing order.
p, -1/10, -0.3
Let c be 3/(5 - (6 + -3) - 3). Sort 4, 0, 5, c in increasing order.
c, 0, 4, 5
Let w be (1/4)/(-3 - 37/(-8)). Sort 4, -3/2, -1, w in descending order.
4, w, -1, -3/2
Let p = 35 - 34. Sort 4, p, -3 in descending order.
4, p, -3
Let m = -95 - -88.85. Let v = m + 0.15. Let p = 7 + v. Sort 2/7, 0.1, p in ascending order.
0.1, 2/7, p
Suppose -3*y - 4*z = 7, 0 = -3*y + z - 2*z - 13. Sort 2, y, 3 in ascending order.
y, 2, 3
Let z = -1.7 + -0.3. Let r = -48 - -434/9. Sort -0.1, z, r in decreasing order.
r, -0.1, z
Let q be 90/(-4)*6/(-9). Let p be 5/q + 20/(-6). Let f = 165/4 + -41. Sort -0.2, p, f in decreasing order.
f, -0.2, p
Suppose 8*j = 4*j. Suppose -4*q + 2 = -6. Let y = j + q. Sort -4, y, 3 in increasing order.
-4, y, 3
Let z be (4 - 2 - 0)/2. Let f be ((-15)/(-12))/(1/(-12)). Let c be (-2)/(-2*f/6). Sort 1/2, z, c.
c, 1/2, z
Suppose 0 = 2*a + 4*s - 24, -a + 4*a = s + 1. Suppose -f - 5 = -a*c, 2*f - 18 = -5*c - 1. Put c, 5, -2 in descending order.
5, c, -2
Let q(m) = m + 5. Let r be q(-3). Suppose r*f = f - 2. Suppose -5*l + 2*v - 5*v = 37, -v + 16 = -4*l. Sort l, f, -3.
l, -3, f
Suppose 40 = x - 3*x. Let a be 2/4 + x/24. Sort a, 6, -0.1.
a, -0.1, 6
Let n be 1/(1/(-2 - 0)). Sort -7, -1, n in ascending order.
-7, n, -1
Let x = 20 - 19.7. Put -6, -5, x in ascending order.
-6, -5, x
Suppose r - 14 = -3*y, -2*r + 2 = -2*y - 2. Sort -1.6, y, 1.
-1.6, 1, y
Let v = -7 - -11. Let k = v + -3. Put k, 5, -2 in ascending order.
-2, k, 5
Let a = -0.12 - -0.52. Sort a, -0.3, -24.
-24, -0.3, a
Let g(q) = -q**3 + 6*q**2 + 2*q - 8. Let r be g(6). Let b be (12/9)/(4/3). Put b, 5, r in descending order.
5, r, b
Let r = -1 - -1. Suppose -19*a - 84 = -47*a. Put r, -0.1, a in descending order.
a, r, -0.1
Let f = -3 + 2. Let j(m) = m**3 - 6*m**2 - 4*m - 1. Let o be j(7). Suppose 3*g - 5 = -o. Sort g, f, -2 in decreasing order.
f, -2, g
Let n(b) = b + 2. Let f be n(-5). Let c be -1 + (6/f)/4. Sort c, 1/3, 0 in ascending order.
c, 0, 1/3
Let a = -33/7 + 443/91. Let k(m) = 4*m + 19. Let p be k(-6). Put p, a, 5/4 in ascending order.
p, a, 5/4
Suppose 4*w + 6 = -10. Put w, -2, -13 in decreasing order.
-2, w, -13
Let w = -1 - 1. Suppose 4*o + 15 = 51. Let d = -5 + o. Put w, d, -5 in increasing order.
-5, w, d
Let o(n) = -2*n**3 + n**2 - n + 1. Let w be o(1). Let a be -1 + (-21)/6*w. Put -0.2, a, -1 in decreasing order.
a, -0.2, -1
Let m = 0.23 - 0.23. Sort -5, m, 0.05, -2/7 in descending order.
0.05, m, -2/7, -5
Let g(z) = 2*z + 7 + 0*z - z. Let l be g(-5). Suppose 0 - 25 = 5*w. Sort l, w, 0 in decreasing order.
l, 0, w
Let g be 19/(-4) - (-1)/(-4). Suppose 5*u = 4 + 6. Sort g, u, 0 in decreasing order.
u, 0, g
Suppose -1 = 2*c + 1. Let d = 3 + c. Let k = d - 3. Sort 1, k, 5.
k, 1, 5
Suppose 2*d - 25 = -3*d, 4*d - 8 = -3*z. Let l(n) = n + 7. Let x be l(-5). Sort 0, x, z in ascending order.
z, 0, x
Suppose -5*u + 3*l + 0*l = 1, -2*l - 6 = 0. Let a be (-2)/(-7) - (-4)/(-14). Let s = a - -5. Sort 0, s, u.
u, 0, s
Let t be (-1 + 0/(-1))*1. Suppose -2*c - 26 = -3*b - 6*c, -16 = -4*b + 4*c. Let s be b/(-5)*10/4. Sort -2, s, t in descending order.
t, -2, s
Let c = -101/2 + 49. Suppose 4*i + 9 = 7*i. Sort c, i, 0 in descending order.
i, 0, c
Suppose -2*r - 8*q + 11*q = 7, 3*r + 4*q + 19 = 0. Let j = 3 - 0. Sort 0, j, r in descending order.
j, 0, r
Let x = 0.9 - 0.7. Sort x, 3/5, -1/4 in decreasing order.
3/5, x, -1/4
Let p = -4.4 + 4.2. Put -0.4, p, 24 in ascending order.
-0.4, p, 24
Let d be -1*(5/(-1) - 0). Suppose 4*r - 3 = d. Put r, -1, -2 in decreasing order.
r, -1, -2
Let n = 7 + -6.91. Let m = -4.91 - n. Put -3, m, -1/3 in increasing order.
m, -3, -1/3
Let c = 35 + -58. Let i = c + 24.9. Let d = i + 0.1. Put d, 4, -2 in ascending order.
-2, d, 4
Let y be 12/28 - (-3)/42. Sort -1/8, -4, y in ascending order.
-4, -1/8, y
Let i = -4/61 - -272/427. Sort 0, 1/3, i.
0, 1/3, i
Let w(k) = -k**3 - 2*k**2 + 2*k + 1. Let x be 9/(-4) - (-2)/8. Let h be w(x). Let a(p) = 4*p - 1. Let j be a(-1). Put h, -2, j in decreasing order.
-2, h, j
Let r(n) = -n - 7. Let q be r(-6). Let w(l) = -2*l + 25. Let j be w(11). Suppose 2*s + 27 = j*b + 7*s, 12 = 4*s. Put b, q, -4 in increasing order.
-4, q, b
Let p(f) = f**3 + 6*f**2 - f - 1. Let u be p(-6). Sort 10, 3, u.
3, u, 10
Let b = -1.8 - -2. Sort b, -0.2, 2.
-0.2, b, 2
Let f(i) = i**3 + i**2 - i. Let k be f(1). Let j be (k*2)/((-2)/(-4)). Let n = -1 - -4. Sort -5, n, j in descending order.
j, n, -5
Let z be (-202)/18 + (-6)/(-27). Let c = z - -15. Sort 1, -5, c in descending order.
c, 1, -5
Let k be -8*(-15)/36*3. Sort k, 0, 1 in ascending order.
0, 1, k
Let o = -21 - -26. Put o, 2, -1/2, 2/5 in ascending order.
-1/2, 2/5, 2, o
Let h = 1 + -1. Let l = -81 - -78. Sort l, 3, h.
l, h, 3
Suppose -n + 0*n + 62 = 0. Suppose -5*p + n = 2. Suppose -f + 4*f + p = 0. Put f, -5, 5 in descending order.
5, f, -5
Let q = -0.3 + -0.8. Let z = q - 1.9. Put -0.2, -0.5, z in decreasing order.
-0.2, -0.5, z
Let h be (0 - 2) + -3*4/6. Sort h, 0.2, -3 in increasing order.
h, -3, 0.2
Suppose -5*c - 53 = 122. Let b be 2/(-5) + (-14)/c. Let d be (2 - 2) + (-3 - b). Sort -5, 3, d in decreasing order.
3, d, -5
Let a = 2 + 0. Let i = 5 - 6. Let f be (-2 - i)*(-2)/2. Sort f, a, -4 in descending order.
a, f, -4
Let s be ((-2)/(-3))/((-8)/(-12)). Sort -2, -1, s in decreasing order.
s, -1, -2
Suppose 5*c - 3*p - 13 = 0, 4 = 3*c + p - 1. Let m be (-1)/(-3) - 11/(-3). Suppose -m*r + 2 + c = 0. Sort -3, -2, r in descending order.
r, -2, -3
Let g = -10 - -8. Suppose 0 = -4*h + 5 - 1. Put g, h, -5 in decreasing order.
h, g, -5
Let c = -3 + 3.3. Let a = -11 + 19. Let b = a + -11. Sort 5, c, b in decreasing order.
5, c, b
Suppose 5*c = 2*i + 4*c - 14, 0 = -2*i + 4*c + 20. Suppose 5*b = -31 + i. Suppose -4*h + 10 = -2*h. Put h, b, 2 in decreasing order.
h, 2, b
Let n be 3/(-18) - (1 + 46/12). Sort 1, 3, -3, n in descending order.
3, 1, -3, n
Suppose -3*i + i - 6 = 0. Let a be ((-171)/(-24))/i + 2. Sort 0.2, a, 3 in increasing order.
a, 0.2, 3
Let f = 0.21 - -0.09. Let d = 0.1 - f. Sort d, 0, 2/9 in decreasing order.
2/9, 0, d
Let h be ((-66)/55)/(1/(-5)). Put 2, -1, h in ascending order.
-1, 2, h
Let q = 0.05 + -3.05. Put q, -1, -5 in increasing order.
-5, q, -1
Let l(i) = i - 2. Let u be l(5). Suppose 9 + 3 = u*f. Suppose 23 = -0*s - 4*s - x, 0 = 3*x + 9. Sort 5, s, f.
s, f, 5
Suppose 3*q - p + 2 = 0, -3*q - 6 = -p - 2*p. Put -5, q, 2 in descending order.
2, q, -5
Let g = -88 + 92. Sort 3, -1, g in ascending order.
-1, 3, g
Let v = -35 + 35. Sort 4/5, -1, v.
-1, v, 4/5
Let g be (3 + -2)/((-3)/3). Sort -4, g, 6 in descending order.
6, g, -4
Let k(u) = -u**2 + 1. Let b be k(1). Let m(y) = -y**3 - 3*y**2 + 3*y - 1. Let r be m(-4). Sort r, b, 4 in descending order.
4, r, b
Let h = 0.4 + 0. Let j(d) = 15*d + 1. Let l be j(-3). Let q = -394/9 - l. Sort h, q, -5 in increasing order.
-5, q, h
Suppose -4*m - 104 = -3*i, 0 = 4*i + i + m - 204. Put 