 in decreasing order.
h, j, v
Suppose 6 = -3*h - 0*h. Let o(i) = -i**2 - 3*i - 3. Let d be o(h). Sort -3, -3/2, d.
-3, -3/2, d
Let b be (-2 + 55/25)*2/(-3). Sort -3, b, 8 in descending order.
8, b, -3
Let f(u) = -u - 11. Let z be f(-9). Sort 4, -4, z, 2 in decreasing order.
4, 2, z, -4
Let s be (12/(-30))/(11/5). Let z = 0 + -1. Let r = -1.2 - z. Sort s, 5, r.
r, s, 5
Let b(v) = -2*v**2 - 3*v + 4. Let p(q) = q**2 - 5*q + 1. Let i be p(4). Let s be b(i). Put s, 1, -3/5 in descending order.
1, -3/5, s
Let p = 0.1 + -4.1. Let j be 82/8 + (-2)/8. Let b be (-5)/j + (-1)/6. Sort b, p, -1/5.
p, b, -1/5
Let s be ((-18)/(-81))/(4/(-6)). Sort 0.3, s, -5.
-5, s, 0.3
Suppose -5*t = q + 23, 0 = -4*t - q + 4*q - 7. Put t, 4, -1 in descending order.
4, -1, t
Suppose -l + 6*l + 3*c = -174, 2*c + 138 = -4*l. Let q be -3*2/l - 0. Sort q, -1/10, 0 in ascending order.
-1/10, 0, q
Let c = -15 + 15. Put 2, 1, c in increasing order.
c, 1, 2
Let y(d) = d**3 + 7*d**2 + 6*d + 5. Let m be y(-6). Let w be (-2 - 0)*-1*2. Let s be w/6 + (-22)/6. Sort m, s, -5.
-5, s, m
Let t(p) = -p**3 + 3*p**2 + 4*p + 2. Let g be t(4). Sort 0, g, -4.
-4, 0, g
Let m = 31 + -27. Let k be (-13)/5 - 4/10. Put 3, m, k in descending order.
m, 3, k
Let u = -6 + 2. Let h(m) = m**3 + 5*m**2 + 5*m + 5. Let g be h(u). Put 4, g, 2 in decreasing order.
4, 2, g
Suppose x + 2 = -0*x. Let l be (-1)/(2/x) - -2. Suppose 3*m - 4*m = 2*u + 15, 5*u - 2*m = -15. Sort u, 2, l in decreasing order.
l, 2, u
Suppose 3*f - 12 = 3. Put -17, f, 0.3 in descending order.
f, 0.3, -17
Let y = 20 - 38. Let d = y - -21. Put 2, 0, d in increasing order.
0, 2, d
Suppose k - 3*k = -10. Let o(j) = -3*j - 44. Let z be o(-14). Put -3, z, k in decreasing order.
k, z, -3
Let s be (-6)/(-4)*(20/(-12) - -1). Sort 4, s, -3 in ascending order.
-3, s, 4
Suppose -3*f + 0*f + 6 = 0. Suppose -2*x - 9 = 4*j - 3, -5*j - 5*x - 5 = 0. Sort f, -3, j.
-3, j, f
Let r = -32 - -32. Put 4, 3, r in descending order.
4, 3, r
Let i = -4.98 - -3.9. Let y = i - -0.08. Sort y, -2/3, 0.1 in decreasing order.
0.1, -2/3, y
Let u(v) be the second derivative of -v**4/12 + v**3/2 + 3*v**2 - 2*v. Let f be u(5). Suppose 4*d = -5 + 17. Sort 4, d, f.
f, d, 4
Let u = 4 + -2. Suppose c = -c + u. Sort c, 0, 4 in increasing order.
0, c, 4
Let j(b) = b - 7. Let n be j(5). Suppose -4*v = -0*v - 12, 0 = 4*z + 2*v - 2. Let f be (z/(5/3))/1. Put 0.5, n, f in decreasing order.
0.5, f, n
Suppose 0 = -17*j - j - 54. Sort 3, j, 1 in decreasing order.
3, 1, j
Let c be 8/(-70) - (-4)/10. Let h = 26 - 12. Let t = -10 + h. Sort t, c, 2 in descending order.
t, 2, c
Let i = -5 + 8. Suppose 3*r + 15 = -3*t - i, -28 = 3*t + 5*r. Let b be 1/(-1)*(2 + -5). Sort t, -5, b in descending order.
b, t, -5
Suppose -3 - 1 = -2*w. Suppose 0 = -l + w*l. Sort -1, 1, l.
-1, l, 1
Let p = 4062 - 36997/9. Let g = -49 - p. Sort -1, 2, g.
-1, g, 2
Let m = 2 + -4. Let r = 1.5 + -0.5. Let f = r + m. Put 0, f, -5 in descending order.
0, f, -5
Let q be ((-9)/(-6))/(0 - -6). Let p = -12.1 + 2.1. Let r = 5 + p. Sort q, -2, r in descending order.
q, -2, r
Suppose -5*m = -3*x - 9, x - 3 = -2*x + m. Let y = 2 - x. Let a = 46 + -140/3. Sort y, a, 0.3.
a, y, 0.3
Let n be (-5)/(-2)*8/130. Let c = -8.6 - -9. Put c, 5, n in increasing order.
n, c, 5
Let o be (-6 - -3) + 10 + -3 + 0. Sort -0.2, o, -0.02, -1 in descending order.
o, -0.02, -0.2, -1
Suppose 0 = -3*l - 6*f + f + 30, -2*l = -5*f - 20. Let g = l - 11. Put -2, g, -4 in increasing order.
-4, -2, g
Let d be 9*(-2)/4*2. Let y be (-6)/d*3/(-2). Put -3, y, 5 in ascending order.
-3, y, 5
Suppose -20*f + 15*f = 5. Sort f, 0, -4, -5 in decreasing order.
0, f, -4, -5
Suppose 0 = 2*g - 3 + 1. Let b be (4/(-10))/((-1)/(-5)). Sort 3, g, b in ascending order.
b, g, 3
Let m be 5/((-45)/(-12))*3. Let l = -11 - -3. Let r = l + 10. Sort r, m, -1 in ascending order.
-1, r, m
Suppose -3 - 1 = u. Suppose 3*h = -4*y + 17, 9 = y - h + 3. Suppose -y = -s + 2*s. Put u, s, 0 in descending order.
0, u, s
Let r be (-14)/8 - (-1)/(-4). Let q(z) = z**2 + 2*z - 3. Let o be q(-3). Sort r, 3, o in decreasing order.
3, o, r
Let q = 0.011 - 4.971. Let k = q - 0.04. Put k, -3, 4 in ascending order.
k, -3, 4
Let i(r) = -r**2 + 5*r + 7. Let c be i(6). Let s be c + -1 + 2/(-5). Let u = -3 + -2. Sort -0.5, s, u.
u, -0.5, s
Let u be ((-20)/4)/(2/14). Let r be 2/(-6) + u/(-15). Suppose 0 = -r*f + 5*f + 15. Sort -0.5, f, 4.
f, -0.5, 4
Let i = -6 - -7. Let c be 3*i*1/(-9). Let j = 0.2 - 0.2. Put c, -3, j in decreasing order.
j, c, -3
Let z(v) = v**3 - 9*v**2 - v + 6. Let x be z(9). Let h be x + 2/(48/69). Sort 2/17, -0.4, h.
-0.4, h, 2/17
Let m(p) = -p**3 - 4*p**2 - 3*p + 2. Let a be m(-3). Let d be -2*(-2 - 3/6). Suppose 3*b + 2 = d*x, 3*b - x + a*x + 14 = 0. Put 3, b, -5 in decreasing order.
3, b, -5
Let k = -0.4 + 0.5. Put 7, k, -0.3 in decreasing order.
7, k, -0.3
Let b(c) = -c**3 - 4*c**2 - 3*c + 1. Let m be b(-3). Let k(h) = h - 5. Let u be k(6). Let z be 1 - 6/(2 + u). Put z, m, -4 in decreasing order.
m, z, -4
Let x be 1 - 0 - 2/1. Let r be ((-34)/(-8) - 3) + x. Sort r, 2/11, 1/11 in ascending order.
1/11, 2/11, r
Let j be (-1)/4 - (-77)/(-28). Let b be 1 + (-1 - j) - 2. Sort 4, b, -3.
-3, b, 4
Let u be 6/9 - (-8)/6. Suppose l = -u*o - 3, -o = o + 5*l - 9. Let z = 0.2 + 0.1. Put o, 0.4, z in descending order.
0.4, z, o
Let p be ((-95)/(-35))/1 - 3. Sort 2/21, -2, p in descending order.
2/21, p, -2
Let j(x) = -2*x - 9. Let v be j(-5). Put 3, 2, v in ascending order.
v, 2, 3
Let t = 1.3 + -1.7. Sort -1, t, 0 in increasing order.
-1, t, 0
Let o = -93 - -90. Put o, 4, 2/9 in decreasing order.
4, 2/9, o
Let d = -185 + 1663/9. Sort 0.1, d, 6 in ascending order.
d, 0.1, 6
Let m = 19 + -17.4. Let g = 0.6 - m. Let j = -1 - 4. Sort 2/13, j, g in descending order.
2/13, g, j
Let s be 0 + (-18)/(-12) + (-2)/(-4). Sort 3, s, 1, 6.
1, s, 3, 6
Let r = -4 - -3. Let o be (-3)/2*(-10)/15. Let c = -7 + 11. Put c, o, r in descending order.
c, o, r
Suppose 0 = -2*n - 0*n - 16. Let v be 6/n + 2/2. Put -1/10, -5, v in descending order.
v, -1/10, -5
Let t = -10 - -15. Suppose r = 4*f + 5, -t*f + 13 + 2 = 3*r. Sort r, -4, -5 in decreasing order.
r, -4, -5
Let d = -35 - -30. Put 0.3, d, -1.5 in decreasing order.
0.3, -1.5, d
Let y(v) = v + 22. Let b be y(-22). Let w = 1 - 0.9. Put 0.2, b, w in decreasing order.
0.2, w, b
Suppose i + 3*r = 11, -2*r + 10 = -i - 4. Put 4, -5, 3, i in descending order.
4, 3, i, -5
Let g(r) = -r**2 + 5*r + 7. Suppose -5*w + 4 = -x, -2*x - w = 2*w - 18. Let v be g(x). Let l = 3 + -7. Sort v, 2/5, l.
l, 2/5, v
Let p = 9 + -8. Put p, -3, -5 in increasing order.
-5, -3, p
Let y be (-108)/28 + 2/(-14). Let p be -1*(-1)/1*y. Let g = -1 + 5. Put g, 0, p in increasing order.
p, 0, g
Let j = 8.5 - 8.9. Put j, 4, 2/93 in decreasing order.
4, 2/93, j
Let l be 10/6 + -2 - (-3)/(-72). Sort l, 4/3, -0.1 in ascending order.
l, -0.1, 4/3
Suppose 0*t = -2*t + 4. Let r be t/2 + (-7)/9. Let z = 0.8 - 0.3. Sort 0.1, z, r in increasing order.
0.1, r, z
Let b(f) = -f**2 + 2*f - 2. Let p be b(2). Let i = -8 + 8. Suppose -5*s + 10 + i = 0. Sort s, -5, p in ascending order.
-5, p, s
Let u = -0.25 - -0.17. Sort u, 2/21, -3.
-3, u, 2/21
Let z be (15/(-110))/(12/16). Sort z, 5, 0.3 in increasing order.
z, 0.3, 5
Suppose 7 = x - 3. Put -5, 2, x in decreasing order.
x, 2, -5
Suppose 2*m + 3 = -3*u - 7, 0 = -5*m - u - 25. Let o be 4/(24/(-9))*-2. Put m, o, -1 in increasing order.
m, -1, o
Suppose -1 = -n + 5. Suppose 4*f = n + 2. Sort 5, f, -2 in decreasing order.
5, f, -2
Let y be 2/1*1/2. Suppose -h = -3 + y. Suppose -4*n - 3*i + 11 = 25, i = 5*n + 8. Sort h, n, 0 in ascending order.
n, 0, h
Let i = -4.651 + -0.049. Let m = i + 5. Sort m, 1/6, -1/2.
-1/2, 1/6, m
Suppose -4*n = -0*n + 4*v - 4, -4*n - 2*v = 0. Let u = 10 + -6. Sort 2, u, n.
n, 2, u
Let q = 3 - 3. Suppose 2*o - 15 = -o. Sort o, q, -1 in ascending order.
-1, q, o
Let t be (-16)/6*3/(-10). Let b = -62 - -67. Sort b, t, -4/7 in increasing order.
-4/7, t, b
Suppose 5*q + 0*q - 4*r + 10 = 0, -5*r - 2 = q. Suppose 10 = -5*b - 5*y, 21 = -6*b + 3*b + 2*y. Sort b, q, -3 in increasing order.
b, -3, q
Let r(w) = w**2 + w - 4. Let z be r(0). Let c be ((-2)/(-5))/(z/(-20)). Suppose -s - 2 - c = 0. Put 2, 1, s in descending order.
2, 1, s
Let q be 1*3 - (-63)/(-18