 + 1. Let u be -3 + g + -1 + 0. Sort -1, u, -4 in increasing order.
-4, u, -1
Let w be (-2 + 8)/(6/4). Let m be ((-4)/(-12))/(5/(-60)). Put -1, m, w in increasing order.
m, -1, w
Suppose 4*z - z = 3. Suppose -2*w - z = -w. Sort w, 4, 1 in ascending order.
w, 1, 4
Suppose 0*s + 6 = -2*s. Let a(u) = -u**2 + 2*u + 1. Let n be a(2). Suppose q = -k - 2, 2*k + n + 6 = -5*q. Sort k, s, 0 in descending order.
0, k, s
Let o = 8 - 5. Let l = -0.5 - -0.2. Put o, l, 0 in decreasing order.
o, 0, l
Suppose w + 4 = 9. Let g = w + -3. Sort 0, -2, g in ascending order.
-2, 0, g
Suppose -3 = -7*y + 6*y. Put 1, 0, 4, y in decreasing order.
4, y, 1, 0
Let z be 3/12*(-16)/6. Let h = -11.3 - -6.6. Let q = h - 0.3. Sort z, 2/5, q.
q, z, 2/5
Suppose 4*o = -2*l - 0*o - 24, 0 = -l - 5*o - 21. Let t be l + -1 - (0 + -3). Sort 3, 0, t in increasing order.
t, 0, 3
Let v(s) = 2*s**2 + 1. Let a be v(1). Suppose a*n + 4*c = -0*n - 19, -21 = 5*n + 4*c. Sort n, 5, -4 in descending order.
5, n, -4
Let a = -37 + 22. Let y be 2/(-6)*(9 + a). Sort y, -2, -4 in decreasing order.
y, -2, -4
Let j = 93 + -63. Suppose -5*u = -0*u - j. Let y be 3/u*2*-4. Sort y, -1/5, -1 in ascending order.
y, -1, -1/5
Let x = 0.645 - 0.145. Put -0.2, 15, x in increasing order.
-0.2, x, 15
Let r = 0.06 + 1.94. Let h = 23/21 - 3/7. Sort r, 4, h.
h, r, 4
Let w = 2 + -5. Let u = -17.06 - -15. Let g = 0.06 + u. Sort w, g, -0.1.
w, g, -0.1
Let j be -2*(-2)/4 + 1. Let a be j/8 + (-18)/8. Suppose 2*z + 4*m + 1 = 3, z = 5*m + 8. Put -4, z, a in increasing order.
-4, a, z
Let v = -14 + 7. Let g = v + 5. Let y = -2.8 + -0.2. Sort -0.3, g, y in descending order.
-0.3, g, y
Suppose n - 3 = 7. Let r be n/(-30) - 16/(-30). Put -1, r, -1/11 in decreasing order.
r, -1/11, -1
Let g = 0.06 + -0.66. Let f = -0.4 + g. Sort 4, f, -3 in decreasing order.
4, f, -3
Let t be 4/(-2)*44/(-8). Let q(a) = a - 15. Let b be q(t). Put b, 0, 3 in descending order.
3, 0, b
Let r be (-111)/21 - (-4)/14. Suppose 3*p - 23 + 8 = 2*q, 2*p - 3*q - 15 = 0. Sort p, r, 2 in decreasing order.
p, 2, r
Suppose c = 3*j - 5, c + c = -2*j - 2. Sort 3, -4, c in decreasing order.
3, c, -4
Suppose 4*f + 3*p = 23, 3*p - 8 - 9 = -f. Suppose 3*o = f*o + 2. Sort 4, o, -1.
-1, o, 4
Suppose 0 = 2*u + 3*y + 10, 6*y - 3*y = 5*u + 4. Let k be ((-10)/(-6))/(u/6). Sort -1, 3, k in ascending order.
k, -1, 3
Let n be 3/12 - 63/12. Sort -3, 2, n.
n, -3, 2
Let u = 21 + -30. Let a be u*1/3*1. Let v(s) = -s + 1. Let t be v(0). Sort t, a, 3 in increasing order.
a, t, 3
Let x = -9 + 14. Suppose 0*u + 3*g = -3*u + 15, x*g - 21 = -4*u. Put -2, 2, u in decreasing order.
u, 2, -2
Let y = -13 + 10.8. Let k = -2 - y. Put -0.5, k, -2/5 in descending order.
k, -2/5, -0.5
Let g = -3 + 5. Let y be (1/6)/(g/3). Suppose -5*s + 7 = 2*k, k = -4*s + 2*s + 3. Sort k, -1, y in decreasing order.
k, y, -1
Let r = -116 + 111. Sort 1, -6, r, 2 in descending order.
2, 1, r, -6
Let r(a) = -a**2 + 20*a + 30. Let m be r(21). Sort -4, m, -2.
-4, -2, m
Let y be 2/232*608/(-12). Let z = 3/29 + y. Put 2/7, -1, z in descending order.
2/7, z, -1
Suppose -4*s = 2*t + 2, -8*s = 2*t - 11*s + 9. Put 0, -2, t, 3 in descending order.
3, 0, -2, t
Let f = 0.37 - -0.03. Let p = 6 + -15/2. Put 2/9, f, p in increasing order.
p, 2/9, f
Suppose 3 = 4*y + 5*q + 18, 9 = -3*q. Let h be 4 + 2 + y + -1. Suppose -h*a - 7 = 18. Sort 2, a, 3 in descending order.
3, 2, a
Let m(g) = -2*g - 1. Let l be m(-3). Let w be 6/(-14)*(-2)/(-3). Put l, -3, w in descending order.
l, w, -3
Let j = 56 + -56. Sort -5, -2, j in descending order.
j, -2, -5
Let i(y) be the first derivative of -2*y**2 + y - 6. Suppose -3*k + 1 = -4*k. Let q be i(k). Sort q, 0, -5 in decreasing order.
q, 0, -5
Suppose 24 = -3*h + 4*u, 9*h + 3*u = 4*h - 11. Sort h, -3, 3, -2 in increasing order.
h, -3, -2, 3
Suppose 4 = g - 4. Suppose -3*r - g = -5*r. Let m(j) = j - 2. Let o be m(3). Put o, 2, r in descending order.
r, 2, o
Let o = -21 + 29. Suppose -w - 3*w - o = 0. Let k be ((-3)/w)/((-84)/16). Sort 0, 3/7, k in decreasing order.
3/7, 0, k
Let f = 0.4 + -5.4. Let o be (-3 - 39/2)/1. Let a = -21 - o. Put a, f, 1 in increasing order.
f, 1, a
Let j = -23 + 28. Let n be (-1 + 4)*(-12)/18. Sort n, j, -5 in increasing order.
-5, n, j
Suppose 13 = 2*n - 5*l - 2, n = -3*l + 13. Let i be n/8 + 1/(-4). Let j = 6 - 4. Sort -2, i, j.
-2, i, j
Suppose a + 2 = -5*s, -s - 5*a - 7 - 3 = 0. Suppose -p + 3*p = 4, 5*q + p - 22 = s. Suppose -3*w = 5 + 7. Put q, w, 2 in decreasing order.
q, 2, w
Let p = -59 + 59. Sort 3, p, 2 in descending order.
3, 2, p
Let l = 35 - 38. Let z = -3 + 6. Sort l, -2, z.
l, -2, z
Let z = -2 - -11. Let r = 8.6 - z. Put 1, -4, r in increasing order.
-4, r, 1
Let l = 12 + -10. Let g(b) = b - 21. Let u be g(0). Let p be (-24)/u + 1*-1. Sort p, 4, l in descending order.
4, l, p
Let q(v) = 14*v - 23. Let k be q(2). Let n = -1 + 4. Sort k, n, 1 in decreasing order.
k, n, 1
Let p = 74.02 + -74. Sort -0.3, p, 0.2.
-0.3, p, 0.2
Let t be (64/(-8))/(-2*1). Suppose 0 = -t*p - 3*x + 13, -5*p - x - 5 + 13 = 0. Sort 3, p, -2 in ascending order.
-2, p, 3
Let n = -0.03 - -4.03. Suppose 5*k + 22 = 3*k + 5*l, k - 11 = -3*l. Let c be -4*(-2)/(k + -3). Sort c, n, -4.
-4, c, n
Suppose 4*x - 16 = 5*h, -2*x + 0*h - 2*h = -26. Let n(t) = t**2 - 9*t. Let v be n(x). Sort 1, v, -5 in ascending order.
-5, v, 1
Let l = -36/5 - -129/20. Sort l, -0.2, -0.06, 1/4 in decreasing order.
1/4, -0.06, -0.2, l
Let w = -1.25 + 1. Let m = -0.05 + w. Let n = -2 - -3. Sort n, m, 1/7 in decreasing order.
n, 1/7, m
Let m = -10.4 + 11.4. Sort -2, 0, m, 2/13 in descending order.
m, 2/13, 0, -2
Let m be -1*(-2 - 0) - 22/11. Suppose 0 = -5*t + 2 + 18. Sort -4, t, m in decreasing order.
t, m, -4
Let t(d) = -6*d - 3. Let b be t(-3). Suppose -3*q + 2*q = u + 5, 0 = 3*u + b. Put -1, -4, q in descending order.
q, -1, -4
Let q(v) = -v**3 - 5*v**2 - 6*v - 5. Let c be q(-4). Let s = -17 - -34. Suppose -a = -4*m + s, m - 3*a + 7 - 3 = 0. Put m, c, 1 in descending order.
m, c, 1
Let z = -10 - -15. Let v be 25/(-6)*2 - -1. Let r = v + 116/15. Sort r, z, 0.1.
0.1, r, z
Let g(r) = r**2 - 2*r - 3. Let v(n) = n - 6. Let l be v(4). Let p be g(l). Suppose 3*a - 2*a + p = 0. Sort -2, -1, a.
a, -2, -1
Suppose -3*s - 38 = -3*y + s, 4*s + 20 = 0. Let n = y + -11. Sort -4, 3, n in ascending order.
n, -4, 3
Let k = -3.1 - -3. Let i(o) = -o**3 - 1. Let l be i(1). Sort l, k, -1/9.
l, -1/9, k
Let h be (3/(-3) - 0) + -3. Put h, 2/21, 4 in descending order.
4, 2/21, h
Suppose 15 = o - 6*o. Let d = 13 - 9. Suppose 4*f + 23 = 5*f + 5*j, 0 = -2*f - d*j + 22. Put o, f, -1 in descending order.
f, -1, o
Suppose 3*p - 10 - 2 = 0. Put 10, -1, p in descending order.
10, p, -1
Let q be (2 + -1)/(2/4). Let b(o) = 4*o + 4. Let w(y) = y + 1. Let c(j) = b(j) - 3*w(j). Let p be c(-6). Sort q, p, -3 in increasing order.
p, -3, q
Let z = -1.7 - -1. Let g be (20/(-6))/((-16)/24). Put g, -1/5, z in descending order.
g, -1/5, z
Let o = 80 - 75. Let i = 0.2 + -0.3. Put i, o, 3 in descending order.
o, 3, i
Let t(c) = c + 11. Let u be t(-10). Let j(b) = 2*b + 7. Let m be j(-6). Suppose 2 = -w - 2. Sort m, u, w in ascending order.
m, w, u
Let m(h) = -2*h**2 - 19*h - 6. Let t be m(-9). Put t, -6, -2 in ascending order.
-6, -2, t
Let x be (-75)/30*(-8)/35. Sort x, -2, -1/4 in increasing order.
-2, -1/4, x
Suppose x + 79 = 5*k, -4*x + 35 = 4*k - 9. Let g be ((-10)/k)/((-1)/(-6)). Let h(o) = -7*o - 1. Let f be h(-1). Put 1, g, f in descending order.
f, 1, g
Let n(q) = -q**2 + 7*q - 1. Let w be n(6). Sort 0.1, w, -6/7 in descending order.
w, 0.1, -6/7
Let j = 15 + -10. Suppose -o + 2*o + 2 = 0. Let y be 2 - o/(-4) - 0. Sort y, 0.3, j in descending order.
j, y, 0.3
Let a be 2 - -1 - (-2 + 1). Let p be 0/(-5) - a/(-14). Let m = 0.15 + -0.05. Sort m, p, -0.3 in decreasing order.
p, m, -0.3
Let j be 3 + -2 - (-1)/1. Let b(x) = -x**2 + 2*x + 3. Let d be b(-2). Sort 5, j, d in descending order.
5, j, d
Let g(s) = s**2 + 7*s + 7. Let h be g(-5). Let b(v) = v + 7. Let o be b(-5). Let l = o - 3. Sort 1, h, l in decreasing order.
1, l, h
Let r = 4.05 + -0.05. Put r, 2, -0.36 in decreasing order.
r, 2, -0.36
Let a be -1*(3 + -6 + 4). Let c be (3 + (-1 - a))*1. Put -5, c, -2 in decreasing order.
c, -2, -5
Let g be 10*(3 + -7)/(-4). Suppose g*z - 5*z + 10 = 0. Let