c + 3*p = -c - 8 for c.
2
Let x = 84 - 73. Let h = 11 + -20. Let y = h + x. Solve -y = -0*z - 2*z, 0 = -4*p - 3*z + 15 for p.
3
Suppose 8 = -n + 5*n. Let f = -36 - -38. Solve -4*x = 3*p + 8, f*p = 4*x - n*p + 36 for x.
-5
Let i(l) = -l**2 - 8*l - 7. Let m be i(-5). Solve 14 = -4*t + 2*w, m = -t + w + w for t.
-2
Suppose 3*z - 5*z = -6. Suppose -4*s + 0*v + 5*v = -20, 0 = -2*s + z*v + 10. Solve -d - 10 = 3*i - s*i, -3*d - i = -5 for d.
0
Let x(w) = 2*w - 9. Let j be 5 + 1 + 1 + -1. Let r be x(j). Suppose -r*y = -4 - 2. Solve 0 = 2*l + 2*l - 20, 17 = -y*d + 5*l for d.
4
Let d = -7 - -10. Solve 9 = 3*f, 5*j + 0*j = -d*f + 19 for j.
2
Let q be ((-1)/(-2))/((-1)/(-6)). Suppose 0 = -q*d + 3*s - 3, 0*s + 2*s - 22 = -3*d. Solve 0 = -5*r - 2*x - 19, 4*x = 2*x - d for r.
-3
Suppose 5*z = 2*z. Suppose 0 = 3*h + 3*o - 6*o - 9, z = h + 4*o + 12. Let f = h + 2. Solve 3*y - 2*y + f*c = 1, -y + 5*c = 20 for y.
-5
Let q = -7 - -11. Suppose 3*z = 19 - q. Solve -z*x + 5*p = 0, -2*x + p + 0 = 1 for x.
-1
Let o = -51 + 68. Solve -3*j - 4*x - 29 = 0, j - 5*j - x = o for j.
-3
Let p = -65 - -83. Solve -2*h + p = o + 3*o, -12 = -2*o - 2*h for o.
3
Let a = 116 + -26. Suppose -2*k + 146 = 2*i + 56, a = 2*i + 5*k. Solve -25 = -0*o - o - 5*z, 5*o - i = -5*z for o.
5
Let g be (-4)/6 + 11/3. Suppose 0 - 1 = -o. Let w = o + 1. Solve -w*c - g*h = -12, -3*h + 8*h = -4*c + 22 for c.
3
Suppose -4 = 2*a, 3*a - 1 + 11 = 2*z. Let q = -27 - -27. Suppose 5*n = -q*n + 25. Solve -z*y = 5*d - 28, -2*d = -n*y + 3*d for y.
4
Suppose -9 = -5*r - 3*g, g + 6 - 9 = -2*r. Solve -2*z - 2*n - 6 = 3*n, -5*z - n + 8 = r for z.
2
Suppose 0 = -2*b + 6*b - 12. Let k(i) = i**3 - i + 1. Let f be k(3). Solve b*y = 12, 7*w - 4*y + f = 4*w for w.
-3
Let i(q) = 2*q - 1. Let o be i(3). Solve 4*f = -4*d - f - 9, -f = -o*d - 4 for d.
-1
Suppose 3*o + 4*b - 33 = 0, -4*o + 2*b + 1 = -3*o. Suppose -7 + 4 = -w. Solve w*h + 6 = -3*l, 4*h = -3*l - o - 4 for l.
3
Let f be -1 + 3 + (0 - 2). Let q(l) = l**3 + 12*l**2 + 15*l + 13. Let c be q(-10). Suppose 5*u - c = 42. Solve n = 5*v - f*n + u, 17 = -4*v + n for v.
-4
Let b(z) = -7*z - 5. Let a(n) = -n**2 - 6*n - 4. Let m(p) = 3*a(p) - 2*b(p). Let x be m(-2). Let d = x + 10. Solve -2*l = -5*l - 4*g + d, 5*g - 8 = -3*l for l.
-4
Suppose 2*n = 3 + 7, -c - 2*n + 15 = 0. Solve -w + 5*z - c = 0, -5*w - 4*z = 15 + 10 for w.
-5
Suppose -5*n = 10*h - 15*h + 5, 2*h = -5*n - 26. Let u(q) = 2*q - 5. Let r be u(4). Let a = r - h. Solve 5*f = -3*x - a, -2*f - 6 = -0*x + 3*x for f.
0
Suppose 0 = z + 4*r - 9*r - 21, r + 9 = -z. Let k be 51/15 - z/(-10). Solve 10 = 3*v - k*g + 40, -4*v - 3*g - 5 = 0 for v.
-5
Let k(m) = m**3 - 5*m**2 + 2. Let b be k(5). Suppose -p + 1 = -b. Solve -7*z + 14 = -p*z + 2*i, 0 = -5*z + 4*i + 24 for z.
4
Let q(n) = 4*n + 4. Suppose -2*f = 4*a - 12, 6*a - 3*f - 18 = 3*a. Let o be q(a). Let c = o - 13. Solve 2*z + 2 = 2*b, 4*z - z = b + c for b.
5
Let x(c) = c**2 + 9*c + 12. Let j be x(-8). Solve -j*b = 5*k + 9, 2*k = 3*b - 2*k - 32 for b.
4
Let g(p) = -p + 8. Let t be g(4). Suppose 29 = r + 4*f, -r + 6*r - 25 = t*f. Suppose -q = -5*q + 8. Solve -3 + r = q*d - 5*y, d - y - 3 = 0 for d.
3
Let i = -11 - -22. Let q = i - 6. Solve -3*h + q*h - 5 = -5*x, 0 = 3*x - 4*h + 23 for x.
-1
Suppose 45 = 5*q - 0*q. Suppose -5*c + 16 + 4 = 0. Solve -n - 16 = 4*y, q*y - c*y + 19 = -n for n.
-4
Let d = -46 + 49. Solve 5*r - g + 13 = 0, d*r - 2*r = -3*g - 9 for r.
-3
Let r(b) = -b**3 + 13*b**2 - 12*b - 3. Let i be r(12). Let j be i - -46*2/4. Let g = -8 + j. Solve 4*n - 5*c + 0*c - 11 = 0, -2*n - 4*c = -g for n.
4
Let v(q) = 3*q - 14. Let z be v(6). Let o(t) = -t**3 + 1. Let k be o(-1). Suppose 12 = k*n + 2. Solve -4 + 13 = 3*b + n*r, 2*r = -z*b + 12 for b.
3
Suppose 5*l - 7 - 13 = 0. Suppose -1 = -5*z + n, -3 = 5*z + l*n + 1. Solve i + 11 = -5*y, -4*i = -y - z*y + 2 for i.
-1
Let s = -51 + 60. Solve -5*d = 5*i + 4 + 6, -3*d + 2*i = -s for d.
1
Suppose v - 13 + 11 = 0. Solve -2*o = -v, 2*j + o - 3 = j for j.
2
Let h(d) = 3*d + 4. Let t be h(6). Let q = -20 - -30. Suppose 0 = 4*b - 50 - q. Solve 7 = 5*m - 2*z + t, -m - b = 2*z for m.
-5
Let k be (0 - (0 - 1))*-2 - -7. Solve 5*i = 3*i - 8, -4*g + 36 = -k*i for g.
4
Let z be (-520)/(-90) + 4/18. Solve -5*c - 2 = 2*k, z*c - c + k = -6 for c.
-2
Let l = 18 - 10. Solve -8 = -4*k - 4*t, -3*t + l = 5*k + t for k.
0
Let v = 17 - 13. Solve 3*p - 24 = p - 5*q, -v*p + 3*q = 4 for p.
2
Let h(s) = -s + 4. Let x be h(0). Suppose 4*p + 1 = x*n - 3, 0 = -5*p + 15. Solve i + n*c + 2 = 8, -c = -i + 1 for i.
2
Suppose 0 = 5*v - 4*j - 12, -3*v - 7*j + 18 = -4*j. Solve -2*o - v*c + 20 = 0, -5*o + 4*o = -c + 5 for o.
0
Let g be (3 - 2)*(-1 + -2). Let j be (-2 - g - -1) + -3. Let q be (3 + -2)/(j/(-15)). Solve z + q = -4*z, z = -2*r - 9 for r.
-3
Suppose 20 = 3*r - 0*a + 4*a, a = -r + 8. Suppose r = -3*n + 18. Solve u - 4 = -3*x + 11, 2*x + n*u - 10 = 0 for x.
5
Let b(q) = -q**2 - 4*q + 12. Let a be b(-6). Solve u + 3*u - 13 = s, 5*u - 20 = a for s.
3
Let h(g) = -g. Let f(s) = 4*s + 2. Let q(z) = f(z) + 3*h(z). Let w be q(0). Suppose 7 = 2*o - 3. Solve -y - w*y = -o*v - 15, -9 = 3*v + 3*y for v.
-3
Let b be 4*3/(-6)*-4. Solve -b + 2 = -3*i - 4*j, 4*j + 2 = i for i.
2
Let d be -8 - (0 + 0 + 2). Let x be 2/10 + 52/d. Let p = -1 - x. Solve -o + 2*o = j, -p*o = -16 for j.
4
Suppose -7*z = -2*z - 15. Let m be (-3)/1*(-4 + z). Solve -9 = 3*a + 3*k, -2*k = m*a + 3*k + 13 for a.
-1
Let g be (1 - 1)*1/(-2). Solve 4*d - 2*q - 22 = g, d - 3 - 3 = q for d.
5
Let l(r) = -r**3 - 8*r**2 - 10*r - 17. Let m be l(-7). Solve 0*w - 3*w - 10 = -b, 3*w = m*b - 4 for w.
-4
Let t(x) = -x**3 + 4*x**2 - x - 3. Let l be t(3). Solve 4*f = -k + 13, l*f = -2*f - 4*k + 30 for f.
2
Let p(d) = 2*d**2 + 1. Let z be p(1). Suppose -3*o + 2*a + 7 = 0, -a = z*o - 5*a + 1. Solve 4*f - o*f - 15 = -5*u, -4*u + 3 = f for u.
2
Suppose 32 = 3*l + l. Let z = l - 4. Solve 0 = -3*q - 5*a - 3, -5*a - z + 2 = 2*q for q.
-1
Let v be (2 - 12/(-3))*-1. Let g be (-4 - 20/v)*-3. Solve 4*i - 2*x = 2*x - 20, -5*i + g*x - 13 = 0 for i.
-1
Suppose 5*k - 21 = 39. Let d = -8 + k. Solve 2*z = 5*z - h - 12, -d*h = 0 for z.
4
Let u = 139 + -137. Solve c - 5 = -u*b + 1, 5*b = -c + 21 for c.
-4
Suppose -4 = -2*b, -5*j + 3*b = -2*b + 10. Suppose -p + 4*p - 12 = j. Solve -r - 25 = 4*r, p*r + 40 = -4*c for c.
-5
Suppose 12 = -3*i + 69. Solve c - i = -5*q, -27 = -3*c - 5*q - 0*q for c.
4
Suppose 5*u = -y + 15, u = -4*y + 4*u - 9. Suppose z = -3*z. Suppose 0 = n + 3, 5*l - 18 = -z*l + n. Solve -l*p + 4*d = 13 + 1, -d + 5 = y for p.
2
Let w(o) = -o**3 + 7*o**2 - 9*o + 20. Let m be w(6). Solve 0*t - 26 = 4*k + m*t, 2*k = 2*t + 2 for k.
-4
Let m(j) = -j**3 + j**2 + 3*j - 3. Let a be m(-2). Solve v + 9 = -a*x, 7 = -4*x + 3*x + v for x.
-4
Suppose 4*v - s = 13, 0 = -2*s - 2 - 8. Suppose v = -a + 6. Solve 16 = 4*i, -3*i + 11 = -a*h - 5 for h.
-1
Let n = 9 - -10. Suppose 0 = -o + 3 + 1. Let c = 6 - o. Solve -5*i - 3*j = -n, 25 = c*i + i - 5*j for i.
5
Let j(l) = -2*l**2 + 4*l - 2. Let d be j(2). Let z be d/(-5) + 299/65. Solve q + 3*u - 7*u - z = 0, -5 = -q - u for q.
5
Suppose 0 = -3*k + 3*y + 12, -4*y = -3*k - 0*y + 13. Solve -2*o = k*o + 4*n - 16, -4*o - n + 15 = 0 for o.
4
Suppose -6*l = -l. Let t(s) = s**3 + s**2 + s + 16. Let q be t(l). Solve 2*b - 24 = 4*p, b + 4*b + p = q for b.
4
Let g(z) be the second derivative of -z**4/12 - 5*z**3/6 + 7*z**2/2 - z. Let s be g(-5). Let l = s + -4. Solve -b + 1 = -k, -5*b + 3*b = -l*k for b.
3
Let f be (-2)/(2 - (-11)/(-6)). Let i = -7 - f. Suppose o - i = -3*j + j, 40 = 4*o + 4*j. Solve c - 5*c - o = 3*x, 0 = x + 5 for c.
0
Let j(i) = 5*i**2 + 14*i + 1. Let g(m) = -3*m**2 - 7*m - 1. Let b(w) = 7*g(w) + 4*j(w). Let h be b(6). Solve 5*c = -4*l - h, 0 = l + 2*c + 2*c + 9 for l.
3
Let j = -1 - -5. Suppose k = -j*k. Solve 4*v + 20 = 3*o - 0*o, k = -v - 2 for o.
4
Suppose p - 2*y = 6, 5*p + y - 14 = 5. Suppose 27 - 7 = p*d. Solve u - 3 = d*w - 27, w + u = 0 for w.
4
Suppose -5*d + 0*d = 0. Let z be (d + 2/5)*10. Solve 3*c + 0*o - 31 = 5*o, z*o = -2*c - 16 for c.
2
Let t(j) = -j - 7. Let b be t(-7). Suppose b = -p - 4*a - 8, 3*p - a = -2*a + 9. Solve 12 = -3*u, 5*o + 0*u - p*u - 6 = 0 for o.
-2
Suppose 3*r - 5 = 22. Suppose -v - z - z - 7 = 0, 0 = 3*v + 2*z + 21. Let t = r + v. Solve