+ 1 = -3*a + p, -5*a - 35 = 5*p. Suppose 3*c = -c. Let q = 0 + c. Sort q, -5, a in ascending order.
-5, a, q
Let v(b) be the third derivative of 4*b**2 + 0*b + 5/24*b**4 + 1/3*b**3 - 1/60*b**5 + 0. Let k be v(6). Sort 0, 2, k in increasing order.
k, 0, 2
Let p = -47 - -18. Let f = p - -31. Let k = -2.6 - -0.6. Put f, k, 0 in increasing order.
k, 0, f
Let l = 129 + -125. Let z = -0.1 + -0.4. Put l, z, 0.4 in increasing order.
z, 0.4, l
Suppose 3*s + 4*p + 16 = 0, -p = s - 1 + 7. Sort 2, 3, s in decreasing order.
3, 2, s
Let x = 4 - 1. Suppose -4*a + 52 = 3*i + a, -5*i = x*a - 60. Let u = -6 + i. Put -3, u, -1 in decreasing order.
u, -1, -3
Let f = -85 + 69. Sort f, 1, -1 in ascending order.
f, -1, 1
Let i(g) = -g - 7. Let j be i(-9). Sort -5, -1/8, j in increasing order.
-5, -1/8, j
Let j = -10 + 15. Suppose 0 = -0*i + 5*i - 15. Suppose -i*q = 2*q - 15. Sort -5, j, q in decreasing order.
j, q, -5
Let y = 11 + -7. Suppose 2*v + g - 15 = 0, -4*v + 9*g = y*g + 5. Let l = -3/52 - -137/572. Sort v, -0.3, l in descending order.
v, l, -0.3
Let u be 12/(-10)*(-1040)/78. Sort 0, u, 2 in descending order.
u, 2, 0
Let u = -18 + 7. Sort 2, u, -2.
u, -2, 2
Let x be (3/(-2))/((-9)/4). Suppose k - 12 - 16 = 0. Suppose 2*n - p + 4 = 0, n + 3*p + k = -3*n. Sort n, x, -2/5 in increasing order.
n, -2/5, x
Let r(j) = -j**2 + 7*j - 6. Let b be r(6). Suppose -u + 4*v - 14 = b, 5*v = 34 - 14. Suppose -5*x - 3 = -u*x. Sort x, -3, 3.
-3, x, 3
Let l(k) = -k**2 - 8*k - 10. Let c be l(-5). Sort -7, 4, c, -5.
-7, -5, 4, c
Let o = -0.2 - 0.3. Let u = 0.4 - -0.4. Let h = o + u. Sort -0.2, h, 1/3 in descending order.
1/3, h, -0.2
Let n be -2 + 4 + 2 + -4. Let c(f) = -f**2 - 10*f - 10. Let g be c(-7). Let s = -7 + g. Put s, -5, n in decreasing order.
s, n, -5
Suppose -3*h + h + 12 = 0. Sort -3, -4, h.
-4, -3, h
Let r(c) = c**2 - 10*c - 4. Let h be r(10). Let g(s) = s - 1. Let t be g(-1). Sort 5, h, t in ascending order.
h, t, 5
Let f(q) = q - 1. Let d be f(3). Let h be (3 + -3)/3 - 5. Sort d, h, -2.
h, -2, d
Let h = 6 + -7. Suppose 20 = 6*q - q. Let r = 3 + -2. Sort q, h, r in ascending order.
h, r, q
Let w = 8 + -15. Let u be (-14)/44 - w/14. Put -3, u, -0.5 in decreasing order.
u, -0.5, -3
Let n = 11 - 13. Let h be (-3)/n*32/12. Sort -4, 5, h in decreasing order.
5, h, -4
Suppose 0 = 2*t + 2*t - 3*h + 13, -5 = 5*h. Sort 4, 5, 13, t in descending order.
13, 5, 4, t
Let j = -40 - -35.1. Let q = j + 5. Sort q, 5, -0.5 in descending order.
5, q, -0.5
Suppose -5*b = 5*p, -2*p - b + 2 = -1. Suppose -p*x = -5*x + 8. Put 2, x, -1 in descending order.
x, 2, -1
Suppose 0 = -4*v - 5*c - 9, -4*c + 2*c = 2*v + 2. Suppose -2*a + 0*a = -10. Put 0, v, a in decreasing order.
a, v, 0
Let d = 8 + -8.6. Let t = d - -2.6. Sort t, -1, -0.4.
-1, -0.4, t
Let f = 13 + -13. Sort 3, f, 4.
f, 3, 4
Suppose 2*y - y = 4. Let s = -1 - 1. Put y, -5, s in decreasing order.
y, s, -5
Let u = 65 + -40. Let c = -12 + 18. Let b be -2 + u/c - 2. Put 2/3, b, 4 in increasing order.
b, 2/3, 4
Let q = 29 + -33. Sort -5, q, -2/17 in descending order.
-2/17, q, -5
Let v(g) = -2*g**2 + 10*g + 11. Let m be v(6). Put m, 5, -11 in ascending order.
-11, m, 5
Suppose 4*h - 5 = -33. Put -4, h, -3 in decreasing order.
-3, -4, h
Let i be -2 - 26/(-10) - 33/(-45). Sort i, -1, 0.5, 2 in ascending order.
-1, 0.5, i, 2
Let j = -43 - -46. Let l(q) = q**2 - 7*q - 3. Let y be l(8). Put j, 1, y in decreasing order.
y, j, 1
Let s be ((-4)/12)/(-1) + 32/(-6). Suppose -2*y - 3*i + 1 = 2*y, -2*i = 10. Sort s, y, 2 in ascending order.
s, 2, y
Let a = 0.24 - 0.08. Let o = 8.16 - a. Let i = -13 + o. Put i, -0.1, 0 in ascending order.
i, -0.1, 0
Suppose 0 = 2*f - 5*f - 15. Put f, 5, 1 in descending order.
5, 1, f
Let i = -0.2 + -3.3. Let h = i + -0.5. Let a = 3.7 + h. Sort a, -5, 0.3.
-5, a, 0.3
Let v be (-2 - 0) + (-4)/(-1). Suppose -5*w + 0*s = -3*s - 13, -2*w = -v*s - 6. Suppose 0 = -w*z - 3*z + 5. Sort 0.1, z, -0.5 in descending order.
z, 0.1, -0.5
Suppose 6*p + 0*p - 30 = 0. Put 3, -2, p, 7 in decreasing order.
7, p, 3, -2
Suppose 4*d - 2*u = 12, -4*d + 11 = u - 1. Suppose -d*i - 10 = 2*i. Sort 4, i, 5 in ascending order.
i, 4, 5
Let c(w) = w**3 - 4*w**2 - 5*w - 5. Let f be c(5). Suppose 0 = -2*n + 6 - 2. Put n, -3, f in descending order.
n, -3, f
Let u = -35 + 31. Sort u, -3/4, 2/21 in descending order.
2/21, -3/4, u
Let a = -4 + 0. Let h be (-2)/4 - 10/a. Let j be (0/(-2))/(1 - -1). Sort j, h, -1 in decreasing order.
h, j, -1
Let i(l) = l**2 + 1. Let n(a) = 2. Let j(k) = i(k) - n(k). Let d be j(1). Suppose 5 = z + 4*c, -3*c + d + 3 = z. Sort 1, 4, z in decreasing order.
4, 1, z
Let l(g) = 2*g + 3. Let h be l(-3). Let z(d) = -d**2 - 2*d + 3. Let a be z(2). Let t = -6 - -4. Put a, t, h in ascending order.
a, h, t
Suppose -7*u - 12 = -3*u. Let x(a) = a**3 + 3*a**2 + 2*a + 2. Let f be x(-2). Sort 3, f, u in descending order.
3, f, u
Suppose 2 = w - 2*w. Sort -4, w, -1 in descending order.
-1, w, -4
Let p = 142.9 - 135. Let f = -8 + p. Let c = 0.07 - -4.93. Sort -2, c, f.
-2, f, c
Let s = 1.714 + -1.7. Let u = s - -1.056. Let l = u + -0.07. Put l, -0.1, -1 in ascending order.
-1, -0.1, l
Suppose -6 + 25 = 4*z - 5*d, -5*d + 35 = 5*z. Let r be (z/9)/((-6)/9). Put 3, 2, r in decreasing order.
3, 2, r
Let u = -150 - -146.53. Let d = -0.33 + u. Let p = 4 + d. Sort -0.5, p, 4 in increasing order.
-0.5, p, 4
Suppose -3*o + 3*q - 21 = 0, -2*o - o - 3*q + 9 = 0. Suppose 20 - 5 = -3*z. Put z, 4, o in ascending order.
z, o, 4
Let z be (-3)/2*(-4)/(-3). Put 3, z, -1 in descending order.
3, -1, z
Let z = -2 + 1.5. Let r = z + 0. Let s = 22.4 - 24.4. Put r, 0.3, s in descending order.
0.3, r, s
Suppose 4*s = 2*s. Let p be 65/(-7) - (-4)/14. Put s, 5, p in decreasing order.
5, s, p
Let z = 1 + -1. Let n be 1 - 0/(-8 - -4). Sort -2, z, n in ascending order.
-2, z, n
Let o = 238/3 - 80. Let z = -3.282 - -0.282. Sort -4, o, z in decreasing order.
o, z, -4
Let m = 0.9 - 1. Suppose 3*u = -2*u + 20. Let a be 6/15*2/u. Sort a, m, -2 in descending order.
a, m, -2
Let w = -27 + 27. Sort 3, w, 2.
w, 2, 3
Let r = -197 - -192. Sort 4, r, 2, 3.
r, 2, 3, 4
Let n = -6 - -4. Suppose 12 = x + 5*a, 2*a - 5 - 7 = -4*x. Put n, -0.1, x in decreasing order.
x, -0.1, n
Let g = 15 - 17. Let p be g/4 + 75/6. Sort p, -4, -5 in ascending order.
-5, -4, p
Let v = -1.3 - 7.7. Put 0.1, v, -4 in decreasing order.
0.1, -4, v
Let q = 19 + -19. Let a = q + -1. Put -2, -0.2, a in decreasing order.
-0.2, a, -2
Let j be (-1 + 1)*(-1)/(-1). Let s = -9 - -6. Put j, s, 3/7 in increasing order.
s, j, 3/7
Let x = 22 - 25. Put -17, x, 4 in ascending order.
-17, x, 4
Let p be ((-1)/(-3))/(4/6). Let a = 121 - 119. Sort 2/5, a, p.
2/5, p, a
Suppose 7*a + 21 = 35. Sort -0.87, a, -1.
-1, -0.87, a
Suppose 5*b = 4*m + 4, 0 = -4*b - 4*m - 2 - 2. Let a = -1 - -2. Sort b, a, -2/21 in decreasing order.
a, b, -2/21
Let t = 53 + -264/5. Let q = -0.4 + -1.6. Put t, -0.3, q in descending order.
t, -0.3, q
Let z = 12 - 10. Sort -2/7, z, 0.6.
-2/7, 0.6, z
Let p = -353/4 + 87. Let k be (3/24)/((-2)/(-6)). Let s = 3 + -2.9. Sort k, s, p in decreasing order.
k, s, p
Let o = -28 - -25. Let a be 2*o/(12/2). Sort -3/7, a, -2.
-2, a, -3/7
Let z be 5*(1 + (-1)/(-5)). Let w = z + -10. Let v = 0.2 - 0. Sort v, -2, w in ascending order.
w, -2, v
Let u = -11.5 - -13. Let y = 2.5 + u. Let r = -1 - 3. Sort -0.5, r, y.
r, -0.5, y
Suppose -4*m - 3*k - 3 = -2*m, 3*m - 5*k = 5. Suppose 16 = 4*h - 4*n, m = -0*n - 4*n. Suppose 0 = 5*d + h*g - 1, d - 2*g = -11. Put 1, 2, d in increasing order.
d, 1, 2
Let h(a) = a**2 - 3*a - 4. Let t be h(5). Put t, -3, -4 in descending order.
t, -3, -4
Suppose -g - 8 = -4*o + 9, 3*g - 29 = -4*o. Sort o, 0, -3 in descending order.
o, 0, -3
Let x = -13 - -11. Put -1/3, -1, x in decreasing order.
-1/3, -1, x
Let a = 52 - 42. Put -1, -2, a in descending order.
a, -1, -2
Let k = -11 + 11. Suppose -3 = 4*l + 1. Let o be l/(-3) - 22/(-6). Sort o, k, 2.
k, 2, o
Let b be 3/2 + 3/(-6). Let r be (-3 + b + 2)/1. Sort -5, r, 1 in decreasing order.
1, r, -5
Let f be (-4377)/(-28) - (-5)/20. Let b = -157 + f. Sort -1/6, b, 1/2.
b, -1/6, 1/2
Suppose 0 = -4*l + 5*g - 2 + 14, 0 = 5*g. Let h be 3*5/l + 0. Suppose -26 = 4*x + 2*t, 2*x + 4*t + 12 = 4*x. Put h, -5, x in decreasing order.
h, x, -5
Let a = -82 - -736/9. 