se m = -a + 36 - 1. Does 18 divide a?
False
Let u(q) be the third derivative of q**7/7 - q**3/3 + 15*q**2. Let b(w) be the first derivative of u(w). Is b(1) a multiple of 30?
True
Suppose 5*q + 15 = 10*q. Suppose -q = c - 34. Suppose 3*h + l - c = 0, -21 + 60 = 3*h + 3*l. Is h a multiple of 9?
True
Does 232 divide ((-6008)/(-3))/(106/795)?
False
Suppose 0 = 13*w - 530 - 432. Suppose -k - 5*l = -w, -3*k - 5*l = k - 356. Is 34 a factor of k?
False
Let g(u) = 28*u + 81. Let w be g(-6). Let c = w + 216. Is 28 a factor of c?
False
Suppose -4*j - 274 + 74 = 0. Let o = j + 110. Is 1670/o - 2/(-12) a multiple of 2?
True
Suppose 7*i - 54082 + 6440 = 0. Does 82 divide i?
True
Let p(m) = 4*m + 55. Let n be p(-16). Let s(i) be the first derivative of i**4/4 + 8*i**3/3 - 6*i**2 - 3*i + 3. Does 4 divide s(n)?
True
Suppose -5*s = -559 + 439. Does 8 divide s?
True
Let l = -620 - -1251. Suppose 1310 = 2*f + 2*p, f - 32*p + 27*p - l = 0. Is 50 a factor of f?
False
Let p = 173 - 166. Let o(u) = u**3 - 4*u**2 - 16*u - 4. Does 5 divide o(p)?
False
Let t = -257 + 440. Let n be -3*(-3)/(-18)*2 + t. Suppose 2*b - n + 132 = 0. Does 8 divide b?
False
Let i(b) = b**3 + 3*b**2 - 10*b + 8. Let s be i(5). Let m(p) = -55*p - 3. Let f be m(-3). Suppose -8*a + f = -s. Is a a multiple of 3?
False
Suppose 85*o - 2*l = 90*o - 13729, 4*o - l - 10991 = 0. Is o a multiple of 26?
False
Suppose -3*z = -2*l - 10601, 0 = 15*l - 18*l + 15. Is z a multiple of 9?
True
Let h = -34526 + 57936. Does 97 divide h?
False
Let m = -693 - -693. Let k(f) be the third derivative of f**5/60 + f**4/6 + 24*f**3 - 6*f**2. Is 24 a factor of k(m)?
True
Let c = -12 - -15. Suppose -2*z + 3*i + 442 = 0, -c*z + 664 = -8*i + 4*i. Is 19 a factor of z?
False
Let w be 89*1 - (-70 + 65). Suppose -2*k + 10 = 0, n + 2*k + 7 = w. Is 7 a factor of n?
True
Let l be ((-112)/5 + 2)/(87/(-1450)). Suppose -3*r = -l - 455. Is r a multiple of 10?
False
Let p(n) be the first derivative of n**2/2 + 54*n + 6. Does 13 divide p(24)?
True
Let f(i) = 18*i**2 + 6*i - 10. Let a = -5 + 10. Suppose 3*r + r + 20 = 3*s, 0 = -3*s + a*r + 22. Does 19 divide f(s)?
False
Let m(q) = -q**3 - 10*q**2 - 7*q - 32. Suppose -4*r + 7 - 11 = 0, 3*r = 2*d + 23. Is 64 a factor of m(d)?
False
Is 39 a factor of 11/((-110)/(-19170)) + (-12)/2?
True
Suppose 75*z = 77*z - 374. Let x(j) = -j**2 + 3*j + 3. Let i be x(5). Let l = z - i. Does 41 divide l?
False
Does 43 divide (5/(15/129)*-11)/(7/(-154))?
True
Let v(m) = -6*m + 35. Let a be v(5). Suppose -a*w + 1 = -4*w. Suppose -5*o = -2*t + 8 - 330, 0 = t + w. Is 10 a factor of o?
False
Suppose -2*u + 8 = -3*j - 6*u, 0 = -4*j + 4*u + 36. Suppose -z - 2*m = j, 8 = -6*z + 3*z - 2*m. Is z/(3 - 119/(-78)*-2) a multiple of 13?
True
Let m be ((-66)/(-4))/(-3)*64/8. Let g be (m/8)/((2 + -1)/6). Let j = g - -77. Is j a multiple of 4?
True
Let z(w) = 154*w - 2333. Is z(78) a multiple of 7?
False
Let a(l) = l**3 - 8*l**2 - 16*l + 87. Let o be a(11). Let m = o - 261. Does 6 divide m?
False
Suppose -k = -5*k. Let m(t) = 2*t**3 + t**2 - t + 10. Let g be m(k). Let x(w) = w**3 - 11*w**2 + 14*w - 16. Is x(g) a multiple of 8?
True
Suppose -10*y = 6*y - 5456. Let t = y + 124. Is t a multiple of 15?
True
Suppose 30 = -14*y + 11*y. Let c = y - -20. Suppose 270 = c*p - 5*p. Is 6 a factor of p?
True
Suppose 5*p + 25 = 2*q, 2*q - 5*p = -3*q + 25. Suppose -9*m + 8*m = q. Suppose 3*f - 839 + 41 = m. Is 19 a factor of f?
True
Let q(f) be the third derivative of 0*f**5 + 0 - 1/8*f**4 + 1/60*f**6 + 0*f + 1/2*f**3 - 18*f**2. Is q(2) even?
False
Let u be (-6)/((-10)/((-160)/(-12))). Does 14 divide 299/(-78)*(2 - u)?
False
Let t be 29/((-116)/(-24)) + 256. Let p = t + 938. Does 60 divide p?
True
Suppose -t = -5*l + 2*l - 672, 4*t + 2*l = 2688. Does 12 divide t?
True
Let p be (30/4)/(5/4). Suppose 505 + 3935 = p*o. Is o a multiple of 24?
False
Let v = 76 + -63. Let a = 45 + v. Suppose a = 6*y - 602. Does 8 divide y?
False
Suppose -84*t + 589704 - 231605 = -607733. Does 22 divide t?
False
Let w(i) = -669*i + 4130. Is 17 a factor of w(-6)?
False
Let d = 620 - 359. Suppose d = -5*r + 711. Let k = r + 16. Is 13 a factor of k?
False
Let g = 50 + -52. Let i be (0 - 1/g)/(2/12). Suppose 267 = 4*l - 3*y, i*y - 139 - 35 = -3*l. Is 7 a factor of l?
True
Let y = -12552 + 29025. Is 219 a factor of y?
False
Suppose -135*l + 5692424 = 181*l. Is 23 a factor of l?
False
Suppose 876826 + 7949 = 40*p - 497745. Does 41 divide p?
True
Let j(x) = x**3 - 55*x**2 + 138*x - 205. Is j(54) a multiple of 28?
False
Is -1 + 47985/13 - (-720)/(-4680) a multiple of 47?
False
Let i be ((-14)/(-5))/(18/(-15) + 1). Let u(v) = v**2 - 4*v - 1. Let j be u(i). Suppose 196 = 3*f - j. Is 29 a factor of f?
False
Let t(n) = 3*n**3 - 10*n**2 + 8*n. Let d be t(6). Suppose -2*o = 5*o - d. Suppose 0 = -43*r + o*r - 135. Does 3 divide r?
True
Let d(o) = 19*o**2 + 4*o - 4. Let z = 64 - 58. Suppose -m = -4*m + z. Does 16 divide d(m)?
True
Let b = -265 + 279. Let l(n) = 6*n**2 - 41*n - 32. Is l(b) a multiple of 35?
False
Suppose 41 = -3*w + y, -4*y = -5*w + w - 68. Let p be 1/(-3) + 164/w. Does 14 divide 290/4 + (77/p - -6)?
False
Suppose x - 8259 = -5*z, -1 + 21 = 5*x. Is z even?
False
Let y(l) = 5*l + 189. Let z be y(-36). Is 2 a factor of 457/z - (-2)/9?
False
Let c = 317 - 249. Let x = c - 31. Is x a multiple of 7?
False
Suppose 0 = 4*i - 821 - 1643. Does 131 divide i?
False
Suppose 13*z - 21 + 164 = 0. Let a be (6 + z)/(0 - 1). Does 17 divide -1 - (-44 - (a - 2))?
False
Let h = 7091 - 7087. Let n = 5 - 3. Suppose r - n*a - 20 = 0, a = -r + h*a + 23. Is r a multiple of 3?
False
Is 9 a factor of ((-296)/444)/(2/(-1809))?
True
Let f(u) = 167*u**2 - 44*u - 291. Is 12 a factor of f(-8)?
False
Suppose -10 = 5*h - 35. Suppose 0 = -3*x - 2*i + 468, -h*x + i - 4*i + 779 = 0. Is x a multiple of 22?
True
Let f = 1668 - 1055. Suppose 0 = 6*s - 10*s + 5*k - f, 314 = -2*s + 4*k. Let m = s + 287. Is m a multiple of 10?
True
Suppose 2*m = -k - 4, 4*m = m - 9. Suppose 7*q + 3325 = k*q. Is q/(-14) + 2 + 3/(-2) a multiple of 12?
True
Suppose 4*a = -3*v - 8 + 734, -730 = -4*a - 5*v. Let l be ((-4)/5)/((-9)/a). Suppose 4*s - l = 0, -j - 2*j + 470 = 2*s. Is 22 a factor of j?
True
Suppose -4*r = -2*c + 398 - 86, 3*c = -r + 447. Suppose 79*g - c = 73*g. Is g a multiple of 25?
True
Suppose 114595 = 5*p + 3*w, -68757 = -3*p + 16*w - 25*w. Is 41 a factor of p?
True
Let x = -70 - -88. Suppose -4*d - 2*v = -5*v - 19, -3*d + x = -v. Is d even?
False
Let p be 6 - 54*78/(-12). Suppose -p = -3*t + 18. Is 16 a factor of t?
False
Let j = -44 + 46. Let l(r) = 19*r**2 - 3*r + 2. Does 6 divide l(j)?
True
Suppose 136 = -30*d + 26*d. Let i = d - -64. Does 5 divide i?
True
Let i = -883 - -1603. Suppose -4*y = -0*y - i. Is y a multiple of 30?
True
Let k = -20718 + 46506. Is k a multiple of 84?
True
Let d = -279 + 281. Suppose 4*z - 3*f = 2033, -d*f = -2*z - f + 1015. Is z a multiple of 14?
False
Let c(g) = 0*g - 3*g + 0*g - 23. Suppose 172*l = 182*l + 110. Is c(l) even?
True
Let o = -13192 - -41282. Is 265 a factor of o?
True
Let b(k) = -46*k**2 + 57*k - 43. Let y(j) = 23*j**2 - 26*j + 21. Let r(c) = 3*b(c) + 7*y(c). Does 47 divide r(2)?
False
Let k be 2/(12/10) - 4/6. Let o be 8/(-16) - k/(-2). Suppose -176 = -o*j - 5*j + 4*y, 56 = 2*j + 2*y. Is 7 a factor of j?
False
Let v(d) = 5*d + 14 + 3 - 22. Let u be v(2). Suppose u*k = -y + 73 + 23, -2*k + 87 = y. Is y a multiple of 27?
True
Let v = 3049 - -698. Is 7 a factor of v?
False
Suppose 16*l - 13*l - 15 = 0. Suppose 2*p - l*p = 2*s - 54, -3*p + 45 = -s. Suppose 4*w - 56 = -4*t, 3*w + p = 5*t - 22. Is t a multiple of 5?
True
Let u(i) = -14*i**3 - 11*i**2 + 17*i + 117. Is 18 a factor of u(-6)?
False
Let g = -25405 - -37525. Is g a multiple of 15?
True
Let o(k) = -3*k + 15. Let m be o(9). Let h = m - -14. Let c(q) = 56*q**2 - q - 4. Is 19 a factor of c(h)?
False
Let c(o) = -3*o**3 + 2*o**2 - 6*o + 3. Let w(q) = -q**3 + 1. Let h(x) = c(x) - 5*w(x). Let s be h(3). Let r = 72 - s. Is 10 a factor of r?
True
Suppose -5*c + p = -4423, -5*c + 4*p + 3562 = -855. Is 9 a factor of c?
False
Is 10 a factor of ((-17)/102)/(13/(-92586))?
False
Is 12 a factor of (-28 - -7)/7 - -12639?
True
Let b = 180 + -178. Is ((-54)/(-15) - 4)/(b/(-580)) a multiple of 3?
False
Suppose -3 = -16*c + 93. I