 - 4*z. Let u = x + -3. Put 2, u, -12 in descending order.
2, u, -12
Let p be (-354)/3*(0 - 1). Let l be (2 - p/60)*4. Put -2/9, l, 2/3 in increasing order.
-2/9, l, 2/3
Suppose 3*c = -3*l + 5*l - 13, 0 = -2*l - 5*c + 5. Suppose 1 = -4*v + l*v. Let g(u) = -u - 1. Let h be g(4). Sort h, v, 5.
h, v, 5
Suppose 0 = 4*w, -5*z + 3*w = -1 - 4. Let v be z/4 + 13/(-4). Let m be ((-10)/4 - 0)*-2. Put v, m, -1 in increasing order.
v, -1, m
Let s(j) = j**2 - 7*j - 5. Let g(t) = -2*t - 4. Let p be g(-6). Let m be s(p). Suppose -4*u = -m*y - 0 + 1, -5*y - 29 = u. Put 1, 2, y in descending order.
2, 1, y
Let q(d) = 3*d + 15. Let a be q(-4). Put -2, a, 2 in decreasing order.
a, 2, -2
Let m = -0.7 - -0.4. Suppose -4*n + 0*n = 0. Let x(g) = -g**2 + 2. Let t be x(n). Sort t, m, 0.3 in descending order.
t, 0.3, m
Let g = -2.3 - -1. Let c = g - -0.9. Let p = -209/4 - -52. Sort c, 4, p in decreasing order.
4, p, c
Suppose -2*r = 3*r + 5*t, -5*r - 7 = -2*t. Let v be r*1/2*10. Sort v, -2, -4 in descending order.
-2, -4, v
Let y be (-7 - -2) + (-5)/(-1). Let z be (-2)/(-3)*(2 - -1). Sort -5, y, z.
-5, y, z
Let u = -22 + 26. Sort u, -1/2, 0.7.
-1/2, 0.7, u
Let s = -0.1 - -0.1. Let u = -4 + s. Let f = 46 - 45.9. Put f, 1/2, u in descending order.
1/2, f, u
Suppose -p + 4*h = -6*p - 3, 3*p + 5*h = 6. Put -4, 5, 1, p in descending order.
5, 1, p, -4
Let r = 153 - 157. Suppose 0*h + 5*h = 20, -4*h = -4*p - 32. Let c(y) = y + 1. Let s be c(p). Put s, r, -2 in ascending order.
r, s, -2
Let k(f) = f**3 + 2*f**2 - 8*f - 2. Let m be k(-4). Sort 1, -0.2, m in ascending order.
m, -0.2, 1
Let d(q) = -q**2 + 6*q - 7. Let n be d(5). Let j be ((-6)/9)/(n/(-9)). Sort -5, j, 2.
-5, j, 2
Let m = 1.9 - 1. Let p = 1 - m. Let s = 1.6 + 1.4. Put s, p, 3/7 in descending order.
s, 3/7, p
Let f = 0.5 - 1.5. Sort 5, 3/8, f.
f, 3/8, 5
Let o = -0.07 - 0.23. Let z = o + 0. Put 2, 0.2, z in descending order.
2, 0.2, z
Let w(j) = -j**2 + 3*j + 5. Let x be w(5). Let b(i) = 3*i + 30. Let c be b(-10). Sort x, c, 1 in increasing order.
x, c, 1
Suppose -2*o + 27 = -3*o. Let k = -2 - o. Suppose -6*b + b = -k. Put 3, -1, b in ascending order.
-1, 3, b
Let i = -0.04 + -5.96. Let h = 7 + i. Put 5, h, 4 in descending order.
5, 4, h
Let l be -11 + 17 - 14/3. Let x be -1*1 + (-22)/(-16). Let f = 0.2 + 0.3. Put f, x, l in increasing order.
x, f, l
Let h be (6/(-4))/(10/(-4)). Let c = -2.8 - -3.8. Sort c, h, -0.5 in ascending order.
-0.5, h, c
Let k = -260 + 1043/4. Let l(x) = -x**2 + 4*x - 3. Let a be l(2). Sort k, a, 1/6.
1/6, k, a
Suppose 0 = 2*m - 3*m + 3*f + 4, 0 = -4*m - 4*f + 64. Put 0, m, -3 in ascending order.
-3, 0, m
Suppose 0 = -2*j - 0*j + 10. Let y = -3 + 7. Suppose y*k - 9 = -1. Sort -5, j, k.
-5, k, j
Let h = 3 + -3. Let w(k) = -4*k - 1. Let f be w(-1). Suppose p + f*p = -4*v + 8, p = -2*v + 5. Sort v, h, -5 in increasing order.
-5, h, v
Suppose 3*c - 4*z = -0 - 2, 5*c + 4*z = -14. Let u(s) = s**3 - 5*s**2 + 4*s + 5. Let t be u(4). Sort 10, c, t.
c, t, 10
Let y = 32 + -31.8. Put 0, -3, y in decreasing order.
y, 0, -3
Let n be (-50)/180 - 1/(-6). Put -4, n, 2/7, -5 in decreasing order.
2/7, n, -4, -5
Let z = 18 - 22. Sort -2/21, z, 0.5 in decreasing order.
0.5, -2/21, z
Let x(w) = -w**3 + 8*w**2 + 11*w - 12. Let v(t) = t**3 + t**2 + t + 9. Let n be v(0). Let j be x(n). Sort -4, j, -3 in decreasing order.
j, -3, -4
Suppose 3*u + 5 = -5*l, 0 = -5*u + 6*l - l + 5. Let t(z) = z + 10. Let d be t(-5). Suppose -17 = 2*q + 3*k, d*q = -k - 6 - 4. Sort u, -5, q.
-5, q, u
Let h = 11 - 0. Suppose -2*a - 1 = -h. Sort -1, 4, a.
-1, 4, a
Let n = 29.4 + -27. Let d = n - 1.3. Let v = d - 1. Sort -1/3, v, 1/5.
-1/3, v, 1/5
Let y be 1/(-3) + 22/3. Suppose -2*a + 1 - y = 0, 4*a + 2 = 2*l. Let r be (l/(-6))/((-1)/(-3)). Sort 1, r, 0.
0, 1, r
Let j = -10 + 6. Let w = 5 + j. Let s be 5*(-2)/(1 + w). Sort -2, s, -1 in decreasing order.
-1, -2, s
Let r be (-2)/10*(-11 + (-30)/(-5)). Sort 5, r, -1, -5.
-5, -1, r, 5
Let d be ((-8)/(-16))/((-1)/(-2)). Let a(m) = -m**3 + m**2 + 9. Let r be a(0). Suppose 4*c = c - r. Put 0, c, d in increasing order.
c, 0, d
Suppose -5 = -5*w, 4*n = -5*w - 7 - 20. Let k be (15/(-10))/(42/n). Sort k, 2, -3 in increasing order.
-3, k, 2
Suppose 0 = 3*m - 4*a + a, -2*m - a = -9. Put -3, 0.4, m in ascending order.
-3, 0.4, m
Suppose 0 = z - 5*p - 2, z + 3*p = 4*z - 6. Let f be -2 - (-24)/7 - z. Let v = -0.5 - -0.9. Sort f, -4, v in increasing order.
-4, f, v
Let a = -15 + 10. Sort -2, 1, a in ascending order.
a, -2, 1
Let k = -36579/17 + 2151. Let o = 19/51 + k. Put o, 0.2, 2 in decreasing order.
2, 0.2, o
Let x = -10 + 8. Let w = 8 + -7. Put w, x, -5 in ascending order.
-5, x, w
Let q = -26 - -110. Let t = 416/5 - q. Sort t, -0.2, 1/6 in descending order.
1/6, -0.2, t
Let f = -15 - -11. Suppose -4*b = 5*j + 6, 0*j - 5*b - 12 = 4*j. Let i be (-8)/j - (-13 - -14). Sort f, 2, i in decreasing order.
2, f, i
Let i be (6 - 2) + 5/(-2). Put -2/7, 0, i in descending order.
i, 0, -2/7
Let m(l) = -2*l - 10. Let i be m(-7). Suppose -j + 4*n - 25 = 0, -2 = -3*j - i*n + 3. Suppose -r - 2 = -3*r. Sort r, j, 2 in descending order.
2, r, j
Let v = 0.076 - -2.924. Let d = 0.8 + 6.2. Let z = -3 + d. Sort z, v, -3 in decreasing order.
z, v, -3
Let i = -2 - -1. Put 14, 3, i in ascending order.
i, 3, 14
Let x(m) = -m**2 - 5*m + 49. Let t be x(5). Let u = 2 + -5. Let z be (4/6)/(1/6). Sort z, u, t in descending order.
z, t, u
Let s = 7 + -6. Suppose -9 = -g - 2*g. Suppose -4*o + 5 = -5*f, -5*o + 0*o = -g*f + 10. Sort f, s, 0 in descending order.
s, 0, f
Let j = -0.06 + 4.56. Let w = j - -0.5. Put 1, -0.2, w in decreasing order.
w, 1, -0.2
Suppose 3*i - 4*b = -0*i + 9, 4*i - 2*b = 2. Let g(n) be the first derivative of 3*n**2/2 - n + 1. Let a be g(2). Sort i, 3, a in descending order.
a, 3, i
Let b = -0.1 - -0.2. Put -2/9, -0.3, b in increasing order.
-0.3, -2/9, b
Let b = 0.57 - 0.07. Sort b, 6, -4 in ascending order.
-4, b, 6
Suppose 4*h - 7 - 1 = 0. Suppose w + 41 = 4*l - 4*w, -2*l + 18 = -h*w. Sort 2, l, 0.
0, 2, l
Let m = -44 + 28. Let c be 0 - (2 + 34/m). Let f = 30 - 29. Put -2, c, f in descending order.
f, c, -2
Let o(g) = 4*g - 1. Let p be o(1). Suppose -12 = -p*l, -3 = 4*j + l - 15. Let s be (1 - j)/((-1)/(-5)). Sort s, 3, -2 in increasing order.
s, -2, 3
Suppose 8 = 2*a - 2. Let z be (1 - (-3)/(-3)) + 2. Suppose -z*c - 7 = -1. Put a, c, 0 in ascending order.
c, 0, a
Let m be (-18)/(-5) + (-4)/(-10). Let x be m/((-1)/(-2) - 1). Let f be ((-4)/x)/(1/2). Sort f, 5, 0 in decreasing order.
5, f, 0
Let r = 0.86 - -0.04. Let s = r - -0.1. Sort 5, s, -3.
-3, s, 5
Let s = 4 - -1. Suppose -5*a = -0*a - s. Let h = -2 + 1. Sort a, 1/4, h in decreasing order.
a, 1/4, h
Let f = 5.12 - 0.12. Let r = 6 - 10. Let v = f + r. Put -3, v, 3/5 in descending order.
v, 3/5, -3
Let i(q) = 107*q**2 + 2*q - 2. Let k be i(2). Suppose 4*v = -26 + k. Let b = v - 809/8. Sort b, -1/4, 2/9 in decreasing order.
2/9, b, -1/4
Let o = -0.56 - -11.56. Put 0.1, 0, o in increasing order.
0, 0.1, o
Suppose 0 = 5*q - q - 24. Suppose 0 = 2*h - q. Sort 5, h, -5.
-5, h, 5
Let h = -5 - -9. Let u(s) = -s**2 + 5*s - 5. Let r be u(h). Suppose j - 10 = -4*j. Put j, -5, r in decreasing order.
j, r, -5
Let g = -35.7 - -36. Let h = 0.2 + -0.24. Let v = -2.96 + h. Put g, v, -2/5 in decreasing order.
g, -2/5, v
Suppose 0 = -5*d - r - 15, -4*r + 0*r = 0. Let y(f) = -f**3 - 7*f**2 + f + 7. Suppose 2*q - 3 = -17. Let w be y(q). Put 5, w, d in decreasing order.
5, w, d
Let s = 0.2 - 0.14. Let f = 3.94 + s. Let u = f - 6. Put 2, u, 0.3 in decreasing order.
2, 0.3, u
Let o = -157/15 + 54/5. Let j be 1 - (-3)/(-2)*-2. Suppose -4*u + a = 16, 0 = 5*u - u - 4*a + j. Put o, 0, u in ascending order.
u, 0, o
Let j = 19 - 21. Let b(n) = n**2 - n. Let q be b(1). Suppose -2*o + 3*t = 4, o = -o + 2*t. Put o, j, q in increasing order.
j, q, o
Let h = -25 + 21. Suppose 5*y = 6*g - 4*g + 31, 5*g - 10 = -5*y. Put y, -3, h in descending order.
y, -3, h
Let w(j) = j + 2. Let u = 9 + -6. Suppose -7 = u*y + 5. Let g be w(y). Sort -1, -5, g in increasing order.
-5, g, -1
Let l be ((-87)/4)/((-25)/(-20)). Let i = 17 + l. Let b = -95/3 + 31. Sort i, -4, b in ascending order.
-4, b, i
Let k = -3 + -1. Suppose -3*x - 13 = 5*g, 20 = -3*x + 4*g - 2. Let d = 1 + x. Put k, 4, d in decreasing 