= a*j. Is j a multiple of 5?
True
Let r(g) = -9*g + 46. Let a be r(5). Let j be 86/10 + (-6)/(-15). Is (a - -40) + (j - 8) a multiple of 14?
True
Let f(u) = -2*u**2 + 26*u + 35. Let w be f(14). Suppose -w*b = -334 - 667. Does 38 divide b?
False
Suppose -z + 3136 = 4*h, -19*z + 22*z - 2*h = 9492. Is 40 a factor of z?
True
Let p = -848 + 3840. Is p a multiple of 35?
False
Let d(n) = -2*n**2 - 6*n + 5. Let u be d(0). Suppose -u*v = -5*k - 206 - 409, 2*v + 3*k = 231. Does 10 divide v?
True
Let v(s) = -31*s - 14. Let m(j) = -29*j - 14. Let d(a) = 2*m(a) - 3*v(a). Is 19 a factor of d(11)?
True
Suppose 207177 = 22*p + 36633. Is 51 a factor of p?
True
Let o(m) = 30*m**3 + 10*m**2 - 131*m - 12. Does 38 divide o(6)?
True
Suppose 10*r = -8*r + 2376. Suppose -146 = -2*g + 104. Let y = r - g. Is y a multiple of 2?
False
Let f = 9 + -8. Let n be 1 + f/1 - 21. Let b = -6 - n. Does 10 divide b?
False
Let z = -301 + 81. Is (((-768)/40)/8)/(3/z) a multiple of 11?
True
Let j(l) = 3*l + 5. Suppose 3*v - 12 = 3*g, -2 + 4 = -3*g - 2*v. Let n be j(g). Does 21 divide (-104 + n)*16/(-40)?
True
Let j(v) = -2*v**3 - 12*v**2 + 12*v + 30. Let k be j(-9). Suppose 13*r = 12*r - m + k, 0 = 3*m. Is 32 a factor of r?
False
Suppose 4*c + 1912 = -3*g - 500, g + 1814 = -3*c. Is 7 a factor of (-96)/36*c/8?
False
Suppose 0*y = y + 12. Let p(b) be the second derivative of -b**4/12 - 11*b**3/6 + 25*b**2/2 + 9*b. Is p(y) a multiple of 7?
False
Let k(z) = 9*z**2 + 136*z + 3173. Is k(-23) a multiple of 27?
True
Let i = -40 - -144. Let x = 114 - i. Suppose -11*n + 245 = -x*n. Is n a multiple of 35?
True
Suppose 31 = 11*r - 79. Suppose -6*z - 2 - r = 0. Is 10 a factor of ((-6)/6 + -39)/(z/5)?
True
Let t(i) = -2*i**2 - 27*i + 153. Let p(m) = -7*m**2 - 80*m + 459. Let y(k) = -3*p(k) + 8*t(k). Is y(11) a multiple of 39?
False
Let y = -238 + 234. Is 3 a factor of 10/(-3 - (y + 3)) - -38?
True
Let q be (0 - 12/18)*(-9)/2. Suppose 3*x + 241 = u - 291, q*u - 1636 = -x. Suppose 3*g = -2*a + 428, 4*g - u = -0*a + 4*a. Does 27 divide g?
False
Let n be 14 + -1 + -7 - (6 - 2). Suppose 2*i + 4 = 0, 0 = 2*x + n*i - 1009 - 363. Is x a multiple of 43?
True
Let d(j) = -2*j**3 - 63*j**2 - 19*j - 18. Does 66 divide d(-35)?
False
Let m(q) = 24*q**2 + 43*q - 11. Let n be m(-22). Suppose -23*d + n = -3325. Is 15 a factor of d?
False
Let d(u) = -8*u**2 - 4*u + 1. Let g(f) = -f. Let b(k) = -d(k) + 2*g(k). Let z be b(2). Does 10 divide z*(8/(-16) - (-6)/4)?
False
Suppose 4*w - 52127 = -5*u + 151612, -u - 2*w = -40755. Is 81 a factor of u?
True
Let p(f) = 2*f + 22. Let i be p(-9). Suppose -4*h + 1904 = i*n, 432 = 2*n + 4*h - 516. Does 20 divide n?
False
Is (6220/6)/((-2115)/(-22842)) a multiple of 88?
False
Suppose -o + 3*o - 4*h = 0, -2*h = -3*o. Suppose o = -g + 296 - 933. Is 6 a factor of 2/9 - g/9?
False
Suppose 6*b - 134 = 40. Suppose -2*j + b = -77. Let a = j - 12. Is a a multiple of 10?
False
Let g(c) = -7*c - 2. Let d(p) = -p + 1. Let o(t) = 6*d(t) - g(t). Let n be o(-5). Is (-647)/(-11) + 6*n/99 a multiple of 13?
False
Suppose 2*x = -2*k + 424, -2*x - 4*k + 421 = -5*k. Does 8 divide x?
False
Suppose 720833 = 21*r + 2922116. Is (r/54)/(-19)*6 a multiple of 51?
False
Does 94 divide (-757983)/(-32) - (-46)/1472?
False
Let s be (-38)/(-8) - ((-7)/(-4) + -2). Suppose -s*q + 389 = -361. Does 15 divide q?
True
Suppose 2*u = -3*u + 3*w + 16, 0 = 4*u + 3*w - 2. Suppose -z - 48 = -6*z - u*f, -4*f + 26 = 3*z. Does 2 divide 44/z + 14/(-35)?
True
Let s(f) = 13*f**3 - 9*f**2 - 75*f - 24. Is 31 a factor of s(8)?
True
Suppose n - 5687 + 839 = 4*k, -24196 = -5*n - 2*k. Is 40 a factor of n?
True
Let c = 114 - 97. Let b(a) = a**3 - 19*a**2 + 39*a - 1. Does 21 divide b(c)?
True
Let y(n) = -384*n + 1417. Is 81 a factor of y(-8)?
False
Suppose 0 = 3*s - 116 - 64. Let c be (-2 - s/(-35))*-14. Suppose c*i - 1086 = 2*q, 4*i + 5*q - 1065 = -0*i. Does 27 divide i?
True
Let j(w) = -53*w**3 - 20*w**2 - 27*w - 103. Is 79 a factor of j(-5)?
False
Let f = -27710 - -30884. Does 69 divide f?
True
Suppose 438 = -4*y - k + 14825, -k = y - 3590. Is y a multiple of 3?
False
Let q = 861 + -575. Let p = -214 + q. Is p a multiple of 6?
True
Let y = -20 + -21. Let b = y + 113. Let j = 117 - b. Is 9 a factor of j?
True
Let u(j) = 4*j - 12. Let y(w) be the first derivative of -7*w**2/2 + 25*w - 8. Let f(p) = 5*u(p) + 3*y(p). Does 2 divide f(4)?
False
Let d = 12265 + -8350. Is d a multiple of 48?
False
Suppose d - 86 = -3*s, 0*d = -5*d + 4*s + 506. Suppose 107*x - d*x = 4158. Is 33 a factor of x?
True
Suppose 2*r + 2*r - 24 = 0. Suppose -3*c + 2*c = -r*c. Suppose c = -3*o - 6*o + 1251. Is o a multiple of 24?
False
Suppose 8*l - 66 = -34. Suppose 93 + 627 = l*h. Is 18 a factor of h?
True
Suppose x - 3*r - 8 = -23, -x = -4*r + 19. Let d be (x/2)/(2/(-12)). Suppose d*g - 238 - 302 = 0. Is g a multiple of 12?
True
Let k be ((-5)/((-50)/16))/((-2)/(-5)). Let c(f) = 5*f**2 - 12*f + 11. Let g(w) = 5*w**2 - 11*w + 11. Let o(x) = k*g(x) - 3*c(x). Is o(2) a multiple of 5?
True
Suppose -2*j - 5*q + 9339 = 0, 1381*q = -j + 1376*q + 4672. Is j a multiple of 13?
True
Let m = 6787 + -6063. Does 16 divide m?
False
Let b(o) = -8*o - 8*o + 3 - 8 + 6*o**2 + 18*o + 0*o. Suppose 2*k - 4*k = -8. Is 12 a factor of b(k)?
False
Does 21 divide (136/(-4))/(9 - (-16689)/(-1854)) - -4?
False
Let n = -8320 - -10165. Does 15 divide n?
True
Let i(m) = 3784*m + 4477. Does 17 divide i(4)?
False
Suppose -3*q + 209 = 8*q. Suppose 0 = -12*i + q + 5. Suppose -267 = -4*k - l, 3*k - 8 = i*l + 195. Is k a multiple of 18?
False
Let x be (12/2)/((-6)/8). Is ((-10)/x)/(8*7/2016) a multiple of 16?
False
Suppose -5*o - 161 + 146 = 0. Does 6 divide (20/(-5) - o)*(-354)/1?
True
Is (-594)/(-132) + 49/(-10) + 132824/10 a multiple of 265?
False
Suppose -2*c - 4265 = -4*s - 32665, 12 = 2*s. Is 44 a factor of c?
True
Suppose z = -2*m, 12 = -4*z - 2*m - 2*m. Let s be (-1180)/(-40) - z/(-4). Suppose 70 = 2*v - s. Does 8 divide v?
False
Suppose -120*l + 102108 = -19692. Is 7 a factor of l?
True
Suppose -10*a + 3*a - 63 = 0. Let l(u) = 4*u + 27. Let m be l(a). Is 12 a factor of (11/3)/(m/(-216))?
False
Suppose 13*z + 33960 = 19*z. Does 19 divide (3/(-2))/(11305/z + -2)?
False
Let z(r) = 3*r - 47. Let b be z(17). Suppose -2*s - 3*i = -0*i - 1099, 2222 = b*s - 2*i. Is 46 a factor of s?
False
Let q be (-5 + 96/18)*27. Does 17 divide 5*q/15 - -269?
True
Suppose 7*o - 11*o = -12, -o = 4*n - 5827. Is n a multiple of 16?
True
Suppose -6816 = -9076*a + 9064*a. Is 8 a factor of a?
True
Let f(x) = -17*x - 172. Suppose -297 = -16*a - 857. Does 10 divide f(a)?
False
Let q(b) = -b**2 - 13*b - 21. Let i be q(-4). Is 1090/(-4)*(-24)/i a multiple of 38?
False
Let s(j) = 15*j**2 + 1 + j - 14*j**2 + 35*j**2. Let x(f) = f**2 - 9*f + 13. Let h be x(7). Does 6 divide s(h)?
True
Suppose 0 = -19*g - 22*g - 9*g + 156000. Does 7 divide g?
False
Let h(b) = 41*b + 10. Let k(p) = -21*p - 4. Let x(a) = 3*h(a) + 5*k(a). Is 35 a factor of x(24)?
False
Let n = 55 - 51. Suppose -c + 449 = -n*x, -c + 2*x + 3*x = -445. Suppose 3*v - c = 417. Is v a multiple of 17?
False
Let p be -15*(0 + (-3)/9). Suppose -5*u - 5*n - 221 + 1371 = 0, -p*u = 3*n - 1148. Is 12 a factor of u?
False
Let o(w) = 1131*w - 4386. Is 23 a factor of o(4)?
True
Let j(r) = 10*r + 246. Let f(w) = 37*w - 266. Let t be f(8). Is 42 a factor of j(t)?
True
Suppose 392*j = 389*j + 12. Is j/(-28)*-7*49 a multiple of 49?
True
Let r(t) = -t**3 - 22*t**2 - 20*t - 37. Let j be r(-20). Let k = 617 + j. Does 9 divide k?
True
Let v = -93 - 322. Let d = 89 - v. Does 24 divide d?
True
Let w = 1038 + -1042. Let j(m) = 27*m**2 + 13*m + 40. Is 72 a factor of j(w)?
False
Let x = -936 + 8455. Does 5 divide x?
False
Suppose 8 + 56 = 16*c. Suppose -c*n - 2*r + 1730 = 0, -1740 = -3*n - n - 4*r. Is n a multiple of 41?
False
Suppose 7*x = 12*x - 25. Let s = 103 + -100. Suppose 3*w - 3*v + x*v - 260 = 0, -s*w + 3*v + 285 = 0. Does 10 divide w?
True
Let g be 1 + -1 + (-3 + -5 - 96). Does 12 divide g/3*153/(-34)?
True
Suppose 2*a + 49 = 5*q, -q - 2 + 5 = 3*a. Let i(p) = -p**3 + 2*p + 2 + 11*p**2 - 14*p + 19. Is 7 a factor of i(q)?
False
Let p(x) = 12*x - 236. Let u be p(28). Suppose 0 = 3*m + 31 - u. Is m even?
False
Let f(h) = 3*h + 21. Let w be f(-9). Let n(d) = -d - 3. Let s be n(w). Does 22