der.
w, 3, -6
Let m(a) = a**3 - 2*a**2 - 5*a + 8. Let o be m(3). Put 0, o, -11 in decreasing order.
o, 0, -11
Let x(u) = u**2 + 5. Let q be x(0). Put -5, q, 3, -1 in increasing order.
-5, -1, 3, q
Let x = 11 - 8. Let a be 2/(-18)*x*1. Put -0.2, 2/5, a in descending order.
2/5, -0.2, a
Let i = 6.4 - -0.6. Let u = i - 2. Put u, 0.3, 0 in ascending order.
0, 0.3, u
Let h = 189/2 + -97. Put -0.2, 0.2, h in ascending order.
h, -0.2, 0.2
Suppose -4*w + 23 = -17. Put w, -1/2, -1/3 in decreasing order.
w, -1/3, -1/2
Suppose -k = 2*k. Suppose k = f - 6*f - 25. Sort f, 0.2, -4 in decreasing order.
0.2, -4, f
Suppose 3*r = -0*r. Suppose -5*v + 3*d - 1 - 4 = 0, 4*d - 20 = r. Let a be v/5 - 17/5. Sort -0.4, a, -1/3 in descending order.
-1/3, -0.4, a
Let o be ((-24)/(-48))/((-2)/4). Put 1, o, 2, -5 in ascending order.
-5, o, 1, 2
Let g = 12 - 11. Let t(i) = -i - 5. Let h be t(-5). Suppose -p - 4*p = 20. Sort g, p, h.
p, h, g
Let h be 3/(2*6/40). Let p be 2/4 + 35/10. Suppose j - 5 = -p*c, -2*j + h = -c + 5*c. Sort j, 3, -1 in decreasing order.
j, 3, -1
Let q = -1.5 + 1. Let z = -29/6 - -5. Sort q, z, 4.
q, z, 4
Let m be (-2)/(-4)*(6 + 36/(-6)). Sort -4, m, 5, 2 in ascending order.
-4, m, 2, 5
Suppose 5*v - 13 = 7. Let r be ((-3)/2)/(4/(-8)). Suppose r*u = -0*u - 6. Sort 2, v, u.
u, 2, v
Let f = -3 - -5. Let g = f + -5. Put g, 0.5, 2/3 in descending order.
2/3, 0.5, g
Let w = 3 + 0. Let r be (-42)/56 + (-6)/(-8) + 0. Put w, r, 1 in descending order.
w, 1, r
Suppose 7*c - 2 = 6*c. Let u = 2.5 - 3. Sort u, c, -0.1 in decreasing order.
c, -0.1, u
Suppose -4*q = -2*g - 2, -g = 3*q + 4*g - 8. Let x = 6.9 - 2.9. Sort x, 0, q in descending order.
x, q, 0
Let s(l) = 2*l**2 - 14*l - 6. Let y be s(7). Put -4, y, 1, -3 in decreasing order.
1, -3, -4, y
Let j = -0.4 - 0. Let s = -0.7 - j. Sort 1/3, 1, s.
s, 1/3, 1
Let k be 15/6*24/(-20). Let p = 0 + k. Suppose 0 = 2*d + 5*c - 7*c + 12, 3*d - 17 = -4*c. Sort 2, d, p.
p, d, 2
Let l = -9.43 + -0.87. Let t = l + 10. Sort t, -2, 0.3.
-2, t, 0.3
Suppose -5*k + k = -2*n + 10, 0 = 4*k - 5*n - 5. Let f = -4 + 8. Suppose 0*o = o - 5. Sort f, o, k in descending order.
o, f, k
Let l = 3 - -3. Let y be ((-16)/12)/((-6)/(-9)). Put -5, y, l in descending order.
l, y, -5
Let a(d) = -1. Let j(r) = -2*r - 15. Let t(i) = -4*a(i) + j(i). Let p be t(-8). Sort p, 2, -4 in ascending order.
-4, 2, p
Suppose y = 3*z + 69, 3*z + 23 = 5*y - 58. Let c be (2/z)/(-1 - -2). Sort c, -1/2, -1 in descending order.
c, -1/2, -1
Let o = -8 + 9. Sort 4, o, 2/21, 1/3 in decreasing order.
4, o, 1/3, 2/21
Suppose 5*y - 4 = 1. Let t be (-6)/4 + y - 0. Sort -5, t, -4/7 in ascending order.
-5, -4/7, t
Let y(x) = 4*x**2 + 2*x - 1. Let n be y(1). Suppose -2*h = 3*h + 15. Put 3, h, n in decreasing order.
n, 3, h
Let b = -0.3 - -0.1. Let d be 1*-4 - (-3 - -1). Put b, 0.5, d in descending order.
0.5, b, d
Let q(r) = r**3 + 6*r**2 - 5*r + 7. Let h be q(-7). Let w = h + 5. Let o(l) = -2*l + 3. Let u be o(2). Put u, 1, w in decreasing order.
1, u, w
Let c = 34 - 38. Sort 0.4, 3, c, 5 in ascending order.
c, 0.4, 3, 5
Let r(v) = v**2 - 8*v + 11 + 4*v**2 - 6*v**2. Let b be r(-9). Let s be (-4 - (-2)/2)*1. Sort s, b, 1.
s, 1, b
Let n = 49.9 + -50. Let a be (2/4)/(1 + 1). Let l = 8 + -12. Sort a, l, n in ascending order.
l, n, a
Let f be (-24)/(-8) - (0 + 0). Put 1, f, -8 in decreasing order.
f, 1, -8
Let d(s) = 4*s**3 - s**2 + s - 1. Suppose -15 = -2*b - 1. Suppose 0 = -5*r + 3*o + 20, -2*r - 3*o - 6 = b. Let h be d(r). Put 1, -5, h in decreasing order.
h, 1, -5
Let y = 3 + -7. Let b = 5/22 + -69/110. Sort b, -1, y.
y, -1, b
Suppose 5*i = 6*i + 3. Sort -2, i, 3 in increasing order.
i, -2, 3
Suppose 5*k - 13 - 2 = 0. Suppose k*o = -1 - 2. Put 3, 2, o in ascending order.
o, 2, 3
Let n(d) = -3*d. Let s be n(0). Sort 6, -4, s, -7 in increasing order.
-7, -4, s, 6
Suppose 16*f - 20*f + 4 = 0. Put 4, f, -5 in ascending order.
-5, f, 4
Let j = 3 + 4. Let b = 9 - j. Sort b, 5, -5 in ascending order.
-5, b, 5
Let m = -4.5 + 5. Sort 5, 6, m in descending order.
6, 5, m
Let j be ((-17)/(425/20))/(18/(-5)). Let d = -4.87 - 0.13. Sort 5, j, d in descending order.
5, j, d
Let b = 14 - 15. Let k(n) = n - 2. Let r be k(-2). Put 2, r, b in ascending order.
r, b, 2
Let r = 10 - 13. Let i = 43.4 - 39. Let a = i - 0.4. Sort a, r, -4 in ascending order.
-4, r, a
Suppose 5*z - 2 = 48. Let n be (15/z)/(3/4). Put 5, -1, n in descending order.
5, n, -1
Suppose 4*d - d - 5*m = -200731, -d = -5*m + 66927. Let t = d - -4817207/72. Let p = t + -34/9. Sort p, -0.3, 2/21 in decreasing order.
2/21, p, -0.3
Suppose 7 = -5*j - u + 1, 3*u = -j + 10. Put -0.4, 2, -0.04, j in descending order.
2, -0.04, -0.4, j
Let g be 32/10 - 2 - (-2)/10. Sort g, -1, 1/4 in ascending order.
-1, 1/4, g
Suppose 4*g = -5*s + 78 + 4, s - 2 = 0. Sort 4, g, 3 in decreasing order.
g, 4, 3
Let g be 0 + (41/44 - 6/8). Sort g, -1, -1.2, 0.4 in descending order.
0.4, g, -1, -1.2
Let q = -109/976 - -3/61. Put q, -1/9, 2 in descending order.
2, q, -1/9
Suppose -2*k + 5*v = -25, k + 1 = -0*v - 2*v. Let g be (-3)/(0 + (-6)/10). Let r = g + -4. Sort r, -3, k in descending order.
k, r, -3
Suppose 0*d - 20 = -4*r - 4*d, 2*r - d - 7 = 0. Sort -56, r, -3 in increasing order.
-56, -3, r
Let n = -63 - -60. Sort n, 2/9, -4 in descending order.
2/9, n, -4
Let o = -7.38 + 7.3. Sort -2, 0.4, -5, o.
-5, -2, o, 0.4
Suppose 11*g - 9*g - 16 = 0. Put g, 4, 1 in decreasing order.
g, 4, 1
Suppose 5*c + x = 20, -3*c = x + 1 - 13. Put 2, c, 8 in decreasing order.
8, c, 2
Let f = -0.27 - -0.17. Sort -1, 0.7, f, -5/3.
-5/3, -1, f, 0.7
Let k = -1.4 - -1.1. Put -4/5, k, 1/2 in increasing order.
-4/5, k, 1/2
Let t = -234089 - -414103454/1769. Let x = 432455/111447 - t. Let f = x - 24/7. Sort 0, 1, f.
0, f, 1
Let n = -2.9 - -0.9. Let s be 6/4*(-2)/6. Sort s, n, -1/6 in decreasing order.
-1/6, s, n
Suppose 3 = l + 6, -39 = -4*c + 5*l. Suppose c*d - d = 5. Sort -1, d, 3 in decreasing order.
3, d, -1
Let r = -44 + 46. Put 1/3, r, 36 in decreasing order.
36, r, 1/3
Suppose -2*g = -g - 5. Sort 3, g, 1.
1, 3, g
Suppose g + 15 = 4*g. Let y be g + 1 + (1 - 2). Let p = -45 + 44.8. Sort y, -2, p in decreasing order.
y, p, -2
Let v be ((-2)/(-15))/((-4)/(-6)). Let d = -0.16 - -2.16. Put d, v, -0.04 in increasing order.
-0.04, v, d
Let c = -2 + -1. Put 4, 1/3, c in descending order.
4, 1/3, c
Let p be 4/6*(-24)/(-16). Suppose 3*r = -2*h, -3*r + 8*r = -5*h + 5. Suppose 0 = -h*u - 0*u. Sort 2, u, p in descending order.
2, p, u
Let v(r) = r**2 - 3*r + 3. Let g be v(4). Suppose f + g = 4. Let u = -2 - f. Sort 4, u, -4 in ascending order.
-4, u, 4
Let q = -67 + 65. Let p be (-1)/4 - (-11)/(-4). Let s be 5*(1 + p/5). Sort s, q, 0.
q, 0, s
Suppose 5*l + 2 + 12 = 4*c, 0 = -2*l + 4. Suppose -c = -2*r - r. Suppose a = r*a. Sort 2, a, -1.
-1, a, 2
Let y = -227.97 + 234. Let j = -6 + y. Let s = j - -3.97. Put -0.2, 2, s in ascending order.
-0.2, 2, s
Let i = 36 - 35. Let w = 1.7 - 1.75. Sort w, i, 4 in descending order.
4, i, w
Suppose 3*k + 49 = 2*t, -2*k + 3*t - 20 = 16. Let f = k - -10. Let y be (-1)/(1/2*-1). Sort f, y, 5 in ascending order.
f, y, 5
Suppose 12 = 2*w + 5*r, 4*r - 2 = 3*r. Put -3, w, -2 in ascending order.
-3, -2, w
Suppose 2*k = -k + 15. Let q = 83 + -578/7. Put k, 3, q in decreasing order.
k, 3, q
Let s = -12.3 - -4.2. Let c = 11.16 + s. Let q = c - 0.06. Sort 2/11, 1, q in descending order.
q, 1, 2/11
Let g = -16 + 11. Let u be 1*(12/(-2) + 7). Put -1, u, g in decreasing order.
u, -1, g
Let f = -3.4 - 1.6. Let l = f + 3. Let m = -179/21 + 23/3. Sort m, l, 2/5 in descending order.
2/5, m, l
Let d(c) = -3*c**2 + 10*c. Let r be d(3). Let j(f) = -f**3 - 5*f**2 - 6*f - 3. Let w = 0 - 4. Let b be j(w). Sort r, b, 4 in decreasing order.
b, 4, r
Let l = -34 - -10. Let m be (l/(-56))/(4/7). Let z = 633/5 - 127. Put 2/7, z, m in ascending order.
z, 2/7, m
Let n be (2/5)/(1/5). Suppose u + 2*m = -7, n*u = m + 4 + 2. Sort u, 5, -2 in decreasing order.
5, u, -2
Let g be 45/(-42)*(-8)/10. Let q be 2/(-8) - 3/(-108). Sort 0.4, q, g in ascending order.
q, 0.4, g
Suppose -2*m - 12 = -3*m - 2*i, -i + 11 = 3*m. Let p = -6 - -3. Let t be 2/(m - (-2 - p)). Sort 1, 5, t in decreasing order.
5, t, 1
Let k = 1 + 3. Let y(t) = 2*t**2 + 6*t - 5. Let l be y(-5). Suppose 0 = -2*a + 7*a + l.