 = 27*r. Is 20 a factor of r?
True
Suppose 4*p + p = -1955. Let i = 867 + p. Does 9 divide i?
False
Is (-2072)/((-4)/(8/5))*5 a multiple of 56?
True
Let n(l) = -2*l**2 + 10*l - 15. Let k be n(2). Is (-12)/k + 1 + 7*37 a multiple of 22?
True
Let m(q) = -q - 9 + 26*q - 2*q**2 + q**2. Let j(a) = a**3 + 14*a**2 + 37*a + 7. Let d be j(-4). Does 5 divide m(d)?
True
Let y(q) = 2*q**3 - 119*q**2 + 153*q - 1028. Does 35 divide y(60)?
False
Let z be 1677408/144 + (-4)/6. Suppose 4*m = 12*m - z. Does 16 divide m?
True
Let a(o) = -2*o**3 + o**2 - 5*o - 4. Let v(h) = -h**2 + 3*h - 57. Let t be v(0). Let g = -60 - t. Is a(g) a multiple of 8?
False
Let f be 126/36 - 14/4. Does 10 divide (-12)/(-8)*(1020/9 - f)?
True
Is (6 - 4)/((-22696)/11352 - -2) a multiple of 66?
True
Suppose -2*g + 18372 = 4*z, -52*z + 47*z - 2*g + 22963 = 0. Is 68 a factor of z?
False
Let j(l) = -42*l**3 - 9*l**2 + 47*l + 394. Is j(-5) a multiple of 32?
True
Is 18 + 29986 + 16 + -4 a multiple of 7?
True
Suppose 3*z - 132 = 4*o - 3*o, 0 = -4*z + 16. Let t = o + 234. Is t a multiple of 19?
True
Let r = -262 + 147. Let a = r + 124. Suppose -a*n = -2*n - 567. Does 15 divide n?
False
Let w(d) = 10*d**2 + 2*d + 1. Suppose -50*c - 40 = -58*c. Does 12 divide w(c)?
False
Suppose 3*a - 6*n = -4*n + 7260, n = 3*a - 7263. Is 40 a factor of a?
False
Let b = -88 + 86. Let m be (-11)/(154/24) - b/(-7). Is 477*1/m*(-2)/3 a multiple of 17?
False
Suppose 0 = -2*l + 150 + 102. Suppose -2124 = -10*h + l. Does 14 divide h?
False
Suppose -40*v = -69*v - 87. Does 41 divide ((-2115)/(-9) + -9)/((-1)/v)?
False
Suppose -3*t = 21 - 3. Let r be -2 + -1 + 2 + t + 89. Let v = -67 + r. Is 15 a factor of v?
True
Let b(j) = -j**2 + 17*j + 9. Suppose 13 = -4*a + 1. Let l = a + 18. Is 3 a factor of b(l)?
True
Suppose 5 = -2*c + 5*c + f, 0 = -c - 4*f + 20. Suppose 22*l - 21*l = -2. Is 4 + c - 338/l a multiple of 18?
False
Let c = -4372 - -7368. Is 38 a factor of c?
False
Suppose -21 = -3*i - 12. Let d be (-2)/i + (-456)/(-9). Suppose 0 = 3*c + h - 6*h - 64, -3*h + d = 5*c. Is 3 a factor of c?
False
Suppose -23*p + 119*p = 649440. Is p a multiple of 12?
False
Suppose -1 = -n + 17*u - 18*u, -5*n + 8 = 4*u. Suppose n*f + 2*f = 678. Is f a multiple of 7?
False
Let r(l) = 0*l - 217*l**3 + 104*l**3 + 107*l**3 - 7*l**2 - l - 2 + 8. Does 2 divide r(-3)?
True
Is (-3)/2*(3411850/75)/(-13) a multiple of 8?
False
Let u(a) = 69*a**2 + 21*a - 500. Is 41 a factor of u(-20)?
False
Let j = 103 + -50. Suppose -6*z = -127 - j. Is z a multiple of 30?
True
Suppose -24*o - 92*o = -29*o - 322596. Does 9 divide o?
True
Let m(p) = -5*p - 122. Let h be m(-25). Suppose 2*w = -l + 472, 0 = -h*l - 25*w + 27*w + 1424. Does 36 divide l?
False
Let y be 9/6 + 182/52. Suppose -3*u = -4*s - 142, 150 = 4*u - y*s - 38. Is 26 a factor of u?
False
Let f be 5/(60/(-18)) + (-201)/(-6). Suppose u + u + 64 = 0. Let t = f - u. Does 9 divide t?
False
Let w be 5*-8*(-3)/30. Suppose -176 = -4*z - 3*r, -6*z = -w*z - r - 88. Does 4 divide z?
True
Let f(b) = -13*b - 18. Suppose -90 + 50 = 5*v. Does 12 divide f(v)?
False
Suppose 4*o - 32 = 2*w, 2*o = 3*w - 3*o + 48. Let b(q) = -3*q - 46. Let r be b(w). Suppose 3*t - 6*f = -r*f + 158, -t + 5*f = -49. Is t a multiple of 18?
True
Let d(f) = f**2 + 32*f + 101. Let v be d(-37). Suppose 2*n - 5*u - v = -62, -3*n + 3*u = -345. Is n even?
False
Suppose 700 = i - 5*i. Let g be ((-7)/(-5) - 1)/((-5)/i). Suppose -2*u + 752 = g*u. Is 5 a factor of u?
False
Let g = -1 + 4. Suppose 5*x = 3*p - 527, 2*x - p = g*p - 208. Let s = -96 - x. Is s a multiple of 5?
True
Is 12157 + 168/(-18) + 16/(-24) a multiple of 90?
False
Let u = 53310 + 6024. Is u a multiple of 93?
True
Let d be (10/(-14) - 1)*-14. Let v = -329 + 332. Suppose a = -v*a + d. Is a a multiple of 3?
True
Suppose 3*r + 27*r = -57*r + 808491. Is r a multiple of 93?
False
Let t(w) = -w**3 - 5*w**2 - 19*w + 4. Let p be t(-5). Suppose 103*g - 2116 = p*g. Does 23 divide g?
True
Suppose -n = 3, -6*n + 34 = r - 9*n. Suppose 50 = 3*o - r. Does 27 divide 6/((-15)/o - 258/(-405))?
True
Suppose -216 = o - a + 972, 2 = a. Let d = -313 - o. Is 15 a factor of d?
False
Let n = 0 + 99. Is n a multiple of 7?
False
Let r(t) = -324*t. Let x be r(-1). Suppose 3*m + x = 1764. Suppose 0 = 5*h, 5*v = -4*h + 3*h + m. Is v a multiple of 16?
True
Suppose -t - 62 - 1119 = 2*p, -p = 3*t + 603. Let s be p/8 - (-2)/4. Let x = -4 - s. Does 10 divide x?
False
Let g = 1 + 62. Is 27/g + 4740/14 a multiple of 12?
False
Let x(r) = 2*r**2 + 12*r - 8. Suppose c + 22 = 3*a, 2*a - 2*c + 4*c - 28 = 0. Let v = 2 - a. Is x(v) a multiple of 3?
True
Let m = 1620 + -1121. Suppose m + 425 = 6*p. Does 4 divide 3668/p - 2/(-11)?
True
Let c(d) = 51*d + 139. Let k(s) = 52*s + 138. Let m(p) = -4*c(p) + 5*k(p). Is 29 a factor of m(9)?
True
Let j(m) = 301*m**2 + 11*m - 17. Let o be j(2). Let g = -355 + o. Is g a multiple of 78?
False
Is 22612*(-21)/(-140) - (-477)/(-265) a multiple of 4?
False
Suppose 9 = 2*c + 1. Let m(g) = -g**2 - 8*g + 16. Let p be m(-10). Is 26 a factor of (p/30*5)/(c/(-162))?
False
Suppose -5*x - 3*x = -5504. Suppose 2*i - 326 = 3*h - 8*h, 4*i = -h + x. Is i a multiple of 21?
False
Let v(p) = p - 27. Let c be v(8). Let m = c - -21. Suppose -m*k + 57 + 83 = 0. Is 10 a factor of k?
True
Suppose -3*n - r = -8, 2*r = -5*n - r + 20. Let s be 2/n - (-3 - -17). Let o = s - -25. Does 2 divide o?
False
Suppose -4*n = 5*l + 589, 191 + 108 = -2*n - l. Let o(b) = b**3 + 7*b**2 + 7*b + 3. Let u be o(-7). Let c = u - n. Is c a multiple of 20?
False
Let b = -764 + 770. Suppose k - w = 279, -3*k + b*w - 5*w + 837 = 0. Is 5 a factor of k?
False
Let w = 2747 - 1636. Suppose 5*x - 1391 = -3*j, -4*x - w = -8*x - 3*j. Is x a multiple of 4?
True
Let x = 37714 + -22392. Does 47 divide x?
True
Let j = 100 + -96. Suppose j*u - 13804 = -25*u. Does 14 divide u?
True
Let j(a) = 2043*a**2 - 50*a - 273. Is 8 a factor of j(-3)?
True
Suppose 29*l + 2*v - 1804 = 27*l, -l = 5*v - 898. Is 42 a factor of l?
False
Let d = 76 + -76. Let t be 3 + -1 + d/(-2) + 5. Suppose -2*k + 25 = -i, -t*i = -5*k - 6*i + 64. Is k a multiple of 4?
False
Suppose 0 = 9*n - 3*n - 156. Suppose -16830 = -n*x - 8*x. Is x a multiple of 26?
False
Suppose 224*p = 11*p + 6324822. Does 42 divide p?
True
Let x = -198 + 213. Does 2 divide 420/49 - x/(-35)?
False
Let t be ((-2)/(-5))/(4/60*3). Suppose 0 = t*r - 4*p - 1464, r + 4*p = 646 + 80. Suppose 4*o - i = 584, -4*o - 3*i = o - r. Is o a multiple of 15?
False
Suppose -2*s = -3*i - 11970, 251*s - 254*s + 17904 = 4*i. Is s a multiple of 12?
True
Suppose 77 + 573 = 5*g. Let l = 2 + 2. Suppose -4*j = -l*x + 192, -j + 5*j - g = -3*x. Is 12 a factor of x?
False
Let z be -4 + 3 + 6 + 0 + 1. Suppose -z*b + 7*b - 371 = -4*h, 0 = 3*b - 3*h - 1038. Is b a multiple of 27?
True
Let p(u) = 40 - u - 5*u + 2*u. Is p(-9) a multiple of 12?
False
Suppose 0 = -8*g - 19188 + 75300. Does 7 divide g?
True
Let s(u) = -39*u - 31. Suppose -69 = 3*g + 20*g. Does 10 divide s(g)?
False
Let h = -292 + 409. Suppose -5*u + 81 = f - 0*f, -f + 4*u = -h. Let w = 171 - f. Is w a multiple of 7?
True
Let h be 168/77 - 4/22. Is 3 a factor of (-39 - 0)/((-2)/h)?
True
Let s = 24 - 17. Let j(m) = m**2 - 7*m - 3. Let v be j(s). Is (-412)/v + (-22)/(-33) a multiple of 21?
False
Let n = -726 + 2296. Let c = -778 + n. Does 22 divide c?
True
Let a = 181 - 199. Is (-141)/(-18) - (1 - -2)/a a multiple of 4?
True
Let w = -99 + 96. Let q be ((-48)/(-18) - 1)/((-1)/w). Suppose -q*g = -0*g - 1530. Does 51 divide g?
True
Does 8 divide (-423)/94 + 24695/10?
False
Suppose -15 = -3*k + 9. Suppose -k*t - 4*t + 108 = 0. Suppose -11*o = -t*o - 56. Is 7 a factor of o?
True
Is 32 a factor of 7 + (-7)/(56/(-50376))?
True
Let s(z) = 57*z**2 + 2*z + 16. Let y(o) = -57*o**2 + o - 15. Let n(a) = 4*s(a) + 3*y(a). Does 45 divide n(-2)?
True
Let j(u) = 45292*u - 8 - 45315*u - 2. Does 24 divide j(-3)?
False
Let c(u) = -6*u + 228. Let s be c(37). Let d(q) = 2*q**2 + 3*q - 15. Is 6 a factor of d(s)?
False
Suppose 0 = -5721*l + 5754*l - 611688. Does 28 divide l?
True
Let b(l) = 122*l**3 - 2*l**2 + 10*l - 9. Is 16 a factor of b(2)?
False
Suppose -458609 = 20*p - 52*p - 21*p. Is p a multiple of 63?
False
Suppose 0 = h + 3*j - 5461, -8*j = -2*h - 12*j + 10928. Is h even?
True
Suppose -2*j + 25 