 - 107/3. Put 0.2, u, p in descending order.
u, 0.2, p
Suppose 0 + 3 = 2*n + z, 6 = 2*n + 4*z. Put -2/17, 4, n in ascending order.
-2/17, n, 4
Suppose 0 = 3*t + p + 20, -2*p - 4 - 6 = 0. Suppose o + 15 = 6*o + 2*s, -2*o = s - 5. Sort o, t, -4 in decreasing order.
o, -4, t
Let d = -1.3 + 0.3. Let b = d - -6. Let x = 4.5 - b. Put 2/7, x, -3 in ascending order.
-3, x, 2/7
Let j be (8/(-6))/(6/18). Let u be (6/(-10))/((-2)/10). Suppose 0 = -4*g - 0*g - 4, 3*n - 4*g = 7. Put u, j, n in increasing order.
j, n, u
Let a(r) = -r**3 - 14*r**2 + r + 8. Let l be a(-14). Sort 4, l, -2 in descending order.
4, -2, l
Let j = -96 + 91.02. Let h = 0.02 - j. Put h, 1/6, 0 in increasing order.
0, 1/6, h
Let j(o) = o**3 + 7*o**2 - 9*o - 6. Let k be j(-8). Let s = k - 5. Let t = 5 + -9. Put t, 4, s in decreasing order.
4, s, t
Let k = 0 - -5. Suppose 3 = 2*l - 3. Put l, k, -1 in decreasing order.
k, l, -1
Let m(d) = 2*d**2 + 3*d + 4. Let u be m(-2). Sort 2, u, -1, 5 in descending order.
u, 5, 2, -1
Let v be (6/18)/((-1)/15). Put -3, -4, v in descending order.
-3, -4, v
Let r = -1.23 + 1.3. Let i = -0.43 - r. Sort 2/15, 1, i in decreasing order.
1, 2/15, i
Let q = -9/8 + 47/56. Sort 4, 3.9, q in ascending order.
q, 3.9, 4
Let o = -0.2 + 0.3. Let w = 3 - 3. Let u = -5 + 1. Put w, u, o in increasing order.
u, w, o
Let u(h) = -h + 10. Suppose -2*j + m + 16 = j, 4*j - 5*m = 3. Let z be u(j). Suppose -4*q + 4*o = -26 + 2, 5*q - 2*o = 24. Sort q, -2, z in decreasing order.
q, z, -2
Let b be 2/(7/(-2) + 3). Sort -2, -9, b.
-9, b, -2
Let d = -10.8 + 15.8. Let m = -1 + 8. Sort -3, m, d in increasing order.
-3, d, m
Let q be (1 - 2)*(-2 + 4). Let u(x) = -2*x**2 - 5*x - 1. Let g be u(-2). Suppose -4*h + 3 + g = 0. Sort h, q, -1 in decreasing order.
h, -1, q
Suppose -u + 15 = -4*u. Suppose 0*r + 2*r + 5*q = 10, 0 = -5*r - 2*q + 25. Put -4, r, u in ascending order.
u, -4, r
Suppose 2*d + 1 - 5 = 0. Suppose 0 = -n + 4*n + 24. Let y be 6/n + 115/20. Put 0.2, y, d in ascending order.
0.2, d, y
Let k = 0.04 + -3.04. Let u = 146/5 + -29. Let c = 1232/9 + -137. Sort c, u, k.
k, c, u
Let b(k) = 4*k. Let a be b(-1). Suppose -3*x - 10 = -h - 5, 5 = h + 2*x. Put -2, a, h in decreasing order.
h, -2, a
Let r be -3*(2 - 39/18). Put -2/15, r, -4 in descending order.
r, -2/15, -4
Let f be ((-9)/6)/((-3)/4). Sort -1, f, 1 in descending order.
f, 1, -1
Let y = -12 + 12.5. Put y, 0.4, 0.3 in decreasing order.
y, 0.4, 0.3
Let j be 3*(-4)/(-12)*-4. Let z be -3 + 3 + 1 + -3. Sort -5, z, j in decreasing order.
z, j, -5
Let r be -3*248/(-180) - 4. Sort r, -24, 3 in increasing order.
-24, r, 3
Let l = -9.1 + 12.16. Let j = l - 0.06. Sort 1/6, -0.4, j.
-0.4, 1/6, j
Let h = 4.9 - 4.4. Sort -1, -2, h in decreasing order.
h, -1, -2
Let i = -9 - -20. Put i, -0.1, 2/3 in ascending order.
-0.1, 2/3, i
Let l be (-1 - (4 - 8)) + -9. Sort l, -3, 0 in increasing order.
l, -3, 0
Let z = -5 - -4.98. Let o = z + -0.28. Suppose -2*a + 3 + 5 = 0. Sort o, 0.01, a in decreasing order.
a, 0.01, o
Let r(y) = y**2 - 31. Let b be r(-6). Sort b, -2, -3, -5.
-5, -3, -2, b
Let t = -43.9 + 44. Put -4, t, 2, -2 in descending order.
2, t, -2, -4
Suppose -3*t + 3*h - 12 = 0, 2*h = -3*t - 0*h + 13. Put -3/5, t, 0.2 in decreasing order.
t, 0.2, -3/5
Let t = -0.6 + 0.5. Let z = t + 4.1. Sort -3, 1/5, z in decreasing order.
z, 1/5, -3
Let c = 135/896 - 1/128. Suppose -5*m - 11 = -1. Let y be (m/(-7))/(4/(-6)). Sort y, c, 1/5 in decreasing order.
1/5, c, y
Let f be -1 + 0 - (-35 - -4). Suppose 0 = 3*d - 3*o, 5*d + 0*o + o - f = 0. Put 0.3, d, -0.5 in decreasing order.
d, 0.3, -0.5
Suppose o + 0 - 1 = 0. Let a = -17.5 + 17. Let g = -0.1 + 0. Put o, g, a in ascending order.
a, g, o
Suppose -3*q + 8*q = -15. Suppose 7*d = 4 + 10. Sort d, q, -5 in descending order.
d, q, -5
Let z = 0.157 - 0.057. Let n be (-1 - 2)*2/8. Put z, n, -4 in descending order.
z, n, -4
Let u = 7 + -10. Sort 4, -2, u in descending order.
4, -2, u
Let h = 0.2 - 0.7. Put 4, 0.1, h in increasing order.
h, 0.1, 4
Let i = -3.1 + 2.9. Sort -3/8, i, -14.
-14, -3/8, i
Suppose 4*i + 29 - 3 = 5*b, -3*b + 22 = -4*i. Let u = 1 - 6. Let m = -6 + 10. Put m, i, u in increasing order.
u, i, m
Suppose -3*r + 3*j = -6 + 3, -4*j + 4 = 4*r. Let l be 2/r - (-48)/(-36). Sort l, -1/8, 0.1 in increasing order.
-1/8, 0.1, l
Let j = -4 - -9. Sort -2, 1, j in increasing order.
-2, 1, j
Let w = 49.9 - 55. Let g = -5 - w. Sort -1, 0.4, g.
-1, g, 0.4
Let s be 30/18 + (3/9 - 1). Sort 3, -5, -1, s in increasing order.
-5, -1, s, 3
Let d = -12 - -13. Sort d, -1, 2/13 in decreasing order.
d, 2/13, -1
Suppose 5*g = -a + 10, 2*g = -2*g - a + 8. Sort g, 4, -5, 3.
-5, g, 3, 4
Let l(n) = 2*n + 24. Let x be l(-10). Put x, 0.4, -0.07 in increasing order.
-0.07, 0.4, x
Let d(r) = -r**2 + 8*r - 2. Let o be d(8). Suppose 0 = 3*n + u + 237, -2*u - 132 = -5*n - 538. Let y be n/(-45) + (-2)/(-9). Put o, y, -3 in decreasing order.
y, o, -3
Suppose -3 = -n - 0. Suppose -3*q + 2 = -19. Put -5, q, n in descending order.
q, n, -5
Let n(k) = k**3 + 3 + 0 + 3*k**2 - 14*k + 18*k. Let y be n(-2). Put y, 5, -4 in ascending order.
-4, y, 5
Let u = -6 - -1. Suppose -2*f + 0 = 3*v - 3, 0 = -3*f + 4*v + 13. Sort f, 0.5, u in increasing order.
u, 0.5, f
Let s = 40 + -29. Put 3, -3, s in increasing order.
-3, 3, s
Let t be 1 - ((-3)/(-12) - 27/12). Sort 0, 0.4, t, 4.
0, 0.4, t, 4
Let b = 146 + -146. Put -2, b, 4, -5 in descending order.
4, b, -2, -5
Let f = -3 + 5. Suppose -g = f*g - 3. Suppose -3 = -n + g. Sort 2, -0.1, n.
-0.1, 2, n
Let w be (-1 - -2)/(0 + -1). Let i be (0/(-2))/(1/w). Let a = 4 - 3. Sort i, -3, a in descending order.
a, i, -3
Let r be 1/7 + 410/70. Let o = r - 4. Suppose -5*v + 20 = -5*j, -4*v - 6*j = -j - 7. Sort -2, o, v in descending order.
v, o, -2
Suppose -4*t - 2*v + 4*v - 20 = 0, -4*t + 4*v = 24. Let p(b) = b**2 + 5*b + 4. Let j be p(t). Sort j, 5, -1 in descending order.
5, j, -1
Let j = 389/20 - 81/4. Put j, -6, 0 in descending order.
0, j, -6
Let k = 1 - -1. Let b = 1 - k. Let d = 7 + -2. Sort d, 4, b.
b, 4, d
Let r be (-2)/(-2) - (-4)/(-2). Let c be (2 + -1 + r)/(-2). Let l = -4 + 3. Put 4, c, l in descending order.
4, c, l
Suppose -11*n + 9*n - 6 = 0. Put n, -1, 4 in decreasing order.
4, -1, n
Suppose -3 = j - 5. Sort j, -2, -10 in increasing order.
-10, -2, j
Let j(l) = -l**3 - 8*l**2 - 2. Let g be j(-8). Suppose -12 = -2*f + 5*f. Sort 0.3, g, f.
f, g, 0.3
Let d = -5.4 - -5. Let x = 3.93 + 0.07. Put 1, d, x in descending order.
x, 1, d
Let l(w) = 20*w**3 - 2*w**2 + 1. Let b be l(1). Sort -2/7, -0.3, b in decreasing order.
b, -2/7, -0.3
Suppose 0 = -0*p - 10*p + 330. Put p, -2, -1 in ascending order.
-2, -1, p
Suppose 8*u - 3 = 5*u. Sort -2, 0, u.
-2, 0, u
Let k be (-2)/7 + (-874)/28. Let u be (433/(-5))/((-98)/(-35)). Let w = u - k. Sort 2/7, w, -5 in descending order.
w, 2/7, -5
Suppose -b - 2 - 2 = -s, 5*b = s - 20. Sort s, 3, -5 in decreasing order.
3, s, -5
Let m(q) = q**3 - 11*q**2 - 12*q - 5. Let k be m(12). Put -3, 2, 0, k in decreasing order.
2, 0, -3, k
Suppose 0 = -f + b + 34, -3*b = f - 0*b - 22. Sort -4, f, 0 in descending order.
f, 0, -4
Suppose 0 = -5*q + 3*w + 27, -2*q + 16 = 5*w - w. Let y(p) be the second derivative of p**3/6 - p**2/2 + 46*p. Let k be y(q). Put -3, k, -2 in ascending order.
-3, -2, k
Let r = -4 - -3. Put r, 0.5, -3 in increasing order.
-3, r, 0.5
Let x = -2 - -8. Suppose -3*z + x*z = 0. Let t(o) = o**2 - o - 4. Let n be t(0). Put n, z, 3 in descending order.
3, z, n
Let h(m) = -m - 22. Let r be h(-9). Put r, -5, 3 in descending order.
3, -5, r
Suppose 4*y - 7 = 3*y - 5*t, 0 = 2*y + 5*t - 9. Let k(p) = 4*p - 1. Let w be k(1). Suppose 0 = -w*q - 1 + 4. Sort 0, q, y in descending order.
y, q, 0
Let u = 0.12 - -4.88. Let w = -3.6 - -3.4. Put -1, w, u in descending order.
u, w, -1
Suppose 4*s - 16 = 4*z, 3*s = -z - z + 12. Suppose z*b = -2*b + 8. Put -4, b, 0.1 in descending order.
b, 0.1, -4
Let c be -2 + 1/1 - 21/(-28). Sort -3, 2/3, c, -0.3 in increasing order.
-3, -0.3, c, 2/3
Let m = -4 - -3. Let h be 2 - m - 2 - 1. Suppose u + 8 = 4*x, -5*x + h*x + 2*u = -13. Put x, 2, -1 in descending order.
2, x, -1
Let w be (-5)/(-15) + 2/18. Sort -1/4, w, -1, -5.
-5, -1, -1/4, w
Suppose k - 2 + 1 = y, 5*y - 31 = -4*k. Sort 4/5, y, 2 in descending order.
y, 2, 4/5
Let 