-4. Suppose -t = y*t. Suppose -2 = -4*l + 6. Sort 4, t, l in descending order.
4, l, t
Let k(l) = l**2 + 16*l + 20. Let r be k(-15). Sort 4, r, -4.
-4, 4, r
Let t = -37/235 - 2/47. Put -1, t, -4 in increasing order.
-4, -1, t
Let f = -4 - -8. Let a(t) = 7*t + 7. Let g(j) = -13*j - 13. Let x(l) = -11*a(l) - 6*g(l). Let b be x(1). Put b, f, 1 in descending order.
f, b, 1
Suppose 4*a + 15 = 67. Let g = -18 + a. Let d be 10*2/(-4) + 2. Put g, d, 3 in ascending order.
g, d, 3
Let k be (1 - (-2 - -1)) + -2. Let v be (21/6 - 4)*(-3 + 1). Sort -2, k, v.
-2, k, v
Let c = 3.076 + 0.024. Let g = 1.1 - c. Put 4, g, -1 in descending order.
4, -1, g
Let b = 81 + -82. Suppose -17 = 4*k - 3*c + 2*c, 4*k - 2*c = -22. Let z be 8/(-12)*(-3)/2. Put z, b, k in descending order.
z, b, k
Let w = -39 + 35. Put -5, w, 0 in descending order.
0, w, -5
Let h be 4 - (-1 + 1) - 1. Let z = 1 - 9. Let y = z - -5. Sort h, 0, y in increasing order.
y, 0, h
Let d be (-1 + 1)/(-3) - (-1)/3. Suppose -z + 4*v - 11 = 2*v, 0 = 2*z + 5*v - 23. Put 4, d, z in increasing order.
z, d, 4
Let a = -4.8 + 5. Let c = 8 + -3. Put a, c, -3/2 in ascending order.
-3/2, a, c
Let k = 86 - 86. Sort k, -4/3, -2/17 in decreasing order.
k, -2/17, -4/3
Let x = 3.1 - 3. Let d = -5 + 8. Let i be (-1)/(2/d)*2. Sort 0.2, x, i in increasing order.
i, x, 0.2
Let r = -4 - -3. Let a be (10 - 12) + (-1)/r. Sort -4, a, 1 in descending order.
1, a, -4
Let b = -2.2 + 2. Suppose -h = -2*u - 0*u - 7, 4*h - 4*u - 12 = 0. Put b, -2, h in decreasing order.
b, h, -2
Suppose -2*o - 16 = 2*o. Put o, -22, 0.2 in decreasing order.
0.2, o, -22
Let a(s) = -2*s**2 - 3*s - 3. Let n be a(-2). Let u be (2*298/(-4))/(-1). Let y = -749/5 + u. Sort 0, n, y in ascending order.
n, y, 0
Suppose -25 = 5*c + 5*d, -3*c - 4*d = 5 + 13. Let b be 28/c + 2 + -3. Let m be ((-9)/b)/(12/(-15)). Sort 2/9, -0.2, m.
m, -0.2, 2/9
Suppose 0 = -3*b + 4*b - y - 5, -3*y = -2*b + 13. Suppose 4*u = -b*d - 2 + 20, d = 5. Sort u, -4, -5.
-5, -4, u
Let r = 25 + -35. Let g = r + 12. Sort -4, -0.3, g in descending order.
g, -0.3, -4
Let z be (-1)/(-2)*(-4)/6*15. Sort -6, z, 0 in increasing order.
-6, z, 0
Let x be 1/(3/((-9)/3)). Let u = 1 + 2. Let n = x + u. Sort n, 3, -2.
-2, n, 3
Let u = -0.2 + 4.2. Let d = -47 + 44. Sort -1, d, u in increasing order.
d, -1, u
Let n = 0.9 - 1.3. Let l = -1/15 + 4/15. Put 2/3, l, n in increasing order.
n, l, 2/3
Suppose -2*p - 3 = -1. Put 4, 4/5, p in descending order.
4, 4/5, p
Let z = 2 - 1. Let i be 0/z - -1*2. Let a be 1 + 4 + (3 - 3). Put i, a, -5 in increasing order.
-5, i, a
Let f = -5.43 + 0.43. Put 1.2, f, 0 in descending order.
1.2, 0, f
Let z = -16.5 + 16. Let k = -10 + 6.9. Let d = k + 3. Sort -3, d, z in descending order.
d, z, -3
Let b(v) = v**3 + 10*v**2 - v - 11. Let t(l) = -l**2 - l - 10. Let a be t(0). Let f be b(a). Put 3, f, 4 in descending order.
4, 3, f
Suppose -3*m + 0*m = -15. Suppose 10 = m*d - 0*d. Let j = -2 + 1.8. Put -1/3, j, d in decreasing order.
d, j, -1/3
Let y = 0.4 + 0.6. Let d = y - 4. Put d, -2/3, 0.2 in ascending order.
d, -2/3, 0.2
Suppose 2 = u + 3*n + n, 4*n = 3*u + 10. Let c = 13891/9 - 1545. Let m = c + 8/9. Put -5, u, m in increasing order.
-5, u, m
Let a = 21.7 - 23. Let k = a + 1.1. Sort k, -0.3, -5/2 in descending order.
k, -0.3, -5/2
Let b = 1 - -3. Put -1/3, b, 8 in ascending order.
-1/3, b, 8
Let w = 2 + -4. Suppose 4*p + 5*x - 15 = 2*p, 3*p = -4*x + 5. Let y(m) = m - 4. Let j be y(6). Sort w, p, j in decreasing order.
j, w, p
Suppose -20 = -5*y + 40. Suppose y*u + 8 = 14*u. Sort -4, -2, u in decreasing order.
u, -2, -4
Let v be (6 - 4) + (0 - -1). Put -4, 5, v in descending order.
5, v, -4
Let o(i) = i. Let p be o(4). Suppose -2*b - 6 + 2 = 4*d, -5*b + 3*d - 10 = 0. Sort -1, p, b.
b, -1, p
Let i = -40/3 + 13. Let w = -0.05 + 0.05. Sort -0.5, w, i in increasing order.
-0.5, i, w
Let w = 0 - 0.5. Let c(m) = -m + 6. Let p be c(4). Sort p, 3, w in decreasing order.
3, p, w
Let j(g) = -g**2 - 3*g + 1. Let x be j(-2). Let r be (-18)/(-12)*24/9. Put -5, x, r in descending order.
r, x, -5
Let w be 0 + 0 - (-8 + 2). Let j = -7 + w. Sort j, -0.2, 0.4 in descending order.
0.4, -0.2, j
Suppose -2*k + 7*k = 0. Suppose k = -3*n + n + 8. Let p be (-60)/18 + 4/(-6). Put 2, p, n in decreasing order.
n, 2, p
Let t = -1.39 - -0.47. Let w = t + -0.18. Let u = -0.1 - w. Sort u, -3/4, 4 in increasing order.
-3/4, u, 4
Let p = 2.7 - 2. Let u = -1.7 + p. Put -2/11, u, 0.3 in descending order.
0.3, -2/11, u
Let w = -21 - -12.5. Let j = 9 + w. Sort 2/13, 3, j in decreasing order.
3, j, 2/13
Let l = 4 + -2. Sort l, -1/6, -0.2 in descending order.
l, -1/6, -0.2
Let h be (-1 - 5)/(6/4). Put 0, 3, h in increasing order.
h, 0, 3
Suppose -5*q + 21 = v, 3*v = -5*q + 13 - 0. Let o be 2/(-3)*(1 - -2). Put 2, o, q in decreasing order.
q, 2, o
Suppose 4*b + 2*o + 22 = 0, 28 + 12 = -5*b - 5*o. Put 1, 6, b in decreasing order.
6, 1, b
Let m be (-4)/(-6) + (-80)/12. Let z = 4 + m. Let r be 3/1 + 11/(-4). Sort 0.2, z, r in decreasing order.
r, 0.2, z
Let x = -1.4 - -0.5. Let v = x - -1. Let l(i) = i**3 - 9*i**2 + 9*i - 12. Let t be l(8). Sort v, -2, t in increasing order.
t, -2, v
Let a = 6 - 15. Sort -0.5, a, -4 in increasing order.
a, -4, -0.5
Let r = -3/286 + 5/26. Let v = 42 + -42.2. Sort 1, r, v in descending order.
1, r, v
Let p = 2 - 5. Let b be -6 - (-20)/5 - -1*5. Let j(f) = -f**2 + 6*f + 5. Let k be j(6). Sort k, p, b in descending order.
k, b, p
Let q = -4.8 + -21.2. Let c = q + 26.1. Sort 1, 2/7, c.
c, 2/7, 1
Let o = -12 - -8. Sort 0, 5, o.
o, 0, 5
Let g = -9 - -11. Let v be 22/(-6) - g/(-3). Put -3/5, v, 0.3 in ascending order.
v, -3/5, 0.3
Let b be (-1)/((-2)/14) + 1. Suppose 0*f + 3*h + b = f, -3*f + 5*h + 8 = 0. Let k = 3 + f. Sort k, 5, 2 in descending order.
5, 2, k
Let s = -0.03 - -0.03. Sort -1, 2/3, s in decreasing order.
2/3, s, -1
Let a = -22.8 - -23. Let p = -4 - -7. Sort a, p, 1.
a, 1, p
Suppose h = -0*h + 2. Let w(p) = p**2 + 16*p + 52. Let x be w(-11). Sort -5, x, h in increasing order.
-5, x, h
Let h = 3 + -5. Let p = 3 + h. Let j = 0 - p. Put 0.5, -2/7, j in increasing order.
j, -2/7, 0.5
Let o = -135/2 - -67. Put 11, -1, o in decreasing order.
11, o, -1
Suppose -2*n + 5*o - 1 = 0, -3*n = 2*n - o + 14. Sort -7, n, 5.
-7, n, 5
Suppose -4*u - 12 = 0, 4*n - 3*u + 11 = -n. Let i = -9 - -12. Let y be ((-6)/(-9))/(-1)*3. Sort y, n, i in increasing order.
n, y, i
Let t = -0.51 + 0.5. Let q = t - 0.39. Sort -2, -4, q in descending order.
q, -2, -4
Suppose 11*h - 14*h = 9. Let g be 2/(-6) + 40/12. Sort g, h, 2 in decreasing order.
g, 2, h
Let f = 17 - 20. Let h = 1/118 - 245/1062. Let p = -55/6 + 281/30. Put p, f, h in descending order.
p, h, f
Let b = 3 + 12. Let x = b - 10. Sort 4, x, -3 in descending order.
x, 4, -3
Let w = -0.9 + 7.9. Let g = -7 + w. Put 0.1, 5, g in increasing order.
g, 0.1, 5
Let n(i) = 5*i - 1. Let p be n(1). Let f(v) = -v - 4. Let h be f(-3). Let b = 2 + h. Put p, 5, b in decreasing order.
5, p, b
Let w = -0.1 + 5.1. Let s = -0.7 - -0.2. Put s, w, 3 in decreasing order.
w, 3, s
Let h be (3*1)/(3/(-6)). Let t be (h/4)/(2/4). Let m be ((-2)/(-3))/((-1)/(-6)). Sort t, m, -4 in ascending order.
-4, t, m
Let z = -199/84 - -25/12. Sort -7, z, -3 in descending order.
z, -3, -7
Let w be (-14)/(-8) - 3/(-12). Put w, 0, -3 in descending order.
w, 0, -3
Let c be (-4)/(-14) - 288/126. Let s(h) = -h**2 + 4*h - 2. Let r be s(3). Put r, -4, c in ascending order.
-4, c, r
Let t be 26/(-6) - (-2)/6. Let k(s) = -s**2 + 4*s + 6. Let f(b) = -4*b + 1. Let x be f(-1). Let h be k(x). Put t, 4, h in ascending order.
t, h, 4
Suppose -6*n = -5*l - n + 20, -5*l - n + 2 = 0. Let t = l + 0. Put t, -0.5, 2 in decreasing order.
2, t, -0.5
Suppose 4*f = 6*f - 12. Let q be 2 + f/2 + -3. Let v = 5 + -9. Put q, v, 0 in decreasing order.
q, 0, v
Let q = -9 + 25. Suppose 3*p = -p + q. Put p, -0.1, -1/4 in increasing order.
-1/4, -0.1, p
Suppose -2*v - 8 + 0 = 0. Suppose 4*p + 1 = 5*p. Sort -2, p, v in decreasing order.
p, -2, v
Let h = -3 + 3. Suppose h = -5*u + 2*u + 6. Let a be (u*(-1)/2)/1. Put 0.5, a, 2/7 in decreasing order.
0.5, 2/7, a
Let l be (-1 + -5)*(-1)/(-2). Suppose d - 2 = -b, 0 = -5*b + 2*b - 4*d + 5. Let s = -8 + b. Put s, l, -4 in descending order.
l, -4, s
Let d be 3/(-2)*32/6. Let a(