) = -y + 11. Let t be g(13). Let f(q) = -q. Let c be f(0). Put t, z, c in increasing order.
z, t, c
Let b be (8/(-6))/(2/24). Let v be (-6)/(-8) - 52/b. Suppose -v*w = w + 25, 2*q = -5*w - 27. Sort 0, 4, q in descending order.
4, 0, q
Let s be (-1 - (-1 - -2)) + 8. Let g be -2 + 2*(-3)/s. Put 0, -2, g in decreasing order.
0, -2, g
Let z = -11 - -8. Let w = -6 + 10. Put w, z, 2 in descending order.
w, 2, z
Let d be 0/1*9/18. Sort d, 5, -4 in decreasing order.
5, d, -4
Let l = 0.252 + 0.048. Sort 0.5, -0.5, l, -1 in descending order.
0.5, l, -0.5, -1
Suppose -4*i = 16 + 4. Sort -1, 0, i, 5.
i, -1, 0, 5
Let z = -21 - -25. Sort -6, z, -5.
-6, -5, z
Let n = 1.1 + 2.9. Sort 2, n, -2/9.
-2/9, 2, n
Let j = 12 + -16. Let g(y) = -y - 2. Let n be g(-3). Sort n, 0, j in descending order.
n, 0, j
Let x be ((-1)/(-3))/((-2)/8). Let r = -123 + 859/7. Put r, 2, x in ascending order.
x, r, 2
Let u be -8 - -11 - (-24)/(-10). Put u, 28, 0.2 in decreasing order.
28, u, 0.2
Let n(g) = g**2 - 7*g. Let v be n(7). Let f = -1 - -2. Suppose 0 - 15 = -3*p. Put p, v, f in increasing order.
v, f, p
Suppose -3*r + 4 = 4*v - 7*r, v - 4*r + 2 = 0. Suppose -v*d = -4*i + 9 + 9, -5*d + 5*i - 25 = 0. Suppose -2*f = f - 12. Put -4, f, d in decreasing order.
f, d, -4
Suppose 5*x = -3*y + y, -4 = 2*x. Sort -4, -2, y in increasing order.
-4, -2, y
Suppose -p - 4 = -3. Suppose i = 5*i - 8. Sort 1, p, i.
p, 1, i
Let t = 50.8 - 51. Sort 0, -1, 1, t.
-1, t, 0, 1
Let x = -657786185753/16191 - -365640862/9. Let a = 412/257 + x. Let s = a + -108. Sort s, -0.3, -2 in ascending order.
-2, -0.3, s
Let n = -1/221 - 7729/1326. Let v = n + 31/3. Put -3, -0.1, v in decreasing order.
v, -0.1, -3
Let j be (-1 - -4)/((-3)/(-2)). Let h be -3 - (-3)/((-15)/(-10)). Put j, 1, h in ascending order.
h, 1, j
Suppose 6*a = 2*a + 12. Put -5, a, 0 in decreasing order.
a, 0, -5
Let l(o) = -3*o + 12. Let t be l(5). Suppose -2*u = 9 + 5. Let x be u/10*-2 - 1. Put t, -3/7, x in ascending order.
t, -3/7, x
Suppose -4*v - 153 = -13*v. Put 0, 3, v in decreasing order.
v, 3, 0
Let h be 3 - 7*5/10. Sort -1/4, h, 3.
h, -1/4, 3
Let v = 1.34 - 1.74. Sort v, 2/7, -0.3, 0.
v, -0.3, 0, 2/7
Let k = 28 - 85/3. Let o = 48 + -47.9. Put k, o, -2/11 in descending order.
o, -2/11, k
Let g(w) = w**2 + 16*w - 11. Let z be g(-16). Let j = z - -4. Sort -2, -4, j in descending order.
-2, -4, j
Suppose 4*j - j - 72 = 0. Suppose -3*v - j = -9. Let u be ((-1)/1 + -1)/2. Sort -3, u, v in increasing order.
v, -3, u
Suppose 0 = 2*d - n - 1 - 1, -3*n = -3*d - 3. Let r = -19 + 12. Let c = 4 + r. Sort c, d, 0.
c, 0, d
Let u = 2.6 + -0.6. Let n be (-1)/(-3)*(0 + -1). Sort u, 3/4, n in descending order.
u, 3/4, n
Let v = 10/19 - 128/171. Let h = 3113/17 + -183. Sort h, -4, v in increasing order.
-4, v, h
Suppose 5*i - 1 = -26, 0 = -3*u + 3*i + 3. Suppose -2*r + 4 = 10. Sort u, r, -1.
u, r, -1
Suppose 5*w + 0*w - i - 8 = 0, 2*i + 2 = 3*w. Let z be 0/1*(-3 + w). Suppose -2*s + 2 + 2 = z. Sort -5, s, 1 in decreasing order.
s, 1, -5
Suppose 18 = 10*d - 4*d. Let q(r) = -r**2 + 4*r - 6. Let j be q(d). Sort 3, j, -1 in decreasing order.
3, -1, j
Let r = 35/6 - 31/6. Let f(i) = i + 1. Let s(o) = 6*o + 9. Let a(d) = 5*f(d) - s(d). Let y be a(-9). Sort r, 4, y in increasing order.
r, 4, y
Suppose 0 = 3*t + 3 - 12. Suppose -j - t*j = -68. Suppose 0 = -4*o - 1 + j. Put 5, o, 3 in increasing order.
3, o, 5
Let k = 0.1 + -0.5. Let j = 162 + -161.6. Put j, k, 0 in decreasing order.
j, 0, k
Let w(y) = -11 + 7*y + 3 - 6*y. Let h be w(8). Sort h, 5, 10 in descending order.
10, 5, h
Let s be ((-12)/(-18))/((-4)/(-6)). Sort -3, s, 7.
-3, s, 7
Let o = -1 + 1.5. Sort -5, o, 0 in ascending order.
-5, 0, o
Let a(j) = -5*j**2 + 1. Let d be a(1). Put -1, -5, 0, d in descending order.
0, -1, d, -5
Let k(a) = -a**3 - 7*a**2 - a - 4. Let g be k(-7). Sort -1, g, 1.
-1, 1, g
Let s = -0.074 + 0.574. Put -1/3, s, -1/5, -1/7 in descending order.
s, -1/7, -1/5, -1/3
Suppose 2*s - 2 = -2*a, 4*s = -0 + 4. Sort -3, a, -1.
-3, -1, a
Let n = -2 + 1. Let s be (-87)/15 + 2 - 12/60. Put n, -3, s in decreasing order.
n, -3, s
Suppose 3*f = -3*u + 9, 0*u - 3*f - 3 = -3*u. Suppose -u*w + 2*y + 2 = -2, 0 = -5*y - 5. Put -5, 3, w in decreasing order.
3, w, -5
Suppose j - 19 = 4*a, 2*a - 17 = 7*a + j. Let l(i) = i**3 - 6*i**2 + 4*i + 6. Let g be l(5). Let p = 0 - g. Sort a, p, 2 in decreasing order.
2, p, a
Let x = -193152937/468923 + -5516/5153. Let d = 413 + x. Let l = d - -11/91. Put -3, 0, l in increasing order.
-3, 0, l
Let g be -2*(-2)/1 + 0. Suppose g*o = -30 + 10. Sort -0.5, o, -1/3 in increasing order.
o, -0.5, -1/3
Let r = 0.032 - 12.632. Let o = 13 + r. Put 3/2, -0.4, o in increasing order.
-0.4, o, 3/2
Suppose -h = -0*h + 2. Put h, 1, -5 in decreasing order.
1, h, -5
Suppose f - 6*f = -20. Suppose -f*m - 3*u - 3 = 0, 0*u - u = 5. Sort m, 2/19, -1/4.
-1/4, 2/19, m
Suppose 3*v - 5 = -2*p, 0 = 2*v - 0*v - p - 1. Put -5, v, 5, -4 in increasing order.
-5, -4, v, 5
Suppose h = 4*i - 2, 4*h - 3*i + i = 20. Suppose 4*u - 2*u = h. Let f = 3 + -6. Sort f, u, 2 in ascending order.
f, 2, u
Suppose -6 + 3 = h. Let a = -33 + 32. Put -5, a, h in decreasing order.
a, h, -5
Let d(w) = -w**2 - 3*w - 3. Let j be d(-2). Let f be (-2)/j + 1 - 1. Let s = 2 + -4. Sort s, f, 0.1 in ascending order.
s, 0.1, f
Suppose -5*c + 12 = -u - c, c = -2*u + 3. Suppose -13 = 7*m + 1. Put m, -3, u in descending order.
u, m, -3
Let g be (-4)/10*(-15)/(-12). Sort 2/3, -0.2, g in descending order.
2/3, -0.2, g
Suppose -2*y + 3*g + 7 = 0, 3*y = 2*y - 4*g - 13. Sort -6, y, -2 in increasing order.
-6, -2, y
Let r = 0.08 + -3.78. Let l = -0.3 + r. Sort l, -0.4, -5 in increasing order.
-5, l, -0.4
Let x be 2/8 + (-21)/(-12). Let s be x/8*4/4. Let v = 0 + 1. Sort v, s, -5 in decreasing order.
v, s, -5
Let x be (4/42)/((-22)/(-33)). Put -0.4, -1, 20, x in descending order.
20, x, -0.4, -1
Suppose -5*p = 5*k - 35, 3*p - 4*k = -k - 3. Sort -3, p, 5 in decreasing order.
5, p, -3
Suppose 4*p + z - 8 = 4*z, z + 2 = 2*p. Let v(f) = -f**3 - 5*f**2 - 7*f - 15. Let i be v(-4). Put i, p, 1 in descending order.
1, p, i
Let x = 5.7 + -0.7. Let t = 1 + -1. Suppose t = 5*w - 3*w. Sort x, w, -0.3.
-0.3, w, x
Let t be 1/2 + (-21)/14. Put 1/3, 0.03, t in increasing order.
t, 0.03, 1/3
Let c = -207 - -199.14. Let m = c - 0.14. Let y = 6 + m. Put y, 3, -0.1 in decreasing order.
3, -0.1, y
Let x = 0.3 - 0.6. Let r = 27.5 - 22. Let u = -5 + r. Sort 4, u, x in decreasing order.
4, u, x
Suppose 0 = -f - 4*j + 1, -j + 4*j + 3 = 0. Suppose f*l - 12 = 8. Sort l, -2, -3 in descending order.
l, -2, -3
Let y = 1 + -7. Let k = -9 - -17. Let v = k + y. Sort -3, v, -4 in descending order.
v, -3, -4
Let d = 5 + -8. Let k = -2 - 3. Let c = k - -10. Put d, c, -5 in increasing order.
-5, d, c
Let q(m) = 3*m**2 - 2*m - 2. Let a be q(2). Let l = -3 + a. Suppose u - 6*u = -3*t + 29, 0 = 3*t - 9. Put l, 5, u in descending order.
5, l, u
Let a = -26.005 - -0.005. Let h = a - -16. Let z = h + 6. Put 4, z, 3 in descending order.
4, 3, z
Let m = -14 + 14.2. Sort -8, -5, m.
-8, -5, m
Let r be 4/(1/(-1)*-22). Let c = -0.3 - 0.2. Sort c, r, -1 in decreasing order.
r, c, -1
Let t(g) = -g**3 + g + 3. Let y be t(0). Suppose 2*a = -13*a. Put -2, y, a in descending order.
y, a, -2
Let o = -36 - -36. Sort 0.4, o, 4, 0.06.
o, 0.06, 0.4, 4
Let w be (-2 + 3/3)*-5. Suppose 0*y = 2*y, -3*i - 3 = y. Put 2, w, i in ascending order.
i, 2, w
Let g = 5.073 - 0.073. Sort -0.06, 1/4, g in ascending order.
-0.06, 1/4, g
Let d = -1.96 + 1.46. Put 20, d, -4 in increasing order.
-4, d, 20
Suppose 3*l - y = -129, -5*y = -2*l - y - 76. Let w be (1/4)/(55/l). Put w, -3, -4 in decreasing order.
w, -3, -4
Suppose l = 4, 4*z + 4*l = 6 + 42. Suppose 2*x + z = 2. Let h = 4 + -3. Put x, h, -5 in increasing order.
-5, x, h
Suppose -5*o = -5*b - 25, b - 2 - 11 = -5*o. Put o, 2, 0.1 in increasing order.
0.1, 2, o
Suppose 2*a + 2*c - 7 = 7, -5*c = -4*a - 8. Suppose -2 = z + 2*x, -z - 29 = -6*z + 3*x. Sort 2, z, a in increasing order.
2, a, z
Let m be -2 + ((-2)/10 - 35/(-175)). Suppose 0 = 3*b - 12 - 15. Let o = b + -4. Sort o, m, -3.
-3, m, o
Let a = -22 + 21.7. Put -3, -6, a in increasing order.
-6, -3, a
Let y = 0.05 - -0.55. Let r = 4.4 + y. Sort 0.5, -2, r.
-2, 0.5, r
Let t(j) = -2*j - j + 4*j + 7. 