, -1, 0
Let x = -160 + 803/5. Sort 0.4, 0.2, 3/13, x in increasing order.
0.2, 3/13, 0.4, x
Suppose 5*v - 23 = -3*h, 0 = 5*v + 3*h + h - 19. Let l = -6 + v. Let r be (3 - 2 - 0)*l. Sort r, -1, 2 in decreasing order.
2, r, -1
Let a be 6 + (-2)/4*2. Suppose 2*s - 2*t = -2, 0 = s - 4*s + 4*t - 4. Let g be (-18)/(-5) - (-6)/15. Sort s, g, a.
s, g, a
Let w be 30/(-135) + 22/18. Let r(d) = -d**2 + 6*d - 3. Let y be r(4). Put y, w, 3 in descending order.
y, 3, w
Let c = 173/7 + -25. Suppose 4*i - 6 = 7*i. Put -1, i, c in increasing order.
i, -1, c
Let n(o) = o**3 - 9*o**2 - 8*o - 11. Let v be n(10). Put 5, v, -2 in decreasing order.
v, 5, -2
Let p = -645 + 645. Suppose -q = 3*i - 13 + 34, 41 = -3*q + 2*i. Sort q, -5, p in descending order.
p, -5, q
Suppose 2*a = -2*a. Suppose -6 = -2*h - a. Suppose r + h*r - 4 = 0. Sort r, 0, 3 in decreasing order.
3, r, 0
Let h = -26 + 26. Put -3, -4, h, 1 in increasing order.
-4, -3, h, 1
Let j(z) = -z + 10. Let u be j(11). Suppose -12 = -3*l + 3. Suppose 5*r - 2*h = -0 - 15, -l*r = 2*h + 35. Put -4, u, r in ascending order.
r, -4, u
Let j(f) = -f**3 - 2*f**2 + f + 1. Let h be j(-2). Let b be (-3 - 1)/((-1)/4). Suppose 3*c = 7*c - b. Sort c, h, -2 in ascending order.
-2, h, c
Suppose 2*z - 21 = 7*a - 2*a, -4*a = 3*z + 3. Suppose 46 = 8*y + 14. Sort 2, z, y.
2, z, y
Let j = 7 - 3. Suppose -4*g + 1 = -v + 3, -2*v = -j*g - 4. Sort g, -2, 1.
-2, g, 1
Suppose -i + 43 = -4*v - 6, 5*i = 5. Let y = -5 - v. Suppose 0 = -0*g + g + y. Put g, -3, -1 in descending order.
-1, -3, g
Let n = -8 - -15. Suppose r = p - 5, -r = -3*p + n*p. Let m = 3 + -1. Put -2, r, m in ascending order.
r, -2, m
Let m(k) = -k**2 - 6*k. Suppose s = -2*s - 18. Let c be m(s). Suppose 5*o - o = c. Sort 5, o, 1.
o, 1, 5
Suppose -40 = -6*g - 2*g. Put g, 23, 4 in increasing order.
4, g, 23
Suppose -4*x = -3*y + 3, -y - 2*x + 1 = -7*x. Suppose 0*v + 2*v + 4 = 0. Sort 0, y, v.
v, 0, y
Let m be (-39)/4 - 3/12. Let j = -16 - m. Let r(q) = -q**2 - 6*q - 4. Let t be r(j). Put -3, 0, t in ascending order.
t, -3, 0
Let y(b) = b - 4. Let n be y(3). Let g = n + 9. Let a = -11 + g. Put 2, -4, a in ascending order.
-4, a, 2
Let k = -87 + 87. Sort k, 4, -5, -2 in descending order.
4, k, -2, -5
Suppose 11 = 5*s - 4. Let t = 6.5 - 5. Let m = -2 + t. Sort s, m, -2/7 in increasing order.
m, -2/7, s
Let f = -65 + 62. Sort f, 3, -4, 0 in descending order.
3, 0, f, -4
Let m = -1.08 - -1. Let d = m + -0.52. Let r = d + 0.1. Sort -0.2, -3, r in decreasing order.
-0.2, r, -3
Suppose b - 3 = u, -6*u = -2*u - 2*b + 4. Sort u, 4, -3 in descending order.
4, u, -3
Let f = -21 - -20.82. Let u = f - -0.1. Let w = 1.08 + u. Sort -1, w, -4.
-4, -1, w
Let w(d) = -d**2 + 9*d + 3. Let h be w(9). Let a(n) = 2*n - 3. Let x be a(h). Suppose -6*f = -0 - 6. Sort f, -4, x in descending order.
x, f, -4
Let n = 0.63 + -4.33. Let l = -4 - n. Let a = -5 + 8. Put -4, l, a in ascending order.
-4, l, a
Suppose 3*q = g - 10, -3*g + 11 = 2*q + 3. Let n = 229/3 - 77. Sort 0.5, n, g in descending order.
g, 0.5, n
Let b(o) = 6*o**2 - 2. Let r be b(1). Sort -3, r, 5 in decreasing order.
5, r, -3
Let p = 4 - 4.08. Let y = 128 + -132.08. Let l = p - y. Sort 0, -0.4, l in decreasing order.
l, 0, -0.4
Let h = -1 - 1.6. Let j = -0.01 + -2.99. Let m = h - j. Sort 2, m, 4 in descending order.
4, 2, m
Suppose q = -2*q + 2*t + 8, 0 = t + 4. Sort -0.3, q, 5 in descending order.
5, q, -0.3
Let k = 7 + -17. Let c = k - -6. Let x(i) = i**3 + i - 3. Let b be x(0). Put 4, c, b in ascending order.
c, b, 4
Let x be (-40)/2*(1 + 0). Let k be 8/12 + x/(-6). Suppose -5*b = -b - 20. Put 1, b, k in increasing order.
1, k, b
Let f be (-5205)/2765 - (0 - 2). Let i = f + 2/79. Sort 1, -0.1, i.
-0.1, i, 1
Suppose 7 = 5*b + 22. Let a be (6/4)/(6/32). Let y = -5 + a. Sort 1, b, y in descending order.
y, 1, b
Let v = 1.84 + -1.8. Sort v, 3, 0 in increasing order.
0, v, 3
Let v = -22 - -18. Put 4, v, 5 in increasing order.
v, 4, 5
Suppose 2*k - 1 - 3 = 0. Let f(h) = h**3 + 6*h**2 - 3. Let s be f(-6). Sort k, -5, s in ascending order.
-5, s, k
Suppose -3*m = -g - 4*m + 7, 0 = 4*g - m - 8. Suppose 0 = -l + 1 + 1, 2 = -2*n + 3*l. Let y be (2/3)/((-4)/(-6)). Put y, n, g in ascending order.
y, n, g
Suppose v + 2*v + 3 = 0. Sort v, 3, 2 in decreasing order.
3, 2, v
Let y = 50 - 43.1. Let s = -7 + y. Let v be 2/(-10) - (-3 - -3). Sort s, -4, v.
-4, v, s
Let i be -2 + (-3 - -5*2). Suppose 25 = i*r + 5. Let q be (-2)/(-5) + 16/10. Sort q, 5, r in decreasing order.
5, r, q
Let s(g) = g + 1. Let z be s(2). Suppose 0 = -2*u - 6, -2*u - z = q + 2*q. Sort q, -4, -1 in descending order.
q, -1, -4
Suppose -2*z = 6, -3*z - 2*z = -2*s + 21. Let u be s + (-5 - 2)*1. Sort 1, 5, u.
u, 1, 5
Suppose 1 = -0*w - w. Let i = 1 + w. Put i, -1, 5 in increasing order.
-1, i, 5
Suppose 0 = 15*h - 11*h. Sort h, -3, 4.
-3, h, 4
Let q = -210 + 195. Sort 3, 0, -3, q in descending order.
3, 0, -3, q
Suppose -2*d + 4 = -2*m - 10, 3*d = m + 15. Suppose -u - 9 + d = 0. Put 1, -4, u in descending order.
1, -4, u
Let n = 155/18 + -17/2. Let j = 1 + 1. Sort n, -0.3, j in decreasing order.
j, n, -0.3
Let f = 20 + -20.5. Sort f, 0, -1.
-1, f, 0
Suppose 3*v = 4*v + 2. Let p be 4/14 - (-23)/(-7). Let s = p + 0. Put s, v, 2 in increasing order.
s, v, 2
Let n be 4*((-3)/1)/3. Let c(i) = i**2 + 4*i - 10. Let s be c(-6). Let t(h) = -h**2 - h. Let x be t(1). Sort n, s, x.
n, x, s
Let v = -18 - -22. Put -0.4, -2, v in decreasing order.
v, -0.4, -2
Let n be (-12)/5*(-2)/(-6). Suppose -i = -4*i + 1398. Let x = -3256/7 + i. Sort n, x, -4 in decreasing order.
x, n, -4
Suppose 2 = -2*a - 4*z, 2*z = 3*a + 4*z - 5. Suppose a + 0 = g. Sort g, 1, 4.
1, g, 4
Let i(u) be the first derivative of -5*u**3/3 - u**2/2 + 2. Let x be i(-1). Suppose 3 + 7 = 5*g. Sort g, x, -5 in increasing order.
-5, x, g
Suppose 0 = q + q + 4. Suppose o = -4*z + 11, o + 2*z - 7 = -0. Let x be 0/(1/1) + o. Sort 0, q, x in ascending order.
q, 0, x
Suppose -53*t - 1 = -52*t. Sort t, -5, -2 in increasing order.
-5, -2, t
Let r = 66 + -196/3. Let p be ((-250)/56)/(2/(-4)). Let n = -19/2 + p. Sort r, n, -1/2 in decreasing order.
r, -1/2, n
Let c = 0 + 1. Let g = c + 3. Let i be 4/((-48)/(-20))*3. Sort -3, g, i in decreasing order.
i, g, -3
Suppose -3*z - 2*z = -145. Suppose s - 15 = -3*c, -s - 5*c = 2*s - z. Let q be 0 - 2/(-5)*-5. Sort s, q, 1 in increasing order.
q, 1, s
Let n = 99 + -101. Let z = -15 - -10. Sort -3, n, z in descending order.
n, -3, z
Let q = 23/20 - 9/10. Sort q, 0.5, 4, -2 in increasing order.
-2, q, 0.5, 4
Let h(n) = -2*n. Let o be h(-1). Suppose 0 = -o*c + p + 7 - 2, -4*c = -5*p - 7. Suppose -c*g + 4 = 19. Sort 5, g, -3/2 in increasing order.
g, -3/2, 5
Let p = -0.3 + 0.5. Let a = -6 + 10. Let b = 37 - 36. Sort p, b, a in decreasing order.
a, b, p
Let o(u) = u**2 - 3*u + 2. Let y(p) = p**2 + 4*p - 3. Let d be y(-5). Let q be o(d). Suppose q*a = 2*t + a + 15, 0 = 3*t - 3*a. Put 1, 4, t in ascending order.
t, 1, 4
Let z be 5*(-1)/3 - -1. Suppose 12*w = 7*w + 10. Sort 0.4, z, w in ascending order.
z, 0.4, w
Let k = -19 - 7. Let m be (-6)/4 - 13/k. Sort m, 3, -2 in decreasing order.
3, m, -2
Let n(m) = -m**2 + 4*m + 2. Let j be n(4). Suppose 16 = -j*q - 4*c, 3*c + 7 = 1. Sort 4, q, -5.
-5, q, 4
Let d be 0*(-1)/(-4)*4. Let w(a) = a - 4. Let n be w(0). Sort -2, n, d.
n, -2, d
Let i = -1.1 + 1.3. Put 0.3, 1/4, i in increasing order.
i, 1/4, 0.3
Let y = 55.5 + -55. Sort y, -27, -0.4 in decreasing order.
y, -0.4, -27
Suppose -4*k = 4*c - 8, 0 = c + k + 2*k - 4. Put -4, c, 9 in descending order.
9, c, -4
Let g(h) = h - 13. Let a be g(8). Suppose -1 = -5*r - 6, -v - 2 = 2*r. Sort v, a, -4.
a, -4, v
Let h be (-34)/(-51)*3/1. Sort 2/11, h, -0.3, -0.2.
-0.3, -0.2, 2/11, h
Let x be 1 + (-1)/((-1)/(-3)). Let j(r) = -6*r - 22. Let m be j(-4). Sort m, -5, x in ascending order.
-5, x, m
Let r be (-4 + 2)*(-1)/(-2) + 5. Sort 1, r, -18.
-18, 1, r
Let l = 3 - 2. Sort 0, -1, l in decreasing order.
l, 0, -1
Let k = -4 + 8. Suppose -3*g + 3 = 3*a, k = 2*a - 4. Suppose 0 = 5*z + 2 - 17. Sort -5, g, z.
-5, g, z
Let q = 1.93 + 0.07. Let i = 16 - 19. Sort q, i, 0.1 in decreasing order.
q, 0.1, i
Suppose 0 = j - 4. Suppose -4*q + 20 = -j*i, -16 = 3*q - 7*q. Let z = -1 - -4. Put -0.4, i, z in descending order.
z, -0.4, i
Suppose -5*