t j(p) = p**3 + 15*p**2 + 11*p - 48. Let d be j(t). Is 11 a factor of w(d)?
False
Suppose -5*p - 910 = -t, 0 = -7*t - 2*p + 5830 + 244. Is t a multiple of 6?
True
Does 61 divide (168232/204)/(2/9)?
False
Is (-1)/(9 - 8) + 2081 a multiple of 13?
True
Suppose -1240*g - 15515 = -f - 1241*g, f + 5*g - 15495 = 0. Is f a multiple of 16?
True
Suppose 4*b - 5*z - 923 = 0, -5*b = 4*z - 897 - 226. Let g = 299 + -382. Let n = g + b. Is 25 a factor of n?
False
Let b be (3 + -2 + -1)/2. Let t be (-6)/(-2) - (b - -39). Does 4 divide ((-18)/t)/((-1)/(-74))?
False
Let u = -6779 - -10386. Is u a multiple of 6?
False
Let y(d) = d + 1. Let g(i) = -i**2 + 20*i + 49. Let j(m) = g(m) - 2*y(m). Let n be j(20). Suppose 2*a - 3*h = 1, 3*a = -n*h + 3*h + 27. Is a a multiple of 3?
False
Suppose 10*v - 76*v + 569052 = 0. Is 12 a factor of v?
False
Let a = 77 - 52. Let b(w) = 5*w**2 - 9*w + 14. Let v be b(7). Suppose -23*x - v = -a*x. Does 16 divide x?
False
Let g = -17879 + 20428. Does 34 divide g?
False
Suppose -7*n + 2*g = -3*n - 60, 0 = -n + g + 14. Let w = -633 - -633. Suppose n*o - 4*o - 840 = w. Does 5 divide o?
True
Let n(h) = h**3 - 7*h**2 + 2*h - 10. Let o be n(7). Suppose -3*v = 12, -5*v + 43 = 3*k - o*k. Is 169/7 + 9/k a multiple of 10?
False
Does 15 divide (-7)/(378/90) - 4193/(-3)?
False
Let v(q) = 0*q**2 - 2*q - 23*q + 5*q**2 + 0*q**2 - 141 + 19*q**2. Does 9 divide v(-6)?
True
Let p(l) = -32*l**2 + 5*l - 5. Let c be p(3). Let b = 773 + c. Is 25 a factor of b?
False
Let t(k) = 14 - 70*k + 90*k - 3. Let u be t(12). Suppose -2*z + u = -5*h - 59, 4*z - 3*h - 634 = 0. Is 10 a factor of z?
True
Let x(t) = -5*t + 3*t - 34*t + 21 - 15*t. Does 3 divide x(-2)?
True
Is (-275)/(-55) - 12*-698 a multiple of 62?
False
Suppose -20752 = -4*g + 2*o, 5*g - 12061 = -3*o + 13868. Suppose 3*y - 7*y + 2*z + 5178 = 0, 4*y + z = g. Is 72 a factor of y?
True
Suppose -2446 = -5*f - 4*l, 2*l - 1622 - 336 = -4*f. Suppose z - 1 = -3, 3*c - 5*z = f. Suppose -3*k + 2*m = -c, -2*k + 4*m + 90 = -14. Is k a multiple of 18?
True
Suppose -11*w = -70 - 62. Suppose 15*u - 2106 = -w*u. Does 13 divide u?
True
Let c(t) = -t**3 - 5*t**2 - 5*t - 17. Let n be c(-5). Let l be 1 + (n - 5) - -66. Let m = l - -10. Is m a multiple of 10?
True
Let d = -14 + 12. Is d/(-9) + 4 + (-21736)/(-36) a multiple of 19?
True
Let u(c) = 3*c**2 + 27*c - 95. Let z be (6 + -12)*(3 - 1 - -1). Is u(z) a multiple of 23?
True
Does 10 divide 7*38 + (-356)/(-89)?
True
Suppose 0 = 6*o - 15297 + 6087. Let m = o + 1466. Suppose 0 = 15*g - m - 134. Is 10 a factor of g?
False
Suppose -1243 - 5597 = 10*v. Let h = 1514 + v. Is 83 a factor of h?
True
Let v(g) = -80*g + 80. Let q be v(4). Let s = q - -338. Is s a multiple of 14?
True
Suppose -17*n = -14*n - 72. Suppose -n*x + 17*x = -1435. Does 20 divide x?
False
Suppose 0 = -7*q + 9 + 26. Suppose 2*f = -f + 2*h - 11, -q*f - 5*h + 15 = 0. Is (-25)/(-15)*1/(f/(-30)) a multiple of 6?
False
Let l(x) = 11*x**2 + 19*x + 27. Let g be ((-12)/(-8))/(-6*(-1)/32). Is l(g) a multiple of 22?
False
Let g(b) = 6*b**2 - b - 6. Let x = -68 + 73. Let s(r) = -2*r + 8. Let c be s(x). Does 3 divide g(c)?
False
Suppose 14*v - 126 - 42 = 0. Suppose v = -3*g, -g - 133 = -y + g. Is 11 a factor of y?
False
Suppose 2*o = -3*o + 1170. Is (-3)/(o/(-2172)) + 6/39 a multiple of 28?
True
Let m(b) = b**3 + 65*b**2 + 391*b + 94. Does 9 divide m(-58)?
False
Suppose 2*f - 8 = 0, 2*o - 12*f - 13710 = -16*f. Is o a multiple of 167?
True
Let y(d) = 4*d + 31. Let f be y(-5). Suppose -2 = a - f. Suppose 4*h = -a*h + 403. Does 31 divide h?
True
Let c(u) = 125*u + 1367. Does 17 divide c(39)?
False
Let x(q) = -4*q**3 + 3*q**2 + 4*q - 2. Let c(p) = -p**2 - 6*p + 3. Let d be c(-7). Is 26 a factor of x(d)?
True
Let f be (3/((-12)/22))/((-49)/98). Suppose 0 = -f*o + 324 + 72. Is o a multiple of 18?
True
Let i = -11221 - -26991. Does 19 divide i?
True
Is 28/(-2)*((-244)/(-20) + -2)*-5 a multiple of 102?
True
Let z = -44536 - -69016. Does 90 divide z?
True
Suppose 5*f - 22 = -2*g + 13, 40 = 3*f + 5*g. Suppose 31 = 5*v - 69. Is -9 + f + (v - 1/(-1)) a multiple of 17?
True
Suppose -57 = -4*x - a, -x + 16 = a - 2. Suppose s - x*s = -864. Is s a multiple of 6?
True
Let g(j) = 2*j - 166*j**2 - 4 + 167*j**2 - 3*j. Suppose -3*s - 20 = -5. Is g(s) a multiple of 26?
True
Suppose 18 = -4*f + 14, -3*f = -5*p + 98. Let l(w) = 15*w - 7. Is l(p) a multiple of 11?
False
Is 36 a factor of (-33)/(-88)*24 + 2049?
False
Let o = 2959 - -12769. Does 9 divide o?
False
Suppose -h + 8248 = 3*s, -2*s - 5*h - 8260 = -5*s. Suppose 70 = 10*b - s. Let t = b + -198. Does 18 divide t?
False
Let p(q) = -8*q - 7. Let j be p(5). Suppose -3*r - 3*y - 120 = 0, -12*y - 2 = -14*y. Let u = r - j. Does 5 divide u?
False
Suppose 4*g - 4*a - 2000 = 0, 3*g - 434 - 1084 = -3*a. Suppose q - 228 = g. Does 23 divide q?
False
Let n be (-46)/115*(-31831 + 1). Suppose 163*k = 151*k + n. Is 55 a factor of k?
False
Let l(f) = -216*f + 902. Let z be l(4). Suppose y = 2*w - 16 + 202, 0 = -5*w + 10. Let x = y + z. Is x a multiple of 12?
True
Let p = 31063 - 22047. Does 7 divide p?
True
Let j be ((-12)/3 - -4)/3. Let l = 355 + j. Does 52 divide l?
False
Let i(c) be the first derivative of 33*c**2/2 - 9*c - 254. Is 87 a factor of i(12)?
False
Let g be -4 + 188/(-4) + -5. Let c = g + 136. Is 10 a factor of c?
True
Suppose 7*s - 3*s + 3*a - 166 = 0, 2*s = 4*a + 72. Suppose -2*t = s*t - 24444. Is 50 a factor of t?
False
Let s(f) = -6*f**3 + 2*f**2 + 9 + 5*f - 13*f**2 + 7*f**3 + 21*f**2. Suppose -3*y + 34 = -4*d + 6, 3*d = -2*y - 21. Is s(d) a multiple of 11?
True
Suppose 8198 = 4*t + 3*r, 6146 = -74*t + 77*t + r. Is t a multiple of 8?
True
Let x(h) = -807*h - 4150. Is 221 a factor of x(-81)?
True
Let z(c) = c**2 - 7*c + 13. Let y be z(5). Suppose -y*p + 0 = 57. Let f = 45 - p. Is f a multiple of 8?
True
Let h = 86 + -75. Let m(o) = -o**3 + 10*o**2 + 18*o + 3. Let w be m(h). Suppose -6*b - 2*b = -w. Does 4 divide b?
False
Suppose -h - 187 = -0*b - b, 5*h = 2*b - 926. Let i = h + 228. Is 15 a factor of i?
False
Let u(c) be the third derivative of -c**6/30 + 2*c**5/15 + 23*c**4/12 + c**3/3 + 37*c**2. Does 5 divide u(-5)?
False
Suppose 3*t + 4*p - 1797 = 0, -3*p = 5*t + p - 2987. Suppose 5*a = 2*y - 259, -3*y - 2*y + 2*a = -t. Does 4 divide y?
False
Suppose -3*h - 2*l + 557 = 2*l, -179 = -h + 2*l. Is h - (-2 + 0/5)/1 a multiple of 5?
True
Is 3 a factor of 1250/(12 + -11) + 2?
False
Let q = -994 + 1137. Is 4 a factor of q?
False
Let x(m) = -m**3 + 23*m**2 + 24*m + 12. Let k be x(24). Let w = k - -58. Does 10 divide w?
True
Let t(v) = -v**2 - 9*v + 24. Let w be t(-13). Let x = -24 - w. Suppose -x*n + 202 = -2*g, n + 0*g - 43 = -g. Is n a multiple of 16?
True
Suppose 3*b + 4*a - 18492 = -5994, -20926 = -5*b + 4*a. Does 6 divide b?
False
Let r be 30/6 - (1164/4)/1. Let p = r - -309. Is 23 a factor of p?
True
Let t(m) = 48*m**2 + 2*m - 12. Let x be t(2). Suppose -x*b + 177*b + 1722 = 0. Is 7 a factor of b?
False
Suppose -15 = d - 5*d - 3*q, -5*q - 39 = -4*d. Suppose -2990 = -4*z - d*z. Let o = -90 + z. Does 19 divide o?
True
Suppose 0 = -16*g + 13*g + 2*l + 7604, -3*g + 7598 = -5*l. Does 58 divide g?
False
Suppose j - 11*j - 1069 = -2899. Does 21 divide j?
False
Suppose 3*r + 4*m = -4 + 3, 4*r + 2*m - 12 = 0. Let l be 6 - (-3 - (-3 + -1)). Suppose 4*d = 3*g + 161, -r*d + 3*d + 61 = l*g. Does 19 divide d?
True
Suppose 5*y + 4*f = 35, 5*y = -6*f + 3*f + 40. Let x(h) = -h**2 + 18*h + 3. Let v be x(y). Suppose v - 23 = z. Is z a multiple of 17?
False
Let c be -1 - 8/(-6) - (-58036)/33. Let v = c + -909. Is 34 a factor of v?
True
Let n be 4/10*(6*943 + 2). Suppose -136 - n = -5*l. Is l a multiple of 26?
False
Let i be (9/30)/((-19)/(-190)). Suppose -758 = -a + i*q, -q + 705 = a - 69. Is 25 a factor of a?
False
Suppose 3*b - 725 = -2*b. Suppose 0 = 4*z - v + b, 0*v = -5*z + 4*v - 184. Does 2 divide z/(-4 + 0) - -4?
False
Let j(c) = -c**3 - 116*c**2 - 62*c + 11. Is j(-116) a multiple of 49?
True
Let v(a) = 192*a**2 + 334*a + 115. Is v(11) a multiple of 19?
False
Suppose -5*n - 10 = -2*h, -5*h + n + 79 = 31. Let b = h + 8. Suppose -11*u = -b*u + 595. Does 4 divide u?
False
Let b = 90 - 225. Let w = 415 + b. Is w a multiple of 20?
True
Let j(y) = -y**3 - 9*y**2 - 5*y - 2. Let x be j(-9). Let d = 48 - x. L