4*b + 8 = -3*b + 2*u, -5*u = -15. Let n be (-4 + 6)*3/b. Solve -p + 4*s - n = -1, p + 3*s + r = 0 for p.
-2
Let b = -118 - -118. Solve z - 4*g = -9*g + 24, b = -4*z + 4*g - 24 for z.
-1
Suppose 4*n = 3*s - 392, 0 = -6*s + s - 2*n + 688. Suppose -4*r + 16 + s = 0. Let p = -14 + r. Solve -12 = 3*z + 3*j, p - 5 = -3*z + 4*j for z.
-5
Suppose 2*x - 6*x = 36. Let q be (-128)/(-12)*x/4. Let o = -19 - q. Solve i - 2*i = -o*g - 13, 0 = -4*i - 8 for g.
-3
Suppose -6*s = -57 - 21. Let n = s - 8. Solve y = h + n, 0*h = 2*h + 10 for y.
0
Let h(s) = -19 - 5*s - s**2 - 9*s + 4*s. Let a be h(-6). Solve -a*f = 4*j + 21, -3*j - 6*f + f - 22 = 0 for j.
1
Let h be (4 - 6)/4 + (-26)/(-4). Suppose h*c + 29 = 8*c + 5*r, 3*r - 19 = -2*c. Solve 2*i = c*n, -3*i - 3 = -n + 1 for i.
-2
Suppose -3 - 6 = -3*y. Let a = y - -2. Suppose 0*g = a*g. Solve -s - u = -g*s, 0 = -3*s + u + 20 for s.
5
Let v = 2098 - 2095. Solve 3 = -6*h + 5*h + 2*w, 5*h = -2*w - v for h.
-1
Let v(a) = -a**3 - 15*a**2 - 28*a - 22. Let s be v(-13). Solve 4*b + t = s*t, -4*b + t = 0 for b.
0
Suppose 0 = -39*y + 159 - 3. Solve y*q + 3*i + 11 = 0, -8*q + 5*i + 24 = -9*q for q.
1
Let d = -77 + 78. Suppose 3*u - 13 = -d. Solve 0 = 5*q - 2*k - 2, k + u = 3*q - 3*k for q.
0
Let l = 42 - 12. Let f = 18 - l. Let o be (-32)/f + 4/(-6). Solve 0 = -5*q + 3*j - 4, -o*j + 6 = -4*q - j for q.
-2
Let n = -56 + 61. Suppose 0 = 4*m - n*o - 27, -2*m + 4*o + 19 = 1. Solve -11 = -h + m*p, -2*h + 2 = 2*p - 4*p for h.
-4
Let u = -34 - -34. Suppose -5*c - 3*t + 6*t - 66 = 0, 0 = 2*c - 3*t + 30. Let s = c - -18. Solve -s = 2*o + 2*b, 0 = 4*o + b - u + 9 for o.
-2
Let y(l) = 6*l - 62. Let i be y(11). Let v be (-3)/(-2)*16/12. Suppose 0 = v*x - 8. Solve 9 = -5*p + 3*n, -p + x*n + 1 = -i for p.
-3
Let l be (6/(-4))/(3/(-12)*2). Suppose -4*v + 2 = -v - 2*n, 3*v + l*n - 12 = 0. Solve -j + 3*x = -8, 2*j + j = v*x + 3 for j.
-1
Let m(j) = j + 15. Let l be m(-11). Solve 0 = -2*s - p - l*p - 1, 2*p = -s - 1 for s.
-3
Suppose -28 = -17*v + 23. Solve 4*u - 9 = -3*g, -v*g - 19 = -5*u + g for u.
3
Let z(a) = -a + 17. Let i be z(13). Suppose m - w = -i, -5 - 7 = -3*w. Solve 5*p + 4 = -2*j, m = -3*p - p - 2*j - 4 for p.
0
Let i = -28 + 0. Let y be (132/(-42))/(4/i). Solve 3*x - y = r - 6, -7 = -3*r - 2*x for r.
-1
Let x(m) = -15*m + 1001. Let q be x(66). Solve -5*w + 16 = -14*k + q*k, k + 5*w - 8 = 0 for k.
-2
Let y be (-2 - 6)*2/(-4). Let h be (-2)/(8/12)*-1. Suppose -h*s - 4*c - 5 = 0, s + 0*c - 25 = y*c. Solve 3*p = -4*g + 11, s*g - 3*p - 10 + 3 = 0 for g.
2
Suppose 2*h - h = 0. Suppose 5*d + 11 - 126 = h. Solve -d = 5*q + 2*p, 5*p + 23 = -0*q - q for q.
-3
Let l = -516 + 522. Solve 4*c + 6 = 4*k - l, 0 = k - 2 for c.
-1
Let y be -1*(9/(-1) - -7). Solve -4*v - v = 3*n - 27, v + 5 = y*n for n.
4
Let n = 78 + -78. Let l(w) = -w**2 - 5*w - 1. Let f be l(-2). Suppose 0 = -z - 2*g - 5, 0 = 5*z - 2*g + 6*g - f. Solve -s + n*s - 8 = 5*a, 10 = 5*a - z*s for a.
-1
Let m(c) = -c**2 - 6*c + 10. Let h be m(-7). Suppose 23 = h*q - 16. Let o = -13 + q. Solve o = x - 5, 0 = 2*j - x - x + 2 for j.
4
Let r(m) = -5*m**2 + 55*m. Let u be r(11). Solve -15 = -5*a + 3*g, u*g + 5*g + 25 = 4*a for a.
0
Let k(b) = -b + 13. Let m be 24*2/4 + -1. Let w be k(m). Solve -5*t + 19 = i, -4 = -w*i - 3*t + 13 for i.
4
Let c = -23 - -14. Let u be c*((-4)/(-6) + -4). Let s be (-20)/6*u/(-20). Solve 0 = -5*l - 3*w - s, -2*l + l - 5*w = 23 for l.
2
Let n be 2/(0 - (-4)/(-2)) + 5. Suppose n*q - 4*c = -c + 7, 0 = -5*q - 5*c. Solve -4*j - 29 = -0*s - 5*s, j + q = 0 for s.
5
Suppose -5*s + 4*w + 64 = 0, 22*w - 25*w - 63 = -5*s. Solve 4*h = s, 4*o - 5 = -4*h + 7 for o.
0
Suppose 25*v = 68*v - 387. Solve -2*h - 3*c = -v, h - 2*h + 2*c - 13 = 0 for h.
-3
Let j(s) = -10*s - 146. Let x be j(-15). Solve 3*d - 3*z = 2*z + 15, 5*d = -x*z + 25 for d.
5
Let p be 0/(5/(-5)*-2). Let l be -2 + 0 + p/(-11). Let a = l - -4. Solve -r = -5*s - 25, 0 = -a*r - 2*s + 4*s + 10 for r.
0
Let o(m) = 1. Let b(k) = 3*k + 56. Let i(v) = b(v) + 6*o(v). Let q be i(-19). Solve 0 = 2*x - q*g + 5 + 4, 2*x + 4*g - 18 = 0 for x.
3
Let f(i) = -i**3 + 41*i**2 - 80*i + 80. Let x be f(39). Solve -p = 3, 5*u - x*p = 4 - 3 for u.
-1
Let x = -2057 - -2060. Let d = 12 - -2. Let v be (0 + 7)*24/d. Solve m + m - 3*z = 2, x*m = -3*z - v for m.
-2
Suppose -5*n = -2*n - h + 4, -8 = n - 2*h. Solve 6*c - c = -p + 11, -5*p - 3*c - 11 = n for p.
-4
Let w = -837 - -840. Let q(x) = x**3 + 2*x**2 - x - 2. Let d be q(-2). Solve d = y + 2, w*u + 5*y = -13 + 3 for u.
0
Suppose -213 = -13*z - 18. Let l = 2 + z. Solve -3*r + l = 4*n, 2*r + 0 = -2*n + 10 for n.
2
Let i be ((-30)/9 - -3) + (-213)/9. Let k = -19 - i. Solve l - 3*l - k*w - 15 = 0, 0 = -5*l - w - 26 for l.
-5
Let j = 15 - 11. Suppose 0 = -379*m + 382*m - 6. Solve -l - j*l = 4*x - 8, -m*l + 6 = 3*x for x.
2
Let y(o) = -9*o**2 - 14*o + 22. Let v(h) = -4*h**2 - 7*h + 11. Let a(z) = 7*v(z) - 3*y(z). Let t be a(-8). Solve 5*w - 18 = 3*p, -p - w - 7 = -t*w for p.
-1
Let r = -494 + 496. Solve 0*b = -r*d - 4*b - 20, -3*d = 2*b + 10 for d.
0
Suppose 10*y - 39*y = -145. Solve -4*b = -l - 15, y*b = 3*l + 29 - 12 for b.
4
Suppose -4*z = 68 - 28. Let y be 2 + ((-135)/z - (-1)/(-2)). Solve 0 = 5*g - v, -v + y = 2*v for g.
1
Let q(l) = 20*l - 60. Let x be q(3). Solve x*j + 3*j + 14 = -2*z, -8 = -4*z + 3*j for z.
-1
Let x be (28/84)/(2/24). Suppose 5*v + 17 = 4*j, -5*j - 6*v = -x*v - 13. Solve -2*h - 3*y = -y, j*h - y - 12 = 0 for h.
3
Suppose -4*z + 14 = -3*z - 3*v, 5*z = 3*v + 58. Solve 5*y + o = 4*y - 3, -z = 3*y + 5*o for y.
-2
Let o(c) be the second derivative of -c**5/20 - 5*c**4/12 + c**3 + 5*c**2/2 + 12*c. Let n be o(-6). Solve 7 = 5*j - 13, -5*b - n*j = -30 for b.
2
Let x(y) be the first derivative of 2*y**2 - 2*y**2 + y**2 + 4*y - 6 + 5*y. Let q be x(11). Solve 0 = 5*m + b + 15, 2*m - 4*b = -q + 3 for m.
-4
Let m be 1*-1 - (-7 + 2). Let w be m - (5 + 1 + -4). Let u = 3 + w. Solve 11 = -3*c + u*i, -3*c + i - 19 = -8*c for c.
3
Suppose -3*y = -5 - 1. Suppose 5 = 2*d + 3*d. Let v be (-3)/2 - (111/(-6) - -3). Solve -u + v = y*u - 4*j, -d = -2*u + j for u.
-2
Let b = 8 + -6. Suppose 0*k + 2*k + 26 = 0. Let n = k - -17. Solve -5*x - n*a = -5, -b*x - 5*a = -10*a - 35 for x.
5
Suppose -2*i + 6*i = -3*b + 9, -4*i + 5*b - 15 = 0. Let z = -10 - -33. Solve i = -4*v + 3*w + z, 2*w + 20 = v + 8 for v.
2
Let z = -13 + 23. Let d = z + 97. Let y = -75 + d. Solve -2*o - 1 = -r - 2*r, 4*r = -4*o - y for r.
-3
Let f be ((-2)/(-1) + 1)/((-17)/(-17)). Suppose -24 = -5*m - t - 3*t, -5 = -2*m + 3*t. Solve f*o = w - m, -4*o - 4 - 1 = -w for w.
1
Let r(b) = -3*b - 12. Let o be r(-5). Suppose 0*z = 5*z. Suppose 24 = 3*d + 3*g, -d - 3*g + 21 - 5 = z. Solve 2 = -2*f + p, -o*p - 1 + 3 = -d*f for f.
-2
Let w be (-6)/(-16) - 901/(-136). Solve -5*z + 4*h - 15 = w, -3*z - h = 3 for z.
-2
Suppose -v = -3*v - 3*o + 3, -v - o = -2. Suppose 5*g - 7 = 3, 0 = v*m - 4*g - 1. Solve -7*r + 2*r - 5*c + 40 = 0, 5*r = -m*c + 34 for r.
5
Let f = 117 - 115. Solve -q - f*a = 12 - 2, 4*a = -4*q - 24 for q.
-2
Suppose -2 = -2*t - 3*m, -2*t + 3 = 2*m - 3. Suppose 13 = 3*w - d - 0*d, 3*w - 17 = -d. Suppose -20 = -9*y + w*y. Solve y*c + t = -n, c + 0 + 8 = 2*n for c.
-2
Let c = 172 + -147. Solve -5*l = 2*d - c, 0 = 5*d - 0*l + 3*l - 34 for d.
5
Let b = 3 + -3. Suppose -x + 16 = -b*x. Suppose -111*o - 2*t + 24 = -107*o, -4*t + 24 = 2*o. Solve -u + x = -5*u, 0 = h - o*u - 19 for h.
3
Let b be (-11 - (-8 + 2)) + 6 + 1. Solve b*r - r - 11 = 4*m, 5*m + 2*r + 17 = 0 for m.
-3
Let f be 2/8*(11 + -7). Suppose f = -2*a + t, -t = 5*a - 3*t. Solve w + a = -1, -2*o + 25 = -5*w for o.
5
Let m(a) = -a**2 - 10*a + 18. Let k be m(-10). Suppose -k*f + 14*f + 12 = 0. Solve 4*i = -v - f, -6*v + v + 29 = -2*i for i.
-2
Suppose 15*u = 17*u - 10. Solve v = -j + 6*v + u, 1 = j - 3*v for j.
-5
Suppose -9 = -6*i + 3*i, 3*g + 3*i = 15. Solve -5*j + 15 = 2*b, -3*b - 20 = -3*j - g*b for j.
5
Let j(n) = -9*n**2 - 6*n - 2. Let p be j(-2). Let y = -26 - p. Solve 3*k + 3 = 0, y*v + k = -2*v - 5 for v.
-2
Let j be 0 - (7 + 9/3). Let f = 10 + j. Let d = f + 2. Solve -k = d*a - 4, -k - k - 3*a + 4 = 0 for k.
-4
Suppose v + 0*v = c - 109, -129 = -c - 3*v. Suppose 4*i - 2*j = c, 6*i = 4*i - 3*j + 77. Solve -5*z + 2*x = -18, 5*z + 12 = x + i for z.
4
Suppose 0 = -3