 12 a factor of (-870 - -38786)/(-6*(-4)/6)?
False
Suppose 2*d - 5*p = 12545, 4*d - 22*p = -21*p + 25063. Is d a multiple of 233?
False
Suppose 14*q = 8*q + 30. Let p = 12 - 7. Suppose 5*z - 27 = -q*b + 83, -22 = -z - p*b. Is 22 a factor of z?
True
Suppose 15*z - 9*z - 48924 = 0. Let b = z - 14119. Is 20 a factor of b/(-30) - 4/(-24)?
False
Let y be (-3)/(-2) + 27/18. Let c(o) = o**2 - 12*o + 27. Let t be c(9). Suppose -y*f + 42 - 9 = t. Does 2 divide f?
False
Let z(t) = 15*t**3 + 10*t**2 - 18*t + 12. Let u be z(5). Suppose 423 = -4*d + u. Is 58 a factor of d?
True
Suppose 16*c - 60232 - 45064 = 0. Is c a multiple of 119?
False
Suppose 0 = 4*d + 4*a - 372, -156 - 28 = -2*d - 4*a. Let q = d + -59. Let w = q + 6. Is 6 a factor of w?
False
Suppose -5*s - 5*f + 22117 = -3418, 4*f - 5086 = -s. Is s a multiple of 69?
False
Let c(m) = m**3 + m**2 + m - 217. Let u be c(0). Let n = u + 469. Is 21 a factor of n?
True
Let f be (-3132)/(-45)*5 + 6. Suppose 578 = 7*b + f. Does 32 divide b?
True
Is (63/5)/((-21)/((-45885)/23)) a multiple of 57?
True
Let j(d) = -6*d - 47. Let z be j(-9). Suppose -v = -z*f + 1198 + 1536, 0 = -4*f + 2*v + 1558. Is 20 a factor of f?
False
Suppose 0 = -46*d + 317407 + 28780 - 3349. Is d a multiple of 8?
False
Suppose -x = 5*z - 3678, z + 11114 = -37*x + 40*x. Is x a multiple of 31?
False
Suppose -z + 5768 = 4*f, -3*f - 3*z + 3811 = -524. Does 21 divide f?
False
Suppose 87*g + 251592 = 153*g. Is g a multiple of 12?
False
Suppose -x - 6 = -4*x. Suppose 3*h + 0*h - x*f - 67 = 0, 0 = 3*h + 5*f - 53. Suppose h - 86 = -5*z. Is 13 a factor of z?
True
Suppose 11822 = 2438*f - 2437*f. Is 27 a factor of f?
False
Suppose 80*r - 42982 - 56474 = -31*r. Is 32 a factor of r?
True
Let m(t) be the first derivative of t**4/4 + 4*t**3 - 6*t**2 - 22*t + 8. Let b be m(-12). Suppose -150 = -127*r + b*r. Is 10 a factor of r?
True
Let l = -317 - -1007. Is l a multiple of 7?
False
Let n = -5 - -11. Is (2735/10)/(3/n) a multiple of 20?
False
Suppose 2*c + 14 = -4*y + 6*y, 13 = -y - 3*c. Is 50 a factor of (y + 23)/(-3 + (-93)/(-30))?
True
Let i(p) = 2*p**3 + 34*p**2 + 26*p - 22. Let o = 421 + -436. Does 44 divide i(o)?
False
Let d be 4/(-6) - 19/((-57)/26). Does 7 divide ((-4811)/68)/((-2)/d)?
False
Is 37 a factor of 117/57 - 2 - 16397316/(-1938)?
False
Let m be ((-1)/(-3))/(5/(-20 - -5)). Let z be (0 - -1)*(-1 - m). Is 23 a factor of (-2 + (190 - z))*15/20?
False
Let h = -94 + 97. Suppose -u = h*k - 240 - 2, -20 = -4*u. Is k a multiple of 17?
False
Let p = 19 + -18. Let y be 12*10/15*p. Suppose -3*j + y*j - 219 = -2*r, 4*r = 2*j + 378. Is r a multiple of 18?
False
Suppose -3380 = -5*b + 4*l, -5*l = b - l - 700. Suppose -5*t - 5*i + 3385 = 0, 4*i = 3*t - b - 1372. Is t a multiple of 40?
True
Suppose 0 = -5*g - o + 44083, 2*g - 17635 = -161*o + 160*o. Does 38 divide g?
True
Suppose -20 = -4*n + 5*p, 2*p - 3*p = n - 14. Suppose 4*y = -8*b + 9*b - 463, n = -2*y. Does 38 divide b?
False
Suppose r = -2*r + p + 26, 4*r - 38 = 2*p. Suppose -2*b - 30 = -r*b. Does 25 divide 814/b + (-2)/(-6)?
False
Let t be 26/(-3)*((-5406)/4)/17. Suppose -t + 5709 = 20*l. Is 43 a factor of l?
False
Suppose 5*z + 4*t - 2*t - 4 = 0, -5*z - 4*t = -8. Suppose 0 = -5*s - z*s + 330. Suppose -5*o + s = -144. Is 21 a factor of o?
True
Suppose -38*w - 446 = -k - 35*w, -3*k + 1338 = 3*w. Let o = -404 + k. Is 5 a factor of o?
False
Let t = -101 + 95. Let d(l) be the third derivative of -l**6/60 - 2*l**5/15 + 5*l**4/24 + 11*l**3/6 + 28*l**2. Does 25 divide d(t)?
True
Let v be (18/28 + (-7)/49)*24. Let b be (8/6)/(5 - 52/v). Suppose b*u = -2*u + 68. Is u even?
False
Let o(x) = -5*x**2 + 45*x + 36. Let i be o(10). Let c be (-1)/4 - (-117)/4. Is 5 a factor of (c - 2) + i/7?
True
Let k be (5/1 + (3 - 1))*1. Let c be (-5 - (k + -5)) + 2. Does 43 divide 2/c - -12*(-218)/(-15)?
False
Let l(v) = -273*v + 7. Let f(w) = w**3 + 5*w**2 - 17. Let c be f(-4). Is 28 a factor of l(c)?
True
Suppose 1394 = -13*r - 10. Let u be 2 + (r - 2) + -1. Let h = u - -282. Is h a multiple of 25?
False
Suppose -222*p + 227*p - 33610 = -8265. Does 92 divide p?
False
Let d = 763 - -28. Let q = 1127 - d. Is 7 a factor of q?
True
Is 2 a factor of (-88450)/(-14) + (-1044)/1218?
False
Suppose -2*c - 253 + 2544 = -a, 2*c + 5*a = 2273. Is c a multiple of 19?
False
Does 107 divide 394/(-2167) + 593214/33?
True
Let h = -8298 - -17288. Does 29 divide h?
True
Let v = -22047 - -32793. Is v a multiple of 54?
True
Let f(q) = 3*q**2 + 3*q + 12. Suppose 0 = -15*o + 9*o + 54. Let h be (-2)/((2/(-3))/(7 - o)). Does 34 divide f(h)?
True
Suppose 78*u - 89*u + 47300 = 0. Suppose 10*p - 770 = u. Is 13 a factor of p?
True
Suppose -17*c + 20 = -13*c. Suppose -5*h + 4*h + 5 = c*o, -5*h + 141 = -4*o. Suppose h = -2*m + 75. Is 6 a factor of m?
False
Is (-8)/(-3 + -6 - -10) - -10563 a multiple of 76?
False
Let a = 3261 - 3013. Is a a multiple of 14?
False
Let j be ((-1)/3 - -1)*15. Suppose -3*c - 63 = -j*c. Suppose -c*i + 12*i + w = 856, 5*i + w = 1428. Is 18 a factor of i?
False
Let o(v) = 2119*v - 4904. Is o(16) a multiple of 10?
True
Suppose 5*u - 4*g + 40 = g, -5*u - 32 = -g. Is 17 a factor of (u/(-9))/((-4)/(-372))?
False
Suppose 728 = -3*m - 598. Suppose 3*h = -2*d - 909, d = -4*h + 2*d - 1223. Let a = h - m. Is 16 a factor of a?
False
Let b(y) be the second derivative of y**4 - 5*y**3/6 + 11*y**2 + 748*y. Suppose 4*s + 16 = 0, 4*i = -0*s - 4*s. Does 29 divide b(i)?
False
Let r be (-100)/(-36) + 2/9. Let j(p) = -53 + 112 + 21*p - 55. Is 7 a factor of j(r)?
False
Suppose -410*v + 2720 = -409*v. Is 4 a factor of v?
True
Let c(k) = -k**3 + k**2 - 3*k - 3. Suppose j = 9 - 12. Let m be c(j). Suppose -z + 16 = b - 2*b, -3*z + b = -m. Is 13 a factor of z?
True
Let x = -5159 + 7241. Does 10 divide x?
False
Let r(u) = -40*u**2 + 9*u - 22. Let p be r(2). Is (-1 + (-41)/(-2))/((-41)/p) a multiple of 4?
False
Let y = -103 + 3288. Is y a multiple of 51?
False
Suppose 101727 = 3*x - 5*g, -2*x + 87802 - 19983 = -3*g. Is 49 a factor of x?
False
Let z(f) = 6*f**2 + 3*f + 2. Let j be z(-1). Suppose 3*c - 82 = j*b + 120, 5*c + 46 = -b. Let t = b - -107. Is 9 a factor of t?
False
Suppose -77*l + 722709 = -114*l + 124*l. Is 13 a factor of l?
True
Let r(q) = 2*q - 9*q**2 + 3*q**2 - 18*q - q**3. Suppose -4*o + 4 = -8*o, 2*o + 12 = -2*k. Is r(k) a multiple of 15?
False
Suppose -2*i + 4 = 0, 5*u = -3*i + 2*i + 137. Suppose -u = -j + 19. Suppose 5*v = 99 + j. Is v a multiple of 28?
False
Let q = 27046 + -7681. Is q a multiple of 9?
False
Let f(p) = 15*p**2 + 74*p - 168. Does 12 divide f(-20)?
False
Suppose 5*y = -25, 0 = -3*w + 2*y + 3*y + 10. Let m = w - -173. Is m a multiple of 12?
True
Does 16 divide (-91425)/(-8) - 441/(-504)?
False
Let q(g) = 23*g**3 - 6*g**2 + 6*g + 5. Let o be q(5). Suppose 6*p - p - o = -5*c, 1658 = 3*p + 4*c. Is p a multiple of 22?
True
Suppose b + 12 = -1. Let t = 39 + b. Suppose -8*d + 282 = t. Is d a multiple of 12?
False
Let u = -10981 - -27203. Is u a multiple of 40?
False
Suppose 675*w = 665*w + 50. Suppose 0*l = -l + 35. Suppose -12*y + l = -w*y. Is 4 a factor of y?
False
Let t(s) = s**3 + 24*s**2 + 4*s - 47. Let q be t(-23). Let i = q + -326. Does 3 divide i?
False
Let p = 12 - 23. Is (-1)/(-4) - p/((-308)/(-5817)) a multiple of 9?
False
Let x(o) = -10*o + 5*o**2 + 5*o + 6*o + o - 8. Let y be x(-6). Suppose 0*r - y = -4*r. Is r a multiple of 10?
True
Suppose 0 = 3*i + 6 + 6. Let g be 413 - (2 - (4 + i)). Suppose -4*p + a = 18 - g, 4*p = 3*a + 395. Is 15 a factor of p?
False
Suppose 4*o - 30 = 2*l, 3*o - 5*l = -2*o + 50. Suppose -o*h - 6*i = -2*i - 6125, 4*h = 2*i + 4900. Is 86 a factor of h?
False
Suppose 5*z + 108 = -72. Let w be -568*(42/z - (-4)/6). Suppose w = -8*q + 12*q. Does 12 divide q?
False
Let r = -1904 - -18396. Is 4 a factor of r?
True
Suppose 4*h = -5*u + 23, 3*u - 5*h - 1 = -h. Let j(c) = -c + 2*c + u + 2*c - 4*c. Is j(-11) a multiple of 3?
False
Is 7 a factor of 4773 - (17/(-3) + 5)*(-36)/8?
False
Let p(k) = 2*k**2 + 29*k + 84. Let y be p(-13). Suppose 38*m = y*m - 2380. Is 41 a factor of m?
False
Let b(i) = i**3 + 10*i**2 + 5*i. Suppose 0 = -3*z - 12, z = 3*a - 14 - 5. Let k(m) = m**2 - 6*m - 4. Let p be k(a). Is 9 a factor of b(p)?
True
Suppose 3 = -5*y + 3*l + 35, 0 = 2*y - 2*l - 16. Suppose 5*k - 1662 = -x, 0*x