 i + 577. Let u = s + 9. Let p = 138 + u. Is 3 a factor of p?
False
Suppose -5*w + 53880 = -4*r, 0 = -2*w - 42*r + 38*r + 21524. Does 25 divide w?
False
Let l(o) = -o**3 - 9*o**2 - 10*o - 12. Let b be l(-8). Does 2 divide b/7 - 9415/(-245)?
False
Let a(z) = 5*z**3 + 7*z**2 - z + 7. Let r(i) = -4*i**3 - 6*i**2 + i - 7. Let l(o) = -5*a(o) - 6*r(o). Let d be l(-3). Let g = d + 45. Is 23 a factor of g?
False
Let z be (-100)/6*(0 + 3). Let v be -26*(-3 + (-1)/(-2)). Let c = z + v. Is c a multiple of 9?
False
Let t = -234 - -216. Let q = 547 + t. Does 72 divide q?
False
Let s = 47092 + -31908. Is s a multiple of 104?
True
Suppose -131*h = -142*h + 57911 + 96958. Is 9 a factor of h?
False
Suppose 3*b - 575 = t, 10*t = 6*t - 8. Suppose -4*i - 5*f = 143 - 416, -3*i - f = -b. Is 29 a factor of i?
False
Suppose -403*p + 407*p = -5*m + 62014, 0 = 4*p + 3*m - 62002. Does 284 divide p?
False
Suppose -m = -19*w + 16*w + 16527, 0 = -2*w - m + 11008. Does 18 divide w?
False
Let m = -1001 - -5979. Does 38 divide m?
True
Suppose -9 = -3*z, -3*f - 4*z + 117 = z. Suppose 1464 = 40*b - f*b. Does 6 divide b?
False
Let g(n) = 325*n**3 - n**2 + 2*n - 32. Is g(3) a multiple of 46?
True
Suppose -36*p + 3630 + 4254 = 0. Let z = 270 - p. Does 17 divide z?
True
Let q(n) = 0*n + 16 + 10*n - 16*n**2 + 17 - 23 - 286*n**3. Let r(m) = 95*m**3 + 5*m**2 - 3*m - 3. Let x(j) = -5*q(j) - 16*r(j). Does 30 divide x(-1)?
True
Suppose -8 = -2*m, 4*m + 5 = -3*z + 33. Suppose 0 = -z*s + 427 + 257. Is 23 a factor of s?
False
Suppose 0 = -11*u + 5*u + 9882. Suppose 5*p = 4*q + u, p = -4*q + 3*q + 333. Is p a multiple of 32?
False
Suppose -4*c - 3*t + 1 = 0, 0*c + 5*c - t + 13 = 0. Is (584 + -6)*(-1 - c) a multiple of 34?
True
Let a(p) = -10*p**3 + 4*p**2 + 15. Let v be a(-4). Let j = v + -304. Does 13 divide j?
False
Let i be (4 - (-92)/9) + 4/(-18). Let l = 76 - i. Let r = l + -53. Is 9 a factor of r?
True
Let u be 229 - 4/(-8)*6. Let x = -13 - -12. Is 32 a factor of (u/16 + 3*x)*16?
False
Suppose 38*j = 43*j - 4*g - 83169, -3*g = 2*j - 33240. Does 69 divide j?
True
Suppose 6*l - 2263109 = -355*l. Is l a multiple of 27?
False
Is 3 a factor of ((-12)/(-7))/(-6) + -45867*8/(-84)?
True
Suppose -76*p = 252121 - 906481. Is p a multiple of 10?
True
Let v = -80 - -42. Let d = v + 65. Let g = -10 + d. Is g a multiple of 17?
True
Suppose -41*f = -2*f + 18*f - 660630. Is f a multiple of 61?
True
Suppose 55224 = 89*f - 77*f. Is f a multiple of 6?
True
Let n(l) = -l**3 - 5*l**2 + 8*l + 4. Let a be n(-6). Let g = a - -13. Suppose -g*k + 4*k = -10. Is 3 a factor of k?
False
Is (660/25)/((-2)/(-20)*(-288)/(-31176)) a multiple of 66?
True
Is 14 a factor of -602*728/((-336)/24)?
True
Let r(i) = 17*i + 4. Let a be r(4). Suppose 198 = -71*n + a*n. Is n a multiple of 66?
True
Let u = -50 + 54. Suppose -5*j + 5273 = u*g, -5259 = -7*j + 2*j + 3*g. Is 39 a factor of j?
True
Suppose 3*h + 36*p - 32*p - 40833 = 0, 4*p + 40785 = 3*h. Does 223 divide h?
True
Let f(v) = -v**3 + 3*v**2 + 20*v - 16. Let l be f(6). Is 21 a factor of (2 + 2/(-8))/(l/(-96))?
True
Let h(i) = -55*i + 2106. Is 19 a factor of h(22)?
False
Suppose -h = 2*h - 690. Let v = h + -48. Is v a multiple of 59?
False
Suppose -2*i + 220 = -4*w, -2*w + 7*w = i - 278. Let s = 189 + w. Is s a multiple of 19?
True
Let y(h) = 3*h**2 - 13*h - 122. Let i(k) = -k**2 + 6*k + 61. Let o(q) = 5*i(q) + 2*y(q). Is 12 a factor of o(-9)?
False
Suppose 24*j - 2*j - 88 = 0. Is 64 - (-50)/(-10)*j/(-10) a multiple of 33?
True
Let g = 40 - 73. Let w = 41 + g. Suppose 139 + 221 = w*y. Does 9 divide y?
True
Let x(y) = 180*y**2 + 105*y + 80. Does 325 divide x(-8)?
False
Suppose -2*d = 4*u - 682, 7*d + 5*u - 347 = 6*d. Suppose -2*p + 175 + 148 = 3*r, 0 = -3*r + 5*p + d. Does 20 divide r?
False
Suppose 25 = -11*w + 69. Suppose 36*g - w*k + 1335 = 41*g, -2*g - 4*k = -546. Does 38 divide g?
False
Suppose -5*b = -5*h - 50, 2*b + 5*h = -3*b + 70. Suppose 0 = b*x - 5*x - 2121. Suppose 0 = -6*d + 597 + x. Is d a multiple of 10?
True
Let v(r) = 20*r - 1. Let m be v(-4). Let w(g) = g**3 - 11*g**2 + 7*g - 10. Let i be w(5). Let p = m - i. Does 4 divide p?
True
Let m be 0 - -10 - -3*2/(-6). Does 17 divide (-2 - 31)*((-240)/m + 0)?
False
Let f(d) = 2*d**2 - 16*d - 15. Let u be f(12). Let g = u + -75. Does 37 divide 18/(-4)*4/g*-37?
True
Suppose 0 = -13*d + 40 + 363. Let n = 104 + d. Is 28 a factor of n?
False
Suppose 4*d + 14 = 18. Suppose 3*k - 5*m + 29 = 0, k + 16 - d = 3*m. Is 13 a factor of (-9*1)/((k - -2)/39)?
True
Is 31 a factor of ((-4)/(-14))/((-27)/(-86751))?
False
Let j = -1930 - -2852. Let y = 606 - j. Let w = -163 - y. Is w a multiple of 17?
True
Let x = -54 + 127. Let q = -70 + x. Suppose -8*t + 4*t + 2*v + 190 = 0, -156 = -3*t - q*v. Is 10 a factor of t?
False
Let v(l) = 1366*l + 2478. Is 99 a factor of v(15)?
True
Is 62 a factor of 75333/15 + (-29)/145?
True
Suppose -2*k = -5*n + 40 + 67, -58 = -3*n - 5*k. Suppose 68 = 8*w - 4*w. Suppose 0 = n*l - w*l - 208. Does 13 divide l?
True
Is (-2)/((-8)/1130)*9/(675/960) a multiple of 11?
False
Let f(k) = -20*k + 3. Let a be (-2 + 53)*(-4)/(-12). Suppose -5 = -12*c + a*c. Does 8 divide f(c)?
False
Suppose -8*q - 567 = -15*q. Suppose 5*r = k - q, -5*r + 16 = -2*k + 188. Is 13 a factor of k?
True
Suppose -3*o = 4*f - 128, 0 = -f + 5*f - 8. Suppose -2*u + 4*v = -4*u - 14, 4*u = 4*v - o. Is 1/(-2 - 134/602*u) a multiple of 15?
False
Let l(t) = 891*t**2 + 109*t + 4. Is l(4) a multiple of 233?
False
Let k(t) = t**3 + 8*t**2 + 10*t + 20. Let l be k(-7). Is 34 a factor of (-6 + l)/(76/(-7828))?
False
Suppose 4*x = -65*s + 68*s - 7378, -5*x = 2*s - 4957. Does 3 divide s?
True
Let l be ((-7)/(-21))/(20/21 + -1). Let o = 467 + l. Is o a multiple of 23?
True
Let h(v) = v**3 - 13*v**2 + v - 27. Let x be h(13). Is (-156)/(-91)*15/(-4)*x a multiple of 15?
True
Suppose 0 = 2*w + 2*i - 6, 9*w - 4*w - 23 = 3*i. Let l(v) = 29*v**2 - 6*v - 6. Is l(w) a multiple of 8?
False
Let d = 46 - -34. Suppose -4*j = -2*h + d, -2*j + h = 4*h + 56. Let m = j + 172. Is m a multiple of 28?
False
Let g be (-3)/(12/(-8))*1143. Suppose -26*t + 11048 = g. Is t a multiple of 8?
False
Does 13 divide (-1)/(-7) - 179864/(-56)?
False
Let y(h) = -2*h + 49. Let r be y(15). Suppose 6*a - r = 29. Does 9 divide -31*((-4)/a + (-9)/2)?
False
Is 9 a factor of ((-4)/3)/(5/210)*(6 - 101)?
False
Is 16 a factor of (-7478)/(-16)*(-3 + 77/7)?
False
Suppose 0 = -13*q + 6573 + 13746. Let o = 2369 - q. Is 13 a factor of o?
True
Let s = -848 - -1283. Let j = s - 321. Does 10 divide j?
False
Let h = -2 - -5. Suppose -4*g + h*t + 90 = 4*t, 48 = 2*g + 2*t. Is 1316/g + 4/22 a multiple of 12?
True
Suppose 3*h = 4*d - 23, -h + 1 = -0*d + 3*d. Suppose -5 + 2 = p, -d*p = -3*n + 789. Does 26 divide n?
False
Let m = 842 + -1201. Let o = m - -801. Does 30 divide o?
False
Suppose -2*u + 349 = -2*x + 3*u, 329 = -2*x + u. Does 19 divide (1 - 5)*x/12?
False
Let w(x) = x + 2. Let m(u) = -4*u - 5. Let o(l) = -2*m(l) - 6*w(l). Let k = 35 + -18. Is 8 a factor of o(k)?
True
Suppose -42*s = -45*s + 1200. Is 34 a factor of (-8*2)/(-4) + s + 4?
True
Let l(g) = -3*g - 23. Let j be l(-11). Let k be 22/(-18) - (-7)/(315/j). Is 156 - (-15 + 18 + 2*k) a multiple of 31?
True
Let p be (10 + -7 - (-2 - -1))/(-1). Let z be 1/(-4) - 1/p. Is 9 a factor of (-2)/(-6)*(z + 2 - -73)?
False
Let w be (-3)/(-3) + 38 + (10 - 11). Suppose 4*f - 1198 = -w. Does 53 divide f?
False
Let r(i) = 28*i + 2. Let s be r(3). Suppose -206 - 473 = 23*g + 264. Let h = s + g. Does 45 divide h?
True
Suppose -3*z - 421*x + 418*x + 7842 = 0, 0 = 3*z + x - 7842. Is 21 a factor of z?
False
Let n = 453 + -659. Let o = -104 - n. Let l = o + 6. Is 6 a factor of l?
True
Let b(s) = 10*s**3 - s**2 - 6*s - 8. Let o(n) = 11*n**3 - n**2 - 7*n - 7. Let k(j) = -3*b(j) + 2*o(j). Is 4 a factor of k(-2)?
False
Suppose 0*t + 2*t + 22 = 0. Let k = 10 + t. Let f(r) = -54*r**3 + 2*r**2 - 3*r - 5. Is f(k) a multiple of 13?
False
Let m be 8*(1*3 - 112/14). Let t = -39 - m. Is 23 a factor of (23*(-2)/4)/(t/(-2))?
True
Let t = -5313 - -8693. Does 69 divide t?
False
Let i be (-6)/10 + 80/50. Let b be 7*(-96)/(-56)*i/4. Suppose 138 = 5*l + 3*r, l + b*r - 6*r = 24. Does 24 divide l?
False
Suppose 2*r + 20 = 4*h, -21 + 57 = 4*h + 2*r. Let y(f) = 2*f**2 - 12*f + 20. Let v be y