
u, 0, y
Let a = 19.1 - 17. Let s = 5.1 - a. Put 0, s, -0.2 in increasing order.
-0.2, 0, s
Suppose 3*v - 3 - 3 = 0. Suppose -v = -x - 1. Suppose -x = r - 2*r. Put 5, 4, r in ascending order.
r, 4, 5
Let v = 6.34 + 0.16. Let w = 6 - v. Let y be 6/15*(-5)/7. Put w, 0, y in decreasing order.
0, y, w
Suppose -36 = -10*f + 6*f. Sort f, 5, 1 in descending order.
f, 5, 1
Suppose 0 = 4*o + 7 + 13. Let q(t) = -t + 14. Let d be q(9). Put o, -4, d in increasing order.
o, -4, d
Suppose -5*v = -v - 4. Let p(h) = h**3 - 7*h**2 - h + 7. Let z be p(7). Let b be z*(-1)/((-2)/v). Sort b, 3, -3 in decreasing order.
3, b, -3
Let n be 1*14*(-5)/10. Let v = -9 - n. Sort v, 2, 0 in decreasing order.
2, 0, v
Let h = 39 + -40. Sort 0.01, 3, h.
h, 0.01, 3
Let z(y) = 2*y - 5. Let s(o) = -o**2 + 7*o - 1. Let u be s(6). Let f be z(u). Let m = 3 + -2. Put 0, m, f in increasing order.
0, m, f
Let y = 141 + -3655/26. Let q = y + 1/13. Put 0.2, q, 5 in descending order.
5, q, 0.2
Let n = 4/41 + 144/205. Sort 2, -1, n.
-1, n, 2
Let s = -4.646 - -0.046. Let y = s + -0.4. Sort y, 5, -0.4 in ascending order.
y, -0.4, 5
Suppose 2 = -36*m + 35*m. Let l be -2 + 6 + -1 + -2. Put -5, l, m in descending order.
l, m, -5
Let k(v) = -v**3 - v**2 + v + 16. Let u be k(0). Suppose -3*f + 7*f = -u. Sort 5, f, 2.
f, 2, 5
Let x be (-7 - -6)*(1 - 1). Suppose 2*q + 3*l = x, 2 = -q + 5*l + 15. Suppose 0 = -q*f - 2*f. Put f, -4, -3 in increasing order.
-4, -3, f
Let y(t) = t - 13. Let u(c) = 2*c - 27. Let q(w) = -3*u(w) + 7*y(w). Let r be q(7). Put r, -1, -5 in descending order.
-1, r, -5
Suppose -27 = 3*c - 0*c. Let i = c + 7. Sort -1, 4, i in decreasing order.
4, -1, i
Let n = 61 + -59. Sort 0.3, 0.5, n, -0.4 in increasing order.
-0.4, 0.3, 0.5, n
Let c = -12 + 14. Let y be c + -5 + 5 + -2. Put 4, y, 1 in increasing order.
y, 1, 4
Let m = -7 + 12. Let f = -0.9 - 0.6. Let o = 1 + f. Sort o, m, 3 in increasing order.
o, 3, m
Let h = -79 - -631/8. Let t = -2.2 + 2. Put h, -2, t in descending order.
h, t, -2
Let x(n) = -n**3 - 5*n**2 + 7*n + 3. Suppose 0 = 4*p + 8 + 16. Let f be x(p). Sort f, 5, 1 in descending order.
5, 1, f
Let i(k) = -3*k + 1. Let q be i(-5). Let u be q/140*(-5)/(-2). Let g = 0 - 2. Sort u, g, 5 in descending order.
5, u, g
Let i = -26.9 - -23. Let g = i - -4. Put 0.4, g, -1 in ascending order.
-1, g, 0.4
Let y = 3893/7 + -557. Sort -4, -2, y, 3/2.
-4, -2, y, 3/2
Let w = -1.2 - -6.2. Let d be 7*(-4)/8*-2. Sort w, -2/3, d in descending order.
d, w, -2/3
Suppose -x + 44 = 10*x. Let i = 1 - 2. Put i, 5, x in descending order.
5, x, i
Let o = 28 - 30. Put o, -0.3, 2 in decreasing order.
2, -0.3, o
Suppose -3*a + 17 = a - j, -3*a + 2*j = -9. Suppose 4*m + m + 75 = -a*o, 2*m + 10 = 2*o. Let u = 14 + m. Sort u, -4, -2.
-4, -2, u
Let o = -2/346553 - -2773463681/3812083. Suppose 5*g + 5*u = -3625, -g + 2*u - 2185 = 2*g. Let h = g + o. Sort -1/11, h, -0.5.
-0.5, -1/11, h
Suppose 23 - 1 = -5*y + 3*v, -4*y - 22 = 2*v. Sort y, 23, 1 in increasing order.
y, 1, 23
Let k be (-322)/(-84) - 8/2. Put 3/4, 12, k in decreasing order.
12, 3/4, k
Let g(b) = -b. Let f be g(-4). Suppose 3*h - 20 = 5*t + 2, 5*t + 25 = 0. Put f, h, -3 in ascending order.
-3, h, f
Let b = -6 - -10. Suppose -4*c + 2 = -2*y, -b*y + 0*y + 12 = 0. Sort -5, -4, c in descending order.
c, -4, -5
Suppose -4*h + h + 12 = 0. Let i(l) = l - 1. Let c be i(3). Put -3, c, h in ascending order.
-3, c, h
Let b = 1.31 + -1.3. Put b, -0.4, 0.1 in descending order.
0.1, b, -0.4
Let y = -1/15 + -1/10. Let u = 0 - -1. Let t = u + -1. Sort t, y, -4 in descending order.
t, y, -4
Let g be 2/(-6) + (-33)/9. Let c(a) = 2*a + 5. Let m be c(-5). Sort g, m, 0 in decreasing order.
0, g, m
Let j = -2 + 0. Suppose -6*p = -p + 20. Put j, p, 1 in decreasing order.
1, j, p
Suppose 0 = 2*f - 18*f - 16. Let x = 3 + -2. Sort f, -1/4, x in ascending order.
f, -1/4, x
Let z(u) = -2*u**2 + 3*u. Let a be z(2). Suppose -3*n - 1 = -7. Let w(j) = -4*j + 3. Let q be w(n). Put q, a, 3 in ascending order.
q, a, 3
Let u = 29 + -29.1. Put -1/3, 0, u in ascending order.
-1/3, u, 0
Let y(m) = -m**3 + 5*m**2 + 4. Let l be y(5). Let z(f) = -1. Let x(j) = j**2 - 5*j + 4. Let v(i) = l*z(i) + x(i). Let s be v(5). Sort 2, s, -1.
-1, s, 2
Suppose u = 4*r - 12, -3*r = -3*u - 7*r + 12. Let f(h) = -22*h + 20. Let p be f(1). Let k(x) = x - 7. Let t be k(6). Put p, t, u in ascending order.
p, t, u
Suppose -4*x - 7 = -3. Let u(a) = -a**3 + 4*a**2 - 4*a + 3. Let l be u(2). Let z = -6 + 11. Sort l, z, x in descending order.
z, l, x
Let k be 1/(-1 - (-4)/5). Suppose -z + 1 = -3*f, -z - z + 3*f = 1. Sort k, -4, z.
k, -4, z
Let d = -38 - -58. Sort -2/11, 1, d in descending order.
d, 1, -2/11
Let u be (-41)/(-3) - 16/24. Put u, 0, -4 in increasing order.
-4, 0, u
Let j = -723/77 - -108/11. Sort 4, j, 1/7 in decreasing order.
4, j, 1/7
Let d = 19 + -5. Let o = 13.6 - d. Sort 1/8, o, 0.4.
o, 1/8, 0.4
Let h = -0.5 - -0.4. Let o be 52/(-60) + 4/6. Let n be 1/(-3) - (-2 + 2). Put h, n, o in descending order.
h, o, n
Let l = 20/7 + -22/7. Sort 2/7, l, 1/7 in decreasing order.
2/7, 1/7, l
Let y(v) = v**3 + 7*v**2 + 6*v + 4. Let c be y(-6). Let w be (-11 + 8)*c/3. Put 5, -3, w in ascending order.
w, -3, 5
Let u be (8/10)/((-2)/(-5)). Suppose 0*g = a + u*g - 12, -3*g + 28 = 4*a. Let l(t) = -t + 4. Let w be l(6). Sort -1, w, a.
w, -1, a
Let m be -1*172*1/2. Let f = 428/5 + m. Let t = 0.03 - 3.03. Put t, f, 4/7 in descending order.
4/7, f, t
Suppose -15 = 5*g - 5*z, -4*z - 8 = -2*z. Let x = g + 6. Sort x, 0, -3 in increasing order.
-3, x, 0
Suppose d = 3*z + 4, 5*z - 2*d + 8 = -d. Suppose 2*g + 3*g + 15 = -5*l, 3*g - l - 11 = 0. Let c = g + 3. Sort 2, c, z.
z, 2, c
Let c = -6 + 5. Sort 6, -3, c.
-3, c, 6
Suppose -2*k + 28 = -6*k. Let u = k + 8. Put u, 4, 0 in decreasing order.
4, u, 0
Suppose -33 = 3*r - 21. Put 3, 0, r, 2 in descending order.
3, 2, 0, r
Suppose 2*y + 4 + 4 = 0. Let p = y + 3. Sort p, 1, 5 in decreasing order.
5, 1, p
Let s = -0.2 + 0.08. Let x = s - 0.08. Put -0.6, -1/4, x in descending order.
x, -1/4, -0.6
Let i(u) = u**2 + 5*u + 6. Suppose -4*f + 2*f = 10. Let w be i(f). Let j be (3/(-9))/((-5)/w). Sort -2, 1/4, j in decreasing order.
j, 1/4, -2
Suppose 8 = -0*i + 2*i, -2*n = 2*i. Let h = -28 + 57. Suppose h = -5*v + 4. Put n, v, 2 in ascending order.
v, n, 2
Let b = -0.1 + 1.1. Let r = 50 - 76. Let l = 26.2 + r. Put l, 0, b in ascending order.
0, l, b
Suppose -5*l - 5 = 20. Let v = -0.2 - -0.1. Put l, v, 4 in ascending order.
l, v, 4
Suppose 5*j = -4*c - 5, 0 = -4*c - c. Let h be (-114)/(-22) + 10/(-55). Suppose -2*g = h*w, 3*g + 5*w = -g. Sort j, g, -4 in ascending order.
-4, j, g
Let s = 36 - 322/9. Put 2, s, 0.09 in decreasing order.
2, s, 0.09
Let a(b) = b**3 + 5*b**2 - 6*b - 2. Let m be a(-5). Let w be 10 + -2*1 - 2. Let n be (-2)/(-6) + m/w. Put -2, n, -4 in increasing order.
-4, -2, n
Let f be 148/(-28) + (-2)/(-7). Sort 3, -8, f.
-8, f, 3
Suppose -4*k + 27 = -3*p, 0*p - 3*k = 3*p + 6. Let f(i) = -i**3 - 6*i**2 - 4*i + 7. Let v be f(p). Sort -2, v, -5 in decreasing order.
v, -2, -5
Let j(b) = 5*b**3 + 2*b**2 + 2*b + 1. Let h be j(-1). Let n(i) = -i**2 + 4. Let w be n(-3). Let f = w - h. Put f, 1, -2 in descending order.
1, f, -2
Let y = 7 + -14. Let c = -7.2 - y. Let t = c + 0.6. Put 1/3, t, 4 in ascending order.
1/3, t, 4
Let m be 2/5 + 26/10. Suppose -m*q = -2*q - 4*j, -13 = -2*q - 5*j. Put q, -0.4, 5 in ascending order.
-0.4, q, 5
Let d = -7 + 12. Put 0.5, 3, 0.1, d in ascending order.
0.1, 0.5, 3, d
Let j(v) = v**2 - 7*v + 8. Let u be j(6). Let w be 7 - (4 - 2)/1. Suppose -4*m - 8 = 3*i - 8*i, -w*m + 5*i - 5 = 0. Put m, 4, u in descending order.
4, m, u
Let a be 2/(-5) - (-16)/140. Sort -5, -8, a.
-8, -5, a
Let u be (-93)/(-12) + 1/4. Suppose -2*j + u = -5*b - 0*b, -4*j + 4*b = -4. Suppose 0 = 16*g - 15*g - 3. Put 4, j, g in descending order.
4, g, j
Let y(a) = -a**3 + 6*a**2 + 7*a + 1. Let z be y(7). Let w(k) = k + 4. Let g be w(-6). Sort z, g, -3 in decreasing order.
z, g, -3
Let g = 30.3 - 30. Sort -12, g, 2.
-12, g, 2
Let c be (-36)/10 - (-4)/(-10). Suppose 2*j - 8 = -2*k - 0, 2*j - 3*k = -12. Sort -9, c, j in descending order.
j, c, -9
Let v = -19 + 19.4. Let f(y) = y**2 - 4*y - 4. Let w be f(4). Put v, w, -2 in descending order.
v, -2, w
Suppose -3*v = 3*z, -3*z