p) = h*x(p) + 6*f(p). Does 7 divide n(5)?
True
Let n(a) = 3*a**3 - 80*a**2 + 43*a + 23. Let q(s) = s**3 - 39*s**2 + 22*s + 12. Let d(v) = 3*n(v) - 7*q(v). Does 4 divide d(-17)?
False
Let o = 5455 + -33971. Is 19 a factor of o/(-21) + (-4)/(-42)?
False
Is 88 a factor of -9*(-16)/(-24) + 64080/4?
False
Let c = 6806 + -3967. Is 9 a factor of c?
False
Let a be (2/4)/(0 - -1)*18. Suppose -62 = -a*k - 206. Is (-21)/2*k/3 - -1 a multiple of 4?
False
Let h = 232 - 328. Let t be (-182)/(-4) + h/(-64). Let j = 132 - t. Does 5 divide j?
True
Does 5 divide (-193520)/(-70) - -4 - 6*3/(-42)?
False
Suppose 18794 = 2*k + 2*g, 0 = -43*k + 39*k - g + 37588. Does 32 divide k?
False
Suppose 5*n - 23 = -m, m = n - 3 + 8. Suppose m*c + 16 = 4*c. Does 20 divide c - (0 - 7) - -137?
True
Let x(k) = -1272*k + 1016. Is x(-12) a multiple of 185?
True
Let v(c) be the first derivative of 9*c - 1/3*c**3 - 3 + 1/4*c**4 - 2*c**2. Is v(4) a multiple of 6?
False
Let h be 3 - 3/9*(-3 - 0). Suppose 0*w - 5*d = 3*w - 425, -h*d = w - 130. Suppose -w + 20 = -5*t + 5*n, -2*n - 124 = -5*t. Does 12 divide t?
True
Suppose 160*s = 161*s - 5. Suppose s*n + g - 2*g = 2306, n - 446 = 4*g. Is 53 a factor of n?
False
Does 41 divide 14/(-35) + 20524/10?
False
Let g = 7633 + -649. Is g a multiple of 3?
True
Suppose -10*n + 159236 = 2*n + 10*n. Does 30 divide n?
False
Let u(l) be the third derivative of l**6/120 + 13*l**5/15 + 13*l**4/8 - 16*l**3/3 - 93*l**2. Is u(-51) a multiple of 58?
True
Is (150939360/(-168))/(-33) + 2/7 a multiple of 4?
False
Suppose 0 = -26*j - 6*j + 2400. Is 21 a factor of 4/(-6)*3 + (j - -14)?
False
Let c = -35 + 21. Does 2 divide (6/(-21))/(c/1568)?
True
Let w(g) be the third derivative of -31*g**4/8 - 22*g**2. Let m be w(2). Let a = -60 - m. Is 18 a factor of a?
True
Suppose 0 = -m + 2, -55*u + 54*u - 9*m = -1130. Is u a multiple of 82?
False
Suppose 38*d = 44*d - 402. Suppose -h + x = -d, 8 = 39*x - 37*x. Does 53 divide h?
False
Is -3*(-84)/112*107896/18 a multiple of 175?
False
Suppose -137*q - 11427 + 205693 = 0. Is 2 a factor of q?
True
Let o be 9/6*4/2. Suppose 9*k = 7*k + 222. Suppose -o*c - 9 = -k. Is 17 a factor of c?
True
Let r(k) = -689*k - 15. Let x be r(-3). Suppose -2*m = -2*s + 291 + 1077, -m + x = 3*s. Does 14 divide s?
False
Is (2712/(-16))/((-87)/1160) a multiple of 17?
False
Suppose -5*k = 528 - 2988. Let u = k + -341. Suppose -u - 29 = -4*r. Does 15 divide r?
True
Let f(g) = 6*g**3 - 22*g**2 - 23*g + 23. Let s(c) = -5*c**3 + 21*c**2 + 24*c - 24. Let k(a) = 4*f(a) + 5*s(a). Does 6 divide k(18)?
False
Let s(v) = -v**3 + 18*v**2 + 21*v - 20. Let d(b) = b + 12. Let r be d(7). Let k be s(r). Suppose -72*h = -75*h + k. Does 6 divide h?
True
Suppose 128*d - 2215391 = -0*d + 1500193. Is d a multiple of 33?
False
Let h(f) = 61558*f**2 - 7*f. Is 26 a factor of h(1)?
False
Suppose 14*w - 18*w = 2*m - 400, 0 = 3*m + 5*w - 605. Is m a multiple of 13?
False
Suppose 4931 = -3*u - 4837. Suppose -6 = -3*g + 15. Is 3 a factor of u/(-154) + (-1)/g?
True
Suppose 0 = -5*f - 4*r + 59797, 35874 = -30*f + 33*f + r. Does 74 divide f?
False
Let t(n) = -3*n**3 + 122*n**2 + 40*n + 36. Let d be t(41). Let l(f) = 39*f**2 - 11*f - 5. Is l(d) a multiple of 14?
False
Suppose 0 = 4*n - 4, 0 = -5*a - 77*n + 81*n + 61791. Is a a multiple of 188?
False
Suppose -49*j + 58*j = 1512. Is 1/(-8) - (-73941)/j a multiple of 11?
True
Let m(w) be the third derivative of 13/24*w**4 + 0*w + 4*w**2 + 0 + 3/20*w**5 - 5/6*w**3 - 1/120*w**6. Does 2 divide m(10)?
False
Let b = 7373 + -1928. Suppose -3*w - b = -8*w. Suppose -9*o + 126 = -w. Is o a multiple of 27?
True
Suppose -11931 = -2*n - 6385. Does 12 divide n?
False
Suppose 30*o - 4*o - 33008 = 10*o. Does 11 divide o?
False
Let l(c) = 61*c - 1085. Is 7 a factor of l(38)?
False
Let c(g) = -g**3 - 22*g**2 - 66*g + 18. Let p be c(-13). Let w = -339 - p. Is 17 a factor of w?
True
Suppose -5*s + 4*z = 998, 7*z - 3*z = 2*s + 404. Let y = s - -372. Suppose 2*t = -2*f + 117 - 21, -4*t = -2*f - y. Is t a multiple of 5?
True
Suppose -9*s - 161 - 1135 = 0. Does 9 divide (s/(-4) - 1)*264/40?
False
Let y(c) = c**2 - 3*c - 1. Let r be y(4). Suppose l + l - 88 = 0. Suppose 4*d = r*d + l. Does 17 divide d?
False
Suppose 0 = -3*r + 2*u + 3464, 2*r + 2*u - 2284 = -3*u. Is r a multiple of 8?
True
Suppose 8*g = 49*g - 210535. Is g a multiple of 19?
False
Let z(v) = 31*v - 16. Let j = 27 + -31. Let d be j*14/(-8) + 1 + -1. Is z(d) a multiple of 9?
False
Let f = 51 + -60. Let y(j) = 3*j**3 + 6*j**2 + 12*j + 11. Let r(l) = -7*l**3 - 11*l**2 - 25*l - 22. Let v(g) = f*y(g) - 4*r(g). Is v(11) a multiple of 2?
True
Suppose 69*g - 65*g - 3*c = 59481, -3*g + 44595 = 3*c. Is g a multiple of 118?
True
Suppose 4*y = 5*j + 276, 5*y + 3*j - 419 = -111. Suppose -21*d = -y - 13922. Is 37 a factor of d?
True
Suppose 5*v - 166 = f + 233, -f - 415 = -v. Let q be (1761/12)/((-1)/4). Let r = f - q. Is r a multiple of 8?
True
Suppose 2*z + 24 = -2*z. Let d be (-69)/46 + z/(-4). Suppose -2*g + 4*g + 3*t - 207 = d, 3*g + 4*t = 308. Is 9 a factor of g?
False
Suppose -t - 36 = -7*t. Suppose 0 = -7*m + t*m - 144. Let i = m + 256. Is 18 a factor of i?
False
Suppose -10*q + 15*q = 90. Let s = -11 + q. Is 27 a factor of ((-6076)/(-8))/s + 3/(-2)?
False
Suppose -55962 - 137936 = -67*d. Does 29 divide d?
False
Let y be ((-1)/2)/(38/(-2508)). Is (-44)/y*(3 + (-105)/2) a multiple of 3?
True
Suppose -3*w + 687 = -5*n, -4*n - 640 = -5*w + 518. Suppose -239*t = -w*t - 1955. Is t a multiple of 17?
True
Suppose -146*k = -1521564 - 1854102. Is 9 a factor of k?
True
Let g(o) = 217*o**2 + 5*o + 36 + 25 - 34*o - 19 - 210*o**2. Does 36 divide g(14)?
True
Let k(t) = t**3 - 25*t**2 - 95*t - 76. Is k(31) a multiple of 9?
True
Let k(b) be the second derivative of b**4/12 - 4*b**3 - 11*b**2/2 - 70*b. Is 5 a factor of k(27)?
True
Suppose -5*w = 4*m - 7*w - 18, 0 = -m - 5*w + 32. Suppose 797 = m*c - 309. Is 5 a factor of c?
False
Suppose 29*d - 34*d + 1624482 = 62*d. Does 72 divide d?
False
Let u(x) = x**3 + x**2 - 12*x - 18. Let i be u(-9). Is 40 a factor of i/(-7) - 8/(-28)?
True
Let m be (3 - -1)/1 + -257. Let h = -64 - m. Let g = 313 - h. Is 14 a factor of g?
False
Suppose 55*d - 138894 = 174716. Does 67 divide d?
False
Suppose 21 + 31 = -4*g. Let q = g + 21. Suppose 6*x = q*x - 82. Is 18 a factor of x?
False
Suppose -2*v + 17069 = 4*f + 301, 3*v - 25166 = -4*f. Is 17 a factor of v?
True
Suppose 256 = 4*b - 2*q, -4*q - 260 = -4*b - 3*q. Let o(k) = -k**3 + 3*k - 1. Let j be o(2). Is b + (j + 1)*-1 a multiple of 26?
False
Let m(v) = 30*v**2 + 5*v + 8. Suppose 0 = 10*o - 7*o - p + 9, o = -p - 7. Does 18 divide m(o)?
True
Suppose 8*h - 468 = 148. Let z = 80 - h. Suppose -2*f = z*l - 76, -6*l = 5*f - 2*l - 176. Does 32 divide f?
True
Suppose 0 = -4*m - 5*o - 139, 5*m + 0 = 3*o - 183. Does 28 divide (-5*m/(-40))/((-3)/868)?
False
Let y be (-159)/(-15) - 12/(-30). Suppose 11*v = -y - 0. Is 4 a factor of -40*(-1 + v/(-2))?
True
Suppose 0 = 5*s + 4*m - 30, -5*s + 5*m = 4 - 34. Suppose -s*d = -2*d - 2700. Is 15 a factor of d?
True
Suppose 25*v = 41*v - 78336. Is v a multiple of 36?
True
Let b(z) = -2*z**3 - 79*z**2 + 79*z - 2. Is b(-42) a multiple of 22?
True
Suppose i = 3*b - 28, 3*b - 2*i = 3*i + 8. Suppose -n = -3*j + n + 15, 0 = 2*j - n - b. Suppose -10*l = -j*l - 168. Is 5 a factor of l?
False
Suppose -245 = -4*q - u, 2*q - u + 305 = 7*q. Suppose 5*o = 2*j - 3*j - q, o = -5*j - 396. Let k = j - -107. Is 4 a factor of k?
False
Suppose 18*t + 3783 = 3*y + 15*t, -1281 = -y - 3*t. Is 12 a factor of y?
False
Suppose -2*q - 359 + 351 = 0. Let a(j) = -20*j - 21. Does 5 divide a(q)?
False
Is 21 a factor of (3/3 - -808)*(-17 - -18)*21?
True
Let n(p) be the third derivative of p**8/720 - p**7/5040 + p**6/240 - 7*p**5/20 + 4*p**2. Let i(u) be the third derivative of n(u). Does 13 divide i(-2)?
True
Suppose -z - j + 2266 = 3*z, 0 = z - 4*j - 558. Is z a multiple of 10?
False
Suppose -8*j + 6 + 50 = 0. Suppose -5*l - 53 = j. Let m = 131 - l. Is m a multiple of 11?
True
Suppose -20 = -0*l - 4*l. Let x be (-2)/l - 126/(-15). Suppose -x*n = -60 - 76. Is n a multiple of 11?
False
Let w be (-12)/66 + (-105)/(-33). Suppose 2*d = -w*p + 69 - 13, -3*p + 5*d = -70. Suppose -3*s + 226 = -5*k - 0*k, -5*k = -p. Is 9 a factor of s?
False
L