-3*x + 2 + 2. Sort c, z, w in decreasing order.
z, c, w
Let q = 451 - 2253/5. Let a = -119/2 - -58. Sort q, a, 1 in descending order.
1, q, a
Let m = 4 + 5. Let g = m + -5. Sort g, -3, 5 in descending order.
5, g, -3
Let l be (-16)/(-20) - -1 - (-1)/5. Put -4, l, 3, 1 in ascending order.
-4, 1, l, 3
Suppose 4*m = 8*m + 4. Let c be 3*10/6*m. Sort -2, c, 1.
c, -2, 1
Let n = 8 + -11. Let u = -5 - -8. Sort 1, n, u in ascending order.
n, 1, u
Let d(r) = -r**2 - 14*r + 24. Let k be d(-15). Put k, 0.5, -3 in increasing order.
-3, 0.5, k
Let t(u) = u**3 - 6*u**2 + 2*u - 8. Let h be t(6). Let d = -13 + 18. Suppose -4*a + d = -2*p - p, -a + 3*p = 1. Sort h, -4, a in decreasing order.
h, a, -4
Suppose 5*y + 2 = 3*y - 5*u, u + 14 = 3*y. Suppose -d + 2 = d. Sort y, -1, d in descending order.
y, d, -1
Let o(f) = f**3 + 4*f**2 - 7*f - 12. Let t be o(-5). Let x = -20 + 13. Put 0, x, t in ascending order.
x, t, 0
Let w be (-2)/(2*3/12). Let v = -7 - -12. Suppose k + 0*k - 3 = l, -4*k + 20 = 0. Put w, v, l in descending order.
v, l, w
Let b be 3 + -2 + 3 + 1. Suppose -b*i - 24 = 2*l, 3*i + 2*i - 4*l = -12. Put 4, -1, i in decreasing order.
4, -1, i
Let x = -1/28 - -2/7. Put -2, -2/11, x, 2 in ascending order.
-2, -2/11, x, 2
Let x = -4.9 - -0.9. Let j be 2/(1*(-1)/(-2)). Put j, -0.1, x in descending order.
j, -0.1, x
Suppose -4*g + v = -2*v - 12, -4*g = -4*v - 12. Put g, -0.08, -1/3 in descending order.
g, -0.08, -1/3
Let k = -0.8 - -5.8. Let d = -30 + 27. Sort 1/7, k, d.
d, 1/7, k
Suppose 5*w + 15 = 0, -4*s + 54 = -5*w - 21. Suppose -2 = t, -4*h + 4*t - s + 3 = 0. Sort -1, h, 1 in descending order.
1, -1, h
Let q = 93 - 94. Let p be (-2 + 1)/(4 - -6). Let f be ((-2)/4)/(6/4). Sort q, p, f.
q, f, p
Let o = 4.796 + 0.104. Let q = o - 1.9. Let z = 300 + -1494/5. Sort q, 2, z in descending order.
q, 2, z
Let s = 1/30 + -1/5. Let l(k) = 2*k**3 + 3*k**2 + 2*k + 2. Let i be l(-2). Let f be (-9)/i - (-5)/(-2). Put f, s, 0.1 in decreasing order.
0.1, s, f
Let s = -8.35 - -0.35. Sort 4/3, 0.4, s, -5/2 in descending order.
4/3, 0.4, -5/2, s
Let s be 4 + 0*3/(-15). Put 7, -4, s in decreasing order.
7, s, -4
Suppose 4*q + 10 = -q. Let n(h) = -3*h - 10. Suppose 0 = -5*t - 5*j - 20, 20 = -5*t + 2*t + 5*j. Let s be n(t). Put q, s, 3 in decreasing order.
s, 3, q
Let n(k) = -k**2 - 2*k + 6. Let q be n(-3). Put 2, 5, q in descending order.
5, q, 2
Let m = -12 + 16. Sort 3/10, m, 0.5 in ascending order.
3/10, 0.5, m
Suppose -2*h = -3*h. Suppose h*f - 1 = f. Sort 0, f, 4 in increasing order.
f, 0, 4
Let j = -3.4 - -2.9. Sort -0.3, -7, j in ascending order.
-7, j, -0.3
Let q be (-33)/(-12)*2 - 3. Let m = 9/4 - q. Sort m, 1/8, 2 in descending order.
2, 1/8, m
Let f = 229.5 - 229. Put -7, 2/11, 0.2, f in increasing order.
-7, 2/11, 0.2, f
Let d = 44 + -40. Put d, -4, -0.11, 2 in ascending order.
-4, -0.11, 2, d
Let i(d) = -d**3 + 2*d**2 + 8*d - 5. Let o be i(4). Put -1/9, o, 5 in decreasing order.
5, -1/9, o
Let j = -2 - -4. Suppose -4*s + 5 = -3. Suppose 4*a = -2*b - 18, s*a + 6 - 2 = 4*b. Put a, 0, j in decreasing order.
j, 0, a
Let r(a) = -2*a**2 - 5*a - 2. Let v be r(-3). Let l = -19 + 8. Sort l, v, 2 in decreasing order.
2, v, l
Let l = 1.9 + -0.4. Sort 3, 0.5, l in descending order.
3, l, 0.5
Let t = -954445/1314976 - -1965/3488. Let h be (-2)/24*(-3)/(-29). Let u = h - t. Sort u, -0.2, 0.2.
-0.2, u, 0.2
Suppose 0 = z - 4*z. Suppose -w = -z*w. Suppose -2*x = 3*x + 15, 2 = -5*h - 4*x. Sort w, -5, h in increasing order.
-5, w, h
Let p = 3 - 1. Suppose 4*t - 2*d - 20 = 3*d, 2*t + p*d - 10 = 0. Sort -3, t, -1 in increasing order.
-3, -1, t
Let m = 10 - 5. Let w = m - 9. Put 4, w, -2 in descending order.
4, -2, w
Suppose 7 - 3 = 2*s. Suppose s = 2*d + 4. Let j = 13 - 18. Put j, 1, d in descending order.
1, d, j
Suppose 0 = 2*a + 3*o + 11 + 11, -a + o = 1. Put -3, 5, a in decreasing order.
5, -3, a
Suppose 4*u + 3*k + 18 + 2 = 0, u + k + 6 = 0. Put u, 5, -5 in increasing order.
-5, u, 5
Let j be (1/(-2))/(((-44)/(-40))/11). Sort -2, -1, -4, j in decreasing order.
-1, -2, -4, j
Let b be (-6)/216 + 2/8. Sort b, -0.3, -4/5.
-4/5, -0.3, b
Let q be 10/(-16)*(-1 + 3). Let w = 199/4 - 50. Suppose 2*y - 4*x = 10, -2 = -2*y + 2*x + 2. Sort q, y, w in decreasing order.
w, y, q
Let y = 15 + -11. Let t = y - 2. Suppose 0 = -2*v - 4*j + 30, 0*j = v - 4*j + 15. Put t, v, 0 in descending order.
v, t, 0
Let i(w) = w**3 + 6*w**2 + 6*w + 7. Let x be i(-5). Suppose x + 9 = -m. Put 2, -5, m in ascending order.
m, -5, 2
Let v = -21 + 17. Put -2/5, v, -1 in ascending order.
v, -1, -2/5
Suppose -2*s - 7 - 3 = 0. Let j(x) = -x + 13. Suppose 24 = 6*m - 4*m. Let p be j(m). Put -1, s, p in descending order.
p, -1, s
Suppose 15 = 2*q + 7. Put q, 4/7, 0, 2 in decreasing order.
q, 2, 4/7, 0
Let r = -5 + 9. Let v be 2/(-4)*1*-2. Let w be (2 + 1/1)*6/9. Put r, w, v in increasing order.
v, w, r
Let w(o) = -o**3 - 14*o**2 + 15*o + 4. Let i be w(-15). Suppose -4*g = -4, 0 = -5*p + 3*g - 5*g - 13. Sort i, p, -2 in ascending order.
p, -2, i
Suppose -t + 2 + 19 = 0. Let r be 2/(-3) + 8/t. Sort 3, 5, r in ascending order.
r, 3, 5
Suppose -t - 2*t + 5*u = 19, 2*u - 1 = -t. Let g(f) = f**3 + 6*f**2 + 2*f + 2. Let o be g(-5). Put o, t, -4 in descending order.
o, t, -4
Let j = 16 - 11. Suppose -4*v = -3*v - 2. Let q(o) = -o**3 + 2*o**2 - 2*o. Let b be q(v). Sort b, j, 2 in descending order.
j, 2, b
Let l = 117 + -120. Put 0, -4, 4, l in ascending order.
-4, l, 0, 4
Let q(j) = -4*j - 7. Let z be q(-2). Let a = 0 + -1. Put z, a, 3 in decreasing order.
3, z, a
Let h be 10 + -2 + -3 - -2. Let b = -2 + h. Suppose -b*y - 4*z - 28 = -0*y, 4*y + 18 = -z. Sort y, 2, 0 in descending order.
2, 0, y
Suppose -x + 6 = 3*y - 5, 0 = x - 2*y + 9. Sort x, 2, 1 in decreasing order.
2, 1, x
Let i be 232/(-72) - 4/(-18). Let p be 1 + (i - (-1 + 0)). Sort -4, p, 3 in increasing order.
-4, p, 3
Let a = -1.31 + 1.81. Sort -2, -0.01, 4, a in ascending order.
-2, -0.01, a, 4
Let p = 2.68 + -0.38. Let r = p + -2. Sort 2, -0.4, r in decreasing order.
2, r, -0.4
Let d(o) = o + 7. Let v be d(-3). Let w(g) = -9*g**2 + v*g + 0*g**2 - 11*g - g**3 + 11. Let s be w(-8). Put 1, s, 2 in decreasing order.
s, 2, 1
Suppose -4*y = -2*y + 6. Let g be 3*2/12*-2. Let x = -2 + 5. Sort g, y, x in decreasing order.
x, g, y
Let i = -0.2 - 0.3. Let s = -12 - -8. Sort i, s, -3/7.
s, i, -3/7
Suppose -2 - 1 = -h. Suppose h = j + 4. Let b(x) = x**3 + 5*x**2 + 3*x. Let t be b(-4). Sort t, -3/5, j.
j, -3/5, t
Let o be (-4)/2 + (3 - -3). Put -1/3, -2, o in descending order.
o, -1/3, -2
Let v = -3 - -7. Let i(n) = -n**3 + 5*n**2 - 4*n - 1. Let u be i(3). Suppose 0 = -f + 4*f + 4*m + u, 5*m = v*f - 14. Sort 3, f, 0 in descending order.
3, f, 0
Let r = 8 + -9. Sort r, 3, 5 in decreasing order.
5, 3, r
Suppose 0 = g + 3*g. Put -0.09, g, -5 in descending order.
g, -0.09, -5
Let x = -5 - -8. Let z = 4 - 0. Let d = 0.05 + -1.05. Put x, d, z in descending order.
z, x, d
Let g(s) = -10*s - 25. Let k(i) = 7*i + 17. Let f(p) = -5*g(p) - 7*k(p). Let l be f(-3). Sort 5, 1, l in increasing order.
1, l, 5
Let k be (-6)/12 + 5/(-2). Sort -15, 2, k.
-15, k, 2
Let u = -3 + 11. Suppose -4*v = -u - 0. Sort v, 5, -5 in decreasing order.
5, v, -5
Let q be ((-16)/10)/(3/(-135)). Let i be q/105 - (-8)/(-20). Sort 5, -3/4, i in descending order.
5, i, -3/4
Let v = 4 - 7. Sort -4, 3, v in descending order.
3, v, -4
Suppose -4*r = j + 3, -1 = 2*r + 5*j + 14. Suppose 2*l + 18 = -3*z, -4*l = -3*z + 8*z + 32. Put l, -5, r in descending order.
r, l, -5
Let m be 3 - (-1)/(1/2). Suppose 0 = -3*b + m*b. Let y = -4 - 0. Sort b, y, 1.
y, b, 1
Let w be (-12)/(-9)*(-27)/(-6). Suppose -n - w = n. Sort n, 2, 0 in descending order.
2, 0, n
Let p be (-42)/8 + 1/4. Let a be (-70)/21*(-18)/10. Let z be (3/(-2))/(a/(-8)). Sort p, z, 1 in ascending order.
p, 1, z
Let n be (3 + (-35)/15)*-3. Put -3/5, 4/9, n in decreasing order.
4/9, -3/5, n
Let z be 24/6 + (-1)/1. Suppose 25 = -z*i + 31. Sort -1, 0, i in decreasing order.
i, 0, -1
Let x = -45 + 46. Sort 3, x, -4 in ascending order.
-4, x, 3
Suppose 2*g + 4 = -4. Sort g, 1, -1 in ascending order.
g, -1, 1
Suppose -2*p = -26 + 32. Suppose 0*r - 4 = -4*r. Put -2, p, r in increasing order.
p, -2, r
Let o = 6 - 18. Let l = 11.6 + o. Sort -2/3, -4/3, l.
-4/3, -2/3, l
Let a = 2