-5*q - c*g, 0 = -5*q - 5*g + 1110. Does 17 divide q?
True
Does 16 divide 8 + (-90)/(-75) + 6948/10?
True
Suppose -381 = -y + 21. Suppose 4*p - 836 = -824. Suppose k + 2 + 2 = 0, -p*t + 3*k = -y. Does 26 divide t?
True
Suppose 4*a - 2*a = 18. Let l = a - 7. Suppose 5*v - 156 = l*v. Is v a multiple of 12?
False
Let p(t) = -375*t**3 - 5*t**2 - 11*t - 26. Does 213 divide p(-4)?
False
Let f = 301 - 298. Suppose f*r = 4*p + 1264, -4 = -3*p + 11. Is r a multiple of 72?
False
Let i = 23 - 55. Suppose 4*w - w = -453. Is 19 a factor of (-16)/i + w/(-2)?
True
Let j(v) = 85*v + 10558. Is 9 a factor of j(20)?
True
Suppose -4*p - 2*k = -66020, 5*p + 263*k - 260*k - 82523 = 0. Is 17 a factor of p?
True
Let m(p) = -5*p**3 + p**2 - 203*p + 36. Does 187 divide m(-17)?
False
Suppose 43 = 16*a - 37. Let f(l) = l**3 - l**2 - 8*l + 42. Is 12 a factor of f(a)?
False
Let n = 6382 - 5878. Is n a multiple of 5?
False
Let x be (256/12 - 4/3)/2. Suppose -x*l - l = -792. Is l a multiple of 11?
False
Let i(n) = -n - 15. Let d be i(2). Let u = d - 30. Let y = 8 - u. Is y a multiple of 29?
False
Let v = 80269 - 46774. Is 21 a factor of v?
True
Suppose -218 = -6*m + 82. Let i be (-1 - -4) + m/10. Suppose i*u - 516 = -36. Is 20 a factor of u?
True
Let o(p) = -1432*p + 8960. Is 240 a factor of o(-10)?
True
Let k(y) be the third derivative of y**5/60 - 5*y**4/12 + 4*y**3 + 12*y**2 - 2. Let w be (-5)/10*-7*2. Is 3 a factor of k(w)?
True
Let m(r) = 7879*r**2 + 67*r - 68. Is m(1) a multiple of 101?
True
Let b(m) = -12*m - 189. Let a be b(-16). Suppose n = 4*k - 681, -k + a*n = 34 - 196. Does 19 divide k?
True
Let f be 6/(-9)*6*1. Let r be 0/(f + 3 + 3) - -2. Suppose -3*a + v + 83 = 0, -r*v = a - 36 + 6. Does 23 divide a?
False
Let n = 27 - 8. Let l(m) = -3*m + n + 36 - m**2 + 36. Is l(0) a multiple of 17?
False
Suppose 12*q = -y + 7*q + 679, 2037 = 3*y - 6*q. Is y a multiple of 17?
False
Let k = -17485 + 24895. Is 65 a factor of k?
True
Suppose t - u = -18 + 13, -t - 5*u = -25. Suppose 160*s - 169*s + 297 = t. Is 3 a factor of s?
True
Let l = 7101 - 3884. Is 38 a factor of l?
False
Let h(y) = 4 + 8*y + 0 + y**2 - 2. Let x = 3830 - 3840. Is 22 a factor of h(x)?
True
Is 178 a factor of (27977949/(-54))/(-41) - (-14)/12?
True
Let k = -10986 + 38001. Does 22 divide k?
False
Let w(i) be the third derivative of -48*i**2 + 0*i + 61/6*i**3 - 3/2*i**4 + 0. Is w(-9) a multiple of 55?
True
Suppose -3*h = 3*o - 24, 4*o - 27 = -2*h + 15. Suppose -d - 4*d = -255. Let w = o + d. Does 9 divide w?
False
Let f(j) = 2*j**3 - 93*j**2 - 72*j + 146. Is 104 a factor of f(48)?
False
Suppose 21*n + 13746 - 23930 = 13021. Does 47 divide n?
False
Suppose 0 = -7*x + 8 + 13. Suppose -5 = -5*f - x*m + 7, -2*m = 5*f - 13. Does 4 divide 17 + -10 + (1 - 1) - f?
True
Let d be ((-575)/50)/(-1*1/4). Let u = d + -50. Is 13 a factor of (u*65/(-30))/((-1)/(-18))?
True
Let z = -17197 - -25130. Does 3 divide z?
False
Let p(q) = -7*q - 67. Let g be p(-9). Let j(t) = -3*t**3 + t**2 - 19. Let x be j(g). Suppose -6*c + x = -3*c. Is c a multiple of 8?
False
Let b be (16 + 4 + -2)*(2 + -5). Let g = 434 + b. Suppose g = -6*d + 10*d. Is d a multiple of 19?
True
Let g(q) be the second derivative of q**5/20 + 2*q**4/3 + 7*q**3/3 + 2*q**2 - 11*q. Let o be g(-5). Suppose 22*n - o*n = 260. Is 9 a factor of n?
False
Suppose 48471 + 2803 = 22*j - 142128. Does 87 divide j?
False
Let d = 43 - 31. Let o be 3/1 + d + -15. Is (o + -2 - -5)*1 a multiple of 3?
True
Let g(c) = 27*c + 298. Let p be g(-11). Is 21 a factor of -392*p*(-4 + (-44)/(-14))?
True
Let o = -124 - -252. Suppose p - o = 112. Is 48 a factor of p?
True
Suppose 5*y + 2287 = 2*c + 26900, 5*y - 24655 = -5*c. Is 10 a factor of y?
False
Suppose 6*i - 1485 = 867. Suppose 0 = c - 2*c. Suppose c*k + 4*k = i. Is 20 a factor of k?
False
Does 15 divide (10*2/8)/((-21)/42) + 6423?
False
Let c(g) = g**3 + 9*g**2 + 7*g - 4. Let n be c(-8). Suppose -n*y + 168 = -y. Suppose -d + 36 = -4*r, 0 = 3*d + r - 0*r - y. Does 8 divide d?
False
Suppose -2*z = -m - m + 6, -3*z + 2*m - 4 = 0. Suppose -z*s + 2959 = 2*s - f, 4*f = -4*s + 2984. Is 7 a factor of 2/(-5) + (s/(-15))/(-1)?
True
Let c = -5921 + 10406. Is 39 a factor of c?
True
Suppose -25*z + 6486 = -22*z + 3*l, 4310 = 2*z - 5*l. Does 30 divide z?
True
Is 5 a factor of 30*(11 + -12)*(-54)/15?
False
Let z be (-14)/(-6) + 18/(-54). Suppose z*d = 441 - 63. Does 16 divide d?
False
Let s be (-24)/10*(8070/(-20) + -4). Let t = s - 617. Does 19 divide t?
True
Let o(v) = 3*v**3 + 15 - v + 46*v**2 + 6*v**3 - 48*v**2 - 4*v**3. Let c be o(3). Suppose -3*m = -c - 33. Does 6 divide m?
True
Let j(u) = -1746*u - 16. Let v be j(-3). Is 22 a factor of v/6 + 22/33?
False
Is 455 - (-54)/(-36)*(-3 + 1) a multiple of 33?
False
Does 72 divide 42/49 + 429369/119?
False
Let p(u) be the first derivative of 3*u**5/10 + u**4/12 + u**2 + 21*u + 38. Let y(b) be the first derivative of p(b). Does 11 divide y(2)?
False
Suppose 0 = 4*w - 12, -5*r - 4*w + 2040 = w. Does 7 divide r?
False
Suppose 2*g = -2*f + 9658, -g + 4*f - 2473 = -7307. Suppose -g = 28*d - 51*d. Does 35 divide d?
True
Let r(g) = -5*g - 21. Let p be r(-9). Suppose 5*v - 104 = -p. Suppose 12*l = v*l - 308. Is 12 a factor of l?
False
Suppose x - 4*k = -x + 20160, -10062 = -x - k. Is 12 a factor of x?
True
Suppose 5543*q - 107400 = 5493*q. Does 193 divide q?
False
Suppose -17378 - 458 = -13*m. Does 83 divide m?
False
Let k(j) = -j**2 - 13*j + 46. Let s(m) = m - 1. Let o(p) = -k(p) - 5*s(p). Is 24 a factor of o(-14)?
False
Let n be (-27483)/15 + 7/35. Let t = n - -2867. Does 13 divide t?
False
Suppose -196560 = -152*x + 89*x. Does 4 divide x?
True
Let v = 3393 - 2967. Is 4 a factor of v?
False
Let a be (-208)/((2/(-4))/((-27)/(-36))). Suppose -306*i - 2268 = -a*i. Is 7 a factor of i?
True
Suppose -55656 + 10078 = -26*h. Is h a multiple of 127?
False
Let l(d) = d**2 - 64*d - 427. Is l(-15) a multiple of 19?
False
Suppose 285682 = 21*u - 110831 + 57636. Does 15 divide u?
False
Let u be 213/1*(-3)/6*-2. Suppose 5*n = -t + 350, n = -t - 2*n + 354. Let i = t - u. Is i a multiple of 8?
False
Let w = 2559 + -780. Let p = w + -1251. Is p a multiple of 66?
True
Suppose -245*i + 260*i - 83160 = 0. Is i a multiple of 56?
True
Suppose 9*p - 10*p - 3 = 0. Is (-321)/p + (-24)/(-4) a multiple of 12?
False
Suppose 10*f + 2302 + 1018 = 0. Let y = f - -615. Does 6 divide y?
False
Let q = 4088 + -3568. Does 130 divide q?
True
Let v be (3/(-9))/(7/(-1218)). Suppose 5*a - 897 = 4*k, -4*k + 461 + v = 3*a. Does 5 divide a?
False
Let x(s) = -142*s + 1138. Let m be x(8). Let j be (0 + 1)*(0 + 277). Suppose -63 = -3*d + 5*h + j, m*h = 2*d - 224. Is 17 a factor of d?
False
Suppose 5*h = -2*o + 679, -5*o + 43*h - 42*h + 1684 = 0. Is o a multiple of 20?
False
Suppose 2*j - 4*o - 348 = 0, 5*o = 3*j + 2*o - 507. Suppose 2*x = -3*v - 138, 3*x - 5*x + 5*v - 122 = 0. Let b = j + x. Does 9 divide b?
False
Suppose 2*b + h - 4648 - 5683 = 0, -2*b + 2*h + 10322 = 0. Is b a multiple of 5?
False
Let n = 1616 + 9079. Does 155 divide n?
True
Is (1*-2 - -3550) + (244 - 235) a multiple of 80?
False
Suppose -11*g - 1579 + 259 = 0. Let z = 300 + g. Let b = z - 48. Does 12 divide b?
True
Suppose -52 = -4*m + 236. Suppose 19*n = 22*n - 72. Let q = m - n. Is q a multiple of 12?
True
Let t(b) = 70*b - 39. Let h(l) = -18*l + 10. Let y(u) = -9*h(u) - 2*t(u). Let i(f) = f**3 - 16*f**2 + 17*f - 24. Let r be i(15). Is y(r) a multiple of 10?
True
Suppose -4*r + a = 21, 3*r + 21*a - 16*a = -33. Let h(z) = 12*z**2 - 29*z. Is 101 a factor of h(r)?
True
Let p be (-1)/(-10) - 1975962/(-380). Suppose 13*b - p = 14534. Does 69 divide b?
True
Let h = -16048 - -29036. Is 76 a factor of h?
False
Let u = -149 + 210. Let d = u - 61. Suppose -3*j - 5*w + 356 = d, 4*j + 2*w + w = 460. Is 21 a factor of j?
False
Suppose 575*r - 585*r + 1070 = 0. Does 6 divide r?
False
Suppose 4*g + 2*r - 21856 = 0, 93*g - 16425 = 90*g + 4*r. Is 17 a factor of g?
False
Let n(s) = 10*s**2 + 47*s + 303. Is 49 a factor of n(-23)?
False
Let t(z) = 18*z**2 + 61*z + 7. Is 50 a factor of t(15)?
False
Suppose 3 = 3*o, -2*o + 85 = -5*q - 52. Let j(v) = -v**3 - 28*v**2 - 29*v + 105. Is 3 a factor of j(q)?
True
Let x be 19664/112 - 6/(-14). Let o = 319 - x. Is 13 a factor of o?
True
Suppose 5*k - 4*g = 76,