et c = -2352/11 - -214. Sort 0, 1, c.
0, c, 1
Suppose 0 = 5*t + 5*j - 15, 0 = 4*t + 5*j + 1 - 14. Let p(q) = -q**3 + 2*q**2 + 5*q - 2. Let r be p(3). Sort r, t, -5 in increasing order.
-5, t, r
Let m = 226 + -2030/9. Let t = 18 - 196/11. Sort t, -1, m.
-1, t, m
Let w(q) be the third derivative of q**4/24 - 8*q**3/3 - q**2. Let i be w(13). Suppose -3*m = -m. Put -2, m, i in descending order.
m, -2, i
Suppose 0 = a - l - 25, 0*a - l = -2*a + 48. Suppose -s - 2*s = -5*d + 39, -3*d + a = -2*s. Let v = d + -14. Sort 3, 5, v.
v, 3, 5
Let q be 3 + (-2)/(-2) + -5. Put 3, 2, q, 0 in descending order.
3, 2, 0, q
Suppose o + 3 = 0, z = 4*z - 2*o + 9. Sort z, -2, -4.
z, -4, -2
Let p be (-6)/18*1*-15. Sort -3, 6, p in increasing order.
-3, p, 6
Let w be 2 - 2/(4/14). Let l be (0*(-2)/(-2 - 2))/(-1). Sort 3, w, l in ascending order.
w, l, 3
Let d be 0/(0 + -7 + 5). Sort -1, 23, d in descending order.
23, d, -1
Let y(b) = 3*b. Let s = -1 - -2. Let h be y(s). Let o(q) = q**2 - 3*q - 1. Let c be o(h). Sort -2/3, 0.1, c in descending order.
0.1, -2/3, c
Let y = -0.3 + -0.7. Let g = 0.8 + y. Let p = -2 - -2. Sort -5, g, p in descending order.
p, g, -5
Let d = 34 + -36. Sort 5, d, -6 in descending order.
5, d, -6
Let s = 22 + -29. Sort -0.2, 1, s, 2/11 in descending order.
1, 2/11, -0.2, s
Suppose -2 = -2*g - 4. Let i = -2 + g. Let u(f) = f**2 - 5*f + 3. Let y be u(5). Sort i, y, -4 in descending order.
y, i, -4
Let c = 1 + 2. Let j be (-12)/(-90) - 16/30. Put c, -0.01, j in decreasing order.
c, -0.01, j
Let k = 0.2 + 0.7. Let x = k + -8.9. Let d = -3 - x. Put d, -1/3, -4 in descending order.
d, -1/3, -4
Let k be (-3 + 1 - 1) + 0. Suppose 4 = -4*b - 4. Let h = -2 - b. Put h, 3, k in increasing order.
k, h, 3
Let v be (2 + 15/(-10))/((-3)/24). Suppose 0*r + 3*r = -4*c + 10, 0 = -2*r - 3*c + 8. Sort v, 0, r.
v, r, 0
Let c = -9 + 9. Suppose c = -3*m - 9 + 6. Sort -1/2, m, -0.2.
m, -1/2, -0.2
Let f = 2823/13 + -217. Put -1, -3, f in descending order.
f, -1, -3
Let v = 3.7 + -3.5. Let t = 2 + -2.1. Sort t, v, 5.
t, v, 5
Let p be 3/4 - (-4521)/(-4140). Let i = -4/69 + p. Sort -1, i, 2 in decreasing order.
2, i, -1
Suppose 5*n - n + 12 = 0. Let h be 2*(-1 - 2)/n. Let u be h/4*3*2. Sort 0, u, 2 in descending order.
u, 2, 0
Let s be -12*1/10*(-1)/9. Put s, 0.1, -15 in descending order.
s, 0.1, -15
Let o = -18 - -22. Suppose -q - 9 = -4*q. Let f(s) = -s**2 + 10*s - 5. Let a be f(10). Sort q, o, a in decreasing order.
o, q, a
Let b = -167 + 671/4. Let d = -39 + 38. Sort b, d, -0.4 in increasing order.
d, -0.4, b
Let y = 21 - 20. Let x be 4/6*(-30)/(-4). Sort x, y, -1 in descending order.
x, y, -1
Let c be 1/(2/(-4) + 6/8). Sort c, 5, -5, 0 in decreasing order.
5, c, 0, -5
Let f = -0.694 + -0.006. Sort -2/9, 0.1, f.
f, -2/9, 0.1
Let y = 24 - 23.97. Sort -2, -1, y, -2/11 in increasing order.
-2, -1, -2/11, y
Let r = -7.07 - 0.93. Sort r, 0.4, -0.05.
r, -0.05, 0.4
Let t(n) = n + 10. Let f be t(-6). Let d = -0.4 - -0.2. Sort d, -1/4, f in decreasing order.
f, d, -1/4
Let o = -38 - -38. Sort o, 3, 0.17, 0.4.
o, 0.17, 0.4, 3
Suppose 5*x = 3*x + 6. Put -5, x, 7 in increasing order.
-5, x, 7
Let a(p) = -p**2 - 8*p - 6. Let g be a(-6). Suppose o + g = 3*o. Suppose -2*y - 1 = -o. Sort -5, -4, y in decreasing order.
y, -4, -5
Let v(s) be the third derivative of s**4/24 + 3*s**3/2 - 3*s**2. Let z be v(-9). Let x be 1 + (-33)/21 - z. Sort -0.1, x, 0.1.
x, -0.1, 0.1
Let i be 22/77 + 80/14. Let v be -2*((-15)/i - -2). Sort -1, v, 5 in increasing order.
-1, v, 5
Suppose 29 - 95 = -p. Let w be p/15 + 4/(-10). Let a = -3.9923 + -0.0077. Put a, 0.3, w in decreasing order.
w, 0.3, a
Let g = -12 - -17. Suppose 5*r - g*b + 2 - 7 = 0, -2 = -2*b. Let v be 6/(-4)*r/3. Sort -5, v, -1/4.
-5, v, -1/4
Suppose 4 = -2*h, 2*h + 2 - 23 = -5*o. Suppose -f - o*c - 22 = -5*f, 3*c = -f - 3. Let b = -6 + f. Sort -5, -1, b in ascending order.
-5, b, -1
Suppose r = 3*o + 13, o + 22 - 9 = -4*r. Suppose 2*k - 3*k = -3*x + 15, -4*k - 16 = -x. Let b = -5 - k. Sort -4, o, b in increasing order.
o, -4, b
Suppose -t = -5*b + 15, 6*t + 3*b + 14 = 2*t. Suppose -2*o + 2 - 6 = 0. Put t, -3, o in decreasing order.
o, -3, t
Let m = -15 + 5. Let w = m - -16. Let a = w + -2. Sort 5, a, 3/7.
3/7, a, 5
Let u(g) = g**3 - g. Let i be u(-1). Sort -1, -4, i in ascending order.
-4, -1, i
Let g(n) = n**2 + 3*n - 5. Let d be g(-5). Let x be (-5)/((-1)/(3/12)). Let i = -4 - 0. Put d, x, i in descending order.
d, x, i
Suppose -y + 4 = -0*y + 2*r, -r + 11 = 5*y. Let u = 10 + -6. Sort 5, y, u.
y, u, 5
Suppose 12*l = 5*l + 7. Sort -5, 4, 3, l in increasing order.
-5, l, 3, 4
Let x = 14 + -17. Let g(f) = 2*f + 13. Let o be g(-5). Sort 2/7, x, o.
x, 2/7, o
Let j = -1/142 + -281/426. Let u be 0 - (-2*1 - 0). Sort j, 0.03, u.
j, 0.03, u
Let h be 6 + -7 + (-6)/(-1). Suppose -2*c + 22 = c + 4*o, -28 = -4*c - h*o. Let w = -1 + 1. Sort 4, c, w in descending order.
4, c, w
Let w be (-1)/(-1 + 4/8). Put 0.2, w, 4/7 in ascending order.
0.2, 4/7, w
Let i = 2 + -2. Let n = 14 + -19. Sort i, n, 5 in descending order.
5, i, n
Let j = -40 + 24. Let d = j + 14. Put 5, 1, d in ascending order.
d, 1, 5
Let d be (4/6)/(6/(-90)). Let m(q) = -2*q - 15. Let p be m(d). Sort 3/2, 4, p in decreasing order.
p, 4, 3/2
Let m = 0 - -2. Suppose g + 2 = b, -4*g = 2*b + 2 - 6. Suppose c = -g*c. Put m, c, -4 in descending order.
m, c, -4
Suppose -7*g + 10 = -2*g. Suppose -4*h + 15 = h. Let d = -2 + -3. Put h, d, g in ascending order.
d, g, h
Suppose -2*a = 4*n + 2, 0 = n + 5*a + 24 - 1. Suppose -n*u - f = 5, -2*f = u - 0*f + 7. Sort u, 4, -2.
-2, u, 4
Let a(z) = z**2 + 3*z + 1. Let c be a(-1). Let m be (-1)/(c - -2) + -1. Let o = m - 1. Put 2/13, o, 4 in increasing order.
o, 2/13, 4
Let u = 3 - 2. Let p = 1 - 0. Let s = p - u. Put s, -1, -0.3 in decreasing order.
s, -0.3, -1
Suppose -w - 8 = w. Put 1, 0, w in descending order.
1, 0, w
Let k be 6/45*(-12)/(-20). Sort k, -2, -2/3 in descending order.
k, -2/3, -2
Let w be 3*16/(-36)*-3. Let q = 44 + -20. Suppose 0 = -2*i - 8, -5*i - q + 2 = -2*u. Sort w, u, 3.
u, 3, w
Let h(y) = y**2 + 1. Let a be h(-1). Let x = 7.6 - 8. Sort -2/3, a, x in ascending order.
-2/3, x, a
Suppose -4*g = 2*z - 10, 4*g = 4*z - 0 + 4. Let s(b) = -b**3 + 7*b**2 + 7*b + 7. Let j be s(8). Sort z, 3, j.
j, z, 3
Let n = 42 - 23. Suppose 0 = o + 5*r - n, -5*o = -3*r - 13 + 2. Let w = 0.46 + 0.04. Sort o, -3, w in decreasing order.
o, w, -3
Let x = -30 + 27. Put 1, x, -4 in descending order.
1, x, -4
Let k(x) = -x**3 - 4*x**2 - 2*x + 1. Let r be k(-3). Let j = 4 - 9. Sort r, j, 2 in descending order.
2, r, j
Let u be -2 + ((-58)/(-15) - 2). Let c = u - -4/5. Put -2, c, 1 in descending order.
1, c, -2
Let b = 20 + -36. Let n = 20.3 + b. Let m = n - 4. Sort -0.5, m, 1 in ascending order.
-0.5, m, 1
Let o = -13 + 17. Sort -1, 0, o.
-1, 0, o
Let k be 4 + -2 + 1 - 0. Suppose n + n - 2*v - 18 = 0, 3*v - 9 = -3*n. Suppose f + 1 = 2*r, 2*r - n*r = 4*f - 8. Put r, k, 2 in decreasing order.
k, 2, r
Let x be 2 - (-1 + 5 + 0). Suppose 0 = -2*s - 2*b - 26, 4*s + 2*b = b - 40. Let g = -6 - s. Put -3, x, g in descending order.
g, x, -3
Let h = -69 + 48. Let r be 2/4*112/h. Let n = -3 - r. Sort n, 0.1, 0.5.
n, 0.1, 0.5
Suppose -5*u - 113 - 2 = 0. Let a be u/8 - (-4)/(-32). Sort a, 1, -2 in decreasing order.
1, -2, a
Suppose -5*v = -3*v + 8. Let x = -7 + 12. Let t(g) = -g**2 + g + 1. Let k be t(2). Put k, x, v in increasing order.
v, k, x
Suppose 0 = q + 2 - 9. Put 0.4, q, -4/9, -0.3 in decreasing order.
q, 0.4, -0.3, -4/9
Let m be (-3 - -3)/1*1. Suppose 4*v - 12 + 0 = m. Put -2/7, 2/3, v in ascending order.
-2/7, 2/3, v
Let i = -76 + 82.1. Let q = i + -1.1. Put -4, q, -5/2 in decreasing order.
q, -5/2, -4
Let l(h) = 2*h - 10. Let f be l(6). Suppose f*o + 2*o + 28 = 0. Sort o, -5, 2 in descending order.
2, -5, o
Suppose -w - r + 1 = 0, 5*w + 2*r - 13 = 1. Sort -1, 0, w in descending order.
w, 0, -1
Let r = 21 - 8. Let o be (0 + 18/(-2))*2. Let b = o + r. Sort 3, b, 4.
b, 3, 4
Let o = -6 + 4. Let f = 2.4 + o. Suppose 5 = -2*h + 1. Put -1, f, h in increasing order.
h, -1, f
Let o = -1 + -3. Let u be 6/o - (-1)/2. Let p be (3/4)/((-4)/16). Sort 5, p, u in increasing order.
p, u, 5
Let i be 2/9 + 2/(-9). Let p be -4 + 2 - -1 - -2. Let m be (-2)/(6/(-4) + p). Sort i, m, -3.
-