*h - 4*k - 1 - 1 = 0. Suppose 9*d = 4*d - 3*n + 119, -h*d = -4*n - 58. Is 17 a factor of d?
False
Suppose 10*r - 6*r - 48 = 0. Is 6 a factor of r?
True
Let h(p) = p**3 + 7*p**2 + 6*p - 6. Let k(g) = -g**3 - 9*g**2 - 8*g - 5. Let i be k(-8). Does 14 divide h(i)?
True
Let s(v) = -10*v**3 + 4*v + 3. Is s(-2) a multiple of 19?
False
Let h = 135 - 86. Is h a multiple of 19?
False
Suppose 3*z = -2*z - 540. Let d = 173 + z. Is 19 a factor of d?
False
Let l(t) = -t - 6. Let b be l(-10). Suppose 42 = b*c - c. Is 8 a factor of c?
False
Let m(y) = 2*y**2 - y - 1. Is 2 a factor of m(-1)?
True
Let v = -116 - -225. Is 30 a factor of v?
False
Does 6 divide 10/((-21)/(-6) - 3)?
False
Suppose -5*i = -4*i - 344. Let z = -224 + i. Suppose h + z = 6*h. Does 10 divide h?
False
Is 34 a factor of 123 - 4 - -2 - 4?
False
Let s(k) = 6*k - 1. Let y be s(6). Suppose 0*r + 4*m - y = -r, 2*m = r - 65. Suppose -2*w = -r + 5. Does 9 divide w?
False
Let x be 4 - (0 - -2 - 1). Is 14 a factor of 83/x + 1/3?
True
Suppose -3*u + 3 + 15 = 0. Let v be (5 - 68)/(u/(-4)). Suppose 5*p - 2*l = -5*l + 81, -v = -3*p - 4*l. Is 13 a factor of p?
False
Let p = -4 + 3. Let t = p + 19. Does 9 divide t?
True
Is 34 a factor of (-186)/((-54)/12 - -4)?
False
Suppose -2*t - 2*c + 47 - 9 = 0, -2*t - 4*c + 46 = 0. Is 4 a factor of ((-12)/5)/((-2)/t)?
False
Suppose s + s = -2. Let i(p) = -8*p - 1. Does 3 divide i(s)?
False
Let m(n) = -8*n - 2. Does 4 divide m(-2)?
False
Suppose 4*a - 4*z - z = -5, -4*a + 35 = 3*z. Suppose 69 + 106 = -a*x. Let v = -15 - x. Does 10 divide v?
True
Let i(u) = -65*u**3 - 2*u**2 + 1. Let b be i(-1). Let s(o) = 2*o. Let f be s(1). Suppose -f*n + b = 2*n. Does 16 divide n?
True
Let v(f) = f**2 + 8*f - 6. Let i be v(-10). Let m = 1 + i. Does 4 divide m?
False
Suppose 2*c + 1 = -4*v - c, 5*c + 9 = -3*v. Suppose r - 4*x = -5, r - x - 11 = -r. Suppose g = v*g - r. Is g a multiple of 2?
False
Let m(x) = -x**2 - 12*x - 13. Let d be m(-11). Let p(j) = -j**2 + 3*j**2 + j**2 + 2*j. Does 8 divide p(d)?
True
Let a = -72 + 38. Let f(l) = l**3 + 6*l**2 + 7*l - 8. Let g be f(-6). Let s = a - g. Is s a multiple of 16?
True
Let r = 391 - 160. Is r a multiple of 39?
False
Let a(o) = o - 1. Let k(i) = -i - 2. Let d(c) = 3*a(c) - k(c). Let q be d(1). Suppose -q = 3*r - 15. Is 4 a factor of r?
True
Let r(b) = b**3 - 10*b**2 - 9*b + 2. Let l be r(11). Suppose -5*o + 19 = 3*a - l, 4*a - 2*o = 92. Let m = a - 11. Is m a multiple of 5?
True
Suppose 2*z + 2*k = 8, z - 10 = -4*k + 6. Does 14 divide (1 - z)*75/5?
False
Let k(n) = n**3 - 3*n**2 - n + 6. Suppose -h = 2*c - 7, 2*c = -5*h - 2*c + 23. Let b = 8 - h. Is 18 a factor of k(b)?
False
Is 12 a factor of 20/(-150) - (-364)/30?
True
Suppose 2*w = i - 2, -4*i + 2 = -4*w + 6. Does 2 divide (5/4)/(i/(-16))?
False
Suppose 0 = b + 4*b. Let w = 5 - b. Suppose -4*d + y = -100, -2*d + 40 = w*y - 3*y. Is d a multiple of 12?
True
Let g(x) = -x + 5. Let d be g(3). Suppose -198 = -d*r - 3*r - 4*s, -2*r + s = -87. Is r a multiple of 21?
True
Suppose 3*i + 1 = -8. Let u = -4 - i. Let z(a) = 9*a**2 - 1. Is 8 a factor of z(u)?
True
Let p(l) = -15*l - 4. Is 13 a factor of p(-6)?
False
Let t(w) = -w**2 - 5*w + 3. Let h be t(-6). Let d = h - -8. Suppose c - 8 = d. Does 10 divide c?
False
Let g be (-54)/(-30) + (-2)/(-10). Let q be (g/5)/(6/30). Let a(m) = 8*m + 1. Is 8 a factor of a(q)?
False
Let n = 35 + 40. Is 6 a factor of n/(-6)*(-6 + 4)?
False
Suppose -2*x + 8 = -3*g + 7*g, 2*g - 4*x + 16 = 0. Is 10 a factor of 0 + 2 - (-22 - g)?
False
Does 3 divide 5/(50/4)*15?
True
Let f(h) = -3*h - 7. Let y be f(-5). Let b(d) = -2 - 7*d**2 + d**3 + 0 + 0*d - 7*d. Is b(y) a multiple of 6?
True
Suppose -45 = 35*i - 40*i. Does 2 divide i?
False
Let v(d) be the first derivative of -2*d**2 - 1 - d**2 - d**2 - 3*d. Is v(-6) a multiple of 18?
False
Suppose -3 = z - 0. Is 7 a factor of (1 + z + 3)*7?
True
Suppose -5*t = -5*j + 15, 3*t - 9 - 46 = -5*j. Suppose -2*z + j = 38. Is 2 a factor of z/(-4 + 1)*1?
False
Suppose 14 - 12 = x. Suppose -21 = -x*z + z. Let f = z + -2. Is f a multiple of 8?
False
Suppose -4*z - 8*z = -624. Does 13 divide z?
True
Let r = -11 + 17. Is 3 a factor of r?
True
Let l = 13 + -9. Suppose -y - 4*y = -15. Suppose 5*a - 17 = -w - 0*a, 137 = l*w - y*a. Does 16 divide w?
True
Suppose 5*a = 2*m - 5*m - 1, -13 = 2*a - 3*m. Does 17 divide a - (-37 + 2 - 1)?
True
Let q = 6 + 1. Suppose q*b = 4*b + 15. Suppose -t = -b*t + 40. Does 10 divide t?
True
Suppose -3*m + 59 = -3*n + 4*n, 2*n + 2 = 0. Is 4 a factor of m?
True
Suppose t + 10 = 6*t. Let h = 4 - 1. Suppose h*a = p + 67, 5*a - 113 = t*p - p. Is 13 a factor of a?
False
Does 8 divide ((-48)/9)/((-2)/6)?
True
Let z(y) = -y**2 - 3*y + 1. Let x(a) = a**2 + 4*a - 1. Let u(d) = -4*x(d) - 5*z(d). Let m be u(2). Is 22/m + (1 - 1) a multiple of 11?
True
Suppose 5*l = -0*l + 2*q + 20, 4*l - 5*q - 33 = 0. Let r(d) = 40*d - 2. Let m be r(l). Suppose -m = 3*h - 5*h. Is 14 a factor of h?
False
Let u(s) = -s + 1. Is u(-7) a multiple of 4?
True
Suppose 4 = -u + 3*c + 14, -5*u - c = -34. Suppose 0*z = -z + u. Is 4 a factor of z?
False
Suppose -12 = -3*s - 2*t + 1, -5*s = t - 10. Is ((-4)/(-10))/(s/85) a multiple of 10?
False
Let m(s) be the second derivative of -s**5/5 - s**4/3 - s**3/3 + s**2 + s. Does 17 divide m(-2)?
False
Suppose -2 = -2*g + 4. Suppose 3*t + 0 = 3. Is 16 a factor of ((-2)/g)/t*-24?
True
Suppose -2*a - 263 = -5*b + 2*a, 2*b + 4*a - 94 = 0. Is 7 a factor of b?
False
Is 9 a factor of -1*81*(2 + 6/(-2))?
True
Let b(h) = -4*h**2 - 11 - 9 + 32 - 5*h + h**3. Is 22 a factor of b(6)?
False
Suppose 4*h + v + 292 = 0, -3*h = 6*v - 2*v + 219. Let z = h + 148. Is 15 a factor of z?
True
Let t = 3 - 1. Suppose -t*d + 3 = -17. Is 3 a factor of d?
False
Let w = 23 - 21. Suppose -25 = -p - 1. Is w/(-12) - (-196)/p a multiple of 4?
True
Let w = -12 + 12. Suppose -3*g + 0*b - 1 = -4*b, w = 5*g - 3*b - 13. Is g a multiple of 3?
False
Suppose z - 4*c - 2 = 0, 0 = -4*z - 2*c - 2*c + 88. Let p = z - -20. Is p a multiple of 19?
True
Suppose -n - a + 4*a - 6 = 0, 0 = -4*n + 3*a + 3. Suppose -k = -n - 11. Is k a multiple of 10?
False
Is 56 - (-1)/(-2)*(7 + -5) a multiple of 17?
False
Let a be (2 + -11)/(-3)*99. Suppose 7*d - 4*d = m - 48, -5*m - 4*d = -a. Is m a multiple of 19?
True
Let h(p) = 16*p - 7. Let f be h(5). Let g = f + -28. Suppose 3*w = -15 + 6, -4*i = -3*w - g. Is i a multiple of 9?
True
Let m(y) = 3*y**2 + 6*y + 3. Let z(n) = 7*n**2 + 11*n + 7. Suppose 6*p = 5*p + 2. Let t(a) = p*z(a) - 5*m(a). Is 3 a factor of t(-7)?
True
Let m = -289 - -418. Is 32 a factor of m?
False
Suppose -5 = -2*d - 1. Is 4 a factor of 7 - (d - 1)/(-1)?
True
Let u(g) = -g**3 + 13*g**2 - 6*g - 6. Is u(12) a multiple of 23?
False
Does 5 divide 285/9*(3 + 0)?
True
Let b(k) be the second derivative of k**4/12 + k**3/3 + 5*k. Does 24 divide b(5)?
False
Let t(f) = -f**2 + 11*f + 6. Let x = -8 + 13. Is t(x) a multiple of 8?
False
Does 9 divide -8 - -7 - (-1 + -27)?
True
Suppose -2*j + 0*j = y - 15, 4*j + y - 31 = 0. Let t(d) = -d**2 + 10*d + 1. Does 17 divide t(j)?
True
Let y = 48 + -3. Is 12 a factor of y?
False
Let v(i) = -22*i + 4. Let p be v(-5). Suppose -14 = -4*m + p. Is 18 a factor of m?
False
Let d = 1 - -1. Does 2 divide (2/(-6))/(d/(-12))?
True
Let n(p) = -3*p - 13. Let c = -4 - -4. Suppose o - 5*l = 9, -4*o + c*l - 52 = 2*l. Is 10 a factor of n(o)?
True
Does 17 divide (-1)/(456/153 - 3)?
True
Let c(u) = -14*u - 33. Is c(-6) a multiple of 51?
True
Suppose 2*d - 6 = 2. Suppose 0*g - g = -d. Let p(h) = 5*h + 4. Is 15 a factor of p(g)?
False
Let t(z) = -z**3 + 8*z**2 - 2*z + 9. Let m = 10 + -3. Is 14 a factor of t(m)?
False
Let q(o) = -8*o**3 - 2*o**2 - o - 1. Let s be q(-2). Suppose -s = 2*l + l. Let n = l - -44. Does 10 divide n?
False
Let q(n) = n + 44. Let x be q(0). Let w be (-2)/(-10) + x/5. Is (w + 1)*(2 + 1) a multiple of 13?
False
Let n(h) = 2*h**3 - 3*h**2 + 2*h - 3. Let d(w) = -w**3 + 11*w**2 - 11*w + 13. Let i be d(10). Is 13 a factor of n(i)?
False
Let n be 0/2 + -3*1. Let x(z) = 2*z + 2. Let j(r) = -r. Let o(i) = 4*j(i) - x(i). Does 7 divide o(n)?
False
Suppose 3*y - 57 = 102. Is 11 a factor of y?
False
Suppose -3*r = 10 + 47. Let g(t) = 28*t + 1. Let i be g(1). Let f = i + r. Is 5 a factor of f?
True
Let f = 105 - -21. Does 14 di