-2*s + 5*r + 23997 = 0, s = 5*r + 9833 + 2153. Is s a multiple of 30?
False
Let j be -4*(2 + -1)*27. Suppose -267 - 547 = 11*o. Let y = o - j. Does 17 divide y?
True
Does 18 divide (57 - 61)/(2/(-1464))?
False
Let p(y) = y**3 - 35*y**2 + 68*y + 33. Let r be 264/(-4)*2/(-4). Does 11 divide p(r)?
True
Let u = -22609 - -42728. Is 59 a factor of u?
True
Let o(r) = -24*r**2 + r + 2. Let m be o(-1). Let w = 166 + m. Is w a multiple of 11?
True
Let v be (-2)/7 + (99/(-21) - -5). Suppose -3*y - 9 - 3 = v, 0 = -i + 3*y + 816. Does 67 divide i?
True
Let n(h) = -3*h**3 - 8*h**2 + 8*h + 5. Let m be n(-6). Suppose m*g - 2304 = 311*g. Is 32 a factor of g?
True
Suppose 3*j + 2*u = -1, 5*j - 4*u - 1 = -10. Is 173 + -169 - 251/(j - 0) a multiple of 12?
False
Let t(f) be the first derivative of -3*f**2 - 54*f - 28. Is 4 a factor of t(-13)?
True
Let q(c) = 910*c**2 - 32*c + 10. Is q(-1) a multiple of 34?
True
Let b = 2240 + 2457. Is b a multiple of 11?
True
Is 5635 + -5 + -7 + -1 a multiple of 36?
False
Is 5500/22*(-924)/(-22) a multiple of 42?
True
Let p(l) = 215*l**2 + 4*l - 3. Suppose -47 = 4*g - 51. Let o be p(g). Suppose 7*k - k = o. Does 14 divide k?
False
Suppose -17*w - 10143 = -38*w. Is w a multiple of 2?
False
Let i(u) = 2*u**2 + 9*u - 39. Let b be i(15). Suppose 4*g - b = 2*h, g + 4*h = 4*g - 417. Is g a multiple of 15?
True
Let v = -58 - -127. Suppose 3*w - 2 - v = -4*z, -w = z - 22. Suppose w = -i + 41. Is 8 a factor of i?
True
Let s = 158 - 153. Suppose v = -0*a - 4*a + 161, -s*v + 190 = 5*a. Is a a multiple of 14?
False
Is 17 a factor of (157 - 150) + (-7534)/4*-2?
True
Let p(o) be the first derivative of o**3/3 - o**2/2 + 8*o - 12. Let x be p(-9). Suppose -4*l = g - 291, -3*g + x = 2*l - 35. Does 16 divide l?
False
Let n = 31 - 26. Is 45/18*110 + n + 0 a multiple of 11?
False
Let t = -108 - -106. Let i be t + 50*((-63)/(-6))/7. Suppose -a = -q + 16, 3*q + q - i = -5*a. Is 5 a factor of q?
False
Suppose 6*u = 24*u - 1188. Let d = u + -42. Does 18 divide d?
False
Let h = 66 + -68. Does 33 divide 1/((2/(-52))/(29/h))?
False
Is 26 a factor of 1499 - ((312/(-65))/8 + 17/(-5))?
False
Is 10 a factor of (-200732)/67*(3 - 22/4)?
True
Let u be (3 - (2 + -3))*70*2. Suppose -115 = 5*n - u. Suppose 4*w - n - 67 = 0. Is w a multiple of 4?
False
Let g(h) = 2*h**2 - 2*h + 8. Let d be g(-8). Let j = -641 + d. Is 42 a factor of 1/(-3)*1*j?
False
Let h be 18/27 + (-3970)/6. Let p = -363 - h. Does 26 divide p?
False
Is ((-2136)/(-16))/((-24)/(-64)) a multiple of 14?
False
Suppose 60130 = 17*x + 8603. Does 129 divide x?
False
Suppose 5*p + 24 = 6*p. Suppose 0 = 2*q + 4*c + 48, c - 5*c + p = -2*q. Is (12/q)/((-4)/450) a multiple of 13?
False
Suppose -122 = -15*f + 148. Is f*-10*4/6*-1 a multiple of 24?
True
Let w = 189 - 403. Let k = -311 - w. Let y = 249 + k. Does 8 divide y?
True
Does 98 divide (-8 + 400)*((-505)/10)/(2/(-3))?
True
Let l(h) = 25*h**2 - 2*h - 2. Suppose -11*a - 3*r + 3 = -6*a, 0 = 5*a - 3*r + 3. Suppose 3*f + 6 + a = 2*s, -8 = 4*f - 2*s. Does 17 divide l(f)?
True
Let m = -30 + 7. Let s(b) = b**3 + 23*b**2 - 16*b + 7. Let n be s(m). Suppose -1473 = -11*f + n. Does 14 divide f?
True
Let z(x) = 125*x**3 + x**2 - x - 1. Let b be z(2). Suppose -6*j - 5*j = -b. Is j a multiple of 11?
False
Let u = -341 - -350. Suppose 18048 = 33*w - u*w. Is w a multiple of 19?
False
Let d(q) be the third derivative of -q**6/120 + 2*q**5/15 - q**4/4 + 2*q**3/3 + 20*q**2. Let y be d(6). Let a = y + -7. Is a a multiple of 32?
False
Suppose 0*d - 192 = 16*d. Is 19 a factor of ((-4)/d)/((-11)/(-627))?
True
Let w(i) = 91*i + 27 + 103*i - 124*i. Is 27 a factor of w(2)?
False
Let f be (-50)/20 - (7095/(-6))/1. Suppose 23*u - f = 25224. Does 82 divide u?
True
Let a = -4153 + 8179. Does 183 divide a?
True
Let d be 6*(-2 - -1) + 4 - -579. Suppose 0 = 2*l + 131 - d. Let t = -38 + l. Does 24 divide t?
False
Let o = 9435 + 9007. Is o a multiple of 15?
False
Suppose -17 = 5*z + 43. Is ((-3)/(z/(-71)))/(6/(-48)) a multiple of 11?
False
Suppose -3*q - 9 = 2*c, -4 - 5 = 4*c + 3*q. Suppose c = 4*v - 11 - 13. Suppose -v*n + 559 = -41. Does 14 divide n?
False
Let j be ((-2)/4)/(1006/(-144) - -7). Is 3 a factor of j/(-14)*(-84)/(-18)?
True
Suppose 3*k - 41100 = -4*o + 36326, 0 = -2*k - 4*o + 51620. Suppose -22*z = -k + 5500. Is z a multiple of 13?
True
Suppose -9*w + 3*w + 54852 = 0. Suppose -4*v + w = 10*v. Is 55 a factor of v?
False
Suppose -342*p + 344*p = -o + 20110, -p + 10053 = o. Is 22 a factor of p?
False
Let h be 8/20 - (-63)/(-45). Is h/(9882/1977 - 5) a multiple of 26?
False
Let m(f) be the third derivative of -f**6/120 + 2*f**5/15 + 11*f**4/24 - f**3/6 + 29*f**2. Let n be m(9). Suppose -16*r = -n*r + 11. Is r a multiple of 2?
False
Let c(d) = 839*d - 2373. Is c(8) a multiple of 24?
False
Let f = 173 - 221. Let g be -68 + (-1 + -1 - (-2 - -1)). Let t = f - g. Is 21 a factor of t?
True
Suppose 34*k = 407 + 35. Suppose 3*v + 2100 = k*v. Is 21 a factor of v?
True
Suppose 18*f + 5748 = 22*f. Suppose 12*l = f + 5571. Does 8 divide l?
True
Let d = 3975 - 1218. Is d a multiple of 15?
False
Let m(y) = y**2 + 81*y - 1720. Is 3 a factor of m(35)?
True
Let g(b) = b**2 - 4. Let u be g(-3). Suppose -r - u = 0, 2*r = -2*n + 498 - 104. Is 12 a factor of n?
False
Let k(j) = j**2 + 12*j + 35. Let n be k(-5). Suppose -2*w = -l - 1091, n = -7*w + 2*w + 5*l + 2725. Does 13 divide w?
True
Let h(z) = z - 1. Let g be h(1). Suppose -11*w + 227 + 356 = 0. Is g + w + 4/(-6)*-3 a multiple of 23?
False
Suppose 7*o - 4*w = 3*o + 4, 3*o - 4*w = 0. Let u be (5 - o) + 2/1 - -58. Let i = u + -48. Is i a multiple of 13?
True
Let o = -1924 - -20886. Is o a multiple of 30?
False
Let v = 25107 - 24666. Does 2 divide v?
False
Let n(s) = -s**3 + 19*s**2 - 33*s - 25. Let c be n(17). Let j(v) = 2*v**2 - v + 34. Let t be j(c). Suppose -t - 6 = -y. Does 17 divide y?
False
Let m(y) = 2*y**2 + 16*y + 16. Let l(u) = -u**3 - u**2 + 10*u - 4. Let v be l(3). Let k be m(v). Suppose -s - k = -3*s. Is s a multiple of 3?
False
Suppose -l - 2*n + 904 = 0, -73*l + 4*n = -69*l - 3640. Let x = l - 236. Does 11 divide x?
False
Let x(j) = 2*j**3 + 30*j**2 - 5*j - 3. Let w be x(-15). Let h = 360 - w. Does 10 divide h?
False
Is 60 a factor of ((-180)/(-14))/((-14058)/1764 - -8)?
True
Suppose -224 = -2*v + i, 7*v + 534 = 12*v + 4*i. Is 55 a factor of 63600/44 - (-60)/v?
False
Suppose 0 = 7*b - 0*b - 21. Suppose -f = -b*s - 267, 3*f - 5*f = -3*s - 534. Is f a multiple of 21?
False
Let n be (-3)/(-7)*23 - (-41)/287. Let t be (n/6 - -1)/(16/24). Suppose -4*a = -t*c - 392, 2*a - 202 = 4*c - 2. Is a a multiple of 20?
False
Let w(v) be the third derivative of 1/8*v**4 - 3/2*v**3 + 0 + 0*v - 2*v**2. Is 10 a factor of w(13)?
True
Let m(r) = 3*r - 8. Let g be m(5). Suppose -g*b - 65 = 61. Is 6 a factor of (-4)/(-1)*b/(-4)?
True
Let v(u) = 63*u + 46. Let r(i) = 3*i. Let q(h) = 6*r(h) - v(h). Is 13 a factor of q(-3)?
False
Suppose -75 = -12*p - 15. Let h(g) = -g**3 + 10*g**2 - 6*g + 17. Does 28 divide h(p)?
True
Let s be 6 - (-135)/(-21) - 10/(-7). Suppose 2*x + x + 5*m = 4, x + 5*m = -12. Is 7 a factor of s/x - 1341/48*-2?
True
Let o(w) = 15 + 2*w - 16 - w. Let f be o(3). Suppose 0 = v + f*x - 28, 3*x = 5*v + 2*x - 151. Does 11 divide v?
False
Let t(g) = 410*g - 46. Is 29 a factor of t(20)?
False
Suppose -3*p - 3*f = 2010, 3*p + 5*f = 8*f - 2004. Let z = p + 1017. Is 12 a factor of z?
True
Suppose -5*t = -11*t + 12. Suppose 3*m + 2*p - 139 - 2251 = 0, p + 1598 = t*m. Is 10 a factor of (-5)/10 - -1 - m/(-4)?
True
Let k = 108 - -27. Suppose -2*c + 266 = 2*p, p + 11*c = 8*c + k. Is 86 a factor of p?
False
Let k(z) = -2*z**3 - 13*z**2 - 21*z - 8. Let t be k(-8). Suppose 4*g - m - 282 = 0, m - 2*m = -5*g + t. Suppose 8*c - 3*c = g. Is c a multiple of 11?
False
Suppose 225*u - 227*u = -23276. Does 14 divide u?
False
Let p = 3875 + -3287. Does 14 divide p?
True
Let o(a) = 11*a**2 + 28*a + 111. Is o(-11) a multiple of 27?
True
Let n = -154 + 98. Let r = n - -74. Suppose -4*x - r = -5*x. Does 8 divide x?
False
Let y = 29 - 52. Let f(n) = 2*n + 88. Does 6 divide f(y)?
True
Suppose 2122*l = 2078*l + 42240. Is l a multiple of 15?
True
Let x be 398 + 0 - (-11)/((-132)/24). Suppose -5*i - 2*y = -x, y = -2*i + 6*y + 141. Does 2 divide i?
True
Suppose 0 = 11*f + 15