, -15 = 5*r. Suppose 5 = t*n + 1. Solve n = i*z - z for z.
2
Suppose 3*c - 4*p - 84 = 0, 40 = 2*c - 5*p - 23. Solve 5*v - 1 = c for v.
5
Suppose -7*l + 5*l = -2. Solve -q + 0*q + l = 0 for q.
1
Suppose 0*l - 9 = -3*l. Let d be 3 + -1 - (-8 - 5). Let j be (24/10 - 2)*d. Solve 0 = l*u - j*u for u.
0
Suppose -463*c = -467*c + 8. Let d be (0 - -2*1) + 2. Let u = d + -2. Solve -6 = -u*a - c for a.
2
Suppose -4*z + 2*z = 4. Let b = z + 5. Solve 0*y = -y + b for y.
3
Let x(o) = o - 1. Let a be x(1). Let n be (-5)/10 - 10/4. Let q = n - -5. Solve a*b = -q*b - 8 for b.
-4
Let h(q) be the second derivative of q**4/4 + q**3/3 + q**2/2 - q. Let k be h(-1). Let o be 6 + (-2 + 3 - k). Solve -v + o = 4*v for v.
1
Let p(k) be the second derivative of -k**5/20 + k**4/3 - 2*k**2 + 3*k. Let x be p(4). Let v be 295/20 + (-1)/x. Solve 0*w + 5*w + v = 0 for w.
-3
Let l(s) be the first derivative of -s**5/10 - s**4/12 - s**3/3 + 2*s - 2. Let j(v) be the first derivative of l(v). Let d be j(-2). Solve -d = -c + 5*c for c.
-4
Let m(a) = 3*a - 12. Let t be m(5). Solve 15 = -2*n - t*n for n.
-3
Let d(v) = v**3 + 4*v**2 + v - 4. Let h be d(-2). Solve -h*m - 2*m = 4 for m.
-1
Let q = 3 - 0. Suppose 2*d = -4*k + 2, -k = d + q*d + 10. Solve -k*i + 5 = -1 for i.
3
Let w = -28 - -37. Solve 0 = 2*z + 3 - w for z.
3
Let r(w) = 9*w - 4. Let n be r(3). Suppose -5 = 2*o - n. Solve 0*h = -3*h + o for h.
3
Let z be 6/4 - 8/16. Suppose 5*o - z - 24 = 0. Solve -o*m = 6 - 1 for m.
-1
Let s(k) = -k - 9. Let d be s(-4). Suppose -j - 4 = -4*a + 3, 0 = 3*j - 3*a - 6. Let b = j + d. Solve 0*x + x - 1 = b for x.
1
Let w(g) = 1 - 2 + g + g**2 + 0*g**2 - 4*g**3. Let c be w(1). Let r(x) = -x**3 - 3*x**2 - 2*x - 4. Let f be r(c). Solve f*a = -2 + 10 for a.
4
Suppose 0 = -4*o - 4*w + 28, 0*o = 2*o - 4*w - 32. Suppose o*d - 2*m - 10 = 5*d, -5*d - 4*m = -10. Solve -d*j = 3*j - 5 for j.
1
Let m = -20 + 20. Solve m = -4*o + 1 - 9 for o.
-2
Let p = 23 + -18. Solve p*j = -4 - 1 for j.
-1
Let v(t) = -t**2 - 13*t - 19. Let l be v(-11). Solve -2 = s - l for s.
1
Let z(d) = -22*d**3 - 2*d**2 + 1. Let h be z(-1). Suppose -2*g - 3*g = -5, 5*g = -3*p + 8. Let m be -1 - h/(-3)*p. Solve -q + 10 = -m*q for q.
-2
Suppose -5*x + 64 = 3*y, 3*y - 4 = 4*x + 15. Let t = y + -8. Suppose 0 = t*j + p - 6, p = 2*j + 2*j - 12. Solve b = j*b for b.
0
Let f be (-26)/(-7) - (-6)/21. Let h = 4 - f. Solve h*i - 5 = i for i.
-5
Suppose -5*c + 29 = -2*c + 4*z, -c - z = -9. Let y(k) = k**2 - 7*k. Let t be y(c). Solve -2*x + 3*x + 5 = t for x.
-5
Let l be (-1 + (-2 - -4))*5. Suppose 4*a = 3*u + 26, 3*a + 0*a = l*u + 14. Solve 0 = -4*j - 0*j + a for j.
2
Suppose -5*j = -25, 0 = 2*q - 0*q - 2*j - 6. Solve v - q = -v for v.
4
Let n(s) = 2*s**2 + 5*s + 8. Let t be n(-2). Solve 0 = 3*r + t - 0 for r.
-2
Suppose 0 = 5*x - 1 - 9. Solve 2*w + 2 + x = 0 for w.
-2
Suppose -u - 39 + 44 = 0. Suppose 4*w + 0*x + 3 = x, -2*w = u*x - 15. Solve w = 3*h - 6 for h.
2
Let o(c) = -c**3 - 4*c**2 + 3*c - 7. Let u be o(-5). Let b(l) = -l**2 - 5*l. Let v be b(-3). Suppose -u*p = -v*p. Solve -q + 5 - 1 = p for q.
4
Let s be (6/4)/(1/6). Let c = s - -4. Solve 5*a - 3 + c = 0 for a.
-2
Let n(r) = r - 1. Let j(u) = u - 1. Let a be j(4). Let i be n(a). Solve 20 = -i*m + 7*m for m.
4
Let b be ((-1)/(-2))/(2/8). Suppose 3*r = q + 3 + 3, 3*q + 3*r = 6. Solve q*g = -b*g for g.
0
Suppose -5*y + 9 = 3*l - 2, 4*l + 4 = -2*y. Let g(z) = -z**3 + 7*z**2 + 1. Let t be g(7). Suppose -5*p + 3 + 3 = v, -4*v = -5*p + t. Solve y*o - p = 15 for o.
4
Suppose 0*x - 4*x = -8. Suppose 5*j - 110 = -4*k, x*k - 4*j = 3*k - 33. Solve 0 = g + 4*g + k for g.
-5
Let b = -3 + 9. Let x be (-3)/(3 + b/(-3)). Let j be x*3/3*-1. Solve 0 = -0*d + d - j for d.
3
Let j = -8 + 10. Solve 0 = -2*k - j*k - 16 for k.
-4
Let a = -12 + 14. Let z be 68/16 + a/(-8). Solve -8 = -z*l - 28 for l.
-5
Let r = 114 - 114. Solve r = 3*t - 16 + 22 for t.
-2
Let b(a) = 3*a + 29. Let c be b(-9). Solve -c*d = -6*d + 4 for d.
1
Let u = 0 + -3. Let l(x) = -x**3 - 2*x**2 + x - 3. Let f be l(u). Solve -f*q + 2 = -2*q for q.
2
Suppose 3 = b + 2*b. Let z = 36 - 35. Let p = b - z. Solve -5*n + 20 = -p*n for n.
4
Let f be (-2)/8 + 84/16. Suppose k + 30 = 2*k + f*o, -k + 3*o = -14. Solve 0*a + 5*a = -k for a.
-4
Suppose 0 = i + 5*r - 20, -4*r + r = -12. Solve 2*g = -i*g - 10 for g.
-5
Suppose -5*p + 30 = -2*p. Let f be (-1 + p)*-1 + 0. Let b = f + 15. Solve -w - 3 = -b for w.
3
Let i(c) = -c**3 - 3*c**2 - 4*c - 7. Let x be i(-3). Suppose 4*n = 4*h + 28 + 12, 0 = 4*n + 2*h - 34. Let v = n - x. Solve -v*s = s for s.
0
Suppose -12 = -3*y - y. Suppose 4*d - 33 = d - y*k, 2*k = 5*d - 62. Solve -2*j + d = j for j.
4
Suppose 4*m - 4 = -2*o, 0 = -m + o + 2 + 2. Let p be 2*(12 - (-2 - -4)). Solve m*f - p = -3*f for f.
4
Suppose -2*p + 14 + 2 = 0. Solve g - p = -g for g.
4
Let d(r) = -r. Let v(b) = -b. Let p(w) = -4*d(w) + 5*v(w). Let n be p(-4). Solve -n*a + 2 = 6 for a.
-1
Suppose -2*x + 13 = 4*t - x, 7 = t + x. Suppose -d + 2 = -t. Let f be 58/4 + 2/(-4). Solve -d*a + f = 2 for a.
3
Let n be (-1)/((8/6)/(-4)). Solve -n - 1 = -4*c for c.
1
Let j(t) be the second derivative of t**4/12 - 2*t**2 - 3*t. Let u be j(-4). Solve u = -2*q - 2*q for q.
-3
Let k(s) = s**2 + 2*s. Let j be k(-2). Let v(n) = n**2 + n + 3. Let x be v(j). Suppose -3*l = 2*r - 18, 7 = -x*r + 2*l + 2*l. Solve 0 = 2*o + r + 3 for o.
-3
Suppose 7*s = 4*s + 12. Suppose -2*f = 4*g - 8, s*f + 3 = 3*g - 3. Let r(n) = -n**2 + 9*n. Let q be r(9). Solve q = -5*d + 3*d - g for d.
-1
Suppose 2*l = -0*l. Solve l = 5*w - 0*w - 15 for w.
3
Let z be (5 - 1) + 66/6. Solve -3*s = -0*s - z for s.
5
Let r = 45 + -10. Suppose 0 = -2*n - 2*w - 12, -2*w = 3*n - 3*w + 2. Let q be n/(-7) - (-200)/r. Solve -q = 3*u - 0 for u.
-2
Let k(m) = m**2 + m. Let o be k(-4). Solve 0 = 6*s - 3*s - o for s.
4
Let z = -19 + 46. Let o = -13 + z. Solve 2*c - o + 4 = 0 for c.
5
Suppose -2*j - 3*j = -15. Suppose -j*p = -12 - 0. Solve 0 = -n - p*n + 15 for n.
3
Let n(x) = x - 1. Let t be n(4). Let z = t - -3. Solve o = z*o for o.
0
Suppose 2*w = -5*a - 6, 0*w = w - 5*a - 12. Solve -5*q - 15 = -w*q for q.
-5
Let w(i) = -i**3 + i**2 + 2. Let u be w(2). Let x(y) = -y + 2. Let h be x(u). Solve -h*d + 5*d + 2 = 0 for d.
-2
Suppose -2*c + 1 - 3 = 0. Let w be 1/c + (-7)/(-1). Solve w = -5*u - 9 for u.
-3
Suppose 0 = 4*x - 5*u - 12, 0 = 3*x - u - 3 - 6. Solve x*g + 8 = -g for g.
-2
Let s(g) = g - 18. Let a be s(12). Let x = a + 12. Solve -3*f + f - x = 0 for f.
-3
Let r(w) = w**3 - 21*w**2 - 24*w + 49. Let x be r(22). Solve 2*q - x = 5 for q.
5
Let j be (-1 - -4*1) + -3 - -2. Solve -j*r - 2*r = 4 for r.
-1
Let w(c) = -c**2 - 18*c - 10. Let o be w(-17). Solve 5*z - o = 3 for z.
2
Let q(w) be the first derivative of w**3/3 - 13*w**2/2 + 15*w + 3. Let i be q(12). Let b be -5*(-2)/2*3. Solve i*z - b = 6*z for z.
-5
Suppose -2*j + 7*j = 20. Solve -x = 7 - j for x.
-3
Let s = 7 + -1. Suppose 0*f + s = -2*f. Let m be (f + -3)/(3/(-2)). Solve -o = -0*o - m for o.
4
Let x(p) = 2*p**3 + p**2. Suppose 6 = 23*s - 20*s. Let j be x(s). Solve 0 = 5*q - 0*q - j for q.
4
Suppose -8 = 2*i + 2*y, 8 = 3*i - 2*y + y. Suppose -t + 19 = 4*j, -j + 2*j - 46 = -4*t. Solve t = 5*r + i for r.
2
Suppose 3*s - 5 = 10. Suppose 0*m = 4*k + m, 2*k = -s*m. Let j = 1 + k. Solve j = 3*c - 5 for c.
2
Let g(c) = -c - 1. Let u be g(-3). Let w(v) = 2*v. Let l be w(u). Let b = 2 + l. Solve -h = -b*h + 25 for h.
5
Let d = -15 - -34. Suppose 2 + d = 3*x. Solve -5*i - x + 2 = 0 for i.
-1
Let j be -2 + 4 + -10 + 0. Let q = -6 - j. Suppose -3*d = q*d. Solve 2*c - 5*c = d for c.
0
Suppose 5*s - 3*u - 23 = s, -s + 3*u + 17 = 0. Let o be (11*2)/((-2)/(-1)). Suppose 0 = 3*k - d + 2*d - o, -k - s*d + 12 = 0. Solve 0 = -c + k - 3 for c.
-1
Let o = 3 + 15. Let b = o - 13. Solve b = -4*a + 1 for a.
-1
Let d(c) = -c**3 + 4*c**2 + 7*c - 6. Let r be d(5). Solve 2*m = m + r for m.
4
Suppose 0 = 2*t + l + 12, 0 = 2*t - 7*t + 4*l - 4. Let f be 104/10 + t/10. Solve 5*g + f + 10 = 0 for g.
-4
Let i(h) = h**3 - 7*h**2 - 8*h. Let g be i(8). Let v = g - -2. Solve v*n = -n + 15 for n.
5
Let j be 2/4 + 86/4. Suppose -4*g + j = -2*g. Suppose 3*v - 11 = -4*k, 5*v - g = -3*k - 0*k. Solve k = -2*d + 8 for d.
3
Suppose 0 = 4*i - 2*i - c - 14, -5*c = 20. Solve -6*q + i*q = 0 for q.
0