= 0, 0*m - 3*i - 351 = 3*m. Let b = 69 - m. Does 11 divide b?
False
Let k(f) = 151*f - 25. Let s(j) = j - 3. Let q(w) = -k(w) - 6*s(w). Is 46 a factor of q(-5)?
True
Let w = 18445 - 16371. Does 17 divide w?
True
Suppose -9*d = -3142 - 4454. Suppose d = 9*q - 2117. Is q a multiple of 31?
False
Suppose -442*n - 1867929 = -539*n. Is n a multiple of 8?
False
Suppose 87*l - 18*l - 378350 = 19*l. Is l a multiple of 161?
True
Let k(z) = -3*z - 36. Let j be k(-18). Is 15 + -2*(0 - j/(-12)) a multiple of 2?
True
Let t be ((-28)/(-5))/((-8)/(-60)). Let v = -26 + t. Suppose -24 = -h + 3*l, v*h - 3*l - 36 = 14*h. Is 6 a factor of h?
True
Let r be ((-161)/(-4))/((-29)/(-116)). Let f(n) = -2*n. Let k be f(7). Let p = k + r. Is p a multiple of 21?
True
Let z(l) = l - 11. Let q be z(4). Let h(u) = -2*u**3 - 6*u**2 - 7*u - 87. Is h(q) a multiple of 27?
False
Let z = 5828 + -5711. Is z a multiple of 7?
False
Let g(k) = k**2 + 0*k + 5*k + 2*k**2 + 2 - k**2. Let c be g(-3). Suppose -c*l + 219 = o, l + 9*o = 4*o + 63. Is l a multiple of 37?
False
Let v(o) = 283*o**2 - 362*o - 2513. Is 8 a factor of v(-7)?
True
Let w(j) = j. Let h(p) be the second derivative of -p**4/4 - p**3/3 + 3*p**2 + p. Let y(x) = -h(x) - 6*w(x). Is 11 a factor of y(-3)?
True
Suppose 52085 = 5*u - 5*h, -u - 2804 + 13241 = 4*h. Is 111 a factor of u?
False
Let t = -18083 + 25779. Does 8 divide t?
True
Let l(s) = -s**3 + 37*s**2 - 38*s - 152. Is l(35) a multiple of 121?
True
Suppose -4*w = -120 + 12. Let z = 27 - w. Suppose z*s = 2*f - 4*s - 32, 0 = -4*f + 2*s + 76. Does 10 divide f?
True
Suppose -2*i + 6*i + 242 = r, -228 = -r - 3*i. Let g = -222 + r. Does 2 divide g?
True
Let m = -23 - -24. Let j be -13 - (-1 + 6 - m - 5). Is 16 a factor of j*(-45)/10 - -2?
False
Let g = 88 + 493. Suppose -5*b = -m - g, b - 118 = 7*m - 5*m. Does 27 divide b?
False
Let r = -852 - -37376. Is 390 a factor of r?
False
Let i(v) = -10*v - 69. Let o(n) = n**2 - 9*n + 1. Let k be o(8). Let q be i(k). Let h = q - -25. Is h a multiple of 3?
False
Let u(x) = x**2 + 145*x - 1165. Is 23 a factor of u(82)?
False
Let x = 86 - 104. Let c be (-13 - x) + 1*-3. Is c - 25/(-15)*3 a multiple of 5?
False
Does 123 divide (-231)/616 - 121483/(-8)?
False
Let k = 13804 + -5162. Does 6 divide k?
False
Let n = 25784 + -21035. Does 27 divide n?
False
Suppose -2*c - 23 = -3*y + 33, -2*y = -c - 36. Let j be ((-48)/7)/(-1) + y/112. Suppose 3*l + j*x - 3*x = 465, -5*l + 752 = -x. Does 12 divide l?
False
Suppose -1708*y + 54453 = r - 1704*y, -3*r - y + 163392 = 0. Does 40 divide r?
False
Suppose -4*w = -3*r - 153895, 3*r = 19 + 2. Is w a multiple of 73?
False
Is 13 a factor of (741/(-12)*(2 + -124))/((-2)/(-4))?
True
Suppose -8*r = -5*r + 246. Let x be (-259)/(-1) + -1*14/(-7). Let t = x + r. Is t a multiple of 11?
False
Suppose 8196 = 4*a + 23*v - 19*v, -3*a = -3*v - 6135. Is a a multiple of 85?
False
Let w = -4761 + 5341. Is 4 a factor of w?
True
Let s(o) = o**3 - 12*o**2 + o - 10. Let n be s(12). Suppose -n*g + 356 = 2*j, j - 178 = -g - 4*j. Does 43 divide g?
False
Let j(y) = 12*y**3 + 13*y + 3*y**2 + 84*y**3 - 97*y**3 + 22 + 10*y. Does 15 divide j(-9)?
False
Suppose 4*f + 34 = 2*s, -s - 4*f + 3*f = -2. Suppose -12*p = -15*p + 15. Suppose 30 = 2*i + h - s, -5*h + p = 0. Is 6 a factor of i?
True
Let s = 225 - 82. Suppose 79 = 3*g - 2*t - 72, -3*g + 4*t = -s. Is g a multiple of 4?
False
Suppose 0*j = -3*f - 5*j + 5, -f + 3*j = -25. Suppose -5*p = 20 + f. Let u(a) = -a**3 - 4*a**2 + 7*a + 10. Is 5 a factor of u(p)?
True
Is 178*58 - 35/(175/(-20)) a multiple of 6?
False
Let s be (5 - -806) + (-3)/(-2)*-2. Let j = -373 + s. Suppose -i = -4*m - 0*i + j, 4*m - 4*i - 444 = 0. Does 9 divide m?
True
Let p(q) = -28*q - 3. Does 50 divide p(-67)?
False
Let u(j) = 24*j**3 - 13*j - 1. Is u(7) a multiple of 20?
True
Suppose -215445 - 40447 = 54*k - 92*k. Is 26 a factor of k?
True
Suppose 38*q - 6427 = 7329. Suppose 0 = -q*k + 352*k + 480. Is k a multiple of 12?
True
Let z = 429 - 421. Is 13 a factor of (z - 434/49)*(0 + -273)?
True
Let w(u) = 23*u**2 - 40*u - 1037. Does 71 divide w(-28)?
False
Let t be (-680)/140 + 1/(-7). Let s be (-2940)/150*t/1. Let a = -22 + s. Is a a multiple of 4?
True
Suppose i = -4*p + 16923, 2*p + 3*i = -0*i + 8459. Let m = p + -3021. Does 55 divide m?
True
Let f(a) be the third derivative of a**6/120 - a**5/30 + a**4/8 + 40*a**3/3 + 27*a**2. Let g be f(0). Is 8 a factor of (207/(-46))/((-83)/g + 1)?
True
Suppose 3*q - f + 588 - 10953 = 0, -5*f = -4*q + 13809. Is 8 a factor of q?
True
Let m be 21/15 + 8/(-20) - -6. Let b(o) = -o**2 + 7*o + 9. Let n be b(m). Suppose 0 = -n*i - i + 440. Is i a multiple of 44?
True
Let a be 133 + 3 + (10 - 7). Suppose 4*n - 2*y = 7*n - a, 0 = n + 5*y - 68. Is n a multiple of 8?
False
Let i be (2046 - 10)*3/6. Is 18 a factor of i/3*(-3)/(-6)*3?
False
Suppose 83*q - 80*q = -5*w + 62335, -4*w = -2*q - 49846. Is w a multiple of 4?
True
Is 8 a factor of 118812/15 + (-8)/(-40)?
False
Suppose -3*k = -2*k - 3. Suppose m - 9 = 5*m - 3*p, 0 = -2*m - 5*p + 15. Suppose u = -k*i + 238, 5*u = 5*i - m*i - 370. Is i a multiple of 13?
True
Let q be (-2)/(-2*2)*(-3400)/(-85). Does 8 divide 272 - 11/(55/q)?
False
Let w = 25322 - 23562. Does 22 divide w?
True
Suppose 22 = 5*i - 58. Suppose 0 = f + g, -8*f + 3*f = 4*g. Suppose f = -6*d + 5*d + i. Does 16 divide d?
True
Let q(k) = 64*k**2 - 3*k - 2. Let m be 3*(0 - 8/(-12)). Let z be q(m). Does 31 divide (z/(-5))/((-8)/20)?
True
Suppose -5*a - 4*m + 8*m = -82, 3*m + 66 = 4*a. Suppose 28215 = -3*u + a*u. Is u a multiple of 82?
False
Let a(l) = 61*l + 1546. Is a(-13) even?
False
Suppose -4*w = -24 - 8. Let a be (-3 + -2)*(-512)/(-640). Is (-2)/a + 812/w a multiple of 21?
False
Let k(a) = a - 1. Let i be k(7). Suppose 3*c = 6*c - i. Suppose 5*j - 211 = 3*t, 4*j - 182 = -0*j - c*t. Is 22 a factor of j?
True
Suppose 695*o - 5958552 = 543*o. Does 219 divide o?
True
Let z(b) = -38*b**3 - 105*b**2 - 122*b - 13. Does 3 divide z(-7)?
True
Suppose 2090 - 600 = 2*y + g, -g + 2237 = 3*y. Let r = -432 + y. Does 37 divide r?
False
Suppose -39*a + 619500 = 171*a. Is a a multiple of 9?
False
Let i(m) = m**3 - 9*m**2 + 9*m + 27. Let c be i(7). Is 16 a factor of 20/(-30)*13308/c?
False
Let q be (-8)/6*(11 - (7 - -7)). Is 84 a factor of (14/(-8))/(4/((-7680)/q))?
True
Let w be (((-30)/18)/(-5))/(1/1065). Let x = w + -328. Does 5 divide x?
False
Let o = 10459 + -6451. Is 79 a factor of o?
False
Let f be ((-4)/6)/((-4)/(-6)). Let p = -750 - -717. Is (-1 - -2)*(-2 + p)*f a multiple of 23?
False
Let r(u) = 3*u - 40. Let w be r(14). Suppose w*j - 41 - 404 = -d, -5*d = j - 209. Suppose -12*v + 4*v = -j. Is v a multiple of 7?
True
Let b = -12729 - -19052. Does 15 divide b?
False
Let j = -24 + 30. Suppose 0 = j*u - 10*u - 32. Does 5 divide 2/(-3) - ((-3424)/(-12))/u?
True
Let y = -99 - -127. Suppose -a + u = -464, 16 = -3*u + y. Is 52 a factor of a?
True
Suppose 14 = 2*p + 4*c, -5*p + 2*c = -14 - 45. Is 2 a factor of p?
False
Let y(c) = 20*c**2 - c + 4. Let d be y(2). Let m = -82 + d. Suppose -2*l - 1044 = -m*n - 4*n, -262 = -n + l. Does 56 divide n?
False
Let m = 1072 + -551. Let b = m + -390. Is b a multiple of 8?
False
Suppose -x - 2*m - 4 = 4, 0 = -3*x - 4*m - 16. Suppose 6*c - 14*c + 40 = x. Does 5 divide c?
True
Let m = 26974 + -15570. Does 78 divide m?
False
Let a(j) = 1051*j - 45. Is a(51) a multiple of 12?
True
Let d(f) be the first derivative of f**3/3 - 5*f**2/2 + 13*f + 2. Let l be d(4). Suppose l*q = 164 + 187. Is 13 a factor of q?
True
Suppose -18 = -7*t - 11*t. Does 51 divide t - -154 - ((-11 - -11) + 2)?
True
Let j(q) = -q**2 - 5. Let p(y) = -y**2 - 4*y - 4. Let r be p(-2). Let b be j(r). Does 49 divide ((-990)/4)/b + (-3)/6?
True
Let s(n) = 2*n + 1. Suppose 3*z + 10 + 5 = 0, 4*z = 5*k - 85. Does 4 divide s(k)?
False
Suppose -15*v + 13*v = -5*c - 20437, -v + 3*c + 10221 = 0. Is v a multiple of 11?
False
Suppose 2*j - 3*c = 6220 - 954, -4*j = -5*c - 10532. Does 10 divide j?
False
Suppose -117*z + 48349 + 13393 = -31273. Is z a multiple of 53?
True
Suppose -3*q + 3*x - 30 = 0, -3*q + 5*x = 40 - 10. Let l(i) = -i**3 - i**2 - 13*i + 30. Is l(q) a multiple of 34?
False
Suppose -43*v = -39*v + 72. Let u(d) = 8*d**2 + d - 3. Let i be u(4). Let q = i + v. Is q a multiple of 30?
False
Let