
k, 1, -1
Suppose -4*f + 25 = f. Suppose 3*a - 4*c = -14, 2*a + 15 = -3*a + f*c. Sort 1, -3, a.
-3, 1, a
Suppose -23 = 4*h + 9. Let w be (1/3)/((-4)/h). Put w, -1/11, -5 in decreasing order.
w, -1/11, -5
Let d(c) = 3*c - 28. Let h be d(12). Sort -1, h, -5 in decreasing order.
h, -1, -5
Let p = -2.3 - 0.7. Let a = p + 2. Let c = a - -0.6. Sort c, -1/4, 4 in increasing order.
c, -1/4, 4
Let r = -5.96 + 6. Let h = r + 0.96. Put 0, 4, h in ascending order.
0, h, 4
Suppose 0 = -2*m + 9 - 11. Sort 4, m, -5, -2 in decreasing order.
4, m, -2, -5
Suppose 16*x = 13*x + 15. Put 4, -2, x in descending order.
x, 4, -2
Let c = -6 + 3. Let t be (32/4)/((-3390)/79). Let i = t - -6/113. Sort c, i, 3/5.
c, i, 3/5
Let p be (-536)/(-30) + (-4)/(-30). Let x = p + -14. Put -3, -2, x in decreasing order.
x, -2, -3
Let j be (20/(-175))/((-1)/5). Let x be (-12)/16*4/6. Sort 0, x, j in increasing order.
x, 0, j
Let v(w) = -w + 8. Suppose -200 = -5*s - 80. Suppose -4*b + 40 = 5*x, 3*x + 0*b - s = 4*b. Let n be v(x). Sort 5, n, -4 in ascending order.
-4, n, 5
Let i = -0.15 - 2.85. Sort 6, i, 1.
i, 1, 6
Let f(w) = -w**2 + 3*w - 3. Let t be f(2). Put 3, t, -4, 4 in increasing order.
-4, t, 3, 4
Let i = -2.3 - -1.9. Sort i, -0.5, 0.4.
-0.5, i, 0.4
Let p(j) = -j. Let n = 1 - -3. Let m be p(n). Sort 0, -3, m in increasing order.
m, -3, 0
Let w = 61 - 60. Put -1, w, -0.2, -0.3 in descending order.
w, -0.2, -0.3, -1
Suppose -5*g - 4*o + o + 45 = 0, -2 = -2*g + 2*o. Put -4, -2, g, 2 in increasing order.
-4, -2, 2, g
Suppose -2*h - 3*n + 4 = 18, 0 = h + 4*n + 12. Put 2, -3, h, 4 in decreasing order.
4, 2, -3, h
Suppose 0 = x - 0*x - 2*q - 4, -x = 3*q - 9. Suppose 0 = -4*m - 2 - x. Put m, 0.2, -0.1 in decreasing order.
0.2, -0.1, m
Let r be -3*(-1)/(21/(-2)). Suppose d = -2*b - 14 + 3, 0 = -5*b + 3*d. Let w be (b/(-6))/(1/(-8)). Sort w, r, 1 in decreasing order.
1, r, w
Let z be (-2)/(14/10 + -1). Sort -4, 3, -1, z in increasing order.
z, -4, -1, 3
Suppose 18*k - 15*k = 12. Sort -5, -1, 3, k in ascending order.
-5, -1, 3, k
Let z = -571833/5425 - -94/775. Let s = -105 - z. Sort 1/2, s, 3.
s, 1/2, 3
Let y be -2 + ((-4)/(-2) - (-3 + 3)). Sort -15, 4, y in decreasing order.
4, y, -15
Let q = 8 + -10. Let m be (-10)/(-18) + q/3. Sort 0.3, m, -3 in ascending order.
-3, m, 0.3
Let h(v) = -2*v**2 - 16*v - 21. Let i be h(-6). Sort 2, i, -2/11, -2/15.
-2/11, -2/15, 2, i
Let k = 0.04 - 2.04. Let d = -2.4 + 3. Let w = d + -0.3. Sort w, k, -1/4 in descending order.
w, -1/4, k
Let g = 5.9 - 6.1. Put g, -1/4, -4 in decreasing order.
g, -1/4, -4
Let j = 0.75 + -0.3. Let l = 0.05 + j. Put l, -3/7, 4 in ascending order.
-3/7, l, 4
Let t = -0.19 + -3.81. Sort -5, t, 3/8 in ascending order.
-5, t, 3/8
Let a = 29 - 32. Let y(u) = -u**3 + 4*u**2 - 2*u - 2. Let l be y(2). Suppose -l*p + o = 6, -5*p - 8 = -p - o. Sort a, -5, p.
-5, a, p
Let o be (-6)/15 - 37/(-5). Let a = -10 + o. Sort a, 0, 1 in ascending order.
a, 0, 1
Let r = -3 - -4. Let n = -3 - r. Put -3, n, 5 in ascending order.
n, -3, 5
Let c = -0.21 + 0.31. Put -4, -2/11, c in decreasing order.
c, -2/11, -4
Let b be (45/78)/(2/732). Let r = -388 + 599. Let v = b - r. Sort v, -1/4, 0 in descending order.
v, 0, -1/4
Let z be (-28)/140 + (-28)/10. Put 3, 2, z in increasing order.
z, 2, 3
Let y = -7 + 5. Sort -4, y, 2/9.
-4, y, 2/9
Let w be 2/18*(-2 + 0). Let z = w - 5/18. Let c = 9 - 6. Sort z, 4, c.
z, c, 4
Let f = 11 + -6. Suppose 0 = -f*l - 5 - 5. Suppose u = -u - 6. Sort 5, l, u in increasing order.
u, l, 5
Let y be 0/(-1) + -2 + 1. Let u = 17 + -15. Sort -3, y, u in decreasing order.
u, y, -3
Let b = -29 + 32. Sort b, -5, 0.2 in increasing order.
-5, 0.2, b
Let w(j) = 2*j + 4. Let x be w(-7). Let v be 4/x + (0 - -1). Put 2/3, 4, v in descending order.
4, 2/3, v
Suppose 2*g - 2*r + 4 = -0*r, -2*r + 10 = 0. Let n be (23 + (1 - 1))/1. Suppose 2*f = 2, -6*v + 2*f + n = -v. Put g, -2, v in decreasing order.
v, g, -2
Let i = 0 + -10. Let n be ((-4)/10)/(18/i). Sort n, 3/5, -4 in increasing order.
-4, n, 3/5
Suppose 0 = -5*x - 5. Let v(a) = -3*a**3 - 2*a**2 - 2*a - 1. Let m be v(x). Sort m, 1, 0.
0, 1, m
Let a = 6 + -4. Let s be a/7 - (-44)/(-56). Sort -3, 0.4, s in descending order.
0.4, s, -3
Let y = 118 + -113. Sort -1, -2, 3, y.
-2, -1, 3, y
Suppose -11*r + 130 = 2*r. Put 3, 2, r in ascending order.
2, 3, r
Suppose -3*j + 2 = -7. Sort j, -4, 2/3 in descending order.
j, 2/3, -4
Let s be (24/(-20) + 2)/(4/20). Sort s, 3, -4, -3 in decreasing order.
s, 3, -3, -4
Suppose -3*m = -0*m - 5*t - 5, 4*m = -5*t + 30. Let p be (-3 - (-1 + 0))/(-1). Sort 3, p, m in ascending order.
p, 3, m
Let s = -2 - -5. Suppose -2*l + 4 = 4*g - 6*l, -4*g + l = -13. Suppose -15 = -5*v + 5*d, g*v + 3*d = 4*d. Sort s, v, 4.
v, s, 4
Suppose 22 - 112 = 5*y. Sort 5, y, -5.
y, -5, 5
Let q = 0.5 - 5.5. Let u = -49 + 49.2. Put q, u, -1/7 in ascending order.
q, -1/7, u
Suppose -11*d - 8 = -13*d. Let t be 2/1 - (-6 - -3). Suppose t = b, -3*h + b - 3 = -2*h. Sort d, h, 5 in descending order.
5, d, h
Let j = 4.8 - 4. Let f = -0.3 + j. Let t = f + 0.5. Sort t, -0.5, -5 in ascending order.
-5, -0.5, t
Let i = -12 + 6. Let p = -5.7 - i. Let w = -0.7 + p. Put w, -2, 0.3 in descending order.
0.3, w, -2
Let k be (-15892)/26160 - (-9)/12. Let g = 1/109 - k. Put 2, g, 2/11 in decreasing order.
2, 2/11, g
Let l = 9 + -5. Let g = -8.2 + 4.2. Put l, -5, g in descending order.
l, g, -5
Let z be (-4 - -12) + (-2)/2. Let f be z + -10 + 20/7. Let j be 2/10 - 13/15. Put f, -5, j in ascending order.
-5, j, f
Suppose 4*a - 15 = 3*r, 4*r + 4*a = 13 - 5. Let q = 1 - r. Let d be (1 - 1)/(1 - q). Sort d, 2/11, 1.
d, 2/11, 1
Suppose 5*x - 1 = -6. Let f(c) = 6*c**2 + c. Let j be -1 - 0*(-3)/6. Let p be f(j). Put x, 2, p in descending order.
p, 2, x
Let p = 428 + -87738/205. Let i = 25/41 - p. Put -4, i, 0 in decreasing order.
i, 0, -4
Let v be (-4 - -8)*2/1. Let l(w) = -w**3 + 7*w**2 + 7*w + 9. Let p be l(v). Put p, 0.3, -1/4 in ascending order.
-1/4, 0.3, p
Let g = -23 - -7. Let d be 12/(-42) - g/7. Let v = 24 - 68/3. Put d, -0.4, v in descending order.
d, v, -0.4
Suppose -136*l + 134*l = -2. Sort 3, l, -9 in descending order.
3, l, -9
Let q = -29 + 14. Let i = 15 + q. Put 1, 5, i in descending order.
5, 1, i
Let x = 293 - 2047/7. Sort x, -0.5, 0.4 in increasing order.
-0.5, 0.4, x
Suppose -4*y + 3*p + 16 = 0, 5*y + 5*p - 5 = -20. Let i be 3 - 0/(-1) - 0. Suppose -3*t - i = -5*h, h - 3*t + 8 = -1. Sort y, h, 5 in decreasing order.
5, h, y
Let m be 2/(-6)*-5 + -1. Let s be (12/(-54))/(3/18). Sort s, m, 3 in descending order.
3, m, s
Suppose 0 = q - 1 - 2. Suppose -2 = q*f + 4. Let g be (f + 0)*(-2 - 0). Sort 2, g, -4 in descending order.
g, 2, -4
Let j = -7 - -10. Suppose -2*t = 2*t + j*o + 28, 5*t = 3*o - 8. Suppose 0 = -2*b - 0*b. Put -3, b, t in descending order.
b, -3, t
Let a be (4/990)/((-4)/32163). Let t = a - 2/165. Let r = 711/22 + t. Sort -2, -0.1, r in descending order.
-0.1, r, -2
Let t be 6/(-15) + (-12)/(-5). Let s(k) = k**2 - 6*k + 6. Let p be s(5). Put t, 0, p in increasing order.
0, p, t
Suppose -4*j - 4 = -3*k, 0*j - 5*k + 16 = -2*j. Put j, -4, 4 in ascending order.
-4, j, 4
Let h be ((-10)/45)/(5/(-15)). Put 2, h, 0.3 in increasing order.
0.3, h, 2
Let r(v) = v**3 + 6*v**2 + 6*v. Let k be r(-4). Suppose 4*o + k = 28. Put 3, -5, o in increasing order.
-5, 3, o
Let t be 2*(4 - (-75)/(-21)). Suppose -z - 21 = 5*p, 2*p - 8*z = -4*z - 4. Let q = -12 - -7. Sort t, p, q in descending order.
t, p, q
Let s(n) = -n**2 - n + 11. Let y be s(0). Let f = y - 10. Put f, 2, -2 in decreasing order.
2, f, -2
Suppose 2*i + 13*i + 60 = 0. Let n = 3 + -1. Put -5, i, n in descending order.
n, i, -5
Suppose -3*s + 3*k + 3 = 0, s + k - 7 = 2. Put -3, s, -5 in decreasing order.
s, -3, -5
Let t be 3/19*14/(-21). Suppose -i + 5*i = 8. Put t, i, -0.5 in increasing order.
-0.5, t, i
Suppose 0 = 6*p - 6 - 6. Let f be 0/4 - 0/p. Put -1, 3, f in decreasing order.
3, f, -1
Let s = 0.48 - 0.47. Sort -1, -0.5, 9, s in increasing order.
-1, -0.5, s, 9
Let v = 2.3 - 2. Let y = -0.8 + -0.2. Let x = y + -2. Put 2, x, v in decreasing order.
2, v, x
Let a be -2 + 0 - 36/(-9). Put a, -2, 15, 4 in decreasing order.
15, 4, a, -2
Let p = -25 - -29. Sort 1, p, -2, -1.
-2, -1, 1, p
Suppose n + 24 = 3*n. Suppose -2*s - 8 = 0, -t = 