w - p, f = -5*w - 2*p + 222. Does 10 divide w?
True
Let r = -9506 - -14636. Is 17 a factor of r?
False
Is 11 a factor of 4272730/308*(-4)/(-5)?
False
Let w = 159494 - 109554. Does 20 divide w?
True
Let p(k) = -4*k - 1407 - k**2 - 9*k + 0*k + 1405. Let l be p(-11). Suppose -l*g = -6*g - 350. Is 5 a factor of g?
True
Let q(u) = -402*u - 17580. Is q(-92) a multiple of 99?
True
Let h = 715 - 649. Suppose -286 = -w + h. Does 16 divide w?
True
Let p = 18564 - 988. Is 52 a factor of p?
True
Suppose -3*i = -0*f + 3*f + 45, -4*i = -3*f - 66. Let p = f - -22. Suppose p*g - 140 = -4*l, 2*l - 6*l = 3*g - 143. Is l a multiple of 38?
True
Suppose 0 = 587*a - 592*a - 10. Is (595 - (a + -4)) + -1 a multiple of 15?
True
Let d = 91 + -97. Let r be (-5)/(5/d)*-2. Let x(h) = -h**3 - 10*h**2 + 6*h - 5. Does 32 divide x(r)?
False
Let z = -106217 + 150429. Does 22 divide z?
False
Is (-311586)/(4 - 15) + 12 a multiple of 52?
False
Suppose -c - 4*g = 4, 0 = -7*c + 3*c + 3*g + 3. Suppose -4*h - 61 - 79 = c. Let a = h - -75. Is a a multiple of 5?
True
Suppose -3*v + 3*o + 19458 = 0, 142*v - 2*o = 144*v - 12984. Is 9 a factor of v?
True
Let f(t) = -1012*t + 232. Is 24 a factor of f(-2)?
True
Suppose 26*y - 88151 - 51157 = 0. Is 8 a factor of y?
False
Let o(j) = -j - 1. Let q(u) = 12*u + 24. Let p(n) = -o(n) - q(n). Is 3 a factor of p(-8)?
False
Let j(y) = y**3 + 3*y**2 - 12*y - 19. Let i be j(-8). Let l = i + 263. Is 20 a factor of l?
True
Let k = -1498 - -8908. Is k a multiple of 95?
True
Let d(k) = 3*k**2 - 15*k - 231. Suppose 7*o + 421 = 568. Is d(o) a multiple of 21?
True
Suppose 204*h - 33*h - 384750 = 0. Is h a multiple of 3?
True
Let l(g) = -g**3 - 10*g**2 + 18*g + 37. Let d be l(-12). Let p = d + 182. Does 41 divide p?
False
Let q(o) = 3387*o + 19. Does 16 divide q(6)?
False
Let r(q) = q**2 + 15*q - 9. Let v be r(-15). Let j be (-4)/(-12) - (-30)/v. Does 3 divide ((-7)/j - 3)*42*-1?
False
Let p(w) = 2 - 3*w**2 - w**2 + 6*w**2 + 6*w**2 + 4*w. Let t = -6 + 4. Does 19 divide p(t)?
False
Let p(a) = -a**3 - 20*a**2 + 4*a + 2 + 16*a**2 - 1. Let z be p(-6). Let u = 97 - z. Is 5 a factor of u?
False
Suppose 465 - 41 = 53*r. Let k(s) = 18*s**2 - 3*s + 6. Is 42 a factor of k(r)?
True
Suppose -5*v = -2*o - 140062, -o - 84038 = 111*v - 114*v. Is 23 a factor of v?
True
Suppose 1 - 17 = 8*o. Let y(g) = 27*g. Let x(n) = 107*n - 1. Let l(d) = o*x(d) + 9*y(d). Is 6 a factor of l(2)?
True
Let x be 2/(-3)*27/(-6). Let o(w) be the third derivative of 17*w**4/24 - w**3/6 + 443*w**2 - 1. Is 25 a factor of o(x)?
True
Is -3*((-52828)/48 + 42/(-504)) a multiple of 235?
False
Let j(s) = -s**2 + 37*s + 14. Let b be j(37). Suppose -b*f + 10*f = -5*l + 2685, -4*f = 4*l - 2184. Is l a multiple of 55?
False
Let o(s) = s**3 - 15*s**2 + 44*s + 108. Let a be o(15). Suppose -3*d + d + 26 = -4*t, d - 3*t - 17 = 0. Suppose -3*x - d*x + a = 0. Is 16 a factor of x?
True
Let i(x) = x**3 - 10*x**2 + 15*x - 1. Let y be i(11). Suppose -435 - y = -8*j. Is 15 a factor of j?
True
Let a(l) = 3573*l + 1954. Is a(1) even?
False
Suppose -2*l = 192*j - 196*j + 11746, 16*j - 46993 = 5*l. Is j a multiple of 68?
False
Let p(o) = -o**3 - 2*o**2 - 116*o - 74. Does 30 divide p(-23)?
False
Suppose -2*t + 4*t + j = 0, -3*t + 10 = -j. Suppose -t*k = -3*n - 277, -4*k - n + 686 = 111. Does 11 divide k?
True
Let o be 124/(-217) - (-284)/7. Suppose 5*y + o*y = 2520. Is y a multiple of 24?
False
Let i(k) = 5*k**2 + 3*k - 5. Let u be i(4). Let b = -721 + 676. Let l = b + u. Does 7 divide l?
True
Suppose -9*u + 10 = -11*u, -5*u = -4*n + 165. Suppose 3*o + 4*f - 365 = -12, 2*o - f = 250. Suppose -o = -5*d - i + n, 2*d = i + 66. Does 22 divide d?
False
Let y(h) = -86*h**2 + 54*h - 89. Let r(a) = -28*a**2 + 18*a - 29. Let s(w) = 11*r(w) - 4*y(w). Does 31 divide s(-6)?
False
Let y = -827 + 956. Is 2 a factor of y?
False
Is 30 a factor of 6/(-10) + -474*(-95)/50?
True
Let i = 10340 - 9762. Is i even?
True
Let u(o) = o**3 + 18*o**2 - 21*o - 36. Let p be u(-19). Suppose -600 = -3*z - p*z. Let s = -64 + z. Is 4 a factor of s?
True
Let k = 5888 - 2579. Does 73 divide k?
False
Let g(b) = 18*b + 108. Let o be g(-18). Let h = -175 - o. Is 5 a factor of h?
False
Let w(t) = -t**3 + 4*t**2 + 2*t - 3. Let g be w(-4). Suppose p + 12*r + 89 = 17*r, 3*p + 5*r = -187. Let q = g + p. Is 24 a factor of q?
True
Let u(k) = 21*k**2 - 112*k - 973. Does 70 divide u(-11)?
True
Let q(c) = 6829*c**2 - 499*c + 1006. Is q(2) a multiple of 22?
True
Suppose -3*l - 2*k + 19 - 2 = 0, 2 = -2*l + 2*k. Suppose l*s - 154 = -d + 444, -4*s = d - 603. Does 9 divide d?
False
Suppose 0 = -3*f - 204 + 744. Let x = -96 + f. Is x a multiple of 5?
False
Let c = -2059 + 5418. Suppose 0 = -3*g + g + 3*v + 545, -3*g - 2*v + 811 = 0. Suppose 11*u - g = c. Is 30 a factor of u?
True
Suppose 219 = 5*o - 261. Let x = o + -38. Is 4 a factor of x?
False
Let d = 26 + -24. Let q(o) = -41*o - o**d + 92*o + 36 - 41*o. Is q(10) a multiple of 36?
True
Let q = -1 - -5. Suppose 4*d + y + q = 1, 3*d + y + 1 = 0. Does 9 divide d + (3 - 1) - (2 - 43)?
False
Suppose -1 = -2*n - 3*b + 12, -4*n = -b - 19. Suppose 5*t = j - 34, -t - 43 = -j - n*t. Let h = j - 15. Is 24 a factor of h?
True
Let j = 3880 - 595. Is 84 a factor of j?
False
Suppose -10 = 3*f - 19. Let i(u) = 6 + 8 + 4*u**2 + 12*u - f*u**2. Does 39 divide i(10)?
True
Let g(r) = -226*r + 373. Is 16 a factor of g(-18)?
False
Let r = 18348 - 18245. Does 2 divide r?
False
Suppose -685659 + 428202 = -70*w + 511493. Does 13 divide w?
True
Suppose -17*d + 160 = -78. Is (d - -66) + (7 - 1) a multiple of 2?
True
Let x = -22657 - -32747. Is x a multiple of 10?
True
Let s(m) = 3*m**2 - 59*m + 520. Does 8 divide s(31)?
False
Suppose -4*c = -0*c - 16, 0 = 2*q - c - 1770. Suppose -q - 184 = -7*x. Is x a multiple of 7?
False
Suppose 0 = -5*f + 13*r - 15*r + 109885, r = -3*f + 65930. Is 15 a factor of f?
True
Let f = 2 - -14. Suppose 22*v - f = 21*v. Suppose -3*j + 613 = 5*l - v, 4*l = -2*j + 504. Is 27 a factor of l?
False
Let b(z) be the first derivative of -5*z**2 + 172*z - 9. Is 11 a factor of b(-15)?
False
Suppose -87*j = -32*j - 7986 - 75174. Does 6 divide j?
True
Does 20 divide 2629*17 + 2*(176/16)/11?
False
Suppose -3*a = -2*t - t + 405, -4*t + 120 = -a. Is (-3)/21 + a/49 + 57 a multiple of 5?
False
Let l be (16/10)/(-2)*11*95. Let g = -372 - l. Is g a multiple of 8?
True
Suppose -21*p + 1956 = -20*p. Is 16 a factor of p/6*(4 + -3)?
False
Suppose -3*v = 3*c - 1125, 0 = v + 2*v - 2*c - 1140. Let h be (-1552)/6 - (-2)/(-6). Let k = h + v. Is k a multiple of 17?
True
Suppose 2*f + 3 = -2*i + 49, -i + 15 = 3*f. Is 31 a factor of (i/(-18) - (-14)/4) + 90?
False
Suppose 6*z + 132 = -72. Let l(i) = i**2 + 27*i - 4. Is l(z) a multiple of 18?
True
Let m(t) = 5*t + 41. Let z be m(13). Let x = 410 - z. Does 38 divide x?
True
Does 212 divide 101975*(-12)/(-30) + -1*(-3)/(-1)?
False
Is 8/((-56)/(-4903)) - (-1)/7*-3 a multiple of 3?
False
Is 3 a factor of -3*(-14)/35 + 2448/10?
True
Suppose -z - 3 = -2, 5*i - 2*z = 1202. Suppose 279 = s + i. Is 8 a factor of s?
False
Let b(y) = -y**3 - 12*y**2 + y + 23. Let w be b(-12). Suppose -9*h + w*h + 20 = 0. Let f(d) = -d**2 - 18*d - 3. Does 7 divide f(h)?
True
Let b be 16/(-6) + (-16)/12. Let o(n) = n**3 + 7*n**2 + 6*n + 5. Is o(b) a multiple of 7?
False
Let g(s) = 3*s**2 + 11*s - 84. Let y = 223 + -212. Is 16 a factor of g(y)?
True
Let j be 1302/21 - (-1 - 1). Let w = -50 + j. Is 780/70 - 2/w a multiple of 4?
False
Let r(k) = 94*k**2 - 125*k + 1071. Does 63 divide r(9)?
True
Let d = 17327 + -6518. Is 50 a factor of d?
False
Let z = -139 - -334. Let f = -132 + z. Let g = f + -48. Is g even?
False
Let k(i) = 3*i**2 - 114*i + 36. Is k(41) a multiple of 8?
False
Suppose -161 = -3*o - 107. Suppose 346 = 3*h + f, 224 = 2*h - 0*f - f. Let k = o + h. Is 22 a factor of k?
True
Suppose 0*x - 4*x = -8, -v = -3*x + 11. Let u(z) be the first derivative of z**4/4 + 2*z**3 + z**2/2 + 12*z + 10. Is u(v) a multiple of 32?
True
Let w be (-6)/(-33) + 0 - 294/(-77). Suppose w*k - 6*x - 1212 = -x, 1212 = 4*k + 5*x. Does 28 divide k?
False
Suppose -128*c = -119*c - 25515. Is 29 a factor of c?
False
Does 4 divide (-4)/6*((-24030)/20 + -9)?
False
Suppose -13*b + 1772 = -3623. Let h = -356 - -73. Let s = h + b. Is 12 a factor of s?
True
Let