= 7*a - 384696. Does 15 divide a?
False
Let d(m) = -6*m - 3. Let y be d(-2). Let p be 1941/y - 2/(-6). Suppose -8*x + p = -5*x. Is 18 a factor of x?
True
Suppose -4*x + 3*d - 7*d + 140 = 0, -d - 35 = -x. Suppose -x*i + 26915 = -1680. Is i a multiple of 41?
False
Let t(p) = -4*p + 73 + p - 7. Let n(d) = -d**2 - 15*d + 415. Let i be n(14). Does 11 divide t(i)?
False
Let j(o) = 16*o + 27. Let c be j(-3). Is (-912)/(-56) - (-6)/c a multiple of 8?
True
Suppose 30*q - 29*q = 15. Let d = 19 - q. Suppose d*j = -4*h + 140, -j + 3*h = 2*j - 123. Does 12 divide j?
False
Suppose r - 10433 = -3*l, -10*l - 21680 - 9676 = -3*r. Does 10 divide r?
False
Let h(b) = b**2 - 9*b + 10. Let i be h(8). Suppose -2*n = i*v - 478, -2*v + 258 + 217 = 5*n. Does 24 divide v?
True
Let o = 38 + -63. Let g be 2/(-9) + -4*o/45. Suppose 4*f - 4 = 0, -7*w + 847 = -2*w + g*f. Does 38 divide w?
False
Suppose 4*k - 54*k - 8*k = -378508. Does 11 divide k?
False
Let b = -10393 - -24673. Is 102 a factor of b?
True
Suppose 3*g + 0 + 3 = 2*x, -3*g - 6 = -3*x. Suppose -3*h + 2*y = x*y - 236, -h = -2*y - 74. Is (216/(-10))/(h/(-260)) a multiple of 12?
True
Is (921/6)/(846/84 + -10) a multiple of 20?
False
Suppose -67*l + 149290 + 53779 = -6*l. Does 13 divide l?
False
Does 68 divide 64/56 - 5041664/(-112)?
True
Let b be (6 + -5 - -337)/(2/6). Suppose t - 5 = 0, -2*n + 278 + b = 4*t. Does 7 divide n?
False
Let n(g) = 3*g - 64. Let o(h) = 8*h - 129. Let q(p) = -9*n(p) + 4*o(p). Is q(0) even?
True
Let v(h) = 62*h**2 + 16*h + 36. Suppose 70 = y + 72. Is 36 a factor of v(y)?
True
Suppose 7*d + 13*d = 11380. Let w = d + -429. Is 20 a factor of w?
True
Suppose -1690 = 63*x - 64*x - 3*b, -3381 = -2*x - 5*b. Is 102 a factor of x?
False
Let g be 0 - 1 - (-548 - (4 + 2)). Is 9 a factor of 10344/14 - 474/g?
True
Suppose 33 = 5*a + 8. Suppose -3*q + 296 = -5*w, 0 = -2*q + 3*q + a*w - 72. Does 9 divide -2*(4 + q)/((-9)/6)?
False
Suppose -108*h + 434846 = 53*h - 826911. Does 15 divide h?
False
Suppose -28 + 45 = o. Let t = 21 - o. Suppose 0*d + 420 = t*d. Is 22 a factor of d?
False
Is 104 a factor of (-100 - -82) + 1 + 11651?
False
Suppose -23*h + 22452 + 15291 = 0. Is 54 a factor of h?
False
Let w(y) = 9*y + 40. Let c be ((-3)/(9/(-21)))/(0 + 1). Suppose c*l - 93 - 33 = 0. Is w(l) a multiple of 34?
False
Suppose 69 = -4*i + 409. Let d = 32 - 7. Suppose -d*r + 24*r = -i. Does 14 divide r?
False
Let i = 12480 - 8564. Is 2 a factor of i?
True
Suppose -852 = -4*x - 4*z, -12*x = -11*x - 5*z - 219. Let w = 574 - x. Is w a multiple of 6?
True
Suppose 18*i = 76517 - 3725. Does 27 divide i?
False
Let d(l) = -7*l**3 - 3*l**2 - 4*l + 3. Let n be d(3). Let k = n + 232. Is k a multiple of 3?
False
Let t be 5 - 1 - 0/(-2). Let d(x) = -6*x**2 + 21*x**2 - 17*x - 3 - t*x**2 + x. Is 64 a factor of d(5)?
True
Let w(f) = f**2 - 5*f + 1. Let r be w(5). Let a be (1*(r - 15))/((-9)/36). Let l = -54 + a. Does 2 divide l?
True
Let g = -33 - -36. Suppose -3*l + 3*l = g*l. Let v(j) = 3*j + 20. Does 10 divide v(l)?
True
Suppose -306880 = -77*q + 7*q. Is 19 a factor of q?
False
Let v(b) = 2*b**2 + 8*b - 8. Let m be v(-7). Suppose -2*r + m = -18. Suppose -6*n + n = 4*w - r, -3*n = 5*w - 39. Is w a multiple of 2?
False
Suppose -5*v + 2*k - 10 = -4, 0 = 2*v + 5*k - 15. Let m(y) = y**3 - y**2 + 3*y + 625. Is 57 a factor of m(v)?
False
Let h(v) = -148*v**3 + 2*v**2 + 2*v + 1. Let q(y) = -y - 2. Let j be q(-1). Let n be h(j). Suppose c = -5*z - 25 + 278, -2*c + n = 3*z. Does 25 divide z?
False
Let c(f) = 4*f**2 + 175*f - 4743. Is 6 a factor of c(33)?
True
Suppose 5*l = -136 + 836. Let m(a) = a**2 + 3*a - 14. Let t be m(-10). Let c = l - t. Is c a multiple of 28?
True
Let y = 55979 + -22341. Is y a multiple of 22?
True
Suppose 592 = 12*l - 4*l. Suppose -l = -w + 76. Does 6 divide w?
True
Let t(q) = q**3 - 65*q**2 + 26*q + 144. Is t(67) a multiple of 24?
False
Suppose -45 = w - 142. Let i = w - -18. Suppose 3*q - 2*x = -4*x + 71, 5*q - i = -5*x. Does 4 divide q?
False
Let u = -91 + 83. Let j be ((-70)/(-20))/(2/u*2). Is 30/4*(j - (-82)/6) a multiple of 25?
True
Suppose 0*f = -4*g - 3*f + 12, f = 0. Suppose -m = -g, 0*a - a - m = -63. Does 4 divide a?
True
Suppose i + 2*u - 95 = 6*u, 2*i + 5*u - 216 = 0. Let f = -96 + i. Suppose 3*m + 190 = f*m - 3*k, -2*k + 53 = m. Is m a multiple of 9?
False
Let s(j) be the second derivative of j**4/12 + j**3/3 - 9*j**2 - 9*j. Suppose 0 = -0*o - o - 13. Does 25 divide s(o)?
True
Let g = 26580 - 6822. Is 11 a factor of g?
False
Suppose -1 - 99 = 5*c + 5*w, 22 = -c + w. Let m be 5/20 + c/(-12). Is 10 a factor of ((-67)/6*-4)/(m/6)?
False
Suppose -1828 = 4*m - 8*m - j, 900 = 2*m + 4*j. Suppose 5*p - 409 - 349 = i, -3*p + m = i. Is 9 a factor of p?
False
Let q(s) = 2*s + 27. Let c be q(4). Suppose -58 - c = 3*m. Let u = 43 - m. Does 20 divide u?
False
Suppose -5*q + 10*q - 3*m = 40, -5*m = 0. Let s(w) = w**2 - 10*w + 23. Let k be s(q). Suppose 18 = k*f - 5*f. Does 2 divide f?
False
Let o(k) = k**3 - 64*k**2 - 209*k - 229. Is o(68) a multiple of 228?
False
Suppose -8 = -6*k + 4*k. Suppose k*f + 1 = -15. Does 4 divide 56/(-14)*11/f?
False
Suppose 3911 = 3*h + 11*f, 3*h - 4*f - 2448 = 1448. Is h a multiple of 18?
False
Let x be (-60)/(-210) + (-94)/(-14). Suppose -4*d + x*j + 484 = 8*j, 2*d = -4*j + 256. Is d a multiple of 24?
True
Let c be 6*9/30 - (-2)/10. Let m(b) = 6 + b**c - 10*b + 1 + 5. Does 27 divide m(-6)?
True
Let g be (-368)/(-23) - (2 - 1). Let s be ((-24)/g)/((-2)/(-25)). Let u = s + 95. Is 15 a factor of u?
True
Let f(v) = 66*v**2 - 258*v + 6833. Is 170 a factor of f(26)?
False
Suppose -p - m - 15 = -4*m, 2*p = -5*m + 25. Let d(g) = -272*g + 8. Let u be d(-1). Suppose p = 14*y - 19*y + u. Does 28 divide y?
True
Let n be (8/(-6))/((-4)/6). Suppose -23 = -s - 5*k, s + 6*k - 3*k = 27. Suppose -n*r + s = -15. Is 12 a factor of r?
True
Let h(n) = -154*n - 5. Let o(z) = 4619*z + 149. Let w(d) = -149*h(d) - 5*o(d). Let a be w(1). Let g = a + 217. Is g a multiple of 34?
True
Suppose -s - 1083 = 14*s - 81708. Is s a multiple of 6?
False
Suppose 21 - 1 = 5*y. Suppose -4*b + 5*j = 17, 0*j - 16 = 2*b - y*j. Suppose 4*l - 4*k = 44, -29 = -3*l - b*k + 4*k. Is l a multiple of 2?
False
Does 8 divide 1744/981*3/(-2)*-1080?
True
Suppose 0 = -14*z - 24 + 94. Is 3 a factor of (12/z)/(-1)*(-43 - 2)?
True
Let m(q) = 170*q + 69. Let l be m(8). Suppose l*f = 1434*f - 4590. Is 54 a factor of f?
True
Let j = -737 + 847. Suppose 350 - j = 4*r. Does 30 divide r?
True
Suppose 23*c = 55*c - 55*c + 247917. Does 39 divide c?
False
Suppose -9*u + 51*u = 91231 - 13279. Is u a multiple of 4?
True
Suppose -11*h - 112753 = -58*h. Is 17 a factor of h?
False
Suppose -4*z = 2*m - z - 630, 1264 = 4*m + 5*z. Is 23 a factor of m - 6*3/(-3)?
False
Suppose 0 = 46*l - 53*l + 28. Let f(y) = -y**3 + 4*y**2 + y. Let i be f(l). Suppose -i*r + 381 + 487 = 0. Is r a multiple of 34?
False
Let s = -45 - 15. Does 6 divide (140/25)/((-8)/s)?
True
Let m(s) = -15*s**2 - 35*s - 206. Let y(q) = 7*q**2 + 17*q + 102. Let t(a) = 2*m(a) + 5*y(a). Is t(-9) a multiple of 25?
False
Suppose -5*n + 92 + 113 = 0. Let c(h) = 43*h + 46. Does 67 divide c(n)?
True
Let f(m) = 180*m**2 - 1374*m + 8274. Is f(6) a multiple of 155?
True
Suppose 0 = -s - 168 + 11. Let c = 227 + s. Let t = c + -37. Is 8 a factor of t?
False
Let g be 35 + -34 - 2/(4/(-54)). Let x be (g + -1)/(6/160*5). Let o = -71 + x. Does 14 divide o?
False
Let d = 43 - 40. Suppose 0 = -d*f + 87 - 6. Suppose -108 = -28*i + f*i. Is 27 a factor of i?
True
Suppose 13*q + 2*x - 148 = 9*q, q + x = 38. Suppose -5*t + 2*t = s - q, -3*s + t + 58 = 0. Suppose 19*w = s*w - 460. Does 23 divide w?
True
Suppose 0 = -14*g + 4*g + 5660. Does 29 divide g?
False
Let h(z) = -7*z**2 - 2*z + 3. Let j be h(-2). Is 40678/77 + 4 + 6/j a multiple of 25?
False
Suppose -5*y - r + 10277 = -16874, 3*r - 3 = 0. Is y a multiple of 15?
True
Let i = 761 + 22887. Is 16 a factor of i?
True
Suppose -6*c + 1931 + 10711 = 0. Is 16 a factor of c?
False
Suppose 14*w - 12*w - 26 = 0. Is w*4*561/66 a multiple of 26?
True
Let f(p) be the first derivative of -2*p**3/3 - 2*p**2 + 950*p - 320. Does 10 divide f(0)?
True
Let t = 26152 + -23766. Is t a multiple of 5?
False
Let v be -3 - (7 + -4) - -10. Suppose 6*o - 4*n + 601 = 9*o, v*n = 16. Is o a mu