9 + 9. Let x = s + 11. Put -3, x, 3 in increasing order.
-3, x, 3
Suppose 3 - 1 = 2*i. Let p be i + (1 - (-3)/1). Suppose -p*s = 4*t - 9 + 1, 5*s = -t + 17. Put -5, s, 6 in descending order.
6, s, -5
Let u(x) = -6*x**2 + 22*x - 9. Let t be u(3). Let r = 6 - 1. Suppose -v + 0*p - 9 = -p, p - 29 = r*v. Put v, t, -2 in decreasing order.
t, -2, v
Let v be (-1)/(1/(-6) - 21/(-18)). Suppose 0*g = 2*g - 6. Put v, 4, g, -4 in increasing order.
-4, v, g, 4
Suppose -3 = -r, -b = -0*b + 2*r - 6. Let f(n) = -21*n + 213. Let m be f(10). Sort 5/2, b, m, -3/7 in ascending order.
-3/7, b, 5/2, m
Let f be 9/(-4)*(88/(-12) + 6). Suppose -u + 0*u + 1 = 0. Let c be (0*u/2)/(-1). Sort c, f, -3 in decreasing order.
f, c, -3
Let s = -42 + 44. Suppose -5*t - s = -7. Sort t, 2, -5 in ascending order.
-5, t, 2
Let n(w) = 3*w + 32. Suppose -16*u + 48 = -20*u. Let c be n(u). Sort c, -3, -2 in descending order.
-2, -3, c
Let l = 18 + -13. Let z = 94 + -96. Sort l, z, 0.5.
z, 0.5, l
Let v = -0.06 + 1.66. Let p = 1.68 - v. Let a = p + -4.08. Sort -2, a, -2/7 in increasing order.
a, -2, -2/7
Let p = 1.73 + -1.43. Let t = -104 - -94.7. Let g = t - -9. Put p, g, 8 in decreasing order.
8, p, g
Let m = 0.61 + -8.41. Let u = m - -4.8. Put 2, u, -5/6, -1/7 in increasing order.
u, -5/6, -1/7, 2
Let a be ((-12)/54 - (-2)/9)*-1. Sort 1, a, -6, -1 in increasing order.
-6, -1, a, 1
Let g = 185.4 + -50.9. Let y = g + -135. Sort y, 0, -0.24, -2 in ascending order.
-2, y, -0.24, 0
Suppose -2*j + 10 = -4*b, 3*j - 8*j + 4*b + 19 = 0. Let s = 46 + -31. Suppose -2*i = -5*i - s. Sort j, i, 1 in increasing order.
i, 1, j
Suppose 3*k + k - 21 = -5*j, -k + 4*j = 0. Suppose -3*y - d + 13 = 0, -k*y = -y + 4*d - 25. Let n be (-7 - -8)/(y*1). Sort 2, n, 0 in increasing order.
0, n, 2
Let j(p) = -p**2 + 14*p - 43. Let x be j(6). Let z be (-2)/8 + (-9)/(-36). Sort z, -5, 4, x in decreasing order.
x, 4, z, -5
Let z = -0.3 + 7.3. Let n = z - 6.6. Let k = 6 - 10. Put n, k, -5 in increasing order.
-5, k, n
Let j = 250/461 + -416861/2766. Let b = j + 150. Sort -0.2, b, 12 in ascending order.
-0.2, b, 12
Let l = 2/75 - -16/25. Let a = -8 - -8.3. Let t = -3 - -4. Put a, l, t in increasing order.
a, l, t
Let j = 400 - 404. Let x = 0 + -2. Sort -5, j, x in decreasing order.
x, j, -5
Let m be 6 - (81/(-9))/(-9). Sort -2/25, m, -5, 1/3 in decreasing order.
m, 1/3, -2/25, -5
Let c = -141 - -226. Sort -3/4, 1, -1/3, c.
-3/4, -1/3, 1, c
Suppose 3*u - 5*t + 10 = 0, 0 = 2*u - 0*t - t + 2. Sort 2, -1, u, -23 in descending order.
2, u, -1, -23
Let c = 19 - 19. Suppose x - 3*x = 0. Suppose m + d + 1 = -x, 3 = -3*m + 5*d. Sort m, 1, c in ascending order.
m, c, 1
Let w be ((-2)/10)/(9/(-135)). Sort 0, -3, -1, w in descending order.
w, 0, -1, -3
Suppose 2*f - 5*f = -3*k + 9, 4*f - 2*k + 2 = 0. Sort -17, f, -1, -3 in increasing order.
-17, -3, -1, f
Let k(i) = -16*i + 102. Let p be k(8). Put -2, 4, p, 2 in ascending order.
p, -2, 2, 4
Let x = 816 - 821. Sort x, -1, 2, 1 in increasing order.
x, -1, 1, 2
Let p = 464 - 459. Sort p, 58, 2, 3 in descending order.
58, p, 3, 2
Suppose -12*b - 15 = -10*b + 5*w, -w = -b + 10. Put b, 3, -111, -5 in increasing order.
-111, -5, 3, b
Let h = 2.3 + -1.9. Let u be 1/(-2) + (-143)/(-130). Sort 0, h, u.
0, h, u
Let s = 4.557 + -0.557. Sort -3, s, -3/8 in decreasing order.
s, -3/8, -3
Let w = -0.5 - -0.48. Let y = 0.08 - w. Put -5, -0.4, y in increasing order.
-5, -0.4, y
Let c(s) = -3*s**2 + s + 42. Let p be c(4). Let g = 5 + -9. Sort g, -3, p, 2 in increasing order.
g, -3, p, 2
Let p = 1.123 - 1.223. Sort 2/11, 0.17, p.
p, 0.17, 2/11
Suppose 7 = 2*l - q, -15 = -4*l + 2*q + q. Let n = 2127 - 2130. Put l, -4, 3/2, n in increasing order.
-4, n, 3/2, l
Let g be ((-2)/2 - -2)*-9. Let h = 13 + g. Let a be (6/8)/(2/8). Put h, a, -1 in decreasing order.
h, a, -1
Let o(n) = -n**3 + 8*n**2 + 4*n + 42. Let f be o(9). Put 7, f, 0, -10 in decreasing order.
7, 0, f, -10
Let s = -36194 + 36197. Let o = 1 - -1. Sort o, 5, -2, s in descending order.
5, s, o, -2
Suppose 0*h + 180 = 5*h. Suppose -4*k + 5*t + h = t, -3*k - 5*t + 43 = 0. Let x = 20 - k. Put x, -3, -4 in ascending order.
-4, -3, x
Let j(s) = -s**3 - 14*s**2 + 40*s + 130. Let q be j(-16). Put 5, q, -23, -5 in descending order.
5, q, -5, -23
Let j = -17/6 + 2. Let f = -62 + 57. Let p = 3 - 2.9. Sort p, j, f in increasing order.
f, j, p
Let w = -185 + 187. Let j be (-18)/(-8) - 2/8. Let b be j/1 - (-3)/3. Sort b, -1/5, w in descending order.
b, w, -1/5
Suppose -14*u = -139 + 13. Put -2, u, -4, -3 in increasing order.
-4, -3, -2, u
Suppose -2 = -2*m, 4*u - 11*m + 14 = -13*m. Sort -3, 1, u, 70 in increasing order.
u, -3, 1, 70
Let j be (-4)/((-16)/(-12)) + (1 - 4). Let q be (-7)/(-21) + -3 - 4/j. Let t be ((-1)/2)/(2/(-48)). Sort q, t, -4 in descending order.
t, q, -4
Suppose 4*t + 14 = n, -4*t + 0*n - 16 = -2*n. Suppose -8*o + 6*o = -6. Suppose 0*k - 22 = -2*q - 3*k, o*k - 17 = -q. Put q, t, 1 in decreasing order.
q, 1, t
Let t = 1623 + -1620. Let z = -4.94 - 0.06. Sort z, -1, 2, t.
z, -1, 2, t
Let l(m) = -3*m + 12. Let r be l(3). Sort -0.8, -1/8, r, -5 in ascending order.
-5, -0.8, -1/8, r
Suppose -2*h - 3*k + 28 = 0, h + 108 = 6*h - 2*k. Suppose 16*f - 20 = h*f. Put f, 4, 0 in descending order.
4, 0, f
Let c = -108 + 107.992. Sort -3, c, 2, -4 in decreasing order.
2, c, -3, -4
Let a = -0.4 + -0.1. Let w = 85.7 - 133.8. Let f = w - -48. Put a, -5, f in ascending order.
-5, a, f
Let y = 186 - 181. Put 2/15, 0.09, y in ascending order.
0.09, 2/15, y
Suppose 156*m - 3*p = 155*m - 8, 0 = -2*p - 4. Let d = -4/21 - -86/231. Sort d, 2, m in ascending order.
m, d, 2
Let m = -0.1 + 0.3. Let l = 2608 + -2607.6. Put m, l, 0, -1 in descending order.
l, m, 0, -1
Let g be 18/((-6)/(-2)) - -1. Let b = 14 + -14. Sort -4, b, g in decreasing order.
g, b, -4
Suppose -2 - 2 = -4*z. Let n(b) = 2*b**2 - 14*b + 4. Let d be n(7). Sort -1, z, d.
-1, z, d
Suppose 176 = -16*o + 128. Suppose 0 = u - 3*u. Put u, o, -1, 2 in descending order.
2, u, -1, o
Let a = -200/1253 - -3/179. Put 190, 1, a in decreasing order.
190, 1, a
Let g be 7042/105 + 2/(-5). Let c = -68 + g. Let p = -0.184 - -0.084. Sort p, c, 0.2.
c, p, 0.2
Let z(u) = -u**2 + 6*u + 5. Let f be z(6). Let p = -66 + 64. Let x = p - -3. Sort f, -8, x in decreasing order.
f, x, -8
Suppose -6*i - 49 = -229. Sort 4, -2, -5, i in decreasing order.
i, 4, -2, -5
Let z(c) be the first derivative of c**2/2 + 3*c + 5. Let k be z(-5). Put k, 3, 1/5 in ascending order.
k, 1/5, 3
Let s be (10/8)/((-4)/((-112)/(-7))). Sort 5, s, -1, 0 in descending order.
5, 0, -1, s
Let i = -338 + 340.01. Let d = i + -0.01. Let c = -896 + 895.9. Sort c, d, -0.5 in ascending order.
-0.5, c, d
Let t(l) = -l**3 - 7*l**2 - 9*l - 3. Let g be t(-6). Suppose y = 4*y - 9. Put y, g, -1 in ascending order.
-1, y, g
Let u be -1 - ((-21)/(-18) - 2). Let s = 3.4 + -3.4. Put 0.1, u, s in decreasing order.
0.1, s, u
Let x be (13/(91/(-4)))/((-45)/21 + 2). Let n(p) = p - 1. Let c be n(3). Put c, x, -4, -3 in decreasing order.
x, c, -3, -4
Let m(j) = -j**2 - 4*j + 16. Let f = -25 - -19. Let x be m(f). Sort -3, x, -6.
-6, -3, x
Let d = 40.5 + -39. Let h = d + -1. Sort 1, 0.01, h in ascending order.
0.01, h, 1
Let u = 8 - 5. Suppose 5*t = -y + 21, -2*y + 9 = 2*t - y. Suppose 36 = -t*w + 4*l + 12, 4 = l. Put u, -3/2, w in ascending order.
w, -3/2, u
Suppose 199*y - 104 = 195*y. Put -3, 0, -5, y in descending order.
y, 0, -3, -5
Suppose 0 = -3*v + 3*c - 3, -5*v + c - 5 = 4. Suppose 127 = 5*t + d, 121 = 5*t + d - 3*d. Let y = 22 - t. Put -4, v, y in ascending order.
-4, y, v
Suppose 5*h - 3*h - 132 = 0. Let w be (h/(-9))/(2/3). Let l be -2 + 5*3/15. Put w, l, -5 in ascending order.
w, -5, l
Suppose -6 = 3*p + 3, 4*p = w - 17. Suppose w = -4*n - n. Sort 3, -5, n.
-5, n, 3
Let f = 0.279 - -4.721. Sort f, -3, -0.2, 2 in descending order.
f, 2, -0.2, -3
Let z = 11 - 13. Let p(r) = r**2 - 5*r. Suppose 0*q + 20 = 5*q. Let v be p(q). Sort 0, z, v.
v, z, 0
Let a = 514 - 366. Sort 3, 1, a in increasing order.
1, 3, a
Let z(f) = 13*f - 1. Let w be z(1). Suppose -w = 3*l, 2*b + 4*l = -0 - 24. Put 1, b, 4, -1 in descending order.
4, 1, -1, b
Let i be (-14)/180 - (110/90 - 1). Sort -4/5, 4, 0.4, i.
-4/5, i, 0.4, 4
Suppose g = s + 2, -g = -0*g - 1. Sort 1, 0, s, 2 in descending