et m = 499 - k. Is 15 a factor of m?
False
Let c = -3 - 5. Let s = c + 12. Does 7 divide 24 + 4*3/s?
False
Suppose -19380*a + 19366*a = -367920. Is 120 a factor of a?
True
Let c(q) = 542*q**3 + 6*q**2 + 34*q - 19. Is c(4) a multiple of 8?
False
Suppose 0 = 29*b + 7 - 123. Let y be 222/3 - (1 - 1). Suppose 3*g - b = y. Is g a multiple of 4?
False
Suppose -4*y = 4, -w + y = 4 + 5. Let j = w - -274. Is 8 a factor of j?
True
Suppose -5*y = -4*z + 21, -8 = -2*z - 2*y - 2. Let f(s) = s**2 + 15*s - 28. Let p be f(2). Suppose 0 = -3*g + z*j + 282 - 90, -p = -2*j. Is 17 a factor of g?
True
Let y = 67961 - 24610. Is y a multiple of 15?
False
Let j(r) = -r**2 - 5*r - 2. Let y be j(-2). Suppose 2*g = y*g - 158. Suppose 0 = 5*b - 4*a - g, -80 = -4*b + a - 2*a. Does 19 divide b?
True
Let t = 9577 - 5025. Does 8 divide t?
True
Suppose 0 = -94*s + 119*s - 180400. Is s a multiple of 16?
True
Let j = -1608 + 4416. Is 24 a factor of j?
True
Let d(v) = -4*v**3 - 9*v**2 - 11*v - 14. Let p be d(-8). Suppose 2962 - p = 8*c. Does 11 divide c?
False
Let t = -11589 + 11686. Suppose 2*w + 2*l - 11 = 59, 4*w = 4*l + 156. Let y = t - w. Is y a multiple of 10?
True
Suppose 315*g + 48 = 317*g. Is (g/(-5))/(5/(-1000)*5) a multiple of 32?
True
Suppose -4*p = -3*v + 60, -5*v + 3*p + 69 = -31. Let y be (-10965)/(-86)*12/18. Is 697/4 - (-4 + y/v) a multiple of 29?
True
Suppose -3*h = -c + 52, -2*h - 3*h + 15 = 0. Let m = 97 - c. Does 6 divide m?
True
Let w(u) = 4*u - 151. Does 11 divide w(79)?
True
Let u(a) = -2*a**2 + a + 107. Let h be u(11). Does 31 divide (h/6)/(48/(-3600))?
True
Suppose -f - 10*f + 13664 = 3*f. Is 28 a factor of f?
False
Let f = -2904 + 10761. Is 81 a factor of f?
True
Let m(n) = -2*n**3 + 17*n**2 + 10*n - 4. Let q be m(9). Suppose -2*j + 3 - 4 = -3*b, b = 3*j + q. Is 9 a factor of 1 - (-17 - (-8)/j)?
False
Let l = 37 - 75. Let m = 43 + l. Suppose -2*x - m*v = -102, -2*x - 4*v = -x - 48. Is 9 a factor of x?
False
Let u = 9247 + -8506. Does 8 divide u?
False
Suppose y - 17 = -4*g + 10, y = -3*g + 21. Does 7 divide (-7240)/(-120) + 4/g?
False
Suppose -5*j = -375 - 300. Let x = -207 + j. Let s = x + 130. Is 31 a factor of s?
False
Does 16 divide -7*(-6472)/28 - -21?
False
Let k be (2/(-1) - -3) + -3. Let s be 175 - (2 + 1)/(1 - k). Suppose -3*z - 2*w + 93 = -0*w, 3*w = 5*z - s. Is z a multiple of 11?
True
Let h = -21 + 755. Let i = 1079 - h. Is i a multiple of 42?
False
Let i(d) = -d**3 + 12*d**2 + d + 25. Let p(o) = o**3 + 9*o**2 + 14*o + 12. Let l be p(-7). Does 14 divide i(l)?
False
Suppose -t = -3*z + 5*z + 8, z + 4 = -2*t. Let c(a) = a**2 + 6*a + 3. Let d be c(0). Suppose 5*i + 2*q - 561 = 317, t = d*q - 12. Does 29 divide i?
True
Let v = 78 - 80. Let q(x) = 63*x**2 + 3*x + 6. Is 36 a factor of q(v)?
True
Let l be 2 + (1 - -2)*(4 - 3). Suppose -3*y - 368 = -2*r - 32, 4*y + 854 = l*r. Is r a multiple of 28?
False
Let k = 4333 - 4005. Is k a multiple of 31?
False
Suppose -164*y = -168*y + 112. Is -66*(-62)/y - (-3)/(-21) a multiple of 7?
False
Let i(q) = 10*q**2 + 44*q + 6. Let o be i(-15). Suppose 95*t = 107*t - o. Does 10 divide t?
False
Suppose 78*u - 688 = 80*u. Let v = 192 + u. Is 9 a factor of (-56)/84 + v/(-3)?
False
Let w(t) = 357*t**3 - 25*t + 62. Is 4 a factor of w(2)?
True
Let j = 59 - 121. Let h = j - -88. Suppose -5*q = -4*g - 3*q + h, -5*q = 2*g - 19. Does 7 divide g?
True
Suppose 3*r - l + 7 = 0, -5 = r - 4*l + 3*l. Let w(p) = 94*p**2 - 2*p. Is 12 a factor of w(r)?
True
Suppose -2*l = -5*g - 31, 0 = l - g + 7 - 24. Suppose l*m - 292 = 104. Is m a multiple of 2?
True
Suppose 5*v + 2*g + 6 - 16 = 0, -2*g = -10. Suppose -4*k - 12 = v, s + 5*k = 2*k + 186. Does 10 divide s?
False
Suppose -5094 = -4*i + 3*v, -30*i - 6367 = -35*i + 4*v. Is 16 a factor of i?
False
Suppose -44588 = -18*f + 12*f + 5*f. Is f a multiple of 284?
True
Suppose 44004 = p - 4*a, -53*p + 54*p - 5*a - 43997 = 0. Is p a multiple of 86?
True
Let x(n) = 19*n**2 - 71*n - 876. Does 23 divide x(-30)?
True
Let g be 0*(-2)/(-6)*(-2)/4. Suppose g = -2*u - 5*s + 24, 2*u = 5*u - s - 36. Does 2 divide u?
True
Suppose -2*u - 2*m = 86, u = 2*m + 2*m - 68. Let v be u/(-8) + (-1 - 0). Suppose -8 = -3*o - t, t + 4*t = -v. Is 3 a factor of o?
True
Let u(f) = -f**3 - f**2 + f - 88. Let j be u(0). Let r = j - -159. Suppose -l - m = -3*m - 36, -l - 5*m + r = 0. Is l a multiple of 5?
False
Suppose -55*i = -52*i - 9, -4*d + 191312 = -4*i. Does 52 divide d?
False
Let n(d) = 28*d - 324. Let r be n(0). Let q = r + 599. Is 18 a factor of q?
False
Suppose -4*t + 154 + 1718 = -4*l, -1410 = -3*t + 5*l. Suppose 0 = 4*d + t - 4833. Is d a multiple of 52?
True
Suppose 0 = 2276*f - 2269*f + 21. Let j(k) = 5*k**2 + 19*k + 45. Is j(f) a multiple of 3?
True
Suppose -5*g + 1901 = w - 1604, 0 = -2*w - g + 7064. Is 7 a factor of w?
True
Suppose -203 = 3*z - u, -z - 38 = -3*u + 27. Let i = z - -68. Does 14 divide (3 - -212) + i + 1?
False
Suppose -110 = 2*k - 7*k - 5*o, -2*o = 3*k - 62. Let t(z) = z + 25. Is t(k) a multiple of 6?
False
Let z(m) = 7689*m**2 - 323*m + 3. Does 5 divide z(-1)?
True
Is (-51972)/639*(-858)/8 a multiple of 9?
False
Let s = 358 - 354. Suppose 3*d - 15 = 0, v + s*v + d - 565 = 0. Is 8 a factor of v?
True
Suppose 4*d - 1136 - 32952 = 0. Is 167 a factor of d?
False
Suppose 117*r - 68579 - 53101 = 0. Is 52 a factor of r?
True
Suppose 13*s - 9*s - 13718 = 2*c, 5*s - 17143 = -2*c. Does 5 divide s?
False
Let b(m) = 6*m**2 + 27*m + 622. Does 7 divide b(-26)?
True
Suppose -11370 = -516*p + 514*p - 3*t, -2*p = -4*t - 11384. Is 72 a factor of p?
True
Suppose 7*g - 3370 = 2*g. Suppose 675*s = g*s + 45. Does 3 divide s?
True
Suppose 15*d + o + 7184 = 16*d, -5*o + 21488 = 3*d. Does 184 divide d?
True
Let o(x) = -88*x + 59. Let t(g) = 132*g - 89. Let w(v) = -8*o(v) - 5*t(v). Let b be w(17). Suppose -5*s = 266 - b. Does 13 divide s?
True
Let y = -124 - -73. Let p = 47 + y. Is 19 a factor of (-14)/(-4)*(p - 2 - -44)?
True
Let j = 5933 - -2587. Is 71 a factor of j?
True
Let q(l) = -l + 2. Suppose 4*z = 8 + 24. Let u be q(z). Does 7 divide 184/6*u/(-4)?
False
Does 11 divide 5194/106*(2 - -69)?
False
Let t = -15152 + 16369. Is 90 a factor of t?
False
Let k = 78 + -75. Suppose -2*h + j + 10 = -203, -4*h = k*j - 401. Does 19 divide h?
False
Suppose 79249 + 130507 - 52976 = 30*j. Is 305 a factor of j?
False
Let n be (3 + 44/(-20))*(4 + 1). Suppose 2*o - 1824 = -5*x, 3618 + 6 = 4*o + n*x. Suppose -17*w + o - 35 = 0. Is 26 a factor of w?
False
Let c(a) = 252*a**2 + 3*a - 3. Let p be c(1). Suppose -2*y = 5*x - 408, -4*x - 3*y = -x - p. Is (90/4)/5*x/4 a multiple of 15?
True
Let r be -1 - (-14)/(-63) - (-4)/18. Let l be (0 - r)*-485*6/(-15). Is (1 + l)/(3/3) a multiple of 13?
True
Let k = -84 + 89. Suppose -k*m - 72 + 1402 = 0. Is m a multiple of 38?
True
Suppose -19*c + 17*c = 0. Suppose c = -14*t + 11*t + 375. Let i = 179 - t. Does 18 divide i?
True
Let g be (-17580)/84 - (-2)/7. Let o be (-2123)/7 - (-2)/7. Let x = g - o. Does 21 divide x?
False
Let b(d) = -3*d + 26. Suppose -5*r - 3*c = -20, 5*r + 4*c = 2*r + 1. Let z be b(r). Suppose 5*a + 230 = z*g, -4*g + 208 = -0*a + 4*a. Is 13 a factor of g?
False
Let z be 4/(-12) - 26/(-6). Suppose 25 = 5*o - 10*n + 5*n, 4 = -z*o - 2*n. Suppose -v + 2*h = -45, 0 = -3*h - 5 - o. Is 7 a factor of v?
False
Suppose -68 = -s + m, 0*s - 2*m = 5*s - 333. Suppose -3*z = s - 274. Is 23 a factor of z?
True
Let y(i) = -76*i - 70. Let c(h) = -227*h - 208. Let z(d) = -3*c(d) + 8*y(d). Does 24 divide z(8)?
True
Let d(w) = 66*w - 24. Let l be d(4). Suppose -u + 20 = 3*q, u + 16 = 4*u - 2*q. Suppose u*x = 6*x + l. Is x a multiple of 24?
True
Suppose 2*f - i - 61888 - 26158 = 0, f + 3*i - 44009 = 0. Is 22 a factor of f?
False
Let l(g) = 7*g**2 + 8*g + 219. Is 14 a factor of l(47)?
True
Suppose 5*q - 85 = -60. Suppose -2*z + y = -26, -3*y = -q*z - y + 67. Suppose 5*n - z*n + 2320 = 0. Does 29 divide n?
True
Let p = -10777 + 26397. Is p a multiple of 10?
True
Let r = 10473 + 12135. Is 72 a factor of r?
True
Is (141/(-235))/(4/107660*-1) a multiple of 18?
False
Let b(p) = p**3 + 6*p**2 + p + 14. Let q be b(-5). Let k be (-1819)/q*(0 - -2). Let m = 31 - k. Is m a multiple of 28?
False
Suppose -156 = -2*m - 2*u, -2*u + u - 162 = -2*m. Let j = 284 + m. Is j a multiple of 69?
False
Suppose 3555