 + y, -2*x - 23 = t*g. Sort x, -1, 2 in ascending order.
x, -1, 2
Let h = -4 - -7/2. Sort h, 1/2, 4 in descending order.
4, 1/2, h
Let u be (-2 + (-36)/(-15))*-5. Let l = 4 + u. Suppose -4*c + 22 = -5*q - 0*c, -3*c = -9. Sort q, l, 3 in descending order.
3, l, q
Let u = 1.013 + -0.013. Put -3, 7, u in increasing order.
-3, u, 7
Let q be (3 + (0 - 6))/1. Let c(p) = 2*p**2 - 7*p - 8. Let n be c(6). Suppose 3*k + 19 = -5*s, 5*s + 4*k + n = -0*s. Sort s, 4, q in ascending order.
q, s, 4
Let s be (5 - 8)/((-3)/((-3)/(-3))). Sort s, -2, -7, 4 in ascending order.
-7, -2, s, 4
Let w = 1 - -6. Let q = -0.7 + 4.7. Let l = w - q. Sort -2/11, l, -0.2.
-0.2, -2/11, l
Let w = -2.8 - -3. Let u = -1.2 + -16.8. Let s = u + 22. Sort -2, w, s in descending order.
s, w, -2
Let a = 1.75 + -0.75. Let y be (-10)/3 - (-2)/6. Let m = -143 - -709/5. Put a, y, m in increasing order.
y, m, a
Let u = 7 + -4. Suppose 18 = -7*q + 4*q. Let g be ((-3)/q)/((-2)/(-16)). Put g, u, 1 in increasing order.
1, u, g
Let w be 8*(6/(-24) + 2/(-8)). Sort w, 0, -2/3 in decreasing order.
0, -2/3, w
Suppose 0 = -2*f - 6, 0 = 4*i + 2*f + 2 + 8. Let a be i*(-4)/((-12)/15). Sort 3, a, -4.
a, -4, 3
Suppose 0 = 2*v + v + 4*t + 413, -5*v + 5*t = 735. Let x = -1574/11 - v. Let u be 0 + (-20)/(-11) + -2. Sort u, -0.2, x in descending order.
x, u, -0.2
Let i be (-7)/((-14)/(-3))*4. Let s be 0/(-2) - 2/10. Let f be (-2)/1 - (-22)/8. Put i, s, f in decreasing order.
f, s, i
Let o = 16 + -11. Sort -5, o, -2 in increasing order.
-5, -2, o
Let r be (-3)/(-4) + (-69)/12. Let m = 5 + r. Sort m, 4, 5.
m, 4, 5
Let d = 7 + -2. Sort -21, 1, d in decreasing order.
d, 1, -21
Let s be (-1 - -5)*1 - 4. Put 3, -3, s in increasing order.
-3, s, 3
Suppose 4*x + 5*f = f + 28, 5*f - 25 = -3*x. Put -58, 2, -5, x in decreasing order.
x, 2, -5, -58
Let h = -24 + 29. Let m be 3*69/54 - 3. Sort h, -2, m in ascending order.
-2, m, h
Suppose 0 = -5*v - 1 - 14. Let o be (-6)/((-14)/4 + 2). Sort v, o, 0 in decreasing order.
o, 0, v
Suppose -3*t - 1 = -3*v + t, v = -5*t + 13. Sort -3, v, -0.1.
-3, -0.1, v
Let m = -4 - -4. Let j = 1.4 - 2.4. Sort 0.2, j, m in increasing order.
j, m, 0.2
Let z = 4/11 - -3/22. Sort 2, 1, z, -2/3 in ascending order.
-2/3, z, 1, 2
Let i(y) = -y**2 - 2*y - 2. Let w be i(-2). Let u = w - -4. Sort -1, u, 5.
-1, u, 5
Suppose 0 = 4*c - 3*c - 1. Let r = -2 - c. Suppose 0 = 4*a - 0 - 12. Sort -2, a, r.
r, -2, a
Let c = -16 + 19. Sort c, 5, -1 in ascending order.
-1, c, 5
Let c(b) = 3*b**2 - 2*b + 3. Let u be c(2). Let q = u + -6. Let d(z) = z**3 - 4*z**2 + 4*z - 3. Let h be d(3). Put h, -4, q in increasing order.
-4, h, q
Suppose 2*b - 20 = -5*q, q - 5*b - 2 = 2. Sort q, 0, 5.
0, q, 5
Let l = -0.9 - -0.8. Sort -2, -2/3, -5, l.
-5, -2, -2/3, l
Let c = 54 + -62.3. Let f = 8 + c. Let d be (-10)/(-2) - (0 + 1). Put d, 3, f in ascending order.
f, 3, d
Let d = -8 + 11. Let r = -56 - -51. Put r, d, 0.1 in increasing order.
r, 0.1, d
Suppose 0 = -2*c + 5*c + 4*u + 23, 0 = 4*c + 2*u + 24. Put 0, c, -4 in increasing order.
c, -4, 0
Let s be 7 + (-2 + 2 - 2). Suppose -5*r + p - 2*p = -15, -s*p = 0. Let t be 2/(-8) + 1/4. Put -5, t, r in ascending order.
-5, t, r
Let j(c) = c**2 + 2*c - 6. Let m be j(-6). Suppose l = 3*l - m. Suppose 4*g + 2*u = -3*u + 11, 0 = 2*g - u - l. Sort 0, -1, g in ascending order.
-1, 0, g
Let o be (1 + -2)*6/2. Suppose 5 = -4*i + 1. Sort o, i, 6 in descending order.
6, i, o
Let w = -3.6 + 3.4. Sort w, 1, 2 in ascending order.
w, 1, 2
Let u be (0 - 3) + 3 + (3 - 8). Suppose 13 = -3*n - 4*h, -5*n - h + 0*h = -1. Let i(o) = -o**3 + o**2 - o - 2. Let z be i(0). Sort u, n, z.
u, z, n
Let l = 1 + -1.6. Let b = -0.2 - l. Let x = 2.5 + -2. Put b, -1/5, x in ascending order.
-1/5, b, x
Suppose 0 = 3*f - 4*g - 16, 5*g - 2*g + 26 = 4*f. Let t = f + -8. Sort 4, t, -5.
-5, t, 4
Suppose 0 = -3*b + 12 - 0. Let c = -0.05 - 0.15. Put 2/7, b, c in descending order.
b, 2/7, c
Let r(v) = 2*v**2 - 6*v + 6. Let z be r(4). Put 5, -1, -3, z in decreasing order.
z, 5, -1, -3
Let j = -23 - -15. Let i(r) = r**3 + 8*r**2 + 1. Let h be i(j). Sort 5, h, -4.
-4, h, 5
Let j = -10.19 - -0.19. Let i = -10.3 - j. Sort -1/3, 0, i in decreasing order.
0, i, -1/3
Let q be 6*1 - 2 - 2. Let m = -20 - -21. Sort q, -4, m in ascending order.
-4, m, q
Suppose 2*i + 5*j = 8, 10*i = 5*i - 2*j + 20. Sort i, -6, -2.
-6, -2, i
Let o = 3 - 3. Let i be (3 - 8)*(o - 1). Put i, -0.1, -1/4 in ascending order.
-1/4, -0.1, i
Let w be (-4)/(-8)*-4*-2. Suppose -5*b = -2*b - 9. Suppose 2*r - 17 = 5*k, -b*k = 2*r + 10 + 13. Put r, w, 3 in ascending order.
r, 3, w
Let p = 1 - 1.1. Sort p, -4, -5.
-5, -4, p
Let x = -22 + 19. Sort x, 5, 1 in descending order.
5, 1, x
Let t = -4.5 - -2.5. Suppose 5*h - 14 + 34 = -3*q, -5*q - 5*h = 30. Sort -4, t, q in decreasing order.
t, -4, q
Let s(i) = i**2 - 8*i - 2. Let d be s(8). Sort 2, 1, d in increasing order.
d, 1, 2
Let u = -125 + 89. Let y be 136/u + (-4)/18. Put y, 5, -5 in decreasing order.
5, y, -5
Let o(v) = 4*v**2 - 2*v - 3*v**2 + 14 - 15. Let u be o(-1). Suppose -24 = -2*w - w - 4*l, -3*w + 3*l = -3. Sort w, -5, u in decreasing order.
w, u, -5
Let f = 128 + -642/5. Let m = -4 - -3. Sort m, 0.5, f.
m, f, 0.5
Let g = -9 - -9.8. Let k = g - -0.2. Let c = 4.9 + -0.9. Put 0.3, k, c in ascending order.
0.3, k, c
Let m(g) = 6*g + 53. Let t be m(-8). Let r(h) = -h**2 + 4*h + 1. Let p be r(4). Sort t, -2, p in descending order.
t, p, -2
Let f = 9 - 13. Let d be (-1)/f + (-51)/12. Let k = 0.69 + -0.29. Sort d, k, -0.3.
d, -0.3, k
Let h = -44 + 49. Let m(x) = -2*x - 3. Let k be m(-2). Let i(n) = -n**3 - 3*n**2 - 4*n - 2. Let u be i(-2). Sort u, k, h in decreasing order.
h, u, k
Suppose 2*x - 7*x = 0. Put -3, -2, x in descending order.
x, -2, -3
Let h = 0.47 + -0.27. Let u = -0.25 - 0.05. Sort h, 0.3, u in increasing order.
u, h, 0.3
Let t be (-1)/(-4) - 37/4. Let x(f) be the second derivative of f**4/12 + 4*f**3/3 - 3*f**2 + 13*f. Let v be x(t). Sort 0, 5, v in ascending order.
0, v, 5
Let n = 14 - 0. Let s = n - 20. Let f = s - -4. Put -1/5, f, 1 in descending order.
1, -1/5, f
Let a = 0.18 - 0.29. Let r = a + 4.11. Sort r, 5, -0.3.
-0.3, r, 5
Let c = 213 - 219. Put 4, -1, c in increasing order.
c, -1, 4
Let a = -19 + 19. Let t = 0 + -3. Sort t, a, -1 in increasing order.
t, -1, a
Let o = 2 + -6. Sort o, 2/7, -0.2 in decreasing order.
2/7, -0.2, o
Let f(c) = c**3 - 15*c**2 - 17*c + 10. Let b be f(16). Suppose 2 = 4*n - 6. Let g be n/5 - (-6)/(-15). Sort b, 3, g in descending order.
3, g, b
Let x(h) = h**2 - 6*h + 5. Let r be x(4). Let b = -1 + r. Suppose 0*d = 2*d. Sort b, 4, d.
b, d, 4
Let c be (-6)/(-15) + 8/5. Put -3, c, 4 in decreasing order.
4, c, -3
Let g = -51 + 61. Sort g, 0, -5 in ascending order.
-5, 0, g
Let g be (1 - 0)/((-1)/5). Let j be (-3)/(((-30)/(-8))/g). Put 2, 3, j in increasing order.
2, 3, j
Let l(r) = -r. Let y be l(3). Suppose 4*b + d = -4, 6 = -b - 2*d - 2. Let g be b + (0 - -1) - 2. Sort 1, g, y in decreasing order.
1, g, y
Suppose -1 = 4*o + 11. Let p = 1 + -4. Let z = -1 + p. Put o, -5, z in increasing order.
-5, z, o
Let o = -1 - 3. Sort 5, o, -1 in increasing order.
o, -1, 5
Suppose -2*v + 13 = 5*c, 5*v - 2*c - 16 - 2 = 0. Let i = 2 + 0. Let a be i/(-3) + 51/9. Put -1, v, a in increasing order.
-1, v, a
Let g = 14 + -14. Suppose g = -w + 2*w + 2. Put -3, -4, w in descending order.
w, -3, -4
Let i = 0.5 - 1. Let d = -0.031 - -4.631. Let m = -5 + d. Sort 1, i, m in increasing order.
i, m, 1
Let w = -15 - -13. Put 4/5, 15, w in ascending order.
w, 4/5, 15
Let d = 0 - 6. Let f be (-2)/(d/(-5))*-3. Sort f, -3, 2 in descending order.
f, 2, -3
Let r = -2/75 - 116/1275. Suppose g + 3*l = 4, -5*g - 2*l = -3 - 17. Put r, -4, g in decreasing order.
g, r, -4
Let k(q) = -q + 9. Let w be k(14). Let r = -7 + 14. Suppose -2*v + r*v = 5. Put 3, v, w in ascending order.
w, v, 3
Let r = 365/72 - 49/9. Let b = -0.4 - 0.2. Let h = b + 1.1. Put r, -2, h in descending order.
h, r, -2
Let m = 38 + -42. Let g(n) = n**2 + 6*n + 5. Let y be g(-6). Sort y, m, -2/21 in increasing order.
m, -2/21, y
Suppose 3*a + 2*u - 68 = 0, 3*a + 0*a + 5*u = 80. Suppose -l + 6*l = a. Put 2, 3/4, l in decreasing order.
l, 2, 3/4
Let d = -4.2 - -4. Let b = d + 0. Sort 0.3, -5, b in increasing order.
-5, b, 0.3
Let u = 5.4 -