Let d be n(-3). Let s = d + 0. Solve -5*a + p + 4*p = 0, -a + 12 = s*p for a.
2
Suppose 5*o - 2*o = 4*x - 17, 4*o = 5*x - 22. Solve 12 = 3*t, -x*t + 4*t = -m + 3 for m.
-5
Suppose -a = -0*a - 29. Solve -5*k + 5 = g + a, -3*g = 5*k + 22 for g.
1
Suppose 3*c + 0*u + 3*u = 6, 0 = -4*c + u + 18. Solve c*r + 2 = 2*g, 5*r - 3*g - 5 = 2*g for r.
-2
Suppose -2*z + 6 = 3*b - 2*b, 0 = 5*z + 15. Suppose 3*d - b = -d. Suppose -d = 5*o - 13. Solve 6 = -o*s + 4*s - 4*j, 3*j + 4 = s for s.
1
Suppose 4*b - 23 + 7 = 0. Solve -2*y - 2*z = -10, 0*z + 11 = b*y - 5*z for y.
4
Let z(a) = a**3 + 9*a**2 - 11*a - 5. Let h be z(-10). Suppose -h*k = -14 - 1. Solve o - 4*y - 13 + 0 = 0, k*o - 25 = 5*y for o.
5
Suppose -5*x + x = -28. Let o(l) = -l + 24. Let j be o(0). Let s = j - x. Solve -2*q - 5*z - 5 = 9, 2*z = 3*q - s for q.
3
Suppose 2*w - 28 = -2*w. Suppose 5*n - 4*f = 23, -4*n = -7*n + 4*f + 17. Let z = -36 + 39. Solve -x + 7 = z*g, -5*x = n*g - w*g + 3 for x.
1
Let c be (-2)/(-6) - 5/15. Let l be (-2)/(1*2)*-11. Suppose -4*q - 4*h = -0*q, -2*q = -5*h - 35. Solve 2*m - l = -5*i - c*i, q*i = 4*m - 7 for i.
1
Suppose 0 = 4*q - 433 + 105. Suppose -38 - q = -4*k. Solve -3*w = 3*z - 7 - 2, -k = 5*w - 4*z for w.
-2
Suppose -z - 15 = -4*z + 2*y, -z = -4*y - 5. Solve 4*s = z*q - 18, 3*s + 10 = -0*q + 2*q for s.
-2
Let n be 2/((-2)/(-3)) - 1. Suppose -n*i + 17 + 19 = 0. Solve -i = -4*r + 2*r - 4*f, -r = -3*f + 16 for r.
-1
Suppose 5*o = 2*k + o - 12, 30 = 5*k - 4*o. Let a(z) = z + 14. Let x be a(-12). Solve x*w + 5 = 3*r, r + w - 1 = -k for r.
-1
Suppose -5 = -3*h + 4. Let j(t) = t**2 + 12*t + 8. Let z be j(-11). Let n be (30/9)/((-2)/z). Solve h*x - n*o + 0*o - 25 = 0, -x + 15 = -3*o for x.
0
Let n = -41 - -74. Solve 0 = a + x + 9, -4*a = a + 2*x + n for a.
-5
Suppose 11 = 4*p - 1. Solve 3*z + 2*m = 10, 2*m = -p*z + 7*m + 17 for z.
4
Let m be (((-26)/12)/13)/(2/(-12)). Solve -4*o - 5*i + 17 = 0, -4*i - 7 = -4*o + m for o.
3
Suppose -r - 1 = 2*x - 3, 4 = 3*r + 4*x. Suppose 15 = -3*u - 4*n, -2*n - 1 = -5*u - r*n. Let v = u - -4. Solve 0 = h - 3*g + 2 + 17, -g = 2*h + v for h.
-4
Let y = -113 - -113. Solve y*j + 4*j = -k - 19, -5*k - 10 = 3*j for j.
-5
Suppose -2*x + 5*x + 5*w = -13, 13 = 2*x - w. Suppose -9 = -x*r + a, 4*a - 6 = -0*r + 2*r. Solve 4*c - c - 2*s - 13 = 0, 0 = -2*c - r*s for c.
3
Let y = 3 + -6. Let f be (-1)/(y + (-5)/(-2)). Solve o - 4 + f = -4*c, -3*c = -2*o - 7 for o.
-2
Let s = -14 + 17. Solve 5*u + 11 = -3*m, -s*u = 4*m - u + 10 for m.
-2
Let k be 41/6 - 4/(-24). Solve -2*y = -k*y, 4*y = -3*n for n.
0
Let x(h) = -h - 3. Let l be x(-3). Let t = -1 - -4. Suppose t*r = -r + 8. Solve -2*u = -r*c - u - 8, -c + u - 6 = l for c.
-2
Suppose 0 = 4*t - 0*t + 8. Let o be (t/6)/((-5)/75). Solve -2*u + 3*q - 2 = -u, -5*q + 10 = -o*u for u.
-2
Suppose 3*g = 2*g. Let x be 4*((-7)/(-2) - g). Solve -b - x = 3*d + 3*b, 0 = -b - 2 for d.
-2
Suppose -3*z - 2*l - 14 + 36 = 0, 3*l = 15. Let u(q) = -q**3. Let t be u(0). Suppose 4*a - 21 - 11 = t. Solve a = -z*d + 5*b - 2*b, 0 = d + 4*b + 21 for d.
-5
Suppose -p + 14 = -o - 1, 5*p + 4*o = 111. Let r = 69 + -65. Let j = p - r. Solve b = -2*v - 2*v - 21, 0 = -3*b - j for v.
-4
Let s be 44/10 + (-4)/10. Let a be (-6)/s*-2 + 0. Solve 4*n - 18 = 2*u, 4*u = -a*n + 6*n - 11 for n.
5
Suppose -4*u = 0, 5*q + 7*u - 15 = 9*u. Solve 3*d + 0*d + 5*t + 25 = 0, -4*t - q = -d for d.
-5
Suppose 2*k + 11 + 22 = -3*x, x = 3*k. Let u = -5 - x. Suppose -a - u*d - 2 = 0, -a - a - 5*d - 1 = 0. Solve a*q + 2*w - 6 - 4 = 0, -q + 3*w + 5 = 0 for q.
5
Let b = -92 - -97. Solve -5*g + 6 = b*h + 26, -g = -4*h - 21 for h.
-5
Let c(t) = 2*t**2 - 10*t + 13. Let p be c(9). Suppose -p = -5*u - 0*a + 2*a, -a + 25 = 2*u. Solve -3*l + 4*q - 5 = 0, -3*l - u = 5*q - 1 for l.
-3
Let n(t) = 3*t - 2. Let d be n(3). Suppose 3 + d = w. Let k = -8 + w. Solve k*v = 0, u - v + 5*v = 3 for u.
3
Let o = -29 + 20. Let f(m) = -m - 7. Let t be f(o). Suppose d + 3*b - 3 = 1, 0 = -t*d - 4*b + 8. Solve 4*k - d*z - 3 = k, 7 = 2*k - z for k.
5
Suppose 3*c = c + 4. Let k(u) = -u**2 + 3*u - 2. Let x be k(2). Solve 3*i - 9 = -0*i, -4*b + c*i - 26 = x for b.
-5
Let f = 4 + -1. Let r = f + -1. Suppose j = -5*k + 11, 4*k - 2*j + r = 8. Solve k*s - 7*s = -4*c + 2, 2*s + 4*c = 16 for s.
2
Let d be ((-4)/((-32)/20))/(1/2). Let q be (2 + -1 + -2)*1. Let y = q - -1. Solve -g + 0*g = -h - 3, -d*h - 4*g - 6 = y for h.
-2
Let k(j) = -2*j**3 - 6*j**2 - 2*j - 2. Let a be k(-3). Solve 2*m - 4*m - 8 = -4*o, 0 = 2*o + m + a for o.
0
Let u(j) = -j**3 - 4*j**2 + 5*j + 5. Let b(c) = 2*c**3 + 5*c**2 + 5*c + 1. Let h be b(-2). Let f be u(h). Solve 0 = 4*z, 5*s + z + f = -3*z for s.
-1
Let t(w) = w**2 + 2*w. Let d be t(-3). Suppose 2*j - 3*r = -1, r + 2*r = 15. Solve 0 = 5*m + d*n + 8, 5 = -j*n + 2*n for m.
-1
Let k = 24 - 3. Let r(p) = p**3 + 9*p**2 - 2*p - 16. Let u be r(-9). Solve 4*i - k - 3 = -u*n, n = 2 for i.
5
Let t be 16/6 + 6 + 40/(-6). Solve 5*g + m - t = 0, -g + 2*m + 6 = 5*m for g.
0
Suppose -2*d + j + 9 = 3, -2*j = -5*d + 15. Solve 4*c = 4*f + 3*c + d, -f + 2*c + 1 = 0 for f.
-1
Let o = -1 + 3. Solve j - o*g = -1, -5*j + 16 = g - 1 for j.
3
Let w(k) = k**3 + 4*k**2 + 6*k + 6. Let u be w(-4). Let j be (-4)/18 + (-40)/u. Solve 4*n = -i + 7 - j, -2*i = n + 4 for i.
-3
Let m = -7 - -10. Let g be 0/(((-4)/(-4) - -2) + -4). Solve -m*q = 12, g*q + 28 = -4*d - 4*q for d.
-3
Let f(a) = 2*a**2 + 3*a - 4. Suppose 4*d + 12 = -0*d. Let b be f(d). Solve -5*k + 2*k = 3*r - 9, 0 = 5*k - 5*r - b for k.
2
Let m = 90 + -6. Suppose 4*o - 6*o + m = 0. Suppose -2*z = -3*x - 50, z + z + x - o = 0. Solve -4*c + z = -2*j, 3*j = 2*c + 3*c - 30 for j.
-5
Let b be ((-2)/5)/(-1*(-6)/(-30)). Solve -4*a + b*v + 3 + 5 = 0, -5*a + v = -13 for a.
3
Let i(o) = -o**2 - 5*o - 2. Let c be i(-4). Suppose 20*d - 90 = 17*d. Let n be d*(2 - 3/c). Solve 0 = -4*y + 4*r + 21 + n, -3*r = 15 for y.
4
Suppose -o = -17 + 14. Solve -5*m + 2*l = 3*l - 23, 7 = 4*m - o*l for m.
4
Suppose -141 = 4*f - 621. Suppose -4*l = l - f. Solve -2*p = 5*m - 2*m - 20, 3*m + 3*p - l = 0 for m.
4
Suppose -r + 9*q - 17 = 4*q, 3*q = 3*r + 3. Solve -w = -y - r, w - 4*w + 14 = 2*y for y.
1
Let a be (-6)/9*3 + 2. Suppose 2*w - 5*r = -26 + 9, -23 = -2*w - 3*r. Let s = w - a. Solve -5*h - 12 = 4*g, 4 = -2*g - 3*h - s for g.
2
Let u be 1/(-3) + (-230)/(-15). Suppose 0 = 2*l + l - u. Solve -4*c + 12 = -0*i - i, -l*c + 15 = 3*i for c.
3
Suppose 3*o - 5*n + 16 = -n, 6 = -2*o + 5*n. Let g be (-18)/o*8/6. Solve -g*v - 4*y - 12 = -5, -y = -3*v + 13 for v.
3
Suppose 13 = -2*r - r - 5*n, 4*n + 16 = -r. Solve 5*v - 5 = -0*w + 5*w, 3*v - 17 = -r*w for w.
2
Let g be 27 + (3 - 12/4). Let r = g + -17. Let a(m) = -3*m**3 - m**2. Let s be a(-1). Solve 0 = 5*w + 4*n + 5 - 25, w + s*n - r = 0 for w.
0
Suppose -2*x = -6*x. Suppose n + w + 2*w - 18 = x, 3*w = n + 6. Let i be -1 + 0 + (-2)/(-2). Solve -8 = -2*r, i = -2*d - 2*r + n*r - 14 for d.
1
Let b = 15 - 11. Solve -f + 2*s = -b, f - 2*s = 5*f + 24 for f.
-4
Let y(z) = 2*z**2 + z - 1. Let s be y(-2). Let d be 6 - (2 - (-2 - -2)). Solve 5*k = f - 15 - s, d*k = 4*f for k.
-5
Suppose z + 3*y + 4 + 5 = 0, 2*z + 4*y = -10. Solve -2*h + z*m = 6, -5 = 5*h - 0*m - 5*m for h.
3
Let i(x) = -2*x + 3. Let n(m) = 3*m - 7. Let o(y) = 5*i(y) + 3*n(y). Let h be o(-10). Solve h = 5*g - 1, 1 = -3*d + 4*g for d.
1
Suppose -3*i + 4*h + 24 = 2*h, 0 = -2*i + 2*h + 18. Solve 5*f + i = 4*o - 3, -2*o - 2*f = 0 for o.
1
Suppose -3*b + 2*i + 12 = 5*i, 0 = -2*b + 5*i - 6. Suppose -4*m + 8 = -0*m. Let f be (m/(b + 0))/1. Solve -p + 11 = 4*l, 0 = -4*p - 4*l - f - 3 for p.
-5
Let j = 12 + -9. Let b be 5/(-30) + 49/6. Suppose -2*x - b*g + 4*g = -8, 0 = 4*g. Solve -3*l = j*i + 2*i - 17, -x*l + 15 = -i for l.
4
Let b(c) = -c. Let f be b(2). Let t be (-3 - -1)/(f + 4). Let h be 0/1*t/(-2). Solve -4*l + h*w = -2*w, -4 = 2*l - 3*w for l.
1
Let s = -110 - -115. Let x(v) = -v**2 - 3*v + 1. Let z be x(-2). Solve j = -z*u - 2*j + 3, -4*u + s*j - 5 = 0 for u.
0
Suppose -2*m + 4*m - 2 = 0. Solve -m - 1 = -2*p, -3 = -3*z - 3*p for z.
0
Suppose -w + 40 = 15. Suppose -6*y + w = -y. Solve 2*q - 5 = -3*q + y*h, 2*q + 10 = -2*h for q.
-2
Let h = -21 + 26. Solve -13 = 4*w + y, 2*y = -w + h*y for w.
-3
Let q(p) = p**3 + p + 4. Let z be q(0). Let t be ((-2)/(-2))/(-1 + 2). Solve 2*