-4*c - 31. Let a be l(-7). Put 4, n, a in increasing order.
n, a, 4
Let l be (-2)/(-11) - 176/(-363). Put 0, -4/5, 2, l in decreasing order.
2, l, 0, -4/5
Let f(g) = g + 6. Let v be f(-5). Let m(b) = b + 4. Let s be m(-4). Put v, s, -4 in increasing order.
-4, s, v
Let r = 12 + -22. Let c = 8 + r. Sort 3, c, 1 in decreasing order.
3, 1, c
Suppose 5*r + 19 = -2*i, 0 = -5*i + r + 8 + 12. Suppose q = i - 0. Put 5, q, 4 in decreasing order.
5, 4, q
Let n(t) = t**3 - 2*t - 1. Let z be n(-1). Suppose -26 = -4*l + r, -r - 11 = -l - 3*r. Let v = l + 0. Put z, -4, v in descending order.
v, z, -4
Let n(t) = t**2 - 3*t + 4. Suppose 5*x + 6 = 21. Let r be n(x). Sort 3, -2, r.
-2, 3, r
Let g = -6 - -6.2. Suppose -3*y + 7*y = -20. Sort 2/7, y, g in increasing order.
y, g, 2/7
Let m = -15 - -13. Sort m, -6, -3.
-6, -3, m
Let s = 3 + -3. Let f(c) = -7*c**3 + 1. Let b be f(1). Let r be ((-3)/(-1))/(b/4). Put r, -4, s in decreasing order.
s, r, -4
Suppose 9 - 7 = -2*f. Sort 1, 0.4, f in decreasing order.
1, 0.4, f
Suppose 0 = 2*s - 4*s. Sort -1, s, 4 in decreasing order.
4, s, -1
Let x = 13 + -9. Let g = 6 + -4. Let c = g + -1. Sort x, c, 1/7.
1/7, c, x
Let k be (-1)/3 + (-14)/30. Let v = 3.69 + -0.09. Let g = v - -0.4. Sort g, 0, k.
k, 0, g
Let m = 8.6 - 9. Sort 2/13, m, -3 in increasing order.
-3, m, 2/13
Let k = 4.3 - 1.3. Let t = k + -4. Let s(z) = z**2 - 2*z + 1. Let b be s(1). Sort b, t, 2 in descending order.
2, b, t
Let w = -18 - -30. Let n = -17 + w. Put -4, -3, n in descending order.
-3, -4, n
Let t = 198 + -203. Sort t, 1/40, -0.4, 5.
t, -0.4, 1/40, 5
Let f = 0.9 + -5.9. Suppose 13*t - 60 = t. Sort t, f, 1.
f, 1, t
Let g = 165 + -1151/7. Sort 2, -0.1, 0.2, g in increasing order.
-0.1, 0.2, g, 2
Let d = -23 - -28. Sort 4, d, -3 in ascending order.
-3, 4, d
Let w = 10 - 7. Suppose 1 + 8 = -w*s. Put s, -4, 5 in ascending order.
-4, s, 5
Suppose 4*y + 5 = -4*g + y, -5*g + 17 = -4*y. Let z = -36/11 - -296/77. Put z, -5, g in decreasing order.
g, z, -5
Let b = 52 + -51. Put b, 9, 2, -2 in ascending order.
-2, b, 2, 9
Suppose -3*m + 5*i = -8*m + 40, 4*m + 2*i - 26 = 0. Put 13, 4, m in ascending order.
4, m, 13
Let u = -10.1 + 2.1. Let p = -12 - u. Put 5, -2/5, p in decreasing order.
5, -2/5, p
Let k(p) = p**3 - 4*p**2 - 4. Let x be k(4). Let n(o) = o**2 + 2*o + 1. Let s(d) = -d + 1. Let u be s(4). Let c be n(u). Put c, -1, x in descending order.
c, -1, x
Suppose -2*w = -6 + 2. Suppose -2*v = 3*x - 3*v - 17, 4*x + w*v = 6. Put x, 6, 2 in ascending order.
2, x, 6
Let b(t) = -2*t**2 + 4*t - 2. Let z be b(2). Let h = -10 + 15. Suppose 0 = -o - 0 - h. Sort 2, z, o.
o, z, 2
Let k = -102 - -512/5. Let t be 0 + 1 - (2 + 1). Let c be t/4 + (-1)/6. Put c, 3/5, k in decreasing order.
3/5, k, c
Let u(b) = b**2 - 3*b + 1. Let j be u(3). Let h = -0.22 + -0.18. Sort j, h, -4/3.
-4/3, h, j
Let m = 2 - 1.7. Put -0.4, 1/2, m in descending order.
1/2, m, -0.4
Suppose 0 = -3*h - 66 + 54. Sort 11, -3, h, -5 in descending order.
11, -3, h, -5
Let y(x) = x**3 - 5*x**2 - 5*x - 1. Let a be y(6). Suppose l + 5 = 0, -3*l - 2*l = a*i + 5. Let q = 3 + -2.8. Sort q, i, 0.4.
q, 0.4, i
Let s(d) = d + 2. Let n be s(-8). Put 0, n, 4 in ascending order.
n, 0, 4
Suppose -5*o = -5*w + 35, 7*w + 4*o = 4*w - 7. Suppose -g = 3*b - 8, -w*g - 1 - 2 = 0. Suppose -j + 2*h - 1 = 0, -h - 3*h = -b*j - 5. Sort -2, j, -4.
-4, j, -2
Let s be 4 + (-82)/12 + 3. Put s, -3, 3/8 in increasing order.
-3, s, 3/8
Let m(n) = -n + 0*n + 0*n**2 + n**2. Let p(g) = 3*g + 7. Let z be p(-2). Let k be m(z). Sort k, -5, -1 in increasing order.
-5, -1, k
Let r = 0.83 + -2.83. Sort r, -1, -0.5, 6 in decreasing order.
6, -0.5, -1, r
Suppose 28 = -4*x - 4*v, 2*x - 6 = -0*x + 2*v. Let s = 6 - 6.3. Sort 4, s, x in descending order.
4, s, x
Let r = 144 - 144. Put 2, -1, r in descending order.
2, r, -1
Suppose 4*i - 5*v + 9 - 2 = 0, 3*i - 2*v + 7 = 0. Put -7, i, -1 in increasing order.
-7, i, -1
Let h = 3.26 - 0.26. Sort h, -3, -20 in ascending order.
-20, -3, h
Let q be ((-3)/(-11))/(27/(-18)). Put -3/5, 0.1, q, 0.4 in descending order.
0.4, 0.1, q, -3/5
Let x = 18 + -19. Sort -3, 1, -4, x in descending order.
1, x, -3, -4
Let x = -4 - -7. Let h = x + 1. Suppose 8 = h*w - 8. Sort 2, w, 3 in increasing order.
2, 3, w
Let f = 3 + 3. Let q be f/(-15) + (-2)/(-5). Let s be (0 + -1 + -2)*-1. Sort 1, s, q in ascending order.
q, 1, s
Let t = 1.88 + 0.12. Sort 3/2, t, -0.4, -1/2.
-1/2, -0.4, 3/2, t
Let x = -11 - -11. Sort 1/2, x, 3 in decreasing order.
3, 1/2, x
Let z(t) = 2*t**3 - 2*t - 1. Let c be z(-1). Suppose 3*y + 5*r = -2*y - 20, 3*r - 13 = 2*y. Sort c, 1, y in ascending order.
y, c, 1
Let l be (10 - 11)/((-1)/(-5)). Put 1, -40, l in increasing order.
-40, l, 1
Let h = 2 + -2. Sort -1/4, h, 5.
-1/4, h, 5
Let o = 0.5 + 0.5. Let w = o + -1.1. Let m = w + 0.4. Sort -1/8, m, -2 in decreasing order.
m, -1/8, -2
Let d be (2/2)/(3/9). Let b be 1/(-2 + 33/15). Suppose -x = 3*x - 4, b*m + 4*x = -21. Sort m, -2, d in increasing order.
m, -2, d
Let k = 1.6 + 3.4. Sort 0.3, k, -5 in decreasing order.
k, 0.3, -5
Let d = -133.4 - -133. Sort d, -1/5, -1/3, 0.5 in increasing order.
d, -1/3, -1/5, 0.5
Let k = -5.7 + 2.7. Sort 0.3, k, -2/27, -0.5.
k, -0.5, -2/27, 0.3
Let q be 33/9 + (-2)/(-6). Put 3, q, 2 in ascending order.
2, 3, q
Suppose -2*x = -2*k + 4*k + 4, 4*x - 3*k = -36. Put 1, 0, x in increasing order.
x, 0, 1
Suppose 2*k = -0*h + h + 7, -5 = -h - k. Suppose h - 5 = 4*j. Put 1, -2, j in ascending order.
-2, j, 1
Let r(m) = 2*m + 17. Let c be r(-7). Sort 6, c, -5, -3.
-5, -3, c, 6
Suppose -4*r + 0*r = -20. Put -2/7, 1, r in increasing order.
-2/7, 1, r
Let z(x) = -x - 1. Let r be z(5). Let o(f) = f**2 + 6*f - 5. Let w be o(r). Let b = -8 - -5. Put b, w, -2 in increasing order.
w, b, -2
Let h = -1 - -6. Sort h, -0.5, -2 in increasing order.
-2, -0.5, h
Let r be (4/(-8))/((-1)/(-2)). Let a = -1 + r. Suppose 29 = 7*v + 1. Sort -3, v, a in ascending order.
-3, a, v
Let r be 2/4 - (-10)/4. Let b(k) = k**3 + 6*k**2 + k + 2. Let n be b(-6). Put r, n, 4 in decreasing order.
4, r, n
Let t be (-12)/(-8)*-1*8. Let s = -7 - t. Let f be 2/s + 46/10. Put -1, 0, f in ascending order.
-1, 0, f
Let g be 171/(-315) + (-3)/(-21). Let k = -2 + -1. Sort k, g, 5.
k, g, 5
Suppose -4*f = 4*q + 60, -3*f = q + f. Put q, 5, -3, -5 in decreasing order.
5, -3, -5, q
Suppose b = 3*b - 4. Suppose -o + 2*o = 4, 2*o - b = -3*u. Let t = 19 - 14. Sort t, u, 4.
u, 4, t
Suppose 5 - 89 = -21*i. Sort i, -10, 0 in increasing order.
-10, 0, i
Suppose 3*b = 2*b. Suppose -3*j - j + 28 = 0. Let y = j + -12. Sort b, y, -4 in ascending order.
y, -4, b
Let m = 286/5 - 57. Suppose 5*w - 26 = -3*b, -5*b + 10*b = 10. Sort w, 3, m.
m, 3, w
Let j(h) = h**3 - 6*h**2 + 7*h - 5. Let g be j(5). Suppose u + u + 3*r + 4 = 0, -16 = -3*u + r. Sort u, g, 2.
2, u, g
Suppose -3*i = 4*r + 28, 0 = -4*i + 1 - 17. Let l(j) = j**3 - 3*j**2 + j - 4. Let t be -1 - 4/(-2) - -2. Let y be l(t). Sort y, 0, r.
r, y, 0
Let n(w) = -w**3 + 2*w - 4. Let r be n(-2). Let i(s) = 4*s**2 - 1. Let z be i(1). Sort r, z, 5 in decreasing order.
5, z, r
Let x = 9.8 - 7. Let r = -3 + x. Let s = r - 0. Put 0.2, s, -2/3 in descending order.
0.2, s, -2/3
Let b be 18/(-3) + 1 - 0. Suppose -4*q + 5*q = f + 3, -4*q + 5 = 3*f. Put 1, q, b in ascending order.
b, 1, q
Let i = -54 - -51. Put -5, -4, i in ascending order.
-5, -4, i
Let q be -3*((-12)/36)/(1/3). Sort 1, 4, q, 0 in decreasing order.
4, q, 1, 0
Let g be (-3)/(-1 + 21/30). Suppose -l + 3*l = g. Let i be (-4)/(-18) + 76/(-18). Sort 0, l, i in ascending order.
i, 0, l
Let x = 172 - 169. Put -2/11, -4, x, -2/5 in ascending order.
-4, -2/5, -2/11, x
Let x be ((-9)/(-6))/((-3)/(-14)). Let h = x + -7. Sort -2/5, -2, h in descending order.
h, -2/5, -2
Suppose 9 = 7*r - 4*r. Sort r, 5, -2.
-2, r, 5
Let q = 3.6 - -0.4. Sort 8, q, 0.4 in descending order.
8, q, 0.4
Let k = 15 - 13. Let c be 0/k - (2 + -4). Sort -1, -5, c.
-5, -1, c
Let i(m) = -m**3 + 12*m**2 + 12*m + 7. Let r be i(13). Let v = r - -6. Sort v, -10, 2 in decreasing order.
2, v, -10
Let t(v) = v - 19. Let c be t(11). Put 0, c, -2 in decreasing order.
0, -2, c
Let w be 1*2 - (-11 + 9). Let d = 4 + -1. Put d, w, -1 in descending order.
w, d, -1
Let r(n) = n - 3. Let f be r(2). Suppose 7*j = -0 - 21. Let q = 4 + 0. Sort