= 3*p - 2*l + 11, 5*p = -x*l - 11 for p.
-3
Let u(g) = -2*g**3 - 4*g**2 + 5. Let o be u(-3). Solve -o = k - 5*w, 2*k + 13 = 4*w - 3 for k.
2
Let a = 25 - 15. Suppose 1 - 256 = -3*y. Suppose 0 = 2*p + 3*p - y. Solve -a = 2*s + 3*i, p = -5*s - i - 8 for s.
-5
Let b(g) = 2*g + 1. Let n be b(-3). Let d be -1*(2 - 11)/1. Let z = d + n. Solve 0 = -2*t + c + z, -c = -5*t + 2*c + 12 for t.
0
Let h(p) = p + 7. Let y be h(-7). Solve -s - 2*o - 5 = y, s - 3*o - 3 = -o for s.
-1
Let i be 11/9 + (-2)/9. Suppose -i = 4*v - 13. Solve 0 = -4*g + v*g - 2*y - 5, 5*y + 8 = 2*g for g.
-1
Let r = 15 + 0. Suppose 3*v - r = -0*v. Solve 3*j = -i - 11, 5 = -2*i - v for j.
-2
Suppose 0 = -2*z + 5*x + 15, -5*z - x + 26 = -2*x. Let v be -7 + 0 + z/5. Let r be 6 - 1 - (8 + v). Solve 7*g - 5*k + 40 = 2*g, -r*g - 12 = k for g.
-5
Suppose 0 = -5*q + 8*i - 3*i - 25, -5*i + 25 = 3*q. Let r(d) = d**3 + 2*d**2 - d. Let c be r(-2). Solve u = q, -c*u + 2 = -3*p + 8 for p.
2
Suppose -2*b - 9 + 1 = 0. Let z = b - -7. Solve -3*d + 3 = -3*l, 3*l + 10 = -z*d - d for d.
-1
Let m be 1 + 6*(2 - 1). Suppose 0 = m*k - 2*k - 10. Suppose o = 2*b - 15 + 5, -2*b = 5*o - 10. Solve -b*y - 8 = -h, k = -3*y - h + 3*h for y.
-2
Let u(c) = -c**2 - 11*c + 11. Let z be u(-8). Let l be 1/5 + 63/z. Solve -w + d = 3, d + l*d + 6 = 0 for w.
-5
Let y = -9 + 14. Let a(m) = -m**2 - 6*m - 2. Let q(j) = -2*j + 1. Let i be q(3). Let z be a(i). Solve -t - 30 = -z*t - 5*v, -v = y*t - 29 for t.
5
Let f(x) = -x + 14. Let r be f(11). Solve -m + 2*m = -r*w - 3, 0 = -4*m for w.
-1
Let r(g) = -2*g**2 - 30*g - 16. Let c be r(-14). Let l(u) = -u**2 + 12*u - 4. Let b be l(11). Solve -3*m = -3*j - c, m - 4*j - 12 = b for m.
-1
Suppose -7*l = -8*l + 4. Solve -l*k + 0*k + 4 = 2*q, -q + 2 = -2*k for k.
0
Let v be (-4)/(-18) + (-4)/18. Suppose 4*g - 1 + 4 = 3*l, v = -4*g + 5*l - 13. Solve -5*t - g + 19 = 4*y, y - 4*t = 4 for y.
4
Let g be -4*(3 - 4) - -12. Suppose 0 = -5*o + 17 - 7. Let b be (4 - (-1 + o)) + -1. Solve 2*j - 2*a - b*a + g = 0, 5*j - 2*a + 8 = 0 for j.
0
Let y be 0/(1 - 0/(-4)). Let b be 2/8 - (-45)/12. Suppose -2*s = -7 - 3. Solve 0 = b*q + s*t - 5, -5*q - 5*t + 5 = -y*q for q.
0
Let p(a) = -a**3 + 12*a**2 + 15*a - 10. Suppose -42 = -4*z + 5*t, 0*z - z - 5*t = -23. Let u be p(z). Solve -u = -4*q, -3*q + q + 5 = -y for y.
3
Suppose 0 = 3*b + 2*w + 2*w + 7, 3*w = -12. Solve m + 5 = r, 0 = -5*m + b*m - 4 for r.
3
Let o(r) be the first derivative of r**2/2 + 7*r - 1. Let b be o(-5). Solve f + b*n = -6 + 4, -4*n = -3*f - 6 for f.
-2
Suppose 2*r - 4*r + 10 = 0. Suppose -r*b + 0*b - 5*q = -40, 0 = -b + 3*q - 12. Solve -6 = -0*k + k + b*w, 4*k - 2*w = 4 for k.
0
Let v = 6 + 14. Solve 0 = 5*d - 4*a - v, -4*d = a + 8 - 24 for d.
4
Let o(s) be the third derivative of s**6/120 + s**5/60 + s**4/24 + 2*s**3/3 - 3*s**2. Let v be o(0). Solve 5*a = -3*k + 5*k + 7, k + 5*a = v for k.
-1
Suppose 0 = -2*k + 18 - 8. Let g(b) = b**3 - 2*b**2 + b + 3. Let s be g(3). Suppose -3*h + s = 2*h. Solve 0 = -h*c - 3*d + 9, c + 3*d + k - 10 = 0 for c.
2
Suppose -2*h + 40 = -4*r - 6, 3*h = 2*r + 49. Let c = h - 9. Suppose f + 0*f = c. Solve 4*p + 13 = 3*x, x + p = 2*p + f for x.
3
Let d = 2 + -2. Let h(p) = -p + 1. Let l be h(1). Let o = l - d. Solve -2*n - 5 = -x, o*x - 7 = -5*n - 4*x for n.
-1
Let a(i) = -4*i**2 + 1 - i - 3 + 5*i**2. Let r be 1/(-2) + 14/4. Let x be a(r). Solve -l = l - 5*z - 31, l + 17 = -x*z for l.
3
Let j be (12/3)/((-2)/3). Let y = 18 + j. Suppose y = 3*i + i. Solve 0 = i*k - 4*n - 2, 3*k - 6*k = -5*n - 4 for k.
-2
Let w(k) = k**2 + 9*k - 15. Let v be w(-12). Solve -d - 19 = -0*d - 5*j, d + 5*j - v = 0 for d.
1
Let l(h) = -h**2 + 4*h + 1. Let n be l(2). Let q(v) = 4*v + 2 - v**2 + 5*v - n*v. Let c be q(4). Solve 4*x + 26 = -c*z, -4*x - 21 + 0 = z for z.
-5
Let v(s) = 29*s. Let d be v(1). Solve -2*u + 8*q = 3*q, d = 5*u + 2*q for u.
5
Let j be 26/8 - (-2)/(-8). Suppose -j*y - 4 = -10. Solve 3*w + 2 = d + y*w, -4*d + 5*w = -13 for d.
-3
Let u = -14 - -6. Let r = 11 + u. Solve 5*k = 3*k + 3*p + 18, -5*k - r*p = -3 for k.
3
Suppose 0*h - 12 = -h. Let z = 4 + -11. Let y(s) = -4*s - 8. Let b be y(z). Solve 4*u + b = 5*p, -4*p - 4*u + h = -4 for p.
4
Let j be 2/(-4)*(1 + -11). Suppose 2 + 3 = k. Solve -4*r - 3*t = -j - 0, t - k = 2*r for r.
-1
Suppose 2*c - 96 = -c. Suppose 0*l - c = -l. Solve -3*m + 13 = -5*s, -3*m - 5*s + s = l for m.
-4
Suppose -3*k + 6*k = 6. Suppose 0*n + k*n = 34. Solve 3*y = -2*v - 3*v - n, 4*v - 8 = 3*y for v.
-1
Suppose 0 = 3*p + 6, -4*p + 44 = 5*f - p. Let t be f/(-4)*20/(-25). Solve 4*u - 7*w + 41 = -t*w, 4*u + 36 = 4*w for u.
-4
Let g = -2 + 4. Suppose b - 4 = 2*h, 3*b - 6*h = -g*h + 10. Solve -2*o - b = -d, 3*d + 7 = 3*o - d for o.
-3
Let p be (-1938)/255*((-10)/4 - 0). Solve s + p = -4*l, 1 = -4*s + 5 for l.
-5
Let w = -15 + 21. Solve -4*m = -3*v - 19, 4 = 2*v - w*v for m.
4
Let j(t) = t**3 + 4*t**2 + 4. Let p be j(-4). Suppose 10 = w + p*w. Solve -6*g + f - 21 = -w*g, -f - 9 = 2*g for g.
-5
Let w(q) = -q - 7. Let h be w(-7). Let g be 1*(-1 - h/(-3)). Let j be g*0/(1 + -3). Solve 5*m = t - 21, 5*t - 2 - 3 = j for m.
-4
Suppose 5*b = 2*l - 0*l - 42, -l - 31 = 4*b. Let h = 10 + b. Solve p = -2*p - 15, h*w - 4*p - 20 = 0 for w.
0
Let u = 27 - 19. Suppose 0 = -5*p + 3*g - 5*g + u, 15 = 5*p - 5*g. Solve -p = -2*f + a, -6*a + 2*a = 5*f + 8 for f.
0
Suppose 4*h + 4 = 4*o, -24 = -2*o - 4*h + 2. Suppose f + 3*l - 5 = 0, 3*f + f - 3*l = 20. Solve n + 11 = -f*j, 10*j - o*j = -5*n - 15 for n.
-1
Let f = 24 + -21. Suppose -u + 1 = -f. Solve 0*n + 2*d = -u*n + 10, 1 = -d for n.
3
Let x be 4/26 + 304/52. Suppose 0 = 6*n - 4*n - x. Solve 4*o = -2*r - 1 + 15, -n*r = -o for r.
1
Suppose 20 = -3*o + 7*o. Solve 3*w - b = -17, 35 = -o*w - 4*b + 9*b for w.
-5
Let i(z) = -z**3 - 4*z**2 + 4*z. Let a be i(-5). Suppose 2 = -2*x - 0, -2*n = a*x - 3. Solve 0 = r + 4*s - 8*s - 4, -n*s = 2*r + 4 for r.
0
Let l(f) = -f**2 + 7*f + 2. Let q be l(7). Solve 2*d = 3*n + 13, -q*n = -3*n - d - 1 for n.
-3
Let d be ((-2)/3)/(8/(-72)). Solve 3*c - 3*h = -4*h - d, 0 = 4*h - 12 for c.
-3
Let d = -4 + 8. Suppose 2*y + 4 = 0, -d*n = -n - y - 14. Solve -3*p - n*c = -16, -3*c + 5*c = -2*p + 8 for p.
0
Suppose -2*s = 4, 23 = -0*b + 3*b - 4*s. Solve 2*c + 15 = b*l, -2*l = -l + c - 3 for l.
3
Let n(z) be the first derivative of -z**3/3 - 9*z**2/2 - z + 2. Let p be n(-9). Let j be (-3 - -3)*(0 + p). Solve -c - 3*u - 9 = j, -5*c - u + 6 = -3*u for c.
0
Let n = -22 + 13. Let b be (3/4)/(n/(-36)). Solve -4 = 2*z - 2*d, b*z + 5*d - 2 = 8 for z.
0
Let o = -45 - -64. Suppose 9 = -3*f - 6. Let c = f - -9. Solve c*d = 4*q - 12, q + 3*d = -8 + o for q.
5
Let t = 1 + -3. Let u be t - -1 - (-1 - 2). Solve -2 = -c - u*q + 3*q, 18 = -5*c - 2*q for c.
-2
Suppose 24 = 4*h - p, h = -0*h - 2*p - 3. Solve 4*s - 3*a + 6 = -0*a, 23 = -h*s - 4*a for s.
-3
Let f be (7 - 13)*(-5)/3. Solve 0*b + 2*k = 3*b + 22, 5*b + 2*k = -f for b.
-4
Let q = 52 - 52. Solve 5*x - 5*p - 40 = 0, q*x + 3*p = 2*x - 21 for x.
3
Let v = -1 + 3. Let l(b) = b - 19. Let m be l(13). Let i(p) = -2*p - 6. Let x be i(m). Solve 0 = 4*d + o + 24, -x = v*d - o - 0 for d.
-5
Let m(a) = -a**3 + 3*a**2 + 2*a + 4. Let k be m(3). Suppose -k = -3*q - 1. Solve 18 = -q*t + 3*s, 15 = -4*t - 0*t - 5*s for t.
-5
Let t(n) = n**2 - 6*n + 9. Let v be t(7). Let z(a) = -a**3 + 5*a**2 + 5*a. Let i be z(6). Let d = 9 - i. Solve -3*s = -d, -v = 4*f - 2*f - 4*s for f.
2
Let v be (-80)/24*(-24)/10. Solve w = 5*b + 13, 2*w = -2*b + 3*b + v for w.
3
Let r(j) = -j + 1. Let l(n) = n**3 + 5*n**2 - 14*n + 3. Let s(u) = l(u) - 6*r(u). Let d be s(-6). Solve -4*p + 13 = 3*f, 2*p - 3 = 4*f + d for f.
-1
Let w(b) be the first derivative of -b**3/3 - 5*b**2 - 11*b - 8. Let z be w(-8). Solve -2*y + 25 = -z*n, 3*y - 5*y - 4*n = 2 for y.
5
Suppose x = -0*x. Let t(w) = 0*w + w - 8 + x*w. Let o be t(8). Solve 3*i - 2*g + 3*g = -5, 4*g + 8 = o for i.
-1
Suppose 3*r + s = -2*r + 22, 5*r + 5*s = 10. Solve 4*a + 3*f - 10 = 0, -r*a + 3*f - f = -24 for a.
4
Let d be (-8)/(-2 + (1 - 1)). Solve -5*b = 5*a - 8 - 7, -2*a - d*b + 12 = 0 for a.
0
Let r(z) = z**2 + 7*z + 17. Let y be r(-6). Let s = 2 + -13. Let q = s + 17. Solve -y = 3*t + 2*f + 3*f, 4*f - q = 5*t for t.
-2
Suppose -70*p = -73*p + 108. Solve -j - 4*o + p = 3*j, 0 = j + 3*o - 17 fo