se
Suppose c - 5*i - 15 = 0, 0 = 3*c - 3*i - 4 - 5. Is c - (6 + -2 + -74) a multiple of 13?
False
Let x be (-10)/4*12/(-10). Let s(y) = 0 - 4*y + 3*y - x + 2*y. Is 2 a factor of s(5)?
True
Let i(t) be the third derivative of -t**6/120 - t**5/15 - t**4/8 + t**3/2 - 3*t**2. Let l be i(-3). Suppose 34 = l*f - 14. Is 16 a factor of f?
True
Suppose -3*d = -0*d - 4*q - 61, -2*d - q = -26. Is d a multiple of 5?
True
Let k = 3 - -80. Does 24 divide k?
False
Let y(a) = -16*a**3 + a**2 + a - 1. Let z be y(1). Does 8 divide (-1)/3 - 350/z?
False
Let r = 11 + -5. Let c be (101 - 2)/(9/r). Is (-2)/4 - c/(-4) a multiple of 9?
False
Suppose 2*d - 288 = -4*j, 2*j + 5*d - 230 = -j. Let t = j - 26. Is 18 a factor of t?
False
Let b be 1 + 56 + (2 - 4). Suppose 4*y - 5*q + b = 0, 0 = -4*q - 0 - 20. Let o = y - -36. Is 8 a factor of o?
True
Let d(g) = -g - 5. Is 4 a factor of d(-9)?
True
Suppose 3*f - 13 = 2*c - 2, -4 = 4*c. Suppose 0 = f*j - 8 - 7. Does 5 divide j?
True
Let y = 9 + -9. Suppose 0 = -2*s + 10 - y, -5*g = -2*s - 30. Is g a multiple of 3?
False
Suppose -3*c + r = -779, -2*c + 305 + 209 = 2*r. Does 40 divide c?
False
Let p be (4/(-5))/((-3)/15). Suppose -7*c + p*c - 24 = 0. Is 17 a factor of c/(-3)*102/8?
True
Let x(m) be the third derivative of -m**4/12 + 2*m**3 + 2*m**2. Suppose 5*l + 6 = -39. Is x(l) a multiple of 15?
True
Suppose 0 = 7*h - 3*h. Let u = -14 - -25. Suppose h = 4*g - 55 + u. Is g a multiple of 6?
False
Let r be (-5)/10*(-14)/1. Suppose -3*k + r = -23. Is k a multiple of 10?
True
Let j be 4 + 4 + (0 - 0). Let v(o) = -o**3 + 7*o**2 + 8*o + 7. Is v(j) a multiple of 2?
False
Let q(v) = -v - 10 + 3*v + 4*v - 5*v. Let u be q(0). Is 2 a factor of (-2)/(-1 - 6/u)?
False
Is 52 a factor of 16/(-56) + (-20)/(-14)*108?
False
Let r(k) = -k**2 - 5*k - 6. Let w be r(-4). Let c be -4 - w - -1 - -5. Is 81/4 - 1/c a multiple of 13?
False
Let y(p) = -3*p**3 - 2*p - 2. Let s(a) = 7*a**2 + 2*a + 1. Let o be s(-1). Let g = o - 8. Does 9 divide y(g)?
False
Suppose 25 = 5*w - 5*a, 4 = 2*w + 3*w + 2*a. Let b(d) = 9 + 19 - d**3 + 2*d + d**w - 3*d. Does 14 divide b(0)?
True
Let y be 0/(-6) - (-6)/2. Suppose 0 = y*t + 15, -7*t + 2*t = m - 13. Is m a multiple of 10?
False
Let v(g) be the second derivative of -g**3/6 + 3*g**2/2 + 3*g. Does 7 divide v(-10)?
False
Suppose 2*m = -4*r + 14, -4*r = 4*m - 5*r - 46. Does 11 divide m?
True
Let t(d) = 21*d + 2. Let o be t(4). Suppose -3*l + o = m + 4, m = 1. Does 9 divide l?
True
Suppose 3*b + 3 = 3*a, 4*b + 2 = 3*a - 0. Suppose a*z = 4*z - 78. Is 14 a factor of z?
False
Let f(a) = -a**3 + 10*a**2 - 4*a. Does 16 divide f(4)?
True
Let o(f) = -f**3 + 8*f**2 + 3*f - 12. Let w be -1 - 27/(-1*3). Does 12 divide o(w)?
True
Let g = 17 - 9. Let t = g - 4. Is 2 a factor of t?
True
Let t = 29 - 19. Is 5 a factor of t?
True
Let a = 166 + -71. Is a a multiple of 19?
True
Let r be -1 - ((1 - 32) + 3). Let o = r + 18. Is o a multiple of 15?
True
Let v(i) = 7*i**3 - 2*i**2 - 3*i + 3. Is 12 a factor of v(2)?
False
Suppose 2*l - 4 = -2. Let x(j) be the third derivative of 5*j**4/12 - j**3/6 + 8*j**2. Is x(l) a multiple of 9?
True
Suppose 3*h + 387 = 1365. Does 22 divide h?
False
Suppose -400 = -0*l - 5*l. Does 20 divide l?
True
Let g(i) = -101*i**2 - 2*i + 1. Let f be g(1). Let l = f + 188. Suppose -z = -2*v + 30, -6*v - 3*z + l = -v. Is v a multiple of 16?
True
Let d be 0*-3*3/(-9). Suppose -3*c - 5 - 4 = d. Let v = c + 20. Is 14 a factor of v?
False
Suppose 98 = -5*u - 3*x + 506, -3*x = 4*u - 324. Does 12 divide u?
True
Suppose -l + 3*f = 28, f = 3*l + 2*f + 54. Let i = l - -32. Is 9 a factor of i?
False
Let q(h) = -3*h**3 + 3*h**2 + 5*h + 4. Does 15 divide q(-2)?
True
Let j be -1 - (-50)/(-4)*-2. Suppose 0 = 3*o - 0*o. Let n = o + j. Is n a multiple of 12?
True
Let h = 10 - 6. Suppose 3 = -2*u + 9, 0 = 3*l + h*u - 87. Does 17 divide l?
False
Let z be (-30)/(-9)*(-12)/(-1). Let p = z - 28. Let v = 32 - p. Is v a multiple of 10?
True
Let t = 1 + 1. Suppose t*q - 14 = -2*q - y, -4*y + 20 = 4*q. Is q a multiple of 3?
True
Suppose d = -4*d + 780. Is 39 a factor of d?
True
Let v be 0*(4 - (2 + 3)). Suppose v*o - 70 = -5*o. Does 8 divide o?
False
Suppose 5*f - 44 = -4. Does 7 divide f?
False
Let c(a) = a - 6. Let x be c(6). Let r be x + 1 + 2 + 19. Let d = r - 10. Does 4 divide d?
True
Suppose -4*n - 169 = -2*a + 83, -5*a - n + 641 = 0. Let v = a + -88. Does 22 divide v?
False
Let z be (-1)/((-9)/78)*3. Let g = z + -14. Is g a multiple of 6?
True
Let u be (-4)/(-10)*(-10)/(-2). Suppose 0 = -u*i + 5*f - 0 - 4, 2*i = -3*f + 12. Suppose 5*s - 5*j = 165, -i = j + 1. Does 17 divide s?
False
Suppose 2*c - 77 - 23 = -4*a, 0 = 5*c - 5*a - 250. Suppose 5*j + 0*j - c = 0. Is 4 a factor of j?
False
Let j(z) = 10*z + 3. Let u(l) = -l + 1. Let d(r) = -j(r) + 4*u(r). Does 15 divide d(-2)?
False
Let o be (1 + 1 - -2) + 0. Suppose 36 = -o*q + 6*q. Does 6 divide q?
True
Let w(f) = -f**2 - 14*f. Let j(u) = u**2 + 15*u + 4. Let v be j(-14). Is w(v) a multiple of 8?
True
Let j = -67 + 126. Suppose -2*d + j = -5*y, -5*d + 3*y = -0*y - 100. Is d a multiple of 11?
False
Suppose 2*j + 8*u + 10 = 3*u, -2*u - 23 = -3*j. Let d = -3 + j. Suppose -o - 4*w + 29 = -d*w, -w = 3*o - 82. Is 13 a factor of o?
False
Let r = -141 + 201. Does 19 divide r?
False
Let z = -23 + 28. Suppose 0 = z*n + 28 - 168. Is 7 a factor of n?
True
Let b(r) = -r**3 + 8*r**2 - 3. Is b(7) a multiple of 24?
False
Suppose 4*b - 355 = -19. Does 11 divide b?
False
Suppose -4*w + 2*f + 32 = 0, 3*w + 2*f - 6*f = 34. Is 4 a factor of w?
False
Let w be 0*(0 - 3/(-9)). Suppose w = 2*r - 42 - 2. Is 11 a factor of r?
True
Let u = 9 + -21. Let c be (-8)/u - (-10)/3. Suppose 40 = 2*s - c*y, 2*s - 8 = -4*y + 8. Does 14 divide s?
True
Let n = -3 - -3. Suppose n = 2*a + 3 - 45. Is a a multiple of 9?
False
Suppose -2*f + 0*f = -48. Is f a multiple of 10?
False
Suppose 0 = -2*z - 3*z + 100. Is 20 a factor of z?
True
Let x(v) = 2 - 1 + 0*v**2 + 4*v**2 - 2. Let u be x(-2). Suppose -5*h = 2*b - u - 34, 3*b + 2*h = 90. Is b a multiple of 17?
False
Let q be (1*(-15)/3)/(-1). Suppose 0*w + 3*v - 15 = 4*w, q = w + v. Does 11 divide 0 + (w - 2) + 24?
True
Let q be 2 + (1 - (-2 - 2)). Suppose -3*p + 20 + q = 0. Is 4 a factor of p?
False
Suppose 0 = f + 2*m + 5, -4 = -3*f - 5*m - 22. Let o = -3 - f. Suppose 2*y = o, -2*y = -n + 2*y. Does 15 divide n?
False
Suppose -3*u - 2*u + 5*s + 330 = 0, 0 = 3*u + 3*s - 210. Is u a multiple of 17?
True
Let o = 54 + -100. Let q = -22 - o. Is q a multiple of 8?
True
Let l(g) = 8*g - 4. Let t be l(4). Suppose 3*d = -d - t. Let p(m) = m**2 + 6*m + 4. Is p(d) a multiple of 11?
True
Let o(i) = 2*i - 3. Let j be o(5). Is 10 a factor of 828/42 + 2/j?
True
Does 4 divide (-16)/3*75/(-20)?
True
Let y be 6/4*(-4)/(-6). Let b(k) = 6*k**2. Let p be b(y). Let w(c) = c**2 - 3*c - 2. Does 6 divide w(p)?
False
Suppose -4*i - 7 = -2*r + i, -i = r. Suppose -j = -0 + r. Let d = j - -12. Is d a multiple of 5?
False
Is ((-139)/1)/((-11)/11) a multiple of 14?
False
Let s(r) = 11*r**3 - 3*r**2 + 2*r - 2. Let b be s(2). Suppose 3 = -c, 2*f - c - c - b = 0. Is f a multiple of 12?
True
Suppose -228 = -7*p + p. Is 12 a factor of p?
False
Let p(d) = d + 7. Let v be p(-11). Let u(z) = -5*z + 3. Let r be u(v). Suppose 0*m + 3*h = 3*m - 63, r = m - 3*h. Is 10 a factor of m?
True
Let a(h) be the third derivative of h**6/180 - 3*h**5/40 - h**4/8 - h**3/3 + 4*h**2. Let t(v) be the first derivative of a(v). Is t(7) a multiple of 16?
True
Let o be (-2)/(-6) + (-10)/3. Let a = -17 - -15. Is (2 - (a - o)) + 31 a multiple of 16?
True
Suppose 0 = 2*u + 4*l - 84, 4*u - 2*l = -u + 210. Is 21 a factor of u?
True
Let a(m) = m**3 - 6*m**2 + 8*m - 5. Let d be a(5). Suppose 0*q = q - 6. Suppose -q - d = -l. Does 8 divide l?
True
Suppose 3*y - 15 + 0 = 0. Suppose 0*w - w + d = -12, y*w - d = 48. Is 9 a factor of w?
True
Let b(c) = 2*c - 6. Let k be b(4). Suppose k*j - w + 2*w = 60, 0 = 3*w. Suppose -4*a - j = -154. Does 12 divide a?
False
Let t(q) = q**3 - 4*q**2 + 2*q + 2. Let v be t(3). Let n = v + 25. Is n a multiple of 9?
False
Let i = 23 + -36. Let b = i + 28. Is 6 a factor of b?
False
Let z(s) = -2*s + 24. Is 5 a factor of z(6)?
False
Let p(g) = -g + 3. Does 3 divide p(-10)?
False
Let j(n) = n**3 + 8*n**2 + 5*n + 10. Is j(-5) a