17*o - 21. Let k be t(-16). Put k, x, 1 in descending order.
1, x, k
Let t = -0.5 - -0.48. Let g = 0.193 + -4.213. Let f = g - t. Put f, -0.2, 1/2 in decreasing order.
1/2, -0.2, f
Let r be -8*(-2)/4 - -1. Let w(n) = n**2 - 6*n + 5. Let x be w(4). Put x, r, -4 in decreasing order.
r, x, -4
Suppose 0 = -g + 3*g. Let l(v) = v**3 - 6*v**2 + 5*v - 7. Let z be l(5). Let r(k) = -k**3 - 8*k**2 - 6*k + 9. Let f be r(z). Put g, -5, f in descending order.
f, g, -5
Let z = -2.6 + 2. Let k = z + 0.4. Sort 4, 0, k in increasing order.
k, 0, 4
Suppose 5*m - 38 + 13 = 0. Sort -4, m, 56 in descending order.
56, m, -4
Let d be 66/(-21) - -7 - (-2)/14. Let n = -1 - -4. Let s = n - 2.5. Put s, d, -0.4 in increasing order.
-0.4, s, d
Suppose 2*k = -r + 4, 12 = -0*k - 2*k - 5*r. Let y be (30/(-25))/((-4)/10). Put 5, k, y in decreasing order.
5, k, y
Let q = 0.247 - 0.047. Sort -0.5, 4, q, 0.22 in ascending order.
-0.5, q, 0.22, 4
Let j = -5.5 + -0.5. Let d = j - -10. Put d, -2, -1/11 in descending order.
d, -1/11, -2
Let c = 1 + -1.1. Let j = 2.106 + -0.106. Let g = -0.8 - -1. Sort g, j, c in descending order.
j, g, c
Let w be (-4)/(-10)*(-85)/(-51). Sort 0.2, w, 6 in decreasing order.
6, w, 0.2
Let y be (5 + -1)/(2 + -1). Let b = 4 - y. Put b, 3, -2 in decreasing order.
3, b, -2
Suppose 2*u + 32 = -3*c + 6, 3*u + 5*c + 38 = 0. Let p = u - -18. Put p, 9, 5 in descending order.
9, 5, p
Let k = -2.83 + -0.17. Sort 4, 3, k in increasing order.
k, 3, 4
Let x = -4/109 + 347/545. Sort x, 1/7, 11.
1/7, x, 11
Let m(y) = 6*y + 3. Let u be m(-1). Let a(f) = -f**2 - 6*f - 6. Let n be 1 + -1 + (-4)/1. Let h be a(n). Put u, 4, h in descending order.
4, h, u
Let b be 1*(-9 - (-7 - -3)). Let c = 10 + b. Put 4, c, 2 in decreasing order.
c, 4, 2
Let x(r) = -2*r - 27. Let o be x(-15). Let k be 2/7 - (-12)/7. Suppose -t = -k*t - 1. Put 5, o, t in ascending order.
t, o, 5
Let d = 0.1 + 0.9. Let t = 4.33 + 0.67. Put t, d, -0.5 in ascending order.
-0.5, d, t
Suppose 0 = -9*f + f + 24. Put 1, -1, f in descending order.
f, 1, -1
Let r(w) = w**3 - 2*w**2 - 3*w - 4. Let z be r(3). Put z, -5, 2 in decreasing order.
2, z, -5
Let k = -66 + 202/3. Put 2, -2/27, -0.5, k in descending order.
2, k, -2/27, -0.5
Let j be (-133)/(-35)*5/(-2). Suppose -5*h = -25, 0*h - 47 = 3*p - 4*h. Let c = j - p. Put -0.1, c, -3 in descending order.
-0.1, c, -3
Let j = 8 + -7.92. Let l = -0.22 - j. Put 0, 5, l in decreasing order.
5, 0, l
Suppose j + 0 - 10 = 2*n, 0 = 4*n - 3*j + 20. Let x be ((-48)/36)/((-2)/(-3)). Sort 2, x, n in descending order.
2, x, n
Suppose -5*t - 28 = -j, 0 = 4*t - j - 7 + 30. Sort 2, 0, 2/11, t in decreasing order.
2, 2/11, 0, t
Let u = -450.97 + 447. Let f = -0.03 + u. Let r = -3 - f. Put -2/23, r, -3 in ascending order.
-3, -2/23, r
Let h(j) = j**2 - 1. Let r be h(-2). Put -5/2, r, 2 in descending order.
r, 2, -5/2
Let a = -2.75 - -2.7. Sort -0.2, -1, a in decreasing order.
a, -0.2, -1
Let r be ((-3)/(-2) + 0)/(33/22). Sort -3, r, -4, -2 in decreasing order.
r, -2, -3, -4
Suppose -y + 3 = 0, 0 = -3*z - 3*y - y + 18. Let q = 0.084 - -0.016. Sort z, -5, q in ascending order.
-5, q, z
Suppose 4*p - 3*o = -4, 5*p + 2*o + 5 = -o. Let g be 2 + 2/1 + -1. Sort -4, p, g in descending order.
g, p, -4
Let q be 2/(-9) + (3 - (-579)/(-189)). Sort 0.4, -18, q.
-18, q, 0.4
Let m be 6/12*16/(-60). Sort m, 5, 0.4 in descending order.
5, 0.4, m
Let a be ((-2 + 2)/(-1))/(-2). Suppose -2*w = w + 5*n - 24, 3*w = 5*n - 6. Put -1, w, a in descending order.
w, a, -1
Let o = 7 - 3. Let x = 1.53 - -0.47. Sort 3/4, o, x in descending order.
o, x, 3/4
Suppose r + r - 4 = 0. Let j = 10 - 28/3. Sort j, -0.5, r.
-0.5, j, r
Let u be 3/(2 - (-11)/(-4)). Let z = u + 3. Suppose 3*i - v = -2*i - 2, 4 = 5*i + 2*v. Sort -5, z, i in increasing order.
-5, z, i
Let c = -0.44 + 0.04. Let n = c - -0.4. Let i(v) = -v**3 - 4*v**2 + 3. Let g be i(-4). Put g, n, -1 in ascending order.
-1, n, g
Let d(c) = c - 1. Let b be d(4). Suppose -4 = -b*s - 1. Let g(x) = -2*x + 2. Let n be g(3). Sort 3, s, n in ascending order.
n, s, 3
Let x = -29 - -26. Let z = 1 - 0. Sort z, x, -1 in ascending order.
x, -1, z
Suppose -3*s + 26 = -4*z, 4*s = z - 0 + 13. Let j(p) = -p - 4. Let m be j(-9). Sort z, m, 3 in decreasing order.
m, 3, z
Suppose 3*n = -n + 4*h - 20, 5*h = -5*n - 25. Let v = 6 - 8. Let g(u) = -2*u**2 + 5*u + 38. Let z be g(6). Put v, n, z in descending order.
v, z, n
Let y = 4 - 6. Let b = y + 3. Suppose -3*t + 4*t - 3*k = 6, 2*t - 10 = 5*k. Put b, -2, t in descending order.
b, t, -2
Let v = -16 + 15.8. Put -0.05, v, 0 in increasing order.
v, -0.05, 0
Suppose -3*x + 4*c - 17 = 0, x + 14 = -3*x + c. Sort -23, x, 5.
-23, x, 5
Let g = 3 - -1. Suppose g*k + 0*n + n = 0, 0 = -4*n. Let v = -6.5 + 6. Sort v, k, -3 in ascending order.
-3, v, k
Let o be (-4)/10*(-30)/6. Suppose 0 - 2 = o*w - 2*m, -4*m = -2*w - 4. Sort w, 3, 1 in increasing order.
w, 1, 3
Let m be -2 - (0 + 0 + -3). Suppose -n - 4*o = 15, 3*o = -3*n - 0*o. Sort m, n, 4 in ascending order.
m, 4, n
Let m = 37 + -39. Sort 13, m, -3 in increasing order.
-3, m, 13
Let r(w) = w**2 - 2*w - 1. Let h be r(2). Let s(c) be the second derivative of c**3/6 - c**2 + 2*c. Let t be s(0). Sort h, t, 2 in ascending order.
t, h, 2
Let l = -18.4 + 18. Sort l, -4, 1 in ascending order.
-4, l, 1
Suppose -4*i = 4*h - 24, 2*h = -2*h + 16. Suppose -b = 3*g + 15, 0*b + 3*b + 10 = -2*g. Put 4, i, b in descending order.
4, i, b
Suppose 5*y + 0*y = -25. Suppose -4*k + 16 = -u - u, 0 = -5*u - 3*k - 14. Put y, u, 0 in descending order.
0, u, y
Let v = -1 - -4. Suppose 2*l + v = -7. Let n(p) = -p**2 + p - 1. Let u be n(0). Sort 4, l, u.
l, u, 4
Let k = -0.2 - -0.1. Let d(f) = -f - 3. Let o be d(0). Put -0.5, o, k in decreasing order.
k, -0.5, o
Let w be 2 - (1 - -1*6). Let y = 8 - 3. Put w, 3/4, y in decreasing order.
y, 3/4, w
Let o = -15 - -17. Put -2/3, o, 0.4 in decreasing order.
o, 0.4, -2/3
Suppose -8*m = -3*m - b + 7, 3*m + 3*b - 3 = 0. Let f be (-12)/(-4) + (1 - -1). Suppose 2 = -f*h + 7. Sort m, -3, h.
-3, m, h
Let k be (-1)/((1 - 0) + -2). Let g be (k - -1 - 4) + 1. Put -2, g, 1 in descending order.
1, g, -2
Let s(v) = v + 7. Let u be s(-4). Suppose 3*m = 2*m + u. Put -3, m, -1 in descending order.
m, -1, -3
Let h(z) = 2*z + 15. Let o be h(-5). Put o, 2, 0 in decreasing order.
o, 2, 0
Suppose -4 = 2*g - 4*g + 4*o, -4*o - 4 = 0. Put g, -3, -1, -2 in ascending order.
-3, -2, -1, g
Suppose 3*u + 0 = 5*o - 15, 0 = 3*o - 3*u - 9. Let m be 2/(-8) + 2/8. Let y(f) = -3*f + 3. Let a be y(2). Sort a, m, o.
a, m, o
Let f = -4 - -3. Let q = -16 + 30. Let i = q + -9. Put i, 3, f in ascending order.
f, 3, i
Let j = -12 + 12. Sort j, -3, 4 in decreasing order.
4, j, -3
Let u = -0.21 + 0.01. Let k be (-3)/(-2) - (-2)/12. Put k, 1, u in ascending order.
u, 1, k
Let t = 70 + -208/3. Let l = -4.875 - 0.125. Put l, t, 0.3 in increasing order.
l, 0.3, t
Let r(m) = -m**2 + 8*m + 28. Let n be r(10). Put 0, n, 2, 5 in increasing order.
0, 2, 5, n
Let q(m) = 3*m**2 - m + 1. Let l be q(1). Put l, 2, 5 in increasing order.
2, l, 5
Let n be 1/5 + 45/25. Suppose -n*x = -0*x. Suppose x = -6*v + 2*v + 8. Sort 0, -2, v in increasing order.
-2, 0, v
Suppose -10*z = -17*z + 42. Sort -3, -5, -1, z in descending order.
z, -1, -3, -5
Let h = -47 + 48. Suppose g + 5*w + 15 = 0, 0*g + 3*w = 3*g + 9. Put g, 1/4, h in decreasing order.
h, 1/4, g
Let n(a) = 2*a**2 + 5*a + 2. Let w be n(-3). Put 0.1, 2, w in decreasing order.
w, 2, 0.1
Let i = -11.8 - -14. Let k = 2.1 - i. Sort -5, k, 0.2 in ascending order.
-5, k, 0.2
Suppose -5*v = -20, -4*v = 6*p - 2*p - 416. Let k be (-95)/p + 9/12. Put k, 1/4, 2 in increasing order.
k, 1/4, 2
Suppose -12 = -p - u, -2*p - 2*p + u + 58 = 0. Suppose -2*s - 3*c + 20 = 0, -5*s = c + c - 28. Let r be (-37)/(-7) - s/p. Sort 0, r, 1 in decreasing order.
r, 1, 0
Let l = 2 + -3. Let p be (3/(-2))/((-3)/10). Let h be -3 - (-4)/4*p. Sort h, l, 5 in descending order.
5, h, l
Let n(z) = z**2 - 6*z - 2. Let u be n(6). Let r = u - 0. Let a = -4.3 + 3.9. Sort r, -0.2, a in descending order.
-0.2, a, r
Let z = -0.476 + -0.024. Put 4, -0.3, z in ascending order.
z, -0.3, 4
Let l = 962/15 - 64. Suppose v = -5*h - 6, -6*h + 3*h - 14 = -2*v. Sort l, h, 7 in ascending order.
h, l, 7
Let j = -75 - -70.3. Let a = j + 5. Let