. Suppose 0 = -u - 0*u + 8. Let c be u*(a - (-6)/4). Put -5, c, 5 in increasing order.
-5, c, 5
Suppose 5*f = -15, 2*l - 2*f - 2*f - 8 = 0. Suppose -4*b - 6 = 2*k, -3*b = k - 2 + 5. Put 4, b, l in decreasing order.
4, b, l
Let y be (-1)/(1 - 0) + 5. Suppose q - y*q + 12 = 0. Let h = 8 + -9. Put h, q, 1 in decreasing order.
q, 1, h
Suppose 4*w = r - 0*w + 8, -4*r + 3*w = -7. Suppose -r*t - 5 = t. Let q be (-21)/9 - -2*1. Put -0.5, t, q in increasing order.
t, -0.5, q
Suppose -x + 2*k = -8, 0*k = 4*x + k - 23. Suppose -a + 7 = 4. Suppose -3*u = -x*u - a. Sort 4, -3, u in decreasing order.
4, u, -3
Let a = 497/600 - -1/200. Sort -3, -1, a, 0.4 in ascending order.
-3, -1, 0.4, a
Let w = 0.09 - 0.09. Let b be -4*(-4)/(80/3). Sort b, 4/3, w in descending order.
4/3, b, w
Let k(f) = 28 - 2*f + f - 13. Let a be k(11). Let j = 3 - 0. Put a, -2, j in descending order.
a, j, -2
Suppose -l = -3*p - 3 - 5, -20 = -5*l + 5*p. Suppose r + 6 = -q, 2*q = 5*r - 3*q. Put l, 0, r in ascending order.
r, 0, l
Let h be 3 - -6*(-6)/9. Put -2, 6, h in ascending order.
-2, h, 6
Let f = -13/5 - -57/20. Sort -4/7, f, -2 in descending order.
f, -4/7, -2
Let z be (-1)/2*24/(-4). Suppose z*v = -2*t + 13, -4*t - 2 = -v - 7*t. Suppose -y = -v*y. Put y, 5, -5 in descending order.
5, y, -5
Let m be 15/(-6)*(-4)/(-2). Let p be 8/(-20)*(-3)/(-2). Sort m, -1/3, p in decreasing order.
-1/3, p, m
Let m = 6 + -10. Let w(h) = h**2 - 12*h - 7. Let l be w(12). Sort m, 3, l in descending order.
3, m, l
Let k be (-16)/(-10)*5/2. Suppose -k*t + 56 = -64. Suppose -2*d - a + t = 3*a, 5*d - 50 = -5*a. Sort d, 0.4, 0.3 in decreasing order.
d, 0.4, 0.3
Let i(t) = t**2 - 8*t + 1. Let o be i(8). Sort o, 0, 3 in ascending order.
0, o, 3
Let r(q) = q + 6. Let a be r(-6). Let s(z) = z**2 - 12*z - 6. Let u be s(14). Let b = -24 + u. Put b, a, 2 in increasing order.
b, a, 2
Let i be (-1)/2*(0 - -6). Sort 5, -1, i in decreasing order.
5, -1, i
Let y(a) = -3*a + 11. Let g be y(5). Sort 2, g, -1 in increasing order.
g, -1, 2
Suppose 0 = -3*a - 24 + 15. Let b be (0 - 0)*1/2. Put b, a, 3 in decreasing order.
3, b, a
Let k = -1.89 + -0.11. Let i = 1.98 + k. Sort i, 4, 1 in decreasing order.
4, 1, i
Let d(c) = 2*c**2 - 10*c + 10. Let x be d(4). Put x, 5, -2 in descending order.
5, x, -2
Suppose 2*r = -3*r + 4*a - 4, -a + 1 = -4*r. Suppose -3*c - 3*i + 19 = -7*c, 0 = -3*c + i - 8. Put c, 5, r in ascending order.
c, r, 5
Let l = -7.6 + 7.8. Put 1/15, l, 1/3 in increasing order.
1/15, l, 1/3
Let z = -16/39 - -10/39. Put -6, 3/5, z in descending order.
3/5, z, -6
Suppose -4*n = -s - 33, -3*s - 24 = -n - 2. Let w be (-1)/(-4) - (n + -7). Put w, 1/2, -1 in descending order.
1/2, w, -1
Let i = 20 + -19.5. Put -0.3, i, -1 in increasing order.
-1, -0.3, i
Let w = -10 - -22. Suppose -4*y + 4*k - w = -2*y, k - 3 = 0. Sort y, 5, 2 in descending order.
5, 2, y
Let u = 2.98 + 0.02. Let r be ((-2)/12)/((-4)/1098). Let h = r + -46. Put h, u, 2/3 in increasing order.
h, 2/3, u
Let k = 60 + -782/13. Let i = 9 + -7. Let d = -5.4 - -5. Put d, i, k in decreasing order.
i, k, d
Let w = -63.3 - -63. Sort w, -0.4, -6.
-6, -0.4, w
Suppose 4*q + 10 = -q. Let w(l) = l**2 + 2*l + 3. Let h be w(q). Put h, -3, -3/4 in increasing order.
-3, -3/4, h
Suppose 3*q - 11 = -x, 0*x + 2*x + 3*q - 16 = 0. Sort -9, -5, -3, x in decreasing order.
x, -3, -5, -9
Let t = -4.3 + 4. Let j = 1.7 - t. Let q be 2*(-15)/(-14) - 2. Sort q, j, 3 in descending order.
3, j, q
Suppose 0 = -2*l - 0*l. Let p be (l - (0 - 1))/1. Put -1, 0, p in increasing order.
-1, 0, p
Let d be 4/6*(-8 - -2). Let f = 0.09 - 3.09. Let j = f - -2.5. Put -3, d, j in increasing order.
d, -3, j
Let d be (-32)/(-12)*3/2. Suppose 0 = f - 2*f + 2. Let n be ((-1)/f)/(2/(-4)). Put -5, d, n in ascending order.
-5, n, d
Suppose 5*f - 5*d = 4 + 11, 0 = -5*f - 5*d - 5. Sort -3, -4, f in descending order.
f, -3, -4
Let y(f) = 8*f + 4. Let v be y(-1). Sort -2, v, 5, 1.
v, -2, 1, 5
Let w = 17 - 9. Let c be (0/(6/(-3 - 0)))/(-3). Suppose c = -j - j - w. Sort 1, j, -2.
j, -2, 1
Suppose -13*h - 14 = 25. Sort 5, h, -3/8.
h, -3/8, 5
Let x(i) = 6*i**3 - 19*i**2 + 14*i - 12. Let p(r) = r**3 - r**2 + 1. Let c(j) = 5*p(j) - x(j). Let o be c(13). Sort o, 3, -2 in descending order.
o, 3, -2
Suppose t + 7 = 6. Let k be (t/(-4))/(4/48). Put 5, -3, k in descending order.
5, k, -3
Suppose -3*y + 2*y = -2. Suppose -2*a = -0*a - y. Put a, -3/7, -2/5 in increasing order.
-3/7, -2/5, a
Suppose -y = -2*y + 3. Let d = y + 4. Suppose 2*t + d = 4*c - 3, 2*c = 5*t - 7. Sort c, -2, -1 in descending order.
c, -1, -2
Suppose 27 = 5*b - 4*c, -3*c - 3 = 3*b + c. Let u(a) = -a**3 - 4*a**2 - 3 + 3 + b + 5*a - 6. Let d be u(-5). Put 0, 3, d in decreasing order.
3, 0, d
Let z(x) = 0*x**2 + x**2 - 2*x**2. Let h be z(1). Sort 0, -5, h.
-5, h, 0
Let u be (-7274)/4 - 2/4. Let p be u/21 - 6/9. Let b = p - -87. Sort b, 2, 0.4 in decreasing order.
2, 0.4, b
Let d = -2 - -1.5. Let n(b) = b - 16. Let g be n(11). Let r be (g/15)/(1/15). Sort r, d, 3 in descending order.
3, d, r
Let r(c) = -c**3 + 7*c**2 + 9*c - 4. Let h(d) = -d**2 - 8*d + 1. Let u be h(-7). Let g be r(u). Sort g, -5, 1 in increasing order.
-5, 1, g
Let z be ((-1)/4)/(18/16). Let c = 0.2 + 0. Sort z, c, 2 in decreasing order.
2, c, z
Let o be 2/(-4) + 15/6. Let q(v) = -2*v + v + 0*v + 2. Let n be q(5). Put 5, n, o in descending order.
5, o, n
Suppose -27 = -2*z + 5*z. Let y = z + 14. Let p = 6.6 - 7. Put 0, y, p in descending order.
y, 0, p
Let d = -1 - -1. Let q = -0.2 - -0.6. Sort 0.3, q, d in decreasing order.
q, 0.3, d
Let j = -11 + 3. Let k = -34 - -30. Sort 2, k, j in ascending order.
j, k, 2
Let o = -0.2 + 0.1. Let d = -82 - -83. Sort o, d, -2.
-2, o, d
Suppose 2*m + 4*j = 6, 2*m - 8 + 1 = -5*j. Let x(d) = d**3 + 6*d**2 - d - 8. Let s be x(-6). Sort s, m, -5.
-5, s, m
Let q = 31 - 47. Let b be (10/(-3))/(258/q). Let x = -2/129 - b. Sort x, -1/3, 2 in descending order.
2, x, -1/3
Let t be 2 + -14*(-1)/(-2). Let g = -2 - -1. Put g, t, 4 in increasing order.
t, g, 4
Suppose -3*q = -7*q. Suppose -3*x + 2 + 4 = q. Let g(l) = l**2 - 8*l - 6. Let f be g(8). Put -3, f, x in increasing order.
f, -3, x
Let m = -2 + 4. Suppose -3*c + k = -17, 2*c - 6*c = m*k - 6. Let q be 16 + -18 - (-2 + -1). Sort c, q, -4 in descending order.
c, q, -4
Suppose -2*o = -3*o + 12. Let s(q) = q**2 - 12*q - 4. Let f be s(o). Put 4, 6, f in decreasing order.
6, 4, f
Let j = 18 - 12. Let d be (-1)/(((-21)/j)/7). Put 2/5, d, 0.2 in descending order.
d, 2/5, 0.2
Suppose 3*v + 6 = -9. Sort v, -7, 5 in decreasing order.
5, v, -7
Let u = 41 - 38. Suppose -3*n + 4 = n. Sort n, u, -6 in descending order.
u, n, -6
Let n(j) be the first derivative of 4*j**2 - 1/3*j**3 - j - 1. Let x be n(8). Sort 1, x, -3 in ascending order.
-3, x, 1
Let t = 1/102 + -11/255. Let k = -17/60 - t. Sort k, -2/3, 3 in increasing order.
-2/3, k, 3
Let a = 0.02 + -0.82. Let d = -0.2 + a. Put 3, d, -2 in decreasing order.
3, d, -2
Suppose -l = -4*f - 22, 0 = l + 4*f + 8 + 10. Suppose 5*u + 0*b - 117 = -b, u = l*b + 19. Suppose 3*a = -0*g - 3*g + 3, 0 = -a + 5*g - u. Sort a, 2, -2.
a, -2, 2
Let s be (-3)/84 - (-1)/(-4). Put -9, 0.5, s in descending order.
0.5, s, -9
Let d be ((-8)/12 + 1)*6/2. Sort d, -5, 6 in increasing order.
-5, d, 6
Let q be 3/(4/((-24)/(-9))). Let o = -1 + q. Let f be o*(26/(-14) - -2). Sort 1, f, 0 in decreasing order.
1, f, 0
Let m(z) = 5*z + 26. Let c be m(-6). Let f(t) = t**2 + 6*t + 6. Let g be f(-5). Let w(j) = -2*j - 7. Let n be w(-5). Sort g, c, n.
c, g, n
Suppose -16 = 5*f - 1. Sort 0, 1, f in increasing order.
f, 0, 1
Let y = 3 + -4. Let z = -8 - -9. Sort z, 0.5, y.
y, 0.5, z
Let f = 2 + -4. Let z(v) = v + 8. Let t be z(-5). Let j be -2 + (t/1)/(-1). Put f, j, 0 in descending order.
0, f, j
Suppose x - 3 = 0, -x = -4*w + x + 14. Suppose 0 = -3*h - 0*h - 9. Let v = 6 + -3. Put v, w, h in decreasing order.
w, v, h
Let t = -4.9 - -4.7. Let k = -1.1 - -1. Put k, -3, t in increasing order.
-3, t, k
Let j = -150 + 150. Let y(a) = -a**2 - a + 5. Let h be y(0). Sort 3, j, h in decreasing order.
h, 3, j
Suppose 3*w = -18 + 6, 12 = -2*u - 4*w. Sort -1, -3, u in descending order.
u, -1, -3
Let r(c) = -c**3 + c - 1. Let z be r(0). Let t = -29 + 41. Let m = -7 + t. Sort m, z, -5 in increasing order.
-5, z, m
Let