i(d) = 3*d**2 - 5*d + 6. Suppose -2*j - 8 = -0, 3*z - 86 = 5*j. Suppose -4*r = -2 - z. Does 17 divide i(r)?
False
Let f be (15/(-40))/(2/(-16)). Let a(q) = 461*q - 23. Let h be a(f). Suppose -2*x - 6*x + h = 0. Is 33 a factor of x?
False
Let d(h) = -11*h**2 + h + 10. Let p be d(5). Suppose b = -4*r - 1758, 3*r - 8 = -5*b - 1318. Let j = p - r. Does 14 divide j?
False
Let u be (-2)/(-5) + 736/10. Suppose -c + 109 = 5*z - 3*c, -3*z - c = -72. Let m = u + z. Does 12 divide m?
False
Let x(q) = 2*q**3 + 5*q**2 - 3*q - 13. Let w be x(4). Let c = 294 - w. Does 10 divide c?
False
Suppose 1624 = -5*u - 4*a, -2*a + 1 = -3*a. Let d be (u/16)/(3/(-16)). Let t = d + 30. Does 21 divide t?
False
Let a(z) = 1692*z**2 - 171*z + 169. Does 26 divide a(1)?
True
Let t(p) = -3*p**3 + 8*p**2 - 20*p - 5. Let l(n) = n**3 + n**2 + n. Let q(x) = -6*l(x) - t(x). Does 13 divide q(-6)?
True
Suppose -h + 2*a = -3*a - 14, -3*h + 102 = 5*a. Suppose 0 = -x - h*x + 16380. Does 13 divide x?
True
Let l(b) = -4*b + 31. Let o be l(7). Suppose o = -25*m + 26*m. Suppose -4*f + 4*p + 118 = -2*f, -m*p + 181 = 4*f. Does 22 divide f?
False
Let m(h) = 19248*h**2 + 13*h + 9. Is 147 a factor of m(-1)?
False
Suppose -2151*w + 2154*w - 95321 = -g, 0 = -4*w + 5*g + 127139. Is w a multiple of 32?
True
Let c(g) = g**3 - 11*g**2 - 12*g + 16. Let l be c(12). Suppose -3*u + l - 1 = 0. Suppose 0 = 4*b + 5*d - 414, b - u*d = 124 - 8. Is 9 a factor of b?
False
Suppose 2*k + 0*k + 2*n = -24, 4*k + n = -57. Is (-1 - 0)*315/k a multiple of 7?
True
Let c(t) be the first derivative of 22*t**2 - 40*t - 129. Is 25 a factor of c(5)?
False
Let r(s) be the second derivative of -71*s**3/3 + 102*s**2 + 5*s - 2. Does 30 divide r(-3)?
True
Let t = 428 + -353. Let d(h) = -h**2 + 5*h - 8. Let m be d(7). Let x = m + t. Does 18 divide x?
False
Let m be ((-1)/(-1) - 1) + 3 + -5. Is 2 a factor of 6 + -4 + 0 - m?
True
Suppose 5*u + 3*l = 40, 5*u - 3*l - 5 = l. Suppose 0 = u*h - 3*z - 2907, 0 = h + 2*z - 732 + 161. Is 4 a factor of (-16)/(-120) - h/(-45)?
False
Suppose -440*b - 7061 = -4*q - 439*b, 0 = -5*q - b + 8833. Does 3 divide q?
False
Let l(p) = 34*p**2 + 162*p + 1024. Does 44 divide l(-17)?
True
Suppose 4*w = -254*w + 9951060. Does 29 divide w?
True
Let m(r) be the first derivative of 2*r**3/3 + 15*r**2 - 3*r + 28. Does 70 divide m(-22)?
False
Let s(t) = t**2 - 6*t + 4. Suppose h + 10 = 4*h - 4*j, 2*j = 5*h - 40. Let n be s(h). Suppose 4*d = 2*d + n. Is d a multiple of 11?
True
Suppose -m = -5*j - 15, 0 = 2*m + m + 2*j - 11. Let w(n) be the second derivative of n**5/20 - n**4/12 - 5*n**2/2 - 179*n. Does 31 divide w(m)?
False
Let c(l) = 5*l**3 - l**2 - 19*l + 110. Let i(j) = j**3 + 3*j**2 - j. Let g(p) = -c(p) + 6*i(p). Is 17 a factor of g(-15)?
True
Suppose 40 + 48 = 22*u. Suppose 0 = -4*c + u*z + 76, -c + 3*z - 14 + 23 = 0. Is 6 a factor of c?
True
Does 21 divide (33885/25 - 3)/((-46)/(-115))?
True
Let u(g) = 8*g**2 - 10*g - 22. Let a be (180/(-405))/(2/(-36)). Is 7 a factor of u(a)?
False
Let w be 36/7 + 23/(-161). Suppose -5*h + 604 + 8 = 3*a, h - 100 = w*a. Suppose -h = -4*r + 396. Is r a multiple of 22?
False
Suppose -3*a = 4*c - 2864, -3*a + 4271 = -5*c + 1425. Suppose -2*g + 6*g = 0. Suppose g = -10*n + 3*n + a. Does 9 divide n?
False
Let j(o) = o**3 + 3*o**2 - 4*o - 3. Let u be j(-2). Suppose 0 = -2*f - t + 887, t - u = -4. Does 49 divide f?
True
Suppose -6*r - 12 = -2*r, 0 = -4*o + 3*r + 1113. Suppose -3283*m - 4725 = -3256*m. Let q = o + m. Does 11 divide q?
False
Suppose 2*z - 7 = -3*y, y = z - 6 + 5. Suppose -m + 2*w = 6, -2*w = -z*m - 2 - 0. Suppose m*u - 2*f = 74, -3*u + 6*f = f - 45. Is u a multiple of 13?
False
Is 217 a factor of (269893/(-13))/(-13) + -12?
False
Suppose -3*c - 2*x = -8030, -8034 = -8*c + 5*c - 3*x. Is c a multiple of 19?
False
Is ((-20)/(-6))/((2/(-276))/(2091/(-246))) a multiple of 58?
False
Let m be (-5*2)/(0 + -2). Let w = 5 - m. Suppose 14*s - 52 - 116 = w. Is 7 a factor of s?
False
Let y(t) = 2*t**3 - 11*t**2 - 17*t - 3. Suppose 97 - 20 = 11*w. Is y(w) a multiple of 15?
False
Let w(j) = -12*j**3 + j**2 - j - 1. Let p = -84 - -83. Let h be w(p). Is -1 + 74 - (-8 + h) a multiple of 6?
False
Let l be 4*4/(-8)*12. Let y = l + 26. Does 4 divide y/(-7) + (-860)/(-70)?
True
Let h = 48 + -45. Suppose 0 = 5*t - 4*v - 1145, -261 = -4*t + h*v + 655. Is 10 a factor of t?
False
Suppose 8*x - 12*x + 2050 = 2*t, 2559 = 5*x - t. Is x a multiple of 128?
True
Let g = 10025 - 7831. Is 4 a factor of g?
False
Let m be (-1)/4 - 5/60*-3. Let c(h) = h**3 - h - 1. Let s be c(m). Is s/((-1140)/284 + 4) a multiple of 11?
False
Let w be (-4)/14 - 19/(133/(-44)). Is ((-21)/9)/(3/(w + -906)) a multiple of 35?
True
Is 187 a factor of (-4)/(-2 - 2)*(44 + 2912)?
False
Let s = 255 + 452. Suppose -3 = 3*a, 4*a = q - a - s. Is 27 a factor of q?
True
Suppose 6*m - 314476 = -18*m + 102164. Is 40 a factor of m?
True
Let k be (-1 + -19)*182/(-104). Suppose 9*v = k + 145. Does 20 divide v?
True
Let y = -371 + 403. Is 15 a factor of (1 + 49)*(-8)/y*-48?
True
Let d be (3/18 + 2/(-3))*0. Suppose -16*h + 155 + 1765 = d. Is h a multiple of 9?
False
Suppose -43*y + 20 = -47*y, -5*y = 4*q - 271. Suppose 633 = 3*n + 3*t, q = n + 3*t - 135. Is 60 a factor of n?
False
Let l(i) = i + 20. Let y be l(-15). Suppose y*d + 3*p = 130, -p = 4*d + p - 102. Let c = d + 109. Does 16 divide c?
False
Let j(f) be the second derivative of f**5/20 + 13*f**4/6 + 11*f**3/6 + 41*f**2/2 + 20*f. Is j(-25) a multiple of 23?
True
Suppose -y = -8*y - 33*y + 466000. Is y a multiple of 149?
False
Suppose -k + 5*k - 2172 = -4*l, -4*k + 2*l = -2190. Suppose k = 14*j - 11*j. Suppose 9*u - 2*u = j. Does 3 divide u?
False
Let z be 1*(4 - ((1 - -5) + -2)). Suppose 0 = 5*l - 10, -238 = -2*k - z*k - 5*l. Suppose -k*r + 50 = -113*r. Is 25 a factor of r?
True
Is 25 a factor of (7 - 38/8)/(8003/1600 + -5)?
True
Does 55 divide (1/7 + (-454564)/(-14))/(33 + -32)?
False
Let i(r) = r. Let q(m) = -13*m + 31. Let j(z) = 4*i(z) - q(z). Let f(w) = w + 22. Let s be f(-10). Is j(s) a multiple of 17?
False
Let b be (0 - (0 - -1))*1035/(-3). Suppose -b = 4*f + 103. Is 14 a factor of (f/12)/(2/(-75))?
True
Is 5 a factor of 9/30 + (-2449790)/(-700)?
True
Suppose -85670 = -28*d - 14886. Does 8 divide d?
True
Suppose 4*w + 3*n + 4 = 0, 0 = -7*w + 2*w + 5*n - 40. Is 12 a factor of -6 - (w + 0) - -70?
False
Let f = 4078 + 5437. Does 135 divide f?
False
Suppose 12*a + 4699 = 11*a + 2*z, 4*a - 5*z + 18808 = 0. Let v = -3154 - a. Is 40 a factor of v?
False
Let g be (-87)/(-21) - (-5)/(-3 + -32). Suppose 4*p + 132 = 2*f - f, -g*p - 492 = -4*f. Is f a multiple of 40?
True
Let q(k) = -2*k - 6. Let n be q(-7). Suppose 0 = -6*h + n*h - 84. Is 14 a factor of h?
True
Let n = -373 + 422. Let p(q) = -q. Let a be p(-1). Let d = n - a. Does 6 divide d?
True
Let y(d) = -d**2 + 37*d - 6. Let o = 86 + -78. Is y(o) a multiple of 3?
False
Let v(u) = 7*u**2 - 27*u - 5889. Is 31 a factor of v(-78)?
False
Does 39 divide 6744/(-42)*-7*21/14?
False
Let m(n) = 15*n + 90. Suppose -55 - 121 = -16*f. Is 17 a factor of m(f)?
True
Let f(j) = -22*j - 88. Let z be f(-4). Let q(m) = -m**3 + 4*m + 365. Is q(z) a multiple of 5?
True
Let t(h) = -12*h + 60. Let w be t(5). Is 7*(-4 + w)*(-738)/72 a multiple of 12?
False
Let v = -52 + 57. Suppose -2*d - 42 = 2*l, l + 84 = d - v*d. Let g(o) = o**3 + 20*o**2 - 21*o + 21. Is g(d) a multiple of 4?
False
Suppose -5*o + 2*n = -597, -90*o = -87*o + n - 367. Is o a multiple of 2?
False
Let n = 122 + -121. Is 3 a factor of (-1)/2*-11*(23 + n)?
True
Let c be (14/(-3))/((-1)/3). Let y = c - 39. Let d(p) = p**3 + 27*p**2 + 48*p - 5. Does 5 divide d(y)?
True
Let b = 146 - 142. Is 16 a factor of 1*80 - (b - (4 - 0))?
True
Suppose 5*k - 75000 = -3*q - 13304, 5*k + 82343 = 4*q. Does 8 divide q?
False
Let u(r) = 332*r + 1005. Is u(26) a multiple of 93?
False
Let j(o) be the first derivative of -o**3/3 - 8*o**2 - 3*o - 68. Is 61 a factor of j(-8)?
True
Let w(h) = -h**3 - 7*h**2 - 4*h + 3. Let t be w(-6). Let k be 6/t*12/4. Is (196/42)/(k/(-30)) a multiple of 11?
False
Suppose 0 = 1539*m - 1526*m - 26832. Does 4 divide m?
True
Suppose -2*y + 5*r - 2 + 12 = 0, -y + 2 = -r. Suppose y = -16*i + 15*i + 34. Does 8 divide i?
False
Suppose 609 = -4*d - 55. Let w = -62 - d. Is w a multiple 