
o, u, -4
Suppose -4*j - 34 = -14. Suppose -4*l + 14 = u + 2*u, -5*l + 2*u = -29. Sort l, 2, j in decreasing order.
l, 2, j
Let l(y) = y - 2. Let o be l(-5). Let x = 6 + o. Sort 1, 3, x in descending order.
3, 1, x
Let h be -1 - (-1 - -1) - 2. Let s be 354/14 - 2/7. Suppose 5*p - s = -10. Put h, -5, p in descending order.
p, h, -5
Let k = 10 + -13. Suppose 0 = -2*n + 9 - 1. Sort k, 3, n in ascending order.
k, 3, n
Let b = 4.4 + -4.2. Put 0.3, 2, -1, b in ascending order.
-1, b, 0.3, 2
Let s be 0 - (4/1 - 4). Put 4, s, -3 in decreasing order.
4, s, -3
Let q = 27 + -12. Suppose -3*r + 0 + q = 0. Sort r, 2, -2/9 in ascending order.
-2/9, 2, r
Let z be ((-36)/(-27)*(-3)/2)/(-5). Sort z, -1, -1/8, 2 in descending order.
2, z, -1/8, -1
Let d(t) = t**2 - 5*t + 2. Let i be d(4). Suppose -4*v - 3 + 15 = 4*o, -4*o + 3*v - 23 = 0. Let y be o/((-3)/(6/4)). Sort i, y, 5.
i, y, 5
Suppose 15 + 19 = 2*n. Suppose -3 = 4*u + n. Sort u, -4, 0 in ascending order.
u, -4, 0
Let r be (-4)/20*(-710)/(-4). Let h = 37 + r. Put h, 2/7, -0.1 in decreasing order.
h, 2/7, -0.1
Let g = 88 + -88.1. Sort g, -5, 1/5 in decreasing order.
1/5, g, -5
Let d = -9 - -15. Let j = -2.7 - -2.2. Sort j, 4, d in descending order.
d, 4, j
Suppose 0 = 2*p - 3*q + 8 - 0, -3*q - 20 = 5*p. Let i = -3 - -6. Let s = i + -3. Put s, -3, p in ascending order.
p, -3, s
Let v be ((-5)/(-1))/(3 + -5 - -1). Put 4, v, 0 in ascending order.
v, 0, 4
Let u be (5 - 3 - 2) + 4. Let x be 6/(-9) + 4/(-3). Let q(o) = -o**3 - 2*o**2 + 2*o + 3. Let w be q(x). Sort w, u, -3 in increasing order.
-3, w, u
Let g(o) = o**2 + 4*o - 3. Let r be g(-5). Suppose -i + 4 = 7. Put i, -4, r in decreasing order.
r, i, -4
Let f = -11.7 - -13. Let c = f - 1. Sort 1, -0.2, c in descending order.
1, c, -0.2
Let y = 15/7 + -38/21. Let f = -0.9 - 3.1. Let p = -1 + f. Sort p, 0, y in ascending order.
p, 0, y
Let n = 16 - 20. Let r be (-1)/((-1 - -3)/6). Sort n, 1, r.
n, r, 1
Let n = 0.3 - 0.7. Sort n, -10, -1/6.
-10, n, -1/6
Suppose -5*a - 33 = -4*s, -s - 2 = 2*a + 3*s. Put -4, a, 6, -2/19 in descending order.
6, -2/19, -4, a
Let z(s) = -s**2 - s - 5. Let u be z(0). Suppose -5*n - 30 = -3*y, -5*y + 4*n = -25 - 25. Suppose -4*v = y + 2. Put u, 4, v in increasing order.
u, v, 4
Let n(q) = -q**2 + 3*q + 5. Let u be n(5). Let l = -32 + 63. Let r = -27 + l. Put u, r, -3/4 in descending order.
r, -3/4, u
Suppose 0 = i - 4*i - 12. Sort i, 1, 4 in increasing order.
i, 1, 4
Let p be 4/(-30)*(-2)/(8/20). Let y be (-4)/(-14) - (-9)/(-7). Put y, p, 3 in ascending order.
y, p, 3
Let h = 12/191 - 7891/955. Let a = h + 343/40. Sort 2/5, 4, a in ascending order.
a, 2/5, 4
Let c = -4 - -5.1. Let y = c + -1.2. Let d = -0.01 + 0.31. Sort y, -0.2, d in increasing order.
-0.2, y, d
Let c = -5.7 + 1.7. Let k = 32 + -32.5. Put k, 1/10, c in increasing order.
c, k, 1/10
Let z be 1/(-4) - 102/(-24). Suppose -2*g + 6*g = 0. Suppose -5*b + 2*b - 6 = g. Put z, 1, b in descending order.
z, 1, b
Let h be (0 + 1)*4/20. Let y be (-1)/(-2)*16/(-104). Put -3, y, h in increasing order.
-3, y, h
Let i(a) = a**3. Let b(r) = -7*r**3 + 7*r**2 - 7*r + 9. Let c(m) = -b(m) - 6*i(m). Let w be c(6). Sort -1, -2, w in decreasing order.
-1, -2, w
Let f = -239/610 + -1/122. Put -0.2, 2, f in decreasing order.
2, -0.2, f
Suppose -11*o + 9*o - 10 = 0. Sort -1, o, 3, -4 in decreasing order.
3, -1, -4, o
Let u = -8.6 + 8.4. Sort -3, 0.21, u.
-3, u, 0.21
Let z = 5 - 3. Let l be -3 + -4 + 6 + -1. Sort z, -1, l in decreasing order.
z, -1, l
Let f be (-3)/18*(-3)/(-3). Sort f, -5, 0.03.
-5, f, 0.03
Suppose 0 = 5*n + 5, 2*u + n - 5 = 4. Suppose -d + 1 - 6 = x, -u*d = x + 21. Sort d, -6, 3 in descending order.
3, d, -6
Suppose 0 = 4*i - 3*i - 4. Suppose 0 = -i*c + 8, -4*n + 0*c = 4*c. Put 1, 0.1, n in descending order.
1, 0.1, n
Let p be (9/(-4))/((-3)/48). Suppose 0*i - i + p = 0. Let n be (-4)/10 - i/(-15). Sort 3, -2, n.
-2, n, 3
Let h be 4/6 + 1/3. Let c be (h - (-2)/(-4))*4. Suppose -3*r = -c*r - 3. Sort -1, 1, r.
-1, 1, r
Let h(s) = s. Let r be h(2). Let u be 9/(-12) + (-300)/(-16). Let d = u + -17. Put r, d, 5 in descending order.
5, r, d
Suppose -5 = -2*w - 3*w. Suppose 2*u + u - 3*t - 18 = 0, -2*u = 3*t + 8. Suppose -3 - w = u*r. Put r, -5, -1 in increasing order.
-5, r, -1
Suppose -4*i + 24 = 9*s - 5*s, 18 = 5*s + i. Let t be -1 + -1 + 0 - -2. Let u = t + -1. Put 1, u, s in decreasing order.
s, 1, u
Let n(b) = 3*b + 1. Let o be n(1). Suppose -l = -5*l + o. Sort l, -3, 2.
-3, l, 2
Let v = -5.73 + 0.73. Sort -3/4, 5, 2/11, v in decreasing order.
5, 2/11, -3/4, v
Let l be (-1 - 11/(-10))*-3. Let c be (1/3)/((6 + 1)/(-7)). Sort l, -2/3, c in decreasing order.
l, c, -2/3
Suppose -z + 5*z = -4. Sort z, -11, -3.
-11, -3, z
Suppose -3*x + 4 = -2. Suppose 5*q - 4*p = x*q + 11, 5*p = q. Suppose 0 = -5*f + 3*i - 26, 2*i = 4*f - 3*i + 26. Put f, q, -2 in decreasing order.
q, -2, f
Let l be ((-3)/5)/(5/(-50)). Let y be -2 + l/4*-2. Sort 4, -4, y.
y, -4, 4
Suppose 0 = -2*w + 13 - 3. Sort -2, 0, w.
-2, 0, w
Let l = -0.3 + 0.8. Let d = 633 + -634. Sort l, d, 4 in increasing order.
d, l, 4
Let i = -80 - -128. Suppose -4*r + 5*b - i = -2*r, -5*b + 62 = -3*r. Let c be 8/(-28) - (-3)/r. Sort 5, c, -4 in descending order.
5, c, -4
Let p = -232 + 228.98. Let v = -0.02 - p. Let b = v - 1. Put -3/8, b, 0.1 in decreasing order.
b, 0.1, -3/8
Suppose 2*y - 5*c = 4, -4*y + 4 = -2*y + c. Let l be 4/1*2/(-4). Put y, l, 4 in descending order.
4, y, l
Let l be 3 + 0 + (-408)/120. Let s = -20 + 59/3. Sort l, 2, s in increasing order.
l, s, 2
Let h = 46 - 94. Sort -1, 1, h in descending order.
1, -1, h
Suppose 6*q + 4*a = 3*q - 27, 0 = -4*a - 12. Sort q, -2, -8, 3.
-8, q, -2, 3
Let z(c) = c**3 + 7*c**2 - 5. Let o be z(-7). Let g = -8 - o. Let q be 4 - 6 - 4/g. Put -2/5, -3, q in decreasing order.
-2/5, q, -3
Let g = 22045/77 + -1229/11. Let r = -175 + g. Let f(x) = -x**3 - 9*x**2 + 9*x - 12. Let t be f(-10). Put t, r, 1 in increasing order.
t, r, 1
Let s(k) = 5*k + 6. Let o be s(-2). Put -2, -1, o, 4 in descending order.
4, -1, -2, o
Let g = -3 + 5. Suppose k + 5 = t, -g*k - 3*k = 15. Suppose -4*s + 8 = t*w, -2 = -5*w + 18. Put s, -3, -1 in decreasing order.
s, -1, -3
Let m = -1150/7 - -164. Sort m, -2/15, 4/5 in descending order.
4/5, -2/15, m
Let n be 16/10*(-15)/(-6). Suppose x = 5*z - 5, -z + n*z = 3. Sort x, -1, 1 in descending order.
1, x, -1
Let b = 4 + -6. Let a = 4 + -8. Sort a, b, -5.
-5, a, b
Let d(h) = h**2 + h + 9. Let w be d(0). Suppose -2*r = 4*m - w - 7, 16 = 2*m + 5*r. Let f(o) = -o**3 + 7*o**2 + 8*o + 1. Let i be f(8). Sort m, 5, i.
i, m, 5
Let v = -6.8 - -6. Let n = -1 - v. Let m = 0 - n. Sort m, -2, 0.4.
-2, m, 0.4
Let n = -39/2 + 19. Let k = 778 + -780. Put n, k, 4 in ascending order.
k, n, 4
Let t = 1 + 0.2. Let w = t - 1.4. Sort -4, -1, w in descending order.
w, -1, -4
Let k = -8.04 - -0.04. Let d = k - -11. Let i = 4 - d. Sort 5, -3, i.
-3, i, 5
Suppose 5*g - 18 = -3. Sort g, -2, -5 in increasing order.
-5, -2, g
Let d = 5.8 + -5.6. Put d, 0, -1/5, 1/3 in decreasing order.
1/3, d, 0, -1/5
Suppose -18 = 2*a - 42. Suppose 0 = -5*z + z + a. Put z, 0.4, 2 in increasing order.
0.4, 2, z
Suppose -4*y + d - 3 = 0, -3*y - 3*d = 2 + 19. Sort 5, 16, y in decreasing order.
16, 5, y
Let a = 0.13 + -0.43. Sort 1, a, 14.
a, 1, 14
Let c be 2/(-6)*(4 - 1). Let v(o) = o + 2. Let r be v(-5). Sort r, -5, c in increasing order.
-5, r, c
Let o(z) = z - 2. Let r(a) = -1. Let m(s) = -o(s) - 4*r(s). Let j be m(8). Let i be j/((8/10)/(-2)). Sort i, -5, 4 in ascending order.
-5, 4, i
Let u(g) = g**2 + 2*g - 25. Let z be u(-6). Put 5, 1, z in increasing order.
z, 1, 5
Let q = -32 + 30. Sort 4, 3, q.
q, 3, 4
Let y be 11/4 + -2 + 36/16. Sort -0.4, 2, y, -0.3.
-0.4, -0.3, 2, y
Let a be (-10)/(-3)*(-2 - 1). Let y be a/(-25) + (-2)/5. Sort y, 3, -5.
-5, y, 3
Let a be 1 - 93/30 - (-24)/16. Put a, 0.5, 2/11, -3 in descending order.
0.5, 2/11, a, -3
Let m = 27 + -21. Put m, -0.3, -2/7 in increasing order.
-0.3, -2/7, m
Let v be ((-6)/5)/((-6)/20). Let f be -2*2/v + 6. Suppose -4*t + 8 = -2*s, 0 = -f*s - 5*t - 9 + 4. Sort s, 0.5, -1/4 in descending order.
0.5, -1/4, s
Suppose -5*g + 3*g = 0. Suppose 0 = -3*l - 2*l + 5. Sort 2, g, l in increasing order.
g, l, 2
Let c = -83/4 - -407/20. Sort 1/6, c, -5 in increasing order