-6 = g*p + f*b, -b - 2*b - 12 = 0 for p.
2
Suppose -5 - 1 = -3*b. Suppose -12 = -4*f, -117 = 2*c - f + 2. Let k = -56 - c. Solve 5*l - 20 = 5*h, -2 = k*l + b*h + 2 for l.
1
Suppose 9*n - 7*n = -6. Let z(t) = -2*t**3 - 5*t**2 + 3*t + 3. Let x be z(n). Suppose -s + 7 = x. Solve -5*i + s = -2*d, -d - d = i + 4 for i.
0
Let i be (7 - 9) + (-62)/2. Let c be 22/6 - 11/i. Solve -4*k - 16 = 2*d, -4*d - c = k + 14 for d.
-4
Let d(q) = -9*q**2 + 19*q**2 - 11*q**2 + 17*q - 35. Let h be d(14). Solve -5*y - h + 2 = -5*m, -18 = -2*y - 3*m for y.
3
Let p = -1 + 4. Let g(k) = 2*k - 24. Let j be g(17). Suppose 12*s - 8 = j*s. Solve s*r = 3*l + 27, r + p*l = -4*r for r.
3
Let s(i) = -7*i + 91. Let z be s(13). Solve 5*a + 5*f + 5 = z, 0 = 4*a + 3*f - 5*f - 20 for a.
3
Let c(r) = r + 1. Let x be c(1). Suppose 2*u - 24 = -x. Let m be (-1*4)/((-4)/8). Solve -2*v + v = -4*j + u, m = -3*j + 4*v for j.
4
Let r be ((-6)/(-14))/(4/28). Suppose 4*w = r + 9. Suppose 2*g - 3 - 9 = f, w*g + 2*f - 11 = 0. Solve t - 19 = j - g*j, t + 5*j = 24 for t.
-1
Let b(p) = 3*p + 24. Let s be b(-14). Let x be (24/(-16))/(1/s). Solve -5*j + x + 2 = -c, 5*c = -20 for j.
5
Let p(u) = u**2 - u - 12. Let r be p(0). Let a = r + 18. Suppose -2*s - a = -4*s. Solve 5*q - 2*l = 30, -l + 14 = 4*q + s for q.
4
Let w(o) = o**3 + o + 4. Let z be w(0). Solve 16 = -4*f - 4*k, 8*k - 3*k - 25 = z*f for f.
-5
Let z be ((-7)/(-21)*2)/(8/24). Solve 0 = -2*x - 4*b - 3 + 1, -6 = -4*x + z*b for x.
1
Let j(h) = -2*h - 2. Let g be j(-5). Suppose -t + g = 5. Let l = -1 + t. Solve 5*v = w - l*w + 15, 31 = 4*v - 3*w for v.
4
Let k be (-1 - (-4 + 3))/2. Solve 0 = 4*m - k*m - q + 11, -2 = -2*m + 2*q for m.
-4
Suppose -n - 10 = -13. Let v = 117 - 110. Solve -j = -2*o - 0*j + 9, 4*o = -n*j - v for o.
2
Suppose 3*v - 3*t = -336, -v - t - 112 = -6*t. Let k = 114 + v. Solve -k*c = 2*s + 4, -5*s + 5*c + 0*c = 40 for s.
-5
Let g(i) = i**3 - 6*i**2 + 30. Let p be g(5). Solve 3*h - 34 = 5*a, 48 - 11 = -p*a + 4*h for a.
-5
Let g = -133 + 156. Solve -2*c = -5*y + g, -c = -2*c - 3*y + 16 for c.
1
Let f = 24 - 18. Let c be (f/8)/((-5)/(-60)). Suppose r - 2*r + 2 = 0. Solve 3*t + c = -r*t - 2*j, t - 12 = -5*j for t.
-3
Let p = 99 + -52. Let y = 57 - p. Solve l + 5*h + y = -0, 5*h = -5 for l.
-5
Let r = 204 + -192. Solve -5*y - 22 = b + 2*b, -5*b + 4*y = r for b.
-4
Suppose -3*u = -7*u + 276. Let g be ((-46)/u)/((-1)/6). Solve -4*l - 2*d + 20 = 0, -3*l + 5*d - 7 - g = 0 for l.
3
Let w(c) = 3*c**2 - 18*c + 3. Let d be w(6). Solve -d*p + 0*p = -2*t - 2, 0 = -p + 3*t - 11 for p.
4
Let t = -5 - -22. Let x be (-5)/(-2) - (-1)/2. Suppose -3*h = 5*r - 8, -4*r + 3*h - 2*h + 20 = 0. Solve 0 = r*w + 3*y - t, -x = -0*w - w - 2*y for w.
5
Let x = -199 + 199. Solve 3*j - 3 = -x*k - 2*k, 4*j = 2*k + 4 for j.
1
Let d = 868 + -867. Let j(a) = -a + 9. Let k be j(7). Solve f + 1 = -5*y - 2*f, 5*y = -k*f + d for y.
1
Let a(p) = 5*p**2 - 4*p - 4. Let d be a(-4). Let r = d + -16. Suppose -v + r = 3*w, 5*v - 3 = 2*v. Solve 0*y + 5*y - 3*m = -w, -12 = -4*y - 4*m for y.
-2
Let v be (3/4)/((-1)/4). Let a be -1*(-6 + (v - -5)). Solve 0 = 3*g - a*q - 18, 5*q + 1 = -4*g - 6 for g.
2
Let d = 168 - 164. Solve 3*o + 4*g - d = 7*o, -8 = -4*o - 2*g for o.
1
Let q(t) be the first derivative of t**4/4 + 2*t**3 - 4*t**2 - 5*t + 6. Let h be q(-7). Let x be (-9)/h*(-8)/3. Solve d + x = -d - 5*w, 3*w = -2*d - 4 for d.
4
Suppose 5*b = 10, -5*h = -4*b - b + 140. Let i be (6/4)/((-13)/h). Let s be 5 - (2 + -4) - i. Solve 3*w = -0*g - 3*g + 3, 0 = 2*g - s*w + 28 for g.
-4
Let g(t) = -t**3 - 5*t**2 - 5*t + 5. Let l be g(-3). Solve -l*p + 24 - 10 = 2*h, -2*p = -5*h for h.
2
Let n(m) = -m**3 - 7*m**2 - 10*m + 3. Let q be n(-5). Solve -q*r + 3*c - 7*c + 13 = 0, -3*c + 10 = 2*r for r.
-1
Let h = 61 - 71. Let r be 36/h*5/(-3). Solve q = -5*n + 18, -4*n - r = q - 20 for q.
-2
Suppose 0 = 7*h - 13*h + 102. Suppose -6 = z + 2*z - 4*j, -z = 5*j - h. Solve z*y + 7 = x, 0 = -0*y - 2*y - x + 3 for y.
-1
Suppose 0 = -16*f + 14*f + 8. Suppose f = -d + 2*d. Solve -3*t - 12 = -4*z - t, -d*z = 2*t + 4 for z.
1
Let w(d) = -d**2 - 46*d + 102. Let x be w(-48). Solve -3*l = -o - x, -5*l - 2*o = 7 - 28 for l.
3
Let t(f) = -f + 6. Let d be t(0). Let q be (d - 1 - 3)*1. Suppose -3*c = -5*c + 6. Solve -c*y = -5*m, -2*m = -q*y + 7*y - 31 for y.
5
Suppose -8*m - 2*j - 10 = -9*m, 0 = 4*m + 4*j - 4. Solve -2 = d, -2 + m = 4*k - 3*d for k.
-1
Let j = -1 + 3. Suppose -j*i - 2*i = 0. Suppose c + i*c - 5 = 0, s + 2*c = 17. Solve 3*u + 3 = v + s, 5*u = 2*v + 6 for u.
2
Suppose 0*m - 20 = -h - 5*m, 5*h + 2*m - 31 = 0. Solve -5*x + 3*p + 2*p + 40 = 0, -h*x - p + 22 = 0 for x.
5
Let j(n) = n**3 - 10*n**2 + 8*n - 4. Let l be j(9). Let c(d) = d**2 + 14*d + 15. Let i be c(l). Solve -4*o - 2*q = -10, -5*q - 1 = i*o - 2 for o.
3
Let f = -68 - -66. Let k(g) = 2*g**3 - 7*g**2 - g - g**3 - 2 + 9*g**2. Let h be k(f). Solve 5*d + 2*l - 2 = h, -4*l = -0*d - 2*d - 4 for d.
0
Let o be ((-140)/15 - -10)*6*-1. Let k = 142 + -268. Let v be k/(-26) + o/(-26). Solve 6 = -4*c - 3*a + 3, v*c + 4 = -4*a for c.
0
Let f = 5 - 3. Suppose 3*h - 2*n = 6, -n + 0 + 7 = h. Suppose -3 - 37 = -5*a. Solve u + i - f*i = -4, -4*i - a = h*u for u.
-3
Let q be (-2)/(-8) + 30/8. Suppose 3*h - 27 = -q*l, 15 + 7 = -l + 5*h. Solve 0*c = 4*w - 5*c - l, 2*c = -5*w - 21 for w.
-3
Let u(p) = -p - 96. Let d(b) = -24. Let c(n) = 9*d(n) - 2*u(n). Let r be c(14). Solve 3*m + 16 = 7*m - r*l, 3*m = -3*l - 12 for m.
0
Suppose -12*c = -14*c + 18. Solve -a + c = 2*n, 0*a - n - 12 = -5*a for a.
3
Let i(c) = -8*c + 236. Let p be i(29). Solve 4 = 2*v, 3*v = 4*u + p*v - 6 for u.
1
Suppose 3*v = 3152 - 3134. Solve 0 = -2*t - 3*f - v + 15, -3*t - 2*f + 11 = 0 for t.
3
Suppose -6 = -2*v + 3*f - f, 4*f = -4. Solve -j - 2*a - 20 = v*a, -4*j - a = 5 for j.
0
Suppose 36*f - 91 = 53. Solve -f*z = -5*c - 29, -z + 9*c - 5*c = -21 for z.
1
Suppose -3*d - 5*h = 13, 5*d + 3*h - 25 = 4*h. Suppose 2*n = -2*r - 0*r + 2, 2*n = 2*r - 14. Solve -4*v - 3 - 5 = d*m, r*v + 8 = m for m.
0
Let x(h) = h**3 + 8*h**2 + 14*h. Let v be x(-5). Suppose 5 - v = -2*j. Solve j = 3*r - 6, 0*r + 4*r - 11 = l for l.
-3
Let f(n) = n**3 + 6*n**2 - 10*n - 5. Let d be f(-7). Let t = -13 + d. Let r = -1 - -4. Solve -w + 24 = w - 4*s, t*w - r*s - 21 = 0 for w.
2
Let r(o) = -4*o**2 + 60*o + 7. Let w be r(15). Solve -c - t - w = -1, c = 5*t + 18 for c.
-2
Let i = -85 - -159. Suppose 3*n + 5*f - i = 0, -4*f = -n - 3*f + 30. Solve 4*p - n = -3*v, -3*p + 16 = p for v.
4
Let x = -13 - -14. Let b(a) = 4*a**3 + a**2. Let j be b(x). Solve -4*n - 20 = 0, -j*d + 40 = -2*n - 2*n for d.
4
Let a(t) = 4*t**2 + 65*t + 22. Let q be a(-16). Solve 0 = 3*j - d + 1, -j - q*d + 3*d = 7 for j.
-1
Let w be 3 - 5/(20/12). Let b = -16 - -14. Let v be (4/b - -4) + 3. Solve -5 = d - v*l + 11, w = -2*d + 4*l - 8 for d.
4
Let h(p) = p**3 + 15*p**2 - 35*p - 304. Let i be h(-16). Solve -6 = 3*b - 3*x, 3*b - x - 4*x + 10 = i for b.
0
Let n(k) = k**3 - 3*k**2 - 4*k + 1. Let j be n(4). Let d = 2 + j. Suppose -d*q + 20 = 2*q. Solve 0 = 5*b + q*g + 24, 3 = -g + 2 for b.
-4
Let r(n) = n + 16. Let c be r(-9). Suppose c*i - 9 = 4*i. Solve d = -i*y - 13 - 3, 0 = d + 4*y + 21 for d.
-1
Let m(z) = -3*z + 77. Let b be m(25). Solve -b = -4*y + 5*n - 24, -y + 2*n = 7 for y.
-3
Suppose 41*f = 29*f + 180. Solve -4*p - 4*m + 20 = p, -5*p = 3*m - f for p.
0
Suppose -2*i - 4 = -3*i. Suppose -o = o - i*m - 8, -m + 34 = 4*o. Suppose -6*p + o = -2*p. Solve 5*q = 2*k - 2, p*k + 17 = -4*q + 1 for q.
-2
Let i be 7/56 + (-398)/(-16). Solve -j - k = -7 + 1, -4*j = 5*k - i for j.
5
Suppose -13*i + 12*i = n, -4*n + 4 = 5*i. Solve 4*k - 4*m + 16 = 0, -i*k - m - 2 - 9 = 0 for k.
-3
Let a(i) = -15*i + 8 - 21*i**2 + 5 + 23*i**2. Let v be a(7). Suppose -3*s = -5*s + 8. Solve -4*d - 8 = 3*j, 0 = -0*d - 2*d - s*j + v for d.
-5
Let d(c) = -c**2 + 5*c + 2. Let p be d(3). Let h(v) = -6*v + v**2 - 4*v + 20*v - 8 - 16*v. Let b be h(p). Solve -5*t = 5, 3*n - b = -5*t - 25 for n.
-4
Suppose 2 + 3 = 5*x. Suppose 0 = -5*q - 2*i + 13 + x, -4 = -2*i. Solve 5*o - 2*o - 2*a - 11 = 0, -a = -q for o.
5
Let n be -4 + 3/6*8. Let z be (-3 + 0 + (-5)/(-2))*n. Solve 6*t - 4*t + 2 = z, y - 3 = -t for y.
4
Let o = 223 + -215. Solve s + 2 = 2*w, -2*w + s = 3*s - o for w.
2
Let z = 623 + -622. 