, -6
Let o = -3.5 - -3. Let h be 15/10*4/21. Sort -0.1, o, h in increasing order.
o, -0.1, h
Let q = 0.1 + 0.1. Let f = 0.2 - q. Let m = f - 0.5. Put -2, m, 5/4 in increasing order.
-2, m, 5/4
Suppose 5*r - 11 = -5*u + 9, 0 = 2*u - 2*r - 12. Put u, 0, 3 in decreasing order.
u, 3, 0
Let a = 0.14 - -4.06. Let c = 1.2 - a. Put 0.5, 1/6, c in increasing order.
c, 1/6, 0.5
Let a = 6.6 - 4.6. Sort 0, 12, a.
0, a, 12
Let t(r) be the first derivative of r**2 + r + 3. Let m be t(-2). Let y be (1/(-1))/(1/m). Sort -5, 0, y in descending order.
y, 0, -5
Let v = -1 + 4. Suppose -3*z + 2*w - 17 = 6*w, v*z + 2*w = -7. Let j = 0 + 0. Put -5, z, j in increasing order.
-5, j, z
Let f(p) = -p**3 + 16*p**2 - 14*p - 19. Let q be f(15). Let c be -3 + 1 + (0 - -3). Sort 5, c, q in ascending order.
q, c, 5
Let h be 14/(-4) + (-15)/(-10). Let j(p) = p**3 - 14*p**2 - 15*p + 1. Let b be j(15). Put h, b, -1/4 in decreasing order.
b, -1/4, h
Let x = 85 + -86. Sort 2, 3, -4, x.
-4, x, 2, 3
Suppose 4 = 4*n, 5*w + 4*n = -13 + 2. Let y be (-4)/3*(0 - w). Let s = y + 0. Put 4, s, 1 in descending order.
4, 1, s
Suppose 2*d + 0*d - r - 1 = 0, -3 = -4*d + r. Sort d, -10, 3 in descending order.
3, d, -10
Suppose 4*g + g = 15. Suppose 0*h = g*h - 15. Sort 4, h, 0.
0, 4, h
Let l = 17 - 16.3. Let q = l - 11.7. Let h = -7 - q. Sort h, 1/6, -1 in ascending order.
-1, 1/6, h
Suppose 26 = -3*u + 23. Let h = -1.1 + 1. Sort -2, h, u in increasing order.
-2, u, h
Suppose 0 = 5*t - 5*u - 10, 1 = 4*t + 6*u - 3*u. Sort 5, -2, t, -11 in descending order.
5, t, -2, -11
Let o = 10 - 14. Let t = 9 + -4. Sort o, t, 2 in descending order.
t, 2, o
Let n(g) = -g**3 - 7*g**2 - 6*g + 2. Let w(s) = -s - 13. Let h be w(-7). Let o be n(h). Let t = -27 + 26. Sort o, 1, t in descending order.
o, 1, t
Suppose -6*o + o = o. Sort 1, o, 2 in increasing order.
o, 1, 2
Let g = 1.4 - 0.9. Sort -7, g, 4 in descending order.
4, g, -7
Let t = -10.1 + 9.7. Let q = 27/77 - 7/11. Put -3, t, q in decreasing order.
q, t, -3
Let n = -28 - -32. Let f be 1/((-1 - 1)/10). Put f, n, -1 in descending order.
n, -1, f
Suppose 0 = -2*q + j - 0*j - 6, 4*q - 3*j + 12 = 0. Sort 1/13, q, -4.
-4, q, 1/13
Suppose -4*w = -6*d + 3*d + 6, 4*d = -5*w - 23. Let l = 7 + w. Suppose -c = l*c. Put -3, c, -5 in increasing order.
-5, -3, c
Suppose 5*y = 4*y - r + 7, 5*y + 3*r - 27 = 0. Let n = 8 - 13. Sort -1, y, n in ascending order.
n, -1, y
Let b = 13 - 11. Let g = 12 + -17. Sort g, b, -3 in decreasing order.
b, -3, g
Let v = -1.01 + 0.01. Let n = v - -4. Let b = -2.9 + n. Sort 1, b, 0 in descending order.
1, b, 0
Suppose 6 = -2*z - 2*n - 8, -5*z = -2*n + 14. Let b(u) = u**2 + 5*u + 1. Let v be b(z). Sort 2, v, 0.
v, 0, 2
Suppose 4*v + 4*v + 32 = 0. Sort -5/3, -2/3, 4, v.
v, -5/3, -2/3, 4
Suppose -2*k - 9 = j + 6, -10 = 3*j - k. Let o = -3 - j. Put 3, -3, o in descending order.
3, o, -3
Let w(r) be the first derivative of r**2/2 - 3*r - 2. Let g be w(5). Suppose -h - 5*j + 11 + 1 = 0, 4*j - 12 = -g*h. Sort 0.1, h, 0.
0, 0.1, h
Let x(f) = f**3 - f**2 - 7*f + 2. Let s be x(3). Put s, 6, -4, 2 in descending order.
6, 2, s, -4
Suppose -c + 4 = k + 6, 0 = -4*c + 5*k + 37. Suppose -3*f = 2*f - 15. Let z be 36/4 - 1 - f. Put 0, z, c in descending order.
z, c, 0
Let x = -4.6 + 5. Let m be 4/3 - 6/3. Let d = 1/6 + m. Sort x, -0.2, d in descending order.
x, -0.2, d
Let f(x) = -x**3 + 7*x**2 - x + 4. Let t be f(7). Sort -2, 0, 1, t in descending order.
1, 0, -2, t
Suppose -5 = 4*k + 11. Let d(o) = 4*o**2 - o + 1. Let z be d(1). Suppose z*i - 1 = -13. Put k, 4, i in decreasing order.
4, i, k
Let z(f) = -5*f. Suppose -4*t = -4*m + 4, -4*m - 3*t + 4 = -0. Let d be z(m). Put d, 5, 4 in descending order.
5, 4, d
Let b(w) = -2*w**2 - 5*w + 4. Let l be b(-3). Let a(o) = -17*o**2. Let z be a(-1). Sort l, -4, z in increasing order.
z, -4, l
Let v = -4/9 + 11/18. Put v, -4/5, 5 in descending order.
5, v, -4/5
Let z(k) = 2*k. Let b be z(2). Let u = 1.54 + -1.1. Let m = u - 0.04. Sort b, -0.3, m.
-0.3, m, b
Let h = 4 + -5. Let t be 1*h*(-5 - -1). Suppose v - t*a + 16 = -2*v, -5*a = -5. Sort v, 3, 2 in descending order.
3, 2, v
Let o = -33 + 37. Put -21, 1, 0.4, o in increasing order.
-21, 0.4, 1, o
Let i be 2/(-9) - (-22)/18. Let u = i - -8. Suppose -f - u = 3*m, 4*m + 4*f + 27 = 7. Put 1, -5, m in descending order.
1, m, -5
Suppose 0 = -p + 2*p + 10. Let q be (p/12)/((-4)/(-6)). Sort -0.4, q, -5 in decreasing order.
-0.4, q, -5
Let o(i) = -i**2 + 3*i - 1. Let b be o(2). Let p(t) = 32*t - 93. Let s be p(3). Put -11, s, b in increasing order.
-11, b, s
Suppose 2*x + n = -2*x + 4, -5*x = 3*n + 2. Sort 5, x, 3 in decreasing order.
5, 3, x
Let x = -9 + 13. Let s = 2 + -1.8. Let b = -1.5 - -2. Sort s, b, x in increasing order.
s, b, x
Let x be -9 + -2 + 3 - -3. Put -1, -3, x in increasing order.
x, -3, -1
Let b be -1 + 3/2*2. Suppose b*d + 9 = -4*j - 7, 3*d = -2*j - 16. Suppose 12 + 3 = -3*o. Sort 2, o, d in decreasing order.
2, d, o
Let r be ((-30)/(-8))/(6/(-4)). Sort 0.1, 2, 0, r in descending order.
2, 0.1, 0, r
Let q = -106 - -741/7. Sort q, 5, 0.1.
q, 0.1, 5
Let x(b) be the first derivative of b**2 - 7*b - 2. Let y be x(5). Let u be (-6)/2 + 0 - -7. Sort 5, u, y in decreasing order.
5, u, y
Let z be (-1*2)/(4/6). Sort -1, z, 0 in decreasing order.
0, -1, z
Let m(v) = v**2 + 5*v - 5. Let x be m(-5). Suppose -5*y + 15 = -2*y. Let i be (-1)/3 - (-8)/6. Sort i, x, y in increasing order.
x, i, y
Suppose -6 - 1 = -5*x + 4*u, 4*x = 5*u + 2. Sort x, -4, -1.
-4, -1, x
Let h(l) = -l**2 - 2*l + 3. Let v be h(2). Let a(n) = -3*n + 17. Let z be a(7). Put -1, z, v in decreasing order.
-1, z, v
Let d be (-1)/(3/(12/4)). Suppose 4*f = 4*s, -3*s = -2*f - 3 - 2. Sort d, f, 3 in descending order.
f, 3, d
Let b = -20 + 16. Put 4, 2, -1, b in decreasing order.
4, 2, -1, b
Suppose 3*a + 4 = -2. Suppose 4*n + 9 = -7. Put n, a, 4 in decreasing order.
4, a, n
Let q be 24/10*30/4. Let n = q + -22. Put -2, 5, n in decreasing order.
5, -2, n
Let q = 3 + -2.6. Let r = q + -0.6. Let y = 0.04 + -1.04. Sort y, 0, r in decreasing order.
0, r, y
Let g be ((-26)/(-9) - 2) + 0 + -1. Sort -2, -3/8, g in increasing order.
-2, -3/8, g
Let w = 2/43 - 92/129. Let s = -17.5 - 2.5. Let t = 15 + s. Sort t, w, -4 in increasing order.
t, -4, w
Let n = 2.7 - 2.4. Sort 2/3, n, -4/9 in increasing order.
-4/9, n, 2/3
Suppose -2*v = -0*v. Suppose -5*m - 4*o + 33 = -v*m, -13 = -m - 4*o. Sort m, 1, -1.
-1, 1, m
Let u(x) = -x**2 + 4*x - 3. Let j be u(2). Let d = -21 + 19. Put d, 4, j in descending order.
4, j, d
Let h = 1 + 2. Suppose 3*d - p - 23 = h*p, -d + 1 = 2*p. Put d, 0, -2 in ascending order.
-2, 0, d
Let z = -13 - -8. Let u = 5 + -10. Let l be (5 + u)/(1 + 1). Sort -1, z, l in ascending order.
z, -1, l
Let i = 24 - 19. Let s = 7.5 - 6. Let r = s + -1. Sort r, 1, i in decreasing order.
i, 1, r
Let u = 33 - 23. Suppose 0 = b - 5*w - 22, -6*b - 5*w = -b + u. Let t = 1 + -6. Sort t, b, 5 in decreasing order.
5, b, t
Let l = -0.03 - 0.47. Let j = l - -1. Sort j, -5, -2/15 in increasing order.
-5, -2/15, j
Suppose g + 0 - 5 = 0. Sort -1/3, -3, g in descending order.
g, -1/3, -3
Let l be 2*((-4)/1)/(-2). Suppose l*h = 5*h. Let p be 3 + -10 + 3 + h. Sort 0, p, 1.
p, 0, 1
Let u = 0.4 + -0.7. Sort u, 4, 0.5.
u, 0.5, 4
Let d = 2.6 + -3.1. Sort -3/5, d, -1/3 in decreasing order.
-1/3, d, -3/5
Let d = -174 + 173. Sort d, 3, 4, 23.
d, 3, 4, 23
Suppose -5*a - 31 = -2*t + 4*t, 4*t + 27 = -3*a. Let l(q) = -3*q - 16. Let b be l(-6). Put t, 5, b in descending order.
5, b, t
Let i = -8 - -20. Let q = i - 9. Suppose 0 = 4*y + 4*p, q*y - 4*p - 11 = 10. Put 0.2, -3, y in ascending order.
-3, 0.2, y
Let o = 3.5 - -0.5. Let v = -0.06 - -6.06. Let z = o - v. Put -4, z, 5 in descending order.
5, z, -4
Let j be -2 - (-2 - (1 - -1)). Let l = 2.6 - 3. Put l, j, 0.5 in decreasing order.
j, 0.5, l
Let a be 0/1 + 10 + -9. Let i be 4/10 + (-123)/(-5). Suppose -n = -5*y + i, 7*y - 16 = 3*y. Put n, a, -3 in increasing order.
n, -3, a
Let x(r) = r**3 + 4*r**2 - 3*r + 6. Let m be x(-5). Sort -1/3, m, 2 in decreasing order.
2, -1/3, m
Suppose -i - 32 = 3*i. Let q be -2*(-1 - 20/i). Sort 4, 2, q in decreasing order.
4, 2, q
Suppose 6*v + 4*r = 2*v - 20, -4*v = -3*r - 8. Let m = -0.05 + 0.05. Let t = 0.5 - m. Put t, v, -5 in descending order.
t,