-1
Let c = -0.4 + 2.4. Let i = -250 + 3248/13. Put -1, i, c in decreasing order.
c, i, -1
Let s(r) = 9*r + 20. Let i be s(-2). Suppose 2*w - 4*w = 4. Sort -3, i, w.
-3, w, i
Suppose -4*h = 4*v - 4, 3*h + 2 = 5*v - 27. Sort 1, -3, -2, v in descending order.
v, 1, -2, -3
Let v be (-18)/(-60)*6/9. Put v, 0.4, -0.2 in decreasing order.
0.4, v, -0.2
Let j = 4 - 6. Suppose -5*o = 5*y, 28 = -0*y + 3*y - 4*o. Let h be (-1)/y - (-38)/(-8). Put -4, h, j in increasing order.
h, -4, j
Suppose -5*q + f - 7 = -0*f, 5*f - 15 = 5*q. Let d be (3 + -1)*q/2. Put 5, 3, d in decreasing order.
5, 3, d
Let c(z) = -3*z**2 - 1. Let y be c(0). Put y, -3, 4, -4 in ascending order.
-4, -3, y, 4
Suppose -3*h + 0 + 12 = 0. Suppose -2*y = -w - 2, -6*w + 4*w + 12 = 4*y. Put h, 0, y in decreasing order.
h, y, 0
Let z = 1.4 - 0. Let t = z - 1. Sort t, -2/7, -4.
-4, -2/7, t
Let f be 16/(-40) - (-4)/(-10). Sort f, 0.4, 1/2.
f, 0.4, 1/2
Let l(r) = -2*r**2 + 2*r - 1. Let n be l(2). Let t = -21 + 17. Put -2, n, t in increasing order.
n, t, -2
Let y = -0.6 - -0.1. Let i = 0.1 + y. Let a = -0.32 + 0.22. Put i, a, -1 in increasing order.
-1, i, a
Suppose 0 = -v + 4*r - 197, -2*v - 5*r - 260 = 121. Let b = -55 - v. Let d = 547/4 - b. Put 1/4, -4, d in descending order.
1/4, d, -4
Let m = -10 - -14. Let u = m + -1. Let x be 2/(-1) - 2/2. Put u, 4, x in decreasing order.
4, u, x
Let n(w) = -2*w + 29. Let x be n(13). Put -2/5, -2/3, x in decreasing order.
x, -2/5, -2/3
Let g = 4.32 + 0.18. Let p = g + -10. Let r = p + 5. Put -3/5, -0.3, r in decreasing order.
-0.3, r, -3/5
Suppose -4*c + 5*r - 15 = 0, -c + 12 = c + 4*r. Suppose 0 = -c*v + 5*v - 20. Suppose -2*j - 10 = -2*p, p = -3*j - 2*j + 5. Put v, 2, p in ascending order.
2, v, p
Let n = 11 - 8. Let y = -0.24 - -0.34. Sort -0.1, y, n.
-0.1, y, n
Let a = 3 + -2.95. Let f = a + -1.05. Let x = 3/5 - 31/35. Sort f, x, 1/4.
f, x, 1/4
Let n be (-1)/((10 + 4)/2). Let y = -0.2 - 0.8. Put 0.5, n, y in ascending order.
y, n, 0.5
Let y(k) = -2*k**2 + 3*k - 3 - 9*k + 1. Let p be y(-4). Let v be 15/25 - (-2)/p. Sort v, 0.3, -0.1.
-0.1, 0.3, v
Suppose -3*r = l + 9, -l = -2*l - 3. Let f = -52 + 57. Put 2, r, f in ascending order.
r, 2, f
Let v = -15 - -15. Sort -5, v, 2 in decreasing order.
2, v, -5
Let x be ((-36)/(-32))/(6/8). Sort 2/9, x, 2/19, -3.
-3, 2/19, 2/9, x
Suppose 5*g - 5*t + 0 = -15, -2*t = 3*g + 19. Let c = 3 + g. Sort 1, 2, c in decreasing order.
2, 1, c
Let r = -3.5 + 1.9. Let x = r + 0.3. Let c = x - 0.7. Sort -3, 1, c in increasing order.
-3, c, 1
Let b be -9*3*(-1)/9. Suppose 0*s + 5 = 2*s + 5*h, 3*h = 3. Sort -4, b, s in ascending order.
-4, s, b
Let p be 5/3*(1 + -10). Let y = -9 + p. Let t be ((-32)/y)/((-2)/6). Put 5, 2, t in decreasing order.
5, 2, t
Suppose -2*b + 10 = 3*b. Let q be 2 + b + -1 + -2. Let j(m) = -2*m**2 - m + 1. Let t be j(q). Sort t, -4, 2.
-4, t, 2
Suppose -l - 3*l = 0. Suppose l*d - 5 = -d. Suppose 5 = 3*m - y, 0*m = -m - y + 3. Sort d, m, 4 in descending order.
d, 4, m
Let p(j) = -5*j - j**3 + 4*j**2 + 2*j**3 + 7*j + 1. Let k be p(-3). Let a = 0 - 3. Put a, k, -1 in decreasing order.
k, -1, a
Suppose 1 = -4*a - 2*l + 7, 3*a = 5*l - 2. Let p be 4*-3*a/(-6). Put -0.2, p, -4 in increasing order.
-4, -0.2, p
Let j = 0.9 - 1.3. Sort 2/11, j, 4, -5 in descending order.
4, 2/11, j, -5
Suppose 2*g = 12 - 4. Suppose 2 = -g*y - 14. Suppose x = -3*z - 6, -3*z - 2*x = -0*x + 9. Sort -2, y, z in decreasing order.
z, -2, y
Let x be (-6)/21*7*4/12. Let a = -5 - -10. Sort 1/3, a, x in increasing order.
x, 1/3, a
Let f be ((-6)/4)/((-1)/2). Put f, -2, 2 in decreasing order.
f, 2, -2
Suppose 9*f = 13*f - 20. Put f, 1, -3 in decreasing order.
f, 1, -3
Let w = -0.04 + 0.02. Let q = w + -1.98. Sort 2/3, q, 0.4.
q, 0.4, 2/3
Suppose 6*t = 8*t - 8. Sort 3, t, 11.
3, t, 11
Let h be -3*(12/9)/1. Let m = h + 8. Sort 5, m, -4 in increasing order.
-4, m, 5
Let s = 2.761 - -0.349. Let j = 0.19 + -0.08. Let g = j - s. Put g, 5, -1/9 in increasing order.
g, -1/9, 5
Let d = -3 + 0. Let c(a) = -a - 1. Let h be c(4). Sort h, d, 5 in decreasing order.
5, d, h
Let c = 0.2 + -1.2. Let a = -0.6 + 0.54. Let i = 0.56 + a. Sort i, 4, c in descending order.
4, i, c
Let t = 1.61 + -0.71. Sort 3, -3, t, -1/7 in decreasing order.
3, t, -1/7, -3
Let q be 44/10 - 12/30. Suppose q*d = -d + 25. Put -1, 4, d in descending order.
d, 4, -1
Suppose -g + 8 = -0*g + u, -4*g = u - 26. Suppose -j + 0 = -v + g, -v - j - 4 = 0. Sort 4, 5, v in decreasing order.
5, 4, v
Let s = 10 - 1. Let t be (-3)/(s/(-12)) + -2. Let m = -15 + 21. Sort t, m, -2 in decreasing order.
m, t, -2
Suppose -5*h + 12 = -3*h - 5*r, -5*h + 9 = -2*r. Sort -1, h, 5 in decreasing order.
5, h, -1
Let o = -37 + 54. Suppose k - 4*l = -0*l + 13, -4*l = -5*k + o. Let u = -5 - -8. Sort u, k, -5.
-5, k, u
Let i be (4/(-6))/((-14)/(-9)). Suppose 0 + 3 = c. Let n = -0.7 - -0.2. Sort n, c, i in decreasing order.
c, i, n
Let u(b) = -b**2 - 6*b - 4. Let d be u(-4). Put -2, d, 2 in descending order.
d, 2, -2
Suppose -1 = t - 11. Let h be 0 - -1 - t/1. Let n be (-9)/(-15)*(-3)/h. Sort 2/13, -3, n in ascending order.
-3, 2/13, n
Let r = -16 + 15. Sort 3, 5, r.
r, 3, 5
Let v = -19 + 35. Let f be (v/6)/(8/(-12)). Put -1, 1/2, f in decreasing order.
1/2, -1, f
Let g be 6/(-15) - 17/(-5). Let z be ((-36)/15)/(g/(-15)). Let f(o) = o**2 - 12*o - 5. Let u be f(z). Put -4, -2, u in descending order.
-2, -4, u
Let j = -2 - -3. Let m = j - 0.5. Let p be 2*((-2)/16 + 0). Sort -0.3, m, p.
-0.3, p, m
Let f = -864/35 + 122/5. Let d = 0.12 - 0.32. Sort d, f, -2.
-2, f, d
Suppose b - 2 = 12. Let l(n) = -n**3 + 15*n**2 - 14*n - 3. Let v be l(b). Put v, -2, 5 in increasing order.
v, -2, 5
Suppose f + 6 = -4*c - 18, 3*c = -f - 19. Let o = 9 + -5. Suppose -3*w + 2 = -4*x, o*x = 7*w - 2*w + 2. Sort 3, f, w in descending order.
3, w, f
Let v(o) = -o - 1. Let u be v(-7). Let f be (-2)/u*(5 + 10). Sort -4, 1, f in ascending order.
f, -4, 1
Suppose 0 = -2*p + 2*c + 15 + 39, p - 3*c = 35. Let b = p - 33. Let v = b + 6. Put v, 1, 0 in descending order.
1, 0, v
Let q be (0/6)/((-4)/(-2)). Suppose q = o + 4*o. Sort o, -3, 6 in decreasing order.
6, o, -3
Let g(f) = f**3 + 4*f**2 + 5. Let c be (0 + -1)*7 - -3. Let s be g(c). Put -1, 1, s in increasing order.
-1, 1, s
Let m be (-28)/(-154) - (-24)/(-11). Put -3, 0, m, -1 in ascending order.
-3, m, -1, 0
Suppose -12 = -17*x + 13*x. Suppose 5*n + 3 = -4*u, 0*n + 2 = -4*n - x*u. Suppose -3*i = -2*i. Sort i, 4, n.
i, n, 4
Let q = 6 - 3. Let d = -65 - -67. Sort d, -2, q in descending order.
q, d, -2
Let k = 7 - -1. Let v be (k/6)/((-6)/9). Let c = -6 + 9. Sort c, v, -2/5.
v, -2/5, c
Let v = 1.4 + -9.4. Let m = v - -10. Sort m, -0.2, -1/8 in descending order.
m, -1/8, -0.2
Let p = -0.67 - -0.17. Put 4/7, p, 5 in descending order.
5, 4/7, p
Let b be (2/5)/((-3)/(-15)). Put b, -1, 4 in descending order.
4, b, -1
Let u = 91 - 92. Sort 0.1, -1/6, u, -2/5 in increasing order.
u, -2/5, -1/6, 0.1
Let m(o) be the second derivative of o**4/12 + 5*o**3/6 - 2*o**2 + 3*o. Let s be m(-5). Suppose -2*u + 8 = 2*u. Sort s, -2/17, u.
s, -2/17, u
Let b(i) = i - 4. Let n be (-2)/(-10) + (-38)/(-10). Let m be b(n). Let k be 0/(3 - m)*1. Put k, -3, -5 in decreasing order.
k, -3, -5
Suppose -3*h = -12*h - 9. Sort -10, -5, h in increasing order.
-10, -5, h
Suppose 3*k + 4 = 1. Let r = -2 + 7. Suppose 4*d + r*h = 8, 3*h - 6 - 3 = -d. Sort d, k, 0 in descending order.
0, k, d
Suppose -3*n + 9 - 3 = 0, -n + 22 = 4*u. Let r be -1 - 0 - (0 + -1). Let c be 45/(-6)*4/6. Sort r, u, c.
c, r, u
Suppose 7*m + 3 + 4 = 0. Sort -5, 23, m in ascending order.
-5, m, 23
Suppose -g + 22 = -5*w, 0 = w + 5*g + 16 + 4. Let d(n) = -n**3 - 5*n**2 + 4. Let m be d(w). Sort m, 1, 2 in decreasing order.
m, 2, 1
Let p(a) = a**3 + 8*a**2 - 11*a - 11. Let b be p(-9). Suppose c + b - 3 = 0. Put -2, c, -8 in ascending order.
-8, c, -2
Suppose 5*d - t = 4*t - 45, 4*t - 32 = 3*d. Let b be (384/(-21))/8 + 4/14. Put b, d, 5 in decreasing order.
5, b, d
Suppose -4*i + 7 + 9 = 0. Put 2, i, -9 in decreasing order.
i, 2, -9
Let i(m) = m + 1. Let c be i(-1). Let v(b) = -b**2 - 12*b - 9. Let a be v(-11). Suppose -3*l - a*l = -25. Put c, l, 2 in ascending order.
c, 2, l
Let k = 1 + 6. Suppose k + 5 = 2*w. Suppose w = 2*l - 2. Sort l, -5, -1 in ascending ord