+ 716*h - 2540160 = 0. Does 54 divide h?
True
Let s(t) = -8*t - 122. Let d be s(-17). Is 9 a factor of (d/2 - 8) + 260?
False
Suppose -2*y + 23 = -b, 2*b + 15 = 3*y + 7*b. Let p(d) = y*d**2 - 1 - 7*d**2 + 2. Is 4 a factor of p(1)?
True
Does 61 divide (7888/(-2320))/((-1)/10370)?
True
Let u = -1 + 8. Suppose -4*f + 189 = 3*i, 3*i - u*i + 252 = -4*f. Suppose -3*m + m = -5*t - i, 73 = 2*m + 5*t. Does 34 divide m?
True
Suppose 8*k - 2696 = 3464. Suppose -k = 3*g + 4*b - 0*b, 4*g + 1010 = 3*b. Let h = g - -434. Is h a multiple of 45?
True
Let f = -207 - -343. Suppose l = v + 28, 6*v - 4*l + f = v. Is 12 a factor of v*18/(-4) + 0?
True
Let o(b) = b**3 + 52*b**2 + 457*b - 13. Is o(-22) a multiple of 86?
False
Suppose -w = -5*f + 16935, -9*f = -f - 4*w - 27096. Does 25 divide f?
False
Let h be 1960/65 + 6/(-39). Let c be (-294)/h + 12/15. Does 15 divide (-2 - 20/c) + (-806)/(-18)?
True
Let h(f) = -15*f + 3803. Does 2 divide h(-48)?
False
Suppose 0 = -4*t - 128 - 64. Let c be ((-60)/(-9))/((-4)/t). Suppose -17*v = -12*v - c. Does 12 divide v?
False
Suppose 0 = 47*w - 42*w - 440. Suppose d = -3*d + 5*f - 176, -f = 2*d + w. Is 4 a factor of (-2)/(-11) - 1048/d?
True
Let w(j) = -2*j**2 - 15 - j**2 + j**3 - 11*j**2 - 4*j**2 + 35*j + 0*j**2. Is 27 a factor of w(18)?
False
Suppose 0 = u + u + 2*x - 554, -5*x + 548 = 2*u. Let q = u - 136. Let y = -36 + q. Does 12 divide y?
False
Let n(p) = -12*p - 35. Let q be n(-13). Suppose 105 = 5*g - 320. Let z = q - g. Is 9 a factor of z?
True
Let a(r) = 517*r**2 + 2*r - 13. Is a(4) a multiple of 46?
False
Let x be (-2)/((-40)/(-25) + -2) + -6. Let s(h) = -30*h**3 - h + 1. Let l be s(1). Let n = x - l. Does 29 divide n?
True
Suppose -29*c + 36360 = 11*c. Is c a multiple of 46?
False
Let h(b) = -b**3 + 4*b**2 + b - 4. Let l be h(4). Suppose 3*r + 15 = -3*f, l*r - r = 5*f + 13. Is (-1)/(f/(-6)) - -25 a multiple of 11?
True
Suppose 5*b - 41 = 24. Suppose -16*u + b*u + 9 = 0. Suppose -h - 110 = -u*h - 2*s, -2*h = 3*s - 113. Is 32 a factor of h?
False
Let k be -14 - -17 - (1 + 16). Let h(c) = -c**3 - 14*c**2 + 4*c - 18. Let f be h(k). Let o = f + 100. Does 3 divide o?
False
Let i be (2/4)/((-33)/(-38742)). Let y = -107 + i. Does 6 divide y?
True
Is 9/(36/18724) + 7/(-14)*10 a multiple of 28?
True
Suppose -18*h = -14*h - 136. Suppose -5*u = h - 94. Let a = u + 16. Does 8 divide a?
False
Let s = 108 - 105. Suppose 3*b - 5*g = 0, -s*b + 6*b = 2*g. Suppose -38*l + 36*l + 18 = b. Does 4 divide l?
False
Let m(z) = z**3 + 38*z**2 + 47*z - 136. Does 3 divide m(-36)?
False
Suppose 0 = 10*j + 16*j - 23868. Is j a multiple of 54?
True
Let d = 267 + -229. Suppose -5*u + 24 = -16. Suppose u*o - 10*o = -d. Does 19 divide o?
True
Let v = 31677 + -29578. Does 2 divide v?
False
Let r(a) = 1041*a + 101. Does 59 divide r(2)?
True
Does 16 divide ((-1606)/(-55))/((-20)/(-2900))?
False
Let v be 18 + (-8)/2 - (-2 + 2). Suppose -v*l - 32 = -186. Let k = 44 - l. Does 7 divide k?
False
Let l = -78 - -80. Suppose -830 = -l*r - 4*w, -5*r + 2261 = 5*w + 161. Is 25 a factor of r?
True
Let p(u) = 4*u**2 - u - 2. Let z be p(-4). Suppose 6*i = 168 - 24. Let w = z - i. Does 5 divide w?
False
Let b(w) = 58*w + 3. Let u be b(-4). Let c = u - -161. Let a = 104 + c. Is 6 a factor of a?
True
Let j(c) = c**3 - 3*c**2 - 12. Let p be j(4). Suppose p*f + 10*k - 3801 = 9*k, f + 5*k - 936 = 0. Is 12 a factor of f?
False
Let v = -151 - -74. Let x be 58/((28/(-8))/(-7)). Let f = x + v. Does 13 divide f?
True
Let v(b) = 17*b + 80. Let f be v(-14). Is f/((-4)/8 + (-6)/4) a multiple of 79?
True
Suppose 4*r - 8552 = -4*l, 6*l = 4*r + 2*l - 8536. Is 3 a factor of r?
True
Let n(b) = -b**3 + 3*b**2 + 3*b. Let v be n(4). Let m(p) = -4*p**3 + 8*p - 9*p + 5*p + 5. Is 13 a factor of m(v)?
False
Suppose 4575 = w + 5*d - 437, -3*d = 5*w - 25060. Is 14 a factor of w?
True
Is 908/3178 - 52288/(-7) a multiple of 15?
True
Let a = 17934 + -17600. Is 14 a factor of a?
False
Is (9936/(-24))/((1/(-19))/1) a multiple of 151?
False
Let r(v) = -12*v**3 - 11*v**2 - v - 23. Let c be ((-12 - -8) + -6)*(-2)/(-4). Is 22 a factor of r(c)?
False
Let f(h) = -117*h + 25. Let i be f(-8). Suppose -g + 959 = 4*m, m + g = 5*m - i. Is 24 a factor of m?
True
Let w(v) = 11616*v**3 - 4*v**2 + 6*v - 4. Is w(1) a multiple of 12?
False
Suppose -37*b + 42*b = -4*z + 65780, -3*z + 49349 = 2*b. Is 50 a factor of z?
False
Is 11 a factor of 12 + 315491/87 - (-21)/(-9)?
False
Let f(r) be the second derivative of -3*r**4/8 - 7*r**3/2 + 4*r**2 - 9*r. Let i(g) be the first derivative of f(g). Is 6 a factor of i(-7)?
True
Let q = -22 + 15. Let n(a) = -9*a**2 - 25*a + 13. Let o(y) = -26*y**2 - 73*y + 37. Let i(k) = 8*n(k) - 3*o(k). Is 14 a factor of i(q)?
True
Suppose 31*h + 4*i + 18 = 33*h, 3*h = -3*i. Suppose 187 = h*d - 749. Is d a multiple of 13?
True
Suppose -q = 7, f - 46*q - 655 = -42*q. Does 6 divide f?
False
Suppose 0 = -s - 1 + 3, -5*s = -5*v - 10. Suppose v = -5*q - 2*k + 795, -4*q + 0*k = -k - 623. Let z = -26 + q. Is z a multiple of 36?
False
Does 104 divide (-92642)/(-19) + -5*(-6)/285?
False
Let m(s) = -s**2 + 12*s - 18. Let j = 18 + -11. Let r be m(j). Suppose -r*c + 136 = -15*c. Is 17 a factor of c?
True
Let k(z) = -z**3 + 35*z**2 - 77*z - 32. Is 45 a factor of k(26)?
True
Suppose -6*y + 2130 = 9*y. Let v = y + -142. Suppose v = -4*d + 6*i - 4*i + 488, -478 = -4*d - 3*i. Is 11 a factor of d?
True
Suppose 2*c = 3*c + 4. Let t be 127 + (0/2 - c). Suppose q - 72 = -3*p, 2*p - 2*q - t = -3*p. Is 6 a factor of p?
False
Let k(p) = -153*p + 10 - p**2 + p**3 - 152*p + 298*p. Let j be k(6). Let w = 229 - j. Is 46 a factor of w?
False
Let i = 839 + -482. Suppose -i*y = -356*y - 165. Is y a multiple of 93?
False
Let i = 3425 + -567. Is i a multiple of 5?
False
Let m = 9344 + -5079. Does 12 divide m?
False
Is (38 + -9 + 7)*(0 - -11) a multiple of 50?
False
Suppose -q + 5580 = -5*q. Let d be 4/(-6)*q/10. Suppose -97*g + d*g = -148. Is g a multiple of 13?
False
Let c(z) = 2*z - 228*z**2 + 2 - z**3 + 234*z**2 + 5. Let g be c(7). Let h = 88 + g. Is h a multiple of 10?
True
Let m(j) = -j**3 + 33*j**2 - 7*j - 484. Does 17 divide m(30)?
True
Let f(s) = 2*s + 24. Let b be f(-11). Suppose 8*l = -3*l + b*l. Suppose -12*k + 9*k + 114 = l. Is k a multiple of 19?
True
Let f(z) be the second derivative of 4*z**3/3 + 30*z**2 + 9*z - 7. Does 7 divide f(-6)?
False
Let d = 909 - 69. Let h = 451 - 260. Suppose -186*o + h*o = d. Does 7 divide o?
True
Suppose 5*d = 3*c + 16, 3*c - 12 = -3. Suppose 3*u - 2 = 4, u = -d*f + 77. Suppose 2*s = -3*z - f + 61, -5*s + 110 = 5*z. Is s a multiple of 4?
True
Suppose 7*n + 308 = -0*n. Let z be 1*2/(-5) + n/(-10). Does 6 divide 266/z + 2/(-4)?
True
Let a = -3 + -187. Let c = -94 - a. Suppose 3*g - c = 30. Is g a multiple of 21?
True
Let v be 11 - 11 - (1 - (1 - -2)). Suppose -v*f = -6*m + m - 1872, 0 = 4*m - 8. Is 30 a factor of f?
False
Suppose -7*h + 3*h = -2*q - 58, 4*h = -q + 73. Suppose 0 = 16*o - h*o + 2. Suppose -3*y + 760 = 5*w + o*y, 5*y = 2*w - 304. Is w a multiple of 38?
True
Is 3 a factor of 234*1 - (-47 + 41)?
True
Is 55 a factor of (-11 - -11)/((-1)/1) - -2428?
False
Let p(n) = n**3 - 1. Suppose 0 = 3*l - 5*l + 2. Let d(q) = -33*q**3 + q**2 - q - 1. Let w(a) = l*d(a) - 3*p(a). Does 12 divide w(-2)?
False
Is (-3)/9*(7 + (-7857 - 10)) a multiple of 114?
False
Let y = -13454 + 26754. Is 25 a factor of y?
True
Is ((-20979)/(-148))/((-1)/(-32)) a multiple of 14?
True
Let p = -10147 + 11102. Is p even?
False
Suppose -4*l + 8873 = 2*m - 3943, 3*l - 2*m = 9633. Is l a multiple of 162?
False
Does 18 divide (-6669)/(-18) - (-60)/40?
False
Suppose 16 = -4*h + 2*l, 4*l - 6 = -4*h - h. Let j(p) = -28*p**3 + p - 3. Let f be j(h). Let n = f + -116. Does 9 divide n?
False
Let v(s) = -41*s - 1230. Does 41 divide v(-69)?
True
Suppose 0 = -5*p - 3*d + 24516, 10679 = 2*p + 3*d + 878. Is 45 a factor of p?
True
Suppose 7*z - 38*z - 7*z + 21964 = 0. Is z a multiple of 17?
True
Suppose 34*i - 6386337 = -102*i - 2688497. Does 9 divide i?
False
Suppose -10*i - 1217 = -4507. Suppose -3*q - i = -10*q. Is 3 a factor of q?
False
Suppose 19*m - 11*m = 10*m. Suppose m = -29*t + 6993 + 315. Is 18 a factor of t?
True
Let p = -32646 - -39552. Is p a multiple of 119?
False
Suppose -x = 5*h - 20353, 3*h - 5*h + 8149 = 3*x