v**2 - 11*v + 13. Let z be k(h). Put -3, z, 4 in descending order.
4, -3, z
Let b = -4 + -1. Let q be -2*(-3 - -2) - -2. Put b, q, 0 in descending order.
q, 0, b
Let y = -5 + 10. Suppose y*z + 0*z - i - 45 = 0, 4*i - 20 = 0. Suppose -2 = -4*g + z. Sort 2, -1, g in ascending order.
-1, 2, g
Suppose 0 = -x - 1 - 4. Let m be (1/3)/(2/18). Suppose 0*s = -m*s + 12. Put x, -2, s in descending order.
s, -2, x
Let h be (-91)/65 + 2/2. Let u = -1.4 - -5.4. Sort -3, u, h.
-3, h, u
Suppose -7*f + 44 = 3*m - 3*f, 5 = -5*f. Suppose -m = 2*n + 2*n. Sort -10, n, 1 in descending order.
1, n, -10
Suppose 5*c + 4*f - 5 = 0, -5*c - f = -0*f - 5. Put -0.3, c, -5 in ascending order.
-5, -0.3, c
Let m be (-6)/4 + 27/6. Suppose -2*i = m*i. Sort i, -3, -5 in ascending order.
-5, -3, i
Let o be 26/12*(-10)/138. Let w be 1 - 98/92*1. Let r = w + o. Sort 0.2, 5, r in increasing order.
r, 0.2, 5
Let u be 6/21 + (-22)/126. Put u, 1/5, 2 in decreasing order.
2, 1/5, u
Suppose -5*y = -25, 2*a = -3*y - 3 + 12. Let u = 5 - 4. Sort -1, u, a in decreasing order.
u, -1, a
Let i = -2.3 + -0.7. Sort i, -0.1, 1 in ascending order.
i, -0.1, 1
Let f = 2.7 - 3.1. Let p = 5.9 + -0.9. Let y = -4.98 - 0.02. Put p, y, f in decreasing order.
p, f, y
Let i = 9 + -5. Suppose y + 5 - 1 = 0. Suppose 2*o - 5*l = -4 + 31, -5*o + l + 10 = 0. Sort y, o, i in ascending order.
y, o, i
Suppose -3*f - 2 = -f. Let s(q) = -q**2 + 12*q - 6. Let t be s(11). Suppose t*x = -1 - 24. Sort x, 1, f in increasing order.
x, f, 1
Suppose -14*x = -19*x + 5. Sort x, -3, 5, 6 in descending order.
6, 5, x, -3
Suppose 2 = u + 6. Let j = 48 + -95/2. Put j, -1/6, u in descending order.
j, -1/6, u
Let n = 78 - 388/5. Let q = 2.3 - -0.7. Sort q, 2/21, n.
2/21, n, q
Let t be (6/3 + -3)*0. Let m = 0.4 + 4.6. Sort 1, t, m in descending order.
m, 1, t
Let h = -2/27 - -20/27. Let w = 0.6 - 0.3. Sort -1, w, h in descending order.
h, w, -1
Let u = 165 - 663/4. Let b = 120 - 116. Sort -3/2, u, b in ascending order.
-3/2, u, b
Let d be (-19)/(-57) + (-32)/6. Sort d, -2, 3.
d, -2, 3
Let h = 2.66 + -14.96. Let p = h + 12. Sort -1, p, 3/7 in descending order.
3/7, p, -1
Let p = -63 - -62. Put 0, p, 0.3 in descending order.
0.3, 0, p
Let t = 0.11 + -5.11. Let y = 6/5 - 62/35. Let z(v) = -v**2 + v + 2. Let g be z(-2). Put y, g, t in decreasing order.
y, g, t
Suppose -1 = -x + 3. Suppose -x*g = -5*n - 17 - 32, 2*g - 5*n = 37. Let m = g + -4. Sort 0, m, 1 in ascending order.
0, 1, m
Let y = 8 + -6. Put 3, y, -13 in decreasing order.
3, y, -13
Suppose 3*g = -3*k - 9, -3*g = -k - 4*k + 25. Sort 0, 2, g, -1.
g, -1, 0, 2
Let q(a) = -a - 1. Let m be q(4). Let d = -27 + 23. Put d, m, -3 in descending order.
-3, d, m
Suppose 0 = -h - 5*a + 2 + 8, 0 = 3*h + 4*a - 19. Sort -2, h, -4.
-4, -2, h
Suppose 0 = -5*r - 12 - 8. Let v be (0 - 0)*-1 - 1. Let s be (-1)/2*-2 + 2. Put v, r, s in descending order.
s, v, r
Suppose 5*h = 21 - 1, 0 = -4*f + 3*h. Let n(r) = 5*r**2 - 1. Let b be n(1). Let v = b - 3. Sort 0, f, v in decreasing order.
f, v, 0
Let l = -4.2 - -4. Let o = -3.6 + -0.4. Let n be (-2)/(-8)*8/(-6). Put n, o, l in descending order.
l, n, o
Let f be -1 + (-15)/13 + 2. Let t = 2 + -2. Let v = 2 + t. Sort f, v, -2 in descending order.
v, f, -2
Let j = -2 + -4. Let i = 5 - 4. Let d be 5/j + i/2. Sort 3/7, d, -3.
-3, d, 3/7
Let y be (-1 - 2/(-4))*10. Let j = -8 - -5. Put y, 4, j in increasing order.
y, j, 4
Let x = 1 + -2. Let r = x - -1. Let i be (20/12)/((-5)/(-6)). Sort r, i, 0.2 in decreasing order.
i, 0.2, r
Let s(a) = a - 2. Let i be s(-2). Let l = 6 + i. Suppose l*z - 4 = 4, 3*u - 3*z + 9 = 0. Put -4, 5, u in decreasing order.
5, u, -4
Let a(b) = b + 5. Let l be a(-4). Let t = 1.5 - 2. Sort -5, t, l in ascending order.
-5, t, l
Let a be (-4)/20 - (-4)/((-60)/27). Put 1, a, -12 in decreasing order.
1, a, -12
Let z = -2 - -20. Let r = -17.6 + z. Put r, 4, -0.5 in ascending order.
-0.5, r, 4
Let v = 7 - 4. Sort 9, 0, 1, v in descending order.
9, v, 1, 0
Suppose 1 = -2*r + 2*t + 3*t, 13 = -3*r - 4*t. Let n(m) = -m**3 - 6*m**2 - 5*m. Let a be n(-5). Sort a, r, 1.
r, a, 1
Let s be (-15)/(-10)*(-20)/(-6). Suppose 6 + 14 = -s*q. Let j = -15 + 15. Sort q, j, -2.
q, -2, j
Suppose 0 = x - 5*x + v + 59, -5*v - 70 = -5*x. Suppose -3*k = 2*n - 6, 0 = -3*n + 8*n + 3*k - x. Let y = 5 + -10. Put n, 4, y in decreasing order.
4, n, y
Let r = 35 - 35.7. Sort r, 1, -2/9 in decreasing order.
1, -2/9, r
Let s be ((-18)/(-15))/(5/50). Let a = s - 11. Put a, 0, -4 in descending order.
a, 0, -4
Suppose -3*v + 2*f + 24 = v, -2*f + 12 = 5*v. Put 2, 5, v in descending order.
5, v, 2
Let l be ((-5)/(-30)*-2)/(6/54). Suppose -2*b - 4*i = 4, 0 = -2*b + i - 2*i - 1. Sort -5, b, l.
-5, l, b
Let y(d) = d**2 - 4*d + 5. Let j be y(4). Suppose -j*m = 10 + 10. Let z = 0.1 + -0.3. Put m, -1, z in increasing order.
m, -1, z
Let g = 4.5 - 4.2. Put g, 0.2, -4 in ascending order.
-4, 0.2, g
Let m = -342/847 + -3/121. Let p(u) = u**2 - 8*u + 5. Let o be p(8). Let x be -2 - (0/(-2) - o). Sort -2/5, x, m in decreasing order.
x, -2/5, m
Let v be (-1 + 3/15)*-10. Let z be 3/(-2) + 4/v. Let p be (-2)/(-24) + z/(-4). Sort 1/8, -5, p in ascending order.
-5, 1/8, p
Let s = -5 - -6. Let y be ((-33)/(-154))/(s/(-2)). Sort y, 2/13, -5.
-5, y, 2/13
Let f = 16 - 7. Sort f, 0.1, 3, -4 in descending order.
f, 3, 0.1, -4
Suppose p - 6 = 4*n - 0*n, -5*n - 2 = -4*p. Let b be (2 - 5)/(1/n). Let h(v) = -v**2 + 7*v - 4. Let w be h(b). Sort 0, w, -1 in increasing order.
-1, 0, w
Let y = 4.99 + 0.01. Let o = 12 - 11. Sort o, y, 4.
o, 4, y
Let o = 35 + -35.2. Sort -4, o, -5 in descending order.
o, -4, -5
Suppose -u - 2*c = 2*u + 40, -5*u - 56 = -2*c. Let j be (4/(-3))/(4/u). Suppose 8 = j*l - 0*l. Put -1, l, 4 in decreasing order.
4, l, -1
Let u = -5 + 2. Sort -2, -5, u, 2/19.
-5, u, -2, 2/19
Let p be 3 - 3 - ((2 - 4) + 2). Sort p, 1, -1 in decreasing order.
1, p, -1
Let i = -2 + 3. Suppose -g = 5*w + 19, 2*g + 4*w + 0*w + 20 = 0. Put g, 0.5, i in increasing order.
g, 0.5, i
Let v be (6/4)/((-15)/20). Let h(j) = -4*j - 3. Let f be h(v). Sort f, 3, 1.
1, 3, f
Suppose -6*q = -2*q. Let a be 1 + -1 - (-8 + q). Sort a, 4, -2 in increasing order.
-2, 4, a
Suppose 0*h - 24 = -4*l - 4*h, 2*h + 2 = 5*l. Put 6, -1, l in descending order.
6, l, -1
Let z be (-4)/(-4) + -1 + 1. Suppose 4*h + 3*l = 40, -h - 2*l + 9 + z = 0. Let j be ((-1)/3)/(h/12). Sort 4, j, 0.2 in descending order.
4, 0.2, j
Let q = -340 + 340.4. Let t be (1/2)/((-1)/4). Put t, q, 5 in decreasing order.
5, q, t
Suppose 0 = -3*f + 3*i - 27, 0*f = -5*f - 3*i - 45. Let s be (-2)/3*f/(-2). Sort 4, s, -5 in ascending order.
-5, s, 4
Let v be 547/20 - (-2)/8. Let n = v - 27. Sort n, -2, 0.5 in descending order.
n, 0.5, -2
Let i = 104/5 + -20. Let l = -0.2 + 1. Let n = 2.2 + l. Sort i, n, 2/7 in descending order.
n, i, 2/7
Let s be (0 + 0)/(-4 - -3). Suppose s = -4*w + 5*j + 31, -j = -3*w - 3*j + 6. Sort w, 0, 1 in decreasing order.
w, 1, 0
Suppose -3*s - 2*k - 3 - 10 = 0, 5*s = -4*k - 21. Sort 7, s, -3, 4 in descending order.
7, 4, -3, s
Let t = 0.09 - -2.51. Let x = t + -0.6. Sort -1/6, 0.2, x.
-1/6, 0.2, x
Let s = 33 - 48. Sort 5, s, -4 in ascending order.
s, -4, 5
Let t = 3 + 0. Let g(v) = -v**2 - 5*v + 2. Let b be g(-6). Let y = 20 - 21. Put t, b, y in decreasing order.
t, y, b
Let x(q) = 11*q**3 + q**2 - q + 1. Let f be x(1). Suppose f = -0*c - 4*c + 3*a, -2*c - 6 = a. Sort c, 5, -5.
-5, c, 5
Let z = -266863/3582 + 2/1791. Let u = -1035/14 - z. Let s = 263/10 - 157/6. Put u, s, -2/5 in descending order.
u, s, -2/5
Let r = 0.38 - 0.08. Let k be (-4)/(-24)*(-6)/(-10). Put r, k, -0.3 in decreasing order.
r, k, -0.3
Let z = 5 + -4. Let n be (-1)/(-1) - (z + 0). Suppose -u + 4*s + 6 + 7 = n, 5*u + s - 2 = 0. Sort u, 2/19, 2.
2/19, u, 2
Let k = -0.52 - -0.02. Let t = -0.3 - k. Sort -1, t, 0.5 in increasing order.
-1, t, 0.5
Suppose 4*g - p = -11, -5*g + 5*p - 15 - 10 = 0. Put g, 2, 7, -3 in descending order.
7, 2, g, -3
Let w be 64/160*10/4. Suppose 0 = -2*q + 4*q + 8. Sort q, w, -2 in decreasing order.
w, -2, q
Let j = 0.39 + -0.59. Sort -2, 0.4, j, -2/15 in decreasing order.
0.4, -2/15, j, -2
Let h = -1.6 + -7.4. Let u = 8.9 + h. Sort 4/7, -0.03, u in descending order.
4/7, -0.03, u
Suppose f - 8 = -3*f. Suppose 2*u + 4 - 12 = 0. Let z be (-3 + 1)*(-6)