 = x - s. Sort -2/15, -2/3, p in increasing order.
-2/3, p, -2/15
Suppose 5*z = -3*x + 1, 4*x - 2*x = 3*z - 12. Let i be x + (-1)/(2/(-20)). Suppose -3*p + 8 = -i. Sort 1, 3, p.
1, 3, p
Let a(s) = -s + 3. Let d(x) = -1. Let p(y) = a(y) + 3*d(y). Let m be p(10). Let i = 14 + m. Put i, -5, -4 in decreasing order.
i, -4, -5
Let d = 1428 - 1419. Let g(i) = -i + 2. Let q be g(3). Put q, -0.5, d in decreasing order.
d, -0.5, q
Suppose 0*d - 5*d + 20 = 0. Suppose -4*a = 3*g + 15, 4*g + 5*a + 22 = 2. Put g, 9, d in increasing order.
g, d, 9
Let m = -65/3 + 197/9. Sort 1, m, 2, -111 in ascending order.
-111, m, 1, 2
Let u = -4/5 - -17/15. Put 5, 69, -5, u in descending order.
69, 5, u, -5
Let s = 7 + -5. Let r = -208 + 119. Let q = r - -90. Sort q, 0.2, s in decreasing order.
s, q, 0.2
Let b = -41.4 - -41.5. Put 0.3, -4, b in descending order.
0.3, b, -4
Let v = 37.6 + -37.5. Put -0.21, v, 0.5, 1/3 in ascending order.
-0.21, v, 1/3, 0.5
Let i be (-2)/(-28) + 7650/(-476). Let y(l) = -l**3 - 2*l**2 + 2*l + 1. Let p be y(-3). Let w be (12/135)/(p/(-10)). Put w, 3, i in descending order.
3, w, i
Let d = 269 + -265. Put 5, -4, 105, d in decreasing order.
105, 5, d, -4
Let z = 1316 - 1311. Sort 2, -52, 0, z in ascending order.
-52, 0, 2, z
Let d be (10/8 - 0)*-4. Let h be 0 + -1 - (-1)/1. Let y(u) = 6*u**3 - 3*u**2 + 3*u - 1. Let b be y(1). Put h, d, b in ascending order.
d, h, b
Let g be (-17)/(-16)*-4 + 6. Put g, 3, 2 in decreasing order.
3, 2, g
Let w = 2 - 18. Let h be ((-1)/(-22))/1*w/(-4). Let a = 0.01 + -2.01. Sort -0.4, a, h.
a, -0.4, h
Let n(d) = -d**3 - 6*d**2 + 54*d - 8. Let a be n(-11). Put -3, a, -5, -30 in increasing order.
-30, -5, -3, a
Let i be (-4)/10 - (-1 + 2/(-10)). Let h = -1623/5 - -325. Sort i, -3, h in decreasing order.
i, h, -3
Let k be 2/7 + 2/(-7). Let f(z) = z**2 + 5*z - 1. Let a be f(-4). Put -1, k, a in ascending order.
a, -1, k
Let k = -3839/8 + 480. Put 3, -2, -15, k in descending order.
3, k, -2, -15
Let f be 729/405 - (-2)/10. Put f, -1, -6 in increasing order.
-6, -1, f
Let z = 63 - 61. Let r = 14 + -16. Let d = 9.3 + -10. Put r, z, d in decreasing order.
z, d, r
Let n = -28 - -31. Let v(p) = -2*p - p - 8 + 4*p + 13. Let c be v(-7). Put c, -0.3, n in decreasing order.
n, -0.3, c
Let o = 104.2 + -104.1. Suppose d + 5*h = 10, -2*d - 5 + 20 = 5*h. Put -4/7, d, o, 0.4 in descending order.
d, 0.4, o, -4/7
Let d = -5 - -7. Let x be (-2*1)/(4/3). Let n = 7/4 + x. Put n, d, 0.2 in ascending order.
0.2, n, d
Let c(v) be the third derivative of v**5/30 + 5*v**4/24 + v**3/3 + 7*v**2. Let y be c(-3). Suppose y*r - 21 = 4. Put 0.9, 0, r in descending order.
r, 0.9, 0
Suppose -4*x - 3*f = 20, 0 = -x + 6*x + 5*f + 30. Let j be 6/4*(-12)/(-117). Let s = 13.114 - 17.114. Sort s, x, j in descending order.
j, x, s
Let l = 2/279 - 568/1395. Put -0.016, 1, l in ascending order.
l, -0.016, 1
Suppose d = 4*a + 1, -5*a + 3*d + 1 = d. Let m be 2*a + 5/(25/10). Suppose -t = -2 - 2. Put m, -5, t in descending order.
t, m, -5
Suppose 2*x + 6 = 2*h, -3*h = 3*x - 1 - 8. Sort -2, 1, h in increasing order.
-2, 1, h
Suppose -3 = -y + 2. Suppose -3*j - 3*c = -j - y, 3*j = 5*c - 21. Put 2, -1, -5, j in decreasing order.
2, -1, j, -5
Let w = -1371/44 + 340/11. Put 0.2, 3, w, 53 in decreasing order.
53, 3, 0.2, w
Suppose 2*a - 36 = -a. Suppose z = 2*z - a. Let t = z - 10. Sort t, -5, -2/7 in decreasing order.
t, -2/7, -5
Let v(a) be the first derivative of a**4/4 + 11*a**3/3 + 5*a**2 + 15*a - 5. Let q be v(-10). Let f be 6/q + (-45)/50. Sort f, 0, -2 in decreasing order.
0, f, -2
Let y(p) = -p**2 - 5*p + 3. Let c(f) = f - 3. Let q be c(-3). Let d be y(q). Let x be (2/(-4))/(-1 - d). Sort x, -2/7, -2/13.
-2/7, x, -2/13
Let q be 5 + 0 - (-1 - -2). Let i(v) = 3*v**2 - 14*v - 37. Let p be i(13). Let j = 284 - p. Sort j, -3, q.
j, -3, q
Let j be (-25)/(-15) - 1 - (-68)/(-12). Sort -3, -4/7, j in descending order.
-4/7, -3, j
Let c be 4/(-16)*-7 + 0 + -2. Let o be (-4)/(-10) + 12/(-5). Let q be 150/(-22) - o/(-11). Sort c, 2/7, q.
q, c, 2/7
Suppose a + 5*b + 0*b = 3, 3*a + 3*b - 21 = 0. Let n = 7 - a. Let g(o) = o + 7. Let x be g(-5). Sort -4, x, n in ascending order.
-4, n, x
Let q(x) = x + 7. Let d be q(0). Let u = 7 - d. Let j(r) = r**3 + 9*r**2 + 2. Let o be j(-9). Put o, -5, u in increasing order.
-5, u, o
Suppose 55*u - 50*u = 0. Suppose -p + u - 2 = 0. Let a = 2 - 2. Sort 2, p, a in decreasing order.
2, a, p
Let n be (2 - 4 - -47)/1. Suppose 0 = 3*k - n + 33. Sort -3, k, 0, 0.5 in decreasing order.
k, 0.5, 0, -3
Let t = 291 + -294. Put 8, t, -2, 2 in increasing order.
t, -2, 2, 8
Let o be 122/305*30/(-4). Let y(i) = -i**2 + 7*i - 1. Let p be y(6). Sort p, -1, 3, o.
o, -1, 3, p
Let y = -1.972 + -0.028. Let z = 2.2 - 1.65. Let m = z - 0.05. Sort y, m, 4 in descending order.
4, m, y
Let z be -3 - 2*(2 - 1). Suppose 0 = q - 2 - 0. Suppose -2*a - 18 = 3*a - 2*s, q*s - 14 = 3*a. Put z, a, -1 in decreasing order.
-1, a, z
Let s = 157 - 151. Suppose -4*h - 6 = -s*h. Sort h, 2, 5 in descending order.
5, h, 2
Let v = 0.007 + -29.007. Sort -5, 3, v.
v, -5, 3
Let i = -1.104 + 0.104. Let v = -4.2 + 1.2. Sort i, -0.04, v in ascending order.
v, i, -0.04
Suppose -2*x - s = 15, -3*x + 2*x - 4*s = 25. Sort x, -9, -2 in increasing order.
-9, x, -2
Let t = -14.9 + 17.9. Sort 0, -4/7, t, -0.2.
-4/7, -0.2, 0, t
Suppose 99*z + 16 = 95*z. Sort z, 2, 13 in decreasing order.
13, 2, z
Let i(w) = w + 17. Let m be i(-15). Let t be -21 - (1 - m)/(-1). Let f be 3 - (-2 + t/(-4)). Put f, -0.3, 0.5 in descending order.
0.5, -0.3, f
Let q = 1/87 + 163/957. Let m = 359 - 359.1. Let w = -49/2 + 25. Sort q, m, w.
m, q, w
Let s = 218 - 222. Sort 21, s, -2, 0 in increasing order.
s, -2, 0, 21
Let m = 16 - 24. Let j be (4/m*12)/(1 - -1). Suppose -10 = -c - 4*c. Put c, j, -4 in ascending order.
-4, j, c
Suppose -3*j + 58 = -4*f + 7, 34 = 2*j + 5*f. Suppose 16 = -11*x - j. Put x, 4, 2, -5 in descending order.
4, 2, x, -5
Let b(r) = r**2 + 4*r + 1. Let p be b(-4). Let h be (p - 1 - -2) + -4. Let n = -438 + 437.96. Sort h, n, 3 in decreasing order.
3, n, h
Let f be (-3 + 246)/(6/4). Let t = f + -354. Let c = t + 2494/13. Sort c, 2, -5 in descending order.
2, c, -5
Let x be 8 + -7 - (4 - -1). Let t be 3 - (-2 - x - 3). Sort t, 0, -2.
-2, 0, t
Suppose 5*w + 20 = -5. Let r = 167 - 1505/9. Put -2, w, r, -0.3 in decreasing order.
r, -0.3, -2, w
Let x(p) = 11*p + 4. Let j(i) = -7*i - 2. Let a(y) = -8*j(y) - 5*x(y). Let t be a(-1). Let q = 0.6 + -0.2. Sort 3/7, t, q.
t, q, 3/7
Let j be (-3)/(-1 - 0 - 0). Let z = 37 - 29. Suppose 0 = 54*w - 52*w + z. Put 2, w, j in decreasing order.
j, 2, w
Let z be 6/(-24) + 101/4. Suppose z = -12*d + 7*d. Sort d, 0.1, 73 in descending order.
73, 0.1, d
Suppose -5*x + 5*f = -135, 4*f + 140 = 3*x + 2*x. Suppose -4*k + 2*b = b + x, -16 = 4*b. Let h be (6/(-4) - -1)*-2. Put h, 3, k in ascending order.
k, h, 3
Let b(r) = 82*r**2 + 4*r - 17. Let u be b(2). Sort 1, 4, -4, u in decreasing order.
u, 4, 1, -4
Let v = -154 + 198. Put v, 0.1, 6 in increasing order.
0.1, 6, v
Let q(n) = -n**2 - 17*n + 42. Let p be q(-19). Suppose -17 = -3*y - 14. Sort 0, p, y, 5 in descending order.
5, p, y, 0
Let i be ((-4)/(-3))/((-16)/(-36)). Sort -5, i, -6.
-6, -5, i
Let h(q) = -q**2 + q + 2. Suppose -3*s - 5*z + 16 = -z, 2*s - 3*z + 12 = 0. Let a be h(s). Suppose -4*g - 8 = -a*g. Sort -1, 3, g in decreasing order.
3, -1, g
Let l = -0.454 + -0.946. Put -4, l, 2/5 in increasing order.
-4, l, 2/5
Let f = -0.1676 + -0.1324. Put -0.61, -5, f in decreasing order.
f, -0.61, -5
Suppose 35 = 5*t + 5*g, 2*g = 4*t - 3 - 7. Let j = -2295 - -2294. Sort t, 1, j.
j, 1, t
Suppose -5*d + 8 = 3. Let f(o) = -46*o**2 - 95*o - 3. Let z be f(-2). Sort z, -13, d in ascending order.
-13, d, z
Let d = 0.0248 + -0.4248. Put 2, -5, d, 1/8 in increasing order.
-5, d, 1/8, 2
Let c = 110 + -105. Sort c, -3, 3, 15.
-3, 3, c, 15
Suppose 2*g - 22 = -2*t - 2*g, t + 5*g = 26. Suppose -3 = -2*y + 1. Suppose -u = 5 - y. Put u, t, -4 in ascending order.
-4, u, t
Let q be (-1 - -1) + -19 + (-3519)/(-187). Let d = 1/12 - -1/4. Sort d, q, 0 in increasing order.
q, 0, d
Let n(o) = -o**3 - 7*o**2 + 6. Let f(c) = -2*c**3 - 13*c**2 + 13. Let w(s) = 2*f(s) - 5*n(s). Let b be w(-9). Put -3, 0.5, -0.2, b in decreasing order.
0.5, -0.2, -3, 