+ -1). Sort l, -4, k in increasing order.
-4, k, l
Let w = -68 - -73. Put 2, w, 4, 3 in ascending order.
2, 3, 4, w
Let z(l) be the second derivative of -l**4/12 - 5*l**3/3 + l**2/2 - 4*l. Let v be z(-10). Sort -4, v, 2 in increasing order.
-4, v, 2
Suppose -2*v = -4 + 12. Let y be -5 - -5 - 4/(-1). Suppose 0 = m + y*m - f - 6, -5*m = 5*f. Put 5, v, m in descending order.
5, m, v
Let a = -29.2 + 29. Put 3/8, -4, 4, a in descending order.
4, 3/8, a, -4
Let g = 0.03 - -1.97. Let t = -1/44 + -79/396. Let f = -66 - -397/6. Put f, t, g in decreasing order.
g, f, t
Let r(y) = -3*y**3 + y**2 + y. Let w be r(-1). Put -4, -5, w, 0 in ascending order.
-5, -4, 0, w
Let n be (2 + -1 + 0)*-1. Sort 1, n, 2.
n, 1, 2
Let n = -6 - 1. Let i = n - -10. Sort 0.5, -1/11, i in decreasing order.
i, 0.5, -1/11
Let o be 2*3/12*-4*1. Let j = 7 - 11. Sort -1, j, o in increasing order.
j, o, -1
Let f = 0.097 + -0.407. Put f, -0.2, -1 in decreasing order.
-0.2, f, -1
Suppose -g - 4*y + 1 = 0, y = -5*g - 15 + 1. Put g, 5, 0, 1 in descending order.
5, 1, 0, g
Let w = 4 + -3. Let j = 5 + -2. Sort j, 2, w.
w, 2, j
Let s = 5.6 + -6. Let a = -1 + 2. Suppose -2*d = -4*l - 14, -4 = 4*l - 5*d + a. Put s, 2/9, l in descending order.
2/9, s, l
Suppose 3*p - 2 = 2*p. Put p, -4, -3 in descending order.
p, -3, -4
Let m(g) = 7*g + 11. Let f be m(-3). Put f, -5, 4, 0 in ascending order.
f, -5, 0, 4
Let l(k) = -k**3 + k**2 - k - 5. Let h be l(0). Sort 3, h, -8.
-8, h, 3
Let f = 83 - 87.1. Let m = -3 - -2.9. Let a = m - f. Put -0.5, 5, a in ascending order.
-0.5, a, 5
Suppose 8 = 7*f - 3*f. Let p(b) = b**3 + 2*b**2 - 1. Let g be p(-2). Put g, f, 7 in decreasing order.
7, f, g
Let s = -82 + 81. Let x be 3/5*5/(-5). Sort s, -3, x in increasing order.
-3, s, x
Let o = -8.4 - -8. Let y be 1/(-2)*(-8)/22. Put 0.5, y, o in increasing order.
o, y, 0.5
Suppose 0 = -4*r + 4 + 4. Put r, -4, -2 in ascending order.
-4, -2, r
Suppose 19 = 3*t + 4. Let j = 497 + -343. Let f be j/(-42) - 3*-1. Sort f, 0, t.
f, 0, t
Let r(d) = -d**2 + 6*d - 3. Let g be r(5). Sort g, -2, 4 in ascending order.
-2, g, 4
Let n = -3/5 + 11/35. Put n, -3/8, 11 in ascending order.
-3/8, n, 11
Let v(n) = -2*n**3 + 12*n**2 + 2*n - 9. Let c be v(6). Sort -5, c, -2 in descending order.
c, -2, -5
Suppose x + 4 - 4 = 0. Suppose -3 = 2*w + 5*o + 18, -2*o = w + 8. Sort w, x, -1 in decreasing order.
w, x, -1
Suppose u + 16 = -3*u. Let r be ((-2)/u)/((-3)/(-6)). Put -6/7, 2/17, r in descending order.
r, 2/17, -6/7
Let x = 3.03 - 0.03. Sort -4, x, -1.
-4, -1, x
Let z = -0.45 - 0.05. Let h = z + -2.5. Sort 2/21, h, 5 in decreasing order.
5, 2/21, h
Let v be (2/5)/(1/10). Let b be 5/6 + v/6. Let z(g) = -g**2 - 5*g + 3. Let p be z(-6). Put p, -2/7, b in increasing order.
p, -2/7, b
Let z = -19 + 23. Suppose 0 = -z*k + 5 - 1. Suppose 0*p = p. Put k, -5, p in ascending order.
-5, p, k
Suppose 3*b + 5 = -y - 6, 5*y = -4*b - 22. Let h be 2/(2/4*1). Let r = h - 2. Put 0, r, b in increasing order.
b, 0, r
Let u be (-28)/33 - 2/(-3). Let y = -3.07 + 0.07. Let h = y + 3.5. Sort 2/5, h, u in descending order.
h, 2/5, u
Let x = 23/3 + -8. Let v(b) = -b**2 - 4*b - 2. Let a be v(-2). Let c be (a - 31/15)*3. Put x, 5, c in descending order.
5, c, x
Let a = -47/2 - -23. Let c be 294/(-180) + (-6)/(-4). Put c, a, 2 in descending order.
2, c, a
Let q = 22 - 32. Let y = q - -10. Put y, -4, 4 in descending order.
4, y, -4
Let i = 14 - 10. Let m = -206 - -203. Sort -4, i, m in ascending order.
-4, m, i
Let b = -113/644 - -3/92. Let f = -3 - -3. Let h be (-2)/(-3) - (-20)/6. Sort h, b, f in decreasing order.
h, f, b
Let w = 595 - 595. Let v = -0.6 + 3.6. Sort v, w, 2 in increasing order.
w, 2, v
Let s = 84 + -81. Sort 0, s, -6 in descending order.
s, 0, -6
Let b = -25.2 + 23. Let n = b + -1.8. Sort -0.2, n, -6/7.
n, -6/7, -0.2
Let y = -0.1 + -0.3. Let g(i) = -i - 8. Let r be g(-6). Sort -1, y, r in decreasing order.
y, -1, r
Suppose 10 = -2*c + 3*c. Let m = -9 + c. Let t = 7 - 3. Put t, 2, m in descending order.
t, 2, m
Let k = -33 - -40. Suppose 0 = 3*v - 5*u + 3, -4*u - 35 = -5*v - 9*u. Put k, v, -1 in decreasing order.
k, v, -1
Let t be (-450)/(-4)*27/90. Let w = 34 - t. Let g be (-2)/5*5*2. Put w, g, 0 in decreasing order.
w, 0, g
Suppose 3*s = 6*s + 51. Put 2/7, s, 4 in ascending order.
s, 2/7, 4
Let l be (-9)/((-2)/2) - (2 - 5). Put 1, l, 5, 0 in ascending order.
0, 1, 5, l
Let r = 45 + -11. Let t = r - 37.2. Let n = 3 + t. Sort n, 4, -1/3 in descending order.
4, n, -1/3
Suppose 2 = -j - 2. Sort -3, j, -1 in descending order.
-1, -3, j
Suppose 2*p + 3*a = 18, a + 11 = 6*p - p. Suppose 0*o = o - p. Put 0, 10, o in descending order.
10, o, 0
Suppose -v = -4*h - 8, -4*v + 4*h + h = -10. Suppose -5*n + 0*n = -15. Let s = n + -4. Put -4, s, v in increasing order.
-4, s, v
Let t be (-1 + 0 - -8 - -1)/(-2). Put t, -3, 3, -1 in descending order.
3, -1, -3, t
Suppose m = -2*m - 4*h + 8, -3*m + 3*h = -15. Let a = -19 - -20. Sort m, a, 2 in descending order.
m, 2, a
Let k be -9 - (0 + -1)/1. Let i be 2/k - (-14)/(-8). Let y(u) = -u**2 + 5*u - 1. Let s be y(4). Sort s, i, 0.
i, 0, s
Suppose -37 = -3*j + 5*r, 0*j - 28 = -2*j + 5*r. Let n = j - 14. Sort 3, n, 2 in ascending order.
n, 2, 3
Let h be (-3)/(-2)*(-96)/(-648). Let m = -5715/4 - -1527. Let i = m + -99. Sort h, i, 5.
i, h, 5
Let t = -0.03 - -1.53. Let x = 1 - t. Let n = -8 + 8.2. Sort x, n, -0.2 in ascending order.
x, -0.2, n
Let i = -2.2 + 0.2. Let s = i + 1. Sort -1/7, -0.1, s in ascending order.
s, -1/7, -0.1
Let r(l) = l**2 + 7*l + 3. Let q be r(-6). Suppose 2*n - 12 = -5*k, -5*k + 8*n = 3*n - 5. Let x be (3 - 1)*k/(-4). Put x, 2, q in descending order.
2, x, q
Let x = 333 + -336. Let j be 1/(-3) - (-13)/12. Sort x, j, 0 in increasing order.
x, 0, j
Let w be 3 + 0 + 0/(-1). Suppose 0 = -5*z - 8 - 2. Let i(c) = c + 3. Let s be i(z). Sort w, s, -2.
-2, s, w
Let o = 3.4 - 2.4. Put 7/6, 0.2, o in increasing order.
0.2, o, 7/6
Suppose -d + 0*s = -5*s - 11, 4*d = -4*s - 4. Put 4, -1, d in descending order.
4, d, -1
Suppose 5*d = -3*i + 10, i + d - 14 = -2*i. Put i, 4, -3/5 in ascending order.
-3/5, 4, i
Let q(k) = k - 5. Let h be q(7). Suppose 5 = 5*s, -3*w + 1 = -h*s - 0. Put 0, w, 4 in decreasing order.
4, w, 0
Suppose 16 - 4 = 3*p. Suppose 0*f - 3*f = 0. Put -1, f, p in descending order.
p, f, -1
Let k be ((-24)/90)/((-12)/10). Put 4, 9, k in increasing order.
k, 4, 9
Let l be (-16)/(-6) - (-14)/(-21). Let w(u) = 3*u - 1. Let q be w(l). Let x = 2 + -2.4. Sort x, q, 2 in decreasing order.
q, 2, x
Suppose 0 = -x - 2 + 4. Suppose 2*l - 21 = 4*y - y, -26 = -x*l + 4*y. Suppose -4*f + 29 = -4*j - f, -l*f - 6 = 3*j. Sort -1/5, j, -0.1.
j, -1/5, -0.1
Let v be (-5)/15*3 + -2. Sort v, -2, 2 in decreasing order.
2, -2, v
Suppose 0 = 4*i - 3*z + 23, 0 = -5*i - 2*z + 4*z - 20. Put -6, -3, i in descending order.
i, -3, -6
Let x be 4*2/(-16)*10. Let a(m) = -m**3 + 4*m**2 + 4*m + 3. Let d be a(5). Put x, 3, d in decreasing order.
3, d, x
Let s = 1.68 - -1.28. Let z = 0.04 + s. Put 2, 5, z in decreasing order.
5, z, 2
Suppose -4*t + 3*i = -29, -i = -4*t - 3*i + 14. Sort t, 2, -10 in decreasing order.
t, 2, -10
Let x(y) = 4*y. Let p be x(1). Let r(t) = -t**2 - 7*t + 7. Let z be r(-6). Let q = -11 + z. Sort p, q, -3 in increasing order.
-3, q, p
Let y = -1 + 3. Suppose 5*r = 5*w - y - 3, -w = -4*r - 1. Suppose r = c + c + 6. Put -5, c, -4 in ascending order.
-5, -4, c
Let o be (4/(-102))/((-15)/(-45)). Put o, -2/5, -3, 0.1 in decreasing order.
0.1, o, -2/5, -3
Let t be 0/(-1) + (-1 - 1). Sort -1, t, 4 in descending order.
4, -1, t
Let j(k) = -k**2 + 6*k - 6. Let b be j(4). Suppose -8 + 2 = b*c. Sort c, 1, -4 in ascending order.
-4, c, 1
Let g be ((-2)/2)/((3 - 4)/(-5)). Sort g, -2/3, 4 in increasing order.
g, -2/3, 4
Let f be (-8)/(-28) + (-12)/(-56). Sort f, -2/7, 0, 3 in descending order.
3, f, 0, -2/7
Let r = -0.55 + -0.05. Let y = r - -1. Sort y, -5, -1 in ascending order.
-5, -1, y
Let n = -1 + -3. Suppose 3*t = 2*t - 4, 3*v + 3*t - 3 = 0. Put n, 2, v in descending order.
v, 2, n
Let j = 10/23 + -4/115. Let h = 0.1 + 4.9. Sort 4, j, h in increasing order.
j, 4, h
Let l = -17.7 + 18. Put -4, 1, l in descending order.
1, l, -4
Let m be ((-2)/(-6))/(3/36). Suppose -2*b - 2*u + m = 0, -3*b + 0*u = -3*u. Let t be -2*(0/2 + 