896927. Is 33 a factor of w?
True
Suppose -82*a + 456876 = -315400. Does 31 divide a?
False
Suppose a = -9*a - 1830. Let o = a + 330. Does 6 divide o?
False
Suppose 7*m = 4*m - i + 26, -4 = -2*i. Suppose m = 2*q, 3*t - 32 = -2*q - 0*q. Suppose 11*h = t*h + 204. Is h a multiple of 34?
True
Let o = -42 - -57. Let r be (-10)/o*27/(-6). Suppose -r*p - s + 134 = 0, -3*p - 5*s + 142 = -0*p. Is 7 a factor of p?
False
Suppose -147*n + 783923 = -723746 - 449636. Does 103 divide n?
False
Suppose 0 = s + 23 - 18. Let y be ((-4)/1 + s)/(-1). Suppose 3*o - y = 2*o. Does 3 divide o?
True
Let o(i) be the second derivative of i**4/4 - 14*i**3/3 - 2*i**2 + 4*i + 11. Let j(d) = 3*d**2 + 3*d - 4. Let f be j(-3). Does 12 divide o(f)?
True
Let z(v) = v**3 - 8*v**2 - 4*v + 2. Let g be z(8). Let x = g + 86. Suppose -x - 178 = -3*o. Is o a multiple of 13?
True
Suppose 5*f = f + 32. Let v be (3 - f)*48/20. Let h(k) = -9*k + 12. Is 15 a factor of h(v)?
True
Let c be -12*(13/3 - 5). Is 15 a factor of 298*174/54 + c/(-36)?
True
Let f(s) = 15*s - 15. Let u be f(1). Suppose u = 20*y - 697 - 203. Does 15 divide y?
True
Let j(s) = -1372*s + 1422. Is 134 a factor of j(-10)?
True
Does 22 divide 6245 + -5 + 10 + -2?
True
Suppose -22*v + 18 = -24*v. Let o(m) = -m**2 - 7*m + 17. Let q be o(v). Does 24 divide q/(-16)*2 + (-5240)/(-64)?
False
Let m = -24904 - -35013. Is 11 a factor of m?
True
Let v = 13288 + 26940. Is 93 a factor of v?
False
Suppose -25 = 5*q, 3*m - 3*q = -75 + 231. Suppose h = -3*v + 163, 2*h = v - 5 - m. Does 18 divide v?
True
Let j be (-4)/(-7) + (-8985)/105. Does 12 divide 282 + 17/(j/(-30))?
True
Suppose 0 = -4*k + 3*a + 2021, -1395 = -2*k - 5*a - 404. Suppose 0 = 5*l - 1197 - k. Is 34 a factor of l?
True
Suppose -2*m = 2*s + 234, 7*m - 331 = 3*s + 6*m. Let o = s - -220. Is o a multiple of 27?
True
Let y be (-11 - (2 - 1))*2. Let x be (-6)/(y/(-10))*10. Does 7 divide (-72)/4*x/15?
False
Let f be ((-2 - -2)*-1)/(-3). Suppose f = -12*l + 7*l - 5. Is (l + 28)*(-24)/(-9) a multiple of 11?
False
Does 142 divide ((-728)/(-24))/(-13)*(-18474 - 3)?
False
Let d = -35 + 39. Suppose -s = -4*s - 3, -d*u - 2*s = -6. Suppose 3*z = -5*v + 289, -v + u*z = -0*v - 63. Does 16 divide v?
False
Let m(a) = 1110*a**2 - 8*a - 8. Let i be 6/(-4)*-1*(-14)/21. Does 37 divide m(i)?
True
Let d be 5 + (1 - 4) - -1614. Let s = -910 + d. Does 46 divide s?
False
Let q(z) = -374*z + 172. Is q(-7) a multiple of 45?
True
Let g be (-2)/(-3) + 124/12. Let o(s) = -s**2 + 11*s. Let b be o(g). Let i(l) = -3*l + 112. Is i(b) a multiple of 16?
True
Let x be (9/6)/((14/(-4))/(-7)). Suppose 5*k = -p + 7, -4*p + x*k = -2*p - 1. Suppose 0*y - p*v = -4*y + 706, 4*y - 736 = -4*v. Is 21 a factor of y?
False
Let s = 5014 - 3177. Is 4 a factor of s?
False
Suppose 0*u = -2*x - 4*u + 15006, -3*x = -2*u - 22517. Does 5 divide x?
True
Let o(n) = 14*n**2 + 18*n + 2. Let x be o(8). Let w be 4 + 34/(-8) + x/8. Suppose -4*m + 3*m = -2*u - w, 5*u - 95 = -m. Is 12 a factor of m?
True
Let g(v) = -v**3 - 30*v**2 + 61*v - 73. Let o be g(-32). Is 25 a factor of (-3 - 0 - o)*25/(-2)?
True
Let h(v) = v - 5. Let s be h(5). Suppose -d - l + 3*l + 30 = s, -l + 106 = 5*d. Suppose -4*b + d = 3*r, -5*b + 22 = -0*b + r. Is b a multiple of 2?
True
Let y(l) = -l**3 - 6*l**2 - 6*l + 31. Is y(-8) a multiple of 8?
False
Suppose 3*i - 1395 = 666. Let x = -392 + i. Does 11 divide x?
False
Let h(n) = -n**2 + 11*n + 14. Let u(r) = r**3 + 17*r**2 + 15*r - 16. Let o be u(-16). Suppose -6*v + 14 + 52 = o. Does 2 divide h(v)?
True
Let h = 194 + 352. Let q = 768 - h. Is 24 a factor of q?
False
Let r(k) = -58*k + 2142. Does 26 divide r(6)?
True
Suppose 3*v - 22916 - 67724 = -17*v. Is v a multiple of 22?
True
Let w(i) be the first derivative of -2*i**2 + 41*i - 32. Let k(y) = y**3 - 8*y**2 - 3*y + 2. Let u be k(8). Is w(u) a multiple of 6?
False
Let l(j) = -j - 11. Let v be l(-5). Let y(w) = -3*w**3 - 8*w**2 + w + 6. Let x be y(v). Suppose -x = -6*o + o. Is o a multiple of 24?
True
Is (1*-22)/(3 + (-152)/1312*26) a multiple of 2?
True
Suppose -y = 3*y - 76. Let g(l) be the third derivative of -l**6/120 + 19*l**5/60 + l**4/24 - l**3/6 - 748*l**2. Does 7 divide g(y)?
False
Does 11 divide (22/4)/((106/23820)/53)?
True
Let m = -16821 + 18801. Does 11 divide m?
True
Let w(j) = -36*j - 109. Let s be w(-12). Suppose -5*z + 883 - s = 0. Is 14 a factor of z?
True
Let j(d) = d**3 - 7*d**2 + 9*d + 8. Let y be j(5). Suppose -y*g = 5*f - 3517, -2*f + 912 = 4*g - 492. Is f a multiple of 22?
True
Let u(k) = 869*k**2 + 514*k - 19. Is u(5) a multiple of 289?
True
Suppose 7*b = 12*b + 25. Is (-39)/(-65) + (-1907)/b a multiple of 27?
False
Suppose 3*f = -2*j + 4564, -f + 2033 = 2*j + 509. Is 3 a factor of f?
False
Suppose 0 = 10*g - 7*g - 108. Suppose 2*o + 114 = g. Let z = o - -76. Is 4 a factor of z?
False
Let q = -2912 - -3647. Is q a multiple of 105?
True
Let g(d) = 109*d + 12. Let c be g(6). Let q = c + -462. Is q a multiple of 41?
False
Suppose f + y = 5 + 3, f - 2*y = 23. Suppose 4*r - 3 = -5*g + 3, -4*g = -5*r - f. Suppose n + 164 = 5*n + g*j, 4*n - 3*j - 174 = 0. Does 14 divide n?
True
Suppose -4*u - 60 = -8*u. Suppose -5*q - u = -0. Let p(t) = t**3 + 2*t**2 - 7*t - 3. Is p(q) a multiple of 2?
False
Let y(l) = 2*l**3 - 2*l**2 - 2*l. Let r be y(2). Suppose -15*j + 20*j = 10. Suppose -3*s = f - r, 5*f + 2 = -3*s - j. Is 2 a factor of s?
True
Let x = -30 + 30. Let q be -99 + (4 - x) + 0. Let k = -14 - q. Does 12 divide k?
False
Let d = 38 + -43. Let f(v) = 20*v**2 - 2*v - 6. Let z be f(d). Suppose -5*o = o - z. Is o a multiple of 14?
True
Suppose -16*g + 113315 = -37361 - 61212. Is 90 a factor of g?
False
Let t(d) = 531*d + 885. Is 3 a factor of t(7)?
True
Suppose -32 - 38 = -7*q. Let s be (-4)/q + 17094/110. Suppose 7*v - s = -43. Is v a multiple of 4?
True
Let k = -276 + 385. Suppose -k*w = -108*w - 510. Is w a multiple of 15?
True
Suppose -317*c + 333*c - 69280 = 0. Suppose c + 5588 = 58*g. Does 19 divide g?
True
Let f(x) = 20*x**2 - 76*x - 1846. Is f(-22) a multiple of 98?
True
Let j = -3557 + 13556. Is 146 a factor of j?
False
Suppose -29*a + 27*a - 2*m = -3164, -5*a + 3*m + 7918 = 0. Is 51 a factor of a?
False
Suppose 548*h + 4560 = 549*h + 5*n, -13563 = -3*h - 2*n. Does 21 divide h?
True
Let p(j) be the third derivative of j**6/120 + 13*j**5/60 - 3*j**4/4 - 13*j**3/3 - j**2 - 7*j. Is 43 a factor of p(-12)?
False
Does 238 divide ((-24684)/605)/((-15)/6650)?
True
Let k(v) = v**2 - 5*v - 32. Let s = -142 - -164. Let z = s + -28. Is 25 a factor of k(z)?
False
Let k(w) = w**3 + 2*w**2 - 14*w + 1. Let n be k(-5). Let o be 83 + ((-20)/n - 10). Let m = 162 - o. Is 12 a factor of m?
True
Suppose -153583 - 191152 = -24*k - 64535. Does 7 divide k?
False
Let v(o) = 8*o + 114. Let t be v(-14). Is 53 a factor of (t + 51)/(0 + 7/70)?
True
Suppose -123*x - 1004917 = -2412123 - 1319458. Does 157 divide x?
False
Let w = 27622 - 22219. Does 3 divide w?
True
Let r(b) = -6*b**2 + 25*b + 6. Let i be r(6). Let o = i - -63. Suppose -o*f = p - 71, -4*p + 4*f = 2*f - 284. Is 50 a factor of p?
False
Suppose 17*z = -190*z - 27*z + 15297048. Is z a multiple of 59?
True
Let f(z) = -4*z + 83. Let h be f(20). Suppose u + 5*w = 9, 7*u + h*w - 32 = 5*u. Is u even?
False
Suppose 10*z - 132 = 6*z. Let u be (2390/3)/(22/z). Suppose -4*j + u = -6*k + 5*k, -3*j + 925 = 5*k. Is j a multiple of 45?
False
Let j(v) = 4*v**2 + 9*v + 12. Let n(t) = -8*t**2 - 19*t - 24. Let o(m) = -5*j(m) - 3*n(m). Is 18 a factor of o(-5)?
False
Suppose -m = 3*y + 260 - 882, 5*y = m - 606. Let g = m - 357. Does 37 divide g?
True
Let f(v) = -v**2 + 27*v - 160. Let p be f(16). Let k(z) = 50. Let d(j) = j - 1. Let n(l) = 5*d(l) - k(l). Is n(p) even?
False
Suppose -5*g = 3*i - 855, 4*i + 383 = -5*g + 1518. Suppose -240 = -o - 3*y, 2*o = 3*y + 209 + i. Is o a multiple of 13?
False
Does 16 divide (-11)/110 + (3 - (-278051)/10)?
True
Let y = 57 + -51. Suppose 2*b = y*q - 3*q - 71, -104 = -4*q + 5*b. Is q a multiple of 6?
False
Let k = -140 + 20875. Suppose -16*o + k = 49*o. Is o a multiple of 56?
False
Suppose 107*f - 7311 = 212*f - 108*f. Does 20 divide f?
False
Let b(y) = -y**3 - y**2 + 2*y + 8. Let c be 13 + 2/2 + (2 - 4). Let d = 12 - c. Is 8 a factor of b(d)?
True
Is (-1)/(-6) + (-751656)/(-144) a multiple of 12?
