.
w, 2, u
Suppose 2*q = 2*s - 15 - 1, 0 = -5*s - 5*q + 10. Suppose 0*i - 10 = -4*b + s*i, 5*b + 3*i = -6. Sort b, 5, -1.
-1, b, 5
Let g = -3.8 - -3.3. Put g, 1, -3 in increasing order.
-3, g, 1
Let c = -21.1 + 14.1. Sort c, -0.3, -1/2 in decreasing order.
-0.3, -1/2, c
Let r(u) = -u + 2. Let s(i) = -i**3 + 5*i**2 - 4*i - 2. Let f be s(4). Let o be r(f). Let b(d) = -d + 9. Let t be b(4). Sort 0.1, o, t in decreasing order.
t, o, 0.1
Suppose -5*j + 2*j + 3 = 0. Let h be (-1)/((0 - j)*-1). Let f(c) = c - 2. Let i be f(2). Sort h, i, 4 in decreasing order.
4, i, h
Let v be (-6)/9*(3 - 0). Let r(x) be the first derivative of -x**2/2 + 7*x - 2. Let c be r(8). Put c, -5, v in descending order.
c, v, -5
Suppose 3*a = -0*a + 15. Suppose -5*t - 29 = -9. Put t, 3, a in decreasing order.
a, 3, t
Suppose -4*p + p - 9 = 0. Let h(r) = -r - 4. Let i be h(p). Put -4, -5, i in descending order.
i, -4, -5
Let b = 6 - 5. Sort 0.4, b, 2/3 in increasing order.
0.4, 2/3, b
Let d be ((-12)/10)/(6/(-20)). Suppose 3*s = -0*v + 5*v + 26, -d*v = 5*s + 6. Let a be 4/14 + (-12)/(-7). Sort v, -3, a in increasing order.
v, -3, a
Let d = -0.57 + 0.4. Put 1, 0, d in ascending order.
d, 0, 1
Suppose -r + 4*r = 0. Sort -0.3, r, 3/4.
-0.3, r, 3/4
Let p = 32 + -27.9. Let x = 4 - p. Put 0, 2/5, x in increasing order.
x, 0, 2/5
Let m = -4 - -6.9. Let x = -0.1 - m. Sort 2, x, 4 in descending order.
4, 2, x
Suppose 4*k - 7 = -2*m + k, 2*k = m. Sort m, -17, -1 in decreasing order.
m, -1, -17
Let t = 5 + -10. Let j(p) = p**3 + 4*p**2 - 4*p + 2. Let s be j(-5). Let z(c) = -c**3 - 3*c**2 + c + 4. Let r be z(s). Put r, t, 0 in descending order.
r, 0, t
Let w be 4/10 - (-16)/(-40). Suppose w = -2*i - 4*j + 16, i - 5 = -2*j + j. Suppose -i*g - 3*z = 5, 2*g + 5 - 40 = 5*z. Sort g, -5, -2 in ascending order.
-5, -2, g
Let o be 36/(-84)*(-68)/6. Let v = o + -33/7. Put v, -5/3, 1 in descending order.
1, v, -5/3
Let s(c) = -2*c**3 + c**2 + 3*c + 3. Let j be s(-2). Suppose 4*o - z + 5 - j = 0, -5*z = 3*o - 32. Sort -4, -5, o in ascending order.
-5, -4, o
Suppose -3*b = -3*g - 15, -2*g - 3*b = 2*b + 10. Let l(j) = -j**2 - 6*j - 7. Let u be l(g). Let x = -6 + 1. Put 0, x, u in decreasing order.
0, u, x
Let w = -2.5 + -0.5. Sort -3/2, w, -0.1, 3.
w, -3/2, -0.1, 3
Suppose 3*h - 4 = -1. Put 4, -1, h in descending order.
4, h, -1
Let x = 20 + -7. Let u = -17 + x. Sort u, 0.4, -3 in ascending order.
u, -3, 0.4
Suppose 0 = -s - 4, 2*u + u + 2 = -2*s. Suppose u*t + 6 = 4*t. Let i be (t/54)/((-1)/(-4)). Put 0.2, i, 3 in descending order.
3, i, 0.2
Let u(w) = -w**2 + 5*w + 2. Let b be u(6). Let x be ((-9)/(-3))/(3/2). Sort x, b, -1.
b, -1, x
Let u(l) = l**2 + 7*l + 4. Let w be u(-7). Suppose -s = -0*s + w. Suppose 0 = -y - 2*a - 2, -y = 4*a + 6. Put -3, s, y in increasing order.
s, -3, y
Let c(t) = -3*t + 1. Let j be (-20)/12 + 2/3. Let f be c(j). Sort f, 5, -5 in decreasing order.
5, f, -5
Let t be -1*(3 + (-7)/(-1)). Suppose -35 = -2*l - 3*l. Let m = t + l. Put 5, m, -4 in increasing order.
-4, m, 5
Suppose -g + 0*g = -4. Suppose 4*c = -2*y + 4, -y - 4*y - g*c = 2. Suppose -2*m = -2*d + 12, -3*m + 11 = -5*d + 33. Sort 4, y, m in increasing order.
m, y, 4
Let x = 0.7 + -0.2. Let o = 0 - x. Let q = -2.02 - -0.02. Put o, 1/6, q in descending order.
1/6, o, q
Let q(w) = w**3 - 3*w**2 + 3*w - 2. Let m be q(2). Suppose m = 3*x + x + 3*i + 13, -4*x = -2*i + 18. Let g = -8 - x. Put 3, -1/3, g in descending order.
3, -1/3, g
Suppose 0 = o - 2*o + 4*b, -b - 30 = -4*o. Suppose -o + 2 = -2*a. Put a, -4, 0 in ascending order.
-4, 0, a
Let i = -35 - -34. Sort i, -5, 1 in descending order.
1, i, -5
Let n = -9 - -8. Suppose -5*s = 20, -2*x + 5*s = s - 8. Sort n, x, 3 in descending order.
3, n, x
Let k be (1/1 + 2)*-1. Suppose -28*f + 26*f - 8 = 0. Let w be 2*f/(4 - 6). Sort w, k, -5 in ascending order.
-5, k, w
Let h = -0.3 - -0.1. Sort h, 0.3, -0.4 in descending order.
0.3, h, -0.4
Let v = 32 + -27. Put -0.5, 12, v in descending order.
12, v, -0.5
Let k = 1.8 - -1.2. Sort 0.4, 1/5, k.
1/5, 0.4, k
Let o = -70 - -68.7. Sort 0, -2, -1, o.
-2, o, -1, 0
Suppose -5*s - 30 = 10. Let j(p) = p + 3. Let y be j(s). Let x be (0/(-1) + -4)*1. Put y, 5, x in increasing order.
y, x, 5
Suppose 5*a - 15 = 0, -2*p + a + 4 = -1. Sort p, 13, 0 in decreasing order.
13, p, 0
Let z be 0/2 + (2 - 3). Let x = z - -5. Suppose 4*c = -12, -c = 3*s - 4*c - 6. Sort -5, s, x.
-5, s, x
Suppose 14*c + 10 = 4*c. Sort -5, 5, c, 16 in descending order.
16, 5, c, -5
Suppose 5*w - 20 = -2*g + 26, -2*g + 58 = -w. Suppose 3*t = -l + 15, -4*l - 4*t = 8 - g. Sort -3, l, -4 in decreasing order.
l, -3, -4
Let n(t) = -t**2. Let z be n(1). Let w = z - 3. Let y be 12/2 - (3 - 2). Put 2, y, w in decreasing order.
y, 2, w
Let f be (-6)/5*60/(-24). Put -25, f, -2, 0 in ascending order.
-25, -2, 0, f
Let j be (-3 + 7)/(-1 - -2). Let q = 3 + -1. Suppose q*n = n + 3. Put j, 0, n in descending order.
j, n, 0
Let b be 0/7*2/4. Sort 2, b, -5, -8.
-8, -5, b, 2
Let s = 18 - 14. Sort -3/5, -1/2, -5, s in ascending order.
-5, -3/5, -1/2, s
Let l(w) = 9*w + 2. Let u be (-8)/12 + (-42)/(-9). Let m be l(u). Suppose 7 = 5*v + 3*r - m, 0 = 3*r - 15. Sort v, 4, -4 in descending order.
v, 4, -4
Let f be 2/(-28)*(-5 + 3). Sort -0.5, f, 0.7 in decreasing order.
0.7, f, -0.5
Suppose 3*j + 6 = q + 2*j, -3*q - j = -2. Suppose 1 = -5*y + q*k, 0 = 4*y - 0*k - 2*k + 2. Suppose g = -2 + y. Sort g, 2, -2 in ascending order.
-2, g, 2
Let i = 14.1 + -11. Let m = i - 0.1. Let t = m + -2.5. Put 0, -3, t in descending order.
t, 0, -3
Let h = 64 - 68. Sort 2, h, 1 in ascending order.
h, 1, 2
Suppose -5*f = -3*f + 8. Let g = -7 - -13. Let t = -9 + g. Sort f, 2, t in ascending order.
f, t, 2
Let s = 6.8 - 7. Let d = s - -1.2. Let r = d - 0.9. Put -4, 3, r in increasing order.
-4, r, 3
Suppose 3*r + 2 + 1 = 0. Sort -4, -3, r.
-4, -3, r
Let s = -0.01 + -9.99. Let j = -543/14 + 275/7. Sort s, j, 0.3 in descending order.
j, 0.3, s
Suppose u + 5 = -b, -8*u + 25 = -4*u - 5*b. Let s(o) = -o**3 + 5*o**2 - 5*o - 2. Let w be s(4). Let v = 3 + w. Sort 1, u, v in ascending order.
v, u, 1
Let q = -0.2 - 0.8. Suppose -3*m - 59 = 5*b, 0 = b - 4*m + 31 - 10. Let n = -25/2 - b. Put q, -0.5, n in ascending order.
q, -0.5, n
Let n(h) = -h**2 + 5*h + 1. Let v(g) = 2*g**2 - 6*g - 1. Let y(q) = -6*n(q) - 5*v(q). Let m be y(-1). Put m, -1, -3 in decreasing order.
-1, -3, m
Let i be (3/(-12))/(9/8). Let w = -279 - -284. Sort i, -3, w in decreasing order.
w, i, -3
Let h(n) = -n**3. Let j be h(-1). Suppose q = 3*z - 8, -4*q - 16 = 3*z + j. Let w(a) = -5*a + 1. Let m be w(z). Sort -3, m, -5 in decreasing order.
-3, m, -5
Let q(p) = -p**3 - 6*p**2 - p - 1. Let u be q(-6). Suppose 0 = -w + u - 7. Put w, -13, 4 in decreasing order.
4, w, -13
Let z(t) = t**3 - 7*t**2 + 5*t + 4. Let c be z(6). Let k = -757 - -759. Sort c, 7, k.
c, k, 7
Let u(w) = w**2 + 4*w + 2. Let i(d) = -4*d + 1. Let p be i(1). Let h be u(p). Let q = -1420/9 + 158. Sort h, 1, q in decreasing order.
1, q, h
Let w be (-4)/(-10)*(-41 - -21). Put w, 1, -2 in increasing order.
w, -2, 1
Let v be 22/6 - (-20)/(-30). Suppose -5*t - 2 - v = 4*l, t + 2*l + 1 = 0. Sort -2, 1, t in increasing order.
-2, t, 1
Suppose -2*q + 5 = 3*q. Put 0, q, 5 in ascending order.
0, q, 5
Let h be 0*(2 + 18/(-10)). Suppose 5*j - 4 = -24. Sort 4, h, j.
j, h, 4
Let z(c) = c**3 + c**2 - c. Let t be z(0). Let d = 1 + 4. Suppose -8*k + 3*k = 5*g - 15, 3*k - d*g = -31. Sort k, -1, t in ascending order.
k, -1, t
Suppose -3 = -3*v + 3. Let a be ((-15)/(-6) - v)*-8. Let u = -6 - a. Sort u, -3, 2 in decreasing order.
2, u, -3
Let t(a) = -4*a - 5. Let l be t(-2). Suppose l*m = -m. Let i(d) = -d**3 - 4*d**2 + 4. Let s be i(-4). Sort s, m, -4.
-4, m, s
Suppose -3*w + 3*y = -0*w - 9, 3*w = -2*y - 11. Let n be (-1 + -1 - -1)*-1. Sort n, w, 4 in increasing order.
w, n, 4
Let w = 10 + -9.5. Let s = -0.08 + 0.02. Put s, -0.1, w in decreasing order.
w, s, -0.1
Let d = 1.2 - 0.7. Sort -3/7, d, 2/9 in descending order.
d, 2/9, -3/7
Suppose -4*d + 8 = 4*n - d, -3*d = -4*n - 16. Suppose 2*w = -2*k - 20, -5*w + k = -0*k + 20. Let m = 0 - 0. Sort m, w, n in decreasing order.
m, n, w
Let s = -0.09 - 4.91. Let w = -15 - -15.5. Sort -1/4, s, w in descending order.
w, -1/4, s
Suppose -2*z + 0 = -2*p - 6, 2*z - 18 = 5*p