*t(r). Let u be s(-1). Is 4 a factor of n(u)?
False
Let x(v) = 17*v**3 - 8*v**2 - 15*v - 19. Let f be x(10). Is 14 a factor of f/46 + 3/2?
True
Let o(h) = -h**2 + 23*h - 20. Let g(x) = -20*x - 129. Let k be g(-7). Is o(k) a multiple of 10?
False
Let n(j) = 2*j**3 - j**2 - 75. Let p be n(6). Let c = 881 + p. Does 68 divide c?
False
Let i be 2 + (-33)/15 + (-378)/(-15). Suppose 5*l - 10 - i = 0. Suppose l*k = 338 - 30. Is k a multiple of 11?
True
Let u = 16 + -13. Suppose 2 = u*i - a - 20, 4*i = -4*a + 40. Is 272/i - -2*2 a multiple of 19?
True
Let o = 4927 - 1147. Is o a multiple of 63?
True
Suppose 32 = 4*y + 2*f - 7*f, 3*y + 4*f = -7. Suppose -g = -4*k + 1394, -2*k + k - y*g = -342. Does 29 divide k?
True
Suppose -42*n + 2*n + 200 = 0. Is 40/(n + -3 + 0) - 0 a multiple of 20?
True
Let l(a) = -3*a - 36. Suppose 5*d - 3*w + 28 = 4*d, -d + 5*w - 34 = 0. Let g be l(d). Does 18 divide -4 - 32*g/(-6)?
True
Let r be 4*1 + -2 + (2 - -3). Let w(l) = l + 3. Let p be w(0). Suppose -440 = -r*u + p*u. Is u a multiple of 11?
True
Let b = 107 + -87. Does 14 divide (354 + (b/5 - 8))*1?
True
Let u = -2564 + 2960. Is u a multiple of 33?
True
Suppose -9*r + 7943 = 15*r - 82345. Does 99 divide r?
True
Suppose 71 = 24*o - 49. Suppose 5*n - 604 = o*s + 566, 6 = 3*s. Does 11 divide n?
False
Let k = -137 - -140. Suppose 3*p - 123 = -k*f, -5*f + 6*p + 221 = 3*p. Is f a multiple of 42?
False
Is 10 a factor of 20/16 + (-461950)/(-40)?
True
Suppose 0 = -14*a - 1718 + 7416. Suppose -a = -5*b - 102. Is 4 a factor of b?
False
Suppose 0 = -47*b + 59*b - 11160. Is b a multiple of 30?
True
Let w(h) = h**2 + 29*h + 28. Let i = 42 + -37. Suppose l - i*l = 124. Does 24 divide w(l)?
False
Let u(z) = 543*z**3 + 2*z**2 + 10*z - 9. Does 16 divide u(2)?
False
Let z(a) = -a**3 - 11*a**2 + 6*a - 34. Suppose -211 + 449 = -17*v. Is 10 a factor of z(v)?
True
Let a(o) = o**3 - 9*o**2 - 6*o + 7. Suppose -8 = -4*t, 3*d + 0*t - 28 = t. Let h be a(d). Suppose -p = -h + 7. Is 13 a factor of p?
False
Suppose -4*g = -89 + 93. Let w(q) = -312*q + 38. Does 35 divide w(g)?
True
Let m(h) = -43*h**3 + 2*h**2 - 2*h - 5. Let b be m(-1). Suppose -b*y = -51*y + 6003. Is 30 a factor of y?
False
Let g(y) = -2338*y + 2448. Is g(-3) a multiple of 57?
True
Let v(x) = -2*x**3 + 27*x**2 - 17*x + 36. Let b = 379 + -367. Does 4 divide v(b)?
True
Let g be 720/21 + 32/(-112). Suppose -g*m + 37*m - 585 = 0. Does 8 divide m?
False
Suppose 37*x - 304 + 45 = 0. Suppose 70 = x*z - 427. Is z a multiple of 41?
False
Suppose -8*r + 12 = -60. Let p(l) = -264*l - 9. Let f be p(r). Is f/(-27) + 3/(-9) a multiple of 22?
True
Let t(v) be the third derivative of 7*v**5/60 - v**4/12 + 3*v**3/2 + 52*v**2. Does 11 divide t(-8)?
True
Let a = -500 + 500. Suppose a = 242*z - 238*z - 3040. Is z a multiple of 20?
True
Is 51 a factor of (((-36)/(-54))/((-10)/(-85)))/(2/1908)?
True
Let d be 1/2*6*-1 - -110. Let g be (4/6)/((-6)/(-963)). Suppose -26 = -y - 5*t, 5*y - 3*t - d = g. Does 15 divide y?
False
Suppose -13*i + 218509 = -0*i + 10509. Is 64 a factor of i?
True
Let o be 2088/(-96) + 2/(-8) + 0. Let c = o - -29. Let u = 33 - c. Is 7 a factor of u?
False
Suppose -39*r + 27 = -51. Suppose 0 = 4*v - 322 - 62. Suppose -r*o - v = -4*f, -3*o + 67 = 3*f - 23. Is 13 a factor of f?
True
Suppose j + 4 - 1 = -5*v, v = 0. Let w = 1136 - 1138. Is ((-118)/w - 5) + j a multiple of 17?
True
Does 75 divide (((-247560)/5)/12)/(3 + -4)?
False
Let j(s) = s**2 - 7*s + 12. Let w be j(8). Suppose -5*u = -u - w. Suppose i - 190 = -u*n + 15, 5*i + 235 = 5*n. Is n a multiple of 5?
False
Is 33 a factor of ((-14)/(-8))/((-23)/(-185196))?
True
Let z(u) = 64*u - 11. Let v = 32 + -15. Let f be z(v). Suppose 4*i = f - 337. Is i a multiple of 20?
False
Let i(c) be the second derivative of -11*c**3/3 + 26*c**2 + 8*c - 2. Does 16 divide i(-4)?
False
Let m(v) = 417*v**2 + 33*v + 180. Does 60 divide m(-9)?
True
Let t = 132 + -187. Does 21 divide (242/55)/((-2)/t)?
False
Is (-192)/(-720)*30 - (0 - 33032) a multiple of 280?
True
Let d be (-7)/42 - ((-21)/18 - 1). Suppose 0 = -4*z + 8, 4*f + d*z = -0*f + 124. Is f a multiple of 30?
True
Suppose 0 = 5*x - 2*f - 24504, -36*x + 32*x - f = -19598. Is 28 a factor of x?
True
Suppose 12*w - 1686 - 366 = 0. Suppose -5*r - 5*s + 34 + w = 0, 0 = -3*r + 4*s + 116. Is r a multiple of 20?
True
Let c = 14236 - 11153. Does 104 divide c?
False
Suppose 0*s - 11842 = -2*s - 166. Is s a multiple of 112?
False
Suppose -3*t = 3*t - 498. Let z = 213 - t. Does 65 divide z?
True
Suppose -46 = -24*k + 26. Suppose -357 = -3*z + k*a, 3*z - 2*a - 354 = -0*a. Is 5 a factor of z?
False
Suppose -42966 = -11*o + 9*o - 6*h, o + 5*h - 21483 = 0. Does 30 divide o?
False
Let g be (-12)/3 - 1/(3/(-15)). Let p(y) = 6*y**3 - 2*y + 2. Does 6 divide p(g)?
True
Let v = -90 - -82. Let t(q) = -17*q + 74. Is t(v) a multiple of 35?
True
Suppose -o = 5*l + 48789, 29276 = -25*l + 22*l + 2*o. Does 5 divide l/(-42) - (-8)/(-6)?
False
Let s = 63 + -35. Let b(r) = -2*r + 122. Does 9 divide b(s)?
False
Let q(r) = 2*r**2 + 45*r + 70. Suppose 5*z = -173 + 23. Is q(z) a multiple of 52?
True
Let m = -29 - -32. Suppose 3*u = m, 3*d + 3*u = 186 + 213. Is 15 a factor of d?
False
Let v = 2733 - -251. Is 13 a factor of v?
False
Let c(j) = 2*j - 76. Let w be c(-5). Let k = w - -138. Is k a multiple of 13?
True
Let d be 17/4 - (-2)/(-8). Suppose 142 + 61 = d*k + j, -2*k + 107 = -5*j. Let y = k + 64. Does 23 divide y?
True
Suppose -47*q + 37269 = -39717. Does 26 divide q?
True
Is 13 a factor of ((-6708)/(-8))/(-43)*(-105 + -1)?
True
Suppose 0 = -5*g - 4*s - s + 170, 0 = -2*g - 3*s + 71. Suppose 26 = -4*k - 86. Let f = g + k. Is f a multiple of 3?
True
Let x(r) = 850*r - 26. Let f be x(3). Suppose -9*k + 1454 = -f. Is k a multiple of 17?
True
Suppose g - 37 = 434. Suppose 17*a - 14*a + g = 5*s, 3*s = 4*a + 287. Is 40 a factor of s?
False
Let w = 74 + -255. Suppose 15*p = -5*p - 1420. Let k = p - w. Is k a multiple of 13?
False
Suppose -5*v + 13210 = -3*m, -2*v + 2*m + 5284 = -0*v. Is 91 a factor of v?
False
Let k = 15 - -84. Suppose -g + 5*x + 115 = 0, 2*g - 3*g = -x - k. Is g a multiple of 5?
True
Let h be 4887/(-15) + 0 + 10/(-50). Let q = h + 365. Is q a multiple of 16?
False
Suppose -124 = -51*q + 49*q. Let h = q + -53. Is -75*(0 + 1)*(-3)/h a multiple of 9?
False
Suppose v - 3*t - 2650 = -3*v, 4*t = 3*v - 1984. Suppose 550 = 2*p + 4*n, -3*n - 125 - v = -3*p. Is p a multiple of 25?
False
Let s be (-7)/(-3) + (-655)/(-393). Let l(z) = -2*z**2 + 8*z + 10. Let g be l(7). Does 16 divide (-1544)/g - 1/s?
True
Let s = 36332 + -12368. Is 9 a factor of s?
False
Let n(d) = 5551*d**2 + 60*d - 61. Does 37 divide n(1)?
True
Suppose -d + c = -1304, -1152 = -d + 4*c + 152. Does 3 divide d?
False
Let d = -67 - -63. Let u(c) = c**3 + 8*c**2 - 8*c - 3. Let x be u(d). Let o = 189 - x. Does 12 divide o?
True
Let f(j) = -j**3 + 23*j**2 - 21*j - 23. Let v be f(22). Is 7 a factor of (1 + v + 1)*-5 - -627?
False
Let x(v) = 11*v**2 + 55*v + 2998. Does 199 divide x(-70)?
False
Suppose -2*y - n - 232 = 0, -4*n - 123 = 15*y - 14*y. Let b = y + 328. Is 42 a factor of b?
False
Let c = 300 - 298. Let h(a) = 27*a**3 + 4*a**2 - 2*a + 6. Does 26 divide h(c)?
True
Let n(c) = -2*c**3 - 6*c**2 + 2*c + 3. Let g be n(-3). Does 29 divide (-10516)/(-24) - g/(-18)?
False
Let y(v) be the second derivative of -v**4/12 - v**3 - 5*v**2/2 + 6*v. Let j be y(-5). Suppose j = 5*z - 7*z + 36. Does 9 divide z?
True
Suppose -85849 = -5*y + s + 129199, -86072 = -2*y + 7*s. Is y a multiple of 56?
True
Is 16 a factor of ((-4752)/(-5))/(4*(-4)/(-80))?
True
Let v = 1493 + 635. Does 36 divide v?
False
Suppose -4 + 4 = 5*q. Suppose q = 2*o - 3 + 13, 0 = 5*y + 3*o - 5280. Is 43 a factor of y?
False
Let s(o) = 107*o + 13. Let v be (1 - 2) + -3 + 25/5. Does 40 divide s(v)?
True
Let k = -504 + 1362. Let x be (-3)/((-30)/4) + k/30. Let g = x - 0. Is g a multiple of 8?
False
Suppose -17*v + 45*v - 74648 = 0. Is v a multiple of 27?
False
Let f(s) = -41*s**3 - 34*s - 15. Does 4 divide f(-5)?
True
Suppose 14*o - 13*o - 51557 = -3*v, -v + 17189 = 2*o. Is 153 a factor of v?
False
Let f = 969 - 554. Suppose -2*t = 5*d - f, 2*t + 9*d = 7*d + 424. Is t a multiple of 46?
False
Let u = -8481 - -19411. Is 16 a factor of u?
False
Let b(c) = 6*c**3 - 2*c**2