32 = -5*p. Is z a multiple of 17?
True
Let c = 35 + 22. Is 20 a factor of c?
False
Is -9*3*(-8)/3 a multiple of 40?
False
Suppose -7*k - 25 = -8*k. Does 16 divide k?
False
Suppose 103 = h + 4*h - 4*m, 0 = 2*h + 2*m - 52. Is h a multiple of 10?
False
Let r be (-2 - (1 + 3))*-3. Does 7 divide r/(-15)*5*-3?
False
Let h be (30/50)/((-1)/(-265)). Suppose 5*i - 2*i = h. Is 15 a factor of i?
False
Suppose 0 = -h - 5. Let k = h - -5. Suppose k = s - 3*s + 80. Is 20 a factor of s?
True
Suppose n - 117 - 51 = 0. Does 14 divide n?
True
Let d(t) = -t**2 + 19*t - 16. Is d(17) a multiple of 15?
False
Suppose 30 = 5*p + 2*u, -2*u - 30 = -6*p + p. Suppose -p*l + 5 = -l. Suppose 4*y - 7 = l, -3*y - 28 = -z. Does 16 divide z?
False
Let h = 14 + -7. Let s = h - 5. Does 8 divide 15 - (1*-3 + s)?
True
Suppose -9*u = -13*u + 8. Is 2 a factor of u?
True
Suppose 5*p + 6 = -2*f + 1, 0 = 5*f + 4*p + 4. Let w = f - -3. Suppose -5*j - 29 = -x, 6 = 2*x - w*j + 6*j. Does 3 divide x?
True
Let q be 50 - (1 - (3 - 1)). Suppose 5*c - 1 = -6, -5*c + q = 4*b. Suppose -4*j = -3*j - b. Does 12 divide j?
False
Suppose 110 = 3*a + z, -4*z - 9 + 69 = 2*a. Is a a multiple of 19?
True
Let u be (1 + (-3 - -3))*-3. Let f be u/(1/11*1). Let t = f + 61. Does 11 divide t?
False
Let a(n) = -2*n - 6. Let u be a(-5). Suppose -3*q - 3*c = -15, 8*c - u*c = q. Suppose 48 = 2*z + 4*b, -q*z + b - 1 = -88. Does 11 divide z?
True
Suppose z = -3*z - 92. Let k be (-1)/((-10)/(-8))*15. Let t = k - z. Is t a multiple of 11?
True
Let z(l) = 2*l**2 + 4*l + 5. Does 11 divide z(-4)?
False
Let b(o) = 2*o**2 - 7*o + 5. Let d be (18/8)/(9/24). Is 13 a factor of b(d)?
False
Let a(s) = -2*s + 1. Let x be a(-2). Suppose x*y - 356 = -116. Is y a multiple of 16?
True
Let o be 38/(3*2/15). Let l = o - 42. Is 21 a factor of l?
False
Suppose 4*z = 0, 5*z - 2*z + 12 = 4*a. Suppose -a*o + 92 = 3*p - 5*o, 0 = -3*p - 2*o + 88. Does 23 divide p?
False
Let o(u) be the first derivative of -3*u**2/2 - 2*u - 2. Let v(q) = -q**3 - 3*q**2 + 6*q + 3. Let x be v(-4). Is o(x) a multiple of 5?
False
Let y be (-1)/(3/(-6)) - -4. Suppose 4*d = y + 18. Does 3 divide d?
True
Let j be (12/(-7))/(1/(-7)). Let u = 14 - j. Is 2 a factor of u?
True
Suppose -2*x = x - 6. Suppose 4*n + 4*m - 76 = 0, -x*n - 2*m = m - 35. Suppose -p - k + n = 0, -k - 4*k + 30 = p. Is 10 a factor of p?
True
Let r = -60 + 175. Is 26 a factor of r?
False
Let a = -20 + 39. Does 5 divide a?
False
Let y(j) = -68*j + 4. Is 10 a factor of y(-1)?
False
Does 9 divide -1 + ((-10)/2 - -36)?
False
Let w(b) = 9*b + 19. Let q be w(-13). Let m = q + 138. Is m a multiple of 20?
True
Let r(w) = 14*w**3 + 4*w**2 + 24*w + 41. Let x(q) = 5*q**3 + q**2 + 8*q + 14. Let v(d) = 6*r(d) - 17*x(d). Is 6 a factor of v(8)?
False
Suppose -2*i + 4*u - 32 + 206 = 0, 4*u = -3*i + 251. Does 17 divide i?
True
Suppose 2*k - 4 = -2. Suppose -4*a + 6*a = 0. Does 10 divide (8 + 2)*(k - a)?
True
Let q(c) be the third derivative of c**5/30 + 7*c**4/12 + 17*c**3/6 - 7*c**2. Is q(-8) a multiple of 10?
False
Let c = 3 + -2. Let t be -2 + (10 - 0 - c). Suppose -6*y + t*y - 6 = 0. Is y a multiple of 5?
False
Let w = 11 + -7. Suppose -47 = -w*n + 53. Is n a multiple of 13?
False
Let a = 354 + -210. Is a a multiple of 9?
True
Let t(x) = x**2 - 3*x - 12. Suppose -4*c + 45 = -3*n, 5*n = -2*c - 3*c + 30. Is t(c) a multiple of 14?
True
Let w(h) = -h**2 - 13*h - 11. Does 4 divide w(-10)?
False
Let w = -312 + 444. Is w a multiple of 33?
True
Let z = 165 + -30. Is 27 a factor of z?
True
Let i(g) = -g + 6. Let m be i(3). Suppose 5 = 3*q + 2*r - 19, -m*r + 9 = 0. Suppose 3*v = 2*a - 86, 3*v = -q*a + 3*a + 114. Is a a multiple of 20?
True
Let j(d) = d**2 + d - 1. Let t(n) = -9*n**3 - 5*n**2 - 6*n + 6. Let c(x) = 6*j(x) + t(x). Let w be c(-1). Suppose -4*s - s + w = 0. Is 2 a factor of s?
True
Suppose -5 = l + 1. Is 14 a factor of (-2 - (8 + -3))*l?
True
Let n be ((-3)/2)/((-3)/6). Suppose -n*k + 0 + 6 = 0. Suppose 15 = k*h + 5. Is h a multiple of 5?
True
Let g be (-1 - -3) + 1 + 0. Suppose g*p + 0*p - 24 = 0. Does 4 divide p?
True
Let x(b) = b + b**2 - 1 - 16*b**2 + 17*b**2. Let j be 14/(-6) - (-1)/3. Is x(j) a multiple of 5?
True
Let k be (-2)/3 + (-20)/(-3). Suppose 4*o + 23 - 83 = 0. Let z = o - k. Does 7 divide z?
False
Suppose w - 8 = 2*p - 0*w, 0 = -4*p + 4*w - 16. Let m(b) = b**3 + 6*b**2 + 4*b - 4. Let k be m(p). Suppose o - k = -o. Is o a multiple of 4?
False
Suppose 82 = 3*n - 50. Is n a multiple of 22?
True
Let v be (-96)/44 - (-4)/22. Let s(a) = -a**2 - 2*a - 3. Let x be s(v). Is (-8)/x*15/4 a multiple of 7?
False
Suppose -2*w = -5*w + 24. Let x = w + 24. Is 16 a factor of x?
True
Suppose 0 = -5*g - b + 21 - 6, 0 = -4*b. Let h = g - -9. Does 6 divide h?
True
Let r(a) be the third derivative of -a**4/24 - 11*a**3/2 - a**2. Let i be r(0). Does 15 divide (-2 - (-1 - 0))*i?
False
Suppose 0 = -5*p - 10, -p = 4*g + 3*p - 8. Suppose 3*i - 5*i + g = 0. Suppose -i*q + 40 = 3*q. Is 4 a factor of q?
True
Let n(z) = -3 - 22*z**2 + 21*z**2 - 12*z - 6 + 2. Does 13 divide n(-8)?
False
Let l(h) = -h**3 - 6. Let p be l(0). Let n(y) = y**3 + 6*y**2 - y + 8. Is 7 a factor of n(p)?
True
Let x = 117 - 77. Does 7 divide x?
False
Let a = -13 + 19. Is 2 a factor of a?
True
Let m = -63 - -126. Suppose 0*c + 3*c - m = 0. Let n = c - -3. Is 8 a factor of n?
True
Let p(s) = 5*s - 11. Is p(7) a multiple of 11?
False
Let v(d) be the first derivative of d**5/60 - d**3 + 2. Let h(y) be the third derivative of v(y). Does 6 divide h(6)?
True
Suppose 0 = -b - 2*b + 30. Suppose a - b = -a. Does 5 divide a?
True
Let r(j) = -13*j - 1. Let d be r(-2). Suppose 0 = -5*x + 50 + d. Does 6 divide x?
False
Suppose f + 856 = 4*n, -2*n = 2*f + 2*f - 446. Is 43 a factor of n?
True
Let n(u) = u**2 - 2 + 6 + 0 + 6*u. Suppose -3*t - 41 = 4*b, b - 4*b = 3*t + 36. Is n(t) a multiple of 7?
False
Is 0 - (2 + -1 + -39) a multiple of 19?
True
Suppose 2*h = -2*h + 12. Suppose 2*p = -h*p + 15. Suppose k = 2*k - u - 6, -15 = -p*u. Is 4 a factor of k?
False
Suppose s + 3*g = 37, s - 3*s + g + 74 = 0. Suppose 4*u - 19 = s. Is 5 a factor of u?
False
Suppose -b - 6 = -2*v, -7*b + 3*b = -16. Suppose -88 = -v*m - 13. Is 4 a factor of m?
False
Let h be 69/21 + 10/(-35). Suppose h*c - c - 40 = 0. Does 5 divide c?
True
Let q be 8 + 6/(4/(-2)). Suppose -5*o = -5*h - 37 - 83, 4*o + q*h = 123. Does 25 divide o?
False
Let p(i) be the third derivative of 19*i**6/120 - i**5/60 + i**4/24 + 2*i**2. Is 10 a factor of p(1)?
False
Let f = -4 - -9. Suppose 4*z = 12, -z = f*t + 4*z - 145. Is t a multiple of 13?
True
Let q = 34 + -13. Is 21 a factor of q?
True
Suppose 2*x + 11 = x. Is (-299)/x - (-6)/(-33) a multiple of 15?
False
Let i = -1 - -5. Is 28 a factor of (1/(-2))/(i/(-528))?
False
Let n(y) = y**2 - 6*y - 2. Is n(7) a multiple of 5?
True
Let z(j) = j**2 + 14*j + 11. Let o be z(-6). Let i(q) = -q**3 + 3*q**2 - 3*q + 6. Let f be i(5). Let n = o - f. Is 11 a factor of n?
True
Let g be (1 - 5)/(2/(-8)). Let l = g - 1. Is 9 a factor of l?
False
Let t be 6/(-9)*(-2 - -5). Does 15 divide t/6 + 156/9?
False
Suppose 0 = 6*s - 3*s + 30. Let x = 7 + s. Does 2 divide (27/(-15))/x*5?
False
Is ((-22)/(-2))/(15/45) a multiple of 11?
True
Let k(n) = 16*n**3 - n**2 - 2*n - 1. Let p be k(-1). Does 13 divide p/(-4 + 3) - 3?
True
Let b(d) = 2*d**3 - 11*d**2 - d - 17. Is b(6) a multiple of 13?
True
Suppose 4*z = 3*z + 2. Let p = z + 10. Does 12 divide p?
True
Let n = -34 - -95. Suppose -116 = -4*v + 4*j, -4*v = -2*j - 55 - n. Does 14 divide v?
False
Suppose 5*l = 4*l + 5, 2*r = -3*l + 775. Does 76 divide r?
True
Suppose 0 = -52*r + 50*r + 152. Does 28 divide r?
False
Let w(j) be the first derivative of -3*j**3 - 2*j**2 + 2*j + 2. Let s(q) be the first derivative of w(q). Does 18 divide s(-3)?
False
Let t be 2156/(-33) - (-1)/3. Let o = t + 125. Does 20 divide o?
True
Suppose 0 = 2*s - 0 - 6, -4*g + s = -149. Suppose 3*p - 32 = -5*b, g = 4*b + b - 3*p. Is b a multiple of 7?
True
Suppose 4*v = v - p + 110, -3*p = 2*v - 85. Is v a multiple of 21?
False
Suppose -4*f + 3*o = -12, 0*f + f + 3*o = -12. Suppose -x + 180 = 4*x. Suppose f*w + x = w. Is 18 a factor of w?
True
Is (-60)/8*152/(-5) a multiple of 39?
False
Let o be (-2)/2 + 3 + 18. Suppose 5*w = 10*w - o. Suppose -t + 4*t = w*x + 4, -t = -x - 2.