-7. Sort v, -1, g.
v, g, -1
Let a be (-1)/(-3) + 44/12. Suppose 0*t = 3*z + t + 19, -a*t - 1 = -3*z. Put 1, -3, z in decreasing order.
1, -3, z
Let p be (-112)/12*12/(-8). Let z = -16 + p. Let s be 0 - (-1 + 2 - -4). Put z, s, 1 in increasing order.
s, z, 1
Let j = -1.35 - -0.25. Let q = 5.1 + j. Put -0.1, 0, q in descending order.
q, 0, -0.1
Let w be 5/20 + 69/(-180). Put 1.7, -2/19, w in ascending order.
w, -2/19, 1.7
Let w be ((-15)/(-25))/(-1)*-5. Sort w, 2, 4 in decreasing order.
4, w, 2
Suppose 3*h + 2*q - 13 = -3*q, 3*h - 2*q = 20. Suppose 0 = -2*m - 4*a + 22, -3*m + h*a - 12 = 3*a. Sort -3, m, 2.
-3, m, 2
Let r = -0.7 - 2.3. Let z = r + -1. Let d = -0.09 + 0.19. Sort z, -2/3, d in descending order.
d, -2/3, z
Let r(i) = -i**3 + 4*i**2. Let j be r(4). Let f(n) = -n**3 - 3*n**2 + 6*n + 6. Let k be f(-4). Sort 2/15, j, k.
k, j, 2/15
Let s = 38 + -14. Suppose 8*b = 2*b + s. Sort 0, b, -4.
-4, 0, b
Let o = -0.83 - -0.8. Let p = 37 - 40. Put 3, p, o in descending order.
3, o, p
Suppose 2*v + 20 = 7*v. Put 2, -3, v in decreasing order.
v, 2, -3
Let j be (4 - 13/3)/((-2)/(-4)). Sort 8, j, 0.3 in descending order.
8, 0.3, j
Suppose -5*x - 25 = 0, -4*f - 2*x - 31 = x. Suppose 0*l - 10 = 5*l. Put f, 3, l in increasing order.
f, l, 3
Let y = 32 + -30. Put -5, y, -1 in descending order.
y, -1, -5
Let s be (-1)/(-6) - (-3273)/(-10). Let d = 327 + s. Put d, 0.04, 0 in decreasing order.
0.04, 0, d
Let k(d) = -d. Let q be k(-2). Let r be (-1 - -2) + -3 + q. Let h be 2 + r*1/(-3). Sort 4, -5, h in increasing order.
-5, h, 4
Suppose 0*h = -3*h - 3. Suppose 0 = -4*s + 6*s - 16. Let j = s - 10. Put j, h, 1 in descending order.
1, h, j
Let l = 3 + -3. Suppose w - 5 = -10. Put l, w, -2 in increasing order.
w, -2, l
Let n = -145 + 144. Sort -0.09, n, -0.2 in descending order.
-0.09, -0.2, n
Let q(u) = u**3 - 12*u**2 + 12*u - 11. Let l be q(11). Put l, -5, -4, -10 in decreasing order.
l, -4, -5, -10
Suppose -11*n + 40 = 9*n. Put -1, 5, -5, n in decreasing order.
5, n, -1, -5
Suppose -10*t = -3*t + 42. Let r = 15 + -11. Sort r, 0.3, t.
t, 0.3, r
Suppose -4*f = -8*f - 16. Let x = -5 - -15. Let u = x + -7. Sort -1, u, f in descending order.
u, -1, f
Let y be (6/(-9))/(8/60). Let g = 3 + -3. Sort g, -3, y.
y, -3, g
Let t = -82 + 82. Put -0.2, t, 48 in descending order.
48, t, -0.2
Let c = -1.8 - 0.2. Sort -0.1, c, 1 in increasing order.
c, -0.1, 1
Suppose 4*t - 6*t = 2*t. Sort t, -3, 3, 4.
-3, t, 3, 4
Let i = 52 - 57. Sort i, 1/3, -2/7 in ascending order.
i, -2/7, 1/3
Let s be (-3)/2*(-20)/6. Let p = s - 6. Sort 2, 0, p in descending order.
2, 0, p
Let z = -0.23 + -9.77. Let b = z + 6. Let t = 3.02 + -0.02. Sort 0.4, t, b.
b, 0.4, t
Suppose 0 = 6*k - k - 5. Let b(f) = -f**3 + f + 5. Let o be b(0). Put k, o, 3 in ascending order.
k, 3, o
Suppose 2*q = q - 4. Let z = q - -3. Sort 0.4, 2/7, z in decreasing order.
0.4, 2/7, z
Suppose 3*u - v = -10, -v - 30 = 5*u + 4*v. Put u, -2, -0.3, 4/15 in increasing order.
u, -2, -0.3, 4/15
Let d be 2/1*(-1)/5. Let v be 2/14 - 348/(-14). Let k be 2/(-6) + v/45. Sort d, k, 4 in descending order.
4, k, d
Let m be (-2)/(-12)*2*-1*4. Put 0.16, m, -0.4 in ascending order.
m, -0.4, 0.16
Let p be (-2)/(-4) + 0 + (-27)/(-6). Sort 4, 13, p in decreasing order.
13, p, 4
Let c(r) = -r**2 - 9*r + 14. Let h be c(2). Let s = 4 - 4. Put h, s, 4 in descending order.
4, s, h
Let b = 0.092 + 4.908. Sort -0.5, 0.5, b in decreasing order.
b, 0.5, -0.5
Let h(n) be the second derivative of n**5/20 + n**4/3 - 2*n**2 + n. Let b be h(-4). Let v(m) = m + 3. Let f be v(-2). Put -1, b, f in ascending order.
b, -1, f
Let i be (8/(-190))/((-8)/20). Put 1, i, 0.5, -3 in ascending order.
-3, i, 0.5, 1
Let l = 2.7 + -5.7. Put 0.3, l, -4 in decreasing order.
0.3, l, -4
Suppose 16 = -5*p + 26. Sort 5, p, -2/3 in ascending order.
-2/3, p, 5
Let s = 1.4 - 4.4. Put 2, -1/9, s in decreasing order.
2, -1/9, s
Let k = 0 - 0. Let y = 0.8 - 0.8. Let t = y - k. Put 0.4, 0.3, t in decreasing order.
0.4, 0.3, t
Suppose -5*x + 4*p = -p + 20, 5*p = 2*x + 14. Let v be x/5*30/(-54). Put v, -0.5, 0.1 in decreasing order.
v, 0.1, -0.5
Suppose -2*f = f - 9. Sort 4, f, -5.
-5, f, 4
Let l = -47.5 + 47. Put l, -2/13, 1, 0 in ascending order.
l, -2/13, 0, 1
Let f = -14 + 14. Suppose q = -q + 16. Let x = 6 - q. Sort 1, f, x.
x, f, 1
Let c = 0.3 - -8.2. Let b = -8 + c. Put b, -0.2, -5/3 in ascending order.
-5/3, -0.2, b
Let z(j) = -j - 6. Let d be z(-6). Sort 14/3, 4/9, -4/7, d in decreasing order.
14/3, 4/9, d, -4/7
Let h = -191 + 195. Put h, -1, -4, 3 in decreasing order.
h, 3, -1, -4
Let y be 6/5*2 - (26 - 24). Sort y, 1/16, 4/7 in increasing order.
1/16, y, 4/7
Suppose 0 = 3*x - 3 - 9. Suppose 0 = -x*t + 29 - 9. Sort t, -1, -4 in descending order.
t, -1, -4
Let v(s) = 2*s**2 + 4*s + 1. Let u be v(-3). Let r = -6 + u. Put 4, r, -1 in decreasing order.
4, r, -1
Let z be (-65)/(-20) - 1/4. Suppose o - 3 + 5 = 0. Put o, z, -6 in increasing order.
-6, o, z
Let k be 192/(-36) - (-1)/3. Sort -1, k, 2.
k, -1, 2
Let f = 7 - 7.5. Let s = -1.5 - f. Let h = -0.3 + -0.2. Put s, 1/6, h in increasing order.
s, h, 1/6
Let d be 0*(-2 - 0)/(-4). Let h = -0.2 + 1.2. Let x = -1.4 + h. Put d, 2/5, x in increasing order.
x, d, 2/5
Let l = 213 - 1919/9. Let m = -1.6 + 1. Let y = m + 0.6. Sort 0.5, y, l.
l, y, 0.5
Let k = 0.18 - -0.02. Let t = k + -0.4. Put t, -4, -1 in descending order.
t, -1, -4
Let l(j) = 2*j**2 - 2*j + 1. Let z be l(2). Let c = 5 + -2. Let t = c + -3.3. Sort t, z, -5.
-5, t, z
Let w be 0 + (-5)/(10/(-4)). Suppose -j = j - w. Suppose 6*d - 5 = -11. Sort d, j, 5.
d, j, 5
Let x = 12 - 11. Sort x, -3, -2 in descending order.
x, -2, -3
Let v = 106 + -106.3. Put 2/13, -3, v in increasing order.
-3, v, 2/13
Let s be 1/5 - (-155)/(-150). Sort -1/2, 6/11, s.
s, -1/2, 6/11
Let i be 6 - (-2 + -1 - (-15 - -8)). Let t be (2/6)/((-3)/9). Let b = t - -1. Sort i, 4, b.
b, i, 4
Let m(l) = l + 6. Let x be m(-4). Suppose -x*i = i + 3. Put -3, 1, i in descending order.
1, i, -3
Let z = -8.3 - -7.3. Sort z, 5, -3, -2 in decreasing order.
5, z, -2, -3
Let x(j) = 7 + 3 - j**2 + 6*j - 1. Let a be (-3 - 33/(-9))/((-4)/(-42)). Let n be x(a). Sort 8, 1, n.
1, n, 8
Let k be ((-2)/2)/((-7)/14). Suppose -5*z + 0 + 5 = 0, 2*z = -k*q - 8. Put 5, 0, q in decreasing order.
5, 0, q
Let r(f) = f**3 + f**2 - 4*f - 3. Let x be r(-2). Suppose -7*w - 25 = -2*w. Let p(c) = -c - 10. Let v be p(w). Put x, 5, v in descending order.
5, x, v
Let h be -3*(-14)/12 + -4. Sort h, 1, -3/5, 1/2.
-3/5, h, 1/2, 1
Suppose 4*v = -v - 20, 3*v = 5*l - 107. Suppose 0*t - l = -t. Suppose -5*q - 4 = -t. Put q, 4, -2 in decreasing order.
4, q, -2
Let n = 0.9 + 0.1. Let h(y) = -5*y - 1. Let r be h(1). Let z(j) = -j**2 - 5*j + 2. Let f be z(r). Sort 0.2, f, n in increasing order.
f, 0.2, n
Suppose -f - f - 5*y - 27 = 0, 2*f - 23 = 5*y. Sort f, -0.5, 1/2 in descending order.
1/2, -0.5, f
Suppose -4*p + 26 = -2*p. Let g = p + -8. Sort g, -1/3, -0.6 in descending order.
g, -1/3, -0.6
Let f be 1 + -1382*(-2)/36. Let z = 78 - f. Let r = -3 + 8. Sort r, z, 3 in increasing order.
z, 3, r
Let w be 4/10 - 2/(10/17). Put -5/2, w, 2/21, 2/13 in increasing order.
w, -5/2, 2/21, 2/13
Let m = 6.8 - 1.8. Let w = -6 - -3. Let i = w + 3. Sort i, m, 1 in decreasing order.
m, 1, i
Let r = 38 - 41. Put 3, r, 3/2 in decreasing order.
3, 3/2, r
Suppose -2 = j + j. Suppose t + n + 8 = 2*t, -32 = -5*t - 3*n. Put j, 5, t in decreasing order.
t, 5, j
Let m(k) = -k**2 + 9*k - 2. Let p be m(8). Suppose 0*w - p = 2*w. Let g = -5 - w. Sort 2, -4, g in ascending order.
-4, g, 2
Suppose 7 = -3*t - 4*t. Sort -4, -2, t in decreasing order.
t, -2, -4
Let c = -4 + 0. Let w(a) be the second derivative of a**5/20 - a**4/2 + a**3 - 2*a**2 - 5*a. Let q be w(5). Sort 0, q, c in ascending order.
c, 0, q
Suppose 0*y + 2*y - 2 = 0. Sort y, -4/3, -4 in increasing order.
-4, -4/3, y
Suppose -12 = 2*c + 2*c. Let i(x) = -x + 1. Let h be i(c). Put h, -4, -3 in decreasing order.
h, -3, -4
Let r(n) = -n. Let a be r(-1). Suppose -3*o - o - 4 = 0. Suppose -46*z + 50*z + 12 = 0. Sort a, o, z in decreasing order.
a, o, z
Suppose 4*n - 9 = n. Suppose 2*r - n = -r. Sort 3, r, -4 in descending order.
3, r, -4
Suppose -k = -0*k - 2*t - 17, 3*k + 4*t - 1 = 0. Let z(v) = v**2 - 6*v - 8. Let u be z(k). Le