2872*j**2 + 1649*j + 4937. Is n(-3) a multiple of 182?
False
Let n = -444 + 433. Let c(u) = -u**3 - 8*u**2 + 22*u + 7. Does 5 divide c(n)?
False
Suppose 2*q - 522 = -16*q. Suppose -q*z - 336 = -32*z. Does 16 divide z?
True
Suppose d - 1047 = 5*t + 5*d, -2*t - 426 = -2*d. Suppose 2*f + g = -227, 5*f + 2*g + 772 - 205 = 0. Let k = f - t. Does 16 divide k?
False
Let h(s) = -6*s**3 - 2*s**2 + 2*s + 34. Let a be h(-7). Suppose a = 2*d + d. Suppose -5*u + d = 5*m - 2*u, 3*m + 4*u - 396 = 0. Does 44 divide m?
True
Suppose -4*w - 20 = 0, 12*v - 13*v - 5*w - 23 = 0. Does 22 divide v/(10062/2010 + -5)?
False
Let d(i) = i**2 - 5*i - 23. Let l be d(8). Let j be l/(-2)*(11 - -159). Let r = 129 + j. Is 4 a factor of r?
True
Let k = 47971 + -28611. Is 88 a factor of k?
True
Let r = 180 + -149. Let c = 76 - r. Is 13 a factor of (-3)/2*(-2040)/c?
False
Suppose 5*a - 188 = 4*m, 0*a + 5*m - 62 = -2*a. Let f(b) = b - 5. Let v be f(7). Suppose -q = -v*q + a. Is q a multiple of 12?
True
Suppose -4*w + 1328 = -2*z, 4*w + 5*z - 617 - 739 = 0. Suppose 4*h = -2*l + 2140, -5*l = -h + 179 + w. Is 41 a factor of h?
True
Let c(h) = 38*h + 1173. Is c(0) a multiple of 45?
False
Suppose 11 - 31 = -10*d. Does 89 divide -511*6*d/(-28)?
False
Suppose -13*p - 9*p = -414612. Does 39 divide p?
False
Let p be (1 + 2)/3 - -23. Suppose -2*l - 89 = -3*b, 0 = 3*b - 2*l + 6*l - 65. Let n = p + b. Is 17 a factor of n?
True
Let t be 1/((-4)/(-8) - 1/4). Let b be (11/3 - t)*-9 + 763. Let y = b + -511. Does 15 divide y?
True
Let w(n) = n**3 + 3*n + 10. Let t = -238 - -243. Is 25 a factor of w(t)?
True
Let p = -54 + 57. Let h be 1/p - 16/48. Is 16*1 + (0 - h) a multiple of 9?
False
Is (2716/126)/((-4)/(-108))*(-128)/(-3) a multiple of 16?
True
Suppose 87 = 13*a - 2175. Let t = a + 41. Suppose -v = -c - 106, 7*v - 5*v = c + t. Is 5 a factor of v?
False
Suppose 6552 = -15*h + 33*h. Let f = h - 284. Is 40 a factor of f?
True
Suppose 0 = -101*a + 134*a - 467082. Is 44 a factor of a?
False
Let s(b) = -10*b**2 - 116*b + 16. Let o be s(-15). Let r = o + 702. Does 6 divide r?
False
Let m be 7*(-10)/84*-6. Suppose -15*t + 440 = -m*t. Is t a multiple of 22?
True
Let q = 252 + -192. Suppose q = r - 56. Is 15 a factor of r?
False
Suppose -223 - 65 = 6*c. Let k = c - -110. Is k a multiple of 7?
False
Suppose -27*h - 20 = -32*h. Let u(k) = -5 + 9 + 19*k**2 - k - h*k. Is 10 a factor of u(2)?
True
Suppose a + 4*x + 2193 = 6*a, -897 = -2*a - 5*x. Suppose -2*k - 7 = -a. Does 9 divide k?
False
Let v = -217 + 222. Suppose -p - 2*p + 823 = -m, -v*p + 2*m = -1373. Does 39 divide p?
True
Suppose 2*d + 46 = 2*k, -3 = -d - 7. Let p(z) = 2*z**2 - 36*z + 259. Let x be p(17). Suppose -x = -22*o + k*o. Is o a multiple of 15?
True
Let o(q) = -q**3 - 6*q**2 - 7*q - 7. Let i be o(-5). Suppose -i*b + 97 + 125 = 0. Does 13 divide (-1 + b/(-4))*(-4)/2?
True
Suppose -2*g + 9 = 7. Let w be g/1 - 1241/17. Let j = w - -107. Is 35 a factor of j?
True
Suppose -135*w + 1304748 = -27*w + 383616. Is 11 a factor of w?
False
Suppose -2*i + 5*i = -4*c + 2483, 3*c = 2*i + 1875. Does 2 divide c?
False
Let w = -51 - -54. Suppose 3*n + 4*p = 77, -n + 4*p - 3*p = -35. Suppose -w*s + n = -92. Does 5 divide s?
False
Let s = 36 - -26. Let h = s - 81. Let m = 49 + h. Is m a multiple of 9?
False
Suppose 3*d + 690 = -2*z, 0*z = 5*z - 3*d + 1683. Let b = z - -513. Is 58 a factor of b?
True
Let z(w) = 6*w**2 + 12*w - 4. Let v be z(-6). Let b be -3*(-3 + -93)/(-4). Let j = v + b. Is j a multiple of 34?
True
Let p = 3775 - -2705. Does 48 divide p?
True
Let h be -2 + (6 - 2) - -15. Let z(j) = 8*j + 49 - 18*j + h*j. Is z(22) a multiple of 16?
False
Suppose -t - 3*x = -4389, 4*t + 15*x - 10*x - 17535 = 0. Is 60 a factor of t?
True
Let c(r) = -3*r + 16. Let j be c(10). Is 32 a factor of (j/3 + 6)*24?
True
Let q = 7 - 5. Let f(p) = -p**3 + p + 1. Let b be f(q). Let y(c) = -c + 4. Is 9 a factor of y(b)?
True
Suppose 6286*j - 78705 = 6277*j. Does 159 divide j?
True
Let g(n) = 66*n - 4064. Is g(90) a multiple of 2?
True
Let r = 40 - 42. Let v be 3/r*(-3416)/21*1. Suppose -8*t + 948 = v. Does 22 divide t?
True
Let h(q) be the third derivative of -19*q**7/2520 - 3*q**5/10 + 18*q**2. Let p(t) be the third derivative of h(t). Is p(-4) a multiple of 33?
False
Let v(u) = -u**3 + 26*u**2 + 32*u - 26. Let l be (-20)/12 - 596/(-12). Let x = l + -21. Is 22 a factor of v(x)?
False
Let k(s) = -81*s - 207. Let d = 95 - 108. Is 47 a factor of k(d)?
True
Suppose -3294 = -y - 5*q + 129, 4*y - 3*q = 13669. Does 48 divide y?
False
Suppose -30*o + 35781 = -41935 - 73604. Does 31 divide o?
False
Let c = -1846 - -3794. Is c a multiple of 22?
False
Let s = 168 + -285. Let y(f) = -79*f + 235. Let d be y(3). Is s*(3/3 + d) a multiple of 9?
True
Suppose 17 = 4*h - n, 3*n + 6 = 28*h - 25*h. Does 10 divide h/(-50) + (-4806)/(-60)?
True
Let l(p) be the first derivative of -p**4/4 + p**3 - 5*p**2/2 + 16*p + 13. Is l(-4) a multiple of 28?
False
Suppose 262 = 3*f - 2*z, -4*z + 8 = -2*z. Let d = f + -17. Does 6 divide d?
False
Let n(u) = 12*u**2 - 8*u - 39. Let w(x) = -5*x**2 + 19*x - 2. Let d be w(4). Is 19 a factor of n(d)?
False
Suppose -3*f + 101*z = 105*z - 19594, 4*z - 32638 = -5*f. Is f a multiple of 155?
False
Let g(y) = -3*y - 24. Let z be g(-6). Let a be (-1)/(2/11) + (-9)/z. Is 15 a factor of (a/(-2))/((-9)/(-846))?
False
Suppose 5*f = b + 2*b - 50, 71 = 5*b + 4*f. Suppose 4*y - 3*u - b = -0*y, -2*y - 15 = 3*u. Suppose -112 = -y*h - h. Does 28 divide h?
True
Let v = -2034 - -3330. Does 5 divide v?
False
Let v(d) = 3*d**3 + 127*d**2 - 80*d - 105. Is 5 a factor of v(-42)?
False
Suppose 7*l - 85 - 370 = 0. Does 13 divide ((-437)/5)/((-13)/l)?
False
Suppose -f + s + 49 = -8, 4*f - 204 = -4*s. Does 22 divide 3568/f*6 - (-4)/(-9)?
True
Let d = 19907 - 8770. Does 43 divide d?
True
Suppose 5*w = -4*l + l + 3335, 4*w + 1089 = l. Does 13 divide l?
True
Let q(l) = 238 - 257 - 55*l + 17*l. Is 15 a factor of q(-8)?
True
Suppose 440*j + 4662252 = 13270852. Is j a multiple of 65?
True
Let n(j) = j**3 + 22*j**2 + 20*j - 30. Let g be n(-21). Is (2/g + 8028/405)*10 a multiple of 12?
False
Let q = 38 - 11. Let l = q + -25. Suppose -l*c + 35 = -9. Is 11 a factor of c?
True
Suppose 0 = -4*f + 20 + 12. Let l(a) = 5*a**2 + 7*a + 11. Let b(y) = -13*y**2 - 13*y - 23. Let m(s) = 2*b(s) + 5*l(s). Does 11 divide m(f)?
False
Let q = 160 - 165. Let o(z) = 3*z**2 + 2*z - 2. Is o(q) a multiple of 7?
True
Let v = 42 - 40. Let z(w) = -29*w**2 + 3 + 15*w**2 + 33*w + 13*w**v. Does 16 divide z(32)?
False
Let j be 1/2*(1 - -3). Let t be (-6 + 27)/(-7) - -43. Suppose o + 14 = x + t, 0 = -j*o + 3*x + 53. Is 7 a factor of o?
False
Let y(a) = 5*a + 35. Let f be y(-7). Suppose -4*n + 835 + 113 = f. Is n a multiple of 23?
False
Let k(r) = 42*r + 4. Let l be k(-4). Let s = l - -355. Does 8 divide s?
False
Is 14 a factor of ((-10676)/16)/(5*(-18)/4680)?
False
Suppose 4*z + 13 + 3 = 0. Let c(j) = -j**2 - 5*j. Let w be c(z). Is (-5)/(-1 + 4 - w) even?
False
Let w = 175 + -173. Suppose d + 902 = 3*t, 0*d + w*d + 309 = t. Is 50 a factor of t?
False
Suppose 6*w - 11 = 8*w - 5*j, 3*w = 2*j. Suppose w = 6*q - 5*q. Is (438 + 30)/(3/q) a multiple of 39?
True
Let x(l) = -2*l**3 - 32*l**2 - 79*l - 30. Is 29 a factor of x(-26)?
True
Let f = -13174 - -18634. Is f a multiple of 65?
True
Is (127062/(-195))/(10/(-75)) a multiple of 4?
False
Is 450/25 - -22856 - -22 a multiple of 9?
True
Let m = 11558 - -2638. Is 68 a factor of m?
False
Suppose -l + 6243 = s, 26*s - 2*l = 27*s - 6237. Is 15 a factor of s?
False
Let r(q) = q**2 + 3*q + 211. Let k be r(0). Let w = k + 9. Is 6 a factor of w?
False
Let w(i) = 4*i**2 - 183*i - 66. Let l be w(47). Let a = 247 - l. Is 6 a factor of a?
True
Let p = 7900 + -5451. Suppose p + 215 = 8*k. Does 8 divide k?
False
Let i = -124 - -126. Suppose -2 + 12 = -2*d, 243 = i*h - 3*d. Is 19 a factor of h?
True
Let s(n) = 65*n**2 - 36*n + 25. Is 10 a factor of s(15)?
True
Let f(w) be the second derivative of -w**4/12 - 4*w**3/3 + 7*w**2 - 5*w - 18. Let n = 3 + -12. Is 2 a factor of f(n)?
False
Is 19 a factor of (-4)/18 - (-396042)/(-4)*(-288)/1944?
True
Let g(k) = -k**3 - 14*k**2 + 2*k + 4. Let r be g(-11). Let j be r/15 + 2/5. Let v = 0 - j. Does 12 divide v?
False
Let c = 804 + -524. Let m = -193 + c. Is m a mul