= -2*m - 2*n, t*n - n = -5*m - 34 for m.
-5
Suppose -30 = 11*o - 5*o. Let q(t) = -3*t - 11. Let i be q(o). Solve 12 = -i*f, -5*s + 19 + 16 = -5*f for s.
4
Let z(d) = d**3 - 19*d**2 - 41*d - 21. Let c be z(21). Suppose 6*x + 1 - 19 = c. Solve -11 + 3 = 4*q + 3*l, 2*l + x = -5*q for q.
1
Let a = 272 - 267. Solve 2*v = -2*l + 7*l + 19, a*v = l + 13 for v.
2
Suppose -3*k - 84 = -3*h, 4*h - 5*k = -0*h + 113. Let l be (8/(-6))/((-18)/h). Solve -o + m - 1 = -5*o, l*o + 5 = 5*m for o.
0
Let g(s) = 3*s**3 + 3*s**2 + 5*s + 3. Let q be g(-1). Let c be ((-3)/q)/((-9)/(-12)). Solve 5*y = -4*j + 16, -2*j - 5*y + c = -16 for j.
-1
Let r(f) = -2*f**3 + 6*f**2 + 4*f - 7. Let l be r(3). Suppose 3*c - h = 16, 4*c = l*c + 5*h. Solve 5*m = 2*n + 25, -m = -2*n - 0*m - c for n.
0
Let i(x) = 2*x + 1. Let w be 4/3*9/6. Let o be i(w). Suppose o*l - 1 = 9. Solve -5*c = 5*g - 24 - 1, 0 = -l*g + 2 for c.
4
Let n be (3 + 2)*1 - 2. Suppose -5*q = n*i - 54, 6 = q - 2*i + i. Solve 3*j = c + q, -2*c + 4*j + 12 = 8*j for c.
0
Let w = 773 + -771. Solve f = 2*j - 3*j + w, -f + 4*j - 18 = 0 for f.
-2
Let g be 8/10*15/6. Let l(w) = 2*w**2 - w - 2. Let x be l(g). Suppose x*h - 3*h = 19. Solve -5*j - h = 3*f, -11 = -2*j + 8*f - 3*f for j.
-2
Let k be 1*-1 + (-9 - -10). Let v = 2 - k. Suppose l = -2*j + 8 + 6, v*l - 33 = -5*j. Solve s - 11 = 4*m - 1, -m + j*s = 12 for m.
-2
Let a = -28 - -28. Suppose 2*f = 4*x + 12, -15 = 5*f + 5*x - a*x. Solve 5*y - i - 27 = f, 2*y - 2*i - 6 = 8 for y.
5
Let n(y) = 11*y - 43. Let i be n(-12). Let w be (-1)/3 + 6/((-126)/i). Solve -5*r - 2*u + 16 = 0, -4*r - u + 6 = -w for r.
4
Let b = -199 + 201. Solve 0 = 3*z + 9, -b*c - 2 = -6*c - 2*z for c.
2
Let o = -496 - -498. Solve o*i + 7 = 1, 4*t - i = 11 for t.
2
Suppose 6*x = 11*x - 25. Solve 3*t - 23 = -4*h, 4*t = 3*h + 19 - x for t.
5
Let d(h) = -h**2 - 7*h + 46. Suppose -w + 99 = -10*w. Let u be d(w). Solve 2*z - u = -4*k, -4*z - 3 = 1 for k.
1
Suppose 3*p - 43 = 41. Let r(j) = j**3 - 13*j**2 - 15*j + 16. Let i be r(14). Let o be (-1 - -2)*p/i. Solve o = -4*u - 4*b + 2*b, -2*u - 13 = 3*b for u.
-2
Suppose 0 = 2*r - 2*g + 4*g, -5*r = -5*g. Solve u = r, 2*k - 4*u = -0*u + 2 for k.
1
Suppose 7 + 1 = -2*l, g = -4*l + 12. Solve 4*d = -2*k + g, k + 1 = -0*d + d for d.
5
Suppose -245 = 5*o + 4*r, r = -5*o - r - 235. Let l be (24/(-45))/4 + (-96)/o. Solve -2*n - 4*z - z + 15 = 0, 0 = l*n + 3*z - 5 for n.
-5
Let n(z) = -9*z**2. Let m be n(1). Let c be 2/((-82)/(-26) - 3). Let t = c + m. Solve 0*b + 10 = -u - b, 0 = -5*u + t*b - 5 for u.
-5
Let q(w) = 4*w**2 + 7*w + 1. Let k be q(-2). Let a = -10 + 29. Solve m + m - 5*j = 27, 4*m = k*j + a for m.
1
Let j(m) = 8*m**3 + 4*m**2 - 1. Let n be j(1). Solve 2*k + 3*a = n, -2*k = 2*k + a + 3 for k.
-2
Suppose -2*s + 6 = 3*j, 0*j = 3*s + 2*j - 14. Suppose 3*t - 2*v + 9 = 6*t, 2*t = -5*v + s. Solve -3*y = 5*l + 12, l + 0*y + t*y + 12 = 0 for l.
0
Suppose -4*o + 2*f + 12 = 0, 5*o - 4*f - 187 = -169. Solve -5*y = -2*c + 3, 3*c + 4 = -3*y + o*c for y.
-1
Suppose -7*j = -2*j + 5. Let m be 0/j + 4 + -2. Solve o + o + 2 = -2*r, m*o = r + 13 for r.
-5
Suppose -9*f + 15*f = -36. Let u(i) = i**3 + 5*i**2 - 8*i - 6. Let o be u(f). Solve 0 = h - 5*a - 6, 3*h - o*h - a = -2 for h.
1
Suppose -5*w = -5*t - 30, -9*w + 6*w - 3*t = 6. Solve -2*x = w*g - 12, 3*x - 21 = -2*x + 4*g for x.
5
Let l(c) = -2*c + 9. Let q be l(3). Suppose 4*t - 8*t = -q*p + 12, 3 = p - t. Solve i = -5*y - p*y - 26, i + 3*y = -16 for i.
-1
Suppose -44*s - 35 = -49*s. Solve 3*z = 5*h + 5, -z + 6*h - 3*h = -s for z.
-5
Let x = 80 + -75. Solve -10 = 2*k + w + 3*w, -5 = k - x*w for k.
-5
Suppose -1 = s - 3. Let f = 107 - 88. Let p = 23 - f. Solve 3*g + s + 18 = -4*l, -g = p for l.
-2
Let c = 52 - 46. Suppose -4*v + 11*t + 68 = c*t, -3*t + 68 = 4*v. Solve -5*r - v = 2*u, 2*u - 2*r - 33 = 3*r for u.
4
Let d(m) = -m**3 - 15*m**2 - 28*m - 20. Let f be d(-13). Let c be -1 + -2 + 2*3. Solve g - i = -f, -g - c*g - 14 = i for g.
-4
Suppose -11*i + 2306 = 491. Let j = 167 - i. Solve j*q = -q + 4*l + 18, -q = l + 1 for q.
2
Let w(m) = m**2 - 4. Let a be -2*2/4*-3. Let p be w(a). Let s(i) = -i**3 - 8*i**2 - 8*i - 2. Let y be s(-7). Solve p = -5*r + 3*z, 5*r - y*z + 15 = -0*z for r.
2
Let x = 17 + -29. Let j = x - -12. Suppose -6*w = -4*w - 6. Solve j*h + 5 = -h, w*f - 25 = 2*h for f.
5
Let n(h) = 19*h**2 + 7*h**2 - 1 + h + h. Let x be n(1). Let o = -22 + x. Solve -3*s - 2*g + 3*g + 9 = 0, -g + o = 4*s for s.
2
Suppose 3*u = -0*u - 4*p - 55, -4*u = 4*p + 68. Let i = u - -16. Solve -2*w - 17 = -i*o, -2*w - 4*o - 2 = -2*o for w.
-4
Let g(i) = 4*i + 5. Let s be g(3). Let n = -13 + s. Suppose 4*h - 16 = 4*q, -h - 2*q = -n*h + 13. Solve -h*y + 10 = -4*z - z, -3*y - 4*z = 22 for y.
-2
Suppose 6*k = 2*k + 16. Suppose 8*z - k*z + 16 = 0. Let u be z + 5 - (-12 + 1). Solve -2*w + w - u = 3*b, -2*b + 5 = 5*w for w.
3
Let n(d) = -d**3 - 3*d**2 + 4*d + 4. Let j be n(-4). Suppose z + 2*z = 9. Let x = -124 + 127. Solve z*a - 2*t - 5 = 3*t, -4*t - j = x*a for a.
0
Suppose -1 - 9 = -d. Solve 35 = 4*c - 3*j + d, -3*c + 4*j = -24 for c.
4
Let x be 2*(2 + -20)/(-2). Let y be (39/x + -3)*-6. Suppose 12 - 37 = -y*l. Solve -f = -l*h + 13, -2*h - h = 2*f for h.
2
Let f(x) = -x**2 + 6*x - 4. Let a(v) = -v**2 - 9*v + 14. Let q be a(-10). Let i be f(q). Solve -h + r = 0, i*h + 2*r - 8 = -26 for h.
-3
Let r(i) be the second derivative of -5*i**2 + 1/12*i**4 - 11/6*i**3 - 3*i + 0. Let f be r(12). Solve 0 = -f*m - 2*g + 2 - 0, 5*m = -4*g + 3 for m.
-1
Suppose 2*v - 26 = -20. Solve -v*f + 15 = 0, f + f + 2 = 3*x for x.
4
Let a(j) = j**3 - 3*j**2 - 9*j - 1. Let x be a(5). Solve -4*b + 7 - 2 = -m, -2*m + b = -x for m.
3
Let w(i) = 2*i**2 + 20*i + 27. Let r be w(-12). Let c = r + -50. Let f be c/7 - 36/(-84). Solve 2*q + 3*u - 5 = 0, 1 + f = -q + u for q.
-2
Let j be (-1 - 1)/((-48)/18 + 2). Solve 0 = -4*p, -j = -3*c - 2*p - p for c.
1
Suppose -3*o - o + 4*g = 0, -3*g = -o. Suppose o*y = 2*y - 8. Solve 0 = -p - y*s - 13, 0 = 5*p - s - 6 - 13 for p.
3
Let m = 123 + -75. Let z = m + -46. Let o(a) = -a + 1. Let y be o(-3). Solve -2*u + 0*j - 18 = y*j, 2*u - j - z = 0 for u.
-1
Let h = -12 - -14. Let i be 23 + (-1 - 0) + h. Suppose -i - 36 = -3*t. Solve 4*d + w = t, 0 = -d + 6*d + 4*w - 36 for d.
4
Suppose 5*k + 99 = 124. Solve r + 37 = -5*m + 4*r, k*r - 25 = m for m.
-5
Let p(y) = -y**3 + 5*y**2 + y - 10. Suppose w - 13 = -8. Let u be p(w). Let z = u + 5. Solve 0 = 5*i + 2*h - 9, 4*i - 3*h + 3 - 1 = z for i.
1
Suppose -2*g + 4*l = 164, l - 315 = 4*g + 6*l. Let t = -56 - g. Solve 16 = -2*r + 5*m, 0 = -2*r + m - 6*m + t for r.
2
Suppose 2*w = -10*w + 96. Solve -w = -4*x - 5*i, x = 2*i - 5*i + 2 for x.
2
Let b be 1 + 2 + 0 - -56. Suppose 0 = -4*f + 23 - b. Let i = -7 - f. Solve -3*m - i - 9 = 4*g, -4*g = 2*m + 6 for g.
1
Let m = 64 + 28. Let c = m - 90. Solve -6*v - 10 = c*o - 2*v, 4*o - 16 = 4*v for o.
1
Let t(w) = 8*w**3 + w**2 + w + 1. Let q be t(-1). Let r(u) = 0*u + 5*u - 3*u**2 + 4*u**2. Let h be r(q). Solve 5*f = -3*p + 2*p + h, 2*f = -5*p + 24 for p.
4
Let u(p) = -2*p - 4. Let h be u(-7). Let c be 166/h - 42/70. Suppose 0*v = -4*v + c. Solve 0 = l + v*a + 25, -2*l + 4*a + 5 = l for l.
-5
Suppose 26*c - 122 - 8 = 0. Solve -3*m - 7 = -7*m - c*i, -5 = 5*i for m.
3
Let d(f) = f**3 + 3*f**2 - 4*f - 4. Let g(i) = -2*i. Let a be g(2). Let k be d(a). Let t = 1 - k. Solve 3 = t*q - 2*q, -3*b = -2*q + 14 for b.
-4
Suppose -19*k + 16*k = -6. Solve k*y - 5*i - 20 = 0, i + 4 = 3*y - 0*y for y.
0
Suppose x = -r + 11, 0 = -2*r - 0*r. Let o be (-6)/27 - (-104)/(-18). Let j = x + o. Solve -3*a = -12, a - j*a = -2*k - 14 for k.
1
Let z be -3 - 4 - (-1 - 2). Suppose -7*j + 11 = -73. Let q be (-6)/z - (-42)/j. Solve -p - 2*m + 11 = 2*p, q*p - 2*m - 13 = 0 for p.
3
Let o(d) = -2*d - 3 + 2 - 3. Suppose 4*r + 0*r + 8 = g, r = 3*g + 9. Let l be o(g). Solve -w = -l*f + 3*f + 7, -3 = 3*f + 3*w for f.
3
Let q be (-3)/12 - 213/12. Let v = q - -20. Solve -7 = y - 3*t, 36 = 4*y - v*t + 6*t for y.
5
Let s = 15 + -4. Suppose 11*x = -895 + 147. Let u = x + 70. Solve u*n + 4 = 0, n = 4*j + s - 1 for j.
-3
Let d(h) be the first derivative of -h**4/4 - 11*h**3/3 - 5*h**2 + 5*h - 35. Let z be d(-10). Solve -x = 2*k - z, 3 = 3*x - 6 for k.
1
Let i = 181 + -187. Let s(b) be the third derivative 