 220696 = 16521*q. Is q a multiple of 14?
True
Suppose 1 - 27 = -2*v + 5*d, -5*v + 7 = 2*d. Suppose -v*s + 1853 = 14*s. Does 8 divide s?
False
Suppose -12*w - 8*b + 12*b = -138920, 4*b = -3*w + 34720. Does 121 divide w?
False
Let p = 7 - 1. Let z(h) = 4*h**2 + 5*h + 13. Let t be z(p). Suppose -3*o + t + 8 = 0. Does 9 divide o?
False
Let c(d) = -2*d**3 - 15*d**2 + 5*d - 4. Let m be c(-8). Let g(l) = -l**3 + 21*l**2 - 15*l + 71. Does 9 divide g(m)?
True
Suppose -p - 5*h + 79 = 0, 4*h + 18 - 255 = -3*p. Suppose 0 = -3*f - 50 - 133. Let y = p - f. Is y a multiple of 14?
True
Suppose -12*l + 3835 = -7*l. Suppose -3*b + 526 = 3*f - 245, 0 = 3*b + 5*f - l. Is b a multiple of 4?
False
Let b be (56 - 61)*(-4)/10. Is 26 a factor of ((-1)/2)/(b - (-19110)/(-9552))?
False
Suppose 0 = 9262*n - 9263*n + 12646. Is n a multiple of 10?
False
Let v(x) = -19*x**3 - 2*x**2 + 6*x + 13. Let h(r) = -18*r**3 - 2*r**2 + 4*r + 13. Let w(f) = -3*h(f) + 2*v(f). Does 16 divide w(3)?
False
Let z(g) = -g**3 + 38*g**2 + 47*g + 694. Does 5 divide z(31)?
False
Is 109 a factor of ((-1 - -2)/(-8 + 7) - 0) + 7261?
False
Suppose f - 7 = -12. Is f + 2 + 9 + 61 a multiple of 2?
False
Suppose 11 = -2*x + 3*x. Let g = x + -7. Suppose 15 = 3*b, g*b - 57 = -4*w + 3*w. Is w a multiple of 17?
False
Let v = -44 - -71. Let i = v - -56. Is i a multiple of 15?
False
Suppose 0 = -5*x - 15 + 5. Let b be 26 + 5 + (2 - (1 - x)). Is 10 a factor of 4 - ((-1974)/b - 2/10)?
True
Let o(u) = 2*u - 35. Let t be o(16). Let m(n) = 20*n**2 + 10*n + 42. Is m(t) a multiple of 20?
False
Let j be 313/6 + (-9)/54. Let r = j + -44. Suppose 3*i + 1370 = r*i. Does 29 divide i?
False
Suppose -b + 2*w = -4*b - 65221, 5*b + 108735 = 5*w. Does 16 divide 8/28 - b/119?
False
Does 13 divide 9 - 205/23 - 3390652/(-92)?
True
Let a(n) = 61*n**2 - 17*n - 37. Is 11 a factor of a(17)?
True
Let c = -3135 - -3700. Is c a multiple of 35?
False
Suppose -2*f - 3*a = 12, f + 3*a - 24 = 2*f. Let q(w) = -w**3 + 19*w**2 + 40*w + 53. Let p be q(21). Is 13 a factor of (p*9/f)/(1/(-4))?
False
Suppose 368*f - 377*f + 82116 = 0. Suppose 39*b = f + 21218. Is b a multiple of 10?
False
Let r(m) = 10961*m**2 + 173*m + 173. Is r(-1) a multiple of 113?
True
Let b = 3 + 1. Suppose 4*t + 100 = b. Is (t/(-20))/((-5)/(-125)) a multiple of 30?
True
Suppose -3*l - 4*m = -26867, 4*l + m = -4*m + 35821. Is 157 a factor of l?
True
Suppose 82 = 4*s + b, -3*b + b - 96 = -5*s. Let a be (10/s)/((-1)/(-26)). Suppose a*z - 9*z = 672. Is 28 a factor of z?
True
Suppose -56 = -f - 34. Suppose 28*k = f*k - 24. Does 16 divide 3 + -1 - (424*1)/k?
False
Let x(p) = p**3 - 7*p**2 + p + 21. Let j be x(6). Is 29 a factor of 18/(-6)*(-1 + 165/j)?
True
Let x(v) = 4*v - 16. Let c = 89 + -83. Let m be x(c). Does 13 divide (3 - -93)/(-6)*(-78)/m?
True
Suppose 0 = 7*m + 5*m + 12*m. Suppose m = 5*b - 25, 8*b - 3*b - 195 = -j. Does 15 divide j?
False
Suppose 0 = -2*v - 7 + 1, d = -v + 2097. Is 12 a factor of d?
True
Does 22 divide 2 + (-8 - -3) - (-10 + (-36252)/6)?
False
Suppose 3*x + 7*x - 1470 = 0. Suppose 11*j = x + 931. Let v = -59 + j. Is 8 a factor of v?
False
Is 17 a factor of 2*(-48)/28*1666952/(-272)?
True
Let a be -1 + 5 + 0/1 + 180. Let r = -21 + 40. Suppose 11*j + a = r*j. Is j even?
False
Suppose -13*z + 437254 - 29509 = -4*z. Does 14 divide z?
False
Let h(r) be the third derivative of r**4/6 + 16*r**3 + 2*r**2 - 55*r. Suppose 0*y + 2*y + 12 = -4*g, 4*y + g + 3 = 0. Is 17 a factor of h(y)?
False
Let y(u) = 51*u**2 - 6*u - 8. Let d be y(6). Suppose -8*z = -16*z + d. Is 14 a factor of z?
True
Let m(a) be the first derivative of 79*a**3/3 + a**2 - 10*a - 6. Let b(i) be the first derivative of m(i). Is 32 a factor of b(1)?
True
Let j(f) = 885*f + 7696. Is 26 a factor of j(0)?
True
Let r = -11423 + 21373. Is r a multiple of 60?
False
Let j be (0 + -2)/12 - (-31)/6. Suppose j*k - 1982 = -3*c, 3247 - 595 = 4*c + 2*k. Is c a multiple of 9?
False
Suppose -4*c = b - 524, 4*b = 7*b - 3*c - 1557. Let r(i) = i + 8. Let m be r(-5). Suppose 2*o = -y + 338, -m*o + 5*y + b = -0*o. Is 36 a factor of o?
False
Let b(z) = -2*z**3 + 2*z**2 + 3*z + 817. Does 72 divide b(0)?
False
Let y(j) = -22*j**2 + 1626*j + 68. Is 38 a factor of y(66)?
True
Suppose 0 = 6277*n - 6299*n + 43648. Does 4 divide n?
True
Suppose -57*q + 830 = -52*q. Let p = q + 166. Is 12 a factor of p?
False
Suppose -4*h = -4*a + 12, -4*a - h + 9 = 7. Let v(m) = 964*m - 14. Does 25 divide v(a)?
True
Let y be 128/24 - -7 - 1/3. Suppose -c = 3*v - 5*c - 2930, -3*c = -y. Does 33 divide v?
False
Let d(q) = -q - 70. Let a be d(-59). Let l(t) = 2*t**3 - 4*t**2 - 4*t + 1. Let j be l(-3). Let x = a - j. Does 8 divide x?
False
Let c(v) = 162*v**2 - 186*v + 899. Is c(5) a multiple of 40?
False
Suppose -14*k - 13*k + 10503 = 0. Let q = k + -375. Does 6 divide q?
False
Let l = -4 - -4. Let f(x) be the first derivative of 2*x**2 + 155*x - 109. Is f(l) a multiple of 31?
True
Let c(z) = -3*z + 78. Suppose 0 = 5*h + 5*f, -5*h + f = 2*f - 20. Is 6 a factor of c(h)?
False
Let a(q) = -6*q**3 - 7*q**2 - 12*q + 2. Let w be a(-2). Is 10 a factor of (4 - 10/1) + w?
True
Is (-2)/46 + (-6885810)/(-3726) a multiple of 6?
True
Suppose -20*d + 435270 = -5*d. Suppose -13*z = -d + 9570. Is 83 a factor of z?
False
Suppose 5*m + 83135 = 5*j, -m = -3*j + 30478 + 19407. Does 60 divide j?
False
Let j = 253 + 26279. Does 79 divide j?
False
Let c = -2295 - -33533. Does 49 divide c?
False
Suppose -40*p = -37*p - 288. Suppose 87 + p = 3*f. Suppose -63*m + f*m + 390 = 0. Does 16 divide m?
False
Let y = -558 - -1832. Let s = y + -758. Is s a multiple of 4?
True
Suppose -14*s + 17*s = 93. Suppose -9*g + 8*g + 5 = 0. Suppose i + 117 = 4*c, -c - g*i = c - s. Does 7 divide c?
True
Suppose -229*s - 225838 + 1203960 = -2907779. Does 31 divide s?
False
Suppose 161*k - 94*k - 691*k = -17156880. Is 141 a factor of k?
True
Let h = -23052 - -29883. Is 208 a factor of h?
False
Let j = 163 - -42. Suppose -6*p + j = -653. Is 13 a factor of p?
True
Let t be -5 + (1*-24)/(-4). Does 20 divide 61 - (0 - (t + -2))?
True
Let t be 34/6 + 8/(-12). Suppose 2*l - l - 4873 = -t*x, 2*l = 4*x - 3904. Suppose -4*j - j + x = 0. Does 39 divide j?
True
Let h be -3 + (-35)/(-25)*5. Suppose h*u = -15 - 1, -2*u + 3867 = 5*j. Is j a multiple of 31?
True
Let s be (-3)/((13 + -8)/(-55)). Suppose -s*f = -6576 - 8010. Is f a multiple of 26?
True
Let l = 408 - 388. Suppose 4*v + l = 0, -v + 2*v - 1833 = -2*n. Does 73 divide n?
False
Suppose -89*o + 944012 - 125212 = 0. Does 6 divide o?
False
Let l = -32 + 35. Suppose -x + 216 = 5*r - 2*x, l*r = -4*x + 148. Is r a multiple of 5?
False
Suppose 0 = 65*m - 63*m - 10. Suppose -m*d + 107 = -113. Is d even?
True
Let o(k) = k**2 + 11*k + 26. Let g(t) = 43*t + 225. Let v be g(-6). Is o(v) a multiple of 15?
False
Suppose -39*v = -50439 - 261483. Does 62 divide v?
True
Let i be (175/20 - (6 - 3))*40. Suppose -i*y = -225*y - 5630. Is y a multiple of 24?
False
Let k = 1278 - -4446. Is k a multiple of 27?
True
Let x = 16134 - -20865. Is 324 a factor of x?
False
Let s = -184 + 185. Does 17 divide (-3 + 6 - 4)/s*-17?
True
Suppose -3*c = -8*c + 3*t + 181, -5*c = 2*t - 196. Let n = c - 36. Suppose n*l = -4*w + 5*l + 336, -4*w = 5*l - 304. Is 14 a factor of w?
False
Let y(w) = w**3 - 16*w**2 + 17*w + 14. Let q be ((-21)/(-14))/((-6)/(-64)). Is y(q) a multiple of 16?
False
Let i(z) be the second derivative of -z**5/5 - z**4/3 + z**3 + 14*z**2 - 135*z. Does 30 divide i(-6)?
False
Is (36 + -56)*106/(-4) a multiple of 53?
True
Let l(m) = 4*m**2 + 12*m + 5. Let k be l(-5). Let o = 50 - k. Suppose o*v = 7*v - 258. Is 22 a factor of v?
False
Let a = 33272 - 7604. Is 138 a factor of a?
True
Let b = 36702 - 22180. Is b a multiple of 53?
True
Let y = 13 + 1627. Is y a multiple of 41?
True
Let c = -85 + 64. Let s be 0/(6/c + (-36)/(-28)). Suppose s = 6*l - 702 - 270. Is l a multiple of 25?
False
Suppose -9*h + 7*h - 12 = 2*x, -4*h - 18 = 2*x. Does 18 divide x/(-2) + -1 - (-6201)/26?
False
Suppose r - 8415 = 5*z, -5*r = 11*z - 39312 - 2691. Is 8 a factor of r?
False
Let r be 4/14 - (25152/21)/(-8). Suppose 0 = -14*u + 2040 - r. Is 15 a factor of u?
True
Let z(l) = -l + 48. Let j be z(12). Let k(s) = 3*s + 27*s**3 + s**2 - 4 - 50*s**3 + j*s**3. Is k(2) a multiple of 15?
False
Sup