 3*d - 5262, 5*d - 6578 = 2*p. Suppose -2*i = -f - d, 0 = -i - 3*f + 147 + 518. Is 82 a factor of i?
False
Let x = 654 - 666. Does 84 divide (88/x)/(-11)*252?
True
Is (3 + 30/(-6 + 0))*-2243 a multiple of 149?
False
Let w(g) be the second derivative of -389*g**3/3 - 5*g**2 + 36*g. Let u be w(-5). Is 2/5 + u/50 a multiple of 13?
True
Let y(s) = s + 11. Let f be y(-8). Suppose -d + f = 6. Does 12 divide (-9)/6*164/d?
False
Suppose -138*g + 137*g + 17457 = s, 34896 = 2*g - s. Is 277 a factor of g?
True
Suppose -3*g = -4*m, m - 13 = 5*g + 4. Is 0 + (-2 - g) - 3*-83 a multiple of 39?
False
Suppose 5*w + 4*i = 118020, -4*w + 127316 = -5*i + 32859. Is w a multiple of 13?
True
Suppose -n - 66825 = -28*n. Suppose 33*l - 33 = n. Does 19 divide l?
True
Let l = -462 - -618. Let h = l - -36. Is h a multiple of 16?
True
Let l(r) = 6*r**2 - 8*r + 6. Let i be l(3). Let a be (i/60)/((-2)/(-50*1)). Let u(q) = q**2 - 15*q + 7. Does 2 divide u(a)?
False
Let t = 1832 + 4361. Does 14 divide t?
False
Suppose -5*v + 1037 = -d, 2*v - 311 - 96 = 3*d. Is v a multiple of 8?
True
Suppose 0 = -4*x + 4*k + 1372, 374 - 1064 = -2*x + k. Suppose 9*j - j + 1360 = 0. Let c = x + j. Is c a multiple of 20?
False
Let o(l) = -l**3 + 24*l**2 - 42*l - 337. Is 54 a factor of o(17)?
True
Suppose -f - f + 14*f - 392712 = 0. Does 77 divide f?
False
Suppose 0 = -5*l + 5*m - 290, -5*m - 67 = l + 3. Suppose 65*s = 70*s + 30. Is 9 a factor of s/(2*5/l)?
True
Let j(q) = 2*q**2 - 56*q - 49. Suppose 45*w - 551 = 26*w. Is 7 a factor of j(w)?
False
Let l(u) be the first derivative of 79*u**4/12 - u**3/3 - 10*u**2 + 3. Let f(d) be the second derivative of l(d). Is 39 a factor of f(1)?
True
Suppose 10*j + 3*j + 1209 = 0. Let m = j + 97. Is 3 a factor of (0 - (-183)/12) + (-1)/m?
True
Let u be (-18 + 23)/(2/14). Let q = u + -33. Is (83/q)/((-20)/(-40)) a multiple of 31?
False
Let v(l) = 924*l - 396. Is v(6) a multiple of 44?
True
Let r = -806 - -380. Let q = -248 - r. Is q a multiple of 7?
False
Suppose -33 = 11*y - 8*y. Let n(v) = -2*v**2 - 24*v + 13. Let m be n(y). Suppose 0 = -40*k + m*k + 120. Does 3 divide k?
True
Suppose -5*f = 3144*l - 3142*l - 398485, 5 = l. Is 63 a factor of f?
True
Suppose 0 = 6*x - 1526 - 1126. Let b = -303 + x. Does 7 divide b?
False
Let x be (2/6)/(1/(-3))*-52. Let r = x + -94. Let k = r + 85. Does 7 divide k?
False
Let v = 237 + -676. Let j = v - -803. Does 26 divide j?
True
Suppose -m + 393 = -2*z - 691, 3*m - 3260 = 2*z. Does 34 divide m?
True
Let q(i) be the first derivative of 13*i**4/8 + 5*i**3/6 - 21*i**2/2 + 6. Let o(d) be the second derivative of q(d). Is o(6) a multiple of 19?
False
Let l = -272 + 542. Is 30 a factor of l/(-24)*16/(-3)?
True
Let n(w) = -51 + 9*w**2 + 22*w**2 + w**2 + 13*w - 10*w**2. Is n(3) a multiple of 21?
False
Let y = 1388 - 942. Suppose l + 11*x - 6*x = y, -5*l - 2*x = -2138. Does 17 divide l?
False
Suppose 0 = -4*f + r + 9865, 6576 = 4*f - 4*r - 3268. Is 9 a factor of f?
False
Let n(s) = -2*s**3 - 6*s**2 + 14*s + 33. Let c = -86 + 81. Does 19 divide n(c)?
False
Let l = -37 - -54. Suppose -25*d + 24 = -l*d. Is 54 a factor of d/45*2 - 24290/(-75)?
True
Let n(o) be the first derivative of -o**4/4 - 4*o**3/3 + 15*o**2/2 - 38*o - 182. Is 49 a factor of n(-8)?
True
Suppose -4*q = -u + 29 + 49, -4*q + 4*u - 84 = 0. Let i = q - -3. Let s = 24 - i. Is 10 a factor of s?
True
Suppose 2*n = p + 17949, -14*p = -4*n - 17*p + 35903. Does 25 divide n?
True
Suppose 45 - 270 = -3*k + 5*j, 2*k - 131 = -3*j. Let h(d) = 8*d + 1. Let p be h(-6). Let l = k + p. Does 23 divide l?
True
Let p(y) = y**2 + 15*y + 65. Let n be p(-12). Let l = 50 - n. Suppose 2*a + 228 = l*a. Is a a multiple of 10?
False
Let i = 12408 - 8000. Is i a multiple of 46?
False
Let p = 94 + -92. Suppose 523 = 5*o + 3*w - 71, -o - p*w = -123. Does 18 divide o?
False
Let s be 0 + -6 - -8 - -14. Is (-41)/(((-2)/s)/((-3)/(-6))) a multiple of 41?
True
Let a(j) = 12*j**2 - 17*j - 10. Let k be a(8). Suppose k = 5*g + 162. Does 4 divide g?
True
Let q be ((-304)/20)/(1/5). Suppose 3*s + s + 274 = 2*m, 2*s = -4*m + 598. Let c = q + m. Is c a multiple of 9?
False
Let x be (5/3 + 77/(-66))*-4. Is 3 a factor of (9/x - -5)*316 - -1?
True
Let o = 180 - 29. Suppose -3*v = -o - 185. Is v a multiple of 7?
True
Let o(r) = 7*r**3 + 4*r**2 + 40*r - 370. Is o(10) a multiple of 16?
False
Suppose -5*z + o = -1963, o + 0*o = -2*z + 781. Suppose 60*d - z = 52*d. Does 3 divide d?
False
Suppose 1571 + 7767 = 6*t - 21316. Does 13 divide t?
True
Let j(a) = -2*a**3 - 19*a**2 + 8*a - 9. Let i be j(-10). Suppose -g - 420 = -2*t, -1 - i = 3*g. Let o = t - 36. Is 14 a factor of o?
False
Let r be 353 - (40/15 + -3)*3. Suppose 0 = 5*g + 2*f - 1131, -r = -2*g - 5*f + 111. Is 25 a factor of g?
True
Let u(c) = -c**3 + 10*c**2 + 22*c + 9. Suppose 0 = -w + 4*y + 23, -2*w + 37 = -0*w - 5*y. Let h be u(w). Is 13 a factor of -1 + 15/13 - (-16880)/h?
True
Suppose 3*t - 2778 = v + 479, -t - 3*v + 1069 = 0. Does 3 divide t?
False
Suppose -v = 19*z - 22*z + 1, -2*v - 3*z = -16. Is 4 a factor of (-111176)/(-260) - (-1 - (-3)/v)?
True
Let n = -292 + 296. Suppose -4*x + 2*v + 3164 = 0, -n*v - 889 = -x - 105. Is x a multiple of 36?
True
Let k(a) = -9 - 2*a - a - 16 + 4*a. Let h be k(14). Let z = h - -71. Does 14 divide z?
False
Let g be (-1)/(-2)*0*1. Let n(p) = 17*p**2 - 113*p - 30. Let k be n(9). Suppose g*o - 5*o = 2*v - k, 5*v - 854 = 2*o. Is 34 a factor of v?
True
Let p(n) = 2*n + 15. Let f be p(-6). Let k(v) = -5*v. Let i be k(f). Does 27 divide (i/(-12))/(7/756)?
True
Suppose 2*w - 10*w = -72. Let a(t) = t**3 - 10*t**2 + 7*t + 18. Let r be a(w). Suppose u + r*z - 32 = 4*z, 5*z = 5*u - 115. Is 5 a factor of u?
True
Let m(a) = 7*a**2 + 37*a - 23. Does 37 divide m(-29)?
False
Let x be -1*(3 - (-3 + 13)). Let z(g) = g**3 - 6*g**2 - 7*g + 2. Let u be z(x). Suppose a - 37 = -3*w, u*a + 8 = 2*w - 14. Does 4 divide w?
True
Let t be 2*-5*(-9)/((-225)/(-1940)). Suppose -5*n = -3*a - 1264 + 331, 4*n + 5*a = t. Does 16 divide n?
False
Let r(z) be the third derivative of -23*z**4/24 + 47*z**3/3 - 7*z**2 - 2. Is 36 a factor of r(-10)?
True
Let j = 17 - 2. Suppose -5 = -2*x + 4*s - j, -2*x + 5*s - 13 = 0. Suppose -q - x = -41. Does 8 divide q?
True
Let k(r) = r**3 - 12*r**2 + 21*r + 11. Let i be k(10). Is 11 a factor of 37420/i + 20/1470*7?
True
Let v(w) = -6*w - 12. Let g be v(4). Let d = 71 - g. Is d a multiple of 14?
False
Suppose -3*j = 3*x - 17019, -2*x - 15*j = -10*j - 11361. Is x a multiple of 29?
False
Let n(j) = 41*j**3 + j**2 + 234*j - 26. Does 49 divide n(11)?
False
Let i(a) = 3*a**2 + 61*a - 147. Let l be i(-27). Let k = l + -383. Does 8 divide k?
False
Let y(l) = 230*l**2 - 5*l - 284. Does 44 divide y(-8)?
True
Suppose -3*i + 3*p = -0*p + 72, -5*p = 2*i + 27. Let t be (2 + i/9)*-6. Suppose 0 = t*y + y - 2*z - 114, 2*z + 76 = 2*y. Does 13 divide y?
False
Let m = 299 + -122. Let d = -133 + m. Is d a multiple of 22?
True
Let l = 36769 + -21402. Is 11 a factor of l?
True
Does 10 divide (-5 + -2)*(-174120)/140?
False
Does 195 divide ((-1864)/12)/((-242)/99825)?
False
Let j(q) = -4*q**2 - 5*q + 1. Let n be j(8). Does 25 divide (2 + -1 - n)*(-1 - -2)?
False
Suppose 0 = -3*b + 27 + 285. Suppose 4*i - 126 - b = -n, 5*n = -10. Is i a multiple of 2?
True
Suppose -4128 = -37*q + 29*q. Let j = 980 - q. Is j a multiple of 45?
False
Let r(f) = f**3 - 22*f**2 - 19*f - 9. Let t = 30 - 7. Let p be r(t). Let c = 143 - p. Is 10 a factor of c?
True
Is (-12 - (-84)/18)*-732 a multiple of 44?
True
Let r = -387 - -396. Suppose -2181 = -r*d + 7269. Does 21 divide d?
True
Let z(p) = -30*p + 8. Let q = -19 - -36. Let c = -20 + q. Is z(c) a multiple of 22?
False
Suppose 8*o - 4786 = 2*h - 51208, 3*o = -3*h + 69753. Is h a multiple of 87?
False
Let b(m) = 538*m**2 + 791*m - 6267. Is b(8) a multiple of 13?
False
Suppose 1857 = 4*h + 3*i - 17563, 0 = 5*h + 2*i - 24275. Is 117 a factor of h?
False
Let c = 6301 - 5160. Is 18 a factor of c?
False
Is 202/1919 + 6876/19 a multiple of 8?
False
Let x(j) = j + 23. Let h(l) = -l**3 + 4*l**2 + 12*l - 2. Let b be h(6). Let v be 7/(-21) + (b - 74/(-6)). Does 6 divide x(v)?
False
Suppose -14*k - 11*k + 1396626 = 41*k. Is 26 a factor of k?
False
Does 96 divide 108/((54/(-3645))/(8/(-10)))?
False
Let p = 5919 - -824. Is 67 a fac