Does 22 divide p?
True
Let h be (-1 - (-1)/2)*62. Let c = -7 - h. Let v = c + -12. Does 6 divide v?
True
Let d = -55 + 79. Let w = d + -8. Is w a multiple of 11?
False
Is (1 + 0 + -44)*4/(-4) a multiple of 14?
False
Let k(j) = 14*j**3 + j - 1. Let v be k(1). Let w be (24/v)/(5/35). Is 8 a factor of (w/5)/((-3)/(-20))?
True
Let u be (-1)/2 + (-1782)/(-12). Let w = -105 + u. Does 12 divide w?
False
Let w(l) = l**3 - 21*l**2 + 31*l - 27. Is 13 a factor of w(20)?
False
Is 13 a factor of 6/(-9)*(-156)/4?
True
Let s(k) = -k**3 + 11*k**2 - 6*k - 6. Does 17 divide s(10)?
True
Let t(a) = -a**2 + 4*a - 5. Let x be t(5). Let y be (-4)/x + 16/10. Suppose -3*k + p + 4 = -7, 4*k = y*p + 14. Is 2 a factor of k?
True
Suppose 7*h = 35 - 7. Is h a multiple of 3?
False
Does 9 divide -1*1 - ((-330)/3)/2?
True
Suppose 3*p - 6*t - 15 = -3*t, 40 = 5*p - 2*t. Is p a multiple of 4?
False
Does 7 divide -1*(-1 + -32 + -3)?
False
Suppose -o + 13 = 2*o - 2*v, 12 = 3*v. Is 7 a factor of o?
True
Let p(v) = v**2 + 3*v + 5. Let b(s) be the first derivative of s**3/3 + 2*s**2 + 7*s + 3. Let k(w) = -5*b(w) + 7*p(w). Does 4 divide k(-2)?
False
Suppose -2*f = -6*f - 36. Let o = 5 - f. Does 14 divide o?
True
Suppose 2*h = 18 - 0. Is h a multiple of 2?
False
Suppose 0 = -3*d + 2*g + 82, -2*d - 14 = -3*d - 2*g. Is d a multiple of 12?
True
Let j(y) = 8 - 3*y**2 + 6*y**2 - 2*y**2 + 3*y. Is j(-5) a multiple of 6?
True
Let r = 66 - 45. Is r a multiple of 7?
True
Let b = 5 - 7. Let n(x) = -18*x. Is 12 a factor of n(b)?
True
Suppose 18 = 5*i - 4*l, 4*i + l + 4 - 10 = 0. Let f = -2 + i. Is 3 a factor of (-1)/(-2)*(8 + f)?
False
Let b = -9 + 9. Suppose k - 53 + 5 = b. Is k a multiple of 12?
True
Suppose 3*z = -3*k + z - 10, 3*k + 25 = -5*z. Suppose -s = -5*f - k*s + 35, 3*f - 21 = 4*s. Is f a multiple of 3?
False
Let x(a) = 2*a**2 + 8*a - 4. Does 5 divide x(7)?
True
Does 38 divide 2*39 - (-2 - -3)?
False
Let j = -3 + 9. Does 35 divide 1 + 41 - (5 - j)?
False
Let h = 97 + -67. Does 12 divide h?
False
Suppose -72 = -5*r + 2*r. Does 5 divide r?
False
Let n = 85 - 3. Suppose -h = 4*m - 11, 3*m = 2*h - m - n. Is h a multiple of 11?
False
Let i be 1/2*2/(-1). Suppose 26 = 2*w + p, -4 = 4*w - 5*w + 4*p. Is 22 a factor of (i + w)/((-2)/(-4))?
True
Suppose 3*j - 2*j - 6 = 0. Suppose -9*f = -j*f - 327. Does 22 divide f?
False
Suppose -3*h + 17 = 5*v - 3*v, 5*h - 29 = -4*v. Suppose 3*x + 2*b = 82 + 26, -h*x - 4*b = -182. Does 19 divide x?
False
Let m be 4/16 + 44/16. Suppose 194 = 5*y - 3*d + 2*d, y - m*d = 50. Is y a multiple of 9?
False
Let n = -104 + 272. Is n a multiple of 8?
True
Suppose -5*q + 0 = 20. Let f be (q/(-12))/((-2)/(-438)). Suppose -4*k = 5*v - f, 6*v = -k + v + 7. Does 9 divide k?
False
Let g = 17 - -1. Does 7 divide g?
False
Suppose -2*i + 203 - 35 = 0. Is i a multiple of 7?
True
Is 0 - (92 + 0)/(-2) a multiple of 15?
False
Suppose 0 = 5*s + 2*l - 77 - 7, 3*s + 5*l - 58 = 0. Is 5 a factor of s?
False
Let o(c) = -c**3 - c**2 - 2*c - 2. Let y be o(-2). Let x be (-3)/2*y/(-9). Suppose 2*f = 5 + x. Is f a multiple of 2?
False
Let j(x) = 44*x - 16. Is j(4) a multiple of 40?
True
Suppose h = -0*h - 2*b + 36, 154 = 4*h - 2*b. Is 9 a factor of h?
False
Suppose 2*d + 42 = -4*i + 164, 0 = -2*i - 4*d + 64. Suppose l - 4*l = 0. Let x = l + i. Is x a multiple of 15?
True
Suppose 2*x - 5*q + 15 = 2, 2*x - 22 = -2*q. Is 5 a factor of x?
False
Suppose -u = 5*m - 171, -2*m - 3*m = -5*u - 165. Is m a multiple of 34?
True
Suppose -2*d = d + 5*z - 139, 235 = 5*d + 5*z. Let m = d - 13. Is 9 a factor of m?
False
Let n(o) be the second derivative of -5*o**4/12 + o**3/2 + 2*o. Let q be n(2). Let l = -7 - q. Is 3 a factor of l?
False
Let y = -1 + 3. Suppose -3*z - y*s = -2, 2*z + 3 - 2 = s. Suppose -37 = -d - z*d - o, -o + 4 = 0. Does 11 divide d?
True
Let d(h) = -9*h + 1. Let l(z) = -26*z + 3. Let c(m) = -11*d(m) + 4*l(m). Suppose -4*n - 8 = 2*r, 2*r - 5*r - n = 7. Is 4 a factor of c(r)?
False
Suppose 4*b = -b - 5. Let v = b + 32. Does 6 divide v?
False
Let h(c) = 2*c - 7*c + 3*c + 1 - 5. Is 2 a factor of h(-3)?
True
Let p(k) = 102*k + 16. Is 14 a factor of p(3)?
True
Is 17 a factor of ((-51)/5)/(6/(-30))?
True
Let f = 3 + 0. Suppose s - 3*n - 10 = -5, -25 = -5*s - 3*n. Suppose 5*b + 7 + 51 = f*c, -c + 26 = -s*b. Does 6 divide c?
False
Let d(k) = k + 2. Let f be d(-2). Suppose -5*y + 96 + 34 = f. Does 13 divide y?
True
Let b = -3 - -5. Let w(v) = -3*v - 2. Let s be w(b). Is 8 a factor of 0*3/6 - s?
True
Is -4*(5 - 3)*-9 a multiple of 9?
True
Let k = 30 - 10. Suppose -k = -5*p + p. Suppose p*v + 3 = -2, t - 15 = 4*v. Is 10 a factor of t?
False
Suppose -s + 3*s + 2 = 0. Let q = 3 + s. Is 7 a factor of q + -3*4/(-1)?
True
Suppose 2*l = l + 66. Is 14 a factor of l?
False
Let j(m) be the third derivative of -m**6/120 + m**5/20 + m**4/12 + m**3/6 - 4*m**2. Does 13 divide j(-2)?
False
Suppose 1 - 4 = -l. Suppose 6*k - 251 = k - 3*t, l*k - 2*t = 143. Does 21 divide k?
False
Let j(i) = i**3 + i**2 - 3*i + 148. Does 37 divide j(0)?
True
Let v = -27 + 31. Is 2/v*-4 + 14 a multiple of 4?
True
Let p = 12 - 0. Is 16 a factor of (-127)/(-4) - (-3)/p?
True
Is ((-46)/4)/((-2)/4) a multiple of 20?
False
Let o(y) = -y**3 + 2*y**2 + 2. Let c be o(3). Let m = 10 - 14. Let u = m - c. Does 2 divide u?
False
Let u(i) = -5*i**2 + 15*i + 2. Let m(k) = -6*k**2 + 15*k + 1. Let c(j) = -4*m(j) + 5*u(j). Does 16 divide c(13)?
True
Let g = 77 + -48. Is g even?
False
Let c(a) = -5*a + 7. Let v be c(-6). Suppose -3 = -5*k + v. Is k a multiple of 3?
False
Suppose k + 5*s + 25 = s, -4*k = -5*s - 5. Let h = k + 20. Does 15 divide h?
True
Does 11 divide (1 - -2)/((-1)/(-11))?
True
Let b be ((-1)/(-2))/(2/16). Suppose 11 = b*i - 21. Is 3 a factor of i?
False
Let i(g) = 7*g**2 - 3*g + 11. Is i(4) a multiple of 33?
False
Suppose -v + 4*y + 72 = 0, 151 = 2*v - 2*y + y. Is v a multiple of 22?
False
Let z be (3 + -3)*(-2)/(-2). Suppose 4*n + k - 34 = 7*n, z = n + k + 10. Let j = 74 + n. Is j a multiple of 22?
False
Let h be 6 + 0/(3 - 1). Let z = 12 - h. Suppose 2*t + 56 = z*t. Is 4 a factor of t?
False
Let l = -15 - -21. Let p(b) = -b**3 + 6*b**2 + b + 2. Does 8 divide p(l)?
True
Suppose 31 - 6 = -5*z, 50 = n - 5*z. Is n a multiple of 5?
True
Let q(g) = g**3 + g**2 + g + 74. Is q(0) a multiple of 25?
False
Let o = -46 - -65. Let h = o - 4. Is h a multiple of 5?
True
Let a = 539 + -377. Does 27 divide a?
True
Let l = 13 + -11. Suppose 2 = -l*p - 14. Is 12 a factor of (p/(-3))/(8/108)?
True
Let l(f) = 36*f**2 + 6*f + 9. Does 24 divide l(-2)?
False
Let p(j) = 4*j**2 - 11*j + 30. Does 7 divide p(3)?
False
Suppose 0 = m - 2*y - 77, 0 = -0*y - 3*y - 9. Let x = m + -35. Is x a multiple of 18?
True
Let q(g) = -g**3 + 5*g**2 - g + 6. Let k be q(5). Let f = k - -2. Suppose -2*h - 210 = -5*c, 3*h + 122 = f*c + h. Is 21 a factor of c?
False
Suppose -16 = 4*s - 0*s. Suppose -u = -5*f + 8, 3*f = u - 5*u + 14. Is 6 a factor of (s/10)/(f/(-30))?
True
Let y be ((-3)/2)/((-9)/120). Let w = y + 22. Suppose -4*q + w = -22. Is 6 a factor of q?
False
Suppose d + 0*d + 14 = 0. Let o = 7 + -14. Let a = o - d. Is 4 a factor of a?
False
Let w be (-32)/(-14) + (-6)/21. Does 11 divide (w/(-4))/((-4)/320)?
False
Suppose -4*n = -2*y + 7*y - 6, -3 = 3*n. Suppose -d - 2*i = 0, -2*d - i - y*i = -5. Is 5 a factor of d?
True
Let o be -3 - 5*(-1 - 0). Suppose o*u + 3*c = 94, 4*u + 5*c = -10 + 196. Is 22 a factor of u?
True
Let u = 32 - 19. Suppose 12 = 5*r - u. Does 15 divide r*(2 + 3/3)?
True
Let o(b) be the first derivative of b**4/4 + 7*b**3/3 - b**2 - 5*b + 5. Does 16 divide o(-6)?
False
Let t(c) = c**2 - 4*c. Let a = -15 - -27. Suppose 6*y = 4*y + a. Is 4 a factor of t(y)?
True
Let a(c) = 36*c**2 - c - 1. Suppose -w = -0*v - 3*v + 12, -5*w + v = 4. Suppose 2*y + 2 = -w*y. Is a(y) a multiple of 19?
False
Let n(k) be the third derivative of k**5/60 + 5*k**4/12 + 2*k**3 - k**2. Let i be n(-9). Let t = 0 + i. Is t a multiple of 3?
True
Suppose 6 = -k + 2. Let q be (4/5)/(k/(-40)). Suppose q + 52 = 4*r. Is 6 a factor of r?
False
Let s = 12 - 5. Does 14 divide s/(-1 - 9/(-6))?
True
Let t(m) = 3*m - 8 + m**2 + 13 - 3*m. Let z be t(-4). Is 9 a factor of 0 - (-7)/(z/72)?
False
Suppose -3*n + 2 = -4. Suppose n*r = -r + 69. Let p = -12 + r. Does 9 divide p?
False
Suppose 0 = -5*m - 2*