q be -8*(-3)/6 + -1 + 1. Suppose -2*y + q*y - j = -159, 3*j + 139 = -2*y. Let k = y - -94. Does 10 divide k?
False
Let f(g) = g**3 - g**2 + 8*g + 5. Is f(10) a multiple of 17?
False
Let o(v) = v**3 + 6*v**2 - 7*v - 20. Let y be ((-3)/(-2))/(9/336). Let p be y/(-10) - (-10)/(-25). Does 11 divide o(p)?
True
Let t(h) = h**2 + 35*h - 70. Let r be t(-37). Suppose r*p + 137 = -3*v + 2640, 4*p - 4*v = 2524. Is p a multiple of 15?
False
Let p(l) = -30*l**2 + l + 1. Let k be p(-1). Is 26*(k/12)/(-5) a multiple of 2?
False
Suppose 0 = -3*j + 194 - 218, 144032 = 4*c - 4*j. Does 24 divide c?
True
Let x be 3/(0 + 6/4). Let c be (-2 - 1) + x + 2. Let t(h) = 29*h. Is 5 a factor of t(c)?
False
Let k be 4/4*219 - 0/(-3). Suppose 1243 = 4*t + k. Is t a multiple of 16?
True
Suppose -13194 = -3*o + 24*a - 27*a, -4*a = o - 4386. Does 62 divide o?
True
Does 28 divide ((-1752)/(-365))/((-3)/(-2520))?
True
Suppose z - 1843 = 2*v + 3371, 12 = -4*v. Suppose 8*d = d + z. Is 24 a factor of d?
True
Let s = -100 + 102. Suppose -u = 3*u + 8, -u + 1222 = s*f. Does 36 divide f?
True
Let g = 1860 - -5425. Is g a multiple of 42?
False
Let w(g) be the third derivative of -17*g**4/24 + 41*g**3/3 + 2*g**2 - 29. Is w(-28) a multiple of 6?
True
Let z = -90 + 88. Is 13 a factor of ((-1)/z)/(1 + 3423/(-3430))?
False
Is (-3)/(348/8) - 3895/(-551) - -5365 a multiple of 7?
False
Suppose x = -3*m + 28422, 0*x - 18948 = -2*m - 5*x. Is 10 a factor of m?
False
Suppose 42560 = 70*i - 28840. Is 6 a factor of i?
True
Suppose 6*x = 47 + 205. Suppose 5*y = -2 + x. Suppose y*b - 180 = -b. Is 20 a factor of b?
True
Let j(l) = -l**2 + l + 2. Let o(h) = 34*h + 22. Let d(r) = j(r) + o(r). Is d(32) a multiple of 8?
True
Let g = -1408 + -1788. Does 11 divide (-4)/(-8)*g/(-2)?
False
Let h(z) = -z**3 - 21*z**2 + 45*z - 7. Let m be h(-23). Suppose -m*q + 756 = -7*q. Is 42 a factor of q?
True
Suppose -2*x + g + 3479 = 0, 60*x + 5*g - 3485 = 58*x. Is 29 a factor of x?
True
Suppose 0 = -817*m + 822*m - 7105. Is m a multiple of 29?
True
Suppose 4*a + l + 51 = 0, 4*l - 9 = 5*a + 60. Does 28 divide (26/a)/(1/(-70))?
True
Let u(i) be the second derivative of -4*i**3/3 - 6*i**2 - 14*i. Let v be u(-9). Let f = v - -104. Is f a multiple of 41?
True
Let h(p) = p - 804 - 806 + 1614. Let g = 14 + -10. Does 8 divide h(g)?
True
Is 142 a factor of 6 - 3/(15/(-21980))?
True
Does 23 divide ((-138)/4)/(4/54 + 43945/(-573210))?
True
Let g = 99 + -707. Let b = 724 + g. Is 4 a factor of b?
True
Let d(z) = 2*z - 39. Let y be d(13). Let l = 51 - y. Suppose 26*v + l = 28*v. Is 5 a factor of v?
False
Let a(n) = -3*n**2 + 11*n - 9. Let i be a(8). Let g = 365 - i. Suppose -5*z + g = 128. Does 14 divide z?
True
Suppose -112*u = -407498 - 281302. Is u a multiple of 82?
True
Let w be (9/144*36)/((-3)/8). Let g(k) = -63*k + 2. Does 38 divide g(w)?
True
Suppose 15*y - 12*y = 303. Let o = -96 + y. Is (-2)/o + (3 - 4529/(-35)) a multiple of 33?
True
Let h = 275 - 266. Is 5 a factor of -70*(3/h)/(12/(-18))?
True
Let x be 1*(-176)/(-6) + (-35)/105. Let k = 64 - x. Let p = 113 + k. Is 37 a factor of p?
True
Let x = 27992 - 15083. Is 19 a factor of x?
False
Let h = 455 - 450. Does 19 divide (1 + -7 - -279) + h?
False
Let v be -2 + (-14)/(-6) + (-49084)/(-42). Let y = v + -54. Is y a multiple of 87?
False
Suppose 9819 = 19*u - 11328. Suppose -3*o + 430 = 2*d - 0*d, 0 = 5*d - 2*o - u. Is 39 a factor of d?
False
Let d = -2961 + 5339. Is d a multiple of 23?
False
Let t = 31263 - 20679. Does 42 divide t?
True
Suppose 31*p = 26*p - 30. Is p/(-1) - (-319 + -59) a multiple of 96?
True
Let h be 3*(16/4 - -45). Suppose -140*t = -h*t + 1764. Does 63 divide t?
True
Does 53 divide (-8056)/4*(102/4)/(-17)?
True
Let b = 457 + -455. Is 9 a factor of b + -3 + 0 + -5 - -114?
True
Let m(h) = -5*h**3 + 4*h**2 + 5*h + 255. Let i(c) = 46 + 0*c**2 + 2*c**2 + 209 + c**2 + 4*c - 4*c**3. Let t(y) = 4*i(y) - 3*m(y). Is 51 a factor of t(0)?
True
Let p(x) = x**3 + 77*x**2 - 713*x + 220. Does 76 divide p(-80)?
False
Let l = 2447 + -2440. Suppose t + 3*t + z + 20 = 0, 12 = -3*z. Is 53 a factor of (-1 - (t + l)) + 60?
False
Let m = 9050 + -7832. Does 65 divide m?
False
Let a(r) be the third derivative of 0 + 0*r + 7/24*r**4 + 1/120*r**6 - 1/60*r**5 + 35*r**2 + 4/3*r**3. Is 46 a factor of a(6)?
True
Suppose 0 = -x + g + g + 130, 3*x = -2*g + 374. Let s be ((-3)/4)/(2/(-40)). Suppose -13*d - x = -s*d. Is 9 a factor of d?
True
Let n(w) be the third derivative of 11*w**5/30 + 5*w**4/24 - 4*w**3/3 - 33*w**2. Does 18 divide n(2)?
True
Suppose 4*c - 9 = 31. Suppose c = 2*w - 0*w. Suppose 4*q - 8*y = -w*y + 343, -5*q + 3*y = -431. Does 22 divide q?
True
Suppose 10 = -22*c + 10. Suppose c*j = -5*a + 3*j + 1440, -a - 5*j + 288 = 0. Is a a multiple of 48?
True
Suppose 27*p - 19*p = 24. Suppose -52 = -2*d + 4*o, 2*d = -2*d + p*o + 94. Is d a multiple of 14?
False
Let q = -12 - -42. Suppose -q = -0*m - 6*m. Suppose 0 = 5*s - 3*z - 0*z - 565, m = -z. Is s a multiple of 22?
True
Suppose 5*j + 1902 = -2*i - i, -2*j + 1881 = -3*i. Let g = i - -1023. Is g a multiple of 13?
False
Let p(q) = -4*q**2 - 24*q + 18. Let w(d) = 3*d**2 + 23*d - 17. Let n(g) = -4*p(g) - 5*w(g). Is n(0) a multiple of 3?
False
Suppose -g - 3472 = -1130. Let m = -1586 - g. Does 36 divide m?
True
Let q be (2/(-8))/(1/(-12)). Suppose 21 + q = -6*i. Does 6 divide (i/2 - -1) + 40?
False
Let n(m) = m + 98. Let o = -54 + 52. Let w(f) = 2*f**3 + 4*f**2. Let k be w(o). Is n(k) a multiple of 14?
True
Suppose -4*g = 18 - 4818. Suppose -56*a + 62*a = g. Is a a multiple of 100?
True
Suppose 3 = 5*i + 18. Let h be (-2 - i) + 692/(4/2). Let c = h + -207. Does 28 divide c?
True
Suppose -2*w + w - 31 = 0. Let f = -31 - w. Suppose -4*d + 2*a + 80 = f, -2*d + 55 = 4*a - 5. Is d a multiple of 11?
True
Let g(f) be the third derivative of 5*f**4/24 - 22*f**3/3 - f**2. Let u = 1453 + -1442. Does 11 divide g(u)?
True
Let q be 18/(((-11)/22)/(2/(-6))). Suppose -13*x = -q*x - 3. Suppose 0 = -3*g - 3*z + 267, -170 + 519 = 4*g - x*z. Is 22 a factor of g?
True
Suppose 274*t = 270*t. Suppose t = -5*q - 5*a + 205, 2*q = q + 3*a + 33. Is 12 a factor of q?
False
Let h = -303 + 307. Suppose 3*i - h*f = 2206, 8*i + 3*f = 9*i - 732. Does 20 divide i?
False
Let h(c) = -32*c**3 + 2*c**2 + 2*c. Let r be h(-2). Suppose -4*n + r = -4*q, -2*n + 0*q = q - 136. Is 15 a factor of n?
False
Let y(x) = 152*x**2 - 104*x + 426. Does 22 divide y(4)?
True
Does 7 divide 447/1043 - (-52060)/14?
False
Let t be (-35)/(-10)*-10 - 2. Let g = t - -36. Does 42 divide 6/15*g + (-844)/(-10)?
True
Suppose -12*m + 175 - 151 = 0. Suppose r + 788 = 5*w, -m*w + 4*r = r - 310. Is w a multiple of 8?
False
Suppose -5*q - 4*z = -38 - 0, 5*z = -2*q + 22. Does 27 divide 838*(8 + (-45)/q)?
False
Let g = 7 + 8. Let o = g + -27. Is 10 a factor of (o/15)/(6/(-150))?
True
Let m = -6470 - -10368. Does 36 divide m?
False
Let m(z) = z**2 + 28*z - 64. Let p be m(-30). Let h be p/(4/1) - (-1 + -14). Suppose -80 = -h*v + 60. Does 5 divide v?
True
Let b be (-584)/22 - (13 - 596/44). Let q(i) = -i**3 - 24*i**2 + 33*i + 171. Does 58 divide q(b)?
False
Let r be (-3)/(9/(-5))*3. Suppose r*o = -3*j + 433, 0 = -3*j + 23*o - 27*o + 434. Does 2 divide j?
True
Let p be (-146500)/(-90) - (-2)/9. Suppose 6*x - p = -5*x. Let z = -102 + x. Is z a multiple of 17?
False
Suppose 316 = 53*n - 51*n. Suppose 4*j - n = -26. Is j/9*(0 + -2 + 14) a multiple of 13?
False
Let f(g) = -4*g**3 - 58*g**2 - 190*g - 41. Is 9 a factor of f(-13)?
False
Suppose 0 = 15*q - 16*q + 4. Suppose 2*s + 7 = n - q, 3*s = 2*n - 17. Suppose 3*v = n + 350. Is v a multiple of 25?
False
Let g = -13143 + 17170. Is g a multiple of 5?
False
Suppose 2*q = -2*q - 5*j + 40, q + j - 11 = 0. Let p(r) = -r**3 + 16*r**2 - 15*r + 30. Let k be p(q). Let g = k + 12. Does 5 divide g?
False
Suppose 936 = -7*o - 2*o. Let k = -75 - o. Does 4 divide k?
False
Let t(m) = -245*m - 708. Does 97 divide t(-31)?
True
Let g = 749 + -615. Let i = g + -8. Does 2 divide i?
True
Let t = -4046 + 9332. Is t a multiple of 85?
False
Let s = -220 + 137. Suppose 0 = 4*w + 52 + 32. Let g = w - s. Is g a multiple of 10?
False
Suppose -4*a + 5*b = -5 - 5, 1 = a - 2*b. Suppose 2*v = -5*l - 46, 3*v = -l + 1 - a. Does 28 divide 75/l*(-40)/6?
False
Suppose 2*o - 3*h = 31784, 1917*o - 191