Suppose -4*p + 3*p + 5 = 0, -c - q*p = -462. Does 13 divide c?
False
Let b be 7*(-1*4 - (-630)/147). Suppose 2*d + b*d = 2*y - 1562, -2*d = 5*y - 3893. Is 50 a factor of y?
False
Suppose -2*u - 87 = -55. Let p(d) = 4*d**2 + 38*d + 16. Is p(u) a multiple of 18?
True
Is (22 - -8)/((-8)/(-2900)) a multiple of 87?
True
Suppose 2*n - 16 = 3*n. Is (142 - -1)*(n - -17) a multiple of 13?
True
Suppose -2*b - 139 - 49 = 0. Let y = -1066 - -1208. Let n = y + b. Is n a multiple of 5?
False
Does 15 divide (-8)/(-28) - (-904307)/203?
True
Let c(f) be the first derivative of 2*f**3 + f**2 + 14*f - 675. Let n(s) = s**2 + 6*s - 5. Let l be n(-6). Is c(l) a multiple of 16?
False
Suppose 91*l - 116*l = -47825. Let b = l + -1297. Does 56 divide b?
True
Suppose -m = 21*m - 48928. Let r = -1108 + m. Does 93 divide r?
True
Let t be ((-10)/15)/(11/(-3432)). Let d = 340 - t. Is 22 a factor of d?
True
Is 12 a factor of ((-116)/(-754) - (-36422)/26)/((-3)/(-4))?
False
Let i = 122 - -166. Suppose 18*g = 10*g + i. Is 18 a factor of g?
True
Let h(f) = -f**3 + 11*f**2 + 47*f - 230. Is h(7) a multiple of 5?
True
Let c be (41/82)/((-1)/(-22)). Suppose -c*w - 31*w + 4158 = 0. Is w a multiple of 11?
True
Let t be 1/((-2)/44*(-4)/614). Suppose -6*o + t = 1217. Does 30 divide o?
True
Suppose -4*b - 3*c = -6808, 4*b = 93*c - 97*c + 6804. Does 74 divide b?
False
Let d be (2176/14)/(-1) + 9/21. Does 36 divide -3 + 4 - -3 - d?
False
Let c(n) = -n**3 - 73*n**2 + 107*n + 294. Does 122 divide c(-77)?
False
Suppose 6*z - 16*z = 1180. Let k = z - -121. Is 17 a factor of ((4 - k) + -4)/(3/(-106))?
False
Does 57 divide (387/81 - 5)*(-15885)/(2 + 3)?
False
Suppose -f - 2*f + 4*r = 275, 0 = -2*f - 4*r - 210. Suppose z = 2*z - 136. Let n = z + f. Is n a multiple of 13?
True
Let u(z) = 387*z**2 + 34*z - 36. Is u(-4) a multiple of 14?
True
Let d = -317 + 1391. Let t = d + -247. Is t a multiple of 65?
False
Let y(a) = -29*a + 190. Let o be y(-25). Let t = 1293 - o. Is 18 a factor of t?
True
Is ((-6693)/92)/(1/(-76)) a multiple of 72?
False
Let r(u) be the third derivative of -u**4/2 + 38*u**3/3 + 51*u**2. Does 8 divide r(-9)?
True
Let g be (-12)/(-2) + (-33)/(-11). Let q(l) = -14 + g + 3*l + 0*l + l**3. Does 31 divide q(3)?
True
Let x = -5985 + 15814. Is 7 a factor of x?
False
Let m = 116 - 84. Let f = m - 29. Suppose 0*p = -2*p, t - 6 = -f*p. Is 3 a factor of t?
True
Let r = 50 + 57. Suppose -2*j = -2*v + 260, -3*j = v - 43 - r. Suppose 34*d - 37*d + v = 0. Is d a multiple of 13?
False
Suppose -77*r + 76 = -73*r. Suppose 0 = -4*p - y + 793, 22*p + y = r*p + 596. Is p a multiple of 15?
False
Let o(x) = -20*x**3 + 6*x**2 - 6*x - 58. Does 122 divide o(-8)?
True
Let a(f) = f**2 - 4*f + 5. Let t be a(3). Suppose -t*n - 76 = -4*n. Suppose -4*s = -34 - n. Is s a multiple of 6?
True
Let u = 17 + -15. Suppose -5*z + 6*z = u. Suppose -m - r = -0*r - 47, -z*m - 5*r = -79. Does 19 divide m?
False
Let c = -1293 + 2610. Suppose 5*l = c + 93. Does 5 divide l?
False
Let i(t) = t**3 + 9*t**2 - t + 2. Let f be i(-9). Suppose 0*q = f*q - 5456. Suppose -q = -5*y + 49. Is y a multiple of 37?
False
Let p = -434 - -242. Does 27 divide (-5)/5 + ((-3)/3 - p)?
False
Let t be -6*((-1462)/4 + -2). Suppose 3*a - 54 = t. Suppose 142 + a = 5*i. Is i a multiple of 41?
False
Suppose -2*n + 186 = 180. Suppose 2*f + n*o - 1046 = 0, 2*f + o + 456 = 1498. Is f a multiple of 65?
True
Suppose -26*y - 103230 = -56*y. Does 93 divide y?
True
Let j = 5881 + -4750. Is j a multiple of 6?
False
Let k(h) = -24*h + 20. Let l be k(-7). Suppose -18*m - 44 = -l. Does 3 divide m?
False
Does 134 divide -6 + (446/(-8))/((-20)/560)?
False
Suppose -3902*w = -3898*w - 5900. Is 4 a factor of w?
False
Suppose 0 = 2*k + 8, 0 = -4*z + 6*k - 4*k + 28. Suppose 5*j - 1110 = -z*g, 4*g - 786 = -3*j - 115. Is j a multiple of 21?
False
Suppose -3*p + 5*f + 23 = 0, 15 = 2*p + 95*f - 98*f. Let a(c) be the second derivative of c**5/20 - c**4/2 + 2*c**3/3 + 9*c**2/2 + c. Does 11 divide a(p)?
True
Let z(x) = x**3 + 7*x**2 + 3*x + 15. Let b(y) be the third derivative of -y**4/12 - 23*y**3/3 - 11*y**2 + 2. Let c be b(-20). Is z(c) a multiple of 4?
False
Let y be ((-28790)/(-20) - 1/2)/1. Let k = y + -903. Is k a multiple of 8?
True
Let b be 2/7 + 1162/49. Let n be (-1)/(3 + b/(-9)) - -6. Suppose 2*p = -5*v + 85, -n*p + v = -6*p + 121. Is p a multiple of 5?
True
Let i be ((-546)/126)/(1*1/(-9)). Let n = 173 - i. Is n a multiple of 15?
False
Let k(i) = 967*i**3 - i**2 + 14*i - 12. Is 44 a factor of k(1)?
True
Suppose -4*n + n + 5 = 2*m, -2*n - 4 = 5*m. Is 93*(-4 - -1)/(-9) - m a multiple of 3?
True
Suppose -49 = -2*f - s - 14, 2*f = 4*s + 20. Let x(i) = 17*i - 206. Is 2 a factor of x(f)?
True
Suppose 2 = g - 2. Suppose 4*n = -0*n - g*q + 12, n + 4*q + 3 = 0. Let a = 42 + n. Does 10 divide a?
False
Let i be 4/(-6) - ((-12684)/18)/1. Suppose 12*z - 9*z + 5*o - 515 = 0, -2*o = -4*z + i. Is z a multiple of 5?
True
Suppose 0 = 5*q + 4*z - 46, -15 + 1 = q - 5*z. Suppose -8*p - q = -10*p. Suppose 0*m = -p*g + 4*m + 259, -2*g = m - 158. Does 17 divide g?
False
Let o(b) = -3*b + 4*b**2 + b**2 + 67*b**3 - 2*b**2 + 1. Let h = 1524 + -1523. Is o(h) a multiple of 17?
True
Let q be (-450)/54*(1 + (-11)/5). Let y = 60 + -21. Let j = q + y. Does 30 divide j?
False
Let i(w) = 12*w + 142. Let l(q) = 6*q + 70. Let h(r) = -3*i(r) + 7*l(r). Is 2 a factor of h(-8)?
True
Let f be (3 - 35/11) + 6/33. Suppose f = -290*o + 289*o + 399. Does 32 divide o?
False
Let i be 847/165 + 4/(-30). Suppose 2*u - 5*q = -i, 2*u + 2*q + 8 = 24. Suppose u*f - 100 = 4*d - 7*d, -2*f + 61 = -3*d. Is f a multiple of 7?
False
Let h(s) = 12*s - 13. Let p be h(4). Let k = 29 - p. Does 10 divide (k/12)/(2/(-80))?
True
Let j(x) = 9*x + 20. Let t be j(8). Let p = t - 72. Does 16 divide 12/p + (-308)/(-20)?
True
Suppose -7*d + 7 + 7 = 0. Let r(w) = w**2 - 41*w - 51. Let v(u) = 21*u + 26. Let a(t) = d*r(t) + 5*v(t). Is a(-13) a multiple of 15?
False
Let z(q) = 4*q - 7. Let k be z(3). Suppose 5*r - 3*a - 305 = 0, -r - k*a + 281 = 3*r. Let m = r + 97. Is m a multiple of 32?
False
Let k(w) = 821*w - 641. Does 24 divide k(13)?
True
Let n(h) = 89*h + 8 + 0 - 3 + 2. Let t be n(5). Suppose -488 = -10*o + t. Is 19 a factor of o?
False
Let m = 587 + -579. Let a(z) = 2*z**2 + 15*z - 25. Does 16 divide a(m)?
False
Let f = 141069 - 60523. Is f a multiple of 17?
True
Let v(m) = -87*m + 21. Let u be v(14). Let a = u - -2427. Does 15 divide a?
True
Suppose 25*l + 2640 = 23*l - 3*q, -q - 2632 = 2*l. Let n = -734 - l. Does 29 divide n?
True
Suppose 6*l + 596 - 2876 = 0. Let i = l - 271. Suppose -p = -51 - i. Does 32 divide p?
True
Suppose 2*w - 45 = 3*p - 4*p, 5*p + 4*w - 225 = 0. Let z = p + -38. Suppose -613 = -z*y + 297. Does 10 divide y?
True
Suppose -9*d = 3*s - 13*d - 3247, -1059 = -s - 2*d. Is s a multiple of 4?
False
Let u = -19828 + 37263. Is u a multiple of 20?
False
Suppose c + 55 = f, -f + 224 = -4*c + f. Suppose h + 4*d = -169, -5*d - 832 = 5*h + 13. Let b = c - h. Is 14 a factor of b?
True
Suppose -194 = 15*t - 19*t - 2*y, 3*t = -5*y + 135. Does 67 divide t/(-55) - -1 - (-11109)/11?
False
Let w = 69 + -222. Let v = -71 - w. Let g = -47 + v. Is 7 a factor of g?
True
Suppose -3*u = 5*m + 3, 2*m + m - 4 = 4*u. Suppose -4*h + 38 - 6 = m. Let c(g) = g**3 - 7*g**2 - 5*g - 4. Is 11 a factor of c(h)?
False
Suppose -7*u = 26 + 16. Does 13 divide ((-1)/(-3))/((-1 - u)/15030)?
False
Let x(d) = 7*d**3 - 7*d**2 + 8*d + 5. Let b = 144 - 141. Is x(b) a multiple of 5?
True
Let a(m) = 5*m + 64. Let d be 2/18 - ((-483)/27 - 0). Is 14 a factor of a(d)?
True
Let b = 45 + -45. Suppose 0 = -3*l - 2*m - 72 + 241, b = -l - 4*m + 53. Let r = -7 + l. Does 18 divide r?
False
Suppose 32413 = -0*q + 2*q - 3*s, q - s - 16210 = 0. Is 75 a factor of q?
False
Is (-30078)/(-10) - ((-476)/(-70) + -7) a multiple of 18?
False
Suppose -5*r - 4 = -2*d, -8*d - 4 = -10*d + 3*r. Suppose 2*y - 276 = -f, d*y - 32 - 1356 = -5*f. Is f a multiple of 57?
False
Let k be 44 + -40 + -1 + (1 - 0). Let d(f) = 4*f + 2. Let j be d(k). Is 7 a factor of (-88)/(-12) - 3/j*2?
True
Is 17 a factor of (6/33 - 69468/(-44))*(44 + -27)?
True
Let a = 5719 + -941. Is a a multiple of 143?
False
Let a be 72/132 + 27/11. Suppose a*h + 70 = 4*h. Is 70 a factor of h?
True
Suppose -32*s = -44*