 - 2*p - 0*p. Put 7, s, r in ascending order.
r, s, 7
Let q be 1/(-7)*(1 + 1). Let g = -56 + 63. Sort -5, g, q.
-5, q, g
Let u = -7 - -5. Sort 1/3, u, 0.4, 2/7.
u, 2/7, 1/3, 0.4
Let g = 2.5 + -2. Suppose 0 = p - 0*p - 11. Suppose -5*c + p = -14. Sort c, -3, g in descending order.
c, g, -3
Suppose -t = 6*t + 14. Suppose -2*s - 2 = -2*z, -7*s - 2*z = -2*s + 5. Let o = -2 + s. Sort t, 2, o.
o, t, 2
Let c = -22 + 19. Sort c, -0.3, 5 in decreasing order.
5, -0.3, c
Let i = 6 + -13/2. Put -4, i, 0 in decreasing order.
0, i, -4
Let u be 165/(-22)*(-6)/(-9). Sort 2, u, -1, -15.
-15, u, -1, 2
Suppose 4*o - 8 = 4*m, -3*m - 4*o - 13 = -0*m. Sort -0.07, 3, 1/5, m in ascending order.
m, -0.07, 1/5, 3
Let h be (-1)/2 + 7/(-2). Sort 4, h, 6.
h, 4, 6
Suppose 3*v - 8 = 3*f + v, f = 4*v - 16. Suppose 4*u + 5 + 3 = f. Put u, 1, 5 in decreasing order.
5, 1, u
Let r(x) = -x - 4. Let q = -3 - 2. Let m be r(q). Put -4, 0, m in increasing order.
-4, 0, m
Let b be -1*3 + 24/3. Put b, 1, -5 in increasing order.
-5, 1, b
Let k = 49.8 - 23. Let r = k + -26. Sort 4, r, -0.4 in decreasing order.
4, r, -0.4
Let m be 2 + 2/(-3) - 2. Let w = 0.02 + -0.14. Let o = 4.12 + w. Sort -1, m, o in decreasing order.
o, m, -1
Let t = 11 + -6. Suppose -t*w + 1 = 21. Let x be ((-6)/(-4))/(w/8). Put x, -1, -5 in descending order.
-1, x, -5
Let k = -23 - -14. Let v = k - -8. Suppose 0 = 4*s - 9 + 1. Sort s, v, 4.
v, s, 4
Let d = 50.4 - 51. Sort 5, d, 3.
d, 3, 5
Let t = 174 + -190. Put -4, 0, t, -3 in ascending order.
t, -4, -3, 0
Suppose -5*f + 31 = 11. Suppose -2*y + f = -b, 0*b + 10 = 5*y + 3*b. Let w(n) = n + 4. Let x be w(-9). Sort x, 0, y in ascending order.
x, 0, y
Let y be (-124)/108 + 3/3. Let x = 53/189 - y. Sort -2, -5/2, x in descending order.
x, -2, -5/2
Let d(r) = -r**3 - 7*r**2 - 7*r - 2. Let s be d(-6). Suppose 2*l + s + 4 = 0, 3*m + 33 = -3*l. Sort 1/2, 0, m in increasing order.
m, 0, 1/2
Let d = -1.5 - 0.5. Suppose 4*s - 9 = -3*b, 4*b = -s - 3*s + 8. Put -4, b, d in ascending order.
-4, d, b
Let o = 0.2 - -0.3. Let t be 3/(-15)*(3 + 0). Let h be (3/(-12))/(3/12). Put o, h, t in decreasing order.
o, t, h
Let r be 0 - (1 - 10/2). Let i(c) = c**2 - 2*c - 2. Let a be i(3). Let q be (-4 + 3)*a + -2. Sort 3, r, q in descending order.
r, 3, q
Let w(f) = -f - 2. Let h be w(-5). Suppose -4*n + 3*s - 11 = 2*s, 4*s = h*n - 8. Sort n, 1, -2 in increasing order.
n, -2, 1
Let g(o) = -6*o**2 + 2*o - 3. Let i be g(2). Let l be i/18 + (-2)/9. Put 3/4, 4, l in decreasing order.
4, 3/4, l
Let c = 33 + -28. Put -1, c, -4 in descending order.
c, -1, -4
Let t = -11 + 16. Let z be 2 - ((-5 - -4)/1 + 0). Sort t, -5, z in descending order.
t, z, -5
Let u = -2 + 0. Let p be 3*(-1)/6*u. Put 5, p, -4 in ascending order.
-4, p, 5
Let y(h) = -h**2 - 10*h - 29. Let w be y(-5). Sort 1, 3, w in decreasing order.
3, 1, w
Let z = -392 + 396.03. Let d = z + -0.03. Let l = 4.1 - d. Sort l, -1, -1/9 in decreasing order.
l, -1/9, -1
Suppose -v + 2*v = 2. Sort -2, v, 10.
-2, v, 10
Let v be (-3705)/(-6)*16/170. Let g = -58 + v. Sort 3, 0, g in descending order.
3, g, 0
Let t be (40/12 + -3)*-3. Put t, 0, 5 in decreasing order.
5, 0, t
Suppose 0 = -2*s + b + 8, 1 + 3 = -b. Sort -2, 6, s.
-2, s, 6
Let a = -2 + 7. Suppose -a*m = -10*m + 20. Let t = -6 + 2. Put m, t, -5 in descending order.
m, t, -5
Suppose -4*d = 3*b - 16, -4 = -b + 4*d + 12. Sort 2, b, -1.
-1, 2, b
Let x = 0.065 + -0.565. Sort -9, 3, 1, x in increasing order.
-9, x, 1, 3
Let c = 47 - 47. Let z be (1/2)/((-2)/(-20)). Suppose p + 1 = z. Sort c, -4, p in decreasing order.
p, c, -4
Let d(k) = k**2 - 8*k - 3. Let z be d(5). Let n be (z/(-20))/((-24)/(-20)). Sort 0.1, 2/3, n in decreasing order.
n, 2/3, 0.1
Suppose 3*f + 2 = f. Put 3, 1, f, -5 in decreasing order.
3, 1, f, -5
Suppose -4*b + 27 = -3*u, -b + 3 = 2*u - 1. Suppose -b*o - 2 = -4*o. Sort 2, o, 4 in decreasing order.
4, 2, o
Let m(f) = -f**3 - f**2 + f + 4. Let g(w) = w**2 + w. Let k be g(0). Let q be m(k). Sort 5, q, 3.
3, q, 5
Let g be (-4)/180 + (-4)/(-18). Put -5, -4, g in decreasing order.
g, -4, -5
Let i be -1*(6/(-1))/2. Let c = -4 + i. Suppose 0 = -2*d - 0*d + 6. Put 1, c, d in ascending order.
c, 1, d
Let m be (3/(-12))/(-2 - (-18)/8). Put -2, m, 0 in decreasing order.
0, m, -2
Let i(z) = z**3 - 3*z**2 + z - 2. Let l be i(3). Put l, -5, -0.4 in descending order.
l, -0.4, -5
Let u = 1.71 - 1.41. Put 2, u, 3, -0.4 in descending order.
3, 2, u, -0.4
Let q = -33 + 37. Put q, 5, 7 in decreasing order.
7, 5, q
Suppose 3*t - 5 = 7. Let c be -1*(t - 3) + -2. Let a = -0.2 - 0.8. Sort a, 4, c.
c, a, 4
Let b = -1.4 - -1.6. Sort b, -2/9, -9 in descending order.
b, -2/9, -9
Suppose 3*h - 2*v + 8 = 4*h, 3*h - 5*v + 20 = 0. Put 3, 9, 2, h in decreasing order.
9, 3, 2, h
Let f(s) = -3*s**2 - 3*s - 2. Let u be f(2). Sort u, -1, 4 in decreasing order.
4, -1, u
Suppose -2*h - 2 + 5 = 5*l, 5*h = 3*l + 23. Let p(d) = 6*d - 49. Let i be p(8). Put i, -4, h in decreasing order.
h, i, -4
Let j = 4 + -3.84. Let c = -0.06 + j. Sort -5, c, 2 in increasing order.
-5, c, 2
Let n = -128.7 - -136. Let u = -7 + n. Put -2/11, -2, u in decreasing order.
u, -2/11, -2
Let t = 8 + -7. Put t, 4, 0 in increasing order.
0, t, 4
Let f be -2*(180/8)/9. Let i = 2 - 3. Sort -3, i, f in descending order.
i, -3, f
Let g = 8.1 - 12. Let l = g - -4. Sort -4/7, l, 1/3 in ascending order.
-4/7, l, 1/3
Let u = -2.1 + 2. Suppose d = 4*d - 3. Let w be ((-105)/(-33))/d + -3. Put 1, w, u in ascending order.
u, w, 1
Let n = 13 + -27/2. Let f = 2.96 + 0.04. Sort n, -3, f in descending order.
f, n, -3
Let u(v) = 4*v. Let q be u(3). Suppose -2*l = 2*l - q. Suppose 5*f - x + 20 = 0, f + l*f - x = -16. Sort -1, 0, f.
f, -1, 0
Let n = 6.6 + -0.6. Let z = 1903/2 - 951. Sort 2/13, n, z in descending order.
n, z, 2/13
Suppose 16 = 4*t - 4. Let d = -2 + 0. Put t, d, 1 in descending order.
t, 1, d
Let w(m) = m**2 + m. Let t be w(-2). Let g = 3 - t. Let j = -2 - 1. Sort 5, j, g.
j, g, 5
Let g be ((-1 - 1) + 5)*3. Let n = g + -8. Sort -5, -2, n in decreasing order.
n, -2, -5
Let w = -45 + 44. Sort 2/13, w, 0, 1 in decreasing order.
1, 2/13, 0, w
Suppose 0 = j - 0*q - 3*q, -3*q - 9 = 0. Let g be ((-6)/j)/(2/9). Let a = 0.1 + 0.9. Put a, g, 0.3 in descending order.
g, a, 0.3
Suppose -2*r = -2 - 4. Let c be 2/(-8) - (-50)/8. Suppose 10 = 4*s - c. Put s, -1, r in increasing order.
-1, r, s
Let q = 0.02 - -4.98. Let c = 218 - 197.2. Let l = -21 + c. Put q, -6, l in increasing order.
-6, l, q
Let k = 0.2 - 0.16. Sort 2/11, -0.2, k.
-0.2, k, 2/11
Let q be -1*(-5 - (0 - -2)). Let p = q - 10. Put 2, p, 5 in descending order.
5, 2, p
Let p = 13 + -16. Sort 0.1, -4, p.
-4, p, 0.1
Suppose -4*c - 3 = -5*a, 0 = 3*a - 5*a + 3*c + 4. Let h = -28.4 - -28. Put -5, a, h in increasing order.
-5, a, h
Let t(m) = -2*m**2 - 23*m - 11. Let f be t(-11). Sort -28, 4, f.
-28, f, 4
Let c = -2.1 - -2.5. Let o be (1 + (-4)/6)*-2. Put -5, c, o in descending order.
c, o, -5
Let g(z) = 5*z**2 - 1. Let j be g(-1). Suppose 0*q + 20 = -j*q. Put q, 5, 0 in decreasing order.
5, 0, q
Let n = -1 + 0. Suppose -18*w + 8 = -10*w. Suppose -4*i - 3*t + 1 = 0, i + 13 = -i + 3*t. Put w, i, n in descending order.
w, n, i
Let a = 13.024 + 0.076. Let n = a - 13. Put -3, -0.5, n in descending order.
n, -0.5, -3
Suppose 2*q + q = 2*s + 6, -s - 3 = 3*q. Let k be (-3 - -10)*(-6)/7. Let i be 9/k*1*-2. Put -5, s, i in descending order.
i, s, -5
Suppose 7*n = 52 + 11. Sort n, -1/3, -5.
-5, -1/3, n
Let v = -11 + 6. Let u = -8 - -10. Put 1, u, v in ascending order.
v, 1, u
Let i(p) = -p**3 + p**2 - p + 5. Let k be i(0). Suppose -5*x = -2*f + f + 1, k*x = 5*f - 5. Sort -1, x, -3 in decreasing order.
x, -1, -3
Let g = 0.04 - 0.14. Sort -15, 0.1, g in ascending order.
-15, g, 0.1
Let h = 1 + -1. Let n be -7 - (-2 - 1)*4/3. Sort n, 4, h.
n, h, 4
Let v = -18 + 22. Sort -1/4, v, 1/3, 0.5 in ascending order.
-1/4, 1/3, 0.5, v
Let f = -32 + 33. Sort f, 4, 2.
f, 2, 4
Suppose 0 = 5*h - 4*q - 12, 4*q = -h + 2*q - 6. Suppose h = 4*v - 0 - 4. Suppose -2*j + 0*j - 4*o - 10 = 0, 5*j = 5*o - 25. Put j, 0, v in increasing order.
j, 0, v
Let f be (3 + -2)/((-2)/6). Suppose -a = -5*p - 12, -4*a + 27 - 11 = -4*p. Put 3, f, p in increasing order.
f, p, 3
Let z(j) = -j**3 + 7*j**2 - 2*j + 9. Let a = 4 + 3. Let p be z(a). Sort 3,