y/((-81)/3753*(-2)/6) a multiple of 31?
False
Suppose 3*w + 4*w = 14. Suppose -w*k + 32 = -16. Is (660/k)/(2/20) a multiple of 55?
True
Suppose -5*s - 277 = -227. Let f(u) = -58*u - 110. Is f(s) a multiple of 10?
True
Let b = 92 - 90. Suppose 0 = 4*k + k - 4*u - 1496, 0 = k - b*u - 298. Does 20 divide k?
True
Let g = -6410 - -14410. Does 80 divide g?
True
Suppose -128*p - 2688000 = -228*p. Is 256 a factor of p?
True
Let z(p) = 3*p**2 + p**2 - 12*p + 2*p + 20 - 3*p**2. Let d be z(10). Is 14 a factor of 8/d - (-1390)/25?
True
Suppose -30*h + 70554 = -95886. Is 18 a factor of h?
False
Let o(x) = 23*x - 17. Let i(v) = v. Let z(r) = 5*r + 15. Let y(f) = -4*i(f) + z(f). Let k be y(-7). Is o(k) a multiple of 10?
False
Suppose 3*l + 312 = 11*l. Let h = l - 36. Does 10 divide h - (2 + -5 - 4)?
True
Does 34 divide (-3 - 2)*(15 + 25910/(-50))?
True
Suppose -4*s - 606 + 606 = 0. Suppose -w + 274 + 48 = s. Is 23 a factor of w?
True
Let y = -11 + 10. Let r be y/(2 + 340/(-172)). Let k = 91 + r. Does 6 divide k?
True
Suppose 31*z - 2654 + 980 = 0. Suppose 56*r = z*r + 382. Does 16 divide r?
False
Let s(v) = 4*v**2 + 93*v + 26. Let w be s(-23). Suppose 5*x = w*x, -5*m + 510 = -3*x. Is m a multiple of 3?
True
Suppose 0 = -4*i - 5*f - 1898, 2*i - 4*f + 938 = -f. Let c = i + 796. Does 18 divide c?
True
Suppose 4*k + 152 = 44. Let y(i) be the first derivative of -5*i**2 - 72*i - 48. Does 18 divide y(k)?
True
Let a(o) be the third derivative of -o**6/120 + o**5/5 + 17*o**4/24 - 61*o**3/3 + 9*o**2 - 5. Does 7 divide a(12)?
False
Let h = -26393 + 61905. Does 23 divide h?
True
Is 57 a factor of (-2)/(-14) - 51857/273*-3?
True
Let q be 37/2*(1 + 1). Let g = -35 + q. Suppose 3*m = -4*h + g, -4*m - 5*h + 4 = -0*m. Is m a multiple of 5?
False
Suppose -3*d + 3 = 0, -2*y + 3 = 3*d - 4. Suppose -j = -4*p + 4182 + 1446, -y*p - 2*j = -2804. Does 60 divide p?
False
Let x = 14841 + -9542. Is 71 a factor of x?
False
Let m(u) = 11*u**3 + u**2. Let q be m(-1). Let d(x) = 8 + 52*x - 105*x + 41*x - x**2. Does 14 divide d(q)?
True
Let h be (-1)/(-4) - 525/(-60). Suppose -h + 30 = 3*o. Is o a multiple of 7?
True
Is 118 a factor of 2*((-224)/28 - (-14854)/4)?
False
Let y = -23659 + 40681. Does 12 divide y?
False
Let l(x) = -11*x**2 + 2*x. Let q(i) = -21*i**2 + 5*i + 1. Let k(j) = 9*l(j) - 4*q(j). Let v be k(-2). Let f = v - -94. Is 17 a factor of f?
True
Suppose -21*h + 18660 = 9*h. Suppose h - 5617 = -15*q. Does 68 divide q?
False
Let u(n) = -n**2 - 18*n + 61. Let l be u(-20). Let y be 0 - (0 - (6 + -3)). Suppose 0*r - 21 = -y*f - r, l = 4*f - r. Is f a multiple of 3?
True
Let z(v) = -267*v + 186. Is z(-3) a multiple of 13?
False
Let r(z) = z**3 + 3*z**2 - 4*z - 2. Let i be r(-4). Let l = -23 - i. Is 4/(81/l + 4) a multiple of 12?
False
Let l = -15 + 20. Suppose l*h - 613 = 2*h - x, 2*x = 4*h - 834. Let a = -46 + h. Is a a multiple of 40?
True
Let f = 40 - 71. Let g = f + 117. Let o = g + -43. Does 3 divide o?
False
Suppose -v + 16*v = -68877 + 260487. Does 6 divide v?
True
Is (-88 - -87)/(1/(-704)) a multiple of 16?
True
Let c be -2*((-537)/6)/(-1)*1. Let s = 129 + c. Does 13 divide 57/((-1 - 0) + (-60)/s)?
False
Let w = 5682 - 2865. Does 26 divide w?
False
Suppose 135*z = 134*z. Suppose z = n - 3*m - 17, 2*m = 9*n - 4*n - 20. Suppose n*w - 226 + 10 = -2*i, w = -4*i + 108. Does 36 divide w?
True
Suppose 72*r = -5*v + 73*r + 485, -387 = -4*v + r. Does 7 divide v?
True
Suppose -o = 19 - 23. Is (-1 - 0)/(-2*o/1056) a multiple of 36?
False
Let z(b) = b**3 - 44*b**2 + 52*b - 187. Is z(43) a multiple of 10?
True
Let g = -584 - -1107. Suppose -5490 = -5*s + 2*k, -s + 598 = -5*k - g. Does 10 divide s?
False
Is (-352)/11*-142 - 12 a multiple of 60?
False
Suppose 0 = o + 6 + 2. Suppose 40*i + 3392 = -24*i. Let d = o - i. Is d a multiple of 9?
True
Suppose -6*m + m + 2*l - 25 = 0, -4*l = 5*m + 25. Is 24 a factor of -12*(-10)/8*(-83)/m?
False
Let z = 583 + -1463. Let m = z + 1318. Does 73 divide m?
True
Suppose -181*m = -176*m + 65. Let s = 27 - m. Let p = s + -15. Is p a multiple of 3?
False
Suppose 2280 + 520 = 20*k. Does 11 divide ((-87)/58)/(2*(-3)/k)?
False
Let z(i) = i**3 + 46*i**2 - 93*i + 90. Is 42 a factor of z(-45)?
True
Let t(n) = 20698*n - 67. Is t(1) a multiple of 69?
True
Suppose -5*g = -8*g + 4*z - 222, 0 = z + 3. Is g/(-8)*-48*30/(-18) a multiple of 78?
True
Suppose -5*o = 4*d - 45365, 19*o - 3*d + 36291 = 23*o. Is 187 a factor of o?
False
Let l = 2118 + -1217. Suppose -3*f + 5*q + l = 0, 0 = 2*f - f - 3*q - 295. Suppose 0 = 4*u - 89 - f. Is u a multiple of 33?
True
Let w = -1597 - -2668. Let s = 1641 - w. Is s a multiple of 30?
True
Suppose 4*t = -3 + 11, 5*b + t - 2727 = 0. Suppose g - 2*j - 195 = 0, -5*g - 5*j = -b - 385. Is g a multiple of 49?
False
Suppose -4*o - 8 = 0, -3*o = -2*t - 0*o - 54. Let h be (-5 - 168/t) + (-46)/10. Is 7 a factor of h/(-8)*-41*-6?
False
Let t be (-129 + 0)/(40/(-16) - -4). Let c be (-2 + 20)*(-33)/(-6). Let a = c + t. Does 4 divide a?
False
Suppose -4*t + 124 = 124. Suppose t = 14*x - 11*x + 15, -4*p + 3243 = x. Is p a multiple of 32?
False
Let p(u) be the third derivative of 17/3*u**3 - 3*u**2 - 1/12*u**4 + 0 + 0*u. Is 11 a factor of p(-27)?
True
Let k(m) = 8*m**2 + 2*m. Let s be k(-1). Does 6 divide (s - 5) + 66 - 6?
False
Let x = -694 - -1775. Is 14 a factor of x?
False
Let p(y) = 13*y**2 - 27*y + 116. Let x(l) = 5*l + 69. Let k be x(-13). Is 36 a factor of p(k)?
True
Let s = -30306 + 51979. Is 40 a factor of s?
False
Let m(d) = -d**3 + 5*d**2 + 16*d - 17. Let y be m(7). Is 3 a factor of (-18)/y + (-10 - -88)?
True
Suppose -75*j = -76*j + 2*x + 2089, 4*j = -x + 8365. Does 41 divide j?
True
Suppose 4 = 3*l + 2*b, 4*b - 7 = -5*l - 3. Suppose -5*h + 340 = l*a, -5*h + 144 + 26 = 2*a. Does 14 divide (64/(-34) - -2) + 2370/a?
True
Let w(v) = v**2 + 14*v + 37. Let s be w(-7). Is (52/s)/(4/36)*-5 a multiple of 20?
False
Let c be (-4 - (-15)/9)*-21. Let g(x) = c - 41 + 0*x + x. Does 3 divide g(4)?
True
Let n be 2/(-2) - (-11 - -10). Suppose -3*r = 5*f - 726, n*f - 12 = 4*f. Suppose -5*x + r = -378. Is x a multiple of 25?
True
Does 137 divide ((-4854)/(-4))/((-501)/(-668))?
False
Let i = 26654 + -17567. Is i a multiple of 142?
False
Let n(c) = 17*c + 10. Let x be n(4). Suppose 3*t + x = 2*a, 4*a - 3 - 9 = 0. Let m = 15 - t. Is 13 a factor of m?
True
Let l = 699 - 1071. Let r = -262 - l. Is 11 a factor of r?
True
Let c = 463 + -485. Does 11 divide (-2227 - 2)*c/66?
False
Let u(l) = l**3 + 62*l**2 + 393*l + 113. Does 90 divide u(-54)?
False
Suppose 16 = 353*x - 349*x. Let y = 117 - -117. Suppose x*n - 39 = -2*i + 275, 0 = 3*n + i - y. Is 11 a factor of n?
True
Let x = -20325 - -39720. Is 136 a factor of x?
False
Suppose 0 = -11*p - 3*p - p + 52365. Does 39 divide p?
False
Suppose -2*x + 3859 = -c, -x + 646 = -c - 1281. Does 42 divide x?
True
Let o be 0/2 + 11/(55/10). Suppose 4*g - 341 - 2667 = 0. Suppose 14*w + o*w = g. Does 10 divide w?
False
Suppose -2*u + 5*v = -2118, 5*v + 81 = 91. Is u a multiple of 10?
False
Let t = 51 - 46. Suppose -t*p = -22 - 3. Suppose 4*f + 28 = -5*l + 651, p*f + 5*l - 785 = 0. Does 27 divide f?
True
Let u be (290/20 + -13)*218/(-3). Let m = u + 442. Does 37 divide m?
True
Suppose 0 = 2*m + 2, -15687 - 17273 = -5*q + 5*m. Does 148 divide q?
False
Let n(d) be the third derivative of 0*d - 7/12*d**4 + 1/30*d**5 + 0 + 17*d**2 - 1/3*d**3. Is n(8) a multiple of 14?
True
Suppose 4*y - 8 = 4*w, 4*w - 34 = -y - 2*y. Is 14 a factor of -1 + (27 - 6) - y?
True
Let b be (33/9 + -2 - 2)*246. Let x = b - -177. Is x a multiple of 24?
False
Let q be 4 + ((-45)/12)/((-6)/(-16)). Let r be 4 + q + (-24)/(-4). Suppose -r*i + 117 = 21. Does 7 divide i?
False
Let x(b) = 2717*b + 1681. Is 12 a factor of x(7)?
True
Let y be (-30)/135 + 58/18. Suppose -a = j + y*j - 30, -3*j = -3. Let d = a - -61. Is 15 a factor of d?
False
Suppose 5*d + 22*k = 25*k + 28370, 0 = 5*d + 11*k - 28370. Is 11 a factor of d?
False
Let f = 11319 + 51791. Does 10 divide f?
True
Suppose -4*s + 3*k = -4898, -18*s + 16*s + 2456 = 2*k. Does 4 divide s?
False
Let f be -1*5*6392/(-170). Suppose 10*l - 2238 = -f. Is l a multiple of 9?
False
Is -9654*3*1/(-3) + 8 a multiple of 20?
False
Suppose -3*z + 17286 = 3*t, -5*t = z + 3148 - 31986. Is t a multiple of 19?
False
Let z(v) be 