of n?
True
Let j(q) = 85*q**2 + 8*q + 16. Let t be j(-4). Suppose 5*p - 2150 = -y + 1155, -2*p + 4*y = -t. Does 19 divide p?
False
Suppose -3*y + 4*j = -113601, -4*j + 97530 = 4*y - 53882. Does 106 divide y?
False
Let m(t) = 3*t**2 + 36*t + 33. Suppose 4*a + 87 = -5*j, -5*j + 4*a - 63 = -0*j. Does 39 divide m(j)?
False
Suppose -i - 9*i + 470 = 0. Let d = -38 + i. Let s = 66 - d. Is 19 a factor of s?
True
Let u(n) = -n**3 + 4*n**2 - 11*n + 31. Let y = -126 + 117. Is 88 a factor of u(y)?
False
Suppose 1386 = -3*t - 2*c + 3385, 0 = -5*t - 2*c + 3337. Suppose -9*f + 654 = -t. Is 8 a factor of f?
False
Let v(c) = -c - 1. Let f be v(-7). Suppose 55 = -f*g + 559. Suppose -7*d + 847 = g. Is d a multiple of 12?
False
Let m = 187 + 210. Suppose -4*o - 738 = -5*v + m, 3*v + 4*o - 649 = 0. Does 11 divide v?
False
Let m(c) = c + 321. Let b = -854 - -890. Is 5 a factor of m(b)?
False
Let m(r) = 4*r + 12. Let s be m(-6). Let v = -8 - s. Is 6 a factor of (v - 5) + -2 + 22?
False
Let d(b) = b + 6. Let s be d(-6). Suppose -2*c - 7 + 11 = s. Suppose -243 = -c*f - 5*r, -9*f - 3*r + 351 = -6*f. Does 19 divide f?
True
Suppose 754*r + 151020 + 4248 = 811*r. Is r a multiple of 12?
True
Let d = 4771 + 182. Does 127 divide d?
True
Let q(k) = -3*k**2 + 9*k - 6. Let u be q(5). Suppose 18*j - 87 = 15*j. Let z = j - u. Is z a multiple of 5?
True
Let k be (-25 - -37)/(4/6*3). Suppose 0 = k*i - 4*i. Suppose -4*c - 16 = 0, -4*h + 2*h - 3*c + 436 = i. Is 33 a factor of h?
False
Let n(a) = a**3 + 10*a**2 - 9*a + 7. Let d(f) = 2*f - 36. Let o be d(9). Let l = 9 + o. Is n(l) a multiple of 35?
False
Let g(u) = 15*u**2 - 4*u. Suppose 4*b - 18 = -5*r - 21, 3*r = b - 12. Does 8 divide g(b)?
False
Let i(g) = -g**3 - 4*g**2 - 3*g - 1. Let l be i(-4). Let c = 14 - l. Suppose -2*q - 73 = -3*r - 0*q, -c*q - 78 = -3*r. Is r even?
False
Let b(m) = m**3 + 21*m**2 - 26*m - 44. Let a be b(-21). Suppose -p = -s + 499, 2*p - a = -s + 6*p. Is 14 a factor of s?
False
Let v = -4134 - -4175. Let r(o) = -o**3 + 5*o**2 - 6*o - 7. Let c be r(6). Let f = v - c. Is 12 a factor of f?
True
Suppose -5*k - 114 = 1036. Let j be 8/6 + -1 + 1582/(-21). Let w = j - k. Does 23 divide w?
False
Let x(a) = -255*a**3 - 4*a**2 + 6*a + 25. Is 11 a factor of x(-3)?
False
Suppose 2*t = -5*t + 42. Suppose -t*w = -551 - 373. Suppose -4*s + 2*f + w = -162, -2*s = f - 150. Is 11 a factor of s?
True
Let s(l) = l**2 - 47*l + 9. Let x be s(-15). Let i = x + -574. Is i a multiple of 5?
True
Let w(t) = -2*t**3 + 54*t**2 - 50*t - 38. Let x be w(26). Let u = 2 - -14. Suppose x*b + 98 = u*b. Is b a multiple of 5?
False
Suppose -4*n - 594 = -26*n. Let b = n - -61. Is 22 a factor of b?
True
Is 14379*(15 + 616/(-42)) a multiple of 8?
False
Suppose -8*g + 327 + 633 = 0. Is 10 a factor of ((-636)/(-5))/(36/g)?
False
Let i(y) = -116*y - 21*y + 55*y + 16. Is 12 a factor of i(-3)?
False
Let s be (-6)/(-8)*4 + -24. Let z = s - -21. Suppose -3*h = 2*k - 112, z = -4*k + 3*h + 2*h + 224. Does 9 divide k?
False
Suppose -12*k = -25*k - 12*k. Suppose -5*y + 5 = k, 4*j - 87*y - 2645 = -88*y. Does 67 divide j?
False
Suppose -d + 7*g - 2*g = 7, -4*g = 5*d - 110. Let r = 405 + d. Is r a multiple of 47?
True
Suppose 2*y + 4*a - 8959 = 2813, 3*a = 3*y - 17631. Does 46 divide y?
False
Let f(u) = u**3 - 7*u**2 - 14*u + 87. Is f(13) a multiple of 3?
False
Suppose -3*y + 6 = -5*g, -3*g = 3*y - 2*g - 6. Suppose 2*i + y*r + 13 = 5*i, 0 = 4*i - 3*r - 18. Suppose i*v + 4*v = 448. Does 8 divide v?
True
Let q = 10347 + -7317. Suppose -3*h - 3*j + q = 0, -5*j + 10*j + 5100 = 5*h. Does 11 divide h?
False
Suppose -y + 3670 = y. Suppose -2430 = -4*x + 2*i, 0 = 3*x + 2*i - i - y. Is x a multiple of 61?
True
Let d(h) = 3*h**2 + 2*h**2 - 6*h**3 - 11*h**3 + 36 + 13*h + 13*h**3. Is 17 a factor of d(-5)?
False
Suppose 26*u = 22*u - 20, -u + 26 = o. Suppose 3*p + 5*y - 207 = 0, 3*y + 24 = p - o. Is p a multiple of 41?
False
Suppose 9*j - 19*j = -3*j. Suppose -2*h - 250 + 328 = j. Is h even?
False
Let h = 64 + 74. Let j = h - 77. Let b = -4 + j. Is b a multiple of 19?
True
Suppose -13*a - 72 = -5*j - 10*a, -4*a + 4 = 0. Is 464/2 + j + -10 a multiple of 9?
False
Let z = 6 + 6. Suppose 8 = -z*v + 32. Suppose 20 = -v*c + 48. Does 14 divide c?
True
Let u(v) = 547*v**2 + 21*v - 11. Is u(-2) a multiple of 53?
False
Does 70 divide 8525 + -3 - (18/(-3) - -15)?
False
Let p = 205 + -9. Let m = p - -16. Is m a multiple of 7?
False
Let u = -3 - 1. Is (-51510)/(-60) - (-2)/u a multiple of 13?
True
Suppose -32*z + 11*z + 147 = 0. Suppose z*b - 11*b + 184 = 2*q, 368 = 4*q + b. Does 10 divide q?
False
Let d = 32589 - 20842. Does 11 divide d?
False
Let v be (-4)/(-3 + 56/20). Suppose p = 62 - v. Suppose 0 = -d - 15 + p. Does 3 divide d?
True
Let k(z) = z**3 + 12*z**2 + 29*z - 11. Let f be k(-6). Suppose 11552 = f*m - 4382. Is 33 a factor of m?
False
Suppose 2*a - 452 + 1760 = 0. Let x be (-4 + 0)*a/12. Suppose -4*m + 4*l + 396 = 0, -x = -2*m + 4*l - 6*l. Does 8 divide m?
True
Suppose 4*z - 20 = 0, 4*z - 4 - 13 = a. Let w be (94/a - 3) + 4/6. Suppose -11*y = -12*y + w. Does 29 divide y?
True
Let c(a) = -263*a - 14101. Is 192 a factor of c(-131)?
True
Let r = -110 - -114. Suppose 92 = r*o + 4. Is 11 a factor of o?
True
Suppose 3*d + 4 = g, -4 = 4*d + g - 2*g. Suppose -6 = -3*z - d. Is z/(-5) + 4 + (-1988)/(-20) a multiple of 30?
False
Is (-4)/24 + -14 + 1084447/42 a multiple of 94?
False
Let h(m) = -m**3 + 15*m**2 - 10*m - 25. Let z be h(14). Suppose -3*r = -2 - z. Let a(l) = l**2 - 9*l + 26. Is 6 a factor of a(r)?
True
Let x = 17755 - 10995. Does 169 divide x?
True
Suppose -y + 38 - 33 = 0, 0 = -2*z + 3*y + 3615. Is 33 a factor of z?
True
Suppose 8*h = 5*b + 81483, -14*h - b - 10185 = -15*h. Is 82 a factor of h?
False
Is 3620 + (-3 - (-19 - -4)) a multiple of 16?
True
Let g(t) = 2*t**2 - 2*t - 3. Let w be g(-2). Let q = 1041 - 1041. Is -16*(w/(-12) - q) a multiple of 12?
True
Let y(a) = 165*a - 155. Let z be y(10). Let b = z + -716. Is 19 a factor of b?
True
Suppose 0 = -5*n + 4*x - 3*x + 92, n - 5*x - 28 = 0. Suppose -7*d = -d - n. Does 18 divide (7 + (-205)/10)*(-4)/d?
True
Let l = -107 + 112. Suppose q + 10 = 2*t + 82, -l*q + 5*t + 365 = 0. Does 10 divide q?
False
Let v = -122 + 104. Let u = v - -31. Suppose -4*r = 2*o - 117 + u, 2*r - 196 = -4*o. Does 8 divide o?
True
Does 21 divide (-2429)/(-2) - (6 - (-9)/(-2))?
False
Let r(i) = -38*i + 71. Let g(k) = -40*k + 70. Let p(a) = 3*g(a) - 4*r(a). Is p(4) a multiple of 27?
True
Let r(p) = -p**3 + 9*p**2 + 8*p + 32. Let q be r(-13). Let k = -2046 + q. Is k a multiple of 50?
True
Suppose 8*m - 225 + 17 = 0. Suppose -j + m = 2*r, -2*r - 9 = r. Is j a multiple of 32?
True
Let j(r) = 3*r**2 + 3*r + 7. Let g be j(-2). Is 4 a factor of 3 - (-1 - (12/3 + g))?
False
Let x(i) = -13*i + 156. Suppose 0 = 3*s - 2*z, 8*s - 10*s = -5*z. Is 13 a factor of x(s)?
True
Let b(j) = 9*j**2 + 2*j + 4. Let a be b(-3). Let r = a - 49. Suppose 132 = 3*h - r. Does 9 divide h?
True
Let s(i) = i**2 - 8*i - 1. Let m be s(8). Let x(o) = -59*o - 46. Is x(m) a multiple of 2?
False
Let t = 22999 + -15507. Does 18 divide t?
False
Let n be 179/((-2)/((-8)/(-4))). Let f = 398 + n. Suppose 10*c = f + 31. Does 3 divide c?
False
Let k = 250 + -249. Does 22 divide 2/(-12) + ((-1191)/(-18) - k)?
False
Let x be ((-78)/10)/((-3)/15). Let u = -36 + x. Suppose u*h = -3*h + 150. Does 25 divide h?
True
Let s = -197 + 902. Let h = s - 189. Does 43 divide h?
True
Let r = 3569 + 3607. Is r a multiple of 92?
True
Let s = 50 + -47. Let k(d) = -86 + 2*d - 5*d - s*d + d**2 + 79. Is k(-4) a multiple of 5?
False
Let z(y) = 132*y + 2. Let w(x) = 269*x + 3. Let q(k) = 2*w(k) - 5*z(k). Is q(-2) a multiple of 8?
True
Suppose -f - 37568 = -3*i, f = 4*i + 6*f - 50097. Is 49 a factor of i?
False
Let z = -70 - -55. Let l(r) = -r - 13. Let b be l(z). Suppose -b*s = -11*s + 837. Does 18 divide s?
False
Let g(m) = -m**2 - 20*m. Let f = -15 - -18. Suppose -3*r + f*z - 71 = -14, -2*r - z - 35 = 0. Does 6 divide g(r)?
True
Suppose 18 = 6*f - f + 2*p, -f - 5*p + 22 = 0. Suppose 2*h = 7*h - 2*z - 851, -f*z - 509 = -3*h. Does 19 divide h?
True
Let c = -726 + 245. Let y = c - -1061. Is 24 a factor of y?
False
Suppose b = -11 + 7. Let u be -1*(7 + b)*(-6)/9. Suppose -u*d - 63 = -381. Does 22 divide d?
False
Is 10