5*m + 72. Does 9 divide m?
False
Let a = 8466 - 7404. Does 59 divide a?
True
Suppose -6*m + 71750 = 39*m - 10*m. Is 41 a factor of m?
True
Let m(x) = 40*x**2 + 159*x + 37. Is 25 a factor of m(-8)?
True
Let n(m) = 8*m**2 - 9*m + 16. Let i be (-6)/(-1) + 8 + -12. Is n(i) a multiple of 2?
True
Let g = -2138 - -3059. Suppose -2*m = -d + g, -5*m + 2*m - 1394 = -4*d. Let u = -290 - m. Is 21 a factor of u?
True
Let m = 5643 + -1347. Is m a multiple of 12?
True
Let b be (-841)/(-5) - 48/40. Suppose w = 3*u - 497, 3*w + b = u + 2*w. Is 5 a factor of u?
True
Let q(l) = 202*l**2 + l - 2. Let p be q(1). Suppose 3*g - p = -6. Does 13 divide g?
True
Suppose 90*h - 81*h = -20898. Is 11 a factor of 1/(-8) + h/(-16)?
False
Suppose -17*k + 147608 = -235504. Does 9 divide k?
True
Let s(k) = 558*k + 844. Does 187 divide s(32)?
True
Let c be (-4)/10*(-50805)/(-9). Is c/(-10) + 6*(-3)/(-90) a multiple of 10?
False
Let d = -131 - -37. Let k = -20 - d. Is 13 a factor of k?
False
Let k be 1/((3/(-18))/((-3)/(-6))). Let t be (4 + k + -1)*1. Suppose t = -2*l + 7*l - 250. Is 5 a factor of l?
True
Let o be ((-59)/6)/(2/(-12)). Let h = 83 - o. Is 12 a factor of h?
True
Suppose -g - 30 = -0*g. Let y be 4/g*-12*30. Suppose -5*o + y = -92. Is o a multiple of 14?
True
Let c(z) = 12*z**3 - 2*z**2 - 17*z + 4. Let q(p) = 4*p - 32. Let y be q(9). Does 16 divide c(y)?
True
Let q be -381*1 + 40/(-5) + 4. Let u = -270 - q. Is u a multiple of 4?
False
Suppose -379*x = 291*x - 15797930. Is x a multiple of 14?
False
Let y(i) = -2*i**2 - 10*i - 12. Let s be y(-6). Let z = s - -27. Suppose -o + 5 + 29 = 5*r, 0 = -z*o + 5*r + 182. Does 30 divide o?
False
Let h = -970 - -1405. Suppose 0 = -5*r + h + 225. Is r a multiple of 11?
True
Let y(z) = -27*z**3 + 2*z**2 - z - 2. Suppose 0 = -39*u + 25*u - 14. Does 9 divide y(u)?
False
Let g = -7 + 17. Let v = g + -5. Suppose -v*c = -w - 27, -c + w + w + 9 = 0. Is c a multiple of 4?
False
Let g = 5312 - -4984. Is g a multiple of 33?
True
Suppose 2*b + 3202 = f, 3*f + b = 11100 - 1508. Suppose -10*k + f = -162. Does 41 divide k?
False
Let p(b) = b**2 + 19*b - 87. Let r be p(13). Let i = -105 + r. Does 31 divide i?
False
Suppose -12 = 2*w - 5*w, 277 = 5*a + 3*w. Suppose -6*k - 427 - a = 0. Let j = k + 94. Does 14 divide j?
True
Let z(r) = -r**2 - 23*r - 4. Suppose -c = 5*a - 0*c + 8, 0 = 2*c + 6. Let x be (4 + -4 - 5) + a. Does 11 divide z(x)?
False
Let g(b) = -2248*b + 2284. Does 18 divide g(-8)?
True
Let h(u) = 2*u**3 + 6*u - 20. Let f be h(5). Let b = 287 + f. Does 12 divide b?
False
Let u(g) = -6*g + 15. Let d(l) = 12*l - 30. Let y(x) = 3*d(x) + 5*u(x). Let t be y(-7). Let q = t + 105. Does 8 divide q?
True
Does 16 divide 892/(-2)*((-330)/14 + (-27)/63)?
True
Suppose -11*g - 5642 = -1341. Is -1 + (6 - (g + 0)) a multiple of 27?
False
Let n(v) = -7*v**3 - 39*v**2 + 52*v. Let f(y) = 3*y**3 + 19*y**2 - 26*y. Let w(b) = -13*f(b) - 6*n(b). Is w(8) a multiple of 16?
True
Suppose -16*o - 6456 = -4*z - 13*o, z - 1625 = -2*o. Does 25 divide z?
False
Let c be ((-3)/6)/((-2)/(-220)). Suppose 5*f + g = 10*f - 500, -3*f + 312 = -3*g. Let x = c + f. Is x a multiple of 21?
False
Is 2 + 14693 + (57 - 49) a multiple of 13?
True
Let s be 254/(-14) - (-5 - 272/(-56)). Does 9 divide (-1353)/s + 115/30 + -4?
False
Let m(x) = x**3 + 13*x**2 + 2*x + 26. Let s be m(-13). Let l(j) = 45*j + 560. Is l(s) a multiple of 40?
True
Suppose -3*p = 2*l - 3*l + 5650, -3*l - 3*p + 16986 = 0. Does 12 divide l?
False
Suppose 23298 - 61014 = -5*t + 4*u, 0 = 3*t + 5*u - 22600. Does 65 divide t?
True
Is -3*5/90 + (16695679/(-78))/(-13) a multiple of 19?
False
Suppose -2*c = 2*l + 290 - 1380, 5*l - 2185 = -4*c. Suppose 1348 = 8*w - c. Does 12 divide (-4)/(w/60 - 4)?
True
Suppose -3*z - t + 2911 = 0, -4*t - 1969 = -2*z + t. Is 96 a factor of z?
False
Let h = -2 + 4. Let w = -132 - -132. Suppose 2*t - 28 = -c, w = -0*c + 5*c + h*t - 172. Is c a multiple of 12?
True
Suppose -5*f + 347 - 867 = y, 0 = -2*y - 2*f - 1040. Let u = 296 - y. Does 51 divide u?
True
Suppose 0 = 4*v - 576 - 12536. Is 51 a factor of v?
False
Let v(z) = 1365*z - 1069. Is 9 a factor of v(19)?
False
Suppose -357*o + i - 457 = -358*o, 0 = i - 6. Does 6 divide o?
False
Suppose 2*u - 20646 - 17058 = -3*h, 37704 = 3*h + u. Is 13 a factor of h?
False
Suppose 3*d - 4828 = -3*w - 1390, 2*d - 2292 = 5*w. Does 2 divide d?
True
Suppose -4*a + 262 - 42 = 0. Let m be (169/26)/((1/(-10))/(-1)). Suppose -a = -x - 3*r - 20, 4*x - m = 3*r. Does 4 divide x?
True
Suppose -273 = -20*f - 253. Let n(l) = -15*l - 5. Let i(d) = -29*d - 9. Let k(t) = -6*i(t) + 11*n(t). Is 4 a factor of k(f)?
True
Suppose 0 = -h + 7*x + 239, 5*h + 4*x + 674 = 1791. Is 15 a factor of h?
True
Suppose -2*f = -f - 4*m + 11, -4*m + 29 = f. Suppose -f*q = -7*q - 16. Let s = 84 + q. Does 15 divide s?
False
Suppose 0 = 11*o + 6075 - 1158. Let r = 799 + o. Is r a multiple of 44?
True
Suppose -2*w + 2*y = -14804, -124*w + 127*w + 4*y - 22185 = 0. Does 49 divide w?
True
Does 5 divide ((-18876)/(-8))/13*8*147/18?
False
Let d(b) = 3*b + 17. Let k be d(-5). Suppose k*a = a + 10. Is 4 a factor of a?
False
Let h(k) = -20*k - 48. Let q be h(-12). Let x = q + -45. Let b = x - 104. Is b a multiple of 4?
False
Let k(p) = 4*p**2 + 11*p + 3. Let b(u) = 6*u**2 + 17*u + 5. Let c(l) = -5*b(l) + 8*k(l). Let s be c(1). Suppose -s*o = -6*o + 14. Is o even?
False
Let d(p) = 1659*p - 13713. Is d(21) a multiple of 70?
False
Let k be -1 - -3 - (-151 - -1). Let m = 291 + -215. Let u = k - m. Is u a multiple of 19?
True
Suppose -2*f - 2*w + 1615 = 3*w, 1619 = 2*f + w. Is 10 a factor of f?
True
Let l(u) = u**3 - 63*u**2 - 303*u + 95. Does 81 divide l(73)?
True
Suppose -9*m + 5*m = n - 2240, -2*n + 4492 = -4*m. Is 4 a factor of n?
True
Let s = 58216 - 28578. Does 29 divide s?
True
Let m(x) = -4*x**3 + 16*x**2 - 17*x + 44. Let g(n) = -3*n**3 + 16*n**2 - 18*n + 44. Let c(u) = 3*g(u) - 2*m(u). Is c(14) a multiple of 35?
False
Let w(h) = -h**2 - 26*h + 25. Suppose -26 = 2*d + 28. Let p be w(d). Is 5 + p - (-350)/7 a multiple of 18?
False
Let y = -41 + 44. Let h be 5/(-4 + y + 2). Suppose -b - i = -2*b + 4, h*b - 40 = i. Does 9 divide b?
True
Suppose -3*z - 4*a - 224 = -8*z, 3*a - 129 = -3*z. Let m = -39 + z. Suppose -m*c + 519 = -541. Does 43 divide c?
False
Suppose 0 = -4*n + 16*n + 36. Let f be (1/n)/((-4)/24). Suppose 2*t + o = 65 - 1, 52 = f*t + 4*o. Is t a multiple of 2?
True
Let p be (-12 + -4)/(16/(-648)). Suppose -2*z - g = -131 - 492, -4*g = -2*z + p. Is z a multiple of 11?
False
Suppose -6*k = -29 - 199. Let f = k - 71. Let n = f - -58. Is 5 a factor of n?
True
Let n(x) = x**2 + 3*x + 1. Let o be n(-1). Let z be 0 + -2 - -2 - (-960 + 957). Is 32 a factor of (o - 319)*(z - 4)?
True
Is ((-6)/2 - -5205) + 58 + -65 a multiple of 13?
False
Let o(s) = -s**3 - 2*s**2 + 7*s - 2. Let z be o(-4). Let h(x) = z + 1 - 4 + 4*x + 6*x. Does 15 divide h(4)?
False
Suppose f = 2*n - 6 - 1, 3*n - 2*f - 9 = 0. Suppose 3944 = n*z - 2*s, 3*s + 6 = 5*s. Is 55 a factor of z?
False
Let f(w) = 3*w**3 - 30*w**2 - 40*w + 176. Is f(16) a multiple of 148?
True
Let m = -3657 + 5582. Does 40 divide m?
False
Suppose 0 = -24*y + 17*y + 4928. Let l = 832 - y. Is 10 a factor of l?
False
Suppose -6*j = -1202 + 218. Suppose -180*m + j*m + 704 = 0. Is m a multiple of 11?
True
Let n(p) = 899*p - 2659. Is n(46) a multiple of 71?
True
Let m = -198 + 86. Let j = m + 162. Suppose 3*u = 5*v + 174, 8 + j = u + v. Does 3 divide u?
False
Let p(g) = 2*g + 21. Let a be p(-11). Let o be a/((-5)/20 + 0). Suppose -o*s = -s + 2*q - 43, 0 = -2*s + q + 31. Is s even?
False
Let n(s) = s**3 + 13*s**2 + 18*s + 38. Let z be n(-10). Let p = z - 13. Is 9 a factor of p?
False
Let i = 377 + 28. Let v = -129 + i. Is 46 a factor of v?
True
Let u(z) = 6*z**2 - 6*z - 12. Let p(s) = s**2 + s + 6. Let g be p(0). Is u(g) a multiple of 28?
True
Let g(m) = 2*m**2 - 2*m - 24. Let s be g(11). Suppose 56 + s = 4*w. Is 11 a factor of w?
False
Suppose 3*a = -0*a. Suppose -3*o - 5*x + 7 = 0, a = o - 2*o - 4*x. Suppose 28 = q + 3*l - 27, o*q + 4*l = 180. Does 10 divide q?
True
Suppose -x = y + 1, -y + x = -0*x - 3. Let z(a) = -a**3 - 21*a**2 - 34*a + 2. Let v be z(-2). Is (9/(-2))/y*64/v a multiple of 24?
True
Suppose 29044 = 3*a + 5*p, 19362 = -27*a + 29*a + 3*p. Is 8