 + 4*o = a + 9. Let v = 6 + a. Sort 3, v, -3 in ascending order.
-3, v, 3
Let j be 8 - 2 - 2/1. Let g be 1 + 2 - (j - 2). Sort -1, 3, g in descending order.
3, g, -1
Let j = 7 + -7.7. Let b = j + 0.3. Put -1, 4, b in decreasing order.
4, b, -1
Let i = 6 - 5.8. Sort i, -3/4, -3 in descending order.
i, -3/4, -3
Let m = -831/9821 - 1/427. Let s = m + -13/115. Let x be (0 + 1)*(0 + -1). Put -1/6, x, s in increasing order.
x, s, -1/6
Suppose 4*v - 5 = -21. Put 3, 2, v in ascending order.
v, 2, 3
Let g = -198 - -197.5. Let x = 2 + -1. Put g, x, 5 in increasing order.
g, x, 5
Suppose 4*h - 35 = 9. Let b = 6 - h. Sort -3, -4, b in increasing order.
b, -4, -3
Let q(f) = -f**2 - 3*f - 1. Let y = 6 + -10. Let p be q(y). Put -4, p, 2/3 in increasing order.
p, -4, 2/3
Suppose -88 = -3*j + 7*j. Let s be (-48)/j - (-22)/(-121). Sort s, -3, -1 in decreasing order.
s, -1, -3
Suppose -3*m + 73 = -5*s + s, 3*m = -3. Sort -2, s, 1 in descending order.
1, -2, s
Let x = 0.06 + 0.34. Let b = -1.9 + 2.8. Let u = b - x. Sort 4, u, -0.3 in descending order.
4, u, -0.3
Let y(w) = -7*w + 1. Let i be y(4). Let z be (-102)/i + 8/36. Sort z, 1, -3 in decreasing order.
z, 1, -3
Let w(s) = s**3 + s**2 + 4. Let q = 1 - 1. Let n be w(q). Let x = 16 - 18. Sort x, n, -1/4.
x, -1/4, n
Let x(v) = -6*v**2 - 5*v - 2. Let i(a) = -7*a**2 - 5*a - 2. Let z(l) = -5*i(l) + 6*x(l). Let c be z(-2). Put -7, c, 1 in descending order.
c, 1, -7
Let d be 3/(-9) + (-10)/(-3). Suppose 0 = -d*j - 4*k + 23, 2*j + 5*k - 29 = -2. Let z be 14/7 + 2*-1. Sort j, -5, z in descending order.
j, z, -5
Let f = 8 + -8. Let u be 32/(-18) - 12/54. Sort u, f, 0.04.
u, f, 0.04
Let r = 251/2 - 126. Sort -0.4, 1, r.
r, -0.4, 1
Suppose -4*l - 5*i = -7, -3*l + 2*i - 7*i = -4. Let k be 2 + 3 + (1 - l). Suppose -15 = -2*v - k*v. Sort 5, -5, v in ascending order.
-5, v, 5
Let m = 0.01 + 1.79. Let a = m - -0.2. Put -1, 3, a in ascending order.
-1, a, 3
Let v = 71/30 + 32/15. Sort v, -0.3, -1/3.
-1/3, -0.3, v
Let r be (2/14)/((-7)/(-49)) + 2. Sort r, -2, 5 in increasing order.
-2, r, 5
Let f = 3 - 0. Sort 5, f, -4 in decreasing order.
5, f, -4
Let r = 145 + -146. Let m = -536/645 + 4/129. Put r, 0.1, m in increasing order.
r, m, 0.1
Let d = -0.06 + -4.94. Suppose -a - 10 = -3*q, 2*a + 3*q - 22 - 3 = 0. Put 1, a, d in descending order.
a, 1, d
Suppose -12 - 24 = -4*r + 4*n, -2*n - 13 = -r. Suppose -o - 5*a + a - 10 = 0, -3*o + a = 4. Sort r, -1, o.
o, -1, r
Suppose -17 = -9*s - 8. Put 5, 3, 3/2, s in increasing order.
s, 3/2, 3, 5
Let n = 2.62 - 0.22. Let m = 2 - n. Put m, -0.5, 0.2 in descending order.
0.2, m, -0.5
Suppose -4*u + 18*u = 42. Let k(x) = -x**3 - 10*x**2 - 8*x + 4. Let w be k(-9). Sort 2, w, u in ascending order.
w, 2, u
Let j = -13 + 11.6. Let s = j + 0.9. Sort 8, s, -1/3 in ascending order.
s, -1/3, 8
Suppose 18 = 2*i + 8. Sort 2, -2, i in descending order.
i, 2, -2
Suppose d + 0*d - 5*o - 26 = 0, -4*d = 2*o - 38. Sort -4, d, 2 in descending order.
d, 2, -4
Let k = -7.9 + 4.9. Let s = -4/13 + 50/247. Sort k, 3, s in descending order.
3, s, k
Let x be 135/(-30)*(-2)/(-3). Sort 2, x, -6 in descending order.
2, x, -6
Let w(v) = v**2 - 8*v + 5. Suppose -3*x = -2*x - 7. Let l be w(x). Let p(z) = -z**2 + 3*z + 6. Let a be p(5). Sort -1, a, l in decreasing order.
-1, l, a
Suppose 0 = -h + 2, m - 5 - 6 = -4*h. Let c(w) = 0*w**3 - 2 + 0*w**m - 3*w**2 + w + 6*w**2 + w**3. Let r be c(-2). Put r, 3, 2 in increasing order.
r, 2, 3
Let k = 9 - 8. Put 6, k, -1 in ascending order.
-1, k, 6
Suppose 0 = 4*i + 19 - 7. Put i, -15, 0 in decreasing order.
0, i, -15
Let f = 4 + -9. Suppose 0*b = 5*b - 20. Suppose 6 - 2 = b*u. Sort 2, u, f in decreasing order.
2, u, f
Let c(m) = m**3 - 5*m**2 + 5*m - 2. Let q be c(3). Let g = 322 + -321. Put q, g, -7 in decreasing order.
g, q, -7
Suppose 3*u + 10 = 4*d, 3 - 1 = -2*u - 2*d. Let j = u + 1. Sort -4, -5, j in decreasing order.
j, -4, -5
Suppose 4 + 0 = -4*x. Let r be (5 - (5 + -3)) + x. Sort -1, r, -4 in descending order.
r, -1, -4
Suppose 4 + 2 = 2*t + 4*x, -35 = 3*t - 5*x. Sort t, 0, -8, -4.
-8, t, -4, 0
Let c = -20 + 20.1. Let x(v) = -v**2 - 7*v - 6. Let y be x(-5). Suppose -y*g = g - 5. Put -0.5, c, g in descending order.
g, c, -0.5
Let t = 0.45 + -0.4. Let c = t + 2.05. Let v = c + -2. Sort 1/4, -3, v.
-3, v, 1/4
Suppose -5*m + 17 = 3*l - 8, -20 = -2*l - 5*m. Put l, 2, -0.08 in decreasing order.
l, 2, -0.08
Let r be (2 - 4)*(-1)/1. Suppose -r*a + 3 = 1. Let c(f) = f**3 - f**2 - 3*f - 4. Let m be c(3). Sort a, -5, m in descending order.
m, a, -5
Let p(m) = -m**2 + 2. Let o(i) = -i**2 + i + 1. Let f(j) = -2*o(j) + p(j). Let a be f(3). Let d = -10 - -5. Sort 4, a, d in ascending order.
d, a, 4
Let f be 1 - -1 - (-12)/6. Put -2, -4, f in increasing order.
-4, -2, f
Let i(f) = -f**3 - 5*f**2 + 25*f + 10. Let t be i(-8). Suppose -9*v + 4*v + 18 = -w, -4*v + 15 = -w. Sort 5, t, v in decreasing order.
5, v, t
Suppose -12*s = -9*s - 3. Let r be s/4 - (-1)/4. Sort 4, r, -1/3 in ascending order.
-1/3, r, 4
Suppose -d = 3*d - 120. Let z be -20*-4*3/d. Suppose -4*y + 12 + z = 0. Sort 3, -3, y in ascending order.
-3, 3, y
Suppose 0 = 2*s - 3*i + 11 - 2, 4*i = 4*s + 20. Let k be (10/s)/(1/3). Suppose -7*x = -3*x. Put 5, k, x in decreasing order.
5, x, k
Let t be (36/(-27))/(4/(-6)). Sort 4, t, -2, -3 in decreasing order.
4, t, -2, -3
Let m(z) = z**3 - 2*z**2 + 4*z - 3. Let u be m(3). Let b = u + -23. Put b, -4, -2 in descending order.
-2, -4, b
Let r = -24 + 27. Suppose -5*y - 22 = -4*o + 1, 0 = -2*o + 5*y + 19. Sort o, r, 1 in increasing order.
1, o, r
Let i(q) = q**2 + 4*q + 4. Let u be i(-2). Suppose -16 = -4*n - u*n. Let j = 0 + 0. Put j, n, -3 in descending order.
n, j, -3
Let d = -11 - -7. Sort 4, d, -1 in ascending order.
d, -1, 4
Let d = 14 + -11. Sort d, 1/9, 3/5.
1/9, 3/5, d
Let a = -8 + 13. Let p = 1213/15 + -79. Let w = 6/5 - p. Sort w, 0, a in descending order.
a, 0, w
Let j be (-1)/((-1)/4*1). Suppose 10 = j*s + s. Suppose -s*t = -0*t. Put -4/5, t, -5 in increasing order.
-5, -4/5, t
Let r = 4.7 + -5. Let m = 22 - 27.5. Let h = -6 - m. Sort h, r, 1.
h, r, 1
Suppose 15 = 54*s - 53*s. Sort 4, -5, s.
-5, 4, s
Let a = 182/333 + -12/37. Let x = -374 - -374. Sort -4, x, a in increasing order.
-4, x, a
Let b be (-26)/8 - (-1)/4. Suppose -5*f + 3*f + 1 = n, -f + n + 5 = 0. Sort f, b, -4 in increasing order.
-4, b, f
Suppose -2*h - 4*l + 20 = 0, 4*h + 0*l = -2*l + 10. Let q = -3 - 0. Put -5, q, h in increasing order.
-5, q, h
Let c(p) = -p**2 - 4*p + 7. Let u be c(-6). Suppose -4 = -3*z + z. Sort u, -4, z in increasing order.
u, -4, z
Let f = -1.9 - -2. Let g = 0.12 - 0.22. Let q = 0.9 - g. Sort q, 0.2, f.
f, 0.2, q
Let t(d) = d**3 + 8*d**2 + 8*d + 5. Let v be t(-7). Let a be (v*2)/(4/(-2)). Suppose 16 = -2*l + 2*f, -8 = -l - 0*l - 3*f. Sort l, a, 0.
l, 0, a
Let g be (-6)/24*-6 - (-13)/(-2). Sort 1, 13, 2, g in ascending order.
g, 1, 2, 13
Suppose -5*f + 22 + 3 = 0. Suppose -12 = s - 6*o + 3*o, -3*o = -9. Sort s, 3/5, f in decreasing order.
f, 3/5, s
Let x = 51 - 36. Let j be 3/x*-4*5. Put j, 2, 5 in descending order.
5, 2, j
Suppose 0 = -2*t - 2 + 8. Suppose -6*k = -4*k - 5*h - 19, -12 = -k + t*h. Sort -4, 2, k in decreasing order.
2, k, -4
Let x be ((-68)/6)/(-17) + (-20)/3. Let j = -6 - -3. Sort j, x, 0.1.
x, j, 0.1
Let k(c) be the second derivative of -c**5/20 - c**4/4 + 2*c**3/3 + 2*c**2 + 2*c. Let x be k(-4). Suppose 25 = -5*u - 0. Sort 5, x, u in increasing order.
u, x, 5
Suppose 0 = -2*i + 3*w - 14, 3*w - 2 - 8 = -2*i. Suppose -3*g + 4 = 2*t, 5 = -3*g - t + 4. Let d = i + g. Sort d, 3, 0 in descending order.
3, 0, d
Let h be -6 + 5 - -1*2. Sort -3/8, 1/5, h in increasing order.
-3/8, 1/5, h
Let p be (3 - (7 + 1)) + 3. Sort p, -3/4, 2/15 in increasing order.
p, -3/4, 2/15
Let p(x) = -x + 5. Let f be p(7). Let s(m) = m**2 + 6*m - 1. Let u be s(-5). Let a = u - -3. Put f, a, -4 in decreasing order.
f, a, -4
Suppose 4*a + 4 = -4. Suppose -1 = -v - 5. Let k = -3 + 5. Put a, v, k in descending order.
k, a, v
Suppose 0 = 2*c + 2*o + 12, 7*c - 2*o + 28 = 4*c. Let n = c - -14. Let k be 1 - n*3/(-6). Put -1, -4, k in ascending order.
-4, -1, k
Suppose -14*h - 24 = -18*h. Sort -1, -4, h in descending order.
h, -1, -4
Suppose 0 = 2*v - 6 - 4. Suppose r + 3 = 0, -3*r = -2*d + 16 + v. Let i =