 j = 1138. Is 14 a factor of q?
False
Suppose 35057 = 41*w - 774 - 51130. Does 3 divide w?
True
Let b = 38 - 24. Let d be b/77 - (-46)/(-11). Is ((-1 - -5)/d)/(4/(-164)) a multiple of 12?
False
Suppose -10*j - 714 = -9*j. Does 2 divide (1/3)/(2 - j/(-360))?
True
Is 65 a factor of (-987)/(-282) - (-41361)/6?
False
Let t(p) = -p**2 - 4. Let a be t(0). Let d(c) be the second derivative of 7*c**4/6 + 2*c**3/3 - 5*c**2/2 + 178*c + 1. Does 29 divide d(a)?
True
Suppose 5*v = -2*s - 2, -s + 3 = -1. Let g be (-1)/2 - (-17)/v. Is 3 a factor of (172/36 + (-2)/g)*3?
True
Let v(y) = -63*y - 151. Let n(l) = -22*l - 50. Let p(i) = 17*n(i) - 6*v(i). Is p(-3) a multiple of 44?
True
Let k(f) = 23*f + 81. Let l(j) = 23*j + 83. Let g(s) = -4*k(s) + 5*l(s). Does 48 divide g(19)?
True
Let l(k) be the second derivative of k**5/20 - 5*k**4/3 + 3*k**3 + 21*k**2/2 + 109*k - 2. Is l(19) a multiple of 2?
True
Suppose -67*g + 146*g - 114471 = 0. Does 63 divide g?
True
Let r be (87/(-116))/((-1)/4). Let j(m) = 115*m**2 - 3*m + 22. Is 75 a factor of j(r)?
False
Suppose 7835 = 2*n + 5*i, n + 2*i - 3895 = 4*i. Suppose 5*t = 5*v + 10*t - n, -2*v + 3*t = -1562. Does 26 divide v?
False
Let u = 6291 + -1990. Is u a multiple of 33?
False
Let l(d) = d**2 + 8*d + 25. Let w be l(-10). Suppose q - 51 = -w. Suppose -q*v + 793 = -863. Is v a multiple of 46?
True
Let l = 21380 - -843. Is 191 a factor of l?
False
Suppose r + 3*w = 18265, -9*r - 2*w - 73186 = -13*r. Is 67 a factor of r?
False
Let h(t) = t**2 - 11*t - 24. Let m be h(13). Let b = 8 + -11. Is (b - -1 - m) + 70 a multiple of 11?
True
Suppose -h - j = 32, -3*h = -0*h + j + 92. Let k be (-1 + 1)/(-34 - -39) + 54. Let r = h + k. Is 8 a factor of r?
True
Suppose -74*b + 81*b = 91. Is (-26)/b*174/(-4) a multiple of 3?
True
Let p(g) = 1521*g**2 + 455*g - 904. Does 6 divide p(2)?
True
Let p = 145 + -152. Is 17 a factor of (-16)/(3 + p) - -880?
True
Does 59 divide 3654/(-35)*1475/(-15)?
True
Let v be -1 - (0 - 1) - 5/(-5). Is (-12)/54 - v/(-18)*4846 a multiple of 15?
False
Suppose g = 5*a - 49, 5*a + 0*a - 145 = 5*g. Is 15 a factor of ((-16)/72 - 92/18)*g?
False
Let v(n) = n**3 + 4*n**2 - 2*n + 12. Let u be v(-5). Let p be (3 + u)/(-2 - -1). Is (-1 + p)/((-6)/786) a multiple of 25?
False
Suppose -4*a = i + 11, 3*i + a - 34 = 8*i. Let l(d) = 4*d**2 + 9*d + 6. Let k be l(i). Suppose 2*m + 4*j - 7*j - k = 0, 0 = -m - j + 82. Is m a multiple of 6?
False
Suppose n + 422 = -4*w - n, n - 113 = w. Let r = w - -121. Does 13 divide r?
True
Let n = 37 - 33. Suppose 16*o - n*v = 11*o + 1262, -5*o = -2*v - 1256. Does 28 divide o?
False
Let z be (-15)/5 - (1 + -3 + -1). Let t(j) = 5*j + 29. Let w be t(z). Let h = 79 - w. Does 19 divide h?
False
Suppose 6*v + 37 = 211. Suppose v = 5*l + 9. Suppose -l*a - 4*i = -16, 4*a - 13 = -i + 15. Does 3 divide a?
False
Let a(g) = -g**3 + 9*g**2 - 13*g + 7. Suppose 171*i - 21 = 168*i. Is a(i) a multiple of 8?
False
Let t(z) be the first derivative of -z**4 + z - 1 + 0*z**2 - 1/3*z**3. Is 50 a factor of t(-3)?
True
Suppose 4*w - 2*i - 12 = 10, 5*i + 15 = 0. Suppose 2*k = -3*a + 8*a + 68, -k + 60 = w*a. Is 3 a factor of k?
False
Let k(y) = y**3 + 2*y**2 - 3*y. Let d be k(8). Suppose -4*l + d = -4*b, -4*l + b + 619 = -2*b. Let c = l + -129. Does 14 divide c?
True
Let w = -5338 - -10816. Suppose -11*r - 11*r = -w. Is 14 a factor of r?
False
Let l = 22924 - -3913. Is 29 a factor of l?
False
Suppose 0 = 2*y - 5*y. Suppose 0 = 8*z - y*z - 88. Let u(h) = 2*h**2 - 11*h - 25. Does 8 divide u(z)?
True
Let u(c) = 3*c**2 + 28*c - 93. Let y be u(11). Does 14 divide (2 + -3)/(-5 - y/(-116))?
False
Suppose 455 = j + 3*z - 1881, -5*z = 0. Is j a multiple of 8?
True
Let l(w) = 59 - 8*w - 16 - 30. Is l(-6) a multiple of 36?
False
Suppose -z + 6*z = -3*u, 5*u = 3*z. Suppose -3*j - 2 = -r + 3*r, u = 3*j + 4*r + 4. Suppose 2*y = 2*g - 296, 4*g + 2*y + y - 606 = j. Is g a multiple of 15?
True
Let u = 7597 - -2859. Does 13 divide u?
False
Let z(r) = 9*r**3 + 17*r**2 + 267*r + 36. Is z(15) a multiple of 13?
False
Suppose 9 = -5*u + 4*f - 1, 0 = -5*f + 25. Does 17 divide (-2 + u + -1)*(-101 - -50)?
True
Suppose -9*d + 13778 = 4265. Let m = d - 564. Suppose 0 = b - 4*i - 86, 0 = -5*b + 2*i - 3*i + m. Does 7 divide b?
True
Suppose 24*m - 195 = 19*m. Suppose -10 = -5*d, d = 5*g - m - 289. Does 33 divide g?
True
Let a be (-45)/10*(6 + -68 - -4). Suppose -5*z + a = -i, 3*i + 61 = 2*z - 46. Is z a multiple of 52?
True
Let c(g) = -277*g - 2257. Is 4 a factor of c(-11)?
False
Let c be 1/15*422 - 26/195. Let j = c - 7. Suppose -3*b + 6*b - j = 0. Is 2 a factor of b?
False
Let r be (-2 + (-988)/8)/(4/(-8)). Let u = r + 49. Is 25 a factor of u?
True
Suppose 5*y + v = 70620, 99397 = 5*y - 4*v + 28802. Is y a multiple of 109?
False
Let a(b) = b**3 + 18*b**2 + 6*b + 6. Let g be a(-16). Suppose -10*q = g - 1442. Does 70 divide q?
False
Let x(y) = -129*y - 19. Let o be x(-3). Let m = 566 - o. Is 38 a factor of m?
False
Let o be 82*(-4 + 13 - (-8)/(-2)). Suppose -19*g = -21*g + o. Is g a multiple of 19?
False
Suppose 0 = -9*v - 36 + 9. Is -2 - -2 - (3 - v)*-72 a multiple of 48?
True
Let c be 6/(18/(-4029)) + -5. Let s = c + 2248. Does 50 divide s?
True
Suppose -24 = -p - 21. Suppose 1411 = 3*s - 0*s + 4*z, -3*s + p*z + 1425 = 0. Does 11 divide s?
True
Suppose 148 = -4*v - 4*a, 8*a + 2 = 10*a. Does 14 divide ((-1)/(-3))/(v/(-12768))?
True
Let o = -3347 + 7129. Is o a multiple of 61?
True
Does 2 divide ((-540)/84 - 4 - -11) + 1711/7?
False
Suppose 4*m + 3*g = 3402, 4*g = 9*m - 6*m - 2589. Does 5 divide m?
True
Does 45 divide (2 - 4) + 16839 + -97?
True
Let v = 18332 - 17483. Is v a multiple of 19?
False
Let m = -4810 + 14296. Is 51 a factor of m?
True
Suppose 0 = -2*r + v - 6 + 21, 26 = 3*r - 5*v. Let t = 5 - r. Is 6 a factor of (3 + 0 + (-31)/t)*2?
False
Let o = 3416 + -50. Is 11 a factor of o?
True
Suppose -40*q - 1135756 + 1571596 + 1659240 = 0. Is q a multiple of 17?
True
Let h be (2/(-1))/((-10)/45) - 4. Suppose 5*c - 13604 = 4*o + c, h*o - 3*c + 17007 = 0. Is 18 a factor of (-4)/(-3)*o/28*-1?
True
Let r(s) = s**3 + 32*s**2 + 50*s + 71. Does 6 divide r(-26)?
False
Let r(a) = a**3 - 4*a**2 - 3*a + 8. Let k be r(4). Let b = 4 + k. Suppose -i = -5*o + 61, -i = -o + 13 - b. Is 6 a factor of o?
True
Does 69 divide 1003/(-204) - 1/12 - -6353?
True
Let y(j) be the second derivative of 17/2*j**2 + 1/12*j**4 + 5/6*j**3 + 0 - 41*j. Is 7 a factor of y(-9)?
False
Let n(w) = 4 - 9*w + 2 - 2 + 2 + 3*w**2. Let s be n(3). Does 14 divide (16/s)/((-4)/(-36))?
False
Let b(x) = x + 2. Let y(q) = -44*q + 161. Let d(r) = 6*b(r) - y(r). Is d(12) a multiple of 15?
False
Let s = 9283 + -2468. Does 14 divide s?
False
Suppose h + 1656 = 9*h. Let d = 95 + h. Does 21 divide d?
False
Suppose n - 2695 = k, 4*n - 41*k + 46*k = 10780. Does 35 divide n?
True
Let j be (-524)/(-22) + (62/(-22) - -3). Let m(s) = s**3 - 25*s**2 + 25*s - 6. Is m(j) a multiple of 3?
True
Let i = 19072 - 16636. Does 21 divide i?
True
Let w(f) = -48*f - 74. Suppose 3*l = -3*o - 54, 0*l - o + 24 = -2*l. Does 51 divide w(l)?
False
Let k(s) = -s**3 + 44*s**2 - 67*s + 49. Is k(14) a multiple of 23?
True
Let q be ((-4)/14)/((-27)/378). Suppose -4*u - q*d = -796, -4 = -12*d + 8*d. Does 3 divide u?
True
Let z(v) = 4 - 164*v + 247*v + 4. Does 27 divide z(1)?
False
Suppose 0 = -4*i + 456 - 440. Suppose -186 + 986 = 5*k - 5*w, -i*k - 2*w = -640. Is k a multiple of 8?
True
Let x(m) = -m + 31. Let z be x(8). Let i = 28 - z. Is (i/(15/114))/(2/7) a multiple of 20?
False
Suppose -27*i - 24*i + 357 = 0. Suppose -i*w - 2964 = -26*w. Does 2 divide w?
True
Let v(b) = b**3 + 6*b**2 + 4*b + 3. Let k be v(-5). Let u = -228 + 98. Is (-7 - -3)/k*u a multiple of 18?
False
Let i(g) = 5326*g**2 - 15*g - 3. Is 17 a factor of i(-1)?
True
Let y = -51 - -72. Let w be 56/y + 5 + (-2)/3. Does 24 divide (36/(-2))/(w/(-28))?
True
Let f(v) = v + 3270. Let y be f(0). Suppose -27*x + 33*x - y = 0. Does 11 divide x?
False
Let c be 1/(-2)*22 - -2. Let g(p) be the third derivative of -p**5/60 - 3*p**4/8 + 7*p**3/6 + p**2 - 34*p. Is 3 a factor of g(c)?
False
Let l = -18 + 21. Suppose 3*c - 8*s = -3*s + 113, -s = l*c - 107. Is c a multiple of 6?
True
Let j be (-17)/(-15) + -1 + 6782/(-15). Let c = -164 - j. Does 12 divide c?
True
Let l = -72 + 7