(-8). Let z = x + -3. Does 15 divide z*1/(-2) - -39?
False
Let o = -20 - -34. Is 15 a factor of (-8)/(-2*2/o)?
False
Let c = 295 + -194. Let f = -57 + c. Is 17 a factor of f?
False
Let w(c) = -25*c - 10. Is 14 a factor of w(-6)?
True
Suppose s - o = 5, 0 = -s + 5*o - 2 + 15. Suppose -2*r = s*r. Suppose r*a + 25 = a. Is 12 a factor of a?
False
Suppose 2*p - 5*p + 39 = 0. Is p a multiple of 7?
False
Suppose 0 = -f - f + 70. Is f a multiple of 7?
True
Suppose 0 = 6*f - 3*f - 18. Let a = 3 + f. Is 9 a factor of a?
True
Suppose -54 = 5*z - 6*z. Is 27 a factor of z?
True
Suppose 451 = 10*g - 29. Is g a multiple of 11?
False
Suppose 0 = 5*h - 3*b - 771, -5*h - 11*b = -10*b - 763. Is h a multiple of 9?
True
Let h(j) = j**2 - 14*j + 11. Does 11 divide h(14)?
True
Suppose -u + 9 + 2 = 0. Does 5 divide u?
False
Let i be -1 + (-3 - (-1 + 0)). Let w = i - -27. Suppose 6*v = 3*v + w. Does 4 divide v?
True
Suppose -880 = 5*o - 10*o. Is 15 a factor of o?
False
Let w(f) = f + 7. Let a be w(5). Suppose 4*l - 163 = -3*z, -l - 2 = 2*z - 44. Let b = l - a. Does 14 divide b?
True
Let z = 94 - 57. Suppose 3*x - 172 + z = -5*c, 2*x + 5*c = 85. Is x a multiple of 25?
True
Let k = 8 - -4. Suppose 5*b - 23 = x, k = -2*x - 3*b - 8. Let z = x + 25. Does 8 divide z?
False
Let v(b) be the third derivative of -b**4/4 - b**3/3 - 9*b**2. Suppose 0*a - 2 = a. Is v(a) a multiple of 8?
False
Is 5 a factor of 0 + (-1 - -1) - -14?
False
Let a(v) = v**2 + 9*v + 9. Let x be a(-6). Let r be 3*2/6*x. Does 4 divide -1 + 3 - (1 + r)?
False
Let u(g) be the first derivative of g**3/3 - 13*g**2/2 - 13*g + 1. Is u(16) a multiple of 14?
False
Suppose 5*b = 10*b - 30. Is 10 a factor of 3*1/b*20?
True
Let t = 753 - 438. Does 15 divide t?
True
Let p = 7 + 50. Is 19 a factor of p?
True
Let a(x) = -x**3 - 5*x**2 + 3*x + 6. Is a(-6) a multiple of 8?
True
Let d(j) = -2*j**3 - 4*j**2 - 3. Let g be d(-3). Suppose -3*r = -6*r + g. Suppose 3*c - r*a = 0, -3*c + 4*a = -0 - 3. Is 2 a factor of c?
False
Let i = 4 + -4. Suppose i = 2*v - 4*v + 30. Does 14 divide v?
False
Let v be -4 + 2 + 0 - -2. Suppose x - 4*b + v*b = 16, -2*b = -10. Is x a multiple of 18?
True
Let k = -72 - -106. Is k a multiple of 12?
False
Suppose -16 = -2*i - 0*i. Suppose 12 + i = 5*l. Is l a multiple of 4?
True
Let k(s) = 2*s - 1. Is k(5) a multiple of 6?
False
Let m(x) = -x**3 - 12*x**2 - 3*x - 3. Let b be m(-12). Let l = b - -6. Is 8 a factor of l?
False
Suppose -4 = z - 0*z. Let v(l) be the first derivative of -l**2/2 + 3*l - 1. Is v(z) a multiple of 4?
False
Is (-10)/15 + (-26)/(-3) a multiple of 5?
False
Let t be (21/(-2))/((-3)/(-6)). Let y = t - -64. Does 12 divide y?
False
Suppose 4*r = -4*f + 287 - 827, -5*r = -f + 681. Let p = -79 - r. Does 19 divide p?
True
Let r(s) = s**2 + 6*s + 3. Let l be r(-3). Does 4 divide (-4)/l*(8 + 4)?
True
Let l be 6/(3 + (-56)/20). Let q = l - 16. Is q a multiple of 6?
False
Let k = 46 - 20. Is 13 a factor of k?
True
Let o(h) = 54*h - 5. Is o(3) a multiple of 36?
False
Let i(o) = -83*o - 2. Does 24 divide i(-1)?
False
Let j(q) = q - 2. Let r be j(-2). Let z(n) = -2*n**3 - 15*n**2 + 5. Let t(y) = -3*y**3 - 22*y**2 + 7. Let w(s) = -5*t(s) + 7*z(s). Does 8 divide w(r)?
True
Let m(d) = -12*d - 1. Is 11 a factor of m(-1)?
True
Let v(i) = -8*i - i - 2 - 2*i + 4. Does 12 divide v(-2)?
True
Suppose 5 = z - 8. Suppose -5*h - 2*c = -164, -h - 4 = -5*c - 53. Let y = h - z. Does 14 divide y?
False
Suppose -3*a = -2*c - 0*a - 58, 100 = -4*c - 2*a. Let t = -16 - c. Does 10 divide t?
True
Let g(a) be the first derivative of a**3 - 3*a**2/2 - 3*a - 1. Let m(j) = j**2 + 5*j + 1. Let q be m(-4). Is 13 a factor of g(q)?
False
Let l(g) = -2*g - 14. Let f be l(-12). Let d(h) = 2*h + 13. Let k be d(f). Suppose 37 = 5*q - k. Is 12 a factor of q?
False
Suppose 1 = 5*j - 14. Let t(g) = 4*g**2 - 5*g + 3. Is 12 a factor of t(j)?
True
Suppose 6*b + 15 = 4*b + s, 11 = -2*b + 5*s. Let a(k) be the second derivative of -k**5/20 - 3*k**4/4 - 4*k**3/3 + 2*k**2 - 5*k. Is a(b) even?
True
Let t(j) = j. Suppose 0 = -4*b, 3*b - 2*b = k - 3. Is t(k) even?
False
Does 4 divide (1 - 41)*((-30)/8 - -3)?
False
Let p(g) = g**3 + 6*g**2 - 2*g + 4. Let i = -138 - -54. Let o be (-2)/5 + i/15. Is 16 a factor of p(o)?
True
Let w = -102 + 207. Does 15 divide w?
True
Let c(x) be the third derivative of x**5/20 + x**4/24 - x**3/3 - 5*x**2. Let r be (-18)/(-8) - (-1)/(-4). Does 9 divide c(r)?
False
Let z(c) be the third derivative of c**5/60 - c**4/24 - 17*c**3/6 - 2*c**2. Let b be z(0). Let v = b - -35. Is 9 a factor of v?
True
Let a(m) = m + 3. Let t be a(-7). Does 4 divide ((-28)/(-8))/((-2)/t)?
False
Suppose 0 = -2*v - 7*w + 3*w + 64, -w = 3*v - 106. Is v a multiple of 13?
False
Let n be (-236)/(-12) + 1/3. Suppose 5 = 3*j + n. Is 16 a factor of (24/j)/((-1)/5)?
False
Let f(o) be the third derivative of -3*o**4/4 - 2*o**3/3 - o**2. Let q be f(-3). Suppose -q - 62 = -4*w. Is 11 a factor of w?
False
Let v(h) = 2*h**3 + 17*h**2 - 9*h + 15. Is v(-8) a multiple of 14?
False
Let g(f) = f**2 - 7*f. Is g(14) a multiple of 14?
True
Suppose 5*c = -0*c. Suppose 4*m - l - 15 = 0, -3 + 0 = -3*l. Let o = c + m. Is o even?
True
Let d(r) = -3*r + 2*r**2 - r - r**2 - 16. Does 2 divide d(7)?
False
Let q be (-1)/(-4) - (-362)/(-8). Does 9 divide q/(-3) - (-1 + -2)?
True
Let l(j) = 6*j**3 + 4*j**2 + j - 2. Let c be l(-2). Is 6 a factor of 28/6*c/(-14)?
True
Suppose -7*d + 55 = -6*d - 3*s, d = -4*s + 55. Is 11 a factor of d?
True
Suppose 0*y - 140 = -5*y. Does 28 divide y?
True
Let n = -1 + 3. Let s = n + -3. Does 15 divide 1 - (-37 + 2*s)?
False
Suppose 4*u - u = 2*z + 7, 4*z + 35 = -u. Let i = z - -32. Does 20 divide i?
False
Does 3 divide (9/(-4))/((-12)/32)?
True
Is (-7)/(-4 - 3) + 2*50 a multiple of 5?
False
Let s(t) = 2*t - 7. Let n be s(7). Suppose -6*v + n*v = 7. Let g(q) = 2*q**2 - 8*q + 3. Is 14 a factor of g(v)?
False
Suppose -3263 + 1103 = -5*j. Is 4 a factor of j/63 + 1/7?
False
Let a(d) = -19*d. Let h be a(-1). Let s = 5 - 10. Let z = h + s. Does 5 divide z?
False
Is 13 a factor of 50 - (1 - (-1 + 3))?
False
Suppose 3*s + 17 = 3*y + s, 0 = 3*y - 3*s - 12. Suppose 11 = 2*q - y. Let i = q - 7. Is i even?
False
Suppose -5*t = -2*t - 6. Suppose 0*m - t*r - 362 = -4*m, 4*r = m - 94. Is 31 a factor of m?
False
Let h = -10 - -8. Is -15*(h - (-8)/6) a multiple of 10?
True
Suppose 5*k - 86 = -4*r, 0 = 3*k + k + r - 71. Does 18 divide k?
True
Suppose -3*z - 5*a - 28 = 0, z + 4*a = -4*z - 51. Let r = 26 + z. Is r a multiple of 15?
True
Suppose 803 = 5*i - i + s, 5*i = 5*s + 985. Is 8 a factor of i?
True
Is 6/12*(0 - -1)*146 a multiple of 21?
False
Suppose -2*h + 20 = 2*h. Suppose -h*f = -15 + 5. Suppose -f*w - x + 38 = -0*x, 2*x = -3*w + 59. Is w a multiple of 11?
False
Suppose -2*a - t = -9, 2*a - 3*t = a - 6. Is 23 a factor of 49 + a/((-12)/16)?
False
Suppose 270 = 5*y - 5*s, 0*y + 5*s = -3*y + 170. Is y a multiple of 11?
True
Let f = -14 + 38. Suppose 5*r = 5*j - 45, 0*j + 5*r = 2*j - f. Is 5 a factor of j?
False
Let i(v) = -1 + v + 2 - v**3 + 0*v**3 - 2*v**2. Is 7 a factor of i(-3)?
True
Let v(l) = 1. Let q(y) = -2*y. Let a(r) = q(r) - 3*v(r). Is a(-6) a multiple of 6?
False
Let j be 13/((5 - 1) + -3). Let g = j + 2. Is 5 a factor of g?
True
Suppose 3*q - 657 = 3*s, 3*q + 0*q = s + 649. Suppose 2*j - q = -41. Is j a multiple of 29?
True
Suppose 0 = k - 2*r - 44, 104 = 2*k + 3*r + 23. Suppose 4*s - 2*y + k = 6*s, 2*s = 5*y + 35. Does 7 divide s?
False
Let n be (-4)/(-14) - 174/21. Let q be (-2)/4 + (-692)/n. Suppose 52 = 3*l - 3*f - q, 0 = 2*l + f - 89. Does 17 divide l?
False
Suppose 1596 = 4*z + 12. Does 54 divide z?
False
Let u = 2 + 0. Suppose -u*a = -0*a - 22. Suppose a = 3*n - 31. Is 14 a factor of n?
True
Let k = -33 + 69. Is 12 a factor of k?
True
Let d(x) = 3*x**2 - 2*x - 5. Does 2 divide d(3)?
True
Let b = 15 + -6. Does 9 divide b?
True
Is 6 a factor of 24 + (-1)/(3/6)?
False
Suppose 119 + 21 = 5*d - 2*n, -5*n + 115 = 3*d. Suppose s + d = 2*s. Is s a multiple of 15?
True
Suppose 3*m = -4*v + 289, -2*v + 3*m + 155 = 8*m. Is v a multiple of 9?
False
Does 17 divide 220 + (-5 + 2 - -4)?
True
Let p be (1 + -1)/1 - -9. Let s = 65 - 62. Suppose -s*z + p = -0*z. Is z even?
False
Suppose -2*v = 2*k - 62, -k + 126 = 3*k + 2*v. Does 11 divide k?
False
Sup