= -x + 2*p - 11. Let h be 1 + (2 + 0)*-3. Put 4, h, x in descending order.
4, x, h
Let d = -20 + 20.5. Sort 7, 1, d, -1/7 in descending order.
7, 1, d, -1/7
Suppose -2*q + 4*r + 22 = 0, -3*q + 2*r = -6*q + 1. Suppose -q*c = c. Let v = 1 - 2. Sort 1, c, v in increasing order.
v, c, 1
Let d(x) = 3*x**2 + x**3 - 4 - x**2 - x + 5. Let t be d(-2). Suppose -u - n + t*n = -8, 3*n = 3*u - 12. Sort -1, 5, u.
-1, u, 5
Let m = 0.7 - 1.1. Put 1/4, 3/10, m in decreasing order.
3/10, 1/4, m
Let d = -7.2 - -9. Let o = d + -2. Let a = -17/30 - -1/15. Put -0.4, a, o in decreasing order.
o, -0.4, a
Let p(q) = q**3 - 9*q**2 + 9*q - 10. Let a be p(8). Let z(m) = 4*m**2 - 2*m + 2. Let s be z(1). Put s, a, -1 in decreasing order.
s, -1, a
Suppose 0*b = b. Suppose b = -4*x + x + 3. Suppose 4*h - 6 = -22. Sort h, -3, x in descending order.
x, -3, h
Let h(t) = -t**2 - 17*t - 4. Let n be h(-17). Let w be 1 + 0*n/(-8). Sort w, 6, 2 in decreasing order.
6, 2, w
Suppose -3*r + 8*r = -20. Put 4, -1, r in descending order.
4, -1, r
Let c = 1 - 1.2. Let k = -19 - -18. Put k, c, 0.3 in ascending order.
k, c, 0.3
Let o = -6 - -10. Put o, 0.04, 0.4 in ascending order.
0.04, 0.4, o
Suppose -70*i = -71*i + 1. Sort i, -10, -2.
-10, -2, i
Suppose -3*t - 19 = -3*g - 7*t, -g - 15 = -4*t. Let m = 1 - 1. Let x = 0.3 + m. Sort g, x, 0 in increasing order.
0, x, g
Let z = -16 + 16.5. Sort -1, z, -0.4.
-1, -0.4, z
Let m = -91952/5605 + 6/1121. Let o = -17 - m. Let z = -0.15 - 0.35. Sort z, o, 0.3 in increasing order.
o, z, 0.3
Let u(m) = -m**3 - 4*m**2 + 13*m + 2. Let i be u(-6). Put i, 2, 1 in ascending order.
i, 1, 2
Let o = 0 + -0.01. Put 0.5, -3/2, o in descending order.
0.5, o, -3/2
Let d = 12 - 7. Let w = 3 - 2. Let g = -1 + w. Put d, -2, g in ascending order.
-2, g, d
Suppose 4*a + 0*g + 6 = 3*g, 2*a + 4*g + 14 = 0. Suppose -26*k + 12*k - 56 = 0. Put a, 1, k in descending order.
1, a, k
Let y = 12.6 + -17. Let a = y - -2.4. Put 0.11, a, -0.3 in increasing order.
a, -0.3, 0.11
Let b be (-2)/5 + (-21)/(-15). Put -5, b, 5 in descending order.
5, b, -5
Let v(f) = -2*f - 1. Let b be v(2). Suppose -4*g + 13 = 5. Sort g, b, -4.
b, -4, g
Let g = 20.58 - 24.6. Let o = 0.02 + g. Let c = 3 + o. Sort c, -2, 0.03.
-2, c, 0.03
Let h = 0.062 - 2.062. Let l = 887/7 - 127. Put h, 0.2, l in descending order.
0.2, l, h
Let f = 262/3 + -88. Sort -0.2, f, 0.1, 3 in descending order.
3, 0.1, -0.2, f
Let y(s) = s - 3. Let h be y(6). Sort -5, 5, h in ascending order.
-5, h, 5
Suppose 0 = -3*s - 6 + 21. Let i = s - 6. Let p = -1 + -1. Sort 0, p, i in descending order.
0, i, p
Let p(x) = x**3 + 9*x**2 - 11*x - 10. Let i be p(-10). Sort -3, -5, i.
-5, -3, i
Suppose y + 3*a = 5*y - 17, -4*a - 1 = -y. Suppose 5*w - 25 = -5*b, -4 + 20 = 2*w + 5*b. Put w, 1, y in descending order.
y, w, 1
Suppose -j - l = -2, 5*j + l - 10 = 5*l. Let m be 2 + 8 + 2 + j. Suppose -3*v = h - 2*h - m, -14 = -5*v - 3*h. Sort v, -2, 1 in ascending order.
-2, 1, v
Let d = -2/9 + 8/9. Let u = -1486 - -10380/7. Let y = u - -23/14. Put d, 3/7, y in increasing order.
y, 3/7, d
Let s = 28 + -17. Let a(o) = -o + 7. Let k be a(s). Put -5, 3, k in ascending order.
-5, k, 3
Let k = -0.4 - 0.6. Let q = k + 0. Put 6, -4/5, q in increasing order.
q, -4/5, 6
Let g be -1 + 0 + 2 + -1. Suppose u - n + 174 = 4*u, u + 4*n - 58 = g. Let r = u + -176/3. Sort 4, r, -1 in descending order.
4, r, -1
Let b = 1 + 0. Suppose -5*w + 9*w = -16. Put w, b, -0.5 in increasing order.
w, -0.5, b
Let w = -24 - -24.06. Sort -0.4, w, -0.5 in descending order.
w, -0.4, -0.5
Suppose 5*g + 14 = 4. Sort g, -3, 5 in increasing order.
-3, g, 5
Let l(j) = j**3 + 6*j**2 + 3*j - 5. Let a be l(-5). Put -5, a, 1, 3 in decreasing order.
a, 3, 1, -5
Let n be -34*(1 - (-6)/(-12)). Sort -5, 4/5, n.
n, -5, 4/5
Suppose 9 - 54 = -5*x. Suppose m + 2*k = x, 15 = -0*k + 5*k. Sort -3/2, 0, m in increasing order.
-3/2, 0, m
Let o = -5901/17 - -347. Sort 3, 0, o, -11.
-11, o, 0, 3
Suppose -4*s = -7 - 13. Sort s, 0, -1.
-1, 0, s
Let d = 20 - 17. Put 0.5, d, -5 in descending order.
d, 0.5, -5
Let l(q) = -q**2 + 5*q - 4. Let v be l(5). Sort 3, v, 4 in ascending order.
v, 3, 4
Let x = -38 + 40. Put -1/9, x, 5 in descending order.
5, x, -1/9
Let z = 221750 - 36588562/165. Let u = z - 14/11. Put -1, 2/5, u in ascending order.
-1, u, 2/5
Let z = 58 + -60. Put z, 5, -2/13 in decreasing order.
5, -2/13, z
Let q = 163 - 162.33. Let a = q - 0.27. Sort 3, 1/5, a in increasing order.
1/5, a, 3
Let g(u) be the first derivative of u**4/4 + u**3 - 5*u**2/2 + u + 3. Let p be g(-4). Sort 3, p, -4 in decreasing order.
p, 3, -4
Let y = -11 + 13.2. Let m = y + -2. Let a(i) = i**2 - 2*i - 5. Let x be a(4). Put 0.5, x, m in ascending order.
m, 0.5, x
Let t(u) = -u**2 - 8*u. Let y be t(-8). Put -1, 4, y in increasing order.
-1, y, 4
Let l = 16 + -13. Put -0.4, 1/2, l in decreasing order.
l, 1/2, -0.4
Let v = -28 - -12. Let n = 14 + -10. Put -4/5, v, n in ascending order.
v, -4/5, n
Let q = 0.4 + -1.4. Sort q, 4, 1.
q, 1, 4
Suppose 3*d + 10 = -2*d. Put -20, d, 0 in decreasing order.
0, d, -20
Suppose 0 = 5*d - 3*n + 2, -2*d + 6*d - 4 = n. Let g = 14 - 9. Sort -2, d, g in decreasing order.
g, d, -2
Let u = 0.02 - 0.42. Let z = 0.1 + u. Let o be 16/6 + 4/(-6). Sort o, -3/2, z in decreasing order.
o, z, -3/2
Let w(g) = g**3 - 15*g**2 + g - 16. Let s be w(15). Sort -5, s, 5, -4.
-5, -4, s, 5
Suppose -2*w + 8 = 2*w. Suppose 0*f = -w*f - 2. Let g be (-2)/(-4)*(-1 + f). Put -0.5, g, 2 in ascending order.
g, -0.5, 2
Suppose 0*w = 3*w + 3. Let x be w/2 - (-3)/8. Let r = 0.2 + -5.2. Put r, 2, x in ascending order.
r, x, 2
Let f(g) = -4*g + 9. Let z be f(4). Let w be (1 + 0)/(6 + z). Put w, -2, -4 in decreasing order.
w, -2, -4
Let w(a) = a**2 + 6*a + 4. Let k be w(-4). Let r be 8*-1*k/(-8). Put -2, r, -5 in ascending order.
-5, r, -2
Suppose 6*g - 36 = -0*g. Let q be 21/(-84) - g/(-88). Let t = -1.7 + 2. Sort q, -5, t in descending order.
t, q, -5
Let n(w) = 20*w**2 + w - 1. Let f be n(-1). Let o = 17 - f. Sort o, 5, 3 in descending order.
5, 3, o
Let t = 0.2 - 0.18. Let x = t + -0.02. Sort x, 3/4, -1/2 in ascending order.
-1/2, x, 3/4
Suppose 5*w + w - 12 = 0. Sort 5, 0, w in decreasing order.
5, w, 0
Let v = 0.07 + -0.37. Let c = 15.25 - 17. Let a = -0.25 + c. Put a, v, 1/7 in decreasing order.
1/7, v, a
Suppose 0 = 3*i + 2*j - 14, i = -5*j + 1 - 18. Suppose i*c = 11*c. Sort 2, 4, c.
c, 2, 4
Suppose 5*x = -11 + 1. Sort x, 2, 0 in increasing order.
x, 0, 2
Let j = 19 - 12. Let z = j + -6.9. Sort z, 0.3, -1/4 in decreasing order.
0.3, z, -1/4
Suppose 3*i = -3*h + 5*i - 10, 5*h + 4*i = -46. Let w be 2/(-6) + (-2)/h. Let c = -0.1 + -0.9. Sort -5, c, w in ascending order.
-5, c, w
Suppose w - 9 = -5*t - 22, -4*w = -2*t + 8. Put 2, w, -5, -4 in decreasing order.
2, w, -4, -5
Suppose -20 = -3*o - 2*o. Let x = 0 + 1. Sort o, x, -3/7 in decreasing order.
o, x, -3/7
Suppose -x + 5*x + 12 = 0, -2*k = 4*x + 2. Let z = -4 - 0. Put z, k, 3 in descending order.
k, 3, z
Let s = -22431/4 + 5671. Let j = -63 + s. Let n = 6 - 9. Sort n, 2, j.
n, j, 2
Let y(k) be the third derivative of -k**4/12 - 7*k**3/6 - k**2. Let p be y(-5). Sort -2, 4, p.
-2, p, 4
Let z = 22 - 22. Put 5, z, 1 in decreasing order.
5, 1, z
Let n = 0.2 - 0. Let k = -0.11 + 0.21. Let u = k + n. Sort u, -0.2, 3 in decreasing order.
3, u, -0.2
Let u = 40 + -37. Sort 0, 1, u in increasing order.
0, 1, u
Let d(v) = -v**2 + 3*v - 1. Let f be d(4). Let l = 324 - 322. Sort -8, l, f in descending order.
l, f, -8
Let v = 73 + -69. Sort -4, -2, 6, v in ascending order.
-4, -2, v, 6
Let y(f) = -5*f. Let a be y(2). Let r = -17/2 - a. Let j = -2 + 6. Put j, r, 0.5 in descending order.
j, r, 0.5
Suppose 0 = -4*w + 3*i + 10, -2*w + 3*i + 0*i + 8 = 0. Let c be ((-6)/(-3) - 4) + w. Sort 4, -2, c in descending order.
4, c, -2
Let u = -3 + 5. Suppose q - u + 1 = 0. Let v be (-3)/((-6)/(-4))*-2. Sort v, -3, q.
-3, q, v
Let h(n) = -n**2 + 7*n + 20. Let d be h(9). Sort -5, 5, 1, d.
-5, 1, d, 5
Let p(f) = -f**2 - 10*f - 11. Let b be p(-8). Sort b, -3, -4 in ascending order.
-4, -3, b
Let t be 194/180 + (-2)/(-9). Let k = -8/5 + t. Let b = k + 1/2. Put -5, b, -1 in increasing order.
-5, -1, b
Suppose 5*r + 8 = 7*r. Sort -4/3, 4/7, r.
-4/3, 4/7, r
Let u(i) = -i**2 + 20*i - 55. Let f be u(17). Sort