Is 52 a factor of 2/17 + (-222750)/(-153)?
True
Let z = 778 + -427. Is z a multiple of 39?
True
Let t = 110 - 98. Is 6 a factor of t?
True
Let b(z) = -z**2 + 7*z - 9. Let k(a) = 3*a**2 - 21*a + 26. Let p(n) = 8*b(n) + 3*k(n). Let w = 12 + -3. Is p(w) a multiple of 6?
True
Suppose -3*i + 29 = 5*c, 2*c - 3*i = -0*i - 1. Suppose 0*k + c*k - u = 97, k = 2*u + 26. Does 24 divide k?
True
Suppose -856 = -2*n + 4*f, 619 = 2*n + 2*f - 243. Is n a multiple of 34?
False
Let j(p) = -10*p + 2. Let x be j(-7). Let n = 278 + -155. Let a = n - x. Is 17 a factor of a?
True
Let g(b) be the third derivative of 0*b**3 - 2*b**2 + 1/2*b**4 + 0*b + 0 + 1/30*b**5. Is 15 a factor of g(-9)?
False
Let u(s) = s + 38. Let l be u(7). Does 4 divide 3/((-11)/35 - (-18)/l)?
False
Let z(w) = -w**3 - w**2 - 4*w - 3. Suppose 5*j + 5 = 20. Suppose j*q - 14 = 2*u + q, -5*u - 5*q = -15. Does 5 divide z(u)?
False
Let y(w) = -w**3 - 9*w**2 - 10*w - 8. Suppose 4*i - 48 = 10*i. Let x be y(i). Let u(n) = 2*n**2 - 9*n - 7. Is u(x) a multiple of 20?
False
Is 4 a factor of ((-66)/(-4))/((-81)/(-108))?
False
Let a(y) = -y**2 - 7*y - 4. Let r be a(-7). Let p(b) = 3*b**2 + 24*b. Let k(d) = -d**2 - 8*d. Let f(n) = 7*k(n) + 2*p(n). Is f(r) a multiple of 16?
True
Suppose -9*k - 5577 = -27366. Is k a multiple of 9?
True
Let s = 68 + -28. Suppose -s = -3*i + 26. Let b = 46 - i. Does 12 divide b?
True
Let z(u) = -2*u**3 - 5*u**2 - u - 2. Is z(-5) a multiple of 9?
False
Let w = 250 + -125. Is 16 a factor of w?
False
Let a be (1 + 4)/1*(-12)/5. Does 31 divide (-2)/a*(-10 - -8)*-246?
False
Let q = -12 + 3. Let s = q + 6. Is 16 a factor of 24/(-10)*60/s?
True
Let q(n) = -2*n + 7. Let y be q(3). Suppose 5*f = 2*h + 2*h - 10, 8 = -4*f - 4*h. Is y + 1 + f + 43 a multiple of 10?
False
Suppose -31*w + 2700 = 14*w. Is w a multiple of 15?
True
Suppose 66*s = 65*s - 4*k + 755, -4*s - 3*k + 3020 = 0. Is s a multiple of 47?
False
Suppose -7*y = -5*y - 5*m - 4555, 0 = -2*y + m + 4559. Does 19 divide y?
True
Let i(j) = -398*j**3 - j**2 - 8*j - 6. Is 16 a factor of i(-1)?
False
Let v(y) = -16*y - 3*y**2 + y**2 - 3*y**3 + 31*y - 20*y + 2*y**3. Let f(b) = 2*b + 4. Let r be f(-4). Does 13 divide v(r)?
True
Suppose 31*a = 23*a + 5544. Is a a multiple of 58?
False
Suppose 59*b - 53*b - 930 = 0. Is b a multiple of 29?
False
Let s(k) = -32*k - 1. Let q(l) = -32*l - 1. Let h(t) = 5*q(t) - 4*s(t). Let f be (10/(-20))/((-2)/(-4)). Is 10 a factor of h(f)?
False
Let r be 915 + (3 - (5 + -5)). Is 15 a factor of (36/54)/((-4)/r*-1)?
False
Let i be 9/(-3) - (-3)/1. Suppose i = 8*t - 13*t + 400. Let r = t - 54. Does 9 divide r?
False
Suppose 0 = -j + 4*l + 5, -2*l = 4*j - 3*l - 5. Let z be ((-2)/j)/(1/(-2)). Suppose -k = -0*k, z*h - k = 156. Does 13 divide h?
True
Suppose -u + 4*u - 66 = -3*k, -3*u = -5*k - 74. Let x(n) = n**3 - 22*n**2 - 10*n - 39. Is x(u) a multiple of 13?
True
Suppose -48 = 18*j - 3450. Is j a multiple of 14?
False
Let j = 27 + -5. Let v(z) = 4*z - 36. Is 6 a factor of v(j)?
False
Suppose 11*d - 4 = 2*b + 6*d, -3*b - 2*d + 32 = 0. Let y = 12 - b. Is 9 a factor of (-38)/(-4) + (-2)/y?
True
Suppose 0 = 2*o - 5*x - 76, -3*x + 220 = 5*o - 8*x. Suppose -6*m + 138 = -o. Is 22 a factor of m?
False
Let z(s) = -s**3 + 5*s. Let t be z(2). Let h(l) = 8 + 5*l**3 + 7*l - 2*l**3 + 8*l**2 - t*l**3. Does 19 divide h(-6)?
True
Let o = -23 - -23. Suppose 5*l - 3*v - 157 = o, -36 - 43 = -3*l - 2*v. Does 12 divide l?
False
Let k(r) = 5*r**2 - 74*r - 199. Is k(-30) a multiple of 15?
False
Suppose 8*x = 17*x - 6147. Suppose 5*l + 28 = x. Is l a multiple of 16?
False
Let n = 64 + -61. Suppose -n*x + 294 = 3*l - 0*l, 492 = 5*l + 4*x. Is 23 a factor of l?
False
Let l = 942 + -699. Does 3 divide l?
True
Let f = 850 + 97. Does 29 divide f?
False
Let v(x) = -x**3 + 11*x**2 + 6*x - 8. Let u be v(6). Suppose -3*m + 37 = 5*k - u, 2*m = -3*k + 147. Is 49 a factor of k?
True
Let n(y) = 5*y + 1. Let q(b) = 5*b. Let w(j) = 6*n(j) - 4*q(j). Is w(3) a multiple of 6?
True
Let i(m) = m**3 + 8*m**2 + 8*m + 5. Let b be i(-7). Let n be 1 - (-2 + 0) - b. Suppose 2*k - 2*w + 6*w - 14 = 0, -n*w + 26 = 3*k. Is 9 a factor of k?
False
Let r be -2 - 0 - 20/(-5). Suppose m + 3*a - 2*a - 15 = 0, -r*a = m - 16. Is 2 a factor of m?
True
Let v(u) = 2*u + 19. Suppose 11 = -0*p - p + 2*m, 0 = -4*m + 12. Let j be p/((-20)/68) - 1. Does 11 divide v(j)?
False
Let j = 16 - -62. Does 13 divide j?
True
Suppose 6*c + 3*i = c + 12669, 0 = -3*i + 9. Is 12 a factor of c?
True
Suppose -724 = 10*h - 14*h. Is h a multiple of 52?
False
Suppose 2*k = 5*y - 26, 0*y - 5*k = -y + 19. Let u(t) = -t**3 + 4*t**2 + 2*t + 1. Let x be u(y). Is 11 a factor of x - (4 + -3)*-2?
True
Let r(o) be the first derivative of 1 - 3*o**2 - o + 4/3*o**3 + 1/4*o**4. Is r(3) a multiple of 11?
True
Suppose 18 + 6 = -3*z. Let b(f) = f + 10. Let k be b(z). Suppose -72 = -k*h - 2*h. Does 6 divide h?
True
Suppose c = 2*c + 14. Let w = 20 + c. Let q(x) = x**3 - 6*x**2 + 7*x - 5. Is 17 a factor of q(w)?
False
Suppose 0 = -3*v - 3 + 6. Let h be 2 + v*(-6)/(-3). Is 16 a factor of 8*(26/h + -1)?
False
Suppose -2*l = 132 + 242. Is 31 a factor of (-2)/6*3 - l?
True
Suppose 53*c - 66*c = -2366. Does 18 divide c?
False
Suppose x + 4*x = 50. Suppose 0 = x*g - 6*g - 748. Is 17 a factor of g?
True
Does 47 divide 4/6*(-57)/266*-2933?
False
Let d(l) = 26*l**2 - 2*l - 30. Is d(4) a multiple of 9?
True
Let g = 13 + -7. Does 3 divide (g - 2) + 20 - 4?
False
Suppose -g = -3, -f - 4*g + 4 = -5*f. Suppose 32 = p - 5*o - 8, o - 80 = -f*p. Does 10 divide p?
True
Let n(h) = h**3 + 3*h**2 - 4*h - 5. Let s be n(-2). Suppose 5*o - s*o - 5*f + 306 = 0, 3*o - 4*f = 413. Does 44 divide o?
False
Suppose 0 = 4*h + 113 - 329. Is h a multiple of 27?
True
Let q(h) = 0*h + 17*h - 14 + h - 10*h. Is 26 a factor of q(5)?
True
Let j = -437 + 461. Is j a multiple of 24?
True
Let u be (9/5)/(4/20). Let q be (0 - -3)*12/u. Suppose q*b - 190 = -b. Does 11 divide b?
False
Let t(r) = -r - 10. Let k be t(-11). Let w be k - (-3 + (0 - 0)). Is 3*w/(-4) + 18 a multiple of 7?
False
Suppose 4*x - 16 = 0, -x + 23 = 5*y - 4*x. Let s = -2 + y. Suppose n + 3*w = 9 + 22, s*n - 4*w = 212. Is n a multiple of 8?
True
Suppose 0 = 12*j - 8*j - 60. Let c(b) = -b**3 + 14*b**2 + 17*b + 20. Is 10 a factor of c(j)?
True
Let l be 32 - (2 + (-4)/4). Let k = 26 - l. Does 13 divide (8 - -2)/((-1)/k)?
False
Let g(k) = -k**3 - 15*k**2 + 14*k - 17. Suppose -4 = -3*o + o. Suppose -x = -a - 13, -a + 0*a - 10 = -o*x. Does 7 divide g(a)?
False
Let i(a) = -a**3 - 14*a**2 + 13*a + 5. Let n be i(-15). Does 19 divide 7 + -3 + n + -1?
True
Let q = 14 + -12. Let b be (-1)/(0 + 1/(-4)). Suppose q*j - 2 = 0, -b*y - 5*j + 167 = -2. Is y a multiple of 13?
False
Let x = -11 - -11. Suppose x = -s + 96 + 8. Suppose 4*d + s = 8*d. Is 26 a factor of d?
True
Let v = 22 - 17. Suppose v*l = 10*l - 60. Let j = l + -5. Is 3 a factor of j?
False
Suppose -25578 = 83*k - 104*k. Is 29 a factor of k?
True
Let b = 98 + -98. Suppose -14*y + 3487 + 237 = b. Is y a multiple of 14?
True
Let g(o) = o**2 + 16*o + 17. Suppose 0 = 4*s + 3*b + 60, 60 = -5*s - 3*b - 15. Let d be g(s). Suppose -2*p - 6*l + 41 = -l, d*p + 2*l = 50. Is 14 a factor of p?
True
Let n(m) be the third derivative of -m**5/60 - 7*m**4/24 - m**3 + 6*m**2. Let u be n(-6). Suppose 27 = -u*d + d. Does 8 divide d?
False
Suppose -33*h + 1933 = -1103. Does 10 divide h?
False
Let w(t) = t**2 - t + 9. Let n be w(7). Let g = n + -25. Suppose -3*r + g = -16. Is r a multiple of 3?
False
Let p be (-186)/18 + 1/3. Let u = p - -10. Is 6 a factor of 8 + -3 + (u - -2)?
False
Let j be 137/(-7) - (-6)/(-14). Let a be 4/(-20) - 244/j. Let w = 3 + a. Is w a multiple of 15?
True
Suppose -3*o - o = -3*q, 5*q + 2*o - 26 = 0. Suppose q - 2 = -c. Is 10 a factor of (-73 + c)*(-27)/45?
False
Suppose 7*v = 8*v - 3. Let x(z) = 2*z**2 - v*z**2 + 1 - 14*z + 1 + z. Does 14 divide x(-12)?
True
Suppose 6*v - 4*v = 8. Suppose v = i - 0. Suppose -u = u + 4*a - 78, 2*u - i*a = 102. Is u a multiple of 18?
False
Does 14 divide 11 + 160/(-15) - 1931/(-3)?
True
Suppose -4310 - 20476 = -34*o. Is o a multiple of 9?
True
Suppose 0 = u + u + 5*p - 10, 0 = 4*p - 8. Let n be ((-21)/(-28))/((-1)/(-128)). Suppose 5*r - r - n = u. Is r a multiple of 7?
False
Let j = 12 + -17. Let q = 66 + j.