0 + 475. Sort z, 31, 0 in ascending order.
0, z, 31
Let s(z) = z**2 - 8*z + 7. Let r be s(7). Suppose 3*h - 4*h = r. Sort -4, 11, h in decreasing order.
11, h, -4
Let f be 12/(432/(-60))*-3. Sort -4, -3, -16, f in increasing order.
-16, -4, -3, f
Suppose 7*j = 5*j + 22. Let c = -13 + j. Put c, -0.4, 0.3 in descending order.
0.3, -0.4, c
Let f be (5 + -5)/(-4 - -2). Let n = -3 - -3. Suppose n = -3*b + 8*b + 5. Sort 5, b, f in decreasing order.
5, f, b
Let m = 1142 + -1137. Sort 2/3, -20, m, 1/6 in increasing order.
-20, 1/6, 2/3, m
Let b be (-3)/((-25)/20 + 2). Put -3, -1, 1, b in descending order.
1, -1, -3, b
Let d = -0.1326 + 0.0326. Sort d, 39, -0.2, -5 in decreasing order.
39, d, -0.2, -5
Let x(w) = -w**2 + 4*w - 1. Let r be x(3). Suppose 0 = 100*l - 107*l + 42. Sort 1, r, l in increasing order.
1, r, l
Let q = 3.14 - 3.34. Put 0, q, -5, -0.5 in ascending order.
-5, -0.5, q, 0
Let v = -1.76 - -1.8. Let w = v + -0.34. Let x = 1.1 - 0.1. Sort 2/13, w, x in increasing order.
w, 2/13, x
Let c = -2.5 + 3. Let v = 344 + -362. Put 0.4, c, v in ascending order.
v, 0.4, c
Let q = -3.8 + 3.85. Put 1/4, q, 0.6 in descending order.
0.6, 1/4, q
Let r = 0.1 - 0.2. Let y be (-8)/12*6/(-4). Let t = 423 + -422.5. Sort y, t, r.
r, t, y
Let k = 5 - 3. Let z = 177 + -172. Suppose -4*j + 9 = -5*a, 0*j - 5*j = -a + 15. Put k, j, z in descending order.
z, k, j
Suppose 0 = 3*n - 4*c - 80, 4*c + 0*c = 5*n - 120. Let m = n + -58/3. Sort m, 3/2, 2/17 in ascending order.
2/17, m, 3/2
Let f(x) = -3 - x - 2 + 10. Let j be f(3). Suppose 2*s + j*s = -20. Put 4, s, -2 in descending order.
4, -2, s
Suppose -2*k + 0*h - 30 = 4*h, -24 = k - h. Let w = k - -6. Let y = w + 11. Sort 5, y, -3 in decreasing order.
5, -3, y
Let s = 857 + -860. Sort s, -276, 4.
-276, s, 4
Let f = 105/52 - 33/26. Sort -4, -0.22, 2, f.
-4, -0.22, f, 2
Let u = 4.03 + -6.03. Let m = -439/9 - -49. Sort 3, u, m, 0.1 in descending order.
3, m, 0.1, u
Let r be (-2)/(-3) + (-25)/15. Let g = 16.8 - 16.9. Put g, -0.5, r in increasing order.
r, -0.5, g
Let i = -208 + 145. Let v = -51 - i. Put v, -2, 2, 0.5 in increasing order.
-2, 0.5, 2, v
Let n = 15 + -4. Let b = -3.84 + -0.16. Put b, n, -2 in ascending order.
b, -2, n
Let m = -0.47 - 0.03. Let v = 3.08 + 0.92. Put m, -5, v, 0.1 in decreasing order.
v, 0.1, m, -5
Suppose 15 = -2*i - 5*d, 5*i - 40 = d + 2*d. Let a = -0.1 + -0.2. Let f = -0.5 - a. Put f, i, -5 in ascending order.
-5, f, i
Suppose -5*z = -5*x - 24 - 1, 0 = 4*x + 12. Suppose 0 = z*d - y - 3*y - 12, -3*y - 15 = 0. Put d, -5, -1, 1 in increasing order.
-5, d, -1, 1
Let r = 139 - 30. Let l = 108.6 - r. Let k be (-6)/(-3) + (-22)/10. Put l, 3/2, k in decreasing order.
3/2, k, l
Let q(o) = o**3 + 5*o**2 - 3*o + 20. Let p be q(-6). Sort p, -4, -3, 4 in increasing order.
-4, -3, p, 4
Let x = 824 + -826. Put 1, x, 15, 3 in ascending order.
x, 1, 3, 15
Suppose 0 = 5*z - 2 - 23, 4*h = -5*z + 5. Let v be 5 - (-2 + 1) - 6/(18/6). Suppose -2 = g - 1. Put h, v, g in increasing order.
h, g, v
Let n(c) = -5*c + 2. Let x be n(-5). Let v = 3838 + -3840. Sort -4, 4, x, v in decreasing order.
x, 4, v, -4
Let w = -16622105/63 - -263863. Let y = 142/7 - w. Sort 2, -0.4, 1, y.
-0.4, y, 1, 2
Let u(z) = -z - 3. Let a be u(0). Let n be ((-11)/(-33))/(2/(-12)). Put -4, n, a in decreasing order.
n, a, -4
Let b be 8*15/(-360)*0. Let j be ((-2)/(-4))/(2/4). Sort 2, 5, b, j in descending order.
5, 2, j, b
Suppose -18 = -n + 4*p + 10, -5*p - 47 = -2*n. Suppose 2*s + 4 = -2*s. Put n, -3, s in decreasing order.
n, s, -3
Suppose u - 7 = 5*f, -f + u + 2 = 5. Let i be (-1 + 0)/(-5*(-2)/(-20)). Sort f, 3, i in increasing order.
f, i, 3
Let p = 21 + -20.93. Let w = 4.07 - p. Put -5, -2, w in decreasing order.
w, -2, -5
Let k = 105 - 72. Suppose -k = 4*h + 27. Let n be 10/h + (-44)/(-30). Sort 2/5, n, -4/5 in decreasing order.
n, 2/5, -4/5
Let b be 0 - -1 - -2*1. Let v(p) be the third derivative of p**4/24 + 4*p**3/3 - 16*p**2. Let m be v(-6). Put -3, b, m in increasing order.
-3, m, b
Let b = 99 - 97. Suppose 4*m - 4 = 4*o, 4 = b*m - o + 3. Sort m, -3, 1 in descending order.
1, m, -3
Let l = -2.3 + 2.7. Let b be ((-6)/(-52))/(18/(-24)). Let c = -4.923 + -0.077. Sort c, b, l.
c, b, l
Let s = -1 + -1. Let q = s + 2. Suppose 33*f - 125 = -290. Sort f, q, -4.
f, -4, q
Let r be (-5)/(-2 + 3)*(-16)/(-20). Let i be ((-1)/5)/((-12)/30)*0. Suppose -w - 2 = 3*l, -l - 4*l - 8 = -3*w. Put w, i, r in increasing order.
r, i, w
Let i be (-2 - (-17)/8)*(-17 + 20). Let m = 3 + 2. Suppose -3*o - 1 = m. Sort 0.3, i, o in increasing order.
o, 0.3, i
Suppose 29 - 8 = p + 5*b, -p = -5*b + 19. Let u be 3/12 - 1/4. Let r = u + 2. Sort p, 4, r in increasing order.
p, r, 4
Let v(h) = 3*h + 26. Let f be v(-10). Let c(a) = -a + 4. Let y be c(5). Sort 4, 5, y, f in descending order.
5, 4, y, f
Let o = 138 - 137. Sort 7, -6, o.
-6, o, 7
Let s = -0.4 - -0.6. Sort -4, 178, s in ascending order.
-4, s, 178
Let x = 60 + -60.2. Put -7, -13, x in decreasing order.
x, -7, -13
Let t = -144.9 + 133. Let q = -12 - t. Sort -1/6, 0.2, q in decreasing order.
0.2, q, -1/6
Let d(f) = 2*f**2 - 4*f + 23. Let y(r) = r**2 + r + 1. Let q(w) = -d(w) + 3*y(w). Let j be q(-9). Sort -5, 13, j.
-5, j, 13
Let y(t) = 5*t**2 - 12*t + 3. Let f be y(2). Put f, -3, 8 in decreasing order.
8, f, -3
Suppose -18*i + 20*i - 14 = 0. Sort 4, 1, i.
1, 4, i
Suppose -2*x - 140 = -12*x. Suppose -3*g + g - 3*t = 40, 5*t = -10. Let v = g + x. Put 0, 3, v in decreasing order.
3, 0, v
Let u be (-9)/63 + (-2)/(-15 + 1). Sort 76, 5, 1, u.
u, 1, 5, 76
Let h(y) = -y**3 - 4*y**2 + y + 8. Let b be h(-3). Sort -19, 1, 5, b.
-19, b, 1, 5
Suppose 12 = 6*k - 12. Suppose 5*i = 9*i - k. Suppose 3*n = 2*n + 5. Put -6, n, i in descending order.
n, i, -6
Suppose 0 = 5*z - 457 + 157. Put -5, z, 1 in decreasing order.
z, 1, -5
Suppose z + 3 = l, -5*l - z + 37 = 10. Put l, 6, 1 in decreasing order.
6, l, 1
Let n be ((-4)/(-6))/(16/(-24)). Let z = 2 - 1. Let f be (-1 + -1)*z/13. Put 0.06, f, n in decreasing order.
0.06, f, n
Let l = 2 + -2.3. Suppose 7 = 6*i - 13*i. Put -2, l, i in ascending order.
-2, i, l
Let j be ((-24)/(-16))/(28/8). Sort -1/10, j, -8/9.
-8/9, -1/10, j
Let w = 117 + -130. Put -0.4, 0.2, w in descending order.
0.2, -0.4, w
Suppose -3*n = n. Let u be ((-12)/(-3) - 2) + -6. Let a = 3 - 1. Put a, u, n in increasing order.
u, n, a
Let i = -75 - -38. Let x = i - -34. Sort 7, -1, x in increasing order.
x, -1, 7
Let y be -1 + (-1 - 8/(-2)). Let g(p) = -2*p**2 + 2 - 2*p + 3*p**y + 4 - 4*p. Let s be g(4). Sort s, 2, -1 in ascending order.
s, -1, 2
Let o be 2*-3*99/132. Sort o, -5, 2/3, -4 in descending order.
2/3, -4, o, -5
Let q = 1.98 - -79.02. Let f = -86 + q. Sort -0.1, 4, f, 6 in descending order.
6, 4, -0.1, f
Let u = 427 + -426.7. Sort 10, -0.07, u.
-0.07, u, 10
Let y(k) = 7*k - 64. Let h be y(9). Sort 5, -2, h, -13.
-13, -2, h, 5
Let c = -22556 + 158766/7. Let x = c + -124. Put -4, -2, x in descending order.
x, -2, -4
Suppose -31 + 215 = 8*d. Suppose 5*x - d = -18. Put 4, x, -2 in decreasing order.
4, x, -2
Let j = -977 - -3905/4. Put j, -2/11, -4, 6 in ascending order.
-4, j, -2/11, 6
Let u = 6 + -2. Suppose -h = -1, 7*i - 4*i = 5*h - 8. Sort i, -9, u in increasing order.
-9, i, u
Let j be (3*1)/(39/104). Suppose i + 2 = j. Let d be (-32)/i + (-6)/(-18). Put -19, d, -1 in ascending order.
-19, d, -1
Let m = -10 + 14. Suppose n + m = 7. Suppose -12 = 4*v + 4*z, 7*v = n*v + 2*z - 12. Sort 3, v, -2 in ascending order.
v, -2, 3
Let a(k) = k - 16. Suppose 2*u - 9 = 5. Let c be a(u). Let v be c/3*2/8. Put v, 0, -1/11 in ascending order.
v, -1/11, 0
Let j = 4 + -11. Let p = -8 - j. Suppose 5*s - 24 = w, 2*s - 3*s - 2*w = 4. Sort p, -3, s.
-3, p, s
Let o = -239/52 + 19/4. Let d = -0.35 - 14.65. Let m = d - -14.7. Sort m, -3/5, o.
-3/5, m, o
Let x = -10 + 7. Let y = -15 - -11. Let z = -0.2 - -0.1. Put y, z, x in ascending order.
y, x, z
Let y = -626 + 619. Put 5, -6, 0, y in decreasing order.
5, 0, -6, y
Suppose 0*f = f + 3. Let a = 117 - 63. Let m = 49 - a. Sort m, 3, f in increasing order.
m, f, 3
Let q = -20 + 22. Suppose -5*b = -5*s, -4*b - 7 = -9*b - q*s. Suppose 0 = 4*f + 3 - 15. Sort b, 2, f in ascending order.
b, 2, f
Let i be (1 + -3)*(-20)/8. Put 2, 4, i, -13 in descending order.
i, 4, 2, -13
Let a = 