4*l - 3265 = 0. Does 3 divide k?
False
Let o(i) = i**3 + 31*i**2 + 67*i + 34. Is o(-28) a multiple of 5?
True
Let z(o) = 6605*o**2 + 21*o + 15. Is z(-1) a multiple of 11?
False
Let x be (9/6 + -1)/((-10)/(-3940)). Let y = x - 185. Is y a multiple of 12?
True
Let l(j) = -j**3 - 4*j**2 + 3*j + 8. Let f be l(-4). Does 4 divide f*(-18)/12 - -30?
True
Let n be 3*1*3/9. Let s(m) = -6*m + 6*m - 10 - n - 6*m. Is 9 a factor of s(-10)?
False
Suppose 0 = 4*q + t - 24, -4*t - 18 = -4*q + 6. Suppose 108*w + 15 = 555. Suppose 328 = w*y - 4*x, 2*y - 4*x - 124 = -q*x. Is y a multiple of 32?
True
Let p(f) = -119*f + 51. Suppose 2*z + 18 = -4*y, 3 = -4*y + 2*z + z. Is p(y) a multiple of 51?
True
Let q = -846 + 851. Suppose -3830 - 1037 = -q*v - 4*g, 2*g = v - 979. Does 19 divide v?
False
Let s(p) be the first derivative of -p**4/4 + 8*p**3/3 - 4*p + 18. Let c(j) = -3*j**3 + 17*j**2 - j - 7. Let q(w) = 2*c(w) - 5*s(w). Is 7 a factor of q(-6)?
False
Let o(j) = j**2 - 10*j + 1. Let w be o(8). Let q(f) = -13*f + 11. Let k be q(w). Suppose 3*b - k + 5 = 0. Is b a multiple of 6?
False
Suppose 80 = l + 101*t - 99*t, -4*t + 424 = 5*l. Does 44 divide l?
True
Suppose 0 = -5*c + 4*c. Suppose 0 + c = -9*i. Suppose 4*p - 217 - 35 = i. Is 21 a factor of p?
True
Let k be (-22)/187 - (-886)/17. Let l = -40 + k. Is 3 a factor of l?
True
Let d(r) = 3*r - 103. Let h be d(41). Is 11 a factor of ((-88)/h)/((-2)/80)?
True
Let i = 28046 - 8328. Is i a multiple of 12?
False
Let x = 33 + -29. Suppose 7*n = 2*n, x*n = 2*m - 4. Suppose 2*a + m*a + 2*d = 798, -d + 5 = 0. Is 23 a factor of a?
False
Let s = 319 + -616. Let n = -173 - s. Is 17 a factor of (-9)/(-6)*(-2 + n/6)?
False
Let u(x) = -3*x + 33. Let f be u(11). Suppose -5*h + 4*h + 713 = f. Let g = h + -503. Is g a multiple of 15?
True
Is ((-1)/((-49)/14))/(2/91378) a multiple of 30?
False
Suppose 4*m = 3*c - 16772, 102*m - 100*m = 2. Does 9 divide c?
False
Suppose -2*p - 23 = -8*o + 3*o, 3*o + p = 5. Suppose -o*y + 7*y = 740. Let f = -100 + y. Is 9 a factor of f?
False
Let q = -273 + 315. Is ((-312)/14)/((-6)/q) a multiple of 4?
True
Let i(l) = -5 - l - 1 + 0*l + 2*l**2. Suppose 19 = 21*f - 44. Is 9 a factor of i(f)?
True
Let w(s) = s**3 + 16*s**2 + 13*s + 4. Suppose -2*j - 3*v = 20 - 9, 15 = -3*v. Suppose -j*r - 45 = r. Does 7 divide w(r)?
False
Suppose -8*y + 43 = 11. Suppose -4*j + 2*l + 2 = -122, -8 = -y*l. Is 5 a factor of j?
False
Let a be 323*(-18)/(-14) - 14/49. Let s = a + -350. Is 2 a factor of s?
False
Let y(m) be the third derivative of m**6/120 + m**5/3 - 3*m**4/8 - 13*m**3/2 + 3*m**2 - 17. Does 21 divide y(-20)?
False
Suppose -5*f + 3*h + 117 = -142, 0 = f - 3*h - 59. Let b = -55 + 59. Suppose -6*z - c + f = -2*z, -b*c = -3*z + 47. Does 5 divide z?
False
Let d(s) = 57*s**3 - 5*s**2 - 349*s + 1798. Does 2 divide d(5)?
False
Let g = 98 - 84. Is (-8)/28 + 0 - (-2216)/g a multiple of 7?
False
Suppose 5*d + 2922 = -l + 19230, -4*l = -d - 65148. Is l a multiple of 16?
True
Let b = 31291 - 16715. Is 2 a factor of b?
True
Let g(z) = -24*z + 35. Let d(u) = 10 + 2 + 0 - 8*u. Let f(j) = 17*d(j) - 6*g(j). Does 17 divide f(5)?
True
Let u(d) = d**3 + 13*d**2 - 2*d - 21. Let j be u(-13). Suppose j*f - 5*r = 618 + 1692, 3*f + 4*r = 1358. Suppose f = 6*y - 124. Is y a multiple of 27?
False
Is (-5 - (-42300)/126) + (-4)/(-14) a multiple of 51?
False
Suppose 5*g + 52 = 32. Let s be (-5*2)/(g/2). Suppose -159 - 296 = -s*z. Is 13 a factor of z?
True
Let v = -1558 + 3674. Suppose 1414 = 2*a + 3*l, -3*a + 0*a + v = 2*l. Does 16 divide a?
True
Let y = -28 - -131. Let s = 106 + y. Is s a multiple of 33?
False
Let a be 70/5*1/2. Let q(c) = c**3 - 9*c**2 + 15*c - 4. Let i be q(a). Suppose 0 = -2*m - 2, -5*d - 4*m + 43 = -i. Does 2 divide d?
True
Let w = -540 - -1219. Suppose x + w = 6*x + j, 5*x - 3*j = 663. Does 26 divide x?
False
Let d = -19577 - -20008. Is d a multiple of 3?
False
Suppose 3*v + 2*n - 20 = 0, -2*v + 15 = n - 0. Suppose -11308 - 5412 = -v*s. Does 19 divide s?
True
Let z(n) = 1361*n**3 - 2*n**2 + 6*n - 3. Let a be z(1). Let g = a - 462. Does 56 divide g?
False
Let x(t) = -t**2 + 3*t**2 - 19*t - 3*t**2 - 4. Suppose -3*o = 4*j + 69, j - 64*o = -68*o - 14. Is x(j) a multiple of 2?
True
Suppose 26*q = 14*q + 24. Let f = 312 + 41. Suppose -4*g - 5*c + 896 = 0, -5*g = q*c + f - 1456. Is 52 a factor of g?
False
Let b = -21815 + 33670. Is b a multiple of 11?
False
Let x(t) = -637*t + 6275. Does 9 divide x(-10)?
True
Is ((-9996)/(-8))/(7 - 328/48) a multiple of 17?
True
Let z = 17 + -12. Suppose -3*m + 5*t + 136 = 0, z*m - 204 = -t - 2*t. Let k = 86 - m. Does 22 divide k?
True
Suppose 0 = -r + 4*w - 1879, -20*r - 3*w - 5637 = -17*r. Let q = -1113 - r. Is 33 a factor of q?
False
Is (-484)/(-440)*9152 + (-12)/10 a multiple of 70?
False
Let g be 196/112 - (-2)/(-16)*-2. Suppose 6*s + 987 = 4*j + 9*s, -3*j + 719 = -g*s. Is j a multiple of 27?
True
Let k(z) = -z**2 - 9*z + 21. Let b be k(2). Let u = 583 + b. Is 45 a factor of u?
False
Suppose 3*o - 30 + 15 = 0. Suppose -1 = 2*x + o*j + 4, -j = -5. Is 15 a factor of (0 - -1)*x/(-15) + 40?
False
Let w be -2 + 78/2 + 0. Let g(q) = q**3 - 2*q**2 + q - 2. Let y be g(2). Suppose -r + w = v, -v + 1 - 4 = y. Is 5 a factor of r?
True
Let r(d) = -53*d - 74. Let o(s) = -s**3 + 11*s**2 + 12*s - 6. Let k be o(12). Is r(k) a multiple of 23?
False
Suppose -3*f - 3*l = 2*l - 1159, 2*f + 5*l = 781. Let b = f + -108. Is b a multiple of 6?
True
Let f = 95 + -27. Suppose 0 = -4*l + 2*j + 976, -f - 176 = -l + 3*j. Suppose 0 = 4*n - 2*n - l. Is 26 a factor of n?
False
Is 386985/20*(-1 - (-77)/33) a multiple of 192?
False
Let c = -258 - -263. Suppose d = 4*o + 584, 7*o - 4*o = c*d - 2988. Is 20 a factor of d?
True
Suppose -122*c = -133*c + 2013. Let h = 1397 - c. Is 11 a factor of h?
False
Let h be ((-16)/(-3))/(-4) - (-44)/6. Suppose -h*j + 513 = -15. Does 10 divide j?
False
Let m = 72 - 58. Suppose 12*i - m*i + 20 = 0. Let r(s) = 10*s - 5. Is 5 a factor of r(i)?
True
Let x = 29501 + -20555. Is 42 a factor of x?
True
Is 293 a factor of ((-8)/32 - (-9)/(-12)) + 4453 + -41?
False
Let i be -2 + (3/(-12) - 1141/(-4)). Let f = 536 - i. Does 53 divide f?
False
Suppose 3*f + 3*b - 9 = 0, -3*f - 24 = b - 23. Let o(l) = 43*l**2 - 6*l + 3. Does 17 divide o(f)?
True
Let o = 26 + -25. Does 40 divide 4 + (1077 - o)*4/16?
False
Let b(h) = 14*h + 75. Let l be b(-6). Is -9*3/l - -27 a multiple of 5?
True
Let t(k) = -4*k + 37. Let s(a) = a**3 + 12*a**2 + 13*a + 13. Let h(c) = -c**2 - 5*c + 3. Let d be h(-7). Let o be s(d). Is 20 a factor of t(o)?
False
Let b = -399 + 759. Suppose 0 = -3*j + b - 21. Let w = -8 + j. Does 21 divide w?
True
Let g = 23 - -16. Let j = -37 + g. Suppose -3*n + 362 = j*y, -3*y + 4*y = 5*n + 194. Does 27 divide y?
False
Let z = -10300 - -19610. Is z a multiple of 42?
False
Suppose 29606 = g + 5*g - 4*g + 4*d, 0 = 4*d. Does 39 divide g?
False
Let n = -22003 + 35603. Does 25 divide n?
True
Suppose -60*h + 2103796 - 460201 = 13*h. Does 54 divide h?
False
Suppose 2*n + 29840 = 2*f, 10714 + 4197 = f + 2*n. Does 2 divide f?
False
Suppose 3*g - 72 = -g. Let x be (2/5)/(g/11970). Let s = -185 + x. Is 5 a factor of s?
False
Is 32 a factor of 2*(-10)/(0 + 5) + 4682 - 6?
True
Let j(v) = -75*v - 27. Let z be j(-28). Suppose 5*g - 2029 = -c + 560, 4*g - c = z. Is 14 a factor of g?
True
Is (20/(-3))/(2/(-3))*61 a multiple of 3?
False
Let q = 43 + -88. Let g = -41 - q. Suppose -g*n + 3*n + 82 = -2*x, -5*x = -20. Is 18 a factor of n?
True
Let c be 1330/12 - 53/(-318). Suppose 0 = -5*f + 6*f + 59. Let r = c + f. Is 14 a factor of r?
False
Suppose -3*w + 7 = 5*t - 18, 5 = t + 3*w. Suppose h + 583 = t*c - 0*h, 5*h = -c + 101. Is 9 a factor of c?
False
Let q(d) = 95*d - 72. Let f(b) = -3*b + 3. Let p be f(0). Is 25 a factor of q(p)?
False
Suppose -36*b + 18*b + 162 = 0. Is 63/7 - b - -648 a multiple of 27?
True
Let i be (10/30)/((-1)/(-99)). Let y = -29 + i. Suppose -y*n - n + 385 = 0. Is n a multiple of 11?
True
Let r(f) = -126*f**3 + f. Let n be r(-1). Suppose -16 = -4*x, 5*k + 3*x = 2*x + 934. Let y = k - n. Does 12 divide y?
False
Suppose -30*v + 70 = -20*v. Does 20 divide 0*(v/(-2) + 4) - -239?
False
Suppose 4*j - 5*f = 8 + 2, 0 = 5*j + 4*f + 8. Let c be 2/((-8)/(-12) - j). Suppose -c*y + 21 = 4*x - 6, -4*x = -3*y +