order.
g, -0.2, -2/7
Let l = -0.077 - 0.123. Sort -2, l, 0, 1 in increasing order.
-2, l, 0, 1
Let v be 4 + (-3 - -2) + 0. Let n be 8/36 - (-20)/(-9). Put v, 5, n in descending order.
5, v, n
Let d(a) = a**3 - 5*a**2 + 3*a + 4. Let f be d(3). Let n = -2.7 - 0.3. Sort f, -2, n in ascending order.
f, n, -2
Let s = -0.07 + -0.13. Let p = -0.02 - -0.1. Let r = p - -0.22. Sort s, 0.2, r in ascending order.
s, 0.2, r
Let n = -0.13 - -0.24. Let u = n + -0.01. Put -5, u, 2/15 in decreasing order.
2/15, u, -5
Let b = -0.02 + -0.08. Put 5/3, b, -7/4 in descending order.
5/3, b, -7/4
Let c be (-6)/5*(-220)/(-33). Let y be 3/(-1 - 14/c). Suppose -18 = -2*k - 0*k + 2*m, 4*k = 5*m + 40. Sort k, -2, y in increasing order.
-2, y, k
Let w(v) = -v**2 - 9*v - 3. Let i be w(-8). Let j = 5 + -3. Sort j, i, -4.
-4, j, i
Let g = -7 + 7.06. Let t = g + 0.14. Sort -0.2, t, -5 in increasing order.
-5, -0.2, t
Let q = 23 + -15. Suppose -z - 4*f + q = 0, f + 7 = z + z. Sort z, 5, 2 in increasing order.
2, z, 5
Let t = -85 + 84. Sort -5, t, -3.
-5, -3, t
Suppose -2*r = -2*t + 14, 4*t + 3 - 4 = -5*r. Let s be (10/3)/(2/r). Sort 0, -4, s in descending order.
0, -4, s
Suppose -2*d - 2*d - 4 = 0. Put d, 1, 4, -7 in descending order.
4, 1, d, -7
Let l = 2 + 4. Suppose 0 = 2*v + l + 4. Let f = 14 - 16. Sort v, 3, f.
v, f, 3
Let n(r) = -r**3 - 6*r**2 - 7*r - 3. Let s be n(-5). Let x = s + -4. Suppose 4*d + 3*o = -x, 2*o = -8*d + 3*d - 2. Put d, -5, -2 in decreasing order.
d, -2, -5
Suppose s - l - 27 = -6*l, -3*l = -2*s + 15. Sort 0, 2, 5, s in ascending order.
0, 2, 5, s
Let r = 45 + -45.4. Sort 3/2, -1/9, r.
r, -1/9, 3/2
Let c(g) = -g**2 - 5*g - 2. Let v be c(-3). Sort -1, 0, v in decreasing order.
v, 0, -1
Let a(b) = -b - 2. Let g be a(-7). Suppose 3*z - 6*z + 1 = -k, g*z - 15 = 5*k. Sort 2/5, z, 5.
z, 2/5, 5
Let y = -7 + 11. Let i = y + -2. Sort 1/3, i, -1.
-1, 1/3, i
Suppose -5*h + 2 - 12 = 0. Let j = 11 - 7. Suppose -p + 25 = 4*p. Sort j, p, h in ascending order.
h, j, p
Let v = -32 - -31. Put 1, v, -6 in decreasing order.
1, v, -6
Let d = -127/4 + 897/28. Let j(t) be the first derivative of -t**2/2 + 2*t + 3. Let h be j(4). Put h, -1, d in descending order.
d, -1, h
Let i(q) = -q**2 - 4*q - 5. Let g be ((-12)/15)/(2/10). Let w be i(g). Sort w, 4, 5 in ascending order.
w, 4, 5
Let s = -0.015 - 0.045. Let x = 303 - 298.06. Let u = x - s. Sort u, -3, -4 in decreasing order.
u, -3, -4
Let z = 14 + -13.99. Put -2, 2/17, z in increasing order.
-2, z, 2/17
Let d = 0.3 + -0.35. Let i = -1.95 + d. Sort i, 0.2, -1/2 in descending order.
0.2, -1/2, i
Let j be 4/(-14) - 12/7. Let u = -25 - -39. Suppose -m - i = 2 - 4, -u = -4*m - i. Put -3, j, m in decreasing order.
m, j, -3
Suppose 3*v + 16 + 14 = 0. Let i be (9 - 1)/(2/v). Let q be 26/i + (-10)/(-25). Sort 6/11, q, -3/2.
-3/2, q, 6/11
Let s = 119 + -119. Sort -4, -3, s in decreasing order.
s, -3, -4
Suppose 4*l = x + 4, 3*l + 16 = -x - 3*x. Suppose 15*m - 48 = 31*m. Sort m, x, 2 in ascending order.
x, m, 2
Let p(i) = -i**2 + 8*i + 4. Let t be p(8). Suppose -5*v = 3*x + 34, 3*v + 2*v - x = -22. Put t, v, -2 in decreasing order.
t, -2, v
Let k = -3 + 3.4. Let a = 14.1 - 13.1. Sort 0, a, k in increasing order.
0, k, a
Let f = -286/119 + 16/7. Suppose -2*x - 17 = 5*k, -3*k + 3*x = 4*x + 10. Put f, 2/9, k in decreasing order.
2/9, f, k
Let k(z) = -2*z - 31. Let x be k(-13). Put 5, 0, x in decreasing order.
5, 0, x
Let j be ((-3)/(-2))/(2/4 + 0). Sort 4, -3, j in decreasing order.
4, j, -3
Let t be (-8)/4 + (-1 - 0). Let y = -2 - -3. Let u(v) = -v**3 - 7*v**2 - v - 9. Let s be u(-7). Sort t, s, y in descending order.
y, s, t
Let y be 2 + 0 - (-2 - -8). Sort -1, -5/4, y in descending order.
-1, -5/4, y
Let i = 30.4 + -30. Sort i, -5, 1, 4.
-5, i, 1, 4
Let l be (-4)/26 - (2 + 8/(-52)). Sort l, -10, -1 in decreasing order.
-1, l, -10
Suppose 2*b + 2*a - 10 = -2*a, -4*a = -4*b - 28. Sort -1, b, 4.
b, -1, 4
Let q = -0.5 + 0.3. Suppose 0 = 3*z + 5*t + 9, 0 = 3*z + 2*z - 4*t - 22. Suppose 3 = n + z. Sort n, q, 1/4 in ascending order.
q, 1/4, n
Suppose -3*f = -3*h, -2*h - f + 4 = 1. Let o = -13 - -12.9. Put h, o, 0.05 in ascending order.
o, 0.05, h
Let y = 70.7 + -71. Sort -5, -1/4, -0.1, y in descending order.
-0.1, -1/4, y, -5
Let p = 32/15 + -9/5. Let m = 0.54 + 0.06. Let n = -4.6 + m. Put -2/7, n, p in increasing order.
n, -2/7, p
Let q(a) = -a**2 - 4*a - 1. Let r be q(-3). Sort -2/3, r, 12.
-2/3, r, 12
Suppose -4*r - 5*b + 2 = -3*b, 35 = 5*r - 4*b. Suppose 6*n - 9 = r*n. Put n, 0, -3 in increasing order.
-3, 0, n
Let w = 44 - 31. Suppose 3*x + w = -5*n, 0 = -5*x - 2*n + 6*n + 3. Put x, -3, 2 in decreasing order.
2, x, -3
Let c(u) = u**2 + 4*u. Let m be c(-5). Let j be (-3 + 2)*(0 + m). Let s be ((-12)/4)/(-5 + 4). Sort s, j, 4 in increasing order.
j, s, 4
Let s = -0.44 - -0.04. Let w = 0 - s. Sort w, 2/7, 0 in increasing order.
0, 2/7, w
Let v = -1158/77 - -156/11. Let f = 29 + -56. Let c be f/(-60) - (-1)/(-5). Put c, v, -3 in decreasing order.
c, v, -3
Let n = 11.1 - 11. Sort n, 1, 0.2 in descending order.
1, 0.2, n
Let r be (3/(-2))/(2/(-4)). Let j = -28 - -30. Sort j, r, -3 in descending order.
r, j, -3
Let p = -0.9 - -3.9. Let b = 0.7 - -0.3. Let q = p - b. Sort 1/10, q, 5 in increasing order.
1/10, q, 5
Let z(j) = -j**2 - 10*j + 23. Let q be z(-12). Sort 5, q, -2/11.
q, -2/11, 5
Let z = -6.8 + 6.9. Put 4, 7, z in descending order.
7, 4, z
Suppose i - 6 = 4*i. Suppose 4 = 3*t + 1. Sort i, t, -1 in decreasing order.
t, -1, i
Suppose 1 - 21 = -5*o. Let n be (3/2)/(12/16). Let s = -1 + n. Put s, -2, o in increasing order.
-2, s, o
Let c(t) = t - 7. Let s be c(7). Let m = -4 + s. Let j(r) = -r**2 + 5*r - 2. Let d be j(4). Sort m, d, 4 in decreasing order.
4, d, m
Let h(q) = -q**3 - 9*q**2 + q + 8. Let k be h(-9). Sort -2, -5, k in decreasing order.
k, -2, -5
Suppose 0 = 7*s + 31 - 3. Sort -3, s, -1 in decreasing order.
-1, -3, s
Let n be (-6)/6*(-10)/2. Suppose 4*j + 0*j = 12. Sort j, n, 2.
2, j, n
Let y = 2 - -2. Let d(j) = 1 - j**2 + 2*j - 8*j - 5. Let s be d(-6). Sort 0, y, s in increasing order.
s, 0, y
Let l = -0.16 - 6.24. Let v = l + 6. Let x = 0.4 - 0.3. Sort 1/5, x, v in descending order.
1/5, x, v
Let m(r) = -r - 5. Let p be m(-7). Sort 4, -4, p in descending order.
4, p, -4
Let r(a) = 2*a**2 + 8*a + 6. Let u be r(-5). Suppose 0 = -2*b - 2 - 0, 3*f + u = -b. Let m(c) = -c**3 - 5*c**2 - 2*c - 5. Let k be m(f). Sort k, -5, 4.
-5, 4, k
Suppose c - t = 2*t + 13, -5*t = -5*c + 35. Sort 1, c, -2 in ascending order.
-2, 1, c
Let x be ((-5 - 4) + -1)/(-2). Let u = -3 + 5. Put u, 1, x in ascending order.
1, u, x
Suppose 4*j + 6 = -2*k, -k = -2*j - 6*k + 9. Let b be (-3 + (-10)/(-4))*-6. Let q be b + (2 + -3)*0. Put -4, j, q in increasing order.
-4, j, q
Let r(c) be the first derivative of -c**2/2 - c + 4. Let v be r(-6). Sort 9, 4, v.
4, v, 9
Let y = -1 + -2. Let v be 12/54 + (-14)/(-18). Let b be v*1/2*10. Sort b, 3, y.
y, 3, b
Let u be -2 - (-1 + 2*(1 + -3)). Suppose 2*d = 5*d. Put -1, d, u in ascending order.
-1, d, u
Let t = -3.123 + 0.123. Let u = 13 + -8. Put 0, u, t in ascending order.
t, 0, u
Let g(z) = z**2 - 6*z - 7. Let a(s) = -3*s**2 + 18*s + 20. Let i(q) = 6*a(q) + 17*g(q). Let h be i(6). Put h, -5, 4 in descending order.
4, h, -5
Let h = -7 - 9. Let f = 16.3 + h. Let r = 89 - 799/9. Sort f, -4, r in decreasing order.
f, r, -4
Let j = -25 + 30. Sort -1, -3, j in descending order.
j, -1, -3
Let s be 21/(-7) - -4*1. Suppose 2*z - 3 = 2*r + s, -3*z - 8 = 4*r. Put 6, z, 1 in ascending order.
z, 1, 6
Let d = 147 - 445/3. Put 5/4, -2/13, 1, d in ascending order.
d, -2/13, 1, 5/4
Suppose 2*t = -2*t + 72. Suppose 4*b = 2*s, -b + 4*s - t = -2*b. Put -5, b, -2 in decreasing order.
b, -2, -5
Let p = -1.03 - -0.03. Let l = p + -6. Let w = 4 + l. Put w, -3/4, -4 in decreasing order.
-3/4, w, -4
Let h = 19 + -31. Let f be (-3)/h - 6/8. Sort -4, f, 1 in decreasing order.
1, f, -4
Let a(q) = -q + 6. Let v be a(6). Sort -1/3, v, 0.2 in increasing order.
-1/3, v, 0.2
Suppose 0 = -5*t - 15, -2*m + t = 6*t + 21. Let k be 4 - (1 - (1 - 2)). Let z = 0 + k. Sort -2, m, z in descending order.
z, -2, m
Let z be 4/26 + 126/26. Let v be 3/(-2)*(-2)/5. Put 3, v, z in descending order.
z, 3, v
Suppose 0 = -j + 2*p - 2, 2*p - 3 = -3*j - 1. Let i = j 