 -10
Let q = -8 - -12. Let w = -11 - -7. Suppose -5*u = 4*f - 2*f - 33, 0 = u - 2*f + 3. Put u, w, q in ascending order.
w, q, u
Let h = -7 - -12. Let t be (2/h)/((-16)/(-10)). Put -4, t, 0.4 in decreasing order.
0.4, t, -4
Let j = 67/15 - 19/5. Put 4, -9, j in descending order.
4, j, -9
Let f be (-15)/(-10) + 5/(-2). Sort 0, -14, f.
-14, f, 0
Let q be (6/4)/((-36)/(-32)). Let n be 1 + -1 + (1 - 18/22). Sort q, n, -4.
-4, n, q
Let d = -12 + 20. Suppose 2*n = -d + 4. Sort 1, -5, n in decreasing order.
1, n, -5
Suppose 4*x = 5*o - 0*x - 33, 3*o + 2*x - 11 = 0. Suppose 0 = l - o*l. Suppose n - 3*n + 10 = 0. Sort 4, l, n in decreasing order.
n, 4, l
Let r = 25 - 22. Sort 5, r, 10 in decreasing order.
10, 5, r
Let s be ((-2)/4)/((-74)/(-12)). Let h = s + -133/185. Sort h, 0.5, 3 in ascending order.
h, 0.5, 3
Let w(h) be the second derivative of h**5/20 - h**4/4 - h**3/2 - 5*h**2/2 + 5*h. Let s be w(4). Sort 1, -2, s.
-2, s, 1
Suppose 4*s + 12 = j + 3, 0 = -3*s + 12. Suppose -2*o + j = 3*o. Put o, 3, -2 in increasing order.
-2, 3, o
Let r = 128 - 122. Put r, -5, 4, -2 in ascending order.
-5, -2, 4, r
Let i be 89/89*-2*(-2 - -1). Let t be 3/(-2)*2/(-18). Sort i, t, 1.
t, 1, i
Let s = -4.06 + 0.06. Let k = 20.2 - 20. Put -0.02, k, s in decreasing order.
k, -0.02, s
Let q = 1198/9 + -133. Let p = 54/7 + -8. Sort q, p, 3.
p, q, 3
Let f(k) = k**2 + 11*k - 12. Let b(i) = 2*i**2 + 23*i - 25. Let o(l) = 6*b(l) - 13*f(l). Let u be o(-5). Put 0, u, 4 in ascending order.
0, 4, u
Let a = 1.5 + -2.5. Let l = 0.6 + a. Suppose z = -z + 2*d, z + 4*d + 10 = 0. Sort z, l, 1/6 in decreasing order.
1/6, l, z
Let r = -6 - -4. Let h = 0.3 - 1.3. Let i = r - h. Sort i, 4, 5 in decreasing order.
5, 4, i
Suppose d + q = -q - 2, 0 = -3*d + 5*q - 17. Suppose -4 = -4*i, 4*i = 2*f - 4 - 2. Sort 4, d, f in ascending order.
d, 4, f
Suppose -2*i - 4 + 0 = 0, m + 15 = 2*i. Sort m, -4, -2/15, -1/3.
m, -4, -1/3, -2/15
Let h = 5.1 - 5. Let d = 5.1 - h. Let p = 1 + 0. Sort p, -4, d.
-4, p, d
Let w be (0 + (-45)/2)*2. Let l be ((-2)/(-8))/(w/20). Sort 0.2, -2, l.
-2, l, 0.2
Suppose -3*t - 16 = -6*t + 4*w, 8 = -5*t - 2*w. Sort -2, t, 2 in ascending order.
-2, t, 2
Suppose 0 = -5*w + 2*b - 0*b - 3, 2*b = 8. Let d be 24/(-15) + 2/(-5). Sort d, -4, w.
-4, d, w
Let u be 3 - ((-33)/(-15) - -1). Suppose 0 = f + 4*f - 5. Put u, f, 1/9 in descending order.
f, 1/9, u
Let o = -5.21 + 0.21. Sort o, -2, -4 in descending order.
-2, -4, o
Let c be (-15)/2*(-1 + (-8)/(-24)). Put -3, -5, c, 4 in increasing order.
-5, -3, 4, c
Let r = 82 + -79. Put 2, 1, r, -2 in increasing order.
-2, 1, 2, r
Let p be 24/14 + (-4)/(-14). Let t(w) = w**2 + 2*w + 2. Let v be t(-3). Suppose -5*x + 0 = 5. Put p, v, x in decreasing order.
v, p, x
Suppose -3*n = -7*n + 20. Suppose 3 = n*k + 18. Put k, 1, -1 in decreasing order.
1, -1, k
Suppose 4*v = 3*a + 16, -3*v + 12 = -0*a + a. Suppose -4 = d - 6. Suppose d*m - 3 = 7. Put 4, m, a in ascending order.
a, 4, m
Let g be (15/9)/(4/24*-2). Sort 0, -2, 1, g in ascending order.
g, -2, 0, 1
Let l = 0.4 - 0.6. Let f = 0.2 + l. Let c = 0.5 + f. Sort c, -2, 2 in increasing order.
-2, c, 2
Let b = -78 + 698/9. Suppose 3*p = 3 - 9. Let j = -1 - p. Sort b, j, 5.
b, j, 5
Let u = 15 + -14.3. Let m = u + -0.4. Suppose 2*a + 4*p - 16 = 6*a, -3*a = -4*p + 13. Sort m, a, 3/5 in ascending order.
a, m, 3/5
Let k = 1 + -7. Let n = 1 + k. Sort n, 0.3, -0.4 in descending order.
0.3, -0.4, n
Let i = -24 - -22. Let o = -7 + 3. Sort i, o, -0.5 in descending order.
-0.5, i, o
Let b(z) = -z**2 - 7*z - 6. Let s be b(-5). Let i be 32/(-64)*(-2 - (-2 + 2)). Put s, -5, i in ascending order.
-5, i, s
Let h = -37 + 40.99. Let b = h - -0.01. Put b, 0, -1 in increasing order.
-1, 0, b
Suppose -4*o = -w + 5, o + 4*w = 6*o - 2. Let c be 3*4/16*-1. Let l = 0.2 + -0.1. Sort c, l, o in ascending order.
o, c, l
Suppose 3*d = -2*d - 25. Suppose 0*b = -5*o - 2*b + 16, -2*o + 10 = 2*b. Put -1, d, o in decreasing order.
o, -1, d
Let w = -48 + 48.3. Let i = 37/8 - 283/56. Put i, 1/10, w in descending order.
w, 1/10, i
Let l = 8 + -13. Suppose 0*y - 24 = 6*y. Put y, l, 2 in decreasing order.
2, y, l
Let l = -18 - -23. Let k = -34.6 - -38. Let a = k + -3. Sort 0.1, l, a in descending order.
l, a, 0.1
Let m(n) = -2*n. Let g be m(-5). Let h = g + -13. Sort 2, h, 0 in increasing order.
h, 0, 2
Suppose 0 = 3*f + 2*j - 3*j + 9, 0 = 3*f + 4*j - 6. Sort f, -0.3, -3/7.
f, -3/7, -0.3
Suppose 4 - 1 = s. Let r(t) = 2*t**3 - t**2 - t. Let j be r(-1). Sort j, 4, s in decreasing order.
4, s, j
Suppose -2*o + 3*p = 39, o - p = 4*p - 30. Let n = 11 + o. Let z(w) = w + 1. Let t be z(-4). Sort 3, n, t in increasing order.
n, t, 3
Let i = 4.5 - 5.5. Put -5, -3, 0.4, i in descending order.
0.4, i, -3, -5
Let x = -0.65 - -0.6. Put -1, x, -3, 1 in decreasing order.
1, x, -1, -3
Let t = -535/4981 + -3/293. Let f be (-7 - -5)*2/(-8). Sort t, 5, f in decreasing order.
5, f, t
Suppose 0 = 5*r - r - 68. Let o = r + -16. Put -3, o, 0 in decreasing order.
o, 0, -3
Let d = 1.77 + 0.03. Let l = d - 2. Let x be (-3)/2*10/5. Sort x, 2/3, l in ascending order.
x, l, 2/3
Suppose -7*l = -0*l. Put -1/5, 3, l in increasing order.
-1/5, l, 3
Let i be 4/(-14) - (-10)/(-14). Let y be 1 - (4 + (i - 2)). Put y, -4, -5 in decreasing order.
y, -4, -5
Let x = -2.1 + 4.1. Let y = 4 + -6. Put y, x, -3 in descending order.
x, y, -3
Let k be 18/4 - (-3)/(-6). Let f be 0 + -3 - (k + -5). Let b = 9 + -7. Sort f, 4, b in decreasing order.
4, b, f
Let g be -2 + -4 + 4/2. Put -1, g, -3 in descending order.
-1, -3, g
Let v = 73/35 + -9/5. Suppose -3*w + 2*j = 2*w, j = 0. Let l be 2 - w - 0/(-3). Put v, 0.1, l in descending order.
l, v, 0.1
Let f(b) = -b**2 - 9*b + 9. Let n be f(-10). Sort 0, n, 2 in increasing order.
n, 0, 2
Suppose 0*v = 2*v, 0 = -4*u - 4*v + 36. Suppose 6 - 2 = 2*y. Suppose 0 = -b + y*p - 3, 0*p - 2*p + u = b. Sort 0, -1, b.
-1, 0, b
Let x = 45 - 48. Let v(f) = -f + 4. Let h be v(4). Suppose 5*j - 3*j - 10 = h. Sort j, x, 0 in decreasing order.
j, 0, x
Let i = 11.3 + 0.7. Let r = 11.5 - i. Sort 5, 2/3, r in increasing order.
r, 2/3, 5
Let h = -0.06 + 0.36. Let o = 23.5 - -3.5. Let b = o + -27.2. Put h, 3, b in increasing order.
b, h, 3
Suppose -5*x + 2*q - 28 = 0, 5*x = x - 2*q - 8. Put 4, -1, x in descending order.
4, -1, x
Let l be 3/(-6)*(-3 + 3). Let z = l - 4. Sort z, 3, 6 in ascending order.
z, 3, 6
Suppose 0 = -3*q + 4*v - 13, 0*v + 3*v = -4*q - 9. Sort q, 3, -5, 0.
-5, q, 0, 3
Suppose -5*q = 3*t + 15, -5 = 3*q + 4. Put 2, t, -4 in decreasing order.
2, t, -4
Let x = -200 - -2602/13. Let n = 0.6 - 1. Put n, 0.1, x in descending order.
x, 0.1, n
Let s(r) = -r - 14. Let x = -18 + 8. Let b be s(x). Put 0, b, -3 in ascending order.
b, -3, 0
Let b be -5 + (1 - 4) + 4. Sort b, 3, 2 in descending order.
3, 2, b
Let u = -1.3 - -1. Let n = u - -1.3. Suppose -6*z - 15 = -z. Sort z, -2/5, n in increasing order.
z, -2/5, n
Let n be (1/2)/(16/64). Suppose -2*d - n*d = -8. Sort -2, -5, d in ascending order.
-5, -2, d
Let a be (5/(-4))/(1/(-64)). Let y be -1 + -1 + (-723)/(-9). Let s = y - a. Sort 1, -0.1, s in decreasing order.
1, -0.1, s
Let x be (10/6)/(1/(-21)). Let k be ((-185)/(-2))/((-7)/(-14)). Let l be k/x - (-4)/14. Sort -4, -4/9, l in decreasing order.
-4/9, -4, l
Let v(r) = r**2 - r. Let k be v(-1). Suppose 11 = -3*a - 4. Put -4, k, a in descending order.
k, -4, a
Suppose 4*z = -3*c + 11, -4*z = 2*c - 14 + 4. Sort 2, c, -16 in descending order.
2, c, -16
Let o = 9/4 + -5/2. Let z = 5.08 + -0.08. Sort o, z, -2 in decreasing order.
z, o, -2
Let u = 0 + 0. Let t = 14 + -14. Let d be t/((-1)/1) - 3. Sort 2, d, u in descending order.
2, u, d
Let z(k) = k. Let j be z(5). Suppose -q + 1 = 0, j*x + 4 + 2 = -4*q. Sort x, 1, -4 in increasing order.
-4, x, 1
Let d = -689/14 + 99/2. Let w = -16 - -18. Sort d, w, 1.
d, 1, w
Let f be (2 + 8 - 0) + -6. Sort -0.18, 2, f.
-0.18, 2, f
Suppose 6*x - 2*x + 5*c = 10, -6 = -3*x - 3*c. Let t be (x + 3)*(-6)/54. Sort 1, -3, t in descending order.
1, t, -3
Let j = -0.5 - -0.8. Let d = -3 + 3.1. Let b = -2.9 - d. Put b, j, -1/4 in increasing order.
b, -1/4, j
Suppose -k + 2*i - 3 = 0, 2*i - 6*i = 4*k. Sort k, -5, 3, 7 in increasing order.
-5, k, 3, 7
Let j = -1/28 + 2/7. Suppose -12 = 4*w - 7*w. Put -3, j, w in descending order