*p - 4*p**3 + 3*p**3. Does 35 divide q(-10)?
False
Let l be (126/(-8))/(-2*2/(-16)). Let k be (-332)/(-6)*l/14. Is -1 - -2*k/(-6) a multiple of 26?
False
Suppose -113*o + 2959126 + 1972528 = 45*o. Does 91 divide o?
True
Let r be ((-44)/(-21) - 2) + 299344/336. Suppose 0*i - 3*i = -r. Is 26 a factor of i?
False
Suppose 19*m - 1 = 18*m. Suppose -k - m = -5. Suppose -3*g - 2*p = -33, -21 = -k*g + p + 23. Does 3 divide g?
False
Suppose p + 2*y + 574 = 3177, 3*y = -3*p + 7797. Is 67 a factor of p?
False
Suppose -4*h + 188*w = 185*w - 1781, 0 = 4*h + 5*w - 1789. Is 95 a factor of h?
False
Let f(k) be the second derivative of 2*k**3/3 - 29*k**2/2 - 9*k. Let s be f(8). Suppose 2*m - 1072 = -5*u, u + 4*m = s*u - 448. Is u a multiple of 17?
False
Let u(k) = -30*k**2 + 20 - 3*k**3 + 5*k**3 + 22*k**2. Let r be u(5). Suppose 4*n = 6*n + x - r, -2*n + 86 = 5*x. Is 30 a factor of n?
False
Let q = 22 - 25. Let h be 46/(-6) + (-2)/q. Does 18 divide (-98)/21*54/h?
True
Let t be 3/((-12)/56) + (4 - 0). Is 12 a factor of (1 + t)*(27 - 38)?
False
Suppose -3*g - 9 = 0, -3375 = -l - 5*g + 66100. Is l a multiple of 29?
False
Let z(i) = -62*i + 5396. Does 20 divide z(46)?
False
Let l = 24 + 8. Suppose -u - l = -3*r - 3*u, 4*r - 4*u = 56. Is 2 a factor of r?
True
Let b(n) = 18*n - 9. Let l be b(2). Let a = l + -96. Let m = a - -208. Is m a multiple of 17?
False
Does 14 divide 3858/10 - (-111)/555?
False
Let k(n) = 16*n - 43. Let t(h) = 52*h - 129. Let l(f) = 17*k(f) - 6*t(f). Is l(-2) a multiple of 4?
False
Let f(a) = 3*a**2 - 15*a - 19. Let d(i) = -i**2 - i + 1. Let o(u) = -4*d(u) - f(u). Let b be o(-15). Is 18/b + 904/10 a multiple of 14?
False
Suppose 3963 = -5*w + 9*w - d, -5*w = 5*d - 4935. Is 45 a factor of w?
True
Let g(h) = 5*h**3 - 2*h**2 - h + 1. Let p be g(-2). Let t = 48 + p. Suppose 8*y - t*y = 75. Does 15 divide y?
True
Does 162 divide 806688/30 + 708/295?
True
Suppose 5*r - 195 = -4*g, 16*g - 18*g = -4*r - 130. Suppose -x - g = -203. Does 4 divide x?
True
Let i be 348 - (26 + -3 + -10). Let j = -455 - -263. Let d = j + i. Is d a multiple of 15?
False
Suppose 0 = -33*s + 28*s + 5*f + 3155, -4*s + 2506 = 5*f. Is 40 a factor of s?
False
Suppose 39*q + 17*q + 1960 = 0. Is (q/10*94)/(-1) even?
False
Let k(y) be the first derivative of 35*y**2/2 - 35*y + 20. Is k(5) a multiple of 28?
True
Does 31 divide (-10*235/(-280) - 3/21)*764?
False
Let k(c) = c**3 + 7*c**2 - 27*c - 158. Let l be k(-6). Suppose -l*y = -42*y + 2232. Does 12 divide y?
True
Suppose -27*t + 812832 = 295026. Is 35 a factor of t?
False
Let p(c) = c**3 + 30*c**2 - 13*c - 132. Suppose -24*s = -2*d - 19*s - 43, -3*d + 5*s - 72 = 0. Is 60 a factor of p(d)?
False
Suppose -22 = -21*r + 19*r. Let v(f) = 3*f - 39. Let u be v(r). Does 5 divide 3/u*5*(-1352)/65?
False
Let d be 12*(-6)/(-18) + -5. Let n(k) be the first derivative of 128*k**3/3 - 2*k**2 - 3*k - 2. Is 22 a factor of n(d)?
False
Let b(f) = -f**2 + 45*f - 22. Let g(c) = c + 32. Let p be g(-7). Does 19 divide b(p)?
False
Suppose -2*f - 5*w = -39, -11 + 8 = f - 5*w. Suppose -f = 13*k - 17*k. Suppose 3*h = 2*j - 191 - 37, -342 = -k*j - 5*h. Is j a multiple of 19?
True
Let t be ((-1)/1)/(4/(-36)). Let w = 860 - 808. Let x = w - t. Is x a multiple of 5?
False
Let f(s) be the second derivative of 39/2*s**2 - 1/6*s**3 + 0 + 12*s. Is 2 a factor of f(23)?
True
Suppose -5*k + 2*s + 389 = 4, 0 = -5*k + 4*s + 375. Let m(p) = p - 4 + 4 + 3 - 2 + k*p**2. Is 27 a factor of m(1)?
True
Suppose 4*n = -5*o - 24, -8*o - 16 = -4*o. Does 45 divide n/(12/(-54))*60?
True
Suppose 184 = 25*k - 24*k. Let j = k - -45. Is j a multiple of 21?
False
Let h(a) = a. Let r(p) = -22*p + 8. Let s(k) = 4*h(k) + r(k). Let y be s(-1). Suppose -y + 176 = 5*m. Is 23 a factor of m?
False
Let q(a) be the second derivative of -a**3/3 - 11*a**2/2 - 29*a. Let r be q(-6). Is 8 a factor of 6/(3 + 0) - -75*r?
False
Let n(z) = -38*z + 7. Let s(d) = -d + 2. Let b be s(0). Let r(w) = 153*w - 29. Let v(p) = b*r(p) + 9*n(p). Is v(-1) a multiple of 5?
False
Suppose 0 = 53*j - 58*j + 55. Suppose -j*p = 645 - 2570. Let t = p + -103. Is 3 a factor of t?
True
Suppose 2*m + 4355 + 2161 = 4*w, -5*w + 3*m = -8144. Does 163 divide w?
True
Let x(b) = 1124 - 27*b + 67*b + 91*b - 1095. Does 27 divide x(2)?
False
Let n(q) = 5*q + 6. Let j(f) = 10*f + 12. Let l(t) = -4*j(t) + 7*n(t). Let w(o) = -282*o + 3944. Let c be w(14). Does 14 divide l(c)?
True
Suppose -28 = -4*j, 9*r + 62 = -3*j + 137. Let q(u) = -11*u**2 + 5*u - 4. Let y(x) = -6*x**2 + 2*x - 2. Let h(a) = -3*q(a) + 5*y(a). Does 8 divide h(r)?
True
Is -70*((1/(-5))/((-5)/(-1145)) - -5) a multiple of 8?
True
Suppose 0 = 17*x - 1133 - 567. Does 54 divide ((-382)/8)/(((-95)/x)/19)?
False
Let v = -617 + 1022. Suppose 5*k - v = 3*n, 29 = k - n - 50. Suppose 0 = -4*u + 204 + k. Does 24 divide u?
True
Let g = -15 + 18. Suppose -56 = -g*w - 83. Let c(a) = a**3 + 10*a**2 + 5*a - 18. Does 6 divide c(w)?
True
Suppose -17*o + 181*o - 503152 = 0. Is 64 a factor of o?
False
Let z = -13294 + 14247. Is z a multiple of 4?
False
Let x be -3 + 1 + -27 + 3659. Suppose -x = 24*r - 46*r. Is 4 a factor of r?
False
Let j(a) = -2*a + 31. Let s be j(13). Let g(u) = 3*u**3 - 9*u**2 - 7*u + 5. Let c be g(s). Suppose 8*f + c = 888. Is f a multiple of 8?
True
Suppose -w + 25 = 3. Suppose w - 6 = 4*o, 0 = 5*j + 3*o - 3342. Let m = j - 471. Is 39 a factor of m?
True
Suppose -3*y + 11211 = 33*l - 28*l, -3*l + 6773 = -4*y. Is l a multiple of 190?
False
Suppose -250*q - 227*q + 10329913 = -136*q. Is 38 a factor of q?
False
Let w(t) = 3*t**3 - 4*t**2 + 5*t - 5. Let p be w(2). Is 2/p + 88140/507 a multiple of 19?
False
Let n(w) = -2*w**2 - 8*w + 6. Let u be n(-4). Suppose 5*j - 14 = u. Suppose 5*d = -2*l + 95, l = -l + j*d + 50. Is 13 a factor of l?
False
Is (-5 - 3) + ((-5 - -2) + 10 - -13329) a multiple of 15?
False
Suppose 9592 = 8*q + 3024. Let o = q - 546. Is o a multiple of 25?
True
Suppose 542*f + 24558 = 543*f - 4*p, f + 3*p = 24544. Is f a multiple of 10?
True
Suppose -13*l + 6*l = -77. Suppose -13*s = -l*s - 980. Does 49 divide s?
True
Suppose 3*h - 6 = 0, -2*n + 4*h + 5162 + 5378 = 0. Does 12 divide n?
False
Let j(a) = 250*a**3 + 6*a**2 - 113*a + 720. Is 382 a factor of j(6)?
False
Let f be ((-1160)/160)/((-2)/8). Suppose 3*g - 1623 = -3*r, -f*r = -5*g - 28*r + 2699. Is 13 a factor of g?
False
Let l = -146 - -149. Suppose -2*i = i + 5*z - 9, 6 = 2*i + l*z. Is i/((-15)/(-1235)) + -5 a multiple of 11?
True
Let s = -8 + 7. Suppose 5*p = -4*h + 6*p - 338, -2*h = -p + 170. Is (4/24*2)/(s/h) a multiple of 4?
True
Does 3 divide (-8)/(920/5313)*(0 - 35)?
True
Suppose 18340 = 4*y + 5*d, 0 = -5*y - 4*d + 8*d + 22966. Suppose -390*p + 396*p = y. Does 51 divide p?
True
Let v be 2 + (-7)/((-35)/10). Let t(d) = v*d + 3*d**2 + d**2 - 1 - 3*d**2. Is 4 a factor of t(-9)?
True
Let g = 291 - -85. Is g a multiple of 15?
False
Let u(a) be the second derivative of a**4/3 + 7*a**3/6 + 10*a**2 - 2*a. Let z be u(-6). Let x = z - 38. Is 19 a factor of x?
False
Let u = 30 + -25. Suppose -5*f + u*j = 95, -f + 2*f + j + 25 = 0. Is f/99 - 562/(-18) a multiple of 11?
False
Let q = -32737 - -46564. Is q a multiple of 11?
True
Let c = -228 + 242. Suppose -c*x + 11*x = -45. Does 5 divide x?
True
Suppose -33*l + 2492 = -26*l. Let j = l - 160. Does 28 divide j?
True
Let k = -28 - -20. Let c(h) = 11*h - 28. Let w(r) = -24*r + 58. Let o(d) = -5*c(d) - 2*w(d). Is 8 a factor of o(k)?
True
Suppose -1689 = -2*m + 2*y + 7125, -5*y + 17673 = 4*m. Is m a multiple of 4?
True
Let y = -9 - -117. Suppose 117 = g - 4*u, 0*g + y = g + 5*u. Does 4 divide g?
False
Let p(o) = 40*o**2 + 154*o - 2345. Is p(19) a multiple of 78?
False
Suppose -229836 = -45*j + 587978 - 9974. Is j a multiple of 51?
True
Suppose -3*w - 102410 = -13*w. Is 104 a factor of w?
False
Suppose 449*g - 436*g - 11778 = 0. Is g a multiple of 6?
True
Let s be 5 + 6 + -4 + -7 + 2731. Suppose -5*k + 41*g + s = 39*g, 0 = -2*k - 4*g + 1102. Is k a multiple of 16?
False
Let u = -352 + 255. Let y = u - -248. Is y a multiple of 58?
False
Suppose -4*u = -12*u + 1152. Suppose a + 60 = 2*q, -5*q = -q + 4*a - u. Is 19 a factor of q?
False
Let n = -2942 + 4560. Is n a multiple of 43?
False
Is 3 a factor of (-2)/15 + 6 + (-4135)/(-75) + 6?
False
Suppose -51*a + 578061 - 1