v be (0 + u/(-1))/(22/(-11)). Suppose -333 = -4*l - 2*y + v*y, -2*l + 159 = -3*y. Does 13 divide l?
False
Suppose 4*o - 20 = p - 5*p, 0 = 4*o. Suppose -3*i + p = j, 3*i - 7 = -0*j + j. Does 17 divide i/(-2)*41*20/(-4)?
False
Suppose -45*o - 25*o = -611400 - 89370. Does 71 divide o?
True
Suppose -3*a + 5*c + 101 = 0, 2*c = 2*a - 2*c - 64. Suppose -3*s + 126 = a. Is 6 a factor of s?
False
Let w = -11477 + 17612. Is w a multiple of 9?
False
Let c(z) = 653*z**2 + 184*z + 765. Is c(-5) a multiple of 147?
True
Let c(j) = 16*j - 188. Let p(w) = w**2 + 39*w + 103. Let l be p(-37). Is c(l) a multiple of 23?
True
Let s(g) = -g**2 + 8*g + 12. Let y be s(9). Let z(l) = 17*l - 10. Let t be z(y). Suppose 0 + t = f. Is 16 a factor of f?
False
Suppose -i + 7 = x + 2*i, 0 = -3*x + 3*i + 21. Let u(a) = 4*a + 7. Does 9 divide u(x)?
False
Suppose -20681 = -5*z + 3*n, 5*n = -2*z + 2665 + 5626. Is z a multiple of 66?
False
Suppose 6*v + 4036 = -2660. Let f be v/14 - (-6)/(-21). Does 16 divide (-32)/f + 198/5?
False
Let a(b) be the first derivative of 11 + 23/2*b**2 - 1/3*b**3 + 10*b. Is 16 a factor of a(17)?
True
Let v(i) = 2*i**2 - 15*i - 6. Let m be v(8). Suppose m*y = 687 - 255. Does 12 divide y?
True
Suppose -1 = -u + 2*a, u - 1 = -0*u - 3*a. Let l be u*(-22)/4*2 + 3. Let m(x) = x**2 + 9*x + 20. Does 2 divide m(l)?
True
Suppose 10*v - 82 = 12*v. Let t = v + 44. Suppose 0 = -x - 3*x - t*l + 63, 0 = 4*l + 12. Is x a multiple of 4?
False
Suppose -27195 = 38*m - 73*m. Does 2 divide m?
False
Let h = 7341 - -11979. Does 30 divide h?
True
Let h(a) = -18*a + 3. Suppose 0 = -4*b + 3*m + 6, 5*b - 26 + 5 = -3*m. Let l be h(b). Is 4*-3*(l/9 + 5) a multiple of 4?
True
Let l(v) = 3082*v + 120. Does 14 divide l(3)?
True
Let b(p) = -12*p**3 - 17*p**2 + 4*p - 2. Let j(c) = 6*c**3 + 8*c**2 - 2*c + 1. Let r(v) = 3*b(v) + 7*j(v). Let h be r(2). Is h + (1 + -7 - -4) a multiple of 9?
True
Suppose -16*p + 2 = -15*p. Suppose -p*o = -5*o + 270. Does 10 divide o?
True
Suppose 2*t - 5*j - 29245 = 0, 0 = -27*t + 20*t - 4*j + 102508. Is t a multiple of 20?
True
Suppose -4*b = -0*b. Let w be ((-180)/(-450))/((-2)/20). Is (-828)/(-18) - (w + b) a multiple of 8?
False
Suppose 2*p = -v + 710 - 248, -v - 4*p = -468. Let y = v - 324. Does 15 divide y?
False
Is (160690/(-30))/((-80)/96 + 2/4) a multiple of 39?
False
Let n(x) = x + 25. Let t be n(-6). Suppose -47*c = -t*c - 20776. Does 106 divide c?
True
Suppose x + 2*l - 4*l = -42, -3*x - l - 91 = 0. Suppose -q + 2*c + c = -53, -3*q = -4*c - 144. Let j = x + q. Is j a multiple of 11?
False
Suppose s - 4*h - 7 = 3, 3*s - 3*h = 30. Is (2/s*-14)/(71/(-1065)) a multiple of 6?
True
Let o = 39025 + -18193. Is o a multiple of 186?
True
Let y = -371 - -110. Let x = 432 + y. Suppose l = 18 + x. Is l a multiple of 21?
True
Let f = -297 - -77. Let u = -129 - f. Is 7 a factor of u?
True
Let c(s) = -12*s + 521. Let y(z) = -z + 22. Let d be y(22). Is c(d) a multiple of 26?
False
Let l(i) be the third derivative of -229*i**4/8 - 11*i**3/6 + 8*i**2 + i. Does 9 divide l(-1)?
False
Suppose -4*i - 19 = 25. Let v = 1 - i. Does 7 divide v/(1 - -2)*10?
False
Let s(n) = n - 5. Let o be s(5). Suppose -4*u + o*u = -192. Is 9 a factor of u?
False
Let y be (5 + -1)*1 - (46 + -45). Suppose 0 = -3*v + 4*l - 2*l + 770, y*v = -4*l + 800. Is 26 a factor of v?
True
Let r be (4/2)/((-14)/(-10654)). Let d = r + -686. Does 22 divide d?
True
Let v(m) = 1157*m - 54. Let z be v(1). Suppose 0 = 7*t - z - 787. Does 30 divide t?
True
Let f(y) = 89*y**2 - 47*y + 814. Is f(14) a multiple of 40?
True
Let g = -2539 + 10841. Is g a multiple of 14?
True
Suppose -122*l + 2198 = -4634. Is 8 a factor of l?
True
Suppose 0 = 3*j + 106 - 91, 0 = 5*q + 4*j - 81500. Does 16 divide q?
True
Let j(y) be the third derivative of -4*y**4/3 + 5*y**3/6 + 7*y**2. Let k be j(-3). Let l = k + -63. Is l a multiple of 12?
False
Let l = 71 - 73. Let u be (-2)/((-20)/(-154)) + l/(-5). Is 16 a factor of ((-192)/(-10))/4*(-100)/u?
True
Suppose -5949 + 18329 = 4*y. Is 66 a factor of y?
False
Suppose 6*k - 40456 = -46*k. Does 3 divide k?
False
Suppose 3*r = -2*r + 20. Suppose 2*f - r*z = 86, -61 - 23 = -3*f - 3*z. Let t = 98 - f. Is t a multiple of 13?
True
Let j = -133 - -136. Suppose 0 = -j*l + 148 + 287. Is l a multiple of 7?
False
Is 199018/(-453)*(-9)/6 a multiple of 5?
False
Let m(y) = -y**3 + 12*y**2 + 14*y - 10. Let j be m(13). Suppose 2*d - 5*o = 94 + 58, 178 = j*d + 5*o. Is d a multiple of 11?
True
Let y be ((-4)/(-10))/((-4)/(-60)) - 8. Does 29 divide (13 - (-91)/(-13))*(-295)/y?
False
Let j = -13946 - -33482. Is j a multiple of 6?
True
Suppose -97*x = -98*x + 119. Suppose a = d - 6*d + 131, -d + x = a. Is 4 a factor of a?
True
Let i be (37 + 8/2)/1. Suppose -3*c - i = -104. Is (c - 2)/(-4 - -5) a multiple of 4?
False
Suppose 5*b - 4*k + 32 = 164, -66 = -3*b - 2*k. Suppose -6*a = -5*a - b. Suppose -23*l = -a*l + 165. Is 23 a factor of l?
False
Suppose 30 = -3*d + 45. Suppose -9 = 5*x + 2*q, 0 = -3*x - 3*q - 3 - 6. Is 14 a factor of (x + d - -2)/((-6)/(-69))?
False
Let k(i) = -2*i**3 + 149*i**2 + 111*i + 172. Is 47 a factor of k(75)?
False
Let o(a) = a**3 + 10*a**2 + 2*a - 10. Let h be o(-7). Let s = -40 + h. Suppose q + 29 = s. Does 27 divide q?
True
Suppose 171*u - 67*u = 43*u + 2047831. Is 87 a factor of u?
False
Let f = 4945 + -3305. Is 40 a factor of f?
True
Let y be (2 - 24)/(5/(-5)). Suppose y*d + 196 = 26*d. Is d a multiple of 9?
False
Let m(l) = -l**3 + l**2 + 5*l - 2. Let z be m(2). Suppose -r + 3*u = 2*r - 651, -r + z*u = -217. Is r a multiple of 51?
False
Let a = 9 + -1. Let n(z) = -a*z - z**3 + 11 + z**2 + 22*z - 5*z. Is n(-5) a multiple of 29?
True
Suppose -57 = -8*y + 4*y - b, b - 5 = 0. Let r = 19 - y. Is 21 a factor of (-1 - -62) + r + -4?
True
Let z(p) = -537*p - 224. Is 70 a factor of z(-11)?
False
Let h(j) = 5916*j - 736. Is 63 a factor of h(2)?
False
Let r = 13946 - 5566. Is 192 a factor of r?
False
Let z = 166 + -14. Suppose -5*p = 6*o - o + 740, -5*p - z = o. Let w = 189 + o. Does 21 divide w?
True
Let x = 2217 + 102. Suppose -x = 24*q - 6327. Is 2 a factor of q?
False
Does 103 divide (-1 - 0)/((-3*(-13)/(-1339))/129)?
True
Let w(g) = -1434*g + 19028. Does 215 divide w(-19)?
False
Let z(y) be the first derivative of -6*y**2 - 4*y - 13/3*y**3 + 1/4*y**4 + 19. Does 6 divide z(14)?
True
Suppose -5*g = -3*x + 201, g + 9 = -2*g. Let s = 1647 - 1684. Let k = x + s. Is k a multiple of 5?
True
Suppose 0 = -2*v + 3*v - 39. Suppose v - 27 = 3*s. Does 19 divide (s/6)/((-18)/(-2457))?
False
Is (-6)/63 + 8 - 8 - 127060/(-105) a multiple of 22?
True
Let t(v) = 22*v**2 - 3*v + 23. Let f = 2 - -6. Does 13 divide t(f)?
False
Let i(x) be the third derivative of 19*x**5/30 + x**4/6 - x**3/2 - 32*x**2. Suppose -1 - 1 = -2*p. Is i(p) a multiple of 13?
True
Does 5 divide (42/8)/(144/34752)?
False
Let l(w) = w**3 + 8*w**2 - 8*w - 2. Let x be l(-6). Suppose 3*q = 5*g + 127, -7*q + 5*g - x = -9*q. Is 7 a factor of q?
True
Suppose -h - 5 = 6*v - 2*v, -5*h = -5*v. Let a be 23/((-2)/336*h). Is 13 a factor of a/108 + (-4)/(-18)?
False
Suppose 5*h - 55*a - 134251 = -58*a, -5*a - 15 = 0. Is h a multiple of 12?
False
Let s(a) = 701*a - 958. Does 14 divide s(6)?
True
Let f(i) = -i + 499. Is f(0) a multiple of 3?
False
Let d = -4292 - -7080. Is d a multiple of 68?
True
Suppose -2*n = -2*x + 52372, -5*n = -12*x + 15*x - 78606. Is x a multiple of 16?
True
Let m(j) = 264*j**2 - 47*j - 188. Let u be m(-4). Suppose 7*i + u = 29*i. Is i a multiple of 12?
True
Let l = 619 - -1207. Is 58 a factor of l?
False
Suppose 0 = -66*m + 71*m. Suppose a - 2*d - 29 = m, 124 = 4*a - 0*d - 4*d. Suppose -37*p = -a*p - 704. Does 22 divide p?
True
Let v = 3356 + 327. Is v a multiple of 29?
True
Let a(b) = -3*b**3 + 328*b**2 - 70*b - 119. Is a(109) a multiple of 12?
False
Suppose 1740 = -256*v + 261*v. Suppose k = -2*f + v, -4*k + 63 = 71. Is 25 a factor of f?
True
Let m = 14 - 16. Let f be m/12 - (1425/18)/(-19). Suppose 11*x = f*x + 21. Is x a multiple of 3?
True
Suppose 0*q = 4*q + 4*n + 172, 4 = -4*n. Is 138/q + 3 + 9540/21 a multiple of 23?
False
Let t = -8821 - -16267. Suppose t = 45*r - 5424. Is r a multiple of 29?
False
Suppose 5*i + 0*y + 4*y + 1 = 0, 3*i - 2*y - 17 = 0. Suppose i*d = -2*m + 591, -5*m - 5*d + 313 = -4*m. Is m a mul