 5*x + 5 = n + 19. Put 0, 7, x in increasing order.
0, x, 7
Suppose 5*n + 14 = 4*u - 1, 0 = 2*u + 2*n + 6. Suppose -3 = -u*l - 3*l. Suppose -2*b = -b - 3. Sort b, 0, l in ascending order.
0, l, b
Let q = -63 + 62. Put 3, 2, q, 1 in descending order.
3, 2, 1, q
Let l be 1/1 + 2/1. Let b(r) = -r. Let d(y) = 1. Let s(i) = 2*b(i) + d(i). Let o be s(2). Sort l, -4, o in descending order.
l, o, -4
Suppose -2 = q + t, -4*t = -3*q - 25 - 2. Let g = 10 + -5. Sort g, q, -3 in descending order.
g, -3, q
Let y = 6.5 - 5.1. Sort -4, y, 0.4, 3 in descending order.
3, y, 0.4, -4
Let o be (0 + 1)*-1 + 1. Let a = -17/49 - -3/49. Sort -1, a, o in decreasing order.
o, a, -1
Let m(n) = n**3 - n + 7. Let u be m(0). Suppose -17 = -2*w - u. Let o(z) = -z**2 + 4*z + 6. Let k be o(5). Sort -2, k, w.
-2, k, w
Let y be 1 + 6/(-33) + -1. Sort 0, y, -1 in ascending order.
-1, y, 0
Suppose 4*g + 2*k - 4 = -0, -4*k - 3 = -3*g. Let m(q) = 0*q**2 - q**2 - g - 3*q - 2*q. Let d be m(-5). Sort d, -5, 4 in increasing order.
-5, d, 4
Let m = 0.02 - -0.98. Let r be 0 + 0 - 36/81. Suppose z - 2 = w, -1 + 5 = -4*w + 3*z. Sort m, r, w in ascending order.
r, m, w
Let o(a) = -a**3 + 7*a**2 - 7*a + 2. Let h be o(6). Let l(t) = 3 + t + 0*t + 3*t + 0*t. Let b be l(-2). Sort h, b, 4 in increasing order.
b, h, 4
Let d be (-2)/5*(-30)/78. Let z = -321 + 2251/7. Sort d, z, -1/2 in descending order.
z, d, -1/2
Suppose 0 = -4*m - 3*n + 2*n - 25, 3*n = -15. Suppose -4*l = -20 + 4. Let o(a) = a**2 - 4*a. Let t be o(l). Put t, 2, m in descending order.
2, t, m
Let p be 2/(-7) + (-111)/(-21). Suppose -2 = -q - 0. Let n be 0 + (-6)/(q - -1). Put p, 4, n in increasing order.
n, 4, p
Let o = 8 + -2. Let i = o + -5.5. Put i, 2, -2/7 in decreasing order.
2, i, -2/7
Suppose 4*i - 3*a = -23, -3 + 18 = 3*a. Let s(u) = u**3 - 3*u**2 + u + 1. Let n be s(3). Sort i, 2, n in decreasing order.
n, 2, i
Let y be 2 + 1/(-4*(-2)/8). Let i = 4 - 9. Sort i, y, -3.
i, -3, y
Let v be 18/21 - (-1)/(-1). Suppose 4*y + 5*z + 7 = 0, -5*z + 0*z - 13 = y. Let q be -2 - 15/(-4) - y. Sort q, 0, v.
q, v, 0
Let p = 0.4 - -0.6. Let h = -8 + 7.8. Sort p, -2, h in decreasing order.
p, h, -2
Let s = -16/31 - 2432/93. Let v = -27 - s. Let f be 4/(-9)*(-3)/(-10). Put f, 3, v in descending order.
3, f, v
Let m(a) = -a**2 - 4*a + 7. Suppose 3*v + 6 = 3*j, -2*v - 38 = 3*v + 2*j. Let q be m(v). Let w be 2/2*9/3. Sort w, -2, q.
q, -2, w
Let s = -6.93 - -7. Sort -5, 3, s.
-5, s, 3
Let s be (-2)/7 - ((-172)/14 + 8). Let m(b) = 3*b**2 + b. Let t be m(-1). Let n be (-16)/7 - t/(-7). Sort s, n, -4 in ascending order.
-4, n, s
Let k be (-1)/(-2)*-6 + -1. Put 2, k, 0, 4 in decreasing order.
4, 2, 0, k
Suppose 0 = -3*o + q - 4, -o + 0*q + 3*q + 12 = 0. Let y = 1 - o. Sort 2, -4, y in descending order.
y, 2, -4
Suppose -n = 2*n - 12. Sort -6, n, 1 in descending order.
n, 1, -6
Let w = 112 - 112.6. Sort w, -2/5, 0.3, 1/6 in descending order.
0.3, 1/6, -2/5, w
Let j = 19 - 20. Sort j, 4, 2/19, 0.03.
j, 0.03, 2/19, 4
Let g(b) = -14*b - 2. Let h be g(-1). Suppose 4*f = h - 28. Put 3, f, -2 in decreasing order.
3, -2, f
Let j = -4.99 - 0.01. Suppose x + 8 = 5*x. Put -2/9, j, x in increasing order.
j, -2/9, x
Let s = 0.9 + -1. Let j = 0.2 - -0.16. Let q = j - -0.04. Sort -4/5, s, q.
-4/5, s, q
Let h = 0.5 - 0.45. Let z = h - -0.95. Put 1/4, -1/4, z in increasing order.
-1/4, 1/4, z
Let x be (-24)/(-9)*6/(-4). Sort -5, -3, x in increasing order.
-5, x, -3
Let x = -4 + 7. Let u(c) = 4*c**3 + c**2 + c. Let a be u(-1). Let w = -2 - a. Sort w, x, 1.
1, w, x
Suppose 3*m - 22 = 5*b, 6*m - 2*m = 2*b + 20. Sort b, -1, 2 in descending order.
2, -1, b
Suppose -7 = -5*x - 4*y - 40, -4*y - 3 = -x. Let g = -1 + -2. Suppose 4*w + 0*w = 0. Sort g, x, w in decreasing order.
w, g, x
Let a be 2 + 7/(28/(-8)). Let c be (-4)/(-6) + (-1)/(-3). Sort 3, c, a in ascending order.
a, c, 3
Let t = -4 - -5. Let n = 0.5 - t. Put -2, 0.3, n in increasing order.
-2, n, 0.3
Let q = 2 + -3. Let s = 0.36 + -0.06. Let n(t) = t - 1. Let z be n(-1). Sort q, s, z.
z, q, s
Let j = 0.4 - -0.1. Suppose 3*x + 50 = 2*o + 4*x, 2*x = -o + 28. Let p = o - 49/2. Put j, -0.1, p in descending order.
j, -0.1, p
Let r = 3.9 - 23.7. Let x = r - -20. Put -3, x, -7 in ascending order.
-7, -3, x
Let b(l) = 18*l**2. Let o be b(1). Let w be (-38)/(-6) - 6/o. Let n(g) = g**3 - 6*g**2 - 2*g + 9. Let x be n(w). Sort -2, x, -4 in increasing order.
-4, x, -2
Suppose -p - 4*i = -3, 0*p - 3*p - i = 13. Sort 18, 2, p in decreasing order.
18, 2, p
Let d be (-36)/(-8) + 2/(-4). Suppose u + 3*j = -3, d*u + 4*j = 3*u - 4. Sort 1, -5, u in descending order.
1, u, -5
Suppose w = -10 + 2. Let d be (-6)/w*(-6)/(-18). Put d, -0.2, 3 in decreasing order.
3, d, -0.2
Let b = -12 - -14. Sort b, 3, -1, -4.
-4, -1, b, 3
Let w(k) = k**2 + 8*k - 11. Let h be w(-9). Put h, 0.6, -0.1 in ascending order.
h, -0.1, 0.6
Let s(x) = x**3 - 20*x**2 + 20*x - 18. Let o be s(19). Let q be 7/(-12) - 1/(-3). Sort 1/2, o, q in decreasing order.
o, 1/2, q
Let q = -26 - -22. Sort 2/11, q, -5 in increasing order.
-5, q, 2/11
Let o be (-2 - 28/(-8))/(-6). Sort 0.3, 4, o.
o, 0.3, 4
Suppose -5*x = -2*s, 4*s + 3 = -4*x - 25. Let o be 0/((3 - 0)/(-3)). Suppose -3*j + 6*j = o. Sort j, 1, s in decreasing order.
1, j, s
Let l = 16 + -19. Put l, 1, 18, 4 in descending order.
18, 4, 1, l
Let n = -15 - -24. Let r be (-24)/(-9)*n/6. Suppose -4 = -4*g - r*u, -5*g - 3*u + 7 = -0*g. Sort g, -1, -0.2 in descending order.
g, -0.2, -1
Let j be 3 - (-1 - -2) - 4. Let q = 155 - 160. Suppose 3*d = -2*w - 4, 5*d = -3*w - 2 - 6. Put q, j, w in ascending order.
q, j, w
Suppose -4 = d - j - 1, 2*d = 5*j - 9. Sort -10, d, -1 in ascending order.
-10, d, -1
Let q(j) = j**3 - 7*j**2 + 5*j + 2. Let p be q(6). Suppose h + 12 = 3*o, -6 = -4*h - 5*o + 31. Let n(g) = g - 5. Let c be n(h). Put 1, p, c in descending order.
1, c, p
Let d be 32/6 - (-3)/(-9). Suppose -12 = -d*b + 8, 0 = 2*o - 3*b + 8. Sort 1, -2/7, o in ascending order.
-2/7, 1, o
Suppose 0*q + 3*q + 3 = 0. Let t = -4 - -7. Suppose -4*a = -t*a. Put q, a, 4 in descending order.
4, a, q
Let b be 2/(-8) + (-12)/16. Let u(o) = o**3 - 4*o**2 - 6*o + 1. Let y be u(5). Let n be y/14 + 2/7. Put n, 1, b in ascending order.
b, n, 1
Suppose 70 = y - h + 2*h, 3*h = -15. Suppose -5*l + 2*l = -y. Suppose -4*b + l = b. Put -4, b, -3 in ascending order.
-4, -3, b
Let j = -4.939 + -0.061. Sort -1/6, -1/9, j, 2.
j, -1/6, -1/9, 2
Suppose 8 = -4*h - 4*r, 0*h - h - 10 = 5*r. Sort -1, -1/4, h in descending order.
h, -1/4, -1
Let s be -2*2/(-2 + 4). Put 3, -4, s in descending order.
3, s, -4
Let p = 36 + -22. Let u be (2 + (-36)/p)/2. Let h = -7 - -5. Sort -1/8, u, h in ascending order.
h, u, -1/8
Suppose 4*z = 5*p + 49, -2*z - 4*p = -8*p - 20. Let n = -14 + z. Let b(v) = v**2 - 5*v + 1. Let h be b(4). Sort 5, h, n in decreasing order.
5, n, h
Suppose 2*l + 5*x - 27 = 0, 0*x = 2*l + 2*x - 12. Let n be (2 + -1)*-1 + -2. Sort n, l, -4 in descending order.
l, n, -4
Let g = 5 + -2. Suppose -2*c = -3*w - g*c - 5, -7 = w - 5*c. Put -3, -4, w in ascending order.
-4, -3, w
Let x = -2 - -3. Suppose 14 = -d - 2*d - 5*t, t = 4*d + 11. Put x, -2, d in decreasing order.
x, -2, d
Let c = -107 - -102. Sort -4, 5, c, -1 in increasing order.
c, -4, -1, 5
Suppose 19 + 29 = 4*d. Let o be (1 + d/(-9))*-3. Sort -5, 5, o in descending order.
5, o, -5
Let s = -119 + 107. Put s, 0.3, -0.01 in descending order.
0.3, -0.01, s
Suppose 0*i + 2 = -i. Let h = 7 + -4. Let f = 4 - h. Put i, -5, f in decreasing order.
f, i, -5
Let v(i) = -i**2 - 4*i + 26. Let j be v(3). Sort j, -66, 2.
-66, 2, j
Suppose -19 = -3*k + 5*k - 5*h, -2*k - 3*h + 21 = 0. Sort -2, 12, 4, k.
-2, k, 4, 12
Let t(v) = v**2 + 3*v - 5. Let x be t(-5). Let z be 4 + -6 + 9 - 4. Sort x, 1, z in decreasing order.
x, z, 1
Let t = 0.8 - -6.2. Let i = 6.649 - -0.051. Let c = i - t. Sort -3/2, 4, c in increasing order.
-3/2, c, 4
Let d = 3 + -7. Let x(o) = -o**2 + 8*o - 2. Let t be x(7). Suppose -12 = -t*i - 37. Sort i, 0, d in increasing order.
i, d, 0
Let q = 13.2 - 9.2. Sort 2/11, 1/3, 0.4, q.
2/11, 1/3, 0.4, q
Let y = -0.01 - 0.07. Let t = y + 3.08. Sort t, -3, -1/2.
-3, -1/2, t
Let y(v) = -2*v**2 - 18*v - 14. Let g be y(-8). Let d = -1 + 0. Put g, d, -3 in descending order.
g, d, -3
Let d be 3/((-40)/(-25) -