?
False
Let d(m) be the first derivative of -m**4/4 + 4*m**3/3 - m**2 - 16*m - 19. Is d(-4) a multiple of 25?
False
Suppose 0 = 3*d - 3*m - 19490 + 1724, -2*d + 11844 = -3*m. Is 11 a factor of d?
False
Is 11 a factor of ((-13)/(-52) - 0/3)/(6/701808)?
False
Suppose 2*k - 372 = 3*o, -4*k + 3*o = k - 939. Let i = k + 65. Does 15 divide i?
False
Suppose -34 + 12 = -2*w. Let d be 1245 + (0 - 1)/(w/(-33)). Suppose -17*j = -4*j - d. Is 12 a factor of j?
True
Let v(h) = 48*h**2 + 2*h + 6. Let b = -88 - -85. Does 12 divide v(b)?
True
Let d(x) = -4*x - 63. Let i be d(-17). Is (-2)/i + (-135)/(-25) a multiple of 5?
True
Suppose 4*l = 46 - 26, 3*f - 1765 = -2*l. Does 9 divide f?
True
Does 17 divide ((-9)/((-18)/844))/((36/357)/6)?
True
Let r(l) = -31*l**2 - 12*l + 37752. Is r(0) a multiple of 52?
True
Let b(x) = -x**3 + 16*x**2 + 7*x - 26. Let i be b(12). Let n = i + -431. Suppose -n = -5*y - 33. Is 17 a factor of y?
True
Suppose 0 = -8*x + 3*x + 4*z + 84, -4*x + 4*z = -68. Is 14 a factor of 1/((-4)/167*(-2)/x)?
False
Let j(x) = -470*x - 3240. Is j(-12) a multiple of 100?
True
Suppose 118*m - 58439 = 94*m + 116953. Is m a multiple of 87?
True
Let d be -2 + 0 + -2 + 4. Suppose -b + 4*h + 12 = d, -2*b = -6*b - h - 3. Suppose -a + 3*j + 294 = b, -j - j - 596 = -2*a. Is a a multiple of 25?
True
Let g(l) = 3*l**2 + 6*l - 7. Is g(17) even?
True
Let y(a) = 153*a - 15. Let d be y(-3). Let b = -149 - d. Is b a multiple of 9?
False
Suppose 0 = 39*v - 9*v + 20520. Let b = v - -746. Is b a multiple of 3?
False
Suppose 2*i - l = 3*l - 120, 5*i + 324 = 4*l. Let w = i + 34. Does 11 divide ((-6)/(-5))/(w/(-765))?
False
Let j(l) = -24*l + 44 - 3*l**2 - 7*l - 119 + 2*l**2. Is j(-24) a multiple of 22?
False
Let u(o) = 34*o**2 - 64*o**2 - 4*o + 32*o**2 - 19. Let b be u(-10). Suppose -2*x = -j - j + 92, 5*j + 4*x - b = 0. Is 15 a factor of j?
True
Let p = -3424 - -5816. Is 29 a factor of p?
False
Suppose y = j - 1033, 15*y = -j + 17*y + 1032. Does 47 divide j?
True
Let h be (6/12)/((-2)/(-116)). Let k = 149 - h. Is 20 a factor of k?
True
Suppose -2*x = -2*u - 28970, -46*x - 72437 = -51*x - u. Does 11 divide x?
True
Suppose -2*i + 2653 = 5*j - 240, -4*j = 5*i - 2328. Let h = -343 + j. Is h a multiple of 13?
True
Suppose -3*n - 162*b = -167*b - 65535, -5*b + 15 = 0. Does 115 divide n?
True
Let x(m) = 3*m - 104. Let b be x(0). Let s be b/(-6)*(-42)/(-4). Does 2 divide s/42 - (-1)/(-3)?
True
Suppose 42 = 2*i - 2*o, 2*o + 144 = 5*i + 27. Let z(r) = r**3 - 20*r**2 + 74*r + 33. Let f be z(15). Let l = i - f. Is l a multiple of 5?
False
Let b(a) = a**2 + 5*a. Let z be b(-5). Suppose 4*t - 12*t + 32 = 0. Suppose z = 3*d - t*d + 150. Is d a multiple of 25?
True
Is 19 a factor of (41490/4 + 3)*268/402?
False
Suppose s - 4*c - 5 = 0, 5*s + 5*c + 7 = 7*s. Let q(g) = -g. Let y(f) = f**2 - 3*f + 40. Let i(w) = s*y(w) + 5*q(w). Does 21 divide i(13)?
True
Suppose 0 = -231*o + 252*o - 37485. Is 7 a factor of o?
True
Let n = 21 + -12. Let x(u) be the first derivative of -u**3/3 + 7*u**2 + 15*u + 444. Does 15 divide x(n)?
True
Suppose -521 = 14*i + 865. Let h = -22 - 18. Let x = h - i. Is x a multiple of 10?
False
Let k(m) = -289*m - 1. Let n(g) = 1152*g + 3. Let l(q) = -15*k(q) - 4*n(q). Is l(-2) a multiple of 53?
False
Suppose 4*g = 5*n - g - 27135, 0 = -2*n - 2*g + 10862. Does 15 divide n?
False
Suppose 8*o + 9 = 121. Suppose 2*g + 6 = o. Suppose g*i = -3*i + 700. Is i a multiple of 20?
True
Let b = -32 - -34. Suppose b*t = -4*h - 3*t + 1371, 3*t - 683 = -2*h. Is 73 a factor of h?
False
Let k(z) = -z**3 + 8*z**2 - 7*z - 6. Let h be k(7). Suppose 2*o = 2*v + 11 + 17, 2*v + 3*o + 3 = 0. Let u = h - v. Is 3 a factor of u?
True
Suppose 3*n = 4*j - 128, -2*n + 67 = 3*j + 3*n. Let k = 34 - j. Suppose -4*x + 8*h - 3*h = -620, x - k*h = 140. Is x a multiple of 29?
False
Let u(n) = n**3 + 9*n**2 - n - 2. Let w = -105 - -96. Let c be u(w). Does 16 divide (90 + c)/((-2)/(-2)) + -3?
False
Suppose 0 = -20*v + 14*v + 108. Is 10*v/(-315) + (-2055)/(-7) a multiple of 19?
False
Let g(j) = -j**3 + j**2 + 5*j. Suppose 7*h + 9 + 19 = 0. Does 4 divide g(h)?
True
Suppose -2*a - 122 + 6 = 0. Let x be -2*(-2)/16 - 399/12. Let z = x - a. Is z a multiple of 3?
False
Let y(h) be the third derivative of -3*h**6/20 - h**5/20 - h**4/24 - h**3/3 - 18*h**2. Let a be y(-2). Suppose 0 = 2*w - 322 + a. Is 19 a factor of w?
True
Suppose -z = -1, d - 7 = -2*d - z. Suppose -4*o + 680 + 1166 = -d*t, 3*t = -4*o + 1851. Is o a multiple of 11?
True
Let k(x) = -x - x**2 + 0*x + 40 - 10 + 404*x**3 - 403*x**3. Is k(6) a multiple of 14?
False
Suppose 0 = -24*h + 26*h + 564. Let l = 520 + h. Is 14 a factor of l?
True
Let m(j) = 5*j**2 - 59*j - 9. Let p be m(12). Suppose -4*o + p*x + 714 = 0, 22*o - 18*o = 4*x + 716. Is o even?
False
Let d = 110 - 75. Let j(p) = 98*p + 8. Let v(a) = 1175*a + 95. Let c(k) = d*j(k) - 3*v(k). Is c(-1) a multiple of 15?
True
Does 19 divide 960/(10 - 377/38)?
True
Let f = -23800 - -38708. Does 11 divide f?
False
Let t be (2 + (-4)/4)*11 + -3. Suppose t*m + 2*m = 40. Is 4 a factor of m?
True
Let m = 140 - 86. Let i = 56 - m. Let l = 11 - i. Is l a multiple of 3?
True
Let q be ((-4)/(-6))/(2/6). Let p(z) = 37*z - 420. Let h be p(12). Suppose -h = -q*k + 12. Is 11 a factor of k?
False
Let m be 6*(-3 + 2 + (-8)/(-6)). Suppose q = -4*q + 5*t + 675, 0 = -m*q + t + 269. Is q a multiple of 7?
False
Let b(p) = -p**3 - 10*p**2 - 18*p - 12. Let q be b(-8). Suppose 0 = -w - s + 10, -74 = -5*w - q*s + 5*s. Is 8 a factor of w?
False
Let l(y) = -y**2 + 81*y + 22. Let h(q) = -q**2 + 98*q + 23. Let c(x) = -6*h(x) + 7*l(x). Suppose 3*o + 55 = -4*k - 0*k, 0 = 3*o - 4*k + 71. Does 16 divide c(o)?
True
Suppose x = -5*k + 13144, -3*k + 3333 = 5*x - 4571. Is k a multiple of 30?
False
Let j(c) = c**3 - 104*c**2 + 132*c - 462. Does 29 divide j(104)?
False
Is 139 a factor of -18*1 + (-2075700)/(-132)?
True
Let h(o) = o**2 + 4*o - 25. Let x be ((-2)/(2 + -4))/(1 + 0). Let m be -4*x + (-23)/((-69)/36). Does 21 divide h(m)?
False
Let h(j) = -25*j + 17*j + 31 + 2*j**2 - 140. Is 17 a factor of h(-7)?
False
Suppose 38 = -5*l + 108. Is 4 a factor of 105*(94/l + -5)?
True
Suppose 43037 = 35*t - 31*t - u, 4*u + 53777 = 5*t. Is t a multiple of 21?
False
Suppose -27*f - 80 = -43*f. Suppose f*h = -b + 69, 183 = -2*b + 4*b + h. Is 29 a factor of b?
False
Suppose 7*g = 2*g + 15. Suppose -5*r - 3*b + 18 = -0*b, -g*r - 4*b + 2 = 0. Suppose 9*j = r*j + 84. Does 7 divide j?
True
Let d = 909 - 904. Suppose 2*f = 4*v + 1979 - 403, 3*f - 2362 = d*v. Is f a multiple of 14?
True
Suppose -101365 = 21*t + 17*t - 49*t. Is t a multiple of 44?
False
Let t be 7597/(-7) - (186/(-14) + 13). Let y = 1645 + t. Does 35 divide y?
True
Let q = 46 + -47. Let o(b) = -21*b. Let y be o(q). Suppose -123 = -i - y. Is 17 a factor of i?
True
Suppose -5*v = 337 + 4783. Let h = 1508 + v. Does 22 divide h?
True
Let k = -3652 - -8797. Is k a multiple of 7?
True
Let i be (-3)/(-12)*(4 + -8 - -8). Suppose x = -i + 3. Suppose -3*z = -x*y - 228, -76 = -z - 4*y - 0*y. Is z a multiple of 25?
False
Let v(l) = -5*l**2 + 16*l + 16. Let q(k) = 36*k**2 - 114*k - 111. Let c(a) = -2*q(a) - 15*v(a). Is 5 a factor of c(-4)?
False
Suppose 10*l + 5 - 45 = 0. Suppose 2*w - 262 = -4*y, -l*y + 18 + 250 = 4*w. Suppose 9*x = 7*x + y. Is 9 a factor of x?
False
Let t be (2/4)/((-9)/1080*-12). Suppose -4*l - f + 331 = -0*f, 413 = t*l + 2*f. Is 31 a factor of l?
False
Let r = 1657 - -467. Does 12 divide r?
True
Let w be (80/(-35))/(-4) + (-138)/21. Let n(o) = 16*o**2 - o - 43. Is n(w) a multiple of 49?
True
Suppose v - 4 = -0*v. Suppose 3*m = v*m - 1. Does 15 divide (4 + -278)/(-2*m)?
False
Suppose -10*m - 3*h + 43912 = -5*m, 17560 = 2*m + 2*h. Is m a multiple of 26?
False
Let d = 79 - 72. Suppose 2*w - d*w + 400 = 0. Suppose -4*p + 352 = -w. Does 12 divide p?
True
Suppose r - 3*r = 2*p + 158, p = 5*r + 371. Suppose 0 = 3*x, -114*c + 115*c - 2*x = -4. Does 8 divide 2*c*r/(3 + 2)?
True
Let f = 25690 - -14963. Does 58 divide f?
False
Does 10 divide (-3)/(-9) + (4 - (-43087)/33)?
True
Let j be ((-54)/45)/((-74)/(-20) + -4). Suppose -1471 - 4129 = -j*d. Does 20 divide d?
True
Let t(r) = 55*r**2 - 17*r + 9. Is t(-3) a multiple of 15?
True
Let v(a) = -4*a**3 - 22*a**2 + 75*a + 9. Let g be v(5). Let m = g + 67