19 - 4 = 3*t. Suppose -7*h + t = -2*h, y = h + 1. Put y, 2/19, u in decreasing order.
y, u, 2/19
Let p be (-4)/(-10) + (-44)/10. Let o(k) = 2*k - 11. Let b be o(6). Let c be (b/4)/(2/(-8)). Put 0, c, p in increasing order.
p, c, 0
Suppose -4*k + 2*k - 4 = 4*v, -2*k - 2*v = 6. Suppose -579 + 724 = -29*o. Put k, 3, o in descending order.
3, k, o
Suppose 0 = x + 3*u - 13, 0 = -5*x + 4*u - 27 - 3. Sort -1, -17, x in increasing order.
-17, x, -1
Suppose 4*s = -3*u + 29, -s = -11*u + 16*u - 20. Sort 19, 6, s, -4 in descending order.
19, 6, s, -4
Let a(b) = b**2 + 9*b - 23. Let t be a(-11). Let s(o) = o**2 + 19*o + 16. Let p be s(-18). Put -4, p, t in increasing order.
-4, p, t
Let o(h) = 2*h**2 + 12*h - 9. Suppose -5*a = -3*a + 2*g + 12, 3 = 3*g. Let p be o(a). Let n be 0 + 1 + -1 + -1. Sort -2, n, p in increasing order.
-2, n, p
Let o be -2 + 0 - (-4)/1. Let r(g) = -5*g + 11. Let k be r(-5). Suppose -5*m - k - 4 = 0. Sort o, m, 3 in decreasing order.
3, o, m
Let h(i) = -i + 2. Let y be h(6). Let d(g) = g**3 + 4*g**2 - 6*g - 2. Let c be d(-5). Suppose c*a = a. Sort y, a, 2 in decreasing order.
2, a, y
Suppose -3*t + 2*q + 3*q - 19 = 0, 0 = -5*t + 4*q - 23. Let h = -575 + 578. Sort h, 0, t in increasing order.
t, 0, h
Let o(q) = 8*q + 109. Let d be o(-21). Let s be -2*3/(-2) + -4. Sort s, 0.1, d.
d, s, 0.1
Let a be (-4 - 0) + 2 - -2. Suppose 4*i + 15 = i + 5*d, a = -2*d. Put 2, -1, i in increasing order.
i, -1, 2
Let l be 2/(-4) + 2/4. Let n = 75.3 + -18.5. Let x = n + -57. Put 14, l, x in decreasing order.
14, l, x
Let s = 20 - 2. Suppose -u = 5*u - s. Put 4, -1, u in increasing order.
-1, u, 4
Let z(c) = c**2 - 5*c - 2. Let v be z(7). Suppose 4*j - j = v. Suppose -2*w + 14 = 3*w + y, -y = -5*w + 16. Sort j, w, -3 in decreasing order.
j, w, -3
Let g = 92442 - 740595/8. Let j = g - -132. Sort j, -2/15, 3/8.
j, -2/15, 3/8
Let s = 0.0127 - 0.5127. Put 2/5, 0.11, s in ascending order.
s, 0.11, 2/5
Let j = 0.1448 + 3.8552. Put -14, j, -1, 2/5 in descending order.
j, 2/5, -1, -14
Let o be (4 - 2)*10/4. Let a = -0.7 - -1. Suppose 16 = 2*u + 4*v, -v = -3*u + 4 - 8. Sort a, u, o.
u, a, o
Let j(k) = -k**3 + 7*k**2 + k - 10. Let y be j(7). Let r(i) = -5*i**2 - 171*i - 40. Let t be r(-34). Put -4, t, y in increasing order.
t, -4, y
Suppose -2*j - 9 = -5*j. Let l be (0/3)/((-1)/(-1)). Suppose -3*n + 8 - 2 = l. Put j, n, -5 in increasing order.
-5, n, j
Let k = -6 + 38. Let v(q) = 94*q + 465. Let l be v(-5). Sort l, k, -3.
l, -3, k
Suppose -q - 7 = 2*f, -5*q + 0*f - 20 = 5*f. Let a = -22.1 - -19. Let z = -0.1 - a. Put 0.5, z, q in decreasing order.
z, 0.5, q
Let x = -230 - -119. Let g = x - -106. Sort -3, g, 0.3 in increasing order.
g, -3, 0.3
Suppose 0 = b + 4*x + 16, 5*x + 7 = b - 13. Suppose r + 2 = 3*r, 5*i = 2*r - 17. Put 3, b, i, 4 in decreasing order.
4, 3, b, i
Suppose 127*f + 15 = 130*f. Put 0, -5, f, 9 in ascending order.
-5, 0, f, 9
Let x = -0.1 - 0.1. Let g = x - -0.4. Suppose 3*d - 27 = 4*r, 2*d + 3*r - 15 = -14. Put d, -2, g in descending order.
d, g, -2
Suppose 0 = i - 5*c - 21, 2*i - c = 4*c + 17. Sort 28, -3, i in increasing order.
i, -3, 28
Let m be ((-1)/(-22))/(63/(-36)). Let z = -4.1 - -4.6. Put 1, m, z in increasing order.
m, z, 1
Suppose 16*r - 21*r - 25 = 0. Let i be 51/12 + (20/(-4) - -2). Sort i, r, 0.2 in increasing order.
r, 0.2, i
Suppose -2*q + 27 = 4*d - 27, q + 5*d = 36. Sort q, 0, -3.
-3, 0, q
Let p(q) = -6*q**3 - 1. Let t be p(-2). Suppose 4*b - 3*s = -b + t, -b = -3*s - 19. Put b, -3, -4 in ascending order.
-4, -3, b
Suppose -87*v + 92*v = -10. Sort -23, v, 2, 5.
-23, v, 2, 5
Let h be 10/(-20)*22 + 9. Sort 161, h, 3, 4 in decreasing order.
161, 4, 3, h
Let n(l) = l**3 - l - 1. Let a be n(0). Let c(v) = -4*v**3 - v**2 + v + 1. Let d be c(-1). Suppose -4*g - 2*b = 2, g - d*b = -3*g + 13. Sort a, g, -4.
-4, a, g
Let c(m) = -m**3 - 4*m**2 + 1. Let a be c(-1). Let t be 60/(-25) - a - (-13)/(-5). Put -2, -6, t in ascending order.
-6, t, -2
Let c = 49 - 51. Let h = -11 - -7. Put 2, h, c in decreasing order.
2, c, h
Let f(z) = -3*z + 19. Let s be (0/6)/(-1*2). Let b be 16*(4/8 + s). Let d be f(b). Sort -1, d, -0.1 in decreasing order.
-0.1, -1, d
Let l(r) = 334*r + 2004. Let v be l(-6). Let h = -65/122 + 2/61. Sort 3, v, h, -0.1.
h, -0.1, v, 3
Let g = -44164/3081 + 1/1027. Let i = g - -15. Sort 0, -0.5, i.
-0.5, 0, i
Let i = 77 - 463/6. Let v be 2/(-4)*(-4)/(-35)*7. Put i, -1/2, v in increasing order.
-1/2, v, i
Let a be -4 - 3/((-3)/2). Suppose -2*d + 20 = 2*i, 5*d + i = -0*d + 70. Suppose 33 = 5*l - y, 3*l - d = -y - 0*y. Sort 2, a, l in decreasing order.
l, 2, a
Suppose -5*v = -3*s - 67 + 17, 4*v = -s - 11. Let p be (-58)/(-10) - 3/s. Let w = p - 9. Sort 2, 0, w in decreasing order.
2, 0, w
Let q = -3.68 + 3.38. Sort 68, q, -3/4 in descending order.
68, q, -3/4
Suppose 72*n + 24 = 66*n. Sort -22, n, 1, 4 in increasing order.
-22, n, 1, 4
Let o be (-1850)/222*3/5. Put 1, o, 607 in decreasing order.
607, 1, o
Suppose b + 0*o - o - 13 = 0, -5*b - 4*o = -56. Suppose -4*p + r - 24 = 5*r, -3*r = -b. Put 5, p, 3 in descending order.
5, 3, p
Suppose -3*r - 17*r = -3*r. Suppose -4*j + 2*w - 52 = 0, 3*w - 7*w = r. Sort j, 1, 4, -2.
j, -2, 1, 4
Let d = -1.98 + -0.02. Let p be 1/3*(-91)/7. Let n = 5 + p. Put 3/4, n, d in decreasing order.
3/4, n, d
Let y = 6.9686 + 0.0314. Sort 1/3, -4/3, y in descending order.
y, 1/3, -4/3
Suppose -2*m - 2 = -12. Let s be ((-231)/(-9))/7 - (-3)/9. Sort s, 10, m, -5 in ascending order.
-5, s, m, 10
Suppose 0 = -f - 5*i - 8, -50*f = -55*f - 2*i - 109. Put -1, 6, f, 0 in ascending order.
f, -1, 0, 6
Suppose -8 = 28*a - 32*a. Suppose 0*k = k + q - 2, 5*q - 5 = 0. Sort a, -1, k in increasing order.
-1, k, a
Suppose -16 = 4*c - 0*c. Suppose 343*b = 334*b + 18. Put c, 4, b, 1 in descending order.
4, b, 1, c
Let x(q) = -q**2 + 2*q. Let o be x(3). Let n = -449 + 428. Put o, n, 3 in descending order.
3, o, n
Let n(f) = -2*f + 42. Let a be n(12). Suppose d = 4*c - 13, d + d = -3*c + a. Let r = 2 - 5. Put r, c, -2 in ascending order.
r, -2, c
Let f = -6 + 9. Suppose f*w - 28 + 70 = 0. Let n = w + 13. Put -3, 0, n in decreasing order.
0, n, -3
Suppose -5*u - 8*z + 10*z = 12, -8 = 2*z. Let f(k) = -k**3 - 5*k**2 - 4*k - 3. Let d be f(u). Let m be (-1)/(-2) - (-10)/(-4). Put m, d, 5 in decreasing order.
5, m, d
Let x = 2524 - 2523. Put 4, x, 0.0608 in decreasing order.
4, x, 0.0608
Let d(k) = -5*k**2 + 10*k - 28. Let i(y) = 4*y**2 - 9*y + 27. Let p(x) = 5*d(x) + 6*i(x). Let z be p(-7). Sort 4, z, -7 in increasing order.
-7, z, 4
Suppose 0 = -5*t - 4*w - 9, -3*w + 0*w = 3*t + 6. Let j(f) = f**3 - 3*f**2 - 2*f - 1. Let r be j(3). Let k = r + 0. Sort k, t, 0.
k, t, 0
Let s be -1 + (-24)/(-150)*10*1. Let w = -2689/13 + 207. Put w, 4, s, 0.5 in descending order.
4, s, 0.5, w
Let f(q) be the second derivative of -q**5/20 + q**4/4 + q**3/6 + 9*q**2/2 + q. Let a be (-12 + 11 - -5)*1. Let d be f(a). Put -2, -9, d in descending order.
-2, d, -9
Let r = 65 + -68. Put r, 1, 72 in decreasing order.
72, 1, r
Suppose 0 = 5*o + 2*u + 1, -4*o - 9 = o - 2*u. Let p be 5*-2*(-1)/(-5). Let k be (-1)/p*(3 - 3). Put o, -2, k in ascending order.
-2, o, k
Let k = -15 + 13. Let o = k - -2.56. Let v = -0.5 + o. Sort -1, v, -3.
-3, -1, v
Suppose -42*t - 21 = -38*t - 5*x, -x + 1 = -4*t. Put 3, t, -0.3 in decreasing order.
3, t, -0.3
Suppose -16 = 51*s - 55*s. Let c be (-5)/(4/(s - 0)). Put 3, 4, c, 1 in ascending order.
c, 1, 3, 4
Let v = -1.06 - 2.94. Sort -11, v, -1 in increasing order.
-11, v, -1
Let w = -0.084 + -37.916. Let h = -33 - w. Let g be (3 + 1)/28*2. Put 5/2, g, h in descending order.
h, 5/2, g
Let n be (0*1/(-2))/3. Let g be 10/(-2) + n/4. Suppose 0 = -3*j - 2*j + 5. Put g, 0, j in ascending order.
g, 0, j
Let o = -8 - -11. Let y = -12173 - -12172. Put o, 1, y in ascending order.
y, 1, o
Let s be 34/40 + 50/(-40). Sort -5, s, 2, 0.3 in increasing order.
-5, s, 0.3, 2
Let w = -216 + 183. Sort -2/11, -3, 1/14, w in decreasing order.
1/14, -2/11, -3, w
Let w be 1 + 36*(-2)/75. Sort 1, w, -4/3, -2.
-2, -4/3, w, 1
Suppose -5*t = -19*t - 784. Sort 0, -5, t, 5.
t, -5, 0, 5
Let i be ((-2)/25)/(-7*(-18)/210). Sort 9, i, 0, -0.1 in ascending order.
i, -0.1, 0, 9
Let z = -0.1907 + -0.0093. Put 2, -1, z, -24 in decreasing order.
2, z, -1, -24
Supp