order.
4, -4, a
Suppose 0 = -0*d + 2*d - 12. Suppose -d = -4*c - 22. Suppose 0 = 2*v - 10, 5*v - 39 = r - 9. Sort r, 3, c in ascending order.
r, c, 3
Let n = 352 + -347. Sort n, -12, 1, 3 in ascending order.
-12, 1, 3, n
Let j be (13/2)/((-8)/(-32)). Let c be 2 - ((-7)/(-35) + j/10). Sort c, -3, 0 in increasing order.
-3, c, 0
Let a be -2*(-4 - -2)*(-1)/(-2). Put 4, 6, -2, a in decreasing order.
6, 4, a, -2
Suppose j = 3 - 1. Let k be (3 + 1 - j)*2. Suppose l = 2*h + 11, 4*h = -3*l - 5 - 2. Put -1, l, k in decreasing order.
k, l, -1
Suppose 3*s - r = -13, 3*r + 25 + 6 = -5*s. Let c be (1*2)/(18*17/306). Sort 0, s, c in ascending order.
s, 0, c
Let z be (13/26)/(2 + (-27)/6). Sort -2, z, -5, 4/7 in decreasing order.
4/7, z, -2, -5
Let p(d) = d**3 + 12*d**2 - 12*d + 15. Let h be p(-13). Suppose j = 2*f + 3, 6 = 2*f - 4*f - h*j. Sort 7, -4, f in ascending order.
-4, f, 7
Let m be (-1)/(1 + 65*(-2)/128). Let p be ((-48)/m)/(3/(-8)). Sort 3, -1, -5, p.
-5, -1, p, 3
Let c be 123/205 - 1/(-30)*-13. Put -3/28, -2, -1, c in increasing order.
-2, -1, -3/28, c
Let s be (6/(-9))/((-8)/348). Suppose d + 0 = -4, -5*d - s = -3*i. Suppose -2*o - 2*o + 24 = 5*g, -15 = -3*g - i*o. Sort -2, 3, g in decreasing order.
g, 3, -2
Let h be 2/(-9) - (-43)/(-9). Suppose 5*x + 4*w - 37 = -0*w, 6 = 2*w. Suppose x*y - 2*y - 6 = 0. Sort y, h, -1.
h, -1, y
Suppose 8 = 4*w, w = 4*a - 0*w - 6. Suppose -a*v = -4 - 2. Suppose y + 5*m = -3*y + 18, 3*y = -3*m + 12. Sort v, y, -2 in decreasing order.
v, y, -2
Let h = 327 + -325. Let q be 4 - 2 - (3 - 2). Put q, h, -7 in increasing order.
-7, q, h
Suppose 4*f + 10 = -5*q, 3*q + 8 = -q - 3*f. Let j = 0.516 + -0.016. Sort -2/3, q, 4/9, j in increasing order.
q, -2/3, 4/9, j
Let u = -3.98 + -0.02. Let g = -113/245 + 3/49. Sort u, -5, g in ascending order.
-5, u, g
Suppose 3*d - z - 88 = 0, -3*z + 0*z - 54 = -2*d. Suppose -m + d = 2*m. Suppose -4*q + 2 = -m. Sort -8, q, 4 in decreasing order.
4, q, -8
Let r be -1 + 51/(-12) - 3/(-12). Let d = 7/6 - 2/3. Let j(q) = q - 8. Let y be j(10). Put r, y, d in descending order.
y, d, r
Let h = -8 - -5. Let n be (-1 - 0) + 76/19. Suppose -2*t + 10 + n = 3*a, 3*a = 2*t - 7. Put a, h, 6 in ascending order.
h, a, 6
Suppose 0*y + 14 = 4*y - 3*a, -3*a = -11*y + 28. Let t = -44 - -219/5. Sort t, -0.06, y in decreasing order.
y, -0.06, t
Let q(z) = -1 + 5*z + z**3 + 2 + 1 + 4*z**2. Let w be q(-3). Put w, 2/19, -2/11 in descending order.
2/19, -2/11, w
Let x be (6 + -4 + 2)/2. Let y(j) be the first derivative of -5*j**2/2 - 75*j - 30. Let v be y(-15). Put v, 3, x in decreasing order.
3, x, v
Let y(f) = -3*f**2 - 6*f - 3*f - f**3 - 4*f**2 - 12 + f**2. Let c be y(-5). Suppose c*t + 25 = 3*t. Put -3, -1, t in descending order.
-1, -3, t
Let r(o) = o**2 - 6*o + 1. Let w be r(4). Let v = -69 + 30. Let y be ((-222)/v)/2 + (-2)/(-13). Sort -1, w, y in increasing order.
w, -1, y
Let t = 1 - 1. Suppose -2*u + 3 + 3 = 0, 27 = 3*y + u. Sort y, t, 3 in ascending order.
t, 3, y
Suppose -5*s - 34 = -4*f, -s + 2*s - 2*f = -2. Let d = -11 - s. Let v be -14 + 8 - (-2 - d). Put 5, -3, v in ascending order.
v, -3, 5
Let j = -0.0585 + 0.0385. Sort 5/6, -2/5, j in descending order.
5/6, j, -2/5
Let r(l) = -l**2 - l + 2. Let q be r(-3). Let t be 4 - (0 + (-5 - -2) + 6). Put t, -2, 2, q in decreasing order.
2, t, -2, q
Let a = 6.4 + -6. Let y = 6.14 + -0.14. Let o = y + -6. Sort -0.2, o, a in decreasing order.
a, o, -0.2
Suppose 29*h = -37*h. Put 4, h, -5, 9 in descending order.
9, 4, h, -5
Let w = -121 + 118. Put -17, w, -4 in increasing order.
-17, -4, w
Let p(a) = a - 8. Let t be p(4). Let c be (t/(-22))/(-4 + 6). Put -0.3, 4, c, 2 in ascending order.
-0.3, c, 2, 4
Suppose 20 = -5*a + 5*d, d - 6*d - 52 = 4*a. Let m be 0/(-2) - (4 + -9). Sort m, 2, a in increasing order.
a, 2, m
Let d = 29.4 - 31. Let l = d - -2.2. Sort -3, l, 2 in ascending order.
-3, l, 2
Suppose -16*k - 24 = -4*k. Suppose 2*a + 10 = 0, 4*h + 0*h - 2*a + 10 = 0. Put h, 0, k in ascending order.
h, k, 0
Let o = -288 + 291. Sort 5, 21, o.
o, 5, 21
Suppose -7*n + 20 - 6 = 0. Put -5, 14, -3, n in ascending order.
-5, -3, n, 14
Suppose -29 = -5*y - 4*x - 5, -10 = -2*y - 2*x. Let p be 1*y + 5 + -5. Suppose 0*z = -p*z + 3*q - 35, 4*z + 2*q + 10 = 0. Sort 0, -2, z in decreasing order.
0, -2, z
Let b = 3 + -2.5. Let r = 0.0356 + 0.1734. Let v = r - 2.209. Sort 2, v, b.
v, b, 2
Let c = 945.95 + -925. Let p = c - 21. Put 0.5, p, -2/3 in increasing order.
-2/3, p, 0.5
Let y(a) = -a + 1. Let r be y(4). Let h = 17 - 18. Let c be 1 - (h - -4 - -3). Put c, r, -2 in descending order.
-2, r, c
Let o(j) = 4*j - 50. Let a be o(14). Suppose -69 = 15*g + a. Let k be -1 + 0 + 3 + 0. Put g, -7, k in ascending order.
-7, g, k
Suppose -12*u - 24 = -6*u. Let q = -9 - -1. Let j(w) = w + 8. Let x be j(q). Sort -5, u, x in decreasing order.
x, u, -5
Suppose -3*m - 3*j + 16 = 2*j, 0 = -3*j + 15. Sort m, 11, -6 in decreasing order.
11, m, -6
Let k = -24.7 + 2.7. Let p = -4.8 - 0.2. Sort p, k, 3.
k, p, 3
Suppose -4*m - 2*m = 0. Put -7, 2, m in increasing order.
-7, m, 2
Let q be 1/((-3)/9) + 1. Let u be 3/q*(-110)/(-33). Let m be (-118)/(-40) - (u + 8). Put -0.1, -2/21, m in decreasing order.
m, -2/21, -0.1
Let o = -0.034 - -0.044. Let b = 0.19 - 0.1. Let k = b - o. Sort 0.5, k, 4 in decreasing order.
4, 0.5, k
Suppose -19*p + 6 = -18*p. Put 10, 2, p in descending order.
10, p, 2
Let b be (15/(-45))/(-3 + 8/3). Put b, 3, 0, -1 in decreasing order.
3, b, 0, -1
Let v = -90 + 92. Let s be -2 - (-2)/(-3 + 1). Let y be v - 0 - s - 1. Put y, 0, 3 in increasing order.
0, 3, y
Let w(l) = -l**3 + 4*l**2 + 4*l + 3. Let k be w(5). Suppose 4*j - 2*q = 18 + 8, -2*j - 3*q + 1 = 0. Let g = -1 + j. Put -3, g, k in ascending order.
-3, k, g
Let m = -5 - 1. Let n be (3/9)/(2/m). Put 1.2, 4, n in decreasing order.
4, 1.2, n
Let t = 16 + -12. Suppose 3 = -d, 0*w + t*d = w. Let h be 2/(-3)*9/w. Sort 3, -0.3, h.
-0.3, h, 3
Suppose -r + 1 = -1. Let q(k) = -k**3 + 7*k**2 + k - 4. Let i be q(7). Suppose 16*x - 27*x = 0. Put x, r, i in descending order.
i, r, x
Let f = 3321/13 - 255. Put f, 0.4, 1 in ascending order.
0.4, f, 1
Let z be 4/2*(-4)/4. Let x be 2*5/(20/6). Let w = z + x. Sort 5, w, 2 in increasing order.
w, 2, 5
Let g(r) = -r - 9. Let z(x) = -x**2 + 2*x - 4. Let y be z(3). Let k be y/(1/2 + 0). Let v be g(k). Put v, 2, -3 in decreasing order.
v, 2, -3
Let d = 123.7 - 123.5. Put d, -7, 0 in descending order.
d, 0, -7
Let h be (-32)/176 + 30/(-77). Put h, 3/2, 1/2, 5 in decreasing order.
5, 3/2, 1/2, h
Let m = 1891 + -3783/2. Put m, -5, 6 in increasing order.
-5, m, 6
Suppose 6*r + 2*r = -40. Let s = 10 + r. Suppose -s*m + 57 - 177 = 0. Put 1/6, -4, m in increasing order.
m, -4, 1/6
Let b be 1/2 - (-273)/14. Let j = 30 - b. Let n be (-8)/j - 3/(-10). Sort 1, 1/3, n in decreasing order.
1, 1/3, n
Let u = -0.0001 + 47.3001. Let t = u - 47. Sort 5, -0.01, t, -4 in descending order.
5, t, -0.01, -4
Suppose m = 5*i + 14 - 11, 2*m = 5*i + 16. Put m, -5, 11 in descending order.
m, 11, -5
Suppose 0*d = 2*p - 4*d - 46, 2*p = 5*d + 50. Suppose -o + k = -3*k + p, 5*k = o + 20. Put -4, -2, o in descending order.
o, -2, -4
Let h be (-28)/(-2) - -1*2. Let s = h + -14. Let i be (-1)/s*12/(-18). Put i, 3, 0.4 in descending order.
3, 0.4, i
Let r(w) = w**3 + 5*w**2 - 6*w - 5. Let p be r(-6). Let q = 23 - 31. Let h be 3/(36/q) + 1. Put 0, h, p in decreasing order.
h, 0, p
Let k be (-3 + -1)*(-27)/(-54). Sort k, -3, 3, 0.
-3, k, 0, 3
Let h = 19.92 - 20. Let r = -0.22 + h. Let x = 12/17 + -65/68. Put x, -3, r in descending order.
x, r, -3
Suppose -12 = -0*x + 3*x - 2*m, -4*x + 3*m - 15 = 0. Let u be (-18)/(-20) - (x/15)/(-1). Sort u, 2/9, 9 in ascending order.
2/9, u, 9
Let l be 2/4*0/(-1). Let a = 1 - -3. Put a, l, 7 in descending order.
7, a, l
Suppose 64 = -3*c + c. Let z = 38 + c. Suppose 2*h = y - z, -5*h + 3*y - 1 = 15. Sort h, -0.1, -0.4 in increasing order.
h, -0.4, -0.1
Let w = 103/270 - -1/54. Let h = 72 + -149/2. Let d = -0.33 - -0.03. Put d, h, w in decreasing order.
w, d, h
Let p = -1070 - -1073. Sort p, -8, 0.2 in decreasing order.
p, 0.2, -8
Let x be -23 - (-1890)/81 - 1*(-2)/(-42). Suppose -5 + 0 = -d. Sort 0.2, 8, d, x in ascending order.
0.2, x, d, 8
Let n(q) = -3*q**2 + 72*q + 70. Let u be n(25). Sort