 96*p - 1917952. Is 190 a factor of p?
False
Let s(n) = n**2 - 9*n + 18. Let a(h) = 92*h + 1. Let b be a(-1). Let p = 103 + b. Is s(p) a multiple of 9?
True
Suppose 3*w + 5*y - 6 = 2*y, 2*w = -4*y. Let f = 4 - w. Suppose 7*k - 5*k - 50 = f. Is k a multiple of 25?
True
Let f(q) = 7*q**3 - 3*q**2 + 2*q - 3. Let t = 37 - 15. Suppose 0 = o - 5*r + 23, -7*r = o - 3*r - t. Does 7 divide f(o)?
False
Suppose -3*j + 6285 = -5*k, 4*k - 4212 = 6*j - 8*j. Is j a multiple of 70?
True
Let x(l) = 2*l**3 - l**2 - 441*l - 1. Is 122 a factor of x(26)?
False
Let s be (60/35)/(26/273). Suppose 4*b - 8 = 0, -3*y - s*b + 1307 = -20*b. Is y a multiple of 13?
False
Let s = -224 - -3680. Is s a multiple of 8?
True
Let z(l) = 2*l - 1. Let q(d) = 5*d + 35. Let r(b) = q(b) + 6*z(b). Let m be r(9). Suppose 4*p - 6 - m = 0. Is 27 a factor of p?
False
Let o be (0 - 6)/((-4)/456*6). Let z = -50 + o. Is 16 a factor of z?
True
Let y(z) = -4*z + 6. Let f be y(11). Let m be (4/(-15))/(-2) + (-1346)/(-30). Let o = m - f. Is o a multiple of 20?
False
Let c(i) be the second derivative of i**4/12 - i**3/3 + 41*i**2 - i + 21. Is 5 a factor of c(23)?
True
Suppose 4*v - 131 - 9 = 0. Let j = 1004 - 1003. Let r = j + v. Does 10 divide r?
False
Let m(y) = -104*y - 496. Does 16 divide m(-52)?
True
Let o(u) = -3*u**3 + 4*u**2 - 5*u + 6. Let q be o(2). Is (17/4*1)/(q/(-384)) a multiple of 4?
True
Suppose -w = w + 2*f + 22, 3*f = 4*w + 30. Does 13 divide -2*w/(-6) - -102?
False
Let h be ((-16)/(-24))/((14/(-24))/7). Let i(l) = -43*l + 59. Is i(h) a multiple of 18?
False
Suppose 9*t - 30*t + 337304 = 23*t. Does 191 divide t?
False
Suppose 0 = 8*p - 118 + 142. Suppose -s + 4*s = 108. Is s*(-2)/8*p a multiple of 6?
False
Suppose 2669 = b + 4*k, 5*b + 8*k - 9*k - 13324 = 0. Is b a multiple of 20?
False
Suppose -15 + 23 = 2*g. Let t be (-4)/(8/2*g/(-24)). Suppose t*y + 45 = 9*y. Does 5 divide y?
True
Let o(x) = -10*x**3 - 4*x**2 + 22*x + 127. Does 49 divide o(-10)?
False
Let l(u) = 4*u - 53. Let k be l(15). Suppose 0 = -k*c + 7590 - 2739. Does 14 divide c?
False
Let s(k) = -1167*k - 1929. Is 15 a factor of s(-14)?
False
Suppose -2169 = 27*z - 8379. Is 1 + (408/20)/(4/z) a multiple of 33?
False
Suppose 0*y + y + 3 = 0. Let h(r) = 85*r + 10. Let a be h(y). Let g = -67 - a. Is 18 a factor of g?
False
Let h(u) = 2*u**2 + 11*u - 3. Let f(a) = 5*a**2 + 32*a - 10. Let o(d) = -3*f(d) + 8*h(d). Let b be o(0). Suppose 7*m - 324 = b*m. Is m a multiple of 12?
True
Let p(c) = 198*c**2 - 27*c + 126. Is 22 a factor of p(-10)?
True
Does 114 divide (-84)/((-336)/(-12)) - 1103*-3?
True
Let w be 1/(0 + 4/3372). Let b = w + -163. Is 2/(-11) + (b/22)/5 a multiple of 5?
False
Let v be ((-6)/(-9) - -2)*(-18)/8. Let h be 3/(-1)*(6 + 40/v). Is (2 - 3/h)*(148 + -12) a multiple of 9?
False
Let j be (6/(-9))/(12/9090). Let q = j - -841. Does 42 divide q?
True
Suppose 5412 = y + 612*p - 615*p, -3*y = -2*p - 16194. Is y a multiple of 87?
True
Let g(f) = -11997*f - 1224. Is g(-2) a multiple of 22?
True
Suppose -2*y - 5*t = -44853, -5*y = -8*y - 2*t + 67285. Does 88 divide y?
False
Suppose -1847231 - 4583161 = -129*l. Is 34 a factor of l?
False
Let f(k) = k**3 + 10*k**2 + 18*k + 59. Is f(-6) a multiple of 6?
False
Let a = -19298 + 34562. Is a a multiple of 9?
True
Let o(b) = -178*b - 6. Let l be o(-1). Let m = 97 - l. Let k = -45 - m. Does 6 divide k?
True
Let b = 11817 - 8045. Is 3 a factor of b?
False
Let w = 211 + -200. Suppose w*o - 837 = -23. Is o a multiple of 37?
True
Let w = 45860 + -24663. Does 19 divide w?
False
Suppose 0 = 3*n + 2*t - 427, 0 = -5*n - 6*t + t + 710. Suppose -4*k - 2*a = -a + n, -2*a = 6. Does 20 divide k/(-10)*(-80)/(-14)?
True
Suppose -42 = 10*j + 18. Let p be 1 - 3 - ((3 - 3) + j). Suppose 3*w + 3*i = w + 222, 2*w + p*i = 218. Is 29 a factor of w?
False
Let y(j) = 54*j + 132. Suppose 26*t + 220 = 870. Is 10 a factor of y(t)?
False
Let z be (-381 - 2)/(10/20). Let r = z - -1090. Is r a multiple of 9?
True
Let x(t) = -41*t + 151. Let o be (-1)/((-10)/(-8)*(-4)/(-10)). Let y(u) = 8*u - 30. Let m(g) = o*x(g) - 11*y(g). Is m(-6) a multiple of 6?
False
Let j(z) = 396*z**2 + 29*z - 24. Is 72 a factor of j(12)?
False
Let u be (-718)/12 - (-31)/(-186). Is 2 a factor of ((-159)/(-2))/((-5)/u*6)?
False
Let d be (45/(-1))/((-2)/(-4) + 1). Let n = 113 - d. Does 10 divide n?
False
Let l(w) = -3*w - 27. Let x(j) = 3 - 9 - j + 7. Let b(u) = l(u) + 4*x(u). Does 6 divide b(-8)?
False
Suppose 89*h - 1232 = -100*h + 847. Let p(y) = -4*y**2 + 29*y - 2. Let z(f) = -5*f**2 + 30*f - 1. Let g(o) = 3*p(o) - 2*z(o). Is g(h) a multiple of 17?
True
Suppose -15*l + 30708 = -40662. Does 39 divide l?
True
Let k(t) = -4*t**3 - 3*t**2 + 5*t + 2. Let w be k(3). Let o = -91 - w. Is o a multiple of 4?
False
Suppose -4*s + 137 = 5*j - 3134, 0 = 3*s + 4*j - 2452. Is s a multiple of 33?
False
Suppose 10*w - 7 + 43 = 28*w. Let i(k) = -k**2 - 5*k - 2. Let t be i(-3). Is (18/t)/(w/((-40)/(-3))) a multiple of 5?
True
Suppose -3*p - 469 = 707. Does 97 divide ((-97902)/p)/(-2*2/(-16))?
False
Suppose -4*y - 23 = 5*p - 106, -y = 3. Let j(z) = 7 - 19 - 19*z - 2*z**2 - p*z + 0*z. Does 10 divide j(-17)?
False
Is 6 a factor of -1 - (3/(-4) - 189574/88)?
True
Let j = 5227 - -7201. Does 11 divide j?
False
Is (-876)/1*(0 + 12/(-12 + 0)) a multiple of 73?
True
Let k = -240 - -840. Is 13 a factor of (k/(-16))/5*356/(-6)?
False
Is ((-4614)/9*(-18)/(-24))/(51/(-1122)) a multiple of 37?
False
Let z(l) = 33*l - 42. Suppose 20 = -1246*b + 1251*b. Does 18 divide z(b)?
True
Suppose 17*u - 2232 = -566. Suppose -92 = -0*n + n + r, -2*r - 97 = n. Let k = u + n. Is k a multiple of 11?
True
Let p(f) = -2*f**3 + 6*f**2 + 9*f - 1. Let j be p(4). Let k(g) = -3*g + 16. Let m be k(j). Suppose 4*x + m*w = 3*w + 656, w - 323 = -2*x. Is x a multiple of 28?
False
Let q(v) = 75*v + 1070. Does 5 divide q(25)?
True
Suppose 0 = 17*n - 20446 - 33903. Is 23 a factor of n?
True
Let u(y) = y**2 - 10*y + 1. Let l be u(8). Is ((-924)/18)/(5/l) a multiple of 11?
True
Suppose -37*x + 10*x - 41*x + 1062840 = 0. Is 10 a factor of x?
True
Suppose 5*w - 12 = -0*w + 2*y, -4*w + 7 = y. Let u be (-18)/5 + w/(-5). Does 14 divide 850/(-51)*6/u?
False
Suppose 192 = 94*z + 944. Suppose 2 = -h + 3. Is 15 a factor of 11381/152 - h/z?
True
Suppose n = 5*u + 18, 2*n + n = u - 2. Let g(m) = -38*m**2 - 4*m - 5. Let c be g(n). Let h = 237 + c. Is h a multiple of 11?
True
Let k be 5/10*(-6)/(-1). Suppose 3*x = -h + 59 + 314, 764 = 2*h - k*x. Is 18 a factor of h?
False
Suppose -61*x = -131*x + 95*x - 178525. Is 20 a factor of x?
False
Suppose 0*f = 3*f - 9. Let u(k) = -18*k - 260*k**3 - 24 + 261*k**3 + f*k**2 + 2*k**2. Is 2 a factor of u(-7)?
True
Let w = 952 + 160. Is 7 a factor of w?
False
Let o(a) = 15*a**2 - 38*a + 67. Does 22 divide o(-16)?
False
Suppose -2*t - 98426 = -3*r - 26126, -t = -3. Is r a multiple of 26?
True
Let l(z) = -22*z - 73. Suppose 2*r - 79 = 4*b - 3*r, 3*b - 5*r + 53 = 0. Does 19 divide l(b)?
False
Let p(l) = -8*l - 88. Let m be p(-12). Is ((m - -339) + -3)/2 a multiple of 5?
False
Let i = 41 - -26. Let z = i + -62. Suppose 5*j - 685 = -z*x, 2*x = j + 64 + 204. Is 20 a factor of x?
False
Suppose 373*u + 267289 = 8616148. Is 89 a factor of u?
False
Let x(c) = c**2 - c - 10. Let j be x(5). Let g(o) = o**2 - 12*o + 10. Let f be g(j). Let v = 39 + f. Does 9 divide v?
False
Is -5*1*((-120)/300)/(1/540) a multiple of 8?
True
Let v(x) = 11*x**2 + 16*x - 40. Let n be v(32). Suppose -n + 747 = -11*w. Is w a multiple of 37?
True
Let q(v) = 92*v**2 + 20*v - 9. Is 9 a factor of q(8)?
True
Suppose -222763 + 2512498 = 315*p. Is p a multiple of 9?
False
Suppose 0 = -5*k - 5*n + 55, 33 = 3*k + 4*n - 5. Is 19 a factor of ((-1)/3)/(k/(-5814))?
True
Suppose -i + 3 = 0, 4*b - 6*i + 4*i + 402 = 0. Suppose 5*n - 2*n - 537 = 0. Let g = n + b. Is 10 a factor of g?
True
Let m(t) be the third derivative of -49*t**5/15 - t**4/8 + t**3/3 + 45*t**2. Let u be m(1). Let a = -85 - u. Is 6 a factor of a?
False
Let g = -553 - 1061. Let w = g - -3234. Is 108 a factor of w?
True
Let r be 1*(24/(-4) + 49). Suppose 510 = 45*a - r*a. Is a a multiple of 15?
True
Let p be 640/11 - 5*(-10)/(-275). Let x = p - 10. Is x a multiple of 16?
True
Let d be 2/(6/9) + (-2 - -1). Suppose d*j - 3*j = 4*a, 0 = -3*j - 5*a - 28. Does 