t t = -12 - x. Let u be 2 + (-3)/((-24)/(-19)). Sort t, u, -5 in decreasing order.
u, t, -5
Let v(i) = i - 16. Let z be v(21). Put -17, -1, z in descending order.
z, -1, -17
Let w = -8 - -13. Let m be (1/(-1) + -3)*(-6)/(-12). Sort w, m, -3 in descending order.
w, m, -3
Suppose -5*s = 4*z - 2*s - 16, 4*s = 0. Suppose 5*y - 4*h = -25, -3*h - 2*h = z*y - 21. Let w be 2/y + (1 - -1). Sort -2/9, w, 5 in descending order.
5, w, -2/9
Suppose 6 = 2*j + 2. Let x be ((-2)/(-6))/(7/63). Put 4, x, j in decreasing order.
4, x, j
Let p be -2 + (2 - 0 - -4). Sort -3, 0, p in descending order.
p, 0, -3
Let x = -1.58 - -0.18. Sort 4, x, -1/9 in descending order.
4, -1/9, x
Suppose 0 = -0*x + 3*x - 3. Let k be (-1 - -2)*(1 - -3). Suppose 10 - k = 3*f. Sort 3, f, x in descending order.
3, f, x
Let y be (-18)/(-5) - 4/(-10). Let u be ((-6)/(-15))/(2/(-10)). Sort u, y, 1 in descending order.
y, 1, u
Suppose 5*p = 3*a - 1, 4*a = 4*p - 8 - 4. Let m = -12 - -10. Sort 3, m, a.
a, m, 3
Let f = -0.07 - 4.93. Let i be -1*(4/(-14) - 10/14). Let o = -0.2 + 0.4. Put f, i, o in decreasing order.
i, o, f
Let v = -147 - -150. Put 19, v, 0, 1 in increasing order.
0, 1, v, 19
Suppose p + 6 = 3*p. Suppose -3*v - 3*n = -24, -v - 5 = p*n - 23. Sort -4, -1, v.
-4, -1, v
Suppose -5*h - 5 = -20. Sort -5, h, 5 in decreasing order.
5, h, -5
Suppose -4*n + 5*f - 97 = 0, 34 = -2*n + 2*f - 12. Let x be 23/n + (-12)/(-8). Sort x, 1, 5 in descending order.
5, 1, x
Let t = -4 + 4.01. Let q = 0.11 - t. Let h = -1.8 + 2. Sort 0.3, q, h in increasing order.
q, h, 0.3
Let x = -287/4094 - 3/178. Let h(z) = z. Suppose 4*k = -s - s - 2, 5*k = 2*s - 25. Let b be h(k). Put b, -4, x in descending order.
x, b, -4
Let j = -3 + 4. Suppose -2 - j = -3*s. Put -1, -4, s in decreasing order.
s, -1, -4
Let n = 1.35 - 0.35. Put n, 2, 0.4 in increasing order.
0.4, n, 2
Let i(s) = -s**2 - s + 3. Let f be i(0). Suppose -l - 4 = 0, -14 = -p + 6*p + l. Put 5, f, p in decreasing order.
5, f, p
Let m(y) = y**3 - y**2 + 3. Let o be m(0). Sort o, -5, 5 in ascending order.
-5, o, 5
Let y(t) = t + 8. Let h be y(-8). Let m(f) = -f**3 - 7*f**2 - 6*f + 5. Let o be m(-6). Put h, o, 3 in increasing order.
h, 3, o
Let n be (-187)/(-119) + 4/(-7). Suppose 0*r = -2*r. Sort n, r, 5 in decreasing order.
5, n, r
Let v be (-140)/(-65) + 2/(-13). Put v, 3, 0 in increasing order.
0, v, 3
Let f = 16 + -1. Let s = f - 15. Sort -2, -5, s in descending order.
s, -2, -5
Let l(t) = -t**2 + 5*t - 3. Let w be l(5). Let a = w + 6. Put -1, 5, a in descending order.
5, a, -1
Suppose -2*x - 2*x - 15 = 3*i, 5*i = x - 2. Let s be (-6)/x + 51/(-24). Put 5, s, 1 in descending order.
5, 1, s
Suppose 15*v - 20 = 10*v. Put v, 0.1, 2/7 in decreasing order.
v, 2/7, 0.1
Let t = 0 - -3. Suppose q - 16 = -t*q. Let b be -2 - (-21)/15 - -1. Sort b, q, -0.2 in descending order.
q, b, -0.2
Let l(i) = -3*i - 2. Let r be l(-1). Put 5, r, -2 in decreasing order.
5, r, -2
Let a = 1 - 3. Let t(h) be the third derivative of h**5/60 - h**4/8 - h**3 + h**2. Let q be t(5). Sort 3, a, q in decreasing order.
q, 3, a
Let o = 3 + -5. Let k be o/(-3) + 2/6. Let y be (k + 0)*(-1)/1. Sort 0, 1, y in descending order.
1, 0, y
Suppose 0 = 5*p - 2*r + 17 - 4, 2*p - 2 = -r. Sort -5, p, -3 in ascending order.
-5, -3, p
Suppose -p = -5*v + p + 19, -5*p + 35 = 4*v. Suppose v*m + 0*m = 10. Sort 0, m, 1 in descending order.
m, 1, 0
Suppose -2*g + 5 = -3*g. Suppose 5*k + 0*k = 3*y + 24, 3 = -y. Suppose 0 = -0*p - 4*p + l + 5, 1 = k*p + 2*l. Sort p, g, -2 in increasing order.
g, -2, p
Let c(t) = t**3 + t. Let w be c(1). Suppose -d - w*d + 12 = 0. Suppose 3 = i - 4*i. Sort d, i, 0 in increasing order.
i, 0, d
Let g = 6 - 9. Sort 3, g, -5/6 in decreasing order.
3, -5/6, g
Let t = 9 - 4. Let j = -9 + 13. Suppose -5*c = -s + 13 - 6, -j*c = t*s - 6. Sort 5, -4, s in decreasing order.
5, s, -4
Let r(y) = -y**2 - 4*y + 7. Let s be r(-6). Sort s, -2, 2.
s, -2, 2
Let x be 0 + 5/(-2) - -4. Let h = 0 + -2. Sort 0.2, h, x in decreasing order.
x, 0.2, h
Let x be ((-6)/9)/((-76)/(-18) - 4). Sort 22, x, -4 in increasing order.
-4, x, 22
Let n = 0 + -3. Let h = 0 - n. Let j = h - 2.7. Sort -0.3, 5, j.
-0.3, j, 5
Let v(c) = c**3 - 13*c**2 + 12*c + 5. Let q be v(12). Suppose -15 = -3*w, 5*j - q*w + 25 = -0*w. Sort -4, j, 6 in increasing order.
-4, j, 6
Let c = 0.02 + -1.02. Let p = 0 - 0.5. Let l be 4/(-2) + (-40)/(-19). Sort p, l, c in decreasing order.
l, p, c
Suppose -4 = 5*t - 2*a + 32, 2*a = 4*t + 28. Let l be (-2)/(-4)*t/(-16). Put -4, 4, l in descending order.
4, l, -4
Let t = 17 + -12. Suppose t*z = z. Suppose x = -z*x. Sort -1, x, -5.
-5, -1, x
Suppose 5*k - 3*y = -40, 4*y - 25 = -y. Sort k, 0, 5.
k, 0, 5
Suppose 4*q = -3*i + 4*i - 8, -5*q = -i + 9. Put i, -2, -3, -5 in increasing order.
-5, -3, -2, i
Let g = 1 - -2.2. Let d = g - 3. Put -5, 1/7, d in descending order.
d, 1/7, -5
Suppose -4*u = -o - 11, -3*u + 4*o + 20 = u. Suppose 5*v + 2*l + 1 - 9 = 0, v + u*l = 0. Let h = -47/246 + 1/41. Put -2/3, v, h in increasing order.
-2/3, h, v
Suppose 3*q + 54 = 48. Let v = 7 + -3. Sort v, 9, q in increasing order.
q, v, 9
Let p(a) = -a**2 + 4*a + 5. Let r be p(4). Suppose -5*f + 3*f = r*d - 8, -4*f = -d - 16. Sort -1, -2, d in decreasing order.
d, -1, -2
Suppose -1 - 1 = j. Suppose -26 + 14 = 4*w. Put j, w, 0 in descending order.
0, j, w
Let f be ((-3)/3 - -1)/(-1). Suppose 16 = -5*g + y, f*g - 11 = 4*g + y. Suppose 0 = u + a, 3*u - u + 4 = -3*a. Sort u, g, 2.
g, 2, u
Let w(m) = -m**3 - 5*m**2 - 6*m - 4. Let h be w(-4). Suppose -h = -4*q + 16. Sort 3, q, 1 in decreasing order.
q, 3, 1
Let f(i) = -i**3 - 13*i**2 - 21*i + 3. Let c be f(-11). Put 2, c, 1/3, -1/7 in descending order.
2, 1/3, -1/7, c
Let q = 631/2184 + -1/312. Let z(c) = c**2 - 15*c + 31. Let h be z(13). Put h, q, 1 in ascending order.
q, 1, h
Let h(u) = u**2 + 2*u - 3. Let a be h(-3). Let z(p) = -p**3 + p. Let i be z(a). Suppose 3*d = 2*d - 5, 0 = 4*j + d - 15. Put i, 4, j in decreasing order.
j, 4, i
Suppose -5*b = -3*w + 4, 3*b - 4*b = 4*w - 13. Put 1, w, 4, 0 in decreasing order.
4, w, 1, 0
Let r(l) = 2*l**2 + l - 2. Let x be r(-2). Let i = -1 - x. Put -3, 4, i in increasing order.
i, -3, 4
Let t = 14 - 15. Sort -2, t, 0.
-2, t, 0
Let k be -2*1*(-2)/(17 + 5). Sort k, 0.3, -11.
-11, k, 0.3
Let i = 1/2 - 1/10. Put 1/3, i, -0.5 in descending order.
i, 1/3, -0.5
Let h be ((-2)/12)/(10/(-78)). Let a = 4/5 - h. Sort a, 5, -2 in descending order.
5, a, -2
Let p = 36 - 254/7. Sort p, 1/12, -0.3, -5 in decreasing order.
1/12, p, -0.3, -5
Let u be ((-1)/2)/((-33)/(-132)). Sort 2, -5, u, 1 in descending order.
2, 1, u, -5
Let h = 10 + -6. Let i = -1.9 - -10.9. Let c = h - i. Sort -1, c, 1.
c, -1, 1
Suppose -3*t + 18 = 3*y, -9*y = -t - 4*y - 6. Put 2, t, 0, -7 in descending order.
t, 2, 0, -7
Let w = -33772/55 - -614. Let d = -1.5 - -2. Sort d, w, 0.3 in descending order.
d, 0.3, w
Let l = -2.02 + 0.02. Let a = 5 + -2. Sort 1, l, a in decreasing order.
a, 1, l
Let g = -0.96 + -0.04. Let n = g + 0. Sort -4, -3/7, n in decreasing order.
-3/7, n, -4
Let z = 0 - -5. Let h be (1 - 2/5) + -1. Suppose -d = -a - 0*d, d = -3*a + 12. Put a, h, z in descending order.
z, a, h
Suppose j + 2 = 3*r - 10, j = r - 4. Suppose -10 = h - 3*h. Let t(i) = i**2 - 7*i + 9. Let o be t(6). Put j, o, h in increasing order.
j, o, h
Let v = -11/24 + -29/24. Sort v, 5, -0.7 in ascending order.
v, -0.7, 5
Let y = 11 + -6. Sort y, -1, -4, 2 in descending order.
y, 2, -1, -4
Let i(q) = 4*q + 3. Let v(z) = -z + 3. Let s be v(5). Let y be i(s). Let d be -8*(-3)/(-18)*6/4. Sort -1, d, y in descending order.
-1, d, y
Let d be (-5)/2*(12/35)/(-2). Let z = 0.1 - 0.3. Sort d, z, 0.4.
z, 0.4, d
Suppose 1 = -2*i - 4*q + 33, -3*q + 45 = 5*i. Let m = -5 + i. Sort -0.4, m, -2 in descending order.
m, -0.4, -2
Let a be 0 - -4 - 62/14. Put -1/8, -0.1, a in ascending order.
a, -1/8, -0.1
Let d = -6 - -5. Let l = 21 - 24. Sort -2, l, d.
l, -2, d
Let h be 133/14 + 3/2. Let o = -11 + h. Let t = -1 - -6. Put o, -5, t in descending order.
t, o, -5
Let v(i) = -2*i - 1. Let o be v(-2). Suppose -2*m + 4*n = 10, o*n - 2 = -2*m + 9. Put m, -3, -1 in increasing order.
-3, -1, m
Let t(d) = -d - 15. Let x be t(-12). Suppose -3*p - 11 = -3*a + a, 2*a + 14 = -2*p. Put -4, a, x in descending order.
a, x, -4
