-3415688)/(-144) - ((-38)/(-36))/19?
True
Let q = -331 - -490. Suppose t + 4*y = 2*y + q, 0 = 3*t + 3*y - 492. Suppose t = 2*a - 29. Does 9 divide a?
True
Let g(j) = -2*j**3 + 4*j**2 - 2*j - 2. Let o be g(2). Let v(w) = -14 - 16*w + 12 - 19. Does 14 divide v(o)?
False
Suppose 5*z = z + 8. Suppose 241 = w + z*j, -189 - 257 = -2*w + 5*j. Is 18 a factor of w?
False
Suppose -4*m + 2*z = 3*z - 255, -5*z + 187 = 3*m. Suppose 0 = -4*f + 6*f + m. Is 24 a factor of f/(-12)*(9 + 0)?
True
Let x(d) be the third derivative of -d**6/120 + 11*d**5/60 + 3*d**4/8 + 9*d**3/2 + 30*d**2. Does 14 divide x(9)?
False
Let y(t) = 17*t. Let g = 117 + -111. Is y(g) a multiple of 24?
False
Suppose 10*y + 180 = 30. Let a be (-20)/y*(-9 + -3). Is (-3 - 12)*1*a/4 a multiple of 10?
True
Let q(y) = 5*y**2 + 5*y - 6. Let p(u) = -8*u + 31. Let f(r) = -7*r + 30. Let s(l) = 6*f(l) - 5*p(l). Let n be s(10). Does 16 divide q(n)?
True
Let w be -15 + (-17)/((-102)/36). Let h(z) = z**3 + 11*z**2 - 13*z - 9. Is 15 a factor of h(w)?
True
Suppose 2*l - 50 = -12. Let u = -16 + l. Suppose -u*p + 307 = z, 2*p - 4*p + 183 = 5*z. Does 13 divide p?
True
Suppose 3*o = 2*v - 112, -4*v - 29 - 71 = 3*o. Let l = 203 - 133. Let w = l + o. Does 11 divide w?
False
Is (1703 - -68) + (1 - 2 - -12) a multiple of 33?
True
Let q = 16727 - -41450. Does 23 divide q?
False
Let h be 408/48 + 6/4*1. Suppose 0 = h*c - 7*c - 1119. Is c a multiple of 19?
False
Suppose 4*x = -3*r - 2*r + 40, 0 = -r + 4. Suppose x*u - 272 = -3*f, -5*u + 5*f = -198 - 42. Is u a multiple of 14?
False
Let s(f) = 9*f**2 - 30*f - 7. Suppose 0 = -42*d + 42 - 294. Is 4 a factor of s(d)?
False
Suppose -1815 + 240 = 7*o. Is (((-6)/5)/((-1)/o))/(-1) a multiple of 9?
True
Let q = -39 + 45. Let o be (-36)/((-3)/q*2). Does 12 divide (-224)/21*o/(-8)?
True
Suppose -1097*y = -1095*y - 3405 - 5555. Does 70 divide y?
True
Let n be ((-22)/(-14) - 1)*(-77)/22. Let k = 89 - n. Is 8 a factor of k?
False
Let n(j) = 2*j + 11. Let a be n(-3). Suppose -4*k = -a*k - 3*y + 78, -2*y - 354 = -4*k. Suppose -2*m = m - k. Does 14 divide m?
False
Suppose 3*t - 2843 = -4*s + 11364, -5*t + 23625 = -4*s. Is t a multiple of 25?
False
Let m be (0 - (-902)/1)*(-27)/(-54). Suppose -449*h + m*h = 2684. Does 13 divide h?
False
Suppose 7*k - 239 - 5886 = 0. Is 125 a factor of k?
True
Let y(s) = s**3 + 11*s**2 - 12*s - 10. Let n be y(6). Let h = n + -300. Does 11 divide h?
False
Let t be ((-3)/(-6))/((4 + -5)/(-10)). Let c(d) = 5*d**2 + 0*d + d**3 + 5 + t*d - 15*d. Is c(-6) a multiple of 5?
False
Suppose -38729 + 81569 = 6*p. Is p a multiple of 30?
True
Is 7 a factor of (-5)/((-35)/53586) + 131/(44933/294)?
False
Suppose 0 = -6524*q + 6653*q - 6039264. Does 352 divide q?
True
Suppose -3*v + 17628 = 3*l, -23544 = -29*l + 25*l + 4*v. Does 13 divide l?
False
Let s be 332/(-14) - 2/7. Let j(r) = r**2 + 188*r + 1295. Let i be j(-7). Is (735/i)/((-9)/s) a multiple of 14?
True
Let k(n) = 2*n**2 + 11*n + 10. Suppose 4*b - b = 4*t + 39, -37 = 4*t - b. Does 23 divide k(t)?
False
Suppose 43 - 13 = -5*k. Let p be (0 + 4/k)*90/(-6). Suppose -4*l + 173 = 5*u, 0 = 3*l + 4 - p. Does 16 divide u?
False
Let o(p) = -p**2 + 15*p + 74. Let g be o(-11). Let j = -148 - g. Does 8 divide j?
True
Let p(d) = -8*d + 65. Let g(m) = -25*m + 195. Let o(l) = -3*g(l) + 8*p(l). Does 17 divide o(9)?
True
Let q be 1 + 1 + 314 + (7 - 5). Suppose -3*d - b + 477 = 0, -3*d + d + q = -3*b. Suppose 0 = 2*o - 3*j - d, 4*o - 5*j = 371 - 54. Is 4 a factor of o?
False
Suppose -3*c - 29*g + 16342 = -31*g, -5*g = -c + 5456. Does 32 divide c?
False
Let n be (-6)/12*-26 - 3. Let v(b) = 4*b**2 - 13*b + 94. Is 52 a factor of v(n)?
True
Suppose -3*d + 3564 = 6*a, 2*d - 5*a = 278 + 2098. Does 15 divide d?
False
Suppose -4*k = -13*k. Suppose k = 4*c + 20, 0 = 5*n - 4*c - c - 3550. Suppose -5*b - 5*s = -n, -3*s + 18 - 6 = 0. Does 9 divide b?
False
Let k(r) = 4*r + 6. Let y be k(5). Suppose 81*g = 79*g - 4*m + 8, 5*g - 56 = 2*m. Let w = y + g. Is 18 a factor of w?
True
Let h(d) = -130*d**3 - 12*d**2 + 5*d - 8. Is h(-4) a multiple of 97?
False
Let t be (7/(-14))/((-1)/28) + -2. Suppose 16 = 4*m + t. Is (-12)/(-6) - (-136 - (m + -1)) a multiple of 23?
True
Let g be ((-15)/(-10) + -2)/(2/220). Let o = g + 125. Suppose o*w = 68*w + 36. Is 18 a factor of w?
True
Let w = 6755 + 4473. Is w a multiple of 15?
False
Suppose 0 = -4*l - 4*h, -5 - 7 = 3*h. Suppose -18*p + 17*p - l = 0. Does 2 divide 432/30 + p/10?
True
Let g = 183 - 328. Suppose 0 = -15*z + 4000 - 895. Let q = z + g. Does 4 divide q?
False
Let m(h) = 2*h**2 + 41*h - 2 - 25*h - 12*h. Is m(2) a multiple of 7?
True
Let f(x) = -x**2 + 7*x - 6. Let h be f(-20). Let u = h + 909. Is u a multiple of 33?
True
Let y(b) = 6*b**3 - b**2 + 2*b. Let p be y(5). Suppose -39*c = -19*c - 5100. Suppose 0 = -11*m + c + p. Does 18 divide m?
True
Suppose 6*w - 62 - 58 = 0. Suppose 22*p + 502 = w*p. Does 17 divide (p + -1)/3*(-6)/9?
False
Is 3/(-24) + 0 + (-244230)/(-48) + 1 a multiple of 7?
True
Suppose -2*q = -5*q + 15. Let n be (5/q)/((-2)/10). Is (214 - 4)*(-2)/n a multiple of 21?
True
Suppose -17*t + 45 = -12*t. Let d(m) = -m**3 + 7*m**2 + 9*m - 11. Let l be d(t). Let y = -36 - l. Is 20 a factor of y?
False
Is 11 a factor of ((-30)/35 + 955/(-70))*-22?
True
Let r(b) = 274*b**2 - 76*b + 364. Does 134 divide r(5)?
True
Let c = -237 - -510. Suppose -274*f + 20 = -c*f. Is f a multiple of 5?
True
Let s be -1*(1 + 0)/(3/15). Let j(d) = -10*d - 13. Is j(s) a multiple of 3?
False
Let v(y) = -10*y + 34. Let g be v(4). Let f(l) = 13*l - 36. Let d(t) = -38*t + 106. Let u(q) = g*d(q) - 17*f(q). Is 23 a factor of u(12)?
False
Suppose -8*r + 56194 = 3*r - 22500. Does 47 divide r?
False
Let g = 13 + -27. Let i(r) = -r**2 - 14*r + 8. Let s be i(g). Is 4/6*s*15 a multiple of 10?
True
Suppose -77*d - 426465 = -122*d. Does 27 divide d?
True
Let p be (-1952)/(-12) - (-6)/(-9). Suppose g - 180 = 2*w, -g - 5*w + p + 46 = 0. Does 8 divide g?
False
Let h(o) = -o**2 + 2*o + 3. Let n be h(0). Suppose -d + 12 = 2*a, -2*d + 15 + 5 = n*a. Suppose 2*m + 4 = 0, d*x - 4*m = x + 407. Is 19 a factor of x?
True
Suppose 0 = 3*a + 240*b - 238*b - 1324, -5*a + 2224 = -b. Does 26 divide a?
False
Let q(d) = d**3 + 17*d**2 - 2*d - 34. Let t be q(-17). Suppose t*a = -10*a + 280. Does 9 divide (-17 - a)*(-8)/5?
True
Suppose -9*f + 7996 = 4*c - 5*f, -4*f = -5*c + 10013. Is 9 a factor of c?
False
Let t(m) = -199*m + 7425. Does 55 divide t(0)?
True
Let z(c) = -72*c + 198. Let t(h) = -73*h + 201. Let b(u) = -5*t(u) + 6*z(u). Does 61 divide b(-8)?
False
Suppose -4*x + 11*x = -5726. Let k = x + 1155. Does 22 divide k?
False
Let c(v) = 11*v**3 + 3 - 2*v - 6 + v - v**2 + 9*v**3. Is c(3) a multiple of 33?
False
Suppose 2*h - 280 = 3*g, 5*g + 5*h + 474 = h. Let i = g + 96. Suppose 0 = i*c - 51 - 19. Does 19 divide c?
False
Let p be (4/4 - 4) + (-169)/(-1). Let s = 382 - p. Is s a multiple of 9?
True
Suppose k - 1112 = 4*s - 12310, 3*k = -18. Does 12 divide s?
False
Let g(x) = -2*x**2 + 7*x - 12. Let j(h) = -3*h - 1. Let v(p) = -g(p) - 5*j(p). Is 13 a factor of v(19)?
False
Suppose -150 = -48*l + 138. Suppose -o = 3*p - 3274, l*o + 2192 = 2*p + 9*o. Is p a multiple of 11?
False
Let j = -681 - -1301. Is j a multiple of 20?
True
Let v(b) = 99*b**3 + 2*b**2 + 5*b - 15. Let n be v(2). Suppose -n*h - 1253 = -796*h. Is 24 a factor of h?
False
Is 2 a factor of (-2 - (-1)/1)/(10/20)*-43?
True
Let r = -4135 - -9751. Is r a multiple of 52?
True
Suppose 3*t + 6 = 0, 295*z - t = 300*z - 321908. Does 31 divide z?
False
Let r(t) = t**3 + 26*t**2 - 55*t + 4. Let l be r(-28). Does 28 divide 1137/2 - (10 - (-228)/l)?
False
Let k = -600 + 1416. Does 2 divide k?
True
Let b = 12 + -4. Suppose 0 = b*q - 5217 + 1185. Is q a multiple of 21?
True
Let l(r) = 6*r**2 - 14*r + 1. Let f be l(2). Is (2/(-3))/(f/2232) a multiple of 44?
False
Is (-819)/(-351)*(279/15)/(2/270) a multiple of 31?
True
Does 15 divide 32673/99*3 - (-5)/(-55)?
True
Suppose 35 = 24*a - 85. Suppose 15 = 3*k, 0*s - a*s - 4*k = -1380. Is s a multiple of 11?
False
Let z = -118 - -123. Suppose z*y - 5*a = 215, -5*y + 4*y - 2*a = -43. Does 11 divide y?
False
Let j = 12606 - 8672. Is j a multiple of 14?
True
Suppose -557*y = -323*y - 9248616. Does 41 divide y?
True
Suppose 24 = -4*k, 0 = -2*m - 101*k + 10