h - 10 = m*l, -6*h - 5*l - 25 = -2*h for h.
0
Let p be 65/(-4) - (-4)/16. Let t(r) = r**2 + 17*r + 21. Let o be t(p). Solve 5*b = o*a + 25, 11 + 4 = -b - 3*a for b.
0
Let j(k) = k**2 - 5*k - 146. Let n be j(15). Let b be 2/6 - 14/6. Let z = n + b. Solve 9*y = a + 4*y - 12, z*a - 5*y = 14 for a.
2
Let x = -1186 - -1187. Solve 4*o = -3*r - x, -r + 4*r = 4*o + 7 for o.
-1
Suppose -4*o + c + 8 = 0, 0 = 5*o - 9*o - 3*c + 24. Solve -4*m = -20, -3 = -x + o*x - m for x.
1
Let j(u) = -3*u + 2. Let z be j(-1). Suppose -z = -4*s + 11. Solve s*x = x + 2*b - 1, 0 = x + b - 3 for x.
1
Let j(f) = -f**2 - 5*f - 6. Let p be j(-7). Let d be ((-72)/90)/(2/p). Solve -d = -2*h + 5*z, 3*z + 1 + 10 = -5*h for h.
-1
Let i(x) = x**2 + 120*x - 491. Let r be i(4). Solve n = r*l + 6 + 3, l - 15 = -4*n for n.
4
Suppose -4*h - 3*m = -h - 3, 3*m = -4*h + 6. Let l = -14 - -16. Suppose -8 = -2*i - l. Solve 5*k = -h*a + i, 3*k - 2*a - 20 = -k for k.
3
Let l(q) be the first derivative of q**4/4 + 19*q**3/3 + 9*q**2 + 5*q + 22. Let s be l(-18). Solve -9 = 5*c + 2*n, -5*c + s*n - 9 = 21 for c.
-3
Let d be (-4)/(-4)*(7 - -3). Let g = 13 - d. Solve 5*q = -3*b - 17, 2*b - g = q + 3 for q.
-4
Let x(n) be the third derivative of -n**5/60 - 19*n**4/24 - 13*n**3/6 + 9*n**2. Let l be x(-18). Solve 4*r = 4*i, r - 10 + l = 2*i for i.
-5
Suppose 32*h - 42*h + 230 = 0. Solve -z - 2*z - h = -2*k, -2*z = 10 for k.
4
Suppose 4*g + 4 = 16. Suppose -22*s + 20*s - 76 = 0. Let x = 45 + s. Solve -x = g*b - 5*n, 0 = -2*b + 4*n - 0*n - 4 for b.
-4
Suppose 10*i = -39 - 231. Let v = i + 39. Solve -2*y - 2 - 1 = w, -y = 5*w - v for y.
-3
Let b(q) = -q**3 - 4*q + q + 53*q**2 + 0 - 46*q**2 + 2. Let u be b(6). Solve 1 = 4*l + 3*y, -5*l = -l - 4*y + u for l.
-2
Suppose 4*q = 2 + 14. Suppose -5*h + 23 = 4*i, -3*h + 4*i = 2*i - 5. Let t(o) = o**3 - o**2 - 3*o. Let y be t(h). Solve 3*u + r = -y, -4 = -q*u + 4*r - 0 for u.
-2
Let q = -284 - -288. Solve q*y - w - 16 = 0, -5*y + 4 + 3 = 2*w for y.
3
Suppose -4*j + 6*j - 28 = p, 4*j = -4*p + 80. Suppose 22*n - j*n - 12 = 0. Solve 5*o + n*s + 32 = -s, 4*o = -2*s - 24 for o.
-4
Suppose 122 = c + 120. Suppose 11*y + c = 24. Solve y*j = 4*a - 6, 2 = 5*a - 2*j - 8 for a.
4
Let h = 34 + -21. Suppose -n - 2 = q, n + 4*q + 14 = -n. Let d = 133 - 124. Solve h = 2*l - n*k, -d + 2 = -l + 2*k for l.
5
Let w be (6 - (-3 + 9))/(-1). Let o be (-1)/2*(-4)/(-2). Let p be (o*3)/(-3 - -2). Solve -l - 5*h + 12 = l, w = -2*l + p*h - 4 for l.
1
Suppose -3*o + 15 = 2*o. Suppose a = 7*b - 2*b + 38, 4*b + 136 = o*a. Suppose 5*d - d - a = 0. Solve -3*w = -2*w + 3, d = 2*l - 4*w for l.
0
Let l be (48/(-9))/(-5 - (-56)/12). Let x = 36 - l. Solve 3*v + x = 4*g, -5*g + 3*v - v + 25 = 0 for g.
5
Let h = 127 + -104. Solve 0 = -0*j + 3*j - 4*k - h, j + 5*k = -24 for j.
1
Let r(h) = -4*h**2 + 36*h + 16. Let v be r(9). Solve -a + 0*m + v = -4*m, -4*m = -4*a + 16 for a.
0
Let m = -3 + 10. Let w = 8 - m. Suppose 2*h + 0 = z + 13, h + w = -z. Solve -l - 5*q + 11 = -16, -h*l + 4*q = 12 for l.
2
Let n(z) = -z - 5. Let f be n(-7). Suppose o - f = -0*o. Suppose -o*p + p + 4 = 0. Solve w + 4*w = -k + 5, -5 = -k - p*w for k.
5
Let u = 1635 - 1632. Solve -14 = n - 3*m, u*m - 1 = 5*n + 9 for n.
1
Suppose 6*v - 9*v = -189. Let k be 6/((v/(-30))/(-7)). Solve -15 = 3*o, 6*q - k = 3*q + 4*o for q.
0
Let f(s) = -s - 2. Let u be f(1). Let c be 35/(-14)*(u - -1). Solve -n = 5*v - c*n - 2, 5*v + 5*n + 25 = 0 for v.
-2
Suppose 2*c - 3*h + 2*h - 17 = 0, -3*c + 30 = -3*h. Solve -z - 5*i + 15 = 0, 2*i - c*i = -4*z + 10 for z.
5
Suppose -69 + 41 = -7*w. Solve 2 - 6 = -4*v - 2*n, w*v + 5*n = -2 for v.
2
Let x be 3/(-1)*(-8)/3. Let v(s) = -s**3 - 7*s**2 - 6*s + 4. Let o be v(-6). Suppose -2*i + x - o = 0. Solve 7 = -i*n - q, -2*n - 14 + 4 = 4*q for n.
-3
Let q(m) = -m**3 - 4*m**2 - 17*m - 39. Let c be q(-3). Solve r - 14 = -4*x, c*r = -5*x + x + 10 for r.
-2
Let r(x) = -x**3 - 25*x**2 + 52*x - 54. Let v be r(-27). Solve v*y + 20 = y + 3*i, 2*i + 15 = 5*y for y.
5
Let v = -1486 - -1489. Solve -2*s + 5 = -5*c, -3*c - 3 = -s - v*s for c.
-1
Suppose 4*g = 0, q - 2*q - g + 3 = 0. Suppose 3 = -3*w, 2*f - 13 = 6*w - q*w. Solve f*h - 3*m + 1 = -7*m, -m = 4*h - 8 for h.
3
Let h(m) = m**3 - 10*m**2 - 7*m - 41. Let y be h(11). Solve u + 16 = -y*p - 0*p, -3*u = 3 for p.
-5
Let w(i) = 2*i. Let t be w(-2). Let p be 0/(4 + -1) + t. Let l be (p - 0 - 4)*-1. Solve -5*g + 0*g = 4*d + l, g = -5*d + 11 for g.
-4
Let t = 188 + -183. Solve -2*k - i + 8 = -t*i, -k = -3*i - 8 for k.
-4
Let k be ((-75)/20)/5*4. Let i be 19/(-57) + (-4)/k. Solve 5*y + 25 = 0, 3*t + 4 + i = -y for t.
0
Let y(i) = i + 5. Let h be y(-8). Let b = h - -6. Solve -5*c - b*u - 2 = 0, u = 2*c + 3*c - 14 for c.
2
Let r(z) = 7*z - 4. Let y be r(1). Solve 0 = y*w + 15, b - 2*w + 4 = 15 for b.
1
Let i be -1 - 126/(-9) - 7. Solve -3*r - 4*v - i = -3*v, v = -r for r.
-3
Let z = 23 + -17. Let s be -1 - 96/(-10) - 18/30. Let i be (-6)/(-10) - (-144)/10. Solve -2*u - s = 3*t + z, -5*u + i = -5*t for t.
-4
Let g = -15 + 31. Suppose -18 - 2 = 5*q. Let y = q + 9. Solve 6 = 3*f + f + w, 3*w + g = y*f for f.
2
Let h = -63 - -44. Suppose -25*f + 18*f = 49. Let w = f - h. Solve 0 = 3*m + w, -i - 2*m + 0*m - 13 = 0 for i.
-5
Suppose 0 = 4*f + j - 143, -f + 3 = 3*j - 30. Solve -5*n + 15 = p - 10*n, 4*p + f = -4*n for p.
-5
Suppose 0 = 4*a - 5*j - 44, -4*j = 6*a - 11*a + 55. Solve 3*g = -4*s + 13, 4*s - 2*s - a = -3*g for s.
1
Let i(l) = -l**2 - 9*l - 7. Let o be i(-8). Suppose r - 4 - 17 = 0. Suppose -16*f + 11*f = -25. Solve 4*s = -f*t + r, t - 4*s + o = 2*t for t.
5
Let k = 204 + -202. Solve 3*z + k*z + 16 = 4*n, 0 = -4*n + z for n.
-1
Let k = 260 - 258. Solve -4*u = -k*v + 26, -v = 3*u + 2*v - 3 for u.
-4
Let o be (-2)/((-144)/81 + 2/1). Let p be -2*(6/8)/(o/36). Solve 2*c = -3*u - 18, -5*c = -5*u - p + 1 for c.
-3
Let k be (-18)/45 + ((-1161)/(-5))/3. Let f = k - 74. Solve 0 = -5*o - 4*l, -7 = f*l + 8 for o.
4
Let v(f) = f**3 + 15*f**2 - 4*f - 60. Let p be v(-15). Solve p = -3*x + t - 11 - 2, 4*x = -2*t - 4 for x.
-3
Let h = 51 - 25. Suppose 2*v - 8 = 0, -v + h = 5*p + 3*v. Solve -p*n = -4*b - 4, -6 = b + 4*n + 4 for b.
-2
Let d(b) = b**3 - 3*b**2 + 3*b + 2. Let q be d(3). Let y = q + -4. Solve 0 = 4*l - p - y, 2*l - 2 = -p + 9 for l.
3
Let i(n) = 2*n**2 - 3*n + 1. Let s be i(-2). Let v = 1 + -1. Suppose 3*a = 4*o - v*a + 9, -s = 3*o - 5*a. Solve o = t + 3*z + 2*z + 6, z = -4*t + 14 for t.
4
Let k(o) = -8*o - 4. Let h be k(-1). Solve -2*y + f = h*f - 5, -4*y + 5*f - 23 = 0 for y.
-2
Suppose 4*n + 27 = 2*i + 15, -3*i = 4*n - 28. Solve 0*f = 3*o + 5*f - 7, o - 4*f = i for o.
4
Let s = 8 + -6. Suppose 0 = 2*m - 5 - 5. Let z(d) = 37*d - 1110. Let u be z(30). Solve u = m*y - 5*f + 5, -s*y = y + 5*f - 29 for y.
3
Let i = -8 - -12. Let c = -157 + 159. Solve 2*a + r = i*a - 8, -3*a + c*r + 14 = 0 for a.
2
Suppose 0 = 3*j - 4*j. Suppose -29*b + 33*b = j. Solve 3*u - s = -0*u - 16, b = 4*u + 4*s for u.
-4
Suppose 0 = 121*f - 123*f. Solve -1 = h + g, f*h + h + 5*g - 11 = 0 for h.
-4
Let g = -239 - -245. Solve -5*w = -x + 13, -3*x = 4*w - 6*x + g for w.
-3
Let g be (-21)/(-9) - (-2)/3. Let h be g/((-15)/(-20)) + -4. Solve 5*x - v = 13, h = x + 2*x - 4*v - 1 for x.
3
Let b = 75 - 73. Suppose z + 7 = 3*c, 3*z + b*c - 5*c = -3. Solve 3*m - 3 = -3*q, -q = z*m - 1 - 2 for q.
-1
Suppose 2*w + 0*w = -2*w. Let m be 9 + (-6)/(-3 + w). Solve 4*t + 5*u = u - 8, m = 5*t - 2*u for t.
1
Let z = 9 - 4. Suppose -z*k = 5, -b + 0*b = -5*k - 21. Suppose -b = -5*n + n. Solve 4*t = m + 23, -n*t + 27 = -4*m - t for m.
-3
Suppose 0 = 4*d - 3*r - 28, -d + 4*r + 12 = -2*d. Suppose 0 = -2*c - d*y, 0 = -c - c + 3*y + 35. Solve -p + 4*u = p + c, -12 = 4*p - 4*u for p.
-1
Suppose 175*h = 90*h + 93*h. Solve 4*f + 4*y - 4 = h, -2*f - 8 = -y - 2*y for f.
-1
Suppose 3*x = 3*i - 3, -3*x = i + 7 - 20. Solve 5*d - c - x*c = 16, -8 = d + 2*c for d.
0
Let r(a) = -a**3 + a. Suppose -4*o + 92 = 5*x, 0*o - x - 32 = -2*o. Let p = 17 - o. Let d be r(p). Solve -2*t - 3*i + 7*i - 20 = 0, d = -3*t - 5*i + 25 for t.
0
Let s(b) = b**3 - 5*b**2 - 108*b + 344. Let c be s(3). Suppose 7*j - 20 = 2*j. Solve c*k + 28 = -5*i, -2*k + i = -2*i - j for k.
-4
Let y(h) = h**2 - 8*h - 2. Let p be y(8). Let l be (-1 - 5/p)/(45/600). Solve -2*i + 4*i - l = -