l) = -2*j(l) + 9*o(l). Does 13 divide u(3)?
False
Suppose s - 16522 = 24*n - 29*n, s - n - 16510 = 0. Is 86 a factor of s?
True
Let u(k) = 32*k**2 + 7*k + 5. Let r be u(-1). Does 7 divide 0 - (r/(-5) + -4)?
False
Let s = -4 + 1516. Is 72 a factor of s?
True
Suppose 2*u = 23 - 313. Let g = -165 - u. Is 42 a factor of 501/6 - 10/g?
True
Let c(v) = v**2 + 19*v + 41. Let o(m) = -7*m - 3. Let n be o(2). Let g be c(n). Suppose -64 = -j - g*j. Does 4 divide j?
True
Let n = -142 - -153. Suppose -n*d + 1703 + 1971 = 0. Is d a multiple of 31?
False
Let z(x) = -x**2 + 9*x - 12. Let v be z(-10). Let q = v - -314. Is q a multiple of 16?
True
Let u(k) = 202*k**3 - 16*k**2 - 18*k - 6. Does 34 divide u(3)?
False
Let x(q) = q**2 + 12*q + 1. Let l be x(-12). Suppose -g = t - l, 8*g - 5*g - 13 = 2*t. Is 2/g*(-1 + 235) a multiple of 39?
True
Let w be 520/48 + -11 - 37/(-6). Suppose -w*o + 1866 = -2*o + 2*p, -p + 2337 = 5*o. Is o a multiple of 13?
True
Suppose f = 5*i - f + 2563, -4*f = -5*i - 2561. Let k = i - -936. Does 47 divide k?
True
Let v(o) = -2*o - 5 + 3*o + 12 + 28. Let f be v(11). Let b = f - 25. Is 14 a factor of b?
False
Let q be (216/(-48))/(1*(-2)/36). Suppose 378 = 87*t - q*t. Does 9 divide t?
True
Let g(t) = -405*t - 443. Is g(-130) a multiple of 12?
False
Let g(r) = -r**3 + 4*r**2 + 2*r + 14. Let q be g(5). Let x(u) = 550*u**2 + 9*u + 11. Is 46 a factor of x(q)?
True
Let y = -169 - -198. Suppose 31*c - 72 = y*c. Is c a multiple of 2?
True
Let r(m) = m**2 - m - 1. Suppose -11 + 9 = w. Let i be r(w). Suppose 3*s = 3*d + 30, -2*d = 3*s - 0 - i. Does 5 divide s?
True
Let a be (1 - -11) + 39 + -44. Suppose b + f = 66, 10 = a*f - 5*f. Is 2 a factor of b?
False
Let m(s) = -s**3 + 8*s**2 - 5*s + 2. Let h be m(7). Suppose h*i - 168 = 20*i. Let t = 46 - i. Does 8 divide t?
True
Let a(z) = -29*z**3 - 163*z**2 - 33*z - 21. Is a(-9) a multiple of 112?
False
Let m = -24031 - -35330. Is 74 a factor of m?
False
Is 3 a factor of (49/14)/(6/4200)?
False
Let u = -11905 - -37371. Is 14 a factor of u?
True
Let i = -18204 + 48205. Is 19 a factor of i?
True
Let g(m) be the second derivative of 0 - 15*m + 3/2*m**3 + 0*m**2. Is g(5) a multiple of 14?
False
Let a = -384 + 381. Is (-5 + (0 - a))/(20/(-2910)) a multiple of 13?
False
Suppose 2028 = 126*l - 123*l. Let d = l + -69. Does 23 divide d?
False
Let v(z) be the third derivative of -z**5/15 - 7*z**4/6 + z**3 + 24*z**2. Let g be v(-10). Let n = -27 - g. Is 29 a factor of n?
True
Suppose 3*q + 12 = 0, -4*a = 10*q - 13*q - 3216. Suppose a*k = 795*k + 1344. Is k a multiple of 20?
False
Suppose -976 = 8*j - 4*j. Let h = -194 - j. Is h a multiple of 50?
True
Suppose -123*i + 120*i + 3864 = 0. Does 23 divide i?
True
Suppose -8*v + 85 + 355 = 0. Let r = 123 - v. Is r a multiple of 11?
False
Suppose 0 = 1379*o - 1390*o + 154572. Does 197 divide o?
False
Is 152 a factor of (-9876)/(-5) - 8/(-10)?
True
Let u(o) = 8*o**2 + 93 + 7*o - 19*o + 12*o**2 - 77. Does 12 divide u(2)?
True
Let b(t) = 13*t**3 + 28*t**2 - 41*t - 52. Is b(13) a multiple of 221?
True
Is 11 a factor of 64/(-36)*-6*(-2412)/(-8) + 7?
True
Does 9 divide 20726 + (-1)/2 + (-270)/36?
True
Let u = 130 - 60. Is 28 a factor of (-657)/(-12) - u/(-56)?
True
Let z = 5315 - -686. Does 15 divide z?
False
Let t(b) = -3*b**3 + 8*b**2 - 9*b - 7. Let r be t(4). Let s = 189 + r. Is 27 a factor of s?
False
Let p = 44 + -36. Is 18 a factor of (p - 26)/(1/(-8))?
True
Let j(a) = 2*a**2 - 8*a + 12. Let h be j(3). Suppose -3*k = 2*f - 957, -h*f + 4*k - 1916 = -10*f. Does 30 divide f?
True
Let x be 659 - 15*4/10. Let l = 205 + x. Is l a multiple of 49?
False
Suppose 1461*d - 5*x + 3422 = 1465*d, -x = 4*d - 3430. Is 11 a factor of d?
True
Let d = -7051 + 9443. Does 6 divide d?
False
Let b = -37 + 37. Does 10 divide 4 - (-294 + b - 42/21)?
True
Let z = 131 - 183. Let w = z - -23. Let c = 1 - w. Is c a multiple of 30?
True
Suppose 0 = 3*v + 14*v - 2880 - 37512. Is 22 a factor of v?
True
Suppose -5*k + 300 = -105. Let r = -88 + k. Let u(l) = -17*l + 27. Is u(r) a multiple of 10?
False
Suppose 56*b + 59958 = -56130. Let n = b - -3942. Does 21 divide n?
True
Let p = -11475 + 21296. Is 4 a factor of p?
False
Let v(m) = -m**3 + 9*m**2 + 158*m - 40. Is v(-11) a multiple of 6?
True
Let w(u) = 6 + 32*u**2 + u + u - 2*u + 0*u - 2*u. Is w(-4) a multiple of 17?
False
Let o(b) = 354*b + 608. Does 22 divide o(17)?
False
Let r(g) = -g**2 - 27*g + 26. Let x be r(-25). Suppose -5*a - 1130 = -5*c, -c + x = 5*a - 144. Does 38 divide c?
False
Suppose -27*h + 33*h = 1344. Let a = 299 - h. Is 9 a factor of a?
False
Let c(k) = k**3 + 23*k**2 - 106*k + 68. Let w be c(-27). Let s = 213 + -115. Let g = s + w. Does 7 divide g?
True
Is 2/(-13) + 3/13*137908/6 a multiple of 26?
True
Let g(k) = -k**2 + 151*k + 2077. Does 23 divide g(115)?
False
Let d = 52436 + -32257. Does 23 divide d?
False
Let q = 66 + -90. Let i be (-20)/6 - -2 - 2720/q. Let n = -12 + i. Does 19 divide n?
False
Suppose 41012 + 192062 = 5*b + 3*j, -46610 = -b - 3*j. Is b a multiple of 11?
False
Let b(m) = 4*m + 0*m + 4*m - 4*m + 39. Does 2 divide b(2)?
False
Does 19 divide 16/(-36) - (-8 - (797560/36)/10)?
True
Suppose -3*s = -51 + 57. Let f be 861/42 - 1/s. Is 1/(f/5466) + 4/(-14) a multiple of 26?
True
Suppose -5*q = -5*a + 35, -2*q + 1 = a + 3. Let g be 0 + (-3 + 1 - q) + 32. Suppose -2*t = -4*t + 2, g = 3*s + 3*t. Does 3 divide s?
False
Suppose -13*z + 10478 = -3965. Is z a multiple of 3?
False
Suppose 130 = 2*w + 36. Suppose 7 = -8*z + w. Suppose 3*s = 4*p + 70, 0 = -2*s + z*p - 2*p + 46. Is 13 a factor of s?
True
Let c(g) = 2*g**2 - 6*g + 2. Let u(l) = -14*l - 12. Let p be u(-4). Let s = p - 40. Is c(s) even?
True
Suppose 0 = -11*l + 16*l - 2000. Suppose -21*x = -17*x - l. Does 10 divide x?
True
Let s(n) be the second derivative of -n**5/20 - n**4/2 - 5*n**3/2 - 9*n**2/2 - 2*n. Let z be s(-6). Suppose -5*u + 1221 = z. Is 12 a factor of u?
True
Does 30 divide -18 + 18 - (4/(-8)*-8 + -3497)?
False
Let n(p) be the second derivative of -9*p**5/40 - 3*p**4/8 - 19*p**3/3 - 32*p. Let r(t) be the second derivative of n(t). Does 20 divide r(-7)?
True
Let q(a) = -99*a + 55. Let s be q(-9). Let l = -660 + s. Is 22 a factor of l?
True
Suppose 0 = -0*r - 2*r + 8, 2*m + 4*r = -34. Let u = -134 + 78. Let x = m - u. Does 17 divide x?
False
Let c = 8997 + -7924. Is c a multiple of 2?
False
Let d be 13888/(-40)*((-69)/6 - 1). Suppose d = -163*t + 168*t. Is 64 a factor of t?
False
Suppose 5*z = 73*d - 78*d + 85290, -3*d = -4*z + 68190. Is z a multiple of 58?
True
Let b = 575 + -375. Suppose 536 = 2*r - b. Is r a multiple of 10?
False
Suppose -2*w + 8*r = -7344, -4*w + 48*r = 46*r - 14688. Does 24 divide w?
True
Suppose -55*i = 28*i - 23*i - 42420. Does 10 divide i?
False
Let f = -79 - -93. Suppose -18*n + f = -11*n. Suppose 2*b + n*s - 651 = s, -s - 318 = -b. Does 19 divide b?
True
Let f(s) = s**3 - 13*s**2 + 22*s. Let n be f(11). Let p be (-6 + 88/16)*(0 - n). Suppose p = -5*o - 30 + 45. Does 2 divide o?
False
Let j = 9237 - 9124. Is j a multiple of 24?
False
Suppose 25*k = 28*k - 66. Suppose 93 = y - 0*y + 3*c, 5*y = -5*c + 455. Suppose -16*h = -k*h + y. Is h a multiple of 4?
False
Let y = 228 - 222. Suppose -23*q + 2610 = y*q. Is q even?
True
Let c = -138 - -219. Suppose -c = -6*t + 3*t. Is t a multiple of 9?
True
Let p(c) = 2*c**3 - 21*c**2 - 14*c + 41. Let y be p(11). Suppose 9*g + 4*f = 5*g + 2736, -2*f + y = 0. Is 20 a factor of g?
True
Suppose -10 = -2*q - 6. Suppose -4*l = -2*l + 3*a - 91, -a = -q*l + 103. Let y = 82 - l. Does 3 divide y?
False
Let a(n) = 46*n**2 - 2*n - 1. Let k be a(2). Let m = 383 - k. Suppose -4*q + m = 4*w, -87 = -2*w + 3*q - 2*q. Is 23 a factor of w?
True
Suppose 0 = -4*i + 5*j + 5917, 3*i = 2*j + 2933 + 1503. Suppose -3*y + 2*w = -890, -i = -5*y - 0*w - 2*w. Is 37 a factor of y?
True
Let h be (40/(-120))/(2/(-18)). Suppose -328 = -l + 3*q - q, 3*l + h*q - 993 = 0. Is l a multiple of 13?
False
Suppose -5*n = -y + 3050, n + 8975 = 3*y - 231. Does 8 divide y?
False
Let c be (-1 - -13)*(-1)/2. Let o(z) = 12*z - 219. Let t be o(19). Is ((-3)/t)/(c/1026) a multiple of 9?
False
Suppose 4*u + 3*g = 6*u, 5*u = g. Suppose u*j + 9*j - 828 = 0. Does 23 divide j?
True
Suppose 4*g - 28509 = -j, 232*g - 230*g - 2*j = 14262. Is 6 a factor o