tiple of 13?
False
Suppose -5*q + r + 5 = -r, 0 = q - 5*r - 24. Let s be 5/(-10)*2/q. Does 3 divide (s - 4)/(7/(-63))?
True
Suppose 0 = -11*j + 5147 + 3292 + 1846. Is 8 a factor of j?
False
Suppose 4*i - 4*y - 193896 = 0, -60*y + 1502590 = 31*i - 65*y. Is i a multiple of 184?
False
Suppose -9*q + 3159 + 2565 = 0. Suppose -19*o + 22*o - q = 0. Is o a multiple of 14?
False
Let d(i) = 2*i**2 + i - 18. Let a(s) = -s - 26. Let b be a(-14). Let k be (0 - 4)/((-6)/b). Is d(k) a multiple of 17?
True
Let r be ((-1)/((-2)/8))/1. Let n be (-3)/((-30)/r) + (-208)/(-5). Suppose 0 = -2*d - 4*v - n + 160, -2*v - 88 = -2*d. Does 7 divide d?
True
Let f = -11427 - -18357. Is 35 a factor of f?
True
Let m(v) = -v**3 - 5*v**2 + 7*v - 10. Let w be m(-6). Let p = -18 - w. Is (-28*(1 + p))/2 even?
True
Suppose 2124*d - 2122*d = 42796. Does 26 divide d?
True
Let l(x) = -3*x**3 + 51*x**2 - 30*x + 57. Is 9 a factor of l(7)?
False
Let o(d) = d**3 - 23*d**2 + 30*d - 153. Let f be o(21). Let n = f - -489. Does 4 divide n?
True
Let k be (-240)/(-64) + 1/4. Suppose -27*r = k*y - 29*r - 168, 0 = 2*y - 3*r - 80. Is 4 a factor of y?
False
Suppose -18*a + 3263 + 1993 = 0. Is a a multiple of 2?
True
Suppose -10*o + 13*o = -3*j, -10 = 3*j - 2*o. Let p be 11/(308/(-552))*-7. Is 23 a factor of p*1/(5 + j)?
True
Let j be (-69 + 77)*6/16. Is ((-845)/(-15)*9)/j a multiple of 13?
True
Suppose -3*u - 632799 = -34*i, 5*u - 99545 = -5*i - 6470. Is 99 a factor of i?
True
Suppose -69*n + 194248 = -247835. Does 5 divide n?
False
Let g(j) = -403*j + 80. Does 18 divide g(-25)?
False
Is 38 a factor of (31886/642)/((2 - 3)*(-2)/2736)?
True
Suppose -2*f + 130 = -44. Let s be f/(-9)*-3 - 0. Suppose 7*c - 274 = -s. Is 11 a factor of c?
False
Let u(p) = -129*p**2 + 5*p - 4. Let k be u(1). Let r = k + 187. Is 20 a factor of r?
False
Let w(d) = -2*d**2. Let b(o) = -187*o**2 - 18*o + 32. Let g(q) = -b(q) - 5*w(q). Is g(2) a multiple of 22?
True
Suppose -12097 = -66*h + 62*h + j, 0 = 3*h + 7*j - 9065. Is 21 a factor of h?
True
Let v(t) = -5*t + 62. Let b be v(12). Suppose 8*k - 2*k = b*k. Suppose k = 7*r - 5 - 58. Is 2 a factor of r?
False
Let n(z) = -z**2 - 2*z + 6*z + 9*z + 2 + 1. Let h be n(13). Suppose h*a = 8*a - 95. Does 13 divide a?
False
Let z(x) = 29*x**2 - 3. Let m be z(3). Let o be ((-6)/4)/((-141)/(-14946)). Let a = m + o. Is 11 a factor of a?
True
Let k be (-84)/(-126)*(3 - 0). Suppose 5*x = 5*f + 1293 + 2, 797 = 3*x + k*f. Does 9 divide x?
False
Let l be (5 - 32/6)/((-1)/21). Suppose 5*r - 4*a + l*a - 53 = 0, 3*r - 27 = 3*a. Suppose r*t - 14*t = -12. Is 3 a factor of t?
True
Let q(f) = 4283*f**2 - 261*f + 18. Is q(-3) a multiple of 9?
True
Suppose -4*r - 10 = -5*k, -13 = 4*r + 4*k + 15. Let f = 354 - 250. Is (-2 - r)/(210/f - 2) a multiple of 12?
True
Let p(b) = b**3 - 13*b**2 - 15*b - 26. Let h be p(14). Let x = 38 - h. Suppose -34 = -g + x. Is 11 a factor of g?
False
Let q = 24 - 4. Suppose 9*c - 4*c = 3*r + 31, 4*c - q = 0. Does 5 divide -1 - ((-6)/r + -34)?
True
Suppose -43*o - 44*o = -130*o + 127925. Is o a multiple of 35?
True
Let j(a) = a**3 - 4*a**2 - 2*a + 9. Let b be j(3). Let r be (-471)/6 - 3/b. Let v = 93 + r. Is 14 a factor of v?
False
Suppose -111*f + 680 = 162*f - 14062. Is 6 a factor of f?
True
Let s be (-4277)/7*1*(-3 + 2). Let k = s - 259. Is k a multiple of 11?
True
Suppose -3*y = -6*y + 462. Let j = -156 + y. Is j/(-4)*0 + 92 + -1 a multiple of 7?
True
Does 163 divide 794*((-2)/(-15) - 1496/(-255))?
False
Suppose 2*a + 5*h - 88180 = -0*a, -5*a = 3*h - 220412. Does 32 divide ((-12)/(-5))/(174/a)?
True
Is (2168/24 - 10)/((-2)/120*-2) a multiple of 28?
False
Suppose -57600 = -3*b - 13*b. Is b a multiple of 30?
True
Let m be (-61)/(-427) + 2164/(-7). Let r = m - -554. Does 7 divide r?
True
Suppose -108*c = -110*c + 4. Suppose c*w - 61 = u, 2*w = 4*u + 241 + 3. Is (u/(-6) + -3)*6 a multiple of 8?
False
Let m(v) = 11919*v**2 - 27*v - 26. Does 5 divide m(-1)?
True
Suppose -b - b - 2*s - 12 = 0, -2*b - 5*s - 15 = 0. Is (-477)/(-12) - b/20 a multiple of 5?
True
Let d(t) = -t**2 + 12*t + 14. Let f be d(13). Let s be (-2 + 3)*f/1. Suppose -3*r - 14 = -g, -2*g - 5*r = s - 7. Is g a multiple of 7?
False
Let l = 3411 + -2947. Does 17 divide l?
False
Let s(z) = -127*z**2 + z + 1. Let m be s(1). Let g be (-4)/18 + (-8)/((-360)/m). Is 3 a factor of (-8)/(-12) + (-7)/g?
True
Let g(p) = 4*p - 4*p**3 + 75 - 16 - 32 + 18 - 26*p**2 + 0*p. Is g(-9) a multiple of 47?
False
Let s = -1025 - -7187. Does 36 divide s?
False
Suppose -2*m = -3*g - m + 8, m = -g + 8. Suppose -45 = -g*b + 807. Does 12 divide b?
False
Suppose 7*w - o = 11*w - 17, 2*w + 3*o - 21 = 0. Let u be (-1)/w - 10/6. Is 26 a factor of (-281)/(-3) + (-1)/((-3)/u)?
False
Suppose 0 = -3*o - 107 - 106. Let f = o - -120. Suppose 50*q = f*q + 150. Is 50 a factor of q?
True
Suppose -f + 4*u = -711 - 1399, 0 = -4*f + 5*u + 8385. Does 6 divide f?
False
Suppose 50 = 9*o - 85. Does 9 divide 2/6 + -7 + 325/o?
False
Does 3 divide 7/(14/(-12)) + -4 + (139 - -7)?
False
Let y(b) = -943*b - 1759. Is 17 a factor of y(-5)?
False
Suppose 3*a = 5*a + 2*c - 4542, 4*c + 2256 = a. Is 162 a factor of a?
True
Let g = -2105 - -2996. Suppose -125*a + g = -116*a. Does 3 divide a?
True
Suppose -4*h = 4*l - 20, h - 5*l + 9 = 2. Suppose -v = 4*v - h*v. Suppose 6*z + 41 - 191 = v. Is z a multiple of 7?
False
Let h(w) = -w**3 + 4*w**2 + 2*w - 4. Let f(n) = 3*n - 24. Let i be (-1 + -2)/((-3)/9). Let l be f(i). Is 11 a factor of h(l)?
True
Suppose 36160 = 2*n - 5*v, -19*v = -20*v - 4. Is 13 a factor of n?
True
Is 23 a factor of (-15)/((-45)/12606) + -1 + -3?
False
Let f = -135 - -139. Suppose -4*x - 3*o = -267, -4*x + 0*x = -f*o - 232. Does 25 divide x?
False
Suppose -3*l + 52923 = -3*q, -2*l - 3*l + 88195 = 5*q. Is 252 a factor of l?
True
Let n be 160/6*((-81)/6)/(-9). Suppose -q + 5*w - n + 423 = 0, -2*q + 780 = 4*w. Is 24 a factor of q?
False
Suppose 0 = -3*n - 12*s + 7*s + 20, 5*n + 4*s = 16. Suppose -8*d + 7*d - 5 = n, -4*d - 836 = -4*x. Is x a multiple of 24?
False
Let d(j) = 21*j - 91. Let c(s) = 11*s - 45. Let y(a) = -10*c(a) + 4*d(a). Does 12 divide y(-8)?
False
Let r(g) = 4*g**3 + 18 - 4*g - 11*g**3 + 0*g + 21*g**2 + 9*g**3 - g**3. Is 96 a factor of r(-21)?
False
Suppose -3*q + 0*q + 9 = 0. Suppose -5*c - 259 = -q*h, 3*c - 34 = -49. Does 13 divide h?
True
Suppose 23*j - 32*j - 27 = 0. Let q(l) = -2*l**3 - 4*l**2 - 5*l + 2. Is 4 a factor of q(j)?
False
Is (-449458)/(-12) - (-28)/168 a multiple of 45?
False
Let p be (-1 - (24 - 6)) + (-1 - -1). Let j(s) = s**2 + 2*s - 34. Is j(p) a multiple of 14?
False
Let n(w) = -43*w - 3. Let o be n(-1). Does 4 divide o/16*2 - (-2 + -53)?
True
Let i = 1398 - 410. Suppose -i = -26*n + 22*n. Is 33 a factor of n?
False
Let w be -80*(-7)/(-2) + 1 + 3. Is 38 a factor of (-1)/((-1)/2)*(-69414)/w?
False
Let i = -46 - -49. Suppose 2*a = i*a - 1. Is -3 + 64/(a + 3) even?
False
Suppose 22*a = 24*a - 2*t - 3232, 2*t = -2*a + 3236. Is a a multiple of 100?
False
Let k(m) = -8*m**2 + 10*m + 6. Let l be k(5). Let b = l + 192. Does 8 divide b?
True
Let n = -3141 - -4683. Does 13 divide n?
False
Let v = -123 - -113. Let t(f) be the second derivative of -f**4/6 - 4*f**3 + 2*f**2 + 2*f. Is 11 a factor of t(v)?
True
Let b be (-4)/(-30) - (-364)/(-30). Let u be (-2)/b - 16302/(-36). Let m = u + -318. Does 27 divide m?
True
Let i(m) = m**2 - 42*m - 20. Let q be i(23). Let n = q - -653. Suppose 4*o = -3*o + n. Is o a multiple of 3?
False
Suppose -1147*w - 123675 = -1172*w. Is 42 a factor of w?
False
Suppose -8*u + 1750 - 118 = 0. Let n = -194 + u. Does 4 divide n?
False
Let d(p) = -p**3 - 18*p**2 + 17*p - 30. Let z be d(-19). Suppose 6*m = z*m. Suppose -5*n + 2*u + 473 = 0, 479 = -m*n + 5*n + 4*u. Does 19 divide n?
True
Let v be 0/(4 + -14) - (-4 - 0). Suppose 4*y - v*g - 396 = 0, 9*y = 6*y + 2*g + 296. Is 49 a factor of y?
True
Let a = -36 + 33. Let k be a/9 + 129/9. Suppose -k*l = -17*l + 114. Is l a multiple of 3?
False
Suppose -4*t = -139 + 147, 4*k - 43326 = 5*t. Is k a multiple of 17?
True
Let c = -55516 + 89176. Does 51 divide c?
True
Let j(r) be the third derivative of r**6/15 - r**5/30 - 11*r**4/6 + 18*r**2. Let o(n) be the second derivative of j(n). Is 16 a factor of o(4)?
False
Suppose 0 = -447*k + 2622841 + 1182684 + 2230763. I