) + 2242. Suppose 98 - l = -2*v. Suppose 0 = 3*a - 2*m - 642, a + 5*m + v = 6*a. Is 38 a factor of a?
False
Let a(w) be the first derivative of -26*w**3/3 + 11*w**2/2 - 3*w - 40. Let i be a(3). Is 1*(36/9 - (i - 1)) a multiple of 15?
False
Let s(n) = n**2 - 12*n - 60. Let p be s(-4). Is (-102)/p*(4 + -18) a multiple of 51?
True
Suppose 75387 = 5*s - 2*f, 5*f = -5*s + 50178 + 25202. Is s a multiple of 5?
False
Let w = -3497 - -12626. Is w a multiple of 20?
False
Let f = -16 + 21. Suppose -u = -0*u - f. Suppose 7 + 30 = 4*p - k, 41 = 4*p - u*k. Is 2 a factor of p?
False
Let j = 8 - -14. Suppose -16*g + j = -5*g. Suppose g*l - 56 = 4*a, -l + 2*a = -a - 27. Does 15 divide l?
True
Let o be 2/(-1)*(-4)/24*3. Is 30 a factor of (2 - 3 - 4)/(o/(-18))?
True
Suppose 470 = 3*x + 2*w, 22 = -3*w + 7. Suppose -2*c + o = -221 - x, 0 = -2*c + 5*o + 393. Is 19 a factor of c?
False
Let s be 2/(-15) + 4836/(-180). Let k = -31 - s. Is k*(2 + 66/(-2)) a multiple of 31?
True
Let c be ((-2)/(-3))/(4/1620). Suppose 3*r - 19 = 5*g - 16, 4*r - 33 = -3*g. Suppose s + c = g*s. Does 27 divide s?
True
Let d(z) = -z**2 - 7*z - 6. Let w be d(-6). Let y(f) = -3*f + 38. Let g be y(w). Let j = g + -24. Is 7 a factor of j?
True
Let l(f) = 27 - 31*f + 96*f - 30*f - 33*f. Let x be l(-11). Suppose x*k = 845 - 95. Is 33 a factor of k?
False
Suppose y - j = 26623, 69*y - 5*j = 68*y + 26599. Is 49 a factor of y?
False
Suppose -53 = -3*h - 3*g + 2*g, -3*g - 39 = -2*h. Does 50 divide -30 + 26 - -7*4*h?
True
Suppose 4*j - 5*j - 2*j + 1611 = 0. Is j a multiple of 2?
False
Does 33 divide ((-205)/3)/(690/(-382950))?
False
Let k = -393 - -726. Let a = k - 237. Is a a multiple of 96?
True
Let n be 32/6*(-7203 - (17 - 2)). Is 92 a factor of n/(-50) - (-2)/150*6?
False
Suppose -69782 = -122*t + 76*t. Is t a multiple of 61?
False
Suppose 4*d - 4 + 24 = 0, d - 2065 = -3*f. Does 15 divide f?
True
Is 12 a factor of (10/(-2) - (-460512)/40) + 15/75?
True
Suppose 5*p - 2 = -442. Let s = 159 - p. Is s a multiple of 15?
False
Let m(y) = y + y**2 + y + 22 + 10*y. Let t be m(-10). Suppose d - 3*s - 40 = 0, t*d + 0*s + 2*s = 80. Does 5 divide d?
True
Let o(p) = 2571*p - 392. Is o(3) a multiple of 125?
False
Let o = -283 + 580. Let w = -207 + o. Is 4 a factor of w?
False
Suppose 0 = 7*c - 3*c + 40. Let u(v) = -v**2 - 12*v - 1. Let m be u(c). Suppose 22*b - m*b - 117 = 0. Is b a multiple of 11?
False
Let f(h) = 11*h + 21. Let g be f(5). Let b = g + -74. Let u(w) = 6*w**2 - 1. Does 6 divide u(b)?
False
Is 119 a factor of (-4610361)/(-252) - 3/36?
False
Is 33 a factor of 50*15/60*3300/((-1)/(-1))?
True
Let t(p) be the third derivative of 419*p**6/15 - p**5/60 + p**3/6 - 11*p**2. Let h be t(1). Is 43 a factor of 22/(-99) - h/(-18)?
False
Let o(r) be the second derivative of r**5/4 - r**4/3 - 13*r**3/6 + 10*r**2 + 5*r + 5. Is o(5) a multiple of 24?
True
Let a be (118/6 - -2)/((-2)/18). Let l = 292 + a. Is 17 a factor of l?
False
Suppose -3*f = -5*b - 33253 - 31375, 2*f + 2*b = 43128. Is f a multiple of 33?
False
Let w = 34184 - 28374. Is w even?
True
Let k be 94/22 - 15/55. Suppose h - k*h - 88 = -x, 0 = -3*h. Is x a multiple of 3?
False
Suppose p + 2*p - 3072 = 5*f, 3*p + f = 3090. Suppose 9*o - 7446 + p = 0. Suppose 8*g = 3*g - 4*a + o, 5*a = 5*g - 695. Is 26 a factor of g?
False
Let o = 52 + -70. Let x = -21 - o. Is 9 a factor of -30*4/(-4) + x?
True
Let r = -345 + 369. Does 2 divide 2 + (40/15*r - 2)?
True
Suppose 14*h - 37 = -9. Suppose -h*c - 3*r + 5*r = -264, 5*c - 642 = -r. Does 13 divide c?
False
Let c be 512/(-52) + 10 + (-2095)/13. Let z = c - -251. Does 30 divide z?
True
Suppose 10*s - 10*s = -16*s + 86272. Is 16 a factor of s?
True
Let f(o) = -2*o + 3. Let w(d) = -2*d + 1. Let y(r) = -f(r) + 3*w(r). Suppose 0 = 2*v + v + 18. Does 4 divide y(v)?
True
Let d = 618 - 616. Is 18 a factor of (-6)/((-1645)/815 + d)?
False
Let c be (2 - 57)/5 - 3. Let m be ((-540)/c)/((-6)/(-42)) - 0. Let b = -77 + m. Is b a multiple of 16?
False
Does 13 divide 4*(-1*(-9 + 15) + (-12565)/(-4))?
False
Let t(l) = 255*l - 85. Is 41 a factor of t(13)?
False
Suppose 29247 = 14*q - 15415 - 50104. Is q a multiple of 17?
False
Let i = 42018 + -30917. Is i a multiple of 3?
False
Suppose -279 - 180 = -3*u. Is 13 a factor of u?
False
Suppose 6 = -46*a + 44*a, 0 = 3*n - 5*a - 117. Let j(o) = o**3 - 33*o**2 - 4*o + 2. Does 73 divide j(n)?
True
Let u be 110/(-10)*((-1)/(-1))/(-1). Suppose -2812 + 568 = -u*y. Is 21 a factor of y?
False
Suppose -a = -l - 1, 0 = -2*l + 5*a - 1 - 10. Let n be l + (1 - 1) + 22 + 4. Suppose -d + n = -8. Is 9 a factor of d?
True
Suppose 0 = -220*j + 201*j + 121600. Is 50 a factor of j?
True
Let c(b) = 34*b**3 - 5*b**2 - 76*b + 371. Does 6 divide c(5)?
True
Let j(q) = 2*q**3 + 83*q**2 + q + 180. Does 151 divide j(-41)?
False
Let y = -110 + 110. Suppose 4*z - 8 - 56 = y. Does 16 divide z?
True
Let h(q) = -60*q - 30. Let l be h(-5). Suppose -1350 - l = -5*f. Let i = -184 + f. Is 14 a factor of i?
True
Suppose -2*q + 25*q - 14364 = -34*q. Is q a multiple of 2?
True
Suppose 137*u - 2817550 - 726596 = -104*u. Is 173 a factor of u?
False
Suppose 0 = 40*v - 231710 + 157979 - 393589. Does 18 divide v?
False
Suppose -5*o = 5*r - 15, -5*o + 4*o = 4*r - 9. Suppose 1 - r = -g, 1447 = 2*x - 5*g. Does 25 divide x?
False
Is (-13 + -3)/2 + 686 a multiple of 3?
True
Let t = -5019 + 7191. Does 23 divide t?
False
Let m(g) = g**3 - 13*g**2 - g + 22. Let x be m(13). Suppose -x*f + 14*f = 30. Suppose -f*l + 5*l + 57 = 0. Does 16 divide l?
False
Let v(y) be the first derivative of -y**4/4 - 22*y**3/3 + 29*y**2/2 - 116*y - 115. Does 18 divide v(-24)?
False
Suppose 134*a = 136*a - 3*d - 12143, 3*a = -4*d + 18172. Is 215 a factor of a?
False
Let p = 13 + -16. Let c(a) = -2*a**2 - 4*a - 1. Let g be c(p). Let l = g + 15. Is l a multiple of 2?
True
Suppose 0 = -11*u + 19*u - 1576. Let o = u - 99. Is o a multiple of 14?
True
Suppose 0 = 677*a - 686*a - 36. Does 8 divide (2 + a/3)/(45/5940)?
True
Suppose 356*z = 3*u + 359*z - 34221, -5*z + 22793 = 2*u. Is u a multiple of 13?
True
Let g(l) = -1014*l - 2484. Is g(-6) a multiple of 48?
True
Let l = -699 + -1040. Let d = l - -2909. Does 18 divide d?
True
Suppose -c = -7*c. Suppose -5*m + y + 20 = c, -3*m + 12 = -3*y - 2*y. Let q = m - -8. Is q a multiple of 4?
True
Suppose 2*c + 17*s - 19036 = 15*s, 0 = -c - 2*s + 9517. Suppose 42*r + c = 61*r. Is r a multiple of 6?
False
Suppose -25*s + 33*s = 680. Let m = s - 81. Is 16 a factor of 4/(-8 + m) - -81?
True
Is 16/(42/72 - (-10)/(-30)) a multiple of 64?
True
Is ((-2)/(-6))/((3 - 18/9)/12255) a multiple of 19?
True
Suppose 0 = -g - 3*y + 5 - 82, 5*g - 2*y = -385. Let m(q) = -q**3 - 7*q**2 + 8*q + 1. Let b be m(-10). Let o = g + b. Is 36 a factor of o?
True
Suppose 95415 + 190406 - 30671 = 45*h. Does 100 divide h?
False
Let n(c) = -1300*c + 3291. Is n(-3) a multiple of 17?
True
Suppose 22*i = -26*i + 43344. Is i a multiple of 38?
False
Does 14 divide (-9)/4 + 3 + 11 + (-450333)/(-36)?
False
Let g(b) = b**2 - b + 1. Let t(w) = 11 + 2*w - 5*w**2 - 8*w**2 + 14*w**2 - 16*w. Let l(j) = 2*g(j) - t(j). Does 45 divide l(9)?
True
Let v be (57/6 - 6)/((-1)/(-58)). Let b = -25 + v. Is 15 a factor of b?
False
Suppose 643 = -2*w - 67. Let g = -238 - w. Does 13 divide g?
True
Let u(k) = -6*k**3 - 8*k**2 + 44*k - 23. Let z(f) = 5*f**3 + 9*f**2 - 43*f + 22. Let r(t) = -4*u(t) - 5*z(t). Does 12 divide r(-18)?
True
Is 2 a factor of (-4)/(-50) - ((-1713432)/(-150))/(-14)?
True
Suppose -4*p = 3*u - 57679, -28832 = -2*p - 96*u + 92*u. Is 55 a factor of p?
False
Let y(w) = -43*w - 20. Let t(f) = 21*f + 9. Let m(v) = -7*t(v) - 3*y(v). Does 2 divide m(-1)?
False
Suppose 63*g + 1922 = -850. Suppose -47 = -4*h + 169. Let v = h - g. Is v a multiple of 14?
True
Suppose -8*g = -5*g + 17*n - 11021, -n - 7409 = -2*g. Is 38 a factor of g?
False
Suppose 0 = 41*b + 56*b - 761286 - 1367670. Does 40 divide b?
False
Let q = -354 - -607. Let r = q + -117. Is r a multiple of 4?
True
Let l(a) = a**2 - 5*a + 3. Let s be l(8). Suppose g = 293 + s. Suppose 0 = 8*j - 4*j - g. Does 16 divide j?
True
Suppose -2*l = -5*i - 99, -4*l + 103 = -i - 68. Suppose -5660 = l*y - 62*y. Is y a multiple of 11?
False
Let x(f) = f**2 - 9*f - 6. Let s be x(9). Let n(a) = a**3 - 39*a + 1. Does 10 divide n(s)