Let q be m(p). Sort k, -5, q in ascending order.
-5, k, q
Suppose 0 = 4*q - 5*q + 13. Sort q, -3, -4 in ascending order.
-4, -3, q
Let i = 8438 - 50443/6. Let j = -31 + i. Let k = 79/3 + -26. Put j, k, -1/2 in increasing order.
-1/2, j, k
Let i = 5 - 5.3. Sort i, 0.5, 5.
i, 0.5, 5
Let v = 0.7 - -0.2. Let b = 1.5 - 0.4. Let r = v - b. Sort 0.5, 0.3, r in descending order.
0.5, 0.3, r
Let u = 0.05 + 0.15. Let j = u - 0. Put -3/4, j, 0.4 in decreasing order.
0.4, j, -3/4
Let s = 2.01 - 1.01. Put 1/4, s, -0.5, 0.2 in increasing order.
-0.5, 0.2, 1/4, s
Let g = -69 + 64. Sort 1, g, 16 in descending order.
16, 1, g
Let m(r) = -r**2 + 4*r + 2. Let g = -8 - -12. Let q be m(g). Suppose q*o - 4*o = 8. Sort o, -2, -1 in descending order.
-1, -2, o
Let u = -1 + 4. Suppose -3*z + u*p - 3 = 0, z + 4*z + p = 1. Let b = -10 + 12. Sort b, 5, z.
z, b, 5
Suppose -3*t - 4 = -c - 2, 0 = 4*t + c - 2. Let h = -22 - -26. Suppose -5*k = 4*l + 13, -2*l + h*l = 3*k + 21. Sort k, t, -3 in descending order.
t, -3, k
Let q(r) = 8 + r + 0*r + 6. Let l be q(-10). Suppose -3 = w - l*w. Put w, -0.1, -3 in descending order.
w, -0.1, -3
Suppose 0 = 5*c - 23 - 2. Let v = c + -3. Suppose v*o = 3*o + 4. Put -3, o, -2 in descending order.
-2, -3, o
Let k = 1.9 - -3.1. Put k, -2, -2/5, -5/4 in descending order.
k, -2/5, -5/4, -2
Let h = -2 - 3. Let k = 3 - -11. Let o = k + -10. Sort o, 1, h in decreasing order.
o, 1, h
Suppose 15 = -3*t - 0. Let u = -8 + 8. Sort -3, u, t in descending order.
u, -3, t
Let x(h) be the second derivative of -h**4/12 + h**3/2 + h**2/2 - h. Let w be x(3). Let a be 0 + 0 - 7 - -2. Sort w, a, 3 in decreasing order.
3, w, a
Let r be (-60)/27 + 4/18. Sort r, -1, 2 in decreasing order.
2, -1, r
Let p be (-2)/(-7) - (-46)/(-14). Let f(b) = b + 11. Let q be f(-6). Sort 4, p, q.
p, 4, q
Suppose 18*a = 22*a - 20. Put a, -16, -3 in decreasing order.
a, -3, -16
Let k = 15 + -13. Let m be -2 + 2 + k + -1. Sort m, -5, -4.
-5, -4, m
Suppose 0 = 27*u - 17*u. Sort 1, -3, 3, u in descending order.
3, 1, u, -3
Let v = -1.33 - -1.03. Let x = 23 - 43. Put v, x, -3 in ascending order.
x, -3, v
Let o(i) = i**3 - 2*i**2 - 4*i + 6. Let v be o(4). Sort -1, v, -2 in decreasing order.
v, -1, -2
Let t(i) = i**2 - 4*i + 5. Let l be t(4). Sort 2, l, -13, 0 in decreasing order.
l, 2, 0, -13
Let t(x) = 1 + 7 - 3 + x. Let u be t(-6). Let r(y) = y**3 - 8*y**2 - 10*y + 9. Let j be r(9). Sort 5, u, j in decreasing order.
5, j, u
Let v = 3 + -3. Suppose v*m = -m + 3. Let y be ((-3)/(-2))/(18/8). Sort 1, y, m in descending order.
m, 1, y
Let w = -532/9 + 59. Let d = 0.4 + -0.2. Sort w, -2, d in decreasing order.
d, w, -2
Let u = 33 + -39. Let s be 3/(2/4 + -2). Put u, s, 3 in increasing order.
u, s, 3
Suppose -p = -5 + 2. Put 0.1, p, -3/7 in ascending order.
-3/7, 0.1, p
Let m(g) = -g**2 - 7*g - 7. Let x be m(-4). Sort 0.5, 3/7, x.
3/7, 0.5, x
Let j(u) = 2 + 6*u - 4 - 2. Let h be j(4). Suppose h = 4*q + 4. Put -4, -0.3, q in descending order.
q, -0.3, -4
Suppose 5*o = 3*f - 9, 5*f - 8 - 7 = o. Sort -4, f, 9 in decreasing order.
9, f, -4
Let x = -3 + 0. Suppose -2*b + 7 = -n, 3*n + 3*b = -0*b + 15. Sort n, -4, x.
-4, x, n
Suppose -6 = u - 11. Let i = u + -4. Suppose -c - v = v - 9, 3*c - 4*v + 23 = 0. Sort i, 2, c in descending order.
2, i, c
Let v = 27 - 323/12. Sort -4, v, 0 in descending order.
v, 0, -4
Let b be (-6)/14*(-32)/12. Let t = b - 12/35. Put -1, t, -0.3 in ascending order.
-1, -0.3, t
Let f = -2771/515 + -2/103. Let x = f - -69/10. Sort -4, 1/3, x in descending order.
x, 1/3, -4
Let j be -3 + 3 + 1 + -6. Sort 3, j, 0.
j, 0, 3
Let p(b) be the first derivative of 5*b**2/2 - b - 1. Let a be p(1). Suppose 5*x = y + 1, 6*x - x = 5*y - 15. Sort x, a, -3.
-3, x, a
Suppose -4 = -0*a - 2*a. Suppose d = -a*d. Suppose 0 = -4*x + 5*r - 2, 0*r + 4 = -3*x + 5*r. Sort d, x, -3 in descending order.
x, d, -3
Let q = 31 - 50. Let h = q + 19.5. Put -4, 1, h in decreasing order.
1, h, -4
Let c be ((-1)/(-1))/(-1 + 2). Suppose 0 = -3*u + u - 5*b - c, 0 = 5*u + 3*b - 7. Put 0.5, -0.2, u in decreasing order.
u, 0.5, -0.2
Suppose 4*z + 3 = 2*h + 3*z, 3 = -h - 4*z. Suppose 4 = -3*q + 1, 4*d - 11 = -q. Suppose d*a - 4*y = -8, -4*a - 6 = a - 3*y. Put 4, h, a in increasing order.
a, h, 4
Suppose 3*u = 3, u + u - 7 = 5*h. Sort 1, h, -2 in descending order.
1, h, -2
Let a(i) = -4*i**2 - 2*i - 1. Suppose -q = 2*q + 3. Let d be a(q). Sort 4, d, 0.
d, 0, 4
Let k = 5.8 + 1.2. Let u = 2 + -4. Let d = u + k. Put -2/9, d, -1 in ascending order.
-1, -2/9, d
Suppose -10 = -l - 3. Let w = 14 - l. Suppose -5 = 4*c + w. Put c, -1, 1 in increasing order.
c, -1, 1
Let n be 231/15 + 8/(-20). Let k = 16 - n. Sort 0.5, -4, k.
-4, 0.5, k
Let y(h) = -h**2 - 3*h + 6. Let p be (2*1)/(12/(-30)). Let q be y(p). Sort q, -1, 0.
q, -1, 0
Let m = 0.04 - 0.14. Let d = m - 0. Let g = -3 + 6. Sort d, g, 4 in decreasing order.
4, g, d
Let y = 140 - 138. Put y, -2/5, -0.5 in descending order.
y, -2/5, -0.5
Let m = -20 + 20.2. Let v = -0.9 - 1.1. Sort m, v, -7 in ascending order.
-7, v, m
Let u(w) = w**2 + 2*w + 1. Let r be u(-3). Suppose 3*j - r = 4*j. Sort 4, -2, j in descending order.
4, -2, j
Let i be ((-32)/12)/4*-3. Sort i, -2, 6.
-2, i, 6
Suppose -8*q + 17 = 17. Put q, 20, -5, 5 in ascending order.
-5, q, 5, 20
Let v = -2 + 0. Let p = -999/265 + 9/53. Let q = p + 64/15. Sort q, v, -1/9.
v, -1/9, q
Suppose -3*s = -6, 2*n + 2*s = 5*n - 2. Put n, -5, -9 in descending order.
n, -5, -9
Let y = 11 - 16. Sort y, 5, -1/3 in ascending order.
y, -1/3, 5
Let w = -2/51 - -12/17. Let v be (1 + -4)*4/78. Put 5, w, v in descending order.
5, w, v
Suppose 2*k - x + 8 = 0, -4*k = x + 4*x + 2. Let l(g) = -g**3 - 4*g**2 - 5*g - 3. Let q be l(k). Suppose -3*a - 4*s = -7, -3*s - 4 = -4*s. Sort 0, q, a.
a, 0, q
Suppose 2*i - 4 = -2*m + m, -12 = -3*m - 5*i. Let z = 1 + m. Suppose -5*s - z*k = -30, -3*k - k = -4*s. Sort s, -2, -1 in descending order.
s, -1, -2
Let p be (-7)/((-7)/2) - -2. Put 3, p, 5 in descending order.
5, p, 3
Let s = 7 - 3. Suppose v = 3*v. Sort 3, s, v.
v, 3, s
Suppose 10*p - 6 = 12*p. Put p, -4, -1 in descending order.
-1, p, -4
Let i = 13 - 10. Let g = 5 + -5.3. Let q = 0.1 - g. Sort -2/5, i, q.
-2/5, q, i
Suppose 113 = 4*b - 39. Suppose -5*h + b = 4*t, -4*t = -7*h + 3*h - 20. Let p = -11 + t. Sort 3, p, -1 in descending order.
3, -1, p
Let r = 85.05 + -85. Let t be 1/(-4) + (-34)/(-8). Sort t, 0, r in decreasing order.
t, r, 0
Let j be 11/(-22) + 42/4. Put 3, j, 4, 5 in decreasing order.
j, 5, 4, 3
Suppose -y = -4*d - 3 + 6, -4*y + 5*d + 10 = 0. Suppose v + 8 = y*v. Suppose -v = -l - 6. Sort l, 5, 3 in decreasing order.
5, 3, l
Let a = 12 + -7. Let y = 98 - 95. Sort y, -0.6, a in ascending order.
-0.6, y, a
Let a(v) = v**3 - 16*v**2 - 2*v + 30. Let j be a(16). Put j, 1, 0, 2 in descending order.
2, 1, 0, j
Let n(m) = m**2 + 4*m - 8. Let o = -3 - 3. Let i be n(o). Put 3, i, -1 in decreasing order.
i, 3, -1
Suppose -3*j + 8 = 2. Let x = j + 1. Suppose 0 = -x*z + 14 + 1. Sort z, 1, -2.
-2, 1, z
Let p be (10/(-8))/((-22)/(-88)). Sort -8, p, 4.
-8, p, 4
Let f be (-3 - -2) + (-3)/3. Put -11, -5, f in decreasing order.
f, -5, -11
Let d = 22 + -18. Sort -2, d, 1, 2 in decreasing order.
d, 2, 1, -2
Let o be (-38)/123*2 - 0. Let p = 37390/41 + -912. Let z = o + p. Sort -3, -4, z in increasing order.
-4, -3, z
Let g be ((-20)/(-25))/(21/15). Let z = -6 - -6.02. Put g, z, -4 in ascending order.
-4, z, g
Let n = 23/4115 - 4843677/57610. Let y = 169/2 + n. Let o = 28 + -25. Sort y, 2, o.
y, 2, o
Let g be (-571)/2*(-3)/(-6). Let h = g + 142. Sort h, 3, -0.1 in increasing order.
h, -0.1, 3
Let n(m) = m**2 - 39. Let j be n(-6). Sort -5, 9, 4, j in decreasing order.
9, 4, j, -5
Let l = -105 + 101. Sort l, -1, 2 in descending order.
2, -1, l
Let a = -238 + 1663/7. Let v = -1.3 - 3.7. Let u = v - -9. Put u, 0, a in increasing order.
a, 0, u
Let x be ((-2)/4)/((-7)/98). Let g be (20/(-16))/(2/8). Let d = g + x. Put 1, 0, d in decreasing order.
d, 1, 0
Suppose -3*p + 2*j + 2 = 3*j, -2*p + j = -8. Let r be p/(-5) - (-171)/315. Put -4, 0.5, r in ascending order.
-4, r, 0.5
Let q = 0.97 + -1. Let z = q + -0.03. Let d = z - 1.94. Sort d, 0.5, -1.
d, -1, 0.5
Let d be (20/15)/((-1)/(-3)). Let c = 4 - 6. Sort 0.3, c, d in increasing order.
c, 0.3, d
Let u(l) =