 Solve -15 = 5*c + x*l, 0 = 5*c - 3*l - 2*l + p for c.
-3
Let n be (369/6)/3 + 2/4. Solve -5*l = 3*o + 7, 3*l = -5*o + 4 - n for l.
1
Let y(k) = -k**3 + 4*k**2 + 3*k - 4. Let l be y(4). Suppose 0 = 4*b + l, 5*v + b - 2*b = 12. Suppose -2 = o - 4. Solve 4*n + 5*q = -37, -o*n - q - v = 9 for n.
-3
Let n(i) = 9*i**2 + 1. Let y = 7 - 4. Suppose y = -x + 2. Let c be n(x). Solve -s + 3*s = -10, 3*q = -5*s - c for q.
5
Let f = -101 + 106. Suppose k - 2*c - 4 = 0, 0 = -2*k + 6*k - 4*c - 12. Solve -k*h + 2*w = -14, -f*h + w - 5 = 6*w for h.
3
Let w be 5/10*-10*-1. Solve 5*o - w*j - 30 = 0, 4*o - 2*j = -j + 21 for o.
5
Let r(d) = d**2 - 5*d - 1. Suppose 0 = 4*n + n - 30. Let v be r(n). Solve 2*b = 2*k + 4, -b + 1 + 1 = v*k for b.
2
Let t = -1 + 9. Solve t = 4*n, 0*o - 3*n = -o - 1 for o.
5
Let b(o) = o**3 - 19*o**2 - 19*o - 17. Let z be b(20). Solve 17 = -l + 3*p, 6*p - z = -l + 5*p for l.
-2
Suppose -4*z - 13 = w, 0 = -3*w - 4*z - 10 + 3. Suppose -s + 9 = -3*y, w*s = -s - 4*y + 84. Solve -4*b = -3*l - 2*l + 3, s = 5*b + l for b.
3
Let s be (-2)/(-9) - (-110)/(-9). Let d = 14 + s. Solve w - 3*w = 5*h - 5, d*w = 2*h - 16 for h.
3
Let q(s) = 0*s**2 + 8*s**3 + 5*s**2 - 6*s**3 - 4*s**2. Let b be q(1). Solve 0 = -5*c - 4*t + 23, t + 2 = -b*c + 13 for c.
3
Let s = -4 + 12. Suppose 2*x = 2*c + 8, s - 27 = -4*x + c. Suppose -6 = -f - f. Solve -t = 5*d - 26, -x*d = -2*t - 4*d - f for t.
1
Let g be (-3)/9*(1 + -16). Solve 3*h - 17 = -x, -g*x + 1 = -3*h - 12 for h.
4
Let d(z) = z - 13. Let b be d(12). Let y be (-234)/(-27) + b/(-3). Solve 0 = 5*r - o - 27, 3*o - o = r - y for r.
5
Suppose 0 = -m + 3*m. Suppose 0 = -m*b + 5*b - 105. Solve 2*f = -f - 5*x + b, 0 = 3*f - x - 3 for f.
2
Suppose -3*j = 4*p, 4*j = 4*p - 0*j - 28. Solve 0 = 4*v - p*w - 0*w + 4, 0 = 2*w for v.
-1
Let i(n) = -n**3 + 6*n**2 + n - 2. Let x be i(6). Solve x*f + 2 = 2*j, -4*j + 0*f - 4 = -4*f for j.
-3
Let r(h) = -3*h + 54. Let n be r(17). Solve -n*i + 7 = 5*z, 7*i - 2*z - 18 = 3*i for i.
4
Suppose -a = 4*m - 18, a + 2*a - 2*m + 2 = 0. Solve 0 = 3*t - a*g - 10, 0*g = 4*t - 4*g - 16 for t.
2
Suppose 0 = 4*f - 4*q + 4, 2*q + 8 = -4*f + 7*q. Suppose f*v - 6 = 2*v. Let h(j) = j - 6. Let a be h(v). Solve a = -4*n, -5*n = -u + 4*u - 12 for u.
4
Let o = 5 + 0. Let b(k) = k**2 + 2*k + 2. Let l be b(-2). Solve -4*g = 4*c + 8, -22 = -c + l*c + o*g for c.
3
Let u be (-7)/((-21)/12)*1. Solve d - 18 = -5*v, u*v = 2*d + 10 + 10 for v.
4
Let m = 2 - 5. Let c = m - -6. Solve -f + 15 = c*q, 24 + 11 = 5*f + 5*q for f.
3
Suppose -2*q + 20 = -0. Let m be (-20)/(-11) + q/55. Solve 3*g - 9 = 0, 0*c + m*g - 6 = 5*c for c.
0
Let p be (-2)/(-4)*-2 - -6. Let k be (1 - 0)*(7 - 4). Let r be 9/(-6)*(-10)/k. Solve 0 = 3*z - r*z + g + 4, -5*z = -p*g - 15 for z.
1
Let g be -2 + (-5)/((-15)/6). Let q = g - -1. Let n(t) = 18*t**3 - t**2 + t - 1. Let a be n(q). Solve 3*o + 12 = 0, o - a = s + 6*o for s.
3
Let k = -9 - -11. Solve r + 7 = -4*f, -f + 5 + 0 = -k*r for r.
-3
Suppose p = 3*p + 14. Let b = -14 - p. Let g = -3 - b. Solve -3 = n - 4*l + 2*l, -g*n - 12 = 5*l for n.
-3
Let h = -3 + 3. Suppose o + h = 13. Solve q + q = -3*t + 2, 2*t - q - o = 0 for t.
4
Let v = 9 + 6. Let p = v + -11. Let s be (-30)/p*8/(-12). Solve 6*i - 2*i - 3*y = 14, 2*i + s*y + 6 = 0 for i.
2
Suppose 2*j - 23 = 9. Let h = -6 + j. Let r(f) = -f**3 + 10*f**2 - 7*f - 12. Let q be r(9). Solve 2*x + q*d = d + 2, -5*x - 5*d - h = 0 for x.
-4
Let q be ((-16)/(-4) + -4)/2. Solve -3*y + 3*t = -q - 6, -3 = -4*y - t for y.
1
Let a(y) = 10*y - 8. Let p be a(1). Solve -q + p*s - 13 = 0, 5*s - 22 = q + 3 for q.
-5
Let c = 3 - -19. Let n be 106/c + (-4)/(-22). Solve -3*r - 5 - 1 = 3*t, -n*t = 4*r + 13 for r.
3
Let y(w) = w**3 + 6*w**2 - 8*w - 7. Let o be y(-7). Suppose 4*v = -2*i + 40, v - 2*i + 4*i - 4 = o. Solve -12 = -4*b - 2*x + x, v = -3*x for b.
4
Let v be (6 - 6)/(1 - 0). Solve 4*n + 3*m - 6 = 0, v = -5*m + 10 - 0 for n.
0
Let b(o) = o - o**3 + 5*o**2 - 3*o**2 - o. Let h be b(2). Solve -4*i - 9 = -3*n - 5*i, h = 3*n - 5*i + 9 for n.
2
Let n(z) = z**2 + z - 3. Let c be n(3). Suppose c*q = 11*q - 4. Solve 3*m + 18 = -m + 2*h, -m - 12 = -q*h for m.
-2
Let x(i) = 2*i + 3. Let o be x(-2). Let p = -2 - o. Let m be (-1 - 0)*-1 + p. Solve 0 = g - t - 1, m*g + 9 = g - 3*t for g.
-3
Let y = 7 - 7. Solve -3*q = m - y*q - 4, m = 2*q - 6 for m.
-2
Let w(b) = -b**3 + b. Let s = 2 - 2. Let q be w(s). Suppose -k + 0 = -3. Solve q = 5*y - k*i + 2, -i = -4*y - 6*i + 28 for y.
2
Let v be (0 - (-24)/20)/((-2)/(-5)). Solve 4 = -n, -v*n = 2*j + n + 6 for j.
5
Let u = 28 + -25. Solve 0 = -2*q + k - 4, -u*k = k for q.
-2
Let u = 26 + -15. Suppose -4*r = 20, 0 = -2*j - 3*r - 7 - 4. Let p be j*6/(-4)*-1. Solve -p*i + 5*b + 23 = 0, 5 = -4*b - u for i.
1
Let b = 17 - 14. Solve 0 = -5*c + 15, -2*c + 7*c = -b*d + 27 for d.
4
Let k be 27/216 - 1/8. Solve -3*c + 5*f - 17 = -k*f, 3*f - 12 = 0 for c.
1
Let t(m) = 2*m**2 + 2*m - 3. Let u be t(-6). Suppose -4*z - z = -3*b + u, -5*b = 4*z - 58. Solve -3*l = d - b, 3*d = 5*l + 10 - 38 for l.
5
Let i(v) be the third derivative of v**5/60 + 5*v**3/6 + 6*v**2. Let o be i(0). Solve 0 = g + 3*x, -o*g + x - 4 = -4*g for g.
-3
Suppose 11 + 9 = 5*m. Solve r + m*r = 3*l + 8, 2*r - l = 3 for r.
1
Let n = 17 - 11. Solve 5*m + n = 4*l - 13, 5*l = -3*m - 4 for m.
-3
Suppose -6 = -q + r - 3, 3*q - 6 = 2*r. Solve 3*d + 18 = -4*l - l, -d + l + 2 = q for d.
-1
Suppose 5*x + 4 + 41 = 0. Let m = -5 - x. Solve -h + 2 = -0*h, m*w = -3*h - 2 for w.
-2
Let f be 0 - 2 - 4/(-1). Suppose 6 = -f*l + l + 2*c, 3*l + 3*c = 18. Solve -4*k - 3*d + 15 = -2*d, 2*k + l*d - 12 = 0 for k.
3
Let x(t) be the second derivative of -t**4/12 + 5*t**3/6 + 3*t**2 - t. Let a be x(5). Suppose -k + a*k = 25. Solve -j + k*r = -28, 0*j + 5*r + 34 = 3*j for j.
3
Let m(a) = a**2 - 5*a - 6. Let p be m(6). Solve 4*b + 5*y + 30 = p, b - 5*y = -b for b.
-5
Suppose 0*v = -v - 14. Let u = 16 + v. Solve 3*z - 4 = 3*c + 11, u*z - c - 10 = 0 for z.
5
Let l(h) be the second derivative of h**4/4 + h**3/6 - 2*h. Let d be l(1). Solve -5*c + d*p - 12 = 2, 4*c + 10 = 2*p for c.
-2
Suppose -2 = -u - 0*u. Suppose u*d - 6 = -0. Let m be (-3)/2*(-1 - 1). Solve -c = -m*a + 13, -d*a + a + 26 = -5*c for c.
-4
Suppose -5*d = 2*j - 6, 3 = -4*d - 0*j + j. Let x = 2 - d. Solve 0*i - 5*t - 11 = x*i, 0 = -5*i + 3*t - 12 for i.
-3
Let n(u) = -u - 1. Let x be n(-1). Suppose p - 2 = -x*p. Let z be ((-1)/(-2)*0)/p. Solve z = -o + 5*d + 5, -3*o + d = 2*d - 15 for o.
5
Let i(x) = 4*x - 14. Let n be i(4). Let y = -9 + 22. Solve -3*m - y = -n*z, 1 = -m - 2 for z.
2
Suppose -3*c = -c - 4. Suppose -y + c*y = 0. Suppose 4*z + 4 = y, q + 5*z + 0*z + 2 = 0. Solve 0 = 4*b + w + w + 4, 6 = 5*b - q*w for b.
0
Let n be 20 + 2/(2 - 0). Suppose -3*a = -l - 6, 0 = 3*l + l + 5*a - 27. Suppose -l*s + 8 = -s. Solve -b + n = -5*f + s, -18 = 4*f - 3*b for f.
-3
Suppose 4*y + 2*r - 10 = 0, -2*y - 5*r = 1 - 2. Solve -y*p + 5*p = -3*u + 16, -u = -2*p for p.
2
Let c = 169 + -166. Let u = 5 + -2. Solve -a + c*g - 22 = a, 5*g = -u*a + 5 for a.
-5
Suppose -f + 5*f - 8 = 0. Solve -2*s + m + 1 = -f, -6 = -5*s + 4*m for s.
2
Let t be (6*(-4)/(-3))/2. Suppose -t*c - 40 = -9*c. Let x(s) = -s**2 + 10*s - 12. Let n be x(c). Solve 19 = 3*u + 2*m, -2*m - 3 = -n*u + 13 for u.
5
Suppose 0*z = 3*z. Suppose 0 = 2*v + 3*n - 22 - 3, 4*v - 41 = 3*n. Suppose 3*o - v = 1. Solve j + z*j = 3*y + 11, -5*y = -o*j + 30 for y.
-2
Suppose b - 9 + 3 = 0. Let q = b + -2. Suppose 6*u = q*u. Solve 0 = 3*p + 15, 3*p = -d - u*p - 11 for d.
4
Let u(q) = 46*q**2 + 2*q - 1. Let j(y) = -y + 7. Let x be j(6). Let g be u(x). Suppose -4*o + 33 + g = 0. Solve 0 = -4*c - 2*v + 8, -o + 4 = -4*v for c.
0
Suppose -5*t + 13 = 3*y, -y - t - 4*t + 1 = 0. Let o be 82/y - (-7)/21. Solve 4 - o = 2*v + a, 22 = -4*v - 3*a for v.
-4
Let q(a) = -a**2 - 12*a - 5. Let p = 29 + -40. Let i be q(p). Solve -2*o = -4*y + 24, 0 = i*o - 2*o + 5*y - 17 for o.
-2
Let u = 7 - 7. Suppose u = 5*w + 20, -v + 5*w + 9 = 4*w. Let j be (-2)/4 - (-33)/6. Solve -3*x = -j*r + 11, v*r = -2*x - x - 1 for x.
-2
Let x be 0*-2*4*(-1)/(-8). Solve -u = 4*i - 9, 4*u - 5*u + i + 4 = x for u.
5
Let a(q) = q**2 - 23*q + 11. Let n be a(23). Solve -7*y + 2*y = 5*d + 35, n = -5*y + 3*d for y.
-4
Let w be 2/(-6) + (-19)/(-3). Let d be w - (