et y = -23926 + 49380. Is y a multiple of 38?
False
Let d = -14803 - -16072. Is d a multiple of 47?
True
Does 200 divide 1692/940*339630/9?
False
Suppose 730 = 12*k - 10*k. Suppose -j - 725 = -2*g, -g + 2*j = j - k. Does 18 divide g?
True
Let w = -86 - -90. Let f be (8 - w)*2*(-1)/(-4). Suppose -39 + 143 = y - f*b, b + 220 = 2*y. Is y a multiple of 14?
True
Does 10 divide 10/4 - (-1550)/4?
True
Let j be -5 + 8 + (-15)/(-3). Suppose 0 = j*g - 7*g - 192. Suppose 0 = -2*r - r + g. Is r a multiple of 16?
True
Suppose -o + 3*c = -2142 - 2866, -5*c + 25020 = 5*o. Suppose 24*t = -11*t + o. Does 4 divide t?
False
Let r(n) = -n**3 + 3*n**2 + 7*n - 10. Let c be r(4). Suppose -2*b - b - 3 = 0, 0 = c*p - b - 681. Is 49 a factor of p?
False
Let h be ((-1785 + 7)/7)/(-2). Is 9 a factor of (-1)/((-1)/5) - (-46609)/h?
False
Suppose 42*m = 38*m - 356. Let o = m - -92. Suppose 0 = -o*y + 5*j - 9*j + 33, -3*y = -j - 33. Is y a multiple of 6?
False
Suppose -2*a = -2*b + 12116, 8599 = 3*b + 5*a - 9559. Is 37 a factor of b?
False
Let a = 19646 - -40781. Is 11 a factor of a?
False
Let n(m) = -5*m**3 - m**2 + 1. Let u be n(-1). Suppose u = -5*g, -150 = l - 8*g + 4*g. Does 13 divide (-44)/l - 458/(-14)?
False
Let m(n) = -n**2 - 11*n + 1. Let i(w) = -w - 26. Let v be i(-15). Let a be m(v). Suppose -l = -a - 16. Does 2 divide l?
False
Let c(o) = o**3 - 5*o**2 - 6*o + 4. Let l be c(6). Let k(n) = -n**3 + 9*n**2 - 12*n + 16. Let w be k(7). Suppose -6 + w = l*u. Does 3 divide u?
True
Suppose -3*w = 5*q - 13389, -47*w + 43*w + 17868 = 4*q. Is 71 a factor of w?
True
Let x(a) = a - 4. Let c be x(9). Suppose -6*v + c = -5*v. Does 3 divide 9 - 1*v/(-5)?
False
Suppose 64*o + 30396 = 68*o. Is o a multiple of 149?
True
Let g(l) = -l**2 - 4*l + 2. Let k be g(-4). Let s(m) = 171*m + 8. Let b be s(k). Suppose 2*q - 66 = 4*h - b, 0 = -h + 3*q + 71. Is h a multiple of 27?
False
Let n(q) = 4*q**2 - 22*q - 42. Let d(v) = 3*v**2 - 21*v - 43. Let x(t) = 3*d(t) - 2*n(t). Let a be x(21). Is 5 a factor of a/(0 + -3)*80?
True
Suppose -134356 = -12*l - 78124. Is 66 a factor of l?
True
Does 2 divide (-1)/6 - (1692754/84)/(-23)?
True
Suppose -74316 = -13*k + 10*k. Suppose 9*j = -13*j + k. Is 16 a factor of j?
False
Suppose 0 = 7*k + 358 - 1611. Suppose -v + 3*z + k = 0, 2*v - 2*z = -4*z + 358. Is v a multiple of 40?
False
Let g(n) be the second derivative of 3*n**5/20 + n**4/6 - 2*n**3 + 7*n**2/2 - 134*n. Is 9 a factor of g(5)?
False
Suppose -86*u - 85*u = 15*u - 2187360. Is u a multiple of 10?
True
Let g = -29 + 25. Let n be g/6 + 2/(-6). Is 13 a factor of (6/(-9)*n)/((-4)/(-366))?
False
Suppose -38752 = -5*r - 7*p + 3*p, -2*p - 7756 = -r. Does 17 divide r?
True
Suppose 187*i = 1412156 + 65892. Is i a multiple of 38?
True
Suppose 6*z - 3816 = -z + 3*z. Does 92 divide z?
False
Let q(p) = 5949*p + 207. Is q(3) a multiple of 102?
True
Suppose -y + 28 - 4 = 5*x, 2*x = -3*y + 72. Suppose -27*i = -y*i - 396. Does 6 divide i?
True
Let o = -2 + -6. Let v(n) = n**3 + 11*n**2 + 12*n + 13. Let i be v(o). Let z = -29 + i. Does 20 divide z?
True
Suppose 366*p - 365*p - 3*w - 1941 = 0, 2*p = -w + 3882. Is p a multiple of 21?
False
Let u(r) = -r**2 + 26*r - 38. Let x(z) be the second derivative of 19*z**4/12 - z**3/6 + z**2/2 - 14*z. Let f be x(-1). Is u(f) a multiple of 12?
False
Let x = 79 - 114. Let w be 28/x*(-290 + 0). Suppose 0 = 11*v - 7*v - w. Does 29 divide v?
True
Suppose 2090*c - 2105*c + 155445 = 0. Is c a multiple of 43?
True
Suppose 42 = 2*u - 0*u + 2*s, 4*u = -3*s + 79. Suppose -u*y + 960 = -6*y. Let x = 16 + y. Is 22 a factor of x?
False
Let k be 3*(-8)/36*(-33621)/14. Let d = -1097 + k. Is d a multiple of 21?
True
Let g(q) = -q**2 - 27*q - 148. Let f be g(-19). Suppose 2*w - 710 = -2*m + f*w, -375 = -m + 5*w. Is 10 a factor of m?
True
Suppose 6 = -5*b + 3*b, -3*j + 108 = -2*b. Suppose 5*s - j = 11. Is (-4)/12 + 1146/s a multiple of 19?
False
Suppose 4*k + 3*w = -916 - 539, 1449 = -4*k - 5*w. Suppose 6*t = t - 1275. Let s = t - k. Is s a multiple of 13?
False
Suppose -5*l + l = 2*c - 70, 3*c - 85 = 4*l. Suppose 0 = c*s - 46*s + 2850. Is s a multiple of 6?
False
Suppose -84 = 4*x + 104. Let p = -159 - x. Let z = -52 - p. Is z a multiple of 20?
True
Let c(f) = 945*f**2 + 258*f - 1309. Does 67 divide c(5)?
False
Let k be (515/10 + -8)*(-1 - 1). Let g = k - -357. Does 15 divide g?
True
Let z be 54/(-36)*208/(-3). Let o = z + -85. Is o a multiple of 4?
False
Suppose 3*h + 4*c - 1080 = 921, 4*c - 1334 = -2*h. Does 3 divide h?
False
Suppose 4*h - 18*n - 2847 = -15*n, -h - n = -710. Does 79 divide h?
True
Let r = -31133 - -31485. Is r a multiple of 44?
True
Let o = 127 + -135. Is (-1 - o) + (-4 - -8) a multiple of 11?
True
Suppose -41 = 4*p + 5*g, p - g - 1 = -0*g. Let s(o) = 15*o + 5. Let j be s(p). Is 3 a factor of j/(-3) + 14/21?
False
Let c be 52 - 0*(-6)/54. Does 10 divide 706*1 + c + -60?
False
Let y be ((-10)/50)/((-7)/140). Is 10 a factor of (2/y + 0)/(88/100320)?
True
Is 35 a factor of (-17058 - 8)/(-14)*1?
False
Is 15 a factor of 14/(-7) + -6*10/(-15) + 3484?
False
Is 16 a factor of (-8719)/(-2) + ((-527)/(-34))/(-31)?
False
Suppose 3*y + 29970 = 3*w, -3*w - 2*y + y = -29970. Is w a multiple of 15?
True
Let y = -70 + 50. Let h(q) = 5*q + 117. Does 3 divide h(y)?
False
Let t = -3750 + 6564. Is t a multiple of 67?
True
Suppose 2*q - 2*o = 10, -2*o = -4*q - 4*o + 20. Suppose -2*n + 4*p + 1150 = 0, -6*n + 2900 = -n - q*p. Is n a multiple of 15?
True
Suppose -2*a + 2*s - 1726 = -6*a, 0 = -5*a - 2*s + 2156. Let v = a + 118. Does 68 divide v?
False
Let v = -15 - -43. Let o = -19 + v. Suppose 4*i - o = 99. Is 20 a factor of i?
False
Let k be (0 + 0)/(3 + 2 + -3). Let w be k + 2 - 1032/(-12). Let z = w + -40. Does 15 divide z?
False
Let g(x) be the second derivative of -6*x**5/5 - x**4/4 - 5*x**3/6 - 5*x**2 + 59*x - 1. Is g(-2) a multiple of 19?
False
Suppose 3*w - 4*h = 38432, -2*w + 154*h = 150*h - 25628. Does 194 divide w?
True
Suppose -h + z + 1363 = 0, -h + 0*h = z - 1357. Is h a multiple of 20?
True
Let k be ((-3396)/(-9))/(70/(-21) + 4). Let d = k + -237. Is 38 a factor of d?
False
Suppose -3*f + 0*a - a - 19 = 0, 2*a = 3*f + 34. Is 6 a factor of 2/(f/(-636)) - 6?
False
Suppose 174 = 16*s - 2. Let f(k) = -12 + 3 - s*k - 13 + 1. Is 25 a factor of f(-5)?
False
Let x be (-18)/((-185)/45 - -4). Suppose -x - 333 = -3*o. Is 33 a factor of o?
True
Let h = 523 - 520. Suppose -4*v = 5*c - 5100, 8*c - h*c - 2*v = 5130. Is c a multiple of 16?
True
Suppose -411*a = -385*a. Let d(v) = v - 59 + 4*v**2 + 241 - 3*v**2. Is 29 a factor of d(a)?
False
Let o = -3592 + 6829. Does 36 divide o?
False
Let b = 47 + -44. Suppose x = -4*h + 11, -b*x + 0*x - 4*h + 41 = 0. Suppose 0 = -w + x + 86. Does 18 divide w?
False
Let j(a) = 3*a - 4 + a - 4 + 4 + 4*a**2. Let l be j(2). Is (16/(-10))/(l/(-1400)) a multiple of 14?
True
Suppose 3*g - 15 = -2*q, -5*q - 4*g + 10 + 10 = 0. Suppose -8*o + 1287 + 1881 = q. Does 12 divide o?
True
Let x be -2 - -4 - (-3 - -2)*-2. Suppose x = -5*c + 233 + 12. Let s = -7 + c. Does 16 divide s?
False
Suppose -9*a = -4*a + 535. Let b = a - -287. Suppose b = m + m. Does 15 divide m?
True
Suppose -4*s = -5*s + 379. Suppose 4*g - 821 - s = 0. Is 14 a factor of g?
False
Suppose 4*i - 130*f - 15399 = -135*f, 5*i + f = 19212. Is i a multiple of 23?
True
Suppose -4*b - 20465 = -s, -28*b = -2*s - 29*b + 40993. Is s a multiple of 11?
True
Let o(i) = 143*i**2 - i + 10. Let h(a) = -3*a**3 + 4*a - 3. Let c be h(1). Does 35 divide o(c)?
False
Let w(a) = a**3 - 3*a**2 - 25*a - 17. Let u be w(7). Suppose -228 = -3*q + u*o - 22, 0 = 2*q - o - 129. Is q a multiple of 20?
False
Let v(q) = -q**3 + 16*q**2 - 13*q - 2. Let j = 112 - 97. Let f be v(j). Is 18 a factor of (21/f - 27/4)*-6?
True
Suppose 0 = 2*w + 4*t - 91742, 71*w - 70*w = 5*t + 45920. Is 133 a factor of w?
True
Suppose -4*f - 3*d = -3 - 17, 0 = 3*f + 3*d - 15. Suppose 0 = -f*b + 4*s + 583, 2*b - 27*s - 253 = -32*s. Is 5 a factor of b?
False
Let k(w) = -15*w + 3. Let v be k(-1). Suppose h - v = -3. Suppose -16*y + h*y + 256 = 0. Is y a multiple of 52?
False
Suppose 12 = 3*o - 3*j, 2*j = o + 7*j + 2. Suppose n = o*n - 44. Is n a multiple of 12?
False
Suppose -3*j - j - 49 = -q, 0 = -4*q - 4*j + 96. Let r = q + -31. Let n = r - -50. Does 15 divide n?
