der.
y, o, -4
Suppose -2*q + 6*q = 92. Suppose -2*h = 8, -5*h - q = -2*b - 9. Suppose -8*y + 3*y - 4 = -4*d, 0 = -4*y + 4*d - 4. Sort 1, b, y in ascending order.
b, y, 1
Let y = -3222/13 - -248. Sort y, -0.4, 2/7, 3.
-0.4, y, 2/7, 3
Let n = 7 + -7. Put n, 2, 5 in increasing order.
n, 2, 5
Let s = 4 - 3. Let b be (-2)/(-2) - (-1)/s. Let j(n) = n + 2. Let r be j(-7). Put r, 1, b in increasing order.
r, 1, b
Let b = -21 + 26. Let o(j) = -j**2 - 4*j. Let r be o(-5). Sort b, 0, r in decreasing order.
b, 0, r
Let z(q) = -q**3 - 4*q**2 - 5*q - 4. Let i be z(-3). Suppose -4*m = -5*m - i. Sort -1, -3, m.
-3, m, -1
Let j = 12 - 13. Let a be j - (-6 - -3) - 2. Sort a, -5, 4 in decreasing order.
4, a, -5
Suppose 0 = d + 3*d - 12. Let s = d + -6. Let x be 32/(-18) - 4/18. Put 5, x, s in descending order.
5, x, s
Suppose 5*y = 5*j + 20, -4*y - 4*j = j + 2. Put 24, 0, y in decreasing order.
24, y, 0
Let d = 9 - 4. Suppose o + 7 = -d*n, 0 = -3*n - n - 8. Suppose 0*v - 6 = -o*v. Put v, 0.5, 1/5 in descending order.
v, 0.5, 1/5
Suppose 2*k + 16 = a + 5*k, -4*k = a - 17. Suppose 4*m + a = 5. Let s be 3/(0 + -1 - m). Sort 1, s, -5 in decreasing order.
s, 1, -5
Let r be (3 + -2 + 3)*(-4)/88. Sort r, 0, -5 in increasing order.
-5, r, 0
Let q be ((-6)/((-24)/20))/(-1). Put q, 1, 5 in descending order.
5, 1, q
Let u = 6 - 6.5. Sort -3, u, 2/81 in decreasing order.
2/81, u, -3
Let y be (-6)/(-2) - (5 + -6). Suppose -17 = -3*s - 4*c, s = -s + y*c - 2. Sort -2, 2, s.
-2, 2, s
Suppose -l + z = -3, -5*z = 1 - 6. Suppose -19 + 7 = -l*f. Sort -4, f, 2 in decreasing order.
f, 2, -4
Suppose 3*w - z - 22 = z, -32 = -3*w + 4*z. Let c be (-4)/6 + 24/9. Suppose 10 = -4*h + c*h. Sort h, -1, w in descending order.
w, -1, h
Let l = 96 - 90. Put 0, l, -3 in decreasing order.
l, 0, -3
Let f be 1/1 + (-14 - -8). Let t(s) = 2*s**2 + 2*s - 3. Let a be t(-3). Let p be (-6)/a*(-7 - -1). Put p, 5, f in descending order.
5, p, f
Let a(g) = 1 - 4*g**2 - 2 + 3*g**2 - g + g**3. Let x be a(0). Suppose -5*i = -5*q - 60 + 20, 2*i = 6. Sort x, -3, q.
q, -3, x
Let n = -14 + 25. Let u(s) = -s**3 + 12*s**2 - 11*s + 3. Let j be u(n). Put 5, j, -4 in decreasing order.
5, j, -4
Let d = -1 - -12. Let o = -6 + d. Put o, 15, 1/6 in decreasing order.
15, o, 1/6
Let a = 5 - 1. Let s be (a - 5)*(-2)/12. Put 0.4, s, 2/3 in increasing order.
s, 0.4, 2/3
Suppose -3*l + 13 = -n, 2*n + n - 1 = -l. Suppose -2*s = -3*s. Put s, 3, l in descending order.
l, 3, s
Let s = 0.5 + 0. Let p = 0.3 - 0.2. Let w = -0.05 + -0.05. Sort w, s, p.
w, p, s
Let s be (5 + -1)*18/(-24). Let r be ((-8)/(-18))/((-14)/(-63)). Put -5, r, s in increasing order.
-5, s, r
Let u(h) = -2*h + 29. Let c be u(12). Put c, 0, -14 in decreasing order.
c, 0, -14
Let j(q) = q**3 + 9*q**2 - 9*q + 10. Let c be j(-10). Sort 6, 2, -4, c in decreasing order.
6, 2, c, -4
Let a(i) = i**3 + 6*i**2 + 1. Let r be a(-6). Let k = 4 + 1. Let q = -2 - -2. Sort r, k, q.
q, r, k
Let q be 1 + 8 - (-18 + 22). Put q, -1, 4 in decreasing order.
q, 4, -1
Let o be (-1 - 1)/2 + 1. Let s(h) = h + 2. Let a be s(-2). Suppose 4*j = -w + 17, -j + a*j + 20 = -5*w. Put o, w, -1 in descending order.
o, -1, w
Suppose -2*v + 10 = -7*f + 4*f, -2*f + 4 = 4*v. Sort 0, -3, f.
-3, f, 0
Suppose -23*y = -18*y. Sort 5, -0.5, -0.2, y.
-0.5, -0.2, y, 5
Suppose -u - 3 = -0. Let r be 0 - (0 + 0 - 1). Let s = r - u. Sort s, -2, 0 in decreasing order.
s, 0, -2
Suppose -2*d - 5 = -17. Let k(v) = -4*v**2 + 11*v - 7. Let a(p) = 7*p**2 - 21*p + 14. Let i(b) = 3*a(b) + 5*k(b). Let n be i(d). Sort n, 3, 5.
n, 3, 5
Let r = -720/7 - -103. Sort 0.3, -4/7, r in ascending order.
-4/7, r, 0.3
Let u = -0.12 + -0.38. Let w = u + 0.3. Let p be 8/(-42)*(-3)/2. Put w, p, 1/3 in ascending order.
w, p, 1/3
Let j be ((-3)/2)/((-3)/8). Suppose 3*v + v = -3*l + 20, 0 = l. Suppose 0 = -v*x + 3*x + 2. Sort 2, j, x in increasing order.
x, 2, j
Let b = 9.5 - 9.3. Sort b, -2, 2/7, 2.
-2, b, 2/7, 2
Suppose -2*f - 18 = -3*g, 3*g - f + 4*f - 3 = 0. Let v = -41 + 46. Let r = -1644/7 + 234. Put r, g, v in descending order.
v, g, r
Suppose 0 = 3*t - 4*i - 24 - 0, 0 = 5*t - 3*i - 29. Sort -3, t, 5 in increasing order.
-3, t, 5
Let h = -0.8 + -1.2. Let g = -15 + 16.6. Let y = g + h. Sort y, -5, 0 in descending order.
0, y, -5
Let n = -0.6 + 0.2. Let r = 0.2 + -0.2. Let h = r + -0.2. Sort h, -4, n in descending order.
h, n, -4
Let l(n) = n**2 - 7*n + 4. Let u be l(7). Let x = 5.2 - 9. Let b = 0.8 + x. Sort 2, u, b in increasing order.
b, 2, u
Let t = 2/11 - 17/33. Let x = -0.66 - -0.76. Put 1/9, x, t in decreasing order.
1/9, x, t
Let g = -2.86 + 8.9. Let s = g + -6. Let j = -5.04 + s. Sort -0.2, -0.5, j in increasing order.
j, -0.5, -0.2
Let b(j) = j**2 - 8*j + 2. Suppose 5*p = 3*i + 2*i + 50, -5*p + 41 = -2*i. Let o be b(p). Let l = -1.3 + 1. Sort o, 0.1, l.
o, l, 0.1
Let p = 9 - 9. Let o = -10.8 - -10. Let s = 4.8 + o. Sort 1/3, p, s in increasing order.
p, 1/3, s
Let f = -0.59 + 0.42. Let k = f + 0.07. Let y = 165/4 + -41. Put k, -3, y in ascending order.
-3, k, y
Let z = 144 - 148. Sort 7, -3, 0, z.
z, -3, 0, 7
Suppose -p = -4*b + 42, b + 4*p = 2*p + 6. Let k be (-2 + 12/b)*5. Sort k, 1, -5 in ascending order.
-5, k, 1
Let k be 1/(-3 - (-1 + -1)). Let n be 1*((-2)/2)/(-7). Let l = 1262/7 + -180. Sort l, n, k.
k, n, l
Let q = 0.39 + 0.01. Let s = -0.6 + 0.3. Let m = 0.2 + s. Sort q, 3, m in descending order.
3, q, m
Let n(r) = -r**3 + 5*r**2 + 6*r + 4. Let u be n(6). Let j(p) = -p**3 + 3*p**2 + 5*p - 5. Let i be j(u). Sort -2, -5, i in descending order.
i, -2, -5
Let n = 1.7 - 1.53. Let w = -0.03 - n. Let o = 1 + -6. Sort w, o, 2 in decreasing order.
2, w, o
Suppose h = -h + 5*n + 1, -5*h = -3*n + 7. Suppose 3*a - 3*z + 21 = -0*z, -5*z = -a - 19. Sort 2, h, a in increasing order.
a, h, 2
Suppose 5*f + 26 = -44. Sort f, 5, 3 in ascending order.
f, 3, 5
Let n = 275 + -6873/25. Sort 0.04, -1/8, n.
-1/8, 0.04, n
Let h be 0 + (-4)/(-8) + (-12)/26. Sort 1/7, -0.3, -5, h.
-5, -0.3, h, 1/7
Let r = 2.5 - 3. Suppose -z + 0*z = -4*q + 13, 0 = -4*q + 8. Sort 0, r, z in increasing order.
z, r, 0
Suppose 44 - 49 = 5*x. Put 2, -2, x in descending order.
2, x, -2
Suppose -3*x + 2*x = 0. Suppose 0 = -5*i, 5*i + 4 + 1 = -5*r. Let w = 4 - r. Sort w, 2, x in descending order.
w, 2, x
Let s(t) = -t**3 - t**2 + 4. Let h be s(0). Let l(v) = 3*v - 16. Let d be l(8). Suppose 6*y - d = h*y. Put -3, -0.4, y in descending order.
y, -0.4, -3
Let j(b) = 5*b**3 + 2*b**2 - 1. Let h be j(-1). Put h, 2, -8 in increasing order.
-8, h, 2
Let o be (2 + -3)*1 + 2. Put o, -1, 10 in ascending order.
-1, o, 10
Let x = -4.9 - 0.1. Let s = 9 + x. Sort 0.2, s, 1/6.
1/6, 0.2, s
Let g = -0.11 + 0.14. Sort -1/9, g, -3/2, -3 in descending order.
g, -1/9, -3/2, -3
Let v = 17.4 - 17. Sort 0.2, v, 1, 1/3 in descending order.
1, v, 1/3, 0.2
Let l = -89/45 - -11/5. Let a = 45 - 45. Sort -1/3, a, l in increasing order.
-1/3, a, l
Let o = 13 + -13.5. Suppose 3 = 2*g - 3*g. Let r = g - -2. Put 0, o, r in decreasing order.
0, o, r
Suppose -v + 3*t - 6 = -4*v, 5*v - 18 = -t. Sort -27, -1, v in descending order.
v, -1, -27
Let s be 25/20 + 2/(-8). Let o be (0 + -5)*1/s. Put o, 0.2, 0 in decreasing order.
0.2, 0, o
Let j be 5/(-25) + 58/40. Put 0, 24/5, j in descending order.
24/5, j, 0
Let v = -18 + 22. Put 11, -1, v in ascending order.
-1, v, 11
Suppose -8*z + 28 = 4. Let o be 8/1 - (3 - 3). Let w = o + -6. Sort z, w, 1.
1, w, z
Let p(n) = 0*n - 1 - n**2 + 7*n + 4. Let i be p(6). Let d be 2 + (-2 + i)/(-1). Put d, 4, 3 in descending order.
4, 3, d
Let i = 182/3 + -60. Suppose -4*z + 3*z - t = -3, 0 = 5*z + 4*t - 14. Let w be 0/(-2) + 3/z. Sort w, 2, i in decreasing order.
2, w, i
Let g be (21/(-105))/((-8)/10). Sort g, -1, 0.8 in decreasing order.
0.8, g, -1
Let o be 16/28 - (-93)/21. Suppose 7 = -5*t - 3. Put t, -3, o in decreasing order.
o, t, -3
Let v(t) = t - 4. Let w be v(0). Let l = 0.7 - 0.3. Let c be 4/18 + (-21)/(-27). Sort c, w, l in decreasing order.
c, l, w
Let w be 1/(-1) + 5/4. Let n(a) = 2*a - 10. Let d be n(6). Suppose 0 = -t + d*t + x - 2, -5*t = 2*x - 16. Put -3/8, t, w in decreasing order.
t, w, -3/8
Suppose 2*f + 2 = -0. Let n = 3 + f. Suppose n*b = -0*b + 4. Put b, -3, 4 in decreasing order.
4, b, -3
Let q(d) = -5*d**3 - d + 1. Let m = -10 - -11. Let z be q(m). 