 - (m + -3)*1. Suppose 1 = z*n + 4. Sort n, 0, -5 in descending order.
0, n, -5
Let l = -7.6 - -8. Let v = 0 + -5. Let d = v + 0. Sort d, l, -1 in ascending order.
d, -1, l
Let p = -11/4 - -3. Let w = -12/5 - -39/10. Put p, 0.4, w in decreasing order.
w, 0.4, p
Suppose -5*w = -3 + 23. Sort -3, w, 4 in ascending order.
w, -3, 4
Let t = 1.04 + 0.26. Let j = t + -1.7. Put j, 0, -4 in ascending order.
-4, j, 0
Suppose -12 = 7*q - 13*q. Let j(k) = -2*k**2 + 2*k + 1. Let b be j(-1). Sort q, 5, b in decreasing order.
5, q, b
Let v be -1 - (5/(-50) - (-2)/(-4)). Let w = -8 - -5. Put v, -0.1, w in ascending order.
w, v, -0.1
Suppose -36 = 2*r + n - 5, 4*r + 5*n + 77 = 0. Sort 1, -4, r in descending order.
1, -4, r
Suppose 3*m - 3 = 2*b - 5, 5*m = 2*b + 2. Let a = 6 + -3. Suppose 5*d - a*g - 37 = 0, -d - g - 11 = 3*g. Put 1, d, b in descending order.
d, b, 1
Let i = 0.58 - 0.18. Let c = i + 0.1. Put c, 0, 2/7 in ascending order.
0, 2/7, c
Suppose -8 = -9*y + 19. Put 0, -3, y, -1 in decreasing order.
y, 0, -1, -3
Let j(d) = -d + 8. Let y be j(6). Suppose 4*b = 8, 5*c + 2*b = 7*b. Let a(k) = -k**3 + 2*k**2 - k. Let g be a(c). Put g, y, -5 in decreasing order.
y, g, -5
Let w = -1 + 5. Let o = w + -2. Let v = -1 + o. Sort v, -1/2, 5.
-1/2, v, 5
Let n = -616873330226 - -505219444146344/819. Let s = -227950 + n. Let l = s - 2/91. Put 0.2, -2/7, l in increasing order.
-2/7, 0.2, l
Let a = -1.1 + 0.7. Let j = a - -0.2. Sort -1, j, 1 in decreasing order.
1, j, -1
Let s be 3*6*6/(-27). Sort s, -1, 3 in ascending order.
s, -1, 3
Let j = -1214/5 + 242. Sort 1/2, j, 4 in descending order.
4, 1/2, j
Suppose -17 = -5*o + v - 4*v, 0 = 3*o + 4*v - 8. Let p = -5 - -10. Suppose 4*x = 4*r - 16, 5*r - p*x - 18 = r. Sort r, o, 5.
r, o, 5
Let c = -200 + 205. Put -0.2, 0.5, -5, c in decreasing order.
c, 0.5, -0.2, -5
Let d = -0.4 + 0. Let q be 3/(-12) + (-52)/(-336). Put -3, q, d in descending order.
q, d, -3
Let q = 5 - 4.9. Sort q, -0.5, -1 in descending order.
q, -0.5, -1
Suppose 0 = -2*q - 0*w - 4*w + 28, 3*w = 2*q - 28. Suppose -1 = -y + 3*u, 2*y + 2*u - q = -y. Sort -13, y, -4 in decreasing order.
y, -4, -13
Let w = -0.3 + 0.4. Let s = w + -0.5. Let o be (54/180)/(4/(-10)). Sort o, -3, s in decreasing order.
s, o, -3
Let m = 14 + -16. Sort m, 1, 3 in decreasing order.
3, 1, m
Suppose q + 0*q = 0. Sort 3, -1, q in descending order.
3, q, -1
Let o = -19/126 - 5/18. Suppose -3*t + 5 - 26 = 0. Let y be (((-28)/30)/t)/(-1). Sort -2, y, o in ascending order.
-2, o, y
Suppose -3*j + 11 = 26. Sort 5/2, 0.2, j in descending order.
5/2, 0.2, j
Let h(f) = -f + 8. Let t be h(6). Suppose -137 = 3*y - 4*g, -4*g + 1 + 19 = 0. Let z = 36 + y. Sort z, 5, t in descending order.
5, t, z
Let y be (-1 + 1 + -2)*-1. Sort y, -2, -3 in descending order.
y, -2, -3
Let l = -4.35 - -19.44. Let c = -15 + l. Put c, -0.2, -4/5 in descending order.
c, -0.2, -4/5
Suppose g - 5*z = 30, -3*g + 0*g - 4*z = 5. Suppose -5*u = -n - n - 11, g*u = 3*n + 14. Put -5, n, -7 in increasing order.
-7, -5, n
Let x be -1 + 2 + 4/1. Let v = -0.6 - 0.4. Let q = v - 3. Sort -0.1, q, x in ascending order.
q, -0.1, x
Let s = 31 - 26. Put -2, -1, s in decreasing order.
s, -1, -2
Let f = -1604/9 + 178. Sort 5, 1, 0, f.
f, 0, 1, 5
Let z = 0.5 + 0.5. Put z, 5, 1/4 in increasing order.
1/4, z, 5
Let v = 32 + -14. Suppose -3*h + 0*h = -v. Let r be (-115)/30 - 1/h. Sort 1, r, -2 in descending order.
1, -2, r
Let u(t) = -2*t**2 + t. Let y be u(-1). Let z be (-2)/1 - 18/(-6). Put z, y, 0.2 in increasing order.
y, 0.2, z
Let z be (4/5)/((-20)/(-50)). Let t be -5*(-1 + (-2 - -2)). Suppose s - t = z*s. Sort s, -3, 5.
s, -3, 5
Suppose -4*s + 15 = -s. Suppose 5*r - 20 = -2*z, 4*r - 21 = z - s. Put 4, 3, z in increasing order.
z, 3, 4
Let n(q) = 5*q + 3. Let l(v) = 1. Let h(u) = -2*l(u) + n(u). Let x be h(-1). Sort x, -2, -1.
x, -2, -1
Let k be 4/(-6) + (-11)/(-3). Let s be -8*(3 + (-28)/8). Put k, -1, s in descending order.
s, k, -1
Let o = 1.8 + -0.4. Let x = 0.04 - 0.44. Let w = x + o. Put w, 0.3, 2/7 in descending order.
w, 0.3, 2/7
Let p = 0.066 + -1.066. Let q = 0.2 + -0.1. Let s = q - 0.6. Sort p, 0.5, s in ascending order.
p, s, 0.5
Suppose -2*z = -2*d + z + 2, -3*d + 4*z = -2. Put -1, d, 5, -3 in descending order.
5, -1, d, -3
Let x = -13 - -16. Let p(n) = 3*n + 3. Let r be p(-3). Let m(v) = v**3 + 6*v**2 - v - 8. Let o be m(r). Sort x, -5, o.
-5, o, x
Let v = -29.6 - -33. Let f = v + -0.4. Sort -2, 0.5, f in ascending order.
-2, 0.5, f
Let q = -0.09 + 0.1. Let x = -0.41 + q. Sort x, 4, 0.5 in decreasing order.
4, 0.5, x
Let w = -5 + 9. Sort -1, -4, w in decreasing order.
w, -1, -4
Let b = -12/11 - -206/209. Sort -2, -2/5, b, -0.3.
-2, -2/5, -0.3, b
Let i(c) = -c**3 - 4*c**2 - 5. Let m be i(-4). Suppose 5 = -0*k - 5*k. Let x(y) = y - 8. Let d be x(4). Put k, d, m in decreasing order.
k, d, m
Let q be (-3 - 35/(-11)) + (-1080)/(-110). Sort q, -0.2, -1.
-1, -0.2, q
Let c(d) = -d**2 + 5*d + 8. Let k be c(7). Let m be 8/48*k/4. Sort -2, m, 0.2 in ascending order.
-2, m, 0.2
Let n be -1 - (-12)/(-16) - -2. Let a(b) be the third derivative of -b**6/120 - b**5/30 - b**3/3 + 2*b**2. Let q be a(-2). Sort q, 2/9, n in increasing order.
q, 2/9, n
Suppose -3*n + 15 = -0*n. Let a(h) = -h**2 + 4*h + 4. Let v be a(n). Sort 2, v, -3 in increasing order.
-3, v, 2
Let y be ((-4 - -3) + -1)*7. Let u(s) = -s - 10. Let i be u(y). Put 1, -3, i in decreasing order.
i, 1, -3
Let i(k) = 4*k**3 + k. Suppose -5*y = 5*a, -2*y = 4*a + 1 + 1. Let u be i(a). Sort 0, u, -4.
u, -4, 0
Let t be 1 - -2*9/(-12). Suppose 4*k = 4*y - 10 + 2, 5*y - 1 = -4*k. Let c = 4 + y. Sort t, -3, c in descending order.
c, t, -3
Let y = -1.5 - -1.7. Let n = 0 + 0.3. Sort y, n, -0.3 in descending order.
n, y, -0.3
Let v be (0 - -6)*(-2)/(-18). Sort v, 2/9, 2/11.
2/11, 2/9, v
Let l be 2/(-4)*(-6 + 0). Sort l, -1/2, 4.
-1/2, l, 4
Let z = -4/133 + 6/19. Sort 8, z, -3/4 in descending order.
8, z, -3/4
Let y(s) = s**2 + 5*s - 22. Let c be y(-8). Put -5, c, -2 in ascending order.
-5, -2, c
Let f be (26/(-5))/2 + (-3)/(-5). Let x = -11 + 0. Let a be x/3 + (-3)/9. Sort f, 1, a in descending order.
1, f, a
Suppose 2*k + 5 = -3. Sort 1, 0, k.
k, 0, 1
Suppose 6 = 4*z + 22. Let o be (0 + (z - -3))*-3. Put -3, 4, o in decreasing order.
4, o, -3
Let l(j) = j**2 - 4*j - 4. Let g be l(5). Suppose 4*k + 40 = 4*z + 16, 2*z = -4*k - 6. Put -5, g, k in decreasing order.
g, k, -5
Let p be (-44)/11 + (-15840)/34. Let y = -470 - p. Let t = -5 - -5.4. Sort 3, t, y.
y, t, 3
Suppose -4*c + 5*q + 37 = 0, -3 - 2 = q. Suppose 0*j = c*j + 15. Let t(s) = -s**3 - 4*s**2 + 5*s + 5. Let b be t(j). Put 1, b, -0.1 in descending order.
b, 1, -0.1
Suppose -v = 4*w + 23, -2*v = 5*w + 23 + 8. Let u = v + 4. Put -2, 5, u in increasing order.
-2, u, 5
Suppose 0 = -i - 2*i. Let z(b) = b + 1. Let h be z(i). Let j(n) = n**2 - 6*n - 4. Let a be j(7). Sort -4, a, h in decreasing order.
a, h, -4
Let v = 5/7 + -6/7. Suppose 16 = -f + 4*k, 0 = f + 5*k - 1 - 10. Sort -0.4, v, f in decreasing order.
v, -0.4, f
Let r = -90 - -42. Let h = r + 93/2. Let d = -0.1 + 0.1. Put h, d, 0.2 in increasing order.
h, d, 0.2
Let d = 5/9 - 11/36. Sort d, -0.5, -13 in increasing order.
-13, -0.5, d
Suppose 3*u = w - 29, -3*u = w - 7 - 10. Suppose -5*x + 5*n + 5 = 0, -5*x - 2*n + 17 = -w. Let l = 7 - x. Put l, 4, 5 in decreasing order.
5, 4, l
Let l = -1 - -2. Put 2, l, -4 in increasing order.
-4, l, 2
Let k = -0.3 + 0.8. Let n be -3 + (-4)/((-4)/(-293)). Let z = -3254/11 - n. Put k, -4, z in descending order.
k, z, -4
Suppose -8 = 6*g - 10*g. Sort g, -4, -2 in increasing order.
-4, -2, g
Let v = 21.98 + -22. Sort -3/8, v, -3/7 in decreasing order.
v, -3/8, -3/7
Let f(n) = -n**2 + 4*n + 1. Let v be f(5). Let c = v + 2. Suppose 15 = u + 2*u. Sort 3, c, u in ascending order.
c, 3, u
Let z = -53.94 - -54. Sort -2/13, -0.5, 0, z in increasing order.
-0.5, -2/13, 0, z
Let s = -1648/11 - -150. Put 4, s, 3, -1/3 in descending order.
4, 3, s, -1/3
Suppose 2*n - 417 = 5*w + n, 2*w + 156 = -5*n. Put w, -5, 2 in ascending order.
w, -5, 2
Let d be 1/(8/44 - (-13)/(-11)). Let q(c) = 2*c**2 - 6*c. Let i be q(4). Suppose -4*y = -i + 20. Sort y, 5, d.
y, d, 5
Let u(q) = -8*q**3 + q**2 + 2*q + 1. Let z be u(-1). Suppose 12 + z = -4*r. Let l(g) = -g**2 - 11*g - 1