2 + 14*f + 0*f**2 - 22*f. Let g be p(-6). Solve -3*y + o + 1 = 3*o, 0 = y + 4*o - g for y.
-1
Let i(u) = 4*u**2 + 10*u - 16. Let q be i(2). Solve x + 4 = 4*p - 2*p, -4*p - q = 5*x for p.
0
Let x(m) = -9*m + 81. Let o be x(8). Solve -3*c - o = -2*b, 14 - 4 = 5*c + 5*b for c.
-1
Let u(p) = -24*p + 128. Let g be u(5). Solve 2*w + 5*m = -g - 13, 25 = 5*w - 3*m for w.
2
Let s(g) = -10*g + 62. Let i be s(5). Let j(x) = -2*x + 30. Let f be j(i). Solve 3*n = z, f*z = -n + 3*z for n.
0
Suppose 7 = 5*x + f - 15, 26 = 4*x + 5*f. Solve -5*c + 3*c - 2 = -4*j, -2*j - x*c + 26 = 0 for j.
3
Suppose -3*p = -3*d - 21, -3*p - 3 = -0*p + 3*d. Solve -b + 5*i = 20, 0 = -p*b + 4*b - 3*i + 12 for b.
0
Let w = 74 + -70. Let j be (-1)/(2/w) - -4. Solve 0 = j*g - 2*f - 2, 0*g - 3*f - 24 = 4*g for g.
-3
Let s be 1400/300 - (-1)/3. Solve y = -3*y - 4, -s*q + 2*y = 8 for q.
-2
Suppose 6*s - 4*s - 1 = n, 30 = 5*n - 3*s. Suppose 9 + n = 6*u. Solve 2*j + 4 = j + 2*k, 3*j = -3*k - u for j.
-2
Let j be ((-2)/5)/((-9)/45). Suppose -2*u + g = -36, 6*u - 90 = u - j*g. Suppose 17 = 5*c - u. Solve 0 = -2*q - 4*l + c - 1, -l = -5*q + 15 for q.
3
Let d be (3/(-9))/((-3)/(-36)). Let t be 2*(-2)/d - 0. Solve -4*k = -c - 2, 5*k - 3*c = -0 - t for k.
1
Suppose 7*u - 30 = 2*u. Suppose 3 = -q + u. Solve -5*v - m + 17 = -2*v, 4*m = -q*v + 32 for v.
4
Let b(x) = -x**2 + 5*x + 6. Let m be b(6). Suppose m*j - 6*j - 120 = 0. Let y = 23 + j. Solve 0 = -y*k + k + 6, 0 = 4*c + 2*k - 18 for c.
3
Let r = -8 - -16. Suppose 0 = -4*s + t + 16, s + r = 3*s + 4*t. Suppose 4*v - 4*a = 0, s*v + 0*a = a + 6. Solve -5*h - v*j - 22 = 0, -2*j - 9 = 2*h - j for h.
-4
Let l = -8 - -2. Let x(q) = -q**2 - 7*q - 2. Let z be x(l). Solve -6 = -r - z*p, 3*r - 8 = -3*p + p for r.
2
Suppose 2*z + h + 2*h - 17 = 0, -5*z + 5*h + 80 = 0. Suppose 2*s - 5*l = 23, -l = 6*s - 2*s - z. Solve -4*o - 24 = -s*a, 4*o + 13 - 1 = a for o.
-2
Let w(h) = -h**3 + 5*h**2 - 3*h - 4. Let x be w(2). Suppose -2*i + x*f + 16 = 2*i, -5*f = 20. Solve 0*d + d + i*g = 10, d + 5*g = 22 for d.
2
Let n = 1883 - 1879. Solve p = 4*x - 4, 7*p + 12 = 4*p - n*x for p.
-4
Let t be (-9)/(-1 + 4) - (8 - 14). Solve -2*l = -t*o - 14, -4*l = 3*o + 1 + 7 for l.
1
Suppose 0 = 844*j - 834*j - 30. Solve 4*s - 8 = 2*l, -s + j*l - 2 = 1 for s.
3
Suppose -3*o = 5*g - 51, 3*g = 2*o + 4*g - 27. Let f be (2/(-24))/(1/(-3))*o. Solve -4*h = f*t, 4*t + 31 = -2*h + 7*h for h.
3
Suppose -o + 4 = 0, 2*b - 3*o - 6 = -16. Let s(x) = -2 - 3*x**2 - 5*x + 4*x**2 + 0*x**2 + b. Let g be s(6). Solve q - 1 + 4 = -4*m, -5*m - g*q - 15 = 0 for m.
0
Suppose -4*p + 5*a + 90 = 0, 15*a = p + 18*a - 31. Let z = 37 + -13. Let c = p - z. Solve -u - 2*q - c = -q, -2*q + 8 = 0 for u.
-5
Suppose 3*d - 8 = -2. Let g = 9 + -5. Suppose 0 = -4*t + 2*z + 22, g*t = 7*t + z - 4. Solve s - t*p - 29 = 6*s, -4*p = d*s + 20 for s.
-4
Let l = -605 - -607. Solve 4*s = 4*v - 0*v, -l*v + s - 1 = 0 for v.
-1
Suppose 5*c + 14 = -z, 12 = 3*z - 3*c - 0. Suppose -110 = -i + 6*i. Let v = -16 - i. Solve 2*j - 2*a = v, -6 = -4*j + 3*a + z for j.
-2
Let f = -28 - -32. Suppose f*o = -4*a + 40, 5*a = 3*o - 2*o - 10. Suppose 13*d + o = 18*d. Solve -13 = -3*q + d*b, 0*b = 5*q + b - 26 for q.
5
Let c be 0*-4*(-4)/(-32). Suppose 2*j + 20 = -2*j. Let h = j + 9. Solve c = -3*m - 5 - h, 3*z = -2*m - 15 for z.
-3
Let n = -21 + 22. Let x be n + (-78)/(-4) - 12/24. Solve 4*j - 4*t - 20 = 0, -j = -0*j + 4*t + x for j.
0
Suppose 2*u + 2*g - 11 = 5*g, 3*u - 16 = 4*g. Let r(p) = 3*p**3 + 4*p**2 - 3*p**2 - 5*p + u*p. Let q be r(1). Solve b - 7 = -m, q*b - 25 = -2*m - 2*m for m.
4
Let o(c) be the first derivative of c**4/4 - 11*c**3/3 - 11*c**2/2 - 12*c + 9. Let l be o(12). Solve 4*v + 6 = -3*r, -3*r - r - 2*v + 2 = l for r.
2
Let o be 10/(-35) + (-16)/(-7). Let g be 16 + o - (2 + -1). Suppose 4 = 5*d - 16. Solve -2*t = 6, s - g + d = 5*t for s.
-2
Let f(g) = -3*g - 13. Let a be f(-5). Let d = 184 + -182. Solve 0 = k - 3*t + 14 - a, d*k = -3*t + 3 for k.
-3
Let j be 8/12 - (-642)/9. Let o = j + -46. Suppose 5*u + 0*g - g = o, 0 = -g - 1. Solve -5*w = u*c + 30, 0 = 2*w - c - 0*c for w.
-2
Let x(p) = -p + 1. Let z be x(-1). Suppose -5*b - s - 12 = z*s, 0 = 4*b + 5*s + 20. Solve -4*r - g + 4 - 1 = b, 0 = 2*r - 3*g + 9 for r.
0
Let w = 1439 + -1435. Solve -4*m + g + w = 5*g, -4*m = 2*g - 2 for m.
0
Suppose -8*s - 3*s + 1144 = 0. Let a = s - 100. Solve u - 2 = w - 3, a*u + 2*w = -28 for u.
-5
Suppose -21 = i - 2*i. Let f be (-2)/(-12) + (-37)/222. Solve 2*m - 3*p + i = f, p = -2*m - 4 + 3 for m.
-3
Let j be (-3)/(-6) + 26/(-4). Let g be (2/2*j)/(-2). Suppose 0 = g*h + 3*w - 60, h + 2*w - 13 = 5. Solve 0 = -2*m + 4*n + h, -13 = -2*m - 2*n + 3*n for m.
5
Let b(u) = -u**2 + 8*u - 4. Let x be b(6). Suppose 4*t - x = 4. Solve -t*f = -5*y + 8, 5*y - 12 = 4*f - 2*f for f.
4
Suppose 0 = -2*u - 2 + 10. Suppose -3*z = -3, -u*k + 4*z + 11 = -z. Let i be (-17)/(-5) + 4/(-10). Solve 4*q = 2*j - 8, i*q + 9 = -k*j - 8 for q.
-3
Let l be 6/9 + 4/18*-3. Solve 0 = -l*z - z + 5, -4*u - 7 = -3*z for u.
2
Let f be 36/(-27) - (-10)/3 - -3. Solve u + u = -5*h - 12, 0 = -5*u - f for h.
-2
Suppose 78*n - 701 - 1483 = 0. Solve -2*b = -4*b + 5*j - n, -b + j - 8 = 0 for b.
-4
Let p(z) = z**2 - 3*z - 16. Let x be p(7). Let c = x + -9. Let i be -2*-1*(0 - -1). Solve -j + c*v = 0, -i*j + v - 2 = -7 for j.
3
Suppose 0 = -5*p - 0*g - 2*g + 68, -p + 12 = 2*g. Let w = -137 - -137. Solve w = -3*t - z - p, -t + 4*z - 3*z + 2 = 0 for t.
-3
Suppose 2*t - 4*t = -4*i + 56, -5*t - 20 = -2*i. Solve 2*r + 0*r + 3*h - i = 0, -3*r + 5 = h for r.
0
Let w = 2369 + -2363. Solve -5*m - w*t + 2*t = -2, 3*m + 5*t + 4 = 0 for m.
2
Let t(v) = v**2 - 3*v - 1. Let y be t(4). Suppose -3*f - 3*p = -y, -f + p + 11 = 4*f. Solve 4*b = 6*z - f*z + 24, 0 = 4*b + 2*z - 12 for b.
4
Let j = -2 - -9. Solve -27 = -3*x - 5*u, -x + 3*u + j = 3*x for x.
4
Let m(g) be the second derivative of g**4/12 + g**3/6 + 5*g**2/2 + 21*g. Let j be m(0). Solve -1 = -t + 4, 4*f - j*t + 37 = 0 for f.
-3
Let v be (-6)/(-6)*(3 - -1). Let d = -11 + 11. Suppose d*t - t + 35 = 0. Solve v*z + o + t = -4*o, 2*o = -z - 11 for z.
-5
Let q = 145 + -116. Solve -4*t + 5*h + q = 9, 25 = 5*t + 2*h for t.
5
Suppose 7 + 83 = 18*x. Solve a + 20 = 2*a + x*w, 2*a - 2*w = -8 for a.
0
Let w be (36/(-45))/((-1)/35). Suppose -y - w = -5*y. Suppose 0*u + n = -3*u + 9, -4*u = 3*n - y. Solve -4*f = 4*h - 0 - u, 25 = -5*h + 5*f for h.
-2
Let k = -6775 - -6791. Suppose 3*x - 2*x + 5*o = -11, 0 = 5*x + o - 17. Solve -k + 4 = -4*p + x*i, -p + 4*i = -3 for p.
3
Let c be (-5)/3*(-72)/30. Let m(i) = -i + 4. Let n be m(6). Let k = 0 - n. Solve -c*t = -z - 3*z + 12, k*z = 2 for t.
-2
Let d be 0 + 0 - 2 - -4. Let g be 22/99 + 6/(162/129). Solve v - 4*m = d*v + 20, -v + g*m = -25 for v.
0
Suppose 2*a + 1 + 29 = 0. Let m be (a/9)/((-50)/180). Solve -16 = -2*f + m*f, 0 = 5*u + 5*f + 5 for u.
3
Suppose 0 = -g + 2, 10*f - 5*f - 5*g = 30. Solve -4*w + f + 5 = 5*z, 11 = 4*w + 3*z for w.
2
Suppose 5*l - 239 - 11 = 0. Let f = -46 + l. Solve -f*x - 2*d + 30 = 0, -3*x + 4*d + 3 = 8 for x.
5
Let f(w) = 7*w. Suppose -8*v = -7*v - 5. Let c be f(v). Solve 5*z - 2*g = c, 0*z - 3*g - 20 = -z for z.
5
Let i be -15*((-105)/(-36) + -3)*4. Solve -i*r = k - 6*k, -4*r = 5*k for k.
0
Let n = 165 + -163. Solve -5*l = -3*l, 0 = -n*j + 2*l + 6 for j.
3
Suppose 3*h = -0*h - 4*u - 10, h - 4*u - 18 = 0. Solve 6*g + d - 9 = 4*g, -5*d = -h*g - 9 for g.
3
Let k(o) = -o - 6. Suppose -4*y + 9 = 1. Suppose -y*i - 2 = 14. Let t be k(i). Solve 5*d = 4*f - 10, -4*f + t*f + 6 = -2*d for d.
2
Let l(d) = -d**3 + d - 1. Let w be l(1). Let m = 5 + w. Suppose 0 = -4*c + 16 + m. Solve -7 = -h + c*x, h + h = -4*x for h.
2
Let z be (3 + 150/(-42))/((-2)/7). Solve -2*l + 3*c + z = -7, 4*l + 17 = -c for l.
-3
Let a be (2 - 1)*0 - 12/(-2). Suppose a*b = 24 + 12. Solve 0 = -b*t + t - 5*h - 20, 4*t + h + 4 = 0 for t.
0
Let t(c) be the first derivative of -2*c + 0*c - 7 + 4*c**2 + 2 + c. Let z be t(1). Solve 4*r + 4 = -5*o, o + 19 = 2*r + z for r.
4
Suppose 0 = 7*w - 329 + 287. Solve 0 = -3*o + o - 4*u + 4, -2*o + u = w for o.
-2
Let k(i) = 125*i + 377. Let b be k(-3). Solve 8*o - 10 = 3*o, -6 = b*v - 2*o for v.
-1
Suppose 0 = -j + 13 - 1. Suppose -3*u + 3*v + 14 = -2*u, -4*v = j. Suppose g = -1 + 6. Solve -4*c