r.
-2/11, t, l
Suppose 5*j = -5*c - 20, -5*j + 15 = -4*c + 2*c. Suppose -154*u - 21 = -161*u. Put c, u, -1 in decreasing order.
u, -1, c
Let a(x) = x**2 - 3*x - 1. Let s be a(3). Let z be s*(-1)/(-2 - -3). Let p = -6 + 5. Put z, -4, p in increasing order.
-4, p, z
Let q be (-4 - 5/(-15)) + 1/(-3). Suppose 4 = -3*m + 10. Sort m, -1, q in ascending order.
q, -1, m
Let g be (65/(-10))/((-2)/(-4)). Let h = g + 8. Put h, 0.2, 0 in decreasing order.
0.2, 0, h
Let t = 135 + -131. Sort 1, 5, t in decreasing order.
5, t, 1
Let w(o) = o**3 + o**2. Let z be w(-2). Sort -3, 1, -2, z in descending order.
1, -2, -3, z
Let o = -8 + 11. Let z = -8 + o. Sort z, 3/4, 0.
z, 0, 3/4
Let p be 1*(37/12 + -3). Let v(u) = -u**2 - 8*u - 8. Let t be v(-6). Sort -1/4, p, t in increasing order.
-1/4, p, t
Let j(p) = -p**3 - 4*p**2 - 2*p - 3. Let c be j(-4). Let m be 3/6 - 6/(-4). Sort m, c, 3 in decreasing order.
c, 3, m
Let p(x) = -x + 7. Let h be (-15)/(-2)*(-2)/(-3). Let v be p(h). Let f be (1 - 7/v)*-2. Sort -1, 2, f in decreasing order.
f, 2, -1
Let x be ((-15)/5)/(-6)*0. Sort -5, x, 2.
-5, x, 2
Suppose 5 = -k, 0*t - 4*k + 12 = 2*t. Let v = 13 - t. Put v, -3/2, 2 in descending order.
2, -3/2, v
Suppose -4*r - 6 = -r. Let j = 4 + r. Let l be j/5 + 2/70. Sort 4, 2, l in descending order.
4, 2, l
Let w = -0.23 - 0.07. Let m = w - 0.7. Let g = -11 + 15. Put g, m, -1/12 in ascending order.
m, -1/12, g
Let q be (-4)/32*4*-2. Put -1, -4, q in decreasing order.
q, -1, -4
Let w be (-2 - 10)*1/2. Let y be 8/w*(-4)/(-24). Suppose 6*x = -27 + 21. Put y, -0.4, x in descending order.
y, -0.4, x
Suppose -3*m - 13 + 4 = 0. Let j = 2 + m. Sort j, -3, -5 in increasing order.
-5, -3, j
Let w be (-1664)/(-800) - (1 - (1 - 2)). Let y be 1/(-3)*3/(-4). Put -3, y, w in ascending order.
-3, w, y
Suppose 0 = q + 4*q - 15. Let f be -3 + 0 + -5 + 3. Let t(w) = w**3 + 5*w**2 + 2*w + 7. Let i be t(f). Put 0, i, q in descending order.
q, 0, i
Let r(v) = -2*v**3 - 3*v**2 + 2*v + 3. Let n be r(-4). Let u be (-3 - 452)*(-1)/6. Let p = n - u. Put -0.3, 0, p in descending order.
0, -0.3, p
Suppose -5*x + 8 = -s, -s = 2*s - 5*x + 14. Let c = -44 + 49. Put s, 4, c in descending order.
c, 4, s
Suppose 0 - 1 = c. Let v(k) = 5*k + 1. Let a be v(c). Put 0, -2, a in decreasing order.
0, -2, a
Let o = 16 + -36. Let n = 22 + o. Put 3, -4, n in ascending order.
-4, n, 3
Suppose -2*a - 5*k + 8 = 0, -5*a - 14 = -2*k + 6*k. Let o = 7 + a. Let s be (3 - o) + 3 + -3. Sort -3, -4, s in decreasing order.
s, -3, -4
Let o = -17 + 17.07. Put -3, -1, o, -1/5 in decreasing order.
o, -1/5, -1, -3
Let t = 13 + -18. Let j = t + 0. Let d = -10 + 15. Sort j, 1, d in descending order.
d, 1, j
Let m = 9 - 7. Let s(t) = t - 2. Let z be s(5). Let l = 2 - z. Sort l, 0.3, m.
l, 0.3, m
Let h = 3.9 - -0.1. Let x = h + -4.4. Sort 0.2, -1/3, x.
x, -1/3, 0.2
Suppose 2*l = -2*k - 1 - 9, k = 2*l + 4. Put l, 2/5, 4, -1/3 in decreasing order.
4, 2/5, -1/3, l
Suppose -3*h - 5 = -2*h. Put h, 13, 1, 4 in ascending order.
h, 1, 4, 13
Let v be (-4)/3*(-3)/(-2). Let u = 4 + -14. Sort u, v, -1 in ascending order.
u, v, -1
Let c be 8/(-20) + (-26)/10. Let i = 7 + -18. Let f(j) = j + 16. Let h be f(i). Sort h, c, -5 in descending order.
h, c, -5
Suppose -3*j - 9 = -3*n, 2*j = 4*n - 3*n - 2. Suppose 2*o - 2 = 4*r, 5 = -2*r - o - 2*o. Sort -5, r, n in descending order.
n, r, -5
Let c = 10 - 10. Let s(d) = -d**3 - 4*d**2 + 6*d + 7. Let z be s(-5). Suppose n + z*n - 15 = c. Put -5, n, 2 in descending order.
n, 2, -5
Let i be 1/(-4) - (-297)/(-540). Let h = 0.38 + 0.02. Let b = -0.3 + h. Sort i, -5, b.
-5, i, b
Let n be 6 + -1 + -2 + -1. Put -2, n, -4, 5 in descending order.
5, n, -2, -4
Let r(d) = -d**3 - 7*d**2 + 8*d - 5. Let h be r(-8). Let f be ((-1)/h)/(6/(-15)). Suppose 39 = 13*g - 0*g. Put -5, g, f in descending order.
g, f, -5
Let b = 5.9 - 0.76. Let p = b + -0.14. Sort 0.1, -4, p in increasing order.
-4, 0.1, p
Let n = -46 + 22. Let g = n + 17. Let r(v) = -v - 9. Let y be r(g). Sort -3, y, 2 in ascending order.
-3, y, 2
Let k be -3*(-2)/3*-1. Let c be (9 - -3)/4 + -3. Suppose -5*i = 5*b + 10, 3*b + b + 5*i + 11 = c. Sort 3, b, k in decreasing order.
3, b, k
Let b be 1 + -1 - 2/(-19). Sort 2, b, 3/4 in decreasing order.
2, 3/4, b
Let l = -3.2 + -0.8. Let y be (-4)/15 + (-22)/55. Let q = 0.5 - 0.1. Put y, l, q in decreasing order.
q, y, l
Let k(q) = -2*q**3 + 2*q**2 - q. Let b be k(1). Sort 1, 5, b in increasing order.
b, 1, 5
Let y be (-1)/(-4) + (-10)/40. Sort -37, -4, -1, y.
-37, -4, -1, y
Let j = 51 - 47. Sort 1, j, 0.4 in ascending order.
0.4, 1, j
Let r be 36/(-4) - (3 - 7). Sort r, 2, 0.4, -1 in increasing order.
r, -1, 0.4, 2
Let i be 2/(1 - (0 - -3)). Let v = -5 + 2. Sort i, 2, v in descending order.
2, i, v
Let w be (57/(-133))/((-3)/(-1)). Sort 4, -4, w in decreasing order.
4, w, -4
Suppose 0 = -3*x + 15 + 12. Let i be x/(-2) + (-1)/2. Suppose -4*f = -8 - 12. Put i, 4, f in descending order.
f, 4, i
Suppose -48 + 64 = -4*j. Sort j, -7, 3 in decreasing order.
3, j, -7
Let n = 1 - 4. Let m = -2.9 - n. Let y = -2 - -1.9. Put m, y, 0 in descending order.
m, 0, y
Suppose -2*u - 2 = 6. Let y = -4 - 8. Let i be (y/(-10))/(4/10). Sort 5, u, i.
u, i, 5
Let n = -0.034 - -3.034. Sort n, 0.5, 1, -7 in decreasing order.
n, 1, 0.5, -7
Let m be 0 - 123/(-9)*1. Let p = -37/3 + m. Put -4, p, 0.2 in decreasing order.
p, 0.2, -4
Let c(h) = h**2 + 6*h - 2. Let p be c(-6). Let q be 0 - (-1 + 3/3). Suppose q = f - 4*f + 15. Put p, f, -3 in decreasing order.
f, p, -3
Suppose 3*s = -d - 38, 5*s + 0*d - 3*d = -40. Let h = s + 14. Sort h, -3, -9.
-9, -3, h
Let p be ((-30)/25)/(4/10). Let u be p/((-12)/1046)*-2. Let r = -3655/7 - u. Sort 5, r, 1 in descending order.
5, 1, r
Suppose -4*b = 5*k - 19, -4*k + 0*k = -b - 11. Let w(s) = 2*s - 14. Let l be w(6). Sort l, b, 3 in descending order.
3, b, l
Suppose 4*y + 19 = -5*i, 7 + 0 = -y - 2*i. Let n be (40/35 - 1)/(4/28). Sort n, y, -3.
-3, y, n
Let w = 21 + -16. Sort -5, w, -19.
-19, -5, w
Let r be (5 - 4)*(0 + -5). Let b be 0*2*3/(-12). Sort 5, b, r in decreasing order.
5, b, r
Let y = -365119/4845 + 1434/19. Let t be 2/51*1/2. Let v = t + y. Sort 2, v, 4 in descending order.
4, 2, v
Let b = -55 - -51. Let m = 5 - 0. Sort m, b, -3 in decreasing order.
m, -3, b
Let r(k) = -2*k + 12. Let h be r(6). Sort 7, 3, h, -1 in descending order.
7, 3, h, -1
Let x = 1 - 0. Let c be 2 - (-6)/(-1 + -2). Put c, 2, x in increasing order.
c, x, 2
Let y be 10/6 + (-12)/(-36). Suppose z = y + 3. Sort -1, 11, z in descending order.
11, z, -1
Suppose -6*a + 23 - 23 = 0. Sort a, -1/5, 0.1 in descending order.
0.1, a, -1/5
Suppose 0*q + 3 = -q - 2*w, -3*q - 9 = -4*w. Let p = -196 - -201. Put p, q, -4 in descending order.
p, q, -4
Suppose -2*p - 8 = 2*p. Let g be 2 - (p - -4) - -2. Suppose 0 = -6*j + 4*j - g. Put 2, -4, j in increasing order.
-4, j, 2
Let m = -16 + 26. Suppose -5*y = 4*p - 10 - m, 0 = -2*p + y + 10. Let x(f) = -f + 1. Let w be x(p). Put 4, -5, w in ascending order.
-5, w, 4
Let j = 13.05 - 13. Put 0.3, j, 0 in descending order.
0.3, j, 0
Let v = 0.7 + -1.7. Put v, 4, 3 in decreasing order.
4, 3, v
Let l = 7 + -34/5. Sort -0.1, 2/13, l.
-0.1, 2/13, l
Let d be ((-4)/10 + 12/(-20))*1. Sort -3, 0, 2, d in descending order.
2, 0, d, -3
Let g = -0.064 + 4.064. Sort -8, 2, g in decreasing order.
g, 2, -8
Let i = 23 + -23.4. Put i, -1, 2 in decreasing order.
2, i, -1
Let z = -11 - -6. Let j = 0 - z. Put 2, -0.03, j in ascending order.
-0.03, 2, j
Let w(g) = g**3 + g**2 - 4. Let k be w(0). Let i be (k + 2)/(18/(-2)). Let v = -2.6 - -3.6. Sort v, -0.3, i in decreasing order.
v, i, -0.3
Let p = 6 + -5.8. Sort 0, p, 2/9, -0.04 in increasing order.
-0.04, 0, p, 2/9
Let h(c) = 3*c + 32. Let y be h(-12). Sort y, -2, -5, 6 in decreasing order.
6, -2, y, -5
Let t = -0.31 + 15.31. Let z = t - 11. Let r = -0.8 + 1.1. Put z, r, 0 in descending order.
z, r, 0
Suppose v - 11 = -3*w, 0*w + 15 = -5*v - w. Suppose 0 = 5*l + 5*b + 35, -4*l = -0*l - 2*b - 2. Put -2/3, l, v in ascending order.
v, l, -2/3
Suppose -1 = -i - 2*h + 3, 2*i - 5*h = -10. Sort 5, 3, i in descending order.
5, 3, i
Let j = -2 - 0. Put j, 4/5, -1 in ascending order.
j, -1, 4/5
Let n = 0.1 + 2.9. Let v = 3 - n. Let p = 6 + -4. Put p, v, 0.1 in increasing order.
v, 0.1, p
Suppo