e
Suppose 144 = -2*m - 48. Let u = -91 - m. Suppose i = -u*a + 155, 5*a + 4*i - 121 - 49 = 0. Does 15 divide a?
True
Suppose -32169 = -182*v + 8781. Does 19 divide v?
False
Let x = 10432 + -4781. Is 26 a factor of x?
False
Let f = -33479 + 38489. Does 15 divide f?
True
Suppose -4462 = -696*r + 694*r + 2*p, 0 = 3*r - p - 6683. Is 42 a factor of r?
True
Suppose -378*g + 727918 = -1654739 - 159771. Does 59 divide g?
True
Suppose -13799 = -4*y - 3*c + 24838, -28984 = -3*y + 4*c. Is y a multiple of 210?
True
Let i(u) = 668*u**2 - 15*u - 17. Does 3 divide i(-1)?
True
Suppose 0 = -17*b + 14576 + 2169. Let f = b - 481. Is f a multiple of 42?
True
Suppose 5*v - 4*i - 21 = 0, -3*v - 5*i = -v - 15. Suppose -v*r + 3 = -4*r. Suppose -r*b - 3*t = -75, b + 2*t = -2*b + 74. Is b a multiple of 6?
True
Suppose -15 = w - 3*s, 4*w + 0*s + s = -60. Is 105 a factor of w/1*(-7 - (4 - -52))?
True
Let k = -263 - -266. Suppose -k*d - 684 = -2*b, -4*b - 18*d = -13*d - 1324. Is 16 a factor of b?
True
Suppose 20*s - 29*s + 9 = 0. Let f be (s - 2)/(1/82). Let v = f - -126. Does 22 divide v?
True
Let z be 10/15 - 2/3. Let q be (10/(-6))/(3*1/(-9)). Suppose 0 = -z*r - 3*r, 5*r = -q*n + 350. Is 10 a factor of n?
True
Let x(c) = 220*c**2 + 9*c + 55. Is 9 a factor of x(-8)?
False
Suppose 0 = 920*q - 939*q + 477831. Does 23 divide q?
False
Does 3 divide ((-13266)/(-231) + 42)*(0 - -7)?
True
Let o be -2 + (3 - -2 - 10)/(-1). Suppose y + 116 = -2*k + o*k, 459 = 4*k - 3*y. Is 13 a factor of k?
False
Does 8 divide 1/((-14)/49 - 2574/(-8960))?
True
Suppose 5 = 7*b - 9. Suppose -4*z + 28 = 2*y, 0*z - b*z - 2*y = -16. Suppose 2*q - 15 = -h + q, 2*q - z = 0. Is 2 a factor of h?
True
Let q be (-879)/6 + (-2)/4. Let p be (-2260)/18 + 32/(-72) - 3. Let t = p - q. Is t a multiple of 9?
True
Let b(s) be the second derivative of -s**4/4 + 3*s**3/2 + 2*s**2 + 16*s. Let j be b(6). Let t = 4 - j. Does 11 divide t?
False
Suppose -44*q + 133*q - 823072 = 0. Is 68 a factor of q?
True
Let k(z) be the second derivative of -11*z**3/6 + 40*z. Let w be k(0). Suppose 11*a - 26 - 1569 = w. Does 12 divide a?
False
Let j(o) = 2*o**2 + 41*o - 50. Let f be j(-22). Is 16 a factor of ((-36)/f)/(1/(-256)*6)?
True
Does 20 divide -35 + 14 - (-10837 - 2)?
False
Let d(p) be the first derivative of -p**6/40 - p**5/60 - p**4/4 - p**3 + 31*p**2/2 - 7. Let i(b) be the second derivative of d(b). Is 10 a factor of i(-4)?
False
Let f = 440 + -230. Is 5 a factor of f?
True
Is 16 a factor of 104768/9 + (-5 - 11)/(-144)?
False
Suppose -469587 = -161*o - 293661 + 1385613. Is o a multiple of 125?
False
Let a(p) be the first derivative of p**3 - 3*p**2 + 6*p - 22. Suppose 3*c = -12, 3*c = 2*l - c - 32. Does 10 divide a(l)?
True
Suppose -28*g - h - 649 = -29*g, -3*h = 6. Suppose -4*a = -1025 - g. Is a a multiple of 19?
True
Let p(m) = -5580*m + 13448. Does 16 divide p(-6)?
True
Suppose -5*f - 3*n = 13, 0*f + 3*f - 5*n = -1. Let w be 1 - -1*(f - -20). Suppose w*o = 8*o + 1650. Is 29 a factor of o?
False
Suppose -6 = 3*b - 9. Let p = -60 - -30. Is p/(15/(-60)*(b - -5)) a multiple of 7?
False
Let j(r) = 1218*r - 3518. Is j(16) a multiple of 30?
False
Suppose -13*s = -16*s - 1071. Is 17 a factor of (s/6)/(15/(-150))?
True
Let o be (847 - (-2 - -2)) + 5 + -4. Let j = -396 + o. Is j a multiple of 7?
False
Suppose 5*x - 39 = 2*t, 2*t = -2*x + 3*t + 15. Suppose -304 = 5*g - x*g + o, g - 5*o - 95 = 0. Is g a multiple of 5?
True
Let v = 2754 + -1242. Is v a multiple of 7?
True
Let j = 96 + -4. Suppose j*s + 306 = 95*s. Is 10 a factor of s?
False
Let o(g) = 13959*g**2 - 15*g + 2. Is 183 a factor of o(1)?
False
Let n be 6/9*623451/(2 + -3). Is 11 a factor of n/(-1349) + 2/(-19)?
True
Does 8 divide 20192/(-6)*(1/9 + 58/(-36))?
True
Suppose -w - 102*p = -106*p - 3527, 3523 = w - 5*p. Is w a multiple of 67?
False
Let m(c) = c**2 - 5*c - 4. Let g be m(6). Suppose -4*n - 36 = -4*o, -3 - 3 = 2*o + 4*n. Suppose -5*k + 480 = g*z + 59, -5*z + o*k = -1035. Does 52 divide z?
True
Suppose -119*o + 50*o + 1222197 = 0. Is o a multiple of 46?
False
Is (-435)/(-10)*(-2 + -60)*-2 a multiple of 22?
False
Let k be 2/(-48)*-4 + 4119/18. Suppose -k = -5*o + 36. Suppose 88 = x - o. Does 47 divide x?
True
Suppose 5*o - 14 + 14 = 0. Is 21 a factor of -21*(-11 - 0) + o/(-3)?
True
Let w = -34601 - -41286. Is 96 a factor of w?
False
Suppose k = 2*k - 217. Let c = k + -133. Does 12 divide c?
True
Let i(w) = -28*w**3 + 3*w**2 - 174*w - 1056. Is i(-6) a multiple of 48?
True
Suppose -10*c + 4721 = -549. Suppose -6*d + 2863 = -c. Is 23 a factor of d?
False
Let j = -27097 - -64519. Is 187 a factor of j?
False
Let j(t) = 32*t - 3. Let z be j(-6). Let k = -44 - z. Suppose -s = -0*s - k. Is s a multiple of 30?
False
Suppose -2*r - 144 = o + 13, 0 = 5*r + 5*o + 400. Let x(h) = -h**3 - 12*h**2 - 11*h - 49. Let c be x(-11). Let l = c - r. Is l a multiple of 11?
False
Let w be (-404900)/(-80) - 3/(-4). Let s = -3457 + w. Is s a multiple of 21?
False
Suppose 0*f + 64 = 4*g + 5*f, -5*f = g - 31. Suppose j - 86 = g*t - 9*t, -419 = -5*j - t. Is j a multiple of 12?
True
Does 4 divide -7 + ((-60)/(-40))/((-3)/(-328))?
False
Let b(d) = -d**3 + 8*d**2 - 10. Let a be b(8). Let x = a - -13. Suppose x*s = -18 + 63. Is 15 a factor of s?
True
Suppose 2*y + 4*s = -36, -y - 2 - 1 = -s. Let w be (y - -259) + (-1 - -2) + 1. Let v = w - 67. Does 25 divide v?
False
Suppose 5*x + 4*b = 7*x - 832, 2080 = 5*x - 5*b. Let g = x - 188. Does 50 divide g?
False
Suppose -16*q + 3364 = -11*q + w, 4*q + 4*w - 2688 = 0. Is 3 a factor of q?
False
Let a = 336 + -19. Suppose -a*c = -308*c - 4428. Is c a multiple of 13?
False
Let y(d) = 1560*d**2 - 20*d - 58. Does 14 divide y(-2)?
False
Let b = 28 + -26. Suppose -2*i = -5*c + 4*c + 14, -b*i = 3*c - 2. Is 32 a factor of (-6)/c*308/(-3)?
False
Suppose 617 = -4*w - 23. Let r = -76 - w. Is 2 a factor of r?
True
Suppose 179*f = -171*f + 2450068 - 34718. Is 55 a factor of f?
False
Let t be (-2)/(-8) - 27181/(-28). Suppose -19 + t = 7*s. Is 17 a factor of s?
True
Let x = 677 + -622. Suppose 0 = -x*r + 30*r + 23000. Does 46 divide r?
True
Let j(x) = 6*x**2 - 30*x - 185. Is 15 a factor of j(-13)?
False
Let j = -514 + 512. Is 10 a factor of (j/(-3))/((-25234)/2805 + 9)?
True
Suppose 138*q - 142*q = v - 102209, 102200 = 4*q + 4*v. Is q a multiple of 11?
True
Let n(j) be the third derivative of -7*j**5/30 - j**4/6 + j**3/2 - 18*j**2. Let u(t) be the first derivative of n(t). Does 16 divide u(-3)?
True
Let r(b) = 2*b**2 - 29*b + 26. Let d be r(14). Let i(m) = -3 + 5 - d*m - 9 + 4. Is 19 a factor of i(-3)?
False
Suppose -187*f + 30294 = -170*f. Does 4 divide f?
False
Suppose 5*t + 2*i = 13, 13*i - 17 = -5*t + 15*i. Suppose -t*a + 4*h = -521, 20*h - 19*h - 1 = 0. Is a a multiple of 7?
True
Let b = -834 - -1198. Suppose -367*z + b*z = -48. Does 16 divide z?
True
Let o = 5925 - 5190. Is 21 a factor of o?
True
Let r = 69 - 66. Let k = 146 + r. Let w = k - 117. Is 2 a factor of w?
True
Suppose -g - 62621 = -4*u, -11*u + g = -12*u + 15664. Is u a multiple of 51?
True
Let m(g) = 2*g**2 - 15*g + 19. Let z be m(12). Let r = 543 + z. Does 39 divide r?
False
Suppose -3*r + 22 = 25. Let k be -2*r/((-2)/39). Let g = 33 - k. Is 25 a factor of g?
False
Suppose -4*r + 4*x + 11384 = -4276, 2*x = r - 3910. Is 16 a factor of r?
True
Let b(h) = 7*h + 24. Let g be b(-5). Does 3 divide (g - -10)*(-39 + -2)?
False
Let w(r) = 7*r**2 - 9*r. Let t(p) = -p**3 + 17*p**2 - 18*p + 40. Let s be t(16). Is w(s) a multiple of 21?
False
Suppose 133 = -7*t - 259. Let j = t + 112. Does 8 divide j?
True
Let w(b) = -b**3 + 22*b**2 - b + 27. Let l be w(22). Suppose -5*y - l*q + 2645 = 0, 3*y - 5*q - 751 = 852. Is (y/36)/(2/16) a multiple of 18?
False
Let r be (-10 - 1) + 7 - 5. Let m(q) = q**3 + 13*q**2 + 23*q + 13. Does 10 divide m(r)?
True
Suppose -2 = -z, -3*z + 2996 = -3*v + 20423. Is v a multiple of 90?
False
Let n(v) = -15*v**3 - 3*v**2 - v - 4. Let d = -6 + 3. Is n(d) a multiple of 13?
True
Let w(c) = c**3 - 9*c**2 - 10*c. Is 34 a factor of w(17)?
True
Suppose 5*a - 2*w = 167, 5*w + 155 = a + 4*a. Let r = -27 + a. Does 17 divide ((-38)/(-1))/2*r?
False
Let h(p) = p**2 + p + 123. Suppose 0 = 6*l - 12*l. Let m be h(l). Let y = 245 - m. Is 13 a factor of y?
False
Let q = -84 + 83. Is 13 a factor of (-60)/(-9)