4?
False
Let j(c) = -3*c**2 + 21*c + 72. Let g be j(-3). Is 20 a factor of (-7564)/g + (-48)/216?
True
Let x(m) be the first derivative of 0*m + 21 + 11/3*m**3 - m**2 + 1/4*m**4. Is x(-10) a multiple of 10?
True
Suppose 6*x - 10*x + 29 = o, 0 = x - o - 1. Suppose x*p - 1591 - 719 = 0. Does 11 divide p?
True
Let n be ((-360)/288)/(2/(-8)). Suppose -13*a = n*a - 24696. Is a a multiple of 14?
True
Let t(j) = -j**2 + 19*j - 2. Let f be t(18). Suppose 0 = f*h - 5760 + 2400. Does 44 divide h?
False
Suppose -47*x = -10*x - 6734. Suppose x*u = 185*u - 810. Is u a multiple of 27?
True
Let p = -2681 + 7121. Is 6 a factor of p?
True
Suppose z + 7 = 0, 12046 = 2*h + 6*z - 2*z. Is h a multiple of 21?
False
Suppose -28*u = 22*u + 4184 - 10484. Is u a multiple of 21?
True
Suppose -a + 280 = a. Let v(m) = -m + 19. Let h be v(12). Suppose -h*d + 12*d - a = 0. Is d a multiple of 28?
True
Is 43 a factor of 102/969 + 43052/19 - 1?
False
Let c = 48115 - 8771. Is 38 a factor of c?
False
Suppose -100 = 3*w - 4*w. Suppose -102*s + 166 = -w*s. Let h = s - -43. Is 12 a factor of h?
False
Suppose 1497 = 3*c + j, 0 = -c + 4*j + j + 499. Let d = c - 24. Is 12 a factor of d?
False
Let w = -108 + 159. Suppose 2*b - w = -b. Suppose -b*l = -12*l - 310. Is 5 a factor of l?
False
Let j = 20127 + -8746. Does 8 divide j?
False
Let a be (32/80 - 26/(-10))*1. Suppose j + 5*m - 164 = 3*m, -2*j + 314 = -a*m. Suppose -4*b - j = -504. Is b a multiple of 16?
False
Suppose -5*d + 3*w = -3560, -7*w + 5*w + 3535 = 5*d. Is 4 a factor of d?
False
Let y = 936 - -382. Suppose -3*i = -t - y, -187 = -i + 5*t + 243. Suppose 8*z + 3*z = i. Does 20 divide z?
True
Suppose 2*o + 2*d - 3054 = 0, 4*d + 390 = o - 1122. Let i = -597 + o. Does 44 divide i?
False
Let u be -1*((-2615)/(-5) + (0 - 0)). Let o = u - -35. Is 9/(36/o)*-1 a multiple of 19?
False
Let v = -5421 + 8053. Is 28 a factor of v?
True
Suppose 2*k = -3*f + 151, 3 = 4*k + 7. Let n = -4 - -6. Suppose f = n*z + 17. Is 17 a factor of z?
True
Let a be (-1150336)/(-215) - (0 + 2/5). Suppose -35*o + a = -25*o. Is 8 a factor of o?
False
Suppose -3*g + 0 = -3, 2*a + 2*g = 69194. Does 36 divide a?
True
Suppose -9*s - 3*a - 5508 = -14*s, 0 = 3*s - a - 3308. Is s a multiple of 5?
False
Suppose 0 = f - 5*f - 5*k + 191, -2*f + 101 = -3*k. Suppose -46*t = -f*t. Suppose t = 7*a - 3 - 67. Does 10 divide a?
True
Let s = -4667 - -6095. Is 6 a factor of s?
True
Suppose -6*b = -7*b + 3. Suppose -1 = -b*k - 4. Is (k - -2) + (-5 - -31) a multiple of 5?
False
Let g = 207 - 203. Suppose g*m + 592 = 3*w - 0*m, 2*w - 2*m - 394 = 0. Does 14 divide w?
True
Suppose -11*l + 3468 = -3820 - 7595. Is 33 a factor of l?
True
Suppose 0 = 4*u - 2*z - 10, 5*z + 3 = 8*z. Suppose -8*y - 1664 = -2*t - 4*y, 3*t - 2496 = u*y. Is t a multiple of 16?
True
Suppose 341242 = -251*v + 1705242 + 1135960. Is v a multiple of 10?
True
Let w(r) = -r**3 + 28*r**2 - 20*r + 105. Is 9 a factor of w(21)?
True
Let n(f) = 1416*f**2 + 200*f + 984. Does 226 divide n(-5)?
False
Let p be (-1)/(-1) + (27 - (-9 - -5)). Let x = -36 + p. Does 19 divide (-720)/(-21) - 1/(-14)*x?
False
Let t = 25784 + -17509. Does 60 divide t?
False
Let k be (5 - -13)/6 - -41. Let d(s) = s**3 + 7*s**2 + 5*s - 6. Let u be d(-6). Suppose 13*x - 60 - k = u. Does 4 divide x?
True
Let d = 122 - 125. Is 13 a factor of 114/(-18)*-57 - d?
True
Let a(u) = -5*u - 6. Let z be a(-4). Suppose 9*m = z*m. Is 898/15 + m + (-6)/(-45) a multiple of 6?
True
Suppose j + 5 = 0, -9*j = 4*w - 12190 - 15125. Is 5 a factor of w?
True
Let m(v) = v - 7. Let r be m(12). Let c be 6/(-30)*(0 - r). Is (1 - -76 - 4)/c a multiple of 13?
False
Let w be (2/((-8)/(-202)))/(1/2). Let a be 4/(-16) - w/(-4). Suppose 4*j + 2*m - 68 = 6*m, a = -5*m. Is j a multiple of 4?
True
Suppose 5*z + 0 - 10 = 0. Suppose 5*n - 42 = 2*d + 2*d, -d - z*n = 4. Let v(f) = -f**2 - 8*f + 3. Is 3 a factor of v(d)?
True
Is 60 a factor of 124/10*20875/(-20)*(-12)/15?
False
Let r be 40/(-260) + (-420)/(-26). Suppose 5*l - 113 = -4*p, 6*p - 3*p + 15 = l. Let v = l - r. Is v a multiple of 4?
False
Suppose 26*p - 22*p = 2*j + 3604, -5*p + 4504 = -2*j. Let o = -407 + p. Is o a multiple of 17?
True
Let q(v) = 1644*v + 1008. Is 31 a factor of q(15)?
True
Does 37 divide 9/((-1125)/10) + 7/((-175)/(-372777))?
True
Let v be (-131)/(-4) + (-6)/(-24) + -1. Let g = -29 + v. Suppose g*i - 30 = -4*n + n, -n - 42 = -3*i. Does 5 divide i?
False
Let a(b) = 398*b + 658. Is 21 a factor of a(26)?
False
Let y(j) = -j**2 - 14*j + 28. Suppose 70 = 90*q - 95*q. Is y(q) a multiple of 4?
True
Suppose -3*p + f + 151 = 0, -4*f + 41 = 5*p - 222. Let a = 53 - p. Suppose 4*j + a*j = 240. Is j a multiple of 4?
True
Suppose -5*u + 758080 = -38*u + 49*u. Is u a multiple of 53?
False
Is 23 a factor of ((-18277)/(-196))/((-3)/(-276))?
True
Let o(f) = -2965*f - 14090. Does 46 divide o(-16)?
True
Suppose -3*q - 156 = 4*z - 5*q, 78 = -2*z - q. Is 2 a factor of -5*z*(-1)/(-3)?
False
Let t(c) = 11*c**3 - 36*c + 42 - 3*c**3 - 9*c**3 + 20*c**2 + 10. Is 18 a factor of t(14)?
False
Let z be (1 - 53/(-7))/(5/70). Let b = -170 + z. Let k = -33 - b. Is k a multiple of 11?
False
Suppose -a + 25 = -4*k + 3, -a - 3*k = -1. Let y(j) = a + 6*j**2 - 11*j - 4 - 2*j**3 + 10 + j**3. Does 10 divide y(2)?
True
Suppose -48*d = -45*d - 19602. Is d a multiple of 9?
True
Let p(u) = 59*u**2 + 69*u - 662. Does 54 divide p(13)?
True
Let k = 43 - 40. Let o(p) = -19*p + 15 + 16 + k - 7. Does 31 divide o(-9)?
False
Let b(a) = 3*a**2 - 306*a + 227. Is 13 a factor of b(102)?
False
Let g = 149 - 157. Does 19 divide (-304)/(-6)*2*(-39)/g?
True
Let k(n) = 6*n - 16. Suppose 0 = -3*y - 5*q + 49, 3*y - 2*q + q - 73 = 0. Let u be k(y). Let h = -76 + u. Is 15 a factor of h?
False
Is (583/(-924) - (-4)/(-112))/(2/(-4263)) a multiple of 15?
False
Let m = -3445 - -5046. Does 76 divide m?
False
Let c = 59 + -56. Suppose 0 = -c*p - 1302 + 3264. Is p a multiple of 16?
False
Let u be 127*4/8*-3*-2. Suppose -3*k - 3*q = -u, -3*k = 4*q - 0*q - 385. Is 52 a factor of k?
False
Suppose -175*r = -167*r + 128. Let q(a) = 4*a**2 + 27*a + 3. Is q(r) a multiple of 17?
True
Let d(f) = f**3 - 28*f**2 + 29*f + 17. Let w be d(27). Suppose -w + 1430 = 9*u. Is 11 a factor of u?
False
Let w(q) = 3*q**2 + 3*q + 3. Let k be w(-2). Suppose k*j + 640 = 13*j. Does 16 divide j?
True
Let x(p) = 17*p**3 - 4*p**2 + 5*p - 5. Let u be x(2). Suppose -n = -u + 42. Is 47 a factor of n?
False
Suppose 6*h - 3*n - 188106 = 0, -4*h = 107*n - 102*n - 125446. Is 257 a factor of h?
True
Let v be (-12)/(-15) + (-3 - (-8392)/10). Let m = v + -797. Is m a multiple of 5?
True
Suppose 7*a - 1201 = 18010 + 3889. Is 121 a factor of a?
False
Let k(b) = 2*b**2 - 7*b - 16. Let z be k(-2). Is -6 - 1211/(-21) - (-2)/z a multiple of 8?
False
Let i = 309 - 162. Let u = 5397 - 5384. Let l = u + i. Is 29 a factor of l?
False
Suppose 0 = 242*i - 283*i + 63390 + 111434. Is 41 a factor of i?
True
Suppose -v + n + 5553 = 1065, 2*n = 4*v - 17952. Does 22 divide v?
True
Suppose 19*o - 165 = 671. Suppose 5*h = -r - 10, 2*r + h + o = 6*r. Is 2 a factor of r?
True
Suppose -3*t - 82041 = -5*z, 2*z - 7*z - 3*t + 82029 = 0. Is z a multiple of 83?
False
Suppose -792 + 291 = -b. Let r be (5 + 286)*(6 + -2)/(-4). Let w = r + b. Is 15 a factor of w?
True
Let d(k) = 5*k**2 + 194*k + 1877. Does 112 divide d(-69)?
False
Let l = 56 + -46. Suppose -6*y - l = -y. Does 3 divide (y/(-4))/(7/336)?
True
Let o(g) = g**3 - 5*g**2 + 3*g + 2. Let n be o(4). Let a be (-3*1 - n)/(5/(-65)). Let t = a - -13. Is 5 a factor of t?
False
Suppose -3555 = -d - 5*p, 91*p - 7125 = -2*d + 86*p. Is 70 a factor of d?
True
Suppose 3946*d - 3938*d = 24136. Let g be (-1)/(-1) - (11 - 0). Is d/35 + (-8)/g a multiple of 38?
False
Suppose -5*j + 7*c + 20 = 4*c, -j + c = -4. Let i(s) = 6*s**2 - 7*s - 6. Let v be i(-4). Suppose j*d = -2*p + v, 0 = -2*d + 4. Does 11 divide p?
True
Let o be 2/((12/(-45))/(42/(-35))). Is 269 + o*7/(-7) a multiple of 20?
True
Let p = 27 + 240. Let b = p + -27. Does 48 divide b?
True
Suppose 13 + 5 = -6*l. Let z(n) = -18*n - 4. Let d be z(l). Suppose m = -4*i + 279, -i + 19 = m - d. Is 10 a factor of i?
True
Let x be (-15905)/(-30) + 3/(-18). Let i = x + -276. Suppose -5*y + i = -16. Does 18 divide y?
True
Suppose 2*c = 4*v + 6*c - 85548, -3*v -