-u(l) - y(l). Let d be q(-7). Solve -p = 3*p - d for p.
4
Let c(l) = 0*l**2 - l**3 + 3 - 4 - l - l**2. Let k be c(-3). Solve 3*s + 2*s - k = 0 for s.
4
Let c be 3 + (-8 - (1 + 0)). Let z be c/27 - 2166/(-27). Suppose 0 = -h - 4*h + z. Solve -3*p = p + h for p.
-4
Suppose -24 = -5*l + 1. Solve l = 3*f + 2*f for f.
1
Let t(g) = -g**2 + 6*g + 11. Let n be t(7). Solve -8*f + n*f - 16 = 0 for f.
-4
Let p be 1/4 + 3/4. Let b be (-1 - p)/((-10)/15). Suppose 3*d + 3 = -5*a + 1, -b*a + d = -10. Solve l - 2 = a for l.
4
Suppose 4*q = 5*q. Suppose -2*w - 2*b = -28, 6*b - 57 = -4*w + b. Suppose -2*g - p + 9 = 0, -g - 5*p = g - w. Solve q = g*o + o + 25 for o.
-5
Let k(c) be the second derivative of -c**3/6 + 4*c**2 - 2*c. Let o be k(6). Solve 0 = 2*u + o + 2 for u.
-2
Let n be 220/16 - (-1)/4. Let x = n + -10. Suppose -4*z = -0*z - 8. Solve 4*m - x = z*m for m.
2
Suppose 22 - 7 = 3*k. Solve 0*m + 5*m = -k for m.
-1
Suppose 3*i = -0*a + 3*a + 27, -4*i + 3*a + 35 = 0. Solve 20 = 3*x + i for x.
4
Suppose -1 = -4*k - 5. Let t = 4 - k. Solve 0 = t*l + 22 + 3 for l.
-5
Let j = -13 - -13. Solve j = 2*a - a for a.
0
Let i(v) be the third derivative of v**5/60 + v**4/24 - v**3 + 8*v**2. Let q be i(-3). Solve q*m = -2*m + 6 for m.
3
Let t(j) = -j**2 + 2 - j**3 + 0*j**2 + 2*j**3. Let d = 8 - 8. Let w be t(d). Solve -2*c + w = 4 for c.
-1
Let k = -4 - -5. Suppose i + r - 2*r = -k, -2*i + 5*r = 17. Solve -20 = z + i*z for z.
-4
Let b be (-1 + 1)/3 - 2. Let n be b/(-6) - (-17)/3. Suppose r - 5*t - 7 = 0, 0*r + t = -3*r + 5. Solve r = 2*j + n for j.
-2
Let r(t) = -t**3 + 15*t**2 + 17*t - 13. Let p be r(16). Solve -p*k + 2*k - 2 = 0 for k.
-2
Let i(g) = 2*g**2 - g. Let h be i(2). Solve 0*r - 3*r + h = 0 for r.
2
Suppose 7 + 11 = 2*z. Solve z*c - 4*c = 10 for c.
2
Let z(d) = d**3 - 6*d**2 + 2*d + 1. Let s be z(6). Suppose -5*t - 3 = -s. Solve t*x - 6 + 0 = 0 for x.
3
Let i(f) = f**2 + 7*f. Let y(b) = 5*b**2 - 4*b + 2. Let h be y(2). Let v = h + -21. Let x be i(v). Solve 0 = 4*q - x*q + 16 for q.
-4
Let j(y) = -y**2 + 3. Let q(l) = l**2 - l - 4. Let d(i) = -7*j(i) - 6*q(i). Let u be d(-6). Solve 8 = -5*f + u for f.
-1
Let p = 63 + -53. Solve -8*w + 3*w - p = 0 for w.
-2
Let i(c) be the second derivative of c**5/60 + c**4/3 + 3*c**2/2 + c. Let o(f) be the first derivative of i(f). Let v be o(-8). Solve 6 + v = 3*a for a.
2
Let j(k) = -k**2 + 5*k - 4. Let c be j(3). Suppose c*u - 4 = -0. Let h(y) = y - 13. Let d be h(13). Solve m + u = -d*m for m.
-2
Let m be 3/6 + (-34)/4. Let s(z) = z**2 + 12*z + 11. Let g be s(-12). Let d = g + m. Solve 4*o - d = -19 for o.
-4
Suppose t = 4*v + 18, 0*v - 3*v - 8 = 2*t. Let q be -1 + 2/2 + -1. Let k = q + 3. Solve 0 = k*c - 0 - t for c.
1
Let a(v) = v**3 + 6*v**2 - 8*v - 5. Let d be a(-7). Let r = d + 6. Solve -5 = -3*o + r*o for o.
-1
Let p = 0 - 0. Let k(s) = s**3 + s**2 + 12. Let h be k(p). Suppose 4*v + 5*g + 4 = -1, -2*g = -4*v + 30. Solve -v*i - 2 = -h for i.
2
Let s be 3/(3*(-2)/(-12)). Solve -t + 4*t = -s for t.
-2
Suppose 2*r - 4 = -4*x, -5*r + 10 = -6*x + 3*x. Solve -r = 2*s + 8 for s.
-5
Suppose -43*c + 45 = -34*c. Solve 1 = -4*f + c for f.
1
Let o(d) = d**3 + 10*d**2 - 12*d - 5. Let m be o(-11). Solve 5*j - m - 4 = 0 for j.
2
Let i be (18/8)/((-21)/(-56)). Solve o - i = 4*o for o.
-2
Let l = 18 - 16. Solve -3 = l*d - 7 for d.
2
Let i = -7 - -10. Let z be 1 + (-1 - 0) + 2. Suppose 0 = -z*u + 2, i*n + 6*u = 2*u + 28. Solve -4*c + n = -2*c for c.
4
Let x be (-18)/(-72) - 59/(-4). Solve -k + x = -6*k for k.
-3
Let h = 30 + -20. Suppose -i = -2*r + h, -3*i + 17 = 5*r + 3. Let l = 14 + -14. Solve l = r*p - 0*p for p.
0
Suppose 0*m = 2*m. Suppose m*k + k = 2. Solve -z = k*z - 12 for z.
4
Let h be 75/12 + (-2)/8. Suppose -2*i - h = -4*i. Solve 2*p + i*p = 0 for p.
0
Let v = 10 - 5. Let j(m) = -m**3 + 14*m**2 + 15*m. Let d be j(15). Solve c = -d*c - v for c.
-5
Let s be 9*(-1 + (3 - 1)). Let n be 18/4*6/s. Solve n*l + 15 = -0*l for l.
-5
Let w(a) = 16*a**2 + 3*a + 1. Let c be w(-1). Let d be (c/(-14))/(2/(-4)). Solve 0 = -2*o - d*o - 4 for o.
-1
Let x be (-1 + (3 - 1))*3. Let k = 4 - 9. Let y = 8 + k. Solve y*h - 3 = x for h.
2
Suppose -2*z + 6 + 8 = 2*y, 0 = -2*y + 10. Solve -z - 3 = -j for j.
5
Let q(u) = -2*u**2 + 3*u + 4. Let r be q(4). Let t = -10 - r. Solve -4*w = -t - 14 for w.
5
Suppose -m + 96 = 3*m. Suppose -g = -2*y - 9, -3*g - 5*y = -7 + m. Solve -1 = -2*w + g for w.
1
Let p(l) = 3*l**2. Let a(q) = -q**3 - 15*q**2 - q. Let m(y) = -2*a(y) - 11*p(y). Let f be m(2). Let d be 2/f + (-30)/(-8). Solve -5 = d*u + u for u.
-1
Let x(m) = m - 2. Let h be x(6). Suppose 0 = -h*u - 3*f + 55, 2*f + 39 = 3*u + 5*f. Suppose -2*t = -t - u. Solve -t = 2*n + 2*n for n.
-4
Let u(s) = 2*s**2 - 10*s + 6. Let l be u(5). Solve 2*m + 2 = l for m.
2
Let y = 0 - -3. Suppose 0 = x + 2*b + 4, 3*b = -3*x + 2*b + 3. Solve -5*v + y*v = -x for v.
1
Let d(y) = 10*y**3 - 8*y**2 - 4*y - 14. Let k(u) = 3*u**3 - 3*u**2 - u - 5. Let w(s) = 2*d(s) - 7*k(s). Let n be w(5). Solve 0 = -0*x - n*x - 8 for x.
-4
Suppose 2*o = 2*r - 0*r + 8, r - 2*o + 7 = 0. Let i be ((-2)/4)/(r/14). Suppose i*c - 3*c = 40. Solve 0*n + c = 5*n for n.
2
Let f be ((64/6)/(-4))/((-4)/18). Solve -3*s = -7*s - f for s.
-3
Let t be 18/(-27) + (-6)/(-9). Solve t*u + 3*u + 3 = 0 for u.
-1
Suppose 3*n + n - 8 = 0. Let p be (1 + -2)/(1 + 0) + 4. Solve 11 - n = -p*b for b.
-3
Let d = 18 - 13. Suppose 3*f + 5 = -2*b + b, -f = b + d. Solve 3*v = -f*v - 3 for v.
-1
Let s(d) = d**3 + 10*d**2 - 11*d + 3. Let p be s(-11). Let w = 1 + 1. Let v = w + -2. Solve v = -p*h - h + 16 for h.
4
Suppose 4*v - 3*h - 32 = 0, -2*v - 4*h = -7*h - 16. Let z be 1*0*(0 + -1). Suppose -s - 28 = -4*p + 3*s, -3*s = 5*p + 5. Solve -p*f - v = -z for f.
-4
Let s(v) = -v**2 + 3*v + 2. Let o(r) = r + 8. Let u be o(-6). Let d be s(u). Suppose 2*n = d*z - 0 - 16, 5*n - 2*z + 8 = 0. Solve 5*f - f - 16 = n for f.
4
Let q(s) = s**2 - 3*s + 4. Let c be ((-8)/(-5))/(6/15). Let l be q(c). Solve 2*b = -0*b - l for b.
-4
Let g(c) = 2*c**2 + 2*c - 7. Let v be g(-3). Solve -v*w + 4 = -6 for w.
2
Let t = 1 - 1. Let g be 3/1*(-3)/(-9). Solve -i = -t*i + g for i.
-1
Suppose 12 = 2*k + 3*y, 2*y - y = -2. Solve 0 = -m + 4*m + k for m.
-3
Let a(w) = 2*w**2 - 3*w - 1. Let z be a(3). Let o = z - 8. Solve 3*f + 2*f - 15 = o for f.
3
Let j(t) = t + 1. Let l be j(1). Solve -l*h - h + 9 = 0 for h.
3
Let p = -12 + -1. Let n = 3 - p. Solve -t + n = -5*t for t.
-4
Suppose -7*g + 16 = -3*g. Let r(x) = x**2 + 5*x - 4. Let i be r(-6). Solve -b - g = -i*b for b.
4
Let x(t) = -t - 1. Let j be x(-1). Suppose 4*p - 48 = 4*k, 2*p + k - 4 - 14 = j. Solve -4*z + 9*z + p = 0 for z.
-2
Let r(b) = -b**3 + 7*b**2 + 9*b + 1. Suppose -7*p + 2*p = -40. Let f be r(p). Suppose -v = -j - 0*j, -j = 4*v. Solve 2*s + 1 + f = v for s.
-5
Suppose -3*a + 12 = -j, -2*a + 24 = a + 3*j. Solve 4*i - 15 = a for i.
5
Let o(t) = -7*t - 1. Let q be o(1). Let u be (-2)/q - (-18)/24. Solve 0 = a + 2 - u for a.
-1
Let v(y) = 18 + 5*y**2 + 10*y + 2*y**2 - y**2 + 7*y**2 + y**3. Let n be v(-12). Suppose 0 = -4*m + n - 18. Solve m*u - 3*u - 6 = 0 for u.
2
Let l = 6 - 3. Let w(h) = 4*h - l*h - 4*h + 4*h + 4. Let g be w(-3). Solve -3*m + 4*m = -g for m.
-1
Let k be (25/(-20))/((-1)/4). Solve -k*f + 14 + 1 = 0 for f.
3
Let r(t) = t + 6. Let m be r(-6). Let g = -18 + 21. Solve m*o = -g*o + 12 for o.
4
Let s be (-4 + 1)/(9/(-24)). Let j be 10*3/(-24)*-4. Solve j*z = z + s for z.
2
Let q be 6/7*(-168)/(-36). Solve -2 - q = -2*r for r.
3
Let l be 1 - ((-1)/1 - -2). Suppose l = 5*c - 3*c + 2. Let r(n) = -9*n. Let s be r(c). Solve 2*w - 1 = -s for w.
-4
Let j(a) = -a - 10. Let z be j(-15). Solve -z*x - 6 = -3*x for x.
-3
Let w = -26 + 36. Suppose -5*k + 25 = 5*n, 5*k - n - n = -w. Solve -2*l - 2 - 2 = k for l.
-2
Let y be (22/4)/((-2)/(-4)). Let o(k) = -k**3 + 11*k**2 + 2. Let f be o(y). Solve -5*j - 9 = -f*j for j.
-3
Let o = 21 - 13. Let q(t) = -t + 8. Let d be q(o). Solve -i + 4*i = d for i.
0
Let h(c) = 2*c + 14. Let p be h(-5). Solve 12 = 4*v - p for v.
4
Suppose 3*y - 40 = -q, 2*q = -y + 6 + 14. Let h = y - 8. Solve h*j - 5*j - 2 = 0 for j.
-2
Let o = -4 - -10. Let d be 20/o - (-8)/(-24). Suppose -2*s + 2 = 4*f, 3*s - d = -f + 10. Solve -2*a - 1 + s = 0 for a.
2
Suppose 0 = 2*p - 10, y - 4*p - 