k = -7 - -10. Suppose a*d - 2 - 1 = k*v, -7 = 3*v - 4*d. Put -1, -5, v in ascending order.
-5, -1, v
Let g be -3 - (-1)/((-2)/(-10)). Suppose -g*t - 2*t = m + 19, 0 = -5*m - 2*t - 5. Let r be (-5)/(-2)*(-24)/(-15). Put 0, m, r in increasing order.
0, m, r
Let q = 17/14 - 193/182. Put q, -1, -0.5 in descending order.
q, -0.5, -1
Let b = 12.5 + -12. Sort 3, b, -1, -3/2 in increasing order.
-3/2, -1, b, 3
Let f be (-2)/5 - (-144)/285. Let l = -61/38 + f. Put l, 2, -2/23 in ascending order.
l, -2/23, 2
Let n(d) = d**2 + 6*d - 2. Let q be n(-6). Let x = -3 + -2. Let r = 8 + x. Sort r, 0.4, q in ascending order.
q, 0.4, r
Let l = 123 - 128. Sort 5, l, -9 in descending order.
5, l, -9
Let q = -70 - -75. Let s(r) = -r**3 - 2*r**2 - 3*r - 2. Let t be s(-2). Sort t, -5, q in increasing order.
-5, t, q
Let f = -14 - -13.89. Let n = f - -8.11. Let x = 8.3 - n. Put 3/5, x, -0.3 in decreasing order.
3/5, x, -0.3
Suppose 4 - 13 = 3*a. Sort -2, -26, a, -5 in increasing order.
-26, -5, a, -2
Suppose -3*v = -8*v + d - 7, -v - 8 = 2*d. Let w be 5 + 0 + 1 + v. Let f = -2 + -2. Sort 2, w, f in decreasing order.
w, 2, f
Let r = 6.3 - 6. Let w be -3 + 4/2*8. Suppose -4*b + 12 = 4*y, -2*b = b + y - w. Sort b, 2, r in descending order.
b, 2, r
Let c = 49 + -48. Sort -1, 4, c in increasing order.
-1, c, 4
Let o = -2.35 + 2.05. Put 3/7, 4/5, o, -0.5 in decreasing order.
4/5, 3/7, o, -0.5
Let l = 1.1 - 1.13. Put -2, l, 0.4 in descending order.
0.4, l, -2
Let l(p) = -p**3 + 7*p**2 - 4*p - 14. Let c be l(6). Put -16, c, -4 in descending order.
c, -4, -16
Let m be (-4)/(-6) - (-4)/3. Suppose -x - x = -m. Suppose 5*r - x = -6. Put -5, -4, r in descending order.
r, -4, -5
Suppose p = 4*t - 11, -2*t + 12 = 3*p + t. Let x = -2 - -3. Let s = x - 3. Put p, s, -5 in decreasing order.
p, s, -5
Suppose -2*q = -q - 4*t - 4, -5*t = 3*q + 5. Suppose -3*a = -q*a. Sort a, -4, 4 in decreasing order.
4, a, -4
Let g be 0 + ((-5)/4 - -1). Sort g, -0.02, 0.3.
g, -0.02, 0.3
Let b = 0.3 - 0. Let j = 244/553 - 1/79. Put 3, j, b in ascending order.
b, j, 3
Let t = 88 + -88.09. Put 2, 4, t, -1 in ascending order.
-1, t, 2, 4
Let u = 1.2 + -1. Let f = u - 1.2. Let x = 0 + -0.2. Sort x, f, -2/5 in descending order.
x, -2/5, f
Let o be 7/3 - (-2)/(-1). Put 3, -2/11, o in descending order.
3, o, -2/11
Let g be ((12 + 0)/(-2))/(-8). Sort g, -2/3, -0.1, -5 in decreasing order.
g, -0.1, -2/3, -5
Suppose q - 2 = l, 4*l + q + 0*q = 2. Suppose 4*u + 13 = 2*j + 1, l = 3*u - 3*j + 12. Put u, 2, -5 in decreasing order.
2, u, -5
Let p = 1.52 - -0.48. Let h(n) = -n**3 + 4*n**2 + 5*n + 1. Let l be h(5). Put p, 0.2, l in descending order.
p, l, 0.2
Let f = -0.2 - 0.1. Sort 4, 2, f in ascending order.
f, 2, 4
Let p = 5 + -5.14. Let w = p + -0.16. Put w, -1/5, 4/7 in increasing order.
w, -1/5, 4/7
Suppose 0*m = -5*m + 15. Put 0.4, m, 0, -0.04 in ascending order.
-0.04, 0, 0.4, m
Let y = 1 + -2. Suppose -3*v + 12 = -4*i - 5, 2*v = -3*i. Put 4, v, y in increasing order.
y, v, 4
Suppose -19 + 11 = 2*i. Sort -5, i, -1.
-5, i, -1
Let b(y) = -y**3 + 4*y**2 + y - 3. Let r be b(4). Let n = -1.46 - -1.66. Put n, r, -2/9 in descending order.
r, n, -2/9
Let b(h) = h + 6. Let g be b(-6). Suppose g*c = -5*c. Sort 4/5, -2/19, c.
-2/19, c, 4/5
Let l = 13/112 - 9895/336. Let t = -644809/15 + 43016. Let v = t + l. Sort v, 2, 5 in decreasing order.
5, 2, v
Let g = -223/35 + 34/5. Let x = -11 + 12. Put x, g, 5 in decreasing order.
5, x, g
Let c = 0.1 + 0. Let j = -3 + 3.7. Let g = -1.3 - j. Put c, g, -1/6 in increasing order.
g, -1/6, c
Let p = 12.84 + -13. Let a = p - 1.84. Put -0.06, a, 0.5 in decreasing order.
0.5, -0.06, a
Suppose 0 = -3*s + 2 - 8, 0 = 5*y + s - 28. Suppose -y - 2 = -4*u. Suppose 3*t = -5*x - 12, x = -2*t + 1 - u. Sort t, 4/7, 4 in ascending order.
4/7, t, 4
Let p be (-13)/(39/(-6)) - 2*1. Sort p, -1, 1 in decreasing order.
1, p, -1
Let c = 16 - 9. Let w(y) = -y**2 + 9*y - 9. Let l be w(c). Sort l, -5, 2/3 in descending order.
l, 2/3, -5
Suppose 0 = -2*h + 4*g - 3*g - 13, 4*h + g = -17. Sort h, -6, 5, -4 in decreasing order.
5, -4, h, -6
Let u = -16 + 16. Sort -2, u, 2/11 in descending order.
2/11, u, -2
Let a be (-2)/(-3)*(-3)/(-2). Let q(h) = -13*h - 1. Let n be q(-1). Suppose 4*w - n = 7*b - 2*b, 3*w + 2*b + 14 = 0. Put w, 4, a in descending order.
4, a, w
Let h = -3.06 + 0.06. Let x = 0.15 - -0.15. Let q = -0.3 + 0.5. Put q, h, x in descending order.
x, q, h
Suppose r - 5*r - 12 = 0. Let g = 3.388 + -0.388. Sort r, 2, g in descending order.
g, 2, r
Let x = 28 + -33. Let j = -43 - -211/5. Sort j, -0.5, x in ascending order.
x, j, -0.5
Suppose 0 = -4*c + 15 + 5. Suppose -2*z - 12 = -5*f + 18, 0 = -2*f - 3*z + 12. Let r = 4 - f. Sort r, c, -3 in descending order.
c, r, -3
Let k = 0.11 - 0.01. Let d = k + -0.3. Let s = 3 + -8. Sort d, 5, s.
s, d, 5
Let y = 31 - 26. Sort y, 3, -5, 1.
-5, 1, 3, y
Let q be (-3)/18 + 46/60. Let h be (-1)/(-3)*(4 + -1). Sort h, q, 2.
q, h, 2
Let c(v) be the first derivative of v + 3*v**2 + 2 + 1/3*v**3. Let h be c(-5). Sort -3, h, -5.
-5, h, -3
Let z = -2.69 - 0.31. Sort z, 0.2, -4, 0.1 in descending order.
0.2, 0.1, z, -4
Let b = 44/21 - 5/3. Put 5/18, 2/17, b in decreasing order.
b, 5/18, 2/17
Let p(a) = a**3 + 7*a**2 - a - 8. Let g be p(-7). Suppose 2*d + 3*d = 0. Sort d, 5, g.
g, d, 5
Let v be 1/(-1 - 0)*-3. Suppose 0 = 2*n - 5*t + 1, 3*n + 5*t + 12 = -2. Sort 2, v, n in descending order.
v, 2, n
Let w(a) = a**2 + 6*a - 2. Let q be w(-6). Suppose 2*d - 1 = -3*c, c - 4*d - d = -11. Sort 0, q, c in ascending order.
q, c, 0
Suppose -5*k + 12 = 2. Suppose -k*l = l + 9. Let a be (-2)/(-6) - (-2)/(-6). Sort a, 1, l.
l, a, 1
Let j = -4 - -2. Let c be ((-3)/(-12))/(1/4). Let p be 120/32 + c/4. Sort 1, j, p in descending order.
p, 1, j
Suppose -3*u + 2*a = -118, -u - 16 + 42 = 2*a. Suppose 64 = 4*i - u. Suppose -5*y = -0*y + i. Sort 2, 3, y in decreasing order.
3, 2, y
Let m = 7 - 6. Put m, 1/4, -5 in decreasing order.
m, 1/4, -5
Suppose 8*w = 28 + 12. Let o(q) = q**2 + 2*q. Let y be o(-2). Sort y, -3, w in ascending order.
-3, y, w
Let c = 20 + -141/7. Sort c, 7, -1, -5 in decreasing order.
7, c, -1, -5
Let f(c) = c**2 - c - 2. Let l be f(0). Suppose 8 = -4*i + 2*p - 0*p, 3*i = p - 4. Sort l, -4, i in ascending order.
-4, l, i
Let d(u) = u**2 - 4*u. Let h be d(3). Suppose -4*i + v + 16 = -v, -3*i - 4*v = -23. Sort 2, i, h in increasing order.
h, 2, i
Let m = -52 - -51.7. Suppose b + b + 4 = 0. Let y(u) = u + 1. Let q be y(b). Put q, m, 2/9 in ascending order.
q, m, 2/9
Let m = -0.5 - 3.5. Let l = m - -9. Let p = 0.02 - -0.38. Sort 0, p, l.
0, p, l
Let o = -3 - 4. Let c = 5 + o. Sort -0.2, c, 0 in decreasing order.
0, -0.2, c
Let q be 1/1*(-4 + 37/9). Let d = -2 + 2.1. Let z = d + -0.3. Sort q, -3, z in descending order.
q, z, -3
Let n(u) = u**2 - 9*u + 21. Let y be n(4). Suppose -4*p - 22 = 2*a, 4*a + 3*p + p + 32 = 0. Let g be 4/14 - 4/14. Put a, g, y in decreasing order.
y, g, a
Let n = -6.491 - 0.619. Let o = 0.11 + n. Let m = o - -9. Sort 1, -3, m.
-3, 1, m
Let r be (-1 + -1)*(-5)/2. Suppose 20 = 5*b, -5*b + 24 = h - 0*b. Suppose -r = -h*x - x. Sort 5, x, -1 in ascending order.
-1, x, 5
Suppose v - m - 13 = -v, -v = -m - 7. Suppose 0 = -n - n - v. Suppose 9 - 2 = 3*p + g, 0 = 2*p + 3*g - 14. Sort n, p, 4 in descending order.
4, p, n
Let q = 110/3 - 37. Let u = 4.109 + -0.109. Put u, q, 3 in descending order.
u, 3, q
Let q be (-4)/2 - (-2 - -3). Let h = 0.17 - 0.37. Sort q, -2/5, h.
q, -2/5, h
Let y(d) = d - 4. Suppose -u + 24 = 4*w + w, -u - 1 = 0. Let n be y(w). Suppose -4*i + c + n = -6, 5*i - c - 9 = 0. Put -4, i, -2 in descending order.
i, -2, -4
Let m = 33 + -33. Sort m, 4, -4 in descending order.
4, m, -4
Let p = -2 - -2. Let y be (0 + p)/(2/(-2)). Suppose y = 2*b + 3*b - 10. Sort b, -1, 0.
-1, 0, b
Let w = 0.124 - -0.876. Put -0.02, 4, w in increasing order.
-0.02, w, 4
Let u = 1 - -11. Let v = -10 + u. Sort v, 0.07, 4 in increasing order.
0.07, v, 4
Let s be 1 - 5*1/7. Let n = -7.16 + 0.16. Let l = -10 - n. Sort s, -1/3, l in descending order.
s, -1/3, l
Let m be (-10)/(-4) + 2/(-4). Suppose -3*r - 5*g + 6 = 0, m*r + 2*g - 2 = r. Suppose 2*n - 1 = -b - 8, -r*b = -2. Put 5, -1, n in ascending order.
n, -1, 5
Let d be (0/(-13))/(0 - -2). Let q(r) = r**2 - 5*r - 9. Let k be q