se 2*a - 2*v + 0*v - 8 = 0, 2*a + 4*v = -4. Put 0, -5, -2, a in decreasing order.
a, 0, -2, -5
Let c = 0.013 - 0.313. Sort 2, 0.1, c, -2/13 in increasing order.
c, -2/13, 0.1, 2
Let z be (-2*3/7)/(4/(-28)). Sort z, 3, -4.
-4, 3, z
Suppose 0 = -3*b + 3 + 12. Suppose 0 = 3*u + 3*z - 1 + 4, 37 = -5*u + 3*z. Put b, u, 3 in increasing order.
u, 3, b
Let t = 5 - 7. Let y be t/2 - (0 - -4). Suppose 4*w - 5*r = 8, -3*w - 2*w + 4*r = -10. Put y, 5, w in descending order.
5, w, y
Let l = 19 - 97/5. Let x = l - -3/20. Let a(s) = -s**2 + 13*s + 16. Let z be a(14). Put z, 3, x in increasing order.
x, z, 3
Let d = -0.33 - 1.97. Let z = -2 - d. Let m = -6 - -4. Sort z, m, 4 in descending order.
4, z, m
Let q(s) be the first derivative of -s**3/3 + s**2/2 + 10*s - 3. Let z be q(0). Let c be ((-18)/20)/(12/z). Sort c, 4, -1 in decreasing order.
4, c, -1
Suppose -12*y + 7*y - 95 = 0. Put y, 4, 3 in descending order.
4, 3, y
Let s be (1/(-21))/((-7)/42). Let m = 10 + -7. Sort m, -0.1, s in increasing order.
-0.1, s, m
Let d = -17 - -29. Let k be (d/(-9) + 0)*3. Put k, 3, 2 in increasing order.
k, 2, 3
Let p = -13.5 + 27. Let z = p + -14. Put z, 0.1, 1 in decreasing order.
1, 0.1, z
Let b be (4 - (4 - -10)) + 7. Suppose 2*j = 7 - 17. Let w = j - -3. Sort w, 0, b in decreasing order.
0, w, b
Suppose 5*t + 9 = -6. Let i = t + 1. Let y = -2 + i. Put y, 5, 3 in ascending order.
y, 3, 5
Let v = -19 - -18.5. Let p be 1110/1132*2/(-11). Let n = p - 1/283. Put 2, v, n in descending order.
2, n, v
Let w = 52 - 52.4. Put 4, w, 3/7 in decreasing order.
4, 3/7, w
Let w = 4 - 3. Suppose -4*f + 5*f + w = 0. Let o = 1 + f. Put -3, o, 4 in increasing order.
-3, o, 4
Suppose -3*a + 2*a = -5. Suppose -4*u + 30 = -2*v, v - 3*v = -a*u + 35. Let x = 0.02 - 2.02. Sort -0.3, x, u in descending order.
u, -0.3, x
Let p(b) = -b - 4. Let y(h) = -h - 4. Let s(z) = -7*p(z) + 6*y(z). Let t be s(-7). Suppose 2*c + 3*c + 10 = 0. Sort c, 2, t in decreasing order.
2, c, t
Let q(c) = c. Let j be q(4). Let f = -118 - -123. Sort -1, f, j in descending order.
f, j, -1
Let q = 0.95 - 0.65. Put q, -2, -5 in increasing order.
-5, -2, q
Suppose -p + 0*n - 11 = -2*n, 0 = -3*p + n - 8. Let v be 2/(3 - (3 + -1)). Put v, -2, p in increasing order.
-2, p, v
Let i = 3 + -8. Let k(d) = -d**3 - 2*d**2 - 2*d - 3. Let c(f) = f**3 + 2*f**2 + 2*f + 4. Let j(g) = 2*c(g) + 3*k(g). Let r be j(-1). Sort 2, i, r.
i, r, 2
Suppose 5*j + y = 7*j, y = -4*j. Sort -2, -6, j in increasing order.
-6, -2, j
Let v = -0.09 - -4.69. Let k = 0.4 + v. Let p = k - 5. Put 4, p, -5 in ascending order.
-5, p, 4
Suppose 0*h + 26 = 4*g - 2*h, -10 = -5*g - 5*h. Put 2, -3, -2, g in increasing order.
-3, -2, 2, g
Suppose 0*u - 3*u + 90 = 0. Suppose -10 = -4*s - u. Put s, 2, 1 in decreasing order.
2, 1, s
Suppose -4*s + 5*a - 12 = 0, 3*s + 9 = -a - 0. Let i = -5 - -6. Suppose 2*y - i = 1. Sort y, 3, s in decreasing order.
3, y, s
Let d = -1.7 - -1.7. Let i = 3 + -5. Sort i, 0.4, d.
i, d, 0.4
Suppose -m + 2*m + 3 = 0. Put -2, m, -5 in descending order.
-2, m, -5
Suppose 0 = -2*a + 5*a - 5*n - 37, -2*n = -2*a + 18. Suppose k - 2*r + 4*r - 13 = 0, 17 = -k + a*r. Sort -4, k, -2.
-4, -2, k
Let w(k) = -k**2 - 6*k + 5. Let x be w(-6). Suppose x*m = h + 1, -2*m + 1 = -h - 3*m. Suppose -5*f + 7 - 42 = 0. Put -3, h, f in decreasing order.
h, -3, f
Let f = 5.6 - 6. Let o = -0.6 - f. Sort -0.4, 5, o in descending order.
5, o, -0.4
Let u = 0 + -0.2. Let i = -0.3 - u. Let d = -0.9 + i. Put 0.1, d, 1/3 in increasing order.
d, 0.1, 1/3
Let d = -16 - -12.06. Let h = -0.06 + d. Let b = 5 + h. Put -3/8, -0.4, b in increasing order.
-0.4, -3/8, b
Let l = -0.24 - -0.15. Let h = l + 0.19. Put 0.2, -1, h in descending order.
0.2, h, -1
Let x be -1 + 0 - (-15)/(-3). Let n = 7 + x. Sort 3, 4, n in increasing order.
n, 3, 4
Let k = 115 + -124. Sort -5, k, 2 in increasing order.
k, -5, 2
Let w = 155 - 95. Let s = w - 301/5. Let k = -0.1 - 0.4. Sort 3, k, s in descending order.
3, s, k
Suppose -3*s + 18 = 2*u, -s = -5*u - 3*s + 34. Let i(b) = -b + 8. Let f be i(u). Let q be 0/(1/(f/4)). Sort q, 3, -5 in ascending order.
-5, q, 3
Let l = -4 + 6. Suppose 2*w = -0*w + 8. Suppose 4*a + 26 = -w*c + 2*a, -2*c - 23 = 3*a. Sort c, l, 5.
c, l, 5
Let a = -6 + 7. Let i = a - 0.6. Sort 0.3, i, -2 in descending order.
i, 0.3, -2
Let n = -0.48 + 0.28. Sort 2/7, 2, -0.5, n in descending order.
2, 2/7, n, -0.5
Suppose 2*u + 2*f = 30, -4*u + 0*f - f + 51 = 0. Let v = -9 + u. Let i = 9 + -4. Sort -1, i, v in ascending order.
-1, v, i
Let z be 45/(-10) + 2/(-4). Sort z, -2, 2 in increasing order.
z, -2, 2
Suppose -5*h = -140 - 30. Let d be (-4)/(-6) + h/3. Let v be -6 - (3 + d/(-2)). Sort 5, v, -0.4 in descending order.
5, -0.4, v
Let m be -2 - 4*6/(-4). Let y(u) = -u**2 + 5*u - 3. Let h be y(m). Sort -2, h, -5 in decreasing order.
h, -2, -5
Suppose 3*f = -3*a, -a - 2*f - 1 = -5. Let s(g) be the first derivative of g**2/2 + 7*g - 3. Let u be s(-6). Sort u, 5, a.
a, u, 5
Let y be (-3*(1 + 0))/1. Let c(g) = -g**2 - 9*g - 1. Suppose 5*d = 5*s + 40, -d = -5*s - 0*s - 44. Let v be c(s). Put y, 5, v in increasing order.
y, v, 5
Let b be 1 - (2 + -4 - -7). Let n = b - -7. Suppose 2*v - n*v = 4. Sort v, 0, -5 in ascending order.
-5, v, 0
Suppose -3*l - 2*l = -30. Put 3, l, -5 in increasing order.
-5, 3, l
Let j = 12 - 11. Let z be 6/(-15) + j/(-10). Put -1, -4, z in increasing order.
-4, -1, z
Let o be (42/10)/3 - 2. Sort -3, 0.3, o in increasing order.
-3, o, 0.3
Suppose g = -61 + 56. Put 29, g, -4 in descending order.
29, -4, g
Let i(k) = k**3 + 4*k**2 + k - 1. Let m be i(-2). Let y(v) = -v**2 - 8*v - 5. Let b be y(-7). Let q be b - (-5)/((-10)/4). Sort q, m, -5.
-5, q, m
Let q = 0.014 + -0.114. Let y = -2.06 + 0.06. Put 0.1, q, y in descending order.
0.1, q, y
Suppose 3*k - 2 = -5. Sort 3, k, 2 in decreasing order.
3, 2, k
Let o be 4/14 - 111/21. Sort o, 3, 0 in ascending order.
o, 0, 3
Let l = 1.1 - 0.82. Let g = l - -0.02. Let j be 2 + -2 + -3 + -1. Sort g, j, 0.5 in decreasing order.
0.5, g, j
Suppose -3 = -3*y + 3. Sort -1, y, 3 in decreasing order.
3, y, -1
Suppose 3*y - 9 = -4*h + 19, -4*h = -2*y + 12. Suppose -6*c + y = -4*c. Suppose -1 - 3 = 4*l + g, -3*l - c = g. Put -2, l, -4 in increasing order.
-4, -2, l
Let r = -25 + 30. Suppose -2*f + 0*n - 3*n - 1 = 0, -1 = n. Sort r, f, -0.3 in decreasing order.
r, f, -0.3
Let t = -3 - -8. Let p = 7 - 6.6. Put 0.2, p, t in descending order.
t, p, 0.2
Suppose 2*w + 3*q - 8 - 8 = 0, -2*w - 5*q + 20 = 0. Sort 2, w, -2, -3 in descending order.
w, 2, -2, -3
Suppose 20 = r + 5*m - 10*m, -6 = 2*m. Suppose 3*g + 0 = 9. Suppose -g*d = -d. Put r, -5, d in decreasing order.
r, d, -5
Let z = 0.046 - 2.046. Sort z, -1/11, -3/4, -3.
-3, z, -3/4, -1/11
Let s be 4*((-1)/(-2))/((-6)/12). Sort 2, s, -2, -5 in increasing order.
-5, s, -2, 2
Let m(d) = 2*d - 17. Let h be m(6). Sort 2, 3, h, -2 in descending order.
3, 2, -2, h
Let d = 161 - 161.4. Put 0.4, d, -1/2 in descending order.
0.4, d, -1/2
Suppose 0 = p - 3 + 2. Suppose -4*r = -9 + 17. Put p, -1, r in descending order.
p, -1, r
Let q = 0.5 + -0.6. Put q, 11, -3 in decreasing order.
11, q, -3
Suppose s = -4*f - 35, f = 3*f + 10. Sort -0.4, 2, 0.1, s.
s, -0.4, 0.1, 2
Let j = -8 + 12. Let i = 4.4 - 4. Let s = 1.4 - i. Put j, s, -1/9 in decreasing order.
j, s, -1/9
Let z(c) = -c**2 - 2*c. Let l be z(-2). Suppose 2*r - 6*r - 4 = 0. Let m(f) = f**2 - 14*f + 3. Let y be m(14). Sort r, l, y in decreasing order.
y, l, r
Let p be 2/4 - 1/(2/(-5)). Put 0, p, -3 in ascending order.
-3, 0, p
Suppose -22 = -4*y - 62. Let a = -8 - -13. Let j = y + a. Sort 2, j, -1.
j, -1, 2
Let h be ((-12)/(-10))/(-1) + 1. Put 1/5, h, -17, 5 in decreasing order.
5, 1/5, h, -17
Suppose 5 = -w - 1. Let i = w + 4. Suppose -1 = -p - 4. Put p, i, 3 in decreasing order.
3, i, p
Let o = -6 + 8. Let l = -2 - -2. Put o, -2, l in decreasing order.
o, l, -2
Suppose 0 = -5*l + 2*a + 3, -5*l + 4*a + 5 = 4. Put 4, 17, l in ascending order.
l, 4, 17
Let r = 31 - 33. Put 2/5, r, 0 in ascending order.
r, 0, 2/5
Let t be (0 - 0)/(3 - 2). Suppose -28 - 97 = -5*g. Suppose g = -2*h - 3*h. Put 0.5, h, t in ascending order.
h, t, 0.5
Suppose 0 = r - 8 + 12. Sort 5, r, 0, -5.
-5, r, 0, 5
Let c = 10 - 23. Let o = c - -15. Put -3, o, -1 in ascending order.
-3, 