52. Let j(p) = p**3 - 15*p**2 + 20*p - 23. Is j(l) a multiple of 22?
False
Suppose 4*p = 5*m - 293, 2*m + 0*m - 362 = 5*p. Let b = -160 - p. Let g = 146 + b. Does 13 divide g?
False
Suppose 0 = 501*c - 460*c - 329394. Does 39 divide c?
True
Suppose -22062 = -5*q - 2*c, 0 = -23*c + 19*c + 24. Is q a multiple of 6?
True
Suppose 2*w = -4*x + 54915 + 47881, -205637 = -4*w + x. Does 72 divide w?
True
Let g(c) = 2*c**2 + 19*c - 537. Is g(21) a multiple of 47?
False
Suppose -2*r = -4*s - 4, 4*r - 2 - 15 = -s. Suppose 47 = -r*f - 53. Let h = f - -57. Is 16 a factor of h?
True
Let a = 11373 - 7023. Does 43 divide a?
False
Let b(a) = 730*a + 41. Let v be b(-1). Let o = -458 - v. Does 18 divide o?
False
Suppose a - 2*a = 2*p + 113, 4*a = 4. Suppose 1498*j + 388 = 1502*j. Let o = p + j. Is o a multiple of 20?
True
Is 7 a factor of (-211577)/(-7) + (-45)/35 + (-4)/(-4)?
False
Suppose 2*v + 5*s - 1251 = 0, 4*s - 96 = -v + 528. Does 33 divide v?
False
Suppose 0 = 136*z - 140*z - 5*r + 4025, 2*r - 10 = 0. Is 10 a factor of z?
True
Suppose 2*h = 5*l + 854, 5*h - 157 = 3*l + 363. Let p = -121 - l. Is 15 a factor of p?
False
Let w(o) = 16*o**2 - 226*o - 150. Is w(46) a multiple of 30?
True
Let s(w) = -w**3 - w**2 + 20*w + 42. Let b be s(-5). Does 10 divide ((-2616)/b)/(4/(-14) - 0)?
False
Let r(q) = -3*q**2 - 20*q + 2. Let w be r(-7). Is (974/10 - 2) + (-3)/w a multiple of 3?
True
Suppose -88 = -3*a - 5*n, n = -3*a - 2*n + 96. Is 75 a factor of (-8)/a + (-20)/54*-654?
False
Let s be (-1152)/16 - 2*1/2. Let d = 88 + s. Suppose -d*k = -14*k - 64. Is k a multiple of 6?
False
Let k be ((-70)/(-3))/((-6)/(-72)). Suppose -3*u = -5*s - 812, -3*s + u = -3 + 487. Let p = s + k. Does 28 divide p?
False
Suppose -35 = 3*v + 70. Let m = v - -76. Suppose w - 32 - m = 0. Is 19 a factor of w?
False
Suppose -171*c = 3*c - 10*c - 441160. Is c a multiple of 13?
False
Let g(v) = -2*v**2 + 6*v - 10. Let i be g(5). Let k = -29 - i. Suppose k = 2*l - 11. Does 4 divide l?
False
Let i(c) = -2 + c + 9*c - 4 - c**2. Suppose -16 = -4*z + 8. Is i(z) a multiple of 9?
True
Let t be ((-209)/2)/((-10)/(-20)). Let z = t + 465. Suppose 2*p + 4*b - 134 = -b, 4*b = -4*p + z. Does 13 divide p?
False
Let a(v) = -22*v + 245. Let d be a(11). Suppose -y - y + 2*i = -242, y - d*i - 117 = 0. Is y a multiple of 7?
False
Let c be ((-382)/(-6))/(40/12 - 3). Let r = c + 15. Is 10 a factor of r?
False
Let h(m) = -8*m**3 - 7*m**2 - 46*m - 14. Is 55 a factor of h(-9)?
True
Suppose 5772 = 17*m - 17093. Suppose 14*b - 1889 = m. Does 21 divide b?
True
Suppose -7*p = 1806 - 6874. Suppose 3*n + p = k, 0*n = -3*k + 3*n + 2142. Does 35 divide k?
False
Is 6 a factor of (-4648)/(-31) + 100/1550?
True
Suppose 17*c = 12*c + 15. Is (7 - (2 - c)) + 3 a multiple of 8?
False
Let o be 140/24 + -1*1/(-6). Suppose -185 = -o*w + 1531. Does 26 divide w?
True
Suppose 45852 + 42135 + 40353 = 23*w. Is w a multiple of 12?
True
Is 2 a factor of (-18)/(-21) + 15/((-735)/(-29162))?
True
Suppose -22*a = 50*a - 45*a - 906579. Is a a multiple of 18?
False
Let k = -17 + 12. Let x be ((-3)/(-2))/(-6*k/60). Let a = 30 - x. Is 13 a factor of a?
False
Let h be (-9)/(39/(-84) - 4/14). Suppose -2*t - t - h = 0, 4*u + 2*t - 1076 = 0. Suppose -3*o + 1031 = 5*a + u, 5*a - 750 = -o. Does 20 divide a?
False
Suppose -2*v + 3*q + 25 = 0, 4*v + 5*q = -1 - 4. Suppose 2*k - 964 = -4*h - 2*k, -v*h + 1201 = 4*k. Is h a multiple of 3?
True
Let s = 267 - 851. Let v = -312 - s. Is v even?
True
Does 35 divide ((55/22)/((-2)/856))/((-13)/182)?
True
Let x(g) = -2*g**3 - 5*g**2 - 9*g - 8. Let a be x(-7). Let v = a - 293. Let k = -115 + v. Does 23 divide k?
False
Let u(q) = -q**3 + 22*q**2 - q - 2. Let d be u(21). Suppose d = 2*o - 308. Is o a multiple of 12?
False
Let s(l) = 3*l**3 - 3*l**2 + 3*l - 4. Let u be s(2). Is (6/15*-8)/(u/(-595)) a multiple of 5?
False
Suppose 50*j - 252861 = 56539. Does 34 divide j?
True
Let b(r) = -r**2 - r - 1. Let w be b(-5). Let h(o) = 3*o - 24. Let i be h(w). Let c = i - -97. Is c even?
True
Let z(y) = -2*y**2 - 11*y - 20. Let g be z(-6). Does 33 divide g/(-273) + 8503/21?
False
Let d(y) = 8*y**2 - 110*y + 65. Let h be d(13). Let g(n) be the third derivative of -n**6/120 - 13*n**5/60 + n**4/24 + 16*n**3/3 + n**2. Does 6 divide g(h)?
False
Let k = 348 + -815. Let g = -371 - k. Is 18 a factor of g?
False
Let o = 23226 + -14964. Is 15 a factor of o?
False
Let a be (6/2 - 3)*4/8. Suppose -2*i - 2 = -a, 2*i = 5*k - 1792. Is k a multiple of 26?
False
Let z(u) = -5*u**2 - 2*u + 10. Let k be z(5). Let a = 15 - k. Is a a multiple of 28?
True
Let p = -49 + 19. Does 6 divide 9/(21/p - -1)?
True
Let k = 1487 + -514. Does 55 divide k?
False
Let s be 11 - ((-76)/(-36) - 6/54). Suppose 0*h + 4*h = 0. Suppose h = -s*c + 2*c + 14. Is c a multiple of 2?
True
Is 36558/(1 - -8) + -14 a multiple of 22?
True
Suppose 0 = -136*p + 137*p - 4*m - 6551, 2*p - 5*m - 13102 = 0. Is 185 a factor of p?
False
Suppose 0 = 5*q + 25, 7*a = 4*a + 5*q + 61. Let g be (-18)/a*(7/(-3) - -1). Let m(l) = 18*l**3 - l**2 - 5*l + 5. Is 14 a factor of m(g)?
False
Let q = -4161 - -4707. Is q a multiple of 6?
True
Suppose -25 = -16*z + 535. Suppose -z = -g + 42. Is g a multiple of 42?
False
Let p = 4299 + 18496. Does 47 divide p?
True
Let q(k) = 443*k + 86. Let m be q(10). Suppose -m = 17*d - 17521. Does 15 divide d?
True
Let r = 183 - 107. Let u(d) = -37*d**2 - 36*d**2 + 4*d + r*d**2 - 2. Is u(6) a multiple of 12?
False
Let p = -409 - -452. Suppose -p*c - 12768 = -59*c. Is c a multiple of 38?
True
Let g be 5/(-3) + (-472)/(-24). Suppose g*r = r + 3672. Does 54 divide r?
True
Let q(x) = -x**3 - 4*x**2 - 32*x - 43. Is q(-12) a multiple of 4?
False
Let j(c) = 92*c**2 - 1166*c - 68. Is j(15) a multiple of 7?
False
Let q(p) = -p**3 + p**2 + 21. Let a be q(0). Let i be 8/(-28) + 111/a. Suppose 3*o + i*r = 120 + 463, 5*r = 10. Does 13 divide o?
False
Suppose 34*r - 226 + 600 = 0. Is 67 a factor of -4*r/((-44)/(-189))?
False
Let b(a) = 3736*a**3 - 4*a**2 + 3*a + 1. Let q be b(1). Suppose 17*h = q + 5750. Is 15 a factor of h?
False
Let q(y) = -14*y**2 + 24*y**2 - 3*y - 9 - 2 - 6*y**2. Is q(-4) a multiple of 3?
False
Suppose 3*o - 1062 + 45 = -3*t, 5*o + 4*t - 1697 = 0. Let s = o - -2. Is s a multiple of 3?
False
Let g = 46495 + -35380. Does 5 divide g?
True
Let o(x) = 27*x**2 + 39*x - 33*x + 37 + 12*x**2 - 32. Is 11 a factor of o(5)?
False
Suppose 0 = 129*c - 1780147 - 599290 + 460949. Does 13 divide c?
True
Let l = 48318 + -16392. Is 51 a factor of l?
True
Suppose 4*t - l - 28 = -6*l, -2*l = 3*t - 14. Suppose 69 = 7*a - t*a - g, 5*g + 51 = 4*a. Does 17 divide 62*(-62)/(-28) - 4/a?
False
Let b = 10 - 8. Does 19 divide -27 + 200 + (-2 - (2 - b))?
True
Let q(x) = -x. Let m be q(-2). Let z(h) = -h**3 + 2*h**3 + 8*h**2 + h - h**m + 4 + 6*h. Is z(-5) a multiple of 4?
False
Let p = 519 - -166. Let w = 965 - p. Does 10 divide w?
True
Let o(i) = -i**3 - 27*i**2 - 11*i - 52. Does 7 divide o(-27)?
True
Let z(q) = 38*q**2 + 7*q - 9. Let c be z(1). Suppose 31*l + 2590 = c*l. Is 69 a factor of l?
False
Is (-159636)/(-10) + (-371)/(-265) a multiple of 5?
True
Suppose 0 = -30*q + 20*q + 320. Suppose -14*z + 29026 = q*z. Is z a multiple of 31?
False
Let q be 4699/9 - (100/(-90))/(-10). Let v = 766 - q. Is 10 a factor of v?
False
Let j be (14 + -12 + 0)/(1/586). Suppose -3*p - 1169 = -5*o, 4*o - j = -o + 4*p. Does 29 divide o?
True
Suppose -4*v + w + 20 = 0, 2*w + 16 = 4*v - 0. Is 2 a factor of 10 - -2*(0 + 3/v)?
False
Let a(i) be the first derivative of -7*i**3/3 + 41*i**2/2 + 8*i + 25. Let q be a(6). Suppose 3*v - 112 = -4*s, -q*v - 3*v = 5*s - 140. Does 4 divide s?
True
Suppose 3*p - 2*w - 21732 = -5067, -5*p + 27750 = 5*w. Is 5 a factor of p?
False
Suppose 1755 = 5*u - 5*n, -n + 1384 = 5*u - 365. Does 18 divide u?
False
Let w = -18339 + 24360. Is w a multiple of 27?
True
Suppose -u - l = -179, 4*u - 326 = 4*l + 398. Let s = u + -130. Is 3 a factor of s?
False
Let b(q) = 30*q + 1392. Is 9 a factor of b(16)?
True
Let x(c) = c**3 + 22*c**2 + 89. Suppose 0 = 7*h + 51 + 103. Does 10 divide x(h)?
False
Does 46 divide (6 + -1116)*(-69)/9?
True
Let h = -106 + 85. Let f be h/49 - (-356)/14. Let k = 34 - f. Is 9 a factor of k?
True
Let j(u) = 2991*u**2 + 84*u - 21. Does 30 divide j(3)?
True
Let s = -4616 - -