 + 4*f**2 - 11*f**2 - 26*f. Is p(-14) a multiple of 15?
True
Is 16 a factor of (-3)/((-120)/(-16))*-2910 + 7?
False
Suppose -198*s - 2735 = -193*s. Let w = s + 1427. Is w a multiple of 38?
False
Suppose 866 + 654 = -5*f. Let h = 144 + f. Let q = -80 - h. Is 8 a factor of q?
True
Is 143 a factor of (-9)/108*4 + 71216/6?
True
Let o = -39701 - -40033. Does 84 divide o?
False
Let f(v) = -25*v + 162. Is 29 a factor of f(-56)?
False
Suppose 3*v - 4*v + 2*j + 585 = 0, 4*v - j = 2333. Suppose 4*h = 12, -5*u + 4*h = -v - 755. Is u a multiple of 9?
True
Does 3 divide (-35052)/(-84) - 26/91?
True
Suppose 3*x - 9*x - 66 = 0. Let r be 19/((-1254)/12) - 57/x. Suppose -3*i + 161 = 2*t, -5*t + 289 = -r*i - 126. Is t a multiple of 7?
False
Let t = 3222 + -1652. Is 41 a factor of t?
False
Let p(d) = -1790*d + 9746. Is 4 a factor of p(5)?
True
Let r(a) = 4*a**2 + a - 6. Let z be r(12). Suppose 3*l - l - 3*o - 386 = 0, 0 = -3*l + 3*o + z. Does 7 divide l?
True
Is 165 a factor of (43197/(-34))/(1/(-14))?
False
Let v(r) = 2478*r - 11670. Does 15 divide v(20)?
True
Let t = -1445 - -852. Let k = t + 897. Is 43 a factor of k?
False
Suppose f - 2 = -0. Let a = 142 - 155. Does 10 divide (-5 + 5)/(-4) - a*f?
False
Suppose 20*m - 26*m + 30 = 0. Let w = m - -64. Is w a multiple of 10?
False
Let v(c) = 153*c**2 - 28*c - 184. Is v(-10) a multiple of 37?
False
Let b(p) = p**3 - 39*p + 636. Is b(18) a multiple of 25?
False
Let o be (4 + 5)*1 - 5. Suppose -5*r - o*h + 72 + 448 = 0, 4*r = -4*h + 420. Is 9 a factor of r?
False
Suppose -133 = -8*n - 21. Suppose -2*q + q = -4*a - 13, -5*a - n = -2*q. Does 3 divide (38/q)/((40/15)/(-4))?
False
Let y be (-2)/(-3) + 80/15 + -4. Suppose y*j - 5 = -2*h - 109, -3*h + j - 136 = 0. Let o = h + 101. Is o a multiple of 6?
True
Suppose n = 2*h - 2597, -3*n + 4142 = 3*h + 242. Suppose 0 = p + 3*u - h, 2*u + 4810 = 4*p - 358. Is p a multiple of 17?
False
Let s(g) = 6 - 71*g + g**2 + 74*g + 2 - 4. Let z be s(3). Suppose -16*d + z*d - 180 = 0. Is 12 a factor of d?
False
Let x = 76419 + -27261. Is 19 a factor of x?
False
Let f be (-2 - -4)*(0 + 2). Suppose -5*o = -2*n - o, -14 = -f*n + o. Is 16 a factor of (22/2)/(n/8)?
False
Suppose 26*r - 27*r = -2*w + 3863, 2*r - 7730 = -4*w. Is 84 a factor of w?
True
Let u(i) = -28*i**3 + i**2 - 6*i + 12. Does 15 divide u(-5)?
False
Let d(c) = c**3 - 3*c**2 - 10*c - 11. Let s be -2*(28/8)/(-7)*8. Suppose -s*g + 4*g = -32. Is 13 a factor of d(g)?
False
Suppose -342984 - 146904 = -54*u. Is u a multiple of 189?
True
Let h be (0 + 14)/(3/15). Suppose 4*q - 3*j - 281 = 0, h = 18*q - 17*q - j. Is q a multiple of 3?
False
Suppose 48*y - 25*y = 60306. Is 38 a factor of y?
True
Suppose 5*i - 4*f - 6826 = 0, -i + 3*i - 2710 = 5*f. Does 62 divide i?
False
Let v = -2468 + 4126. Is v a multiple of 127?
False
Let u = 28 - 23. Suppose 154 = u*l + o, 5*o - 18 = 2. Is 23 a factor of (-10)/l - ((-980)/6 - -2)?
True
Let m be (-34)/10 + (-44)/(-110). Let t be ((45/10)/(-9))/(m/(-120)). Is 8/t - (-1785)/25 a multiple of 11?
False
Let c = 393 + -379. Let b(a) = 4*a**3 - 54*a**2 - 12*a + 21. Is 3 a factor of b(c)?
False
Let g be 4*(15/12)/1. Let n be g + -2 + (-8 - 34). Is (1 + 25/(-15))*n a multiple of 13?
True
Is 12/10 - (-2011152)/165 a multiple of 21?
False
Let u = -11 + 10. Let w(m) be the first derivative of 4*m**3 - m - 685. Does 5 divide w(u)?
False
Suppose -y = -d - 21489, -4*y + 110919 - 24968 = d. Is 8 a factor of y?
True
Let f be 0 - (-3 + 12)*1 - -3. Let v be f/2 + 44/1. Suppose 4 = -p + v. Is 37 a factor of p?
True
Suppose -44 = -8*d + 30*d. Does 10 divide (5 - d) + 194 + -1?
True
Suppose -17*c = 4*c - 63. Suppose 0 = c*o - 4*s - 1423, -2*s = o - 4*o + 1433. Is o a multiple of 13?
True
Let j be (-3)/(-3) + (35 - -2). Let m = -35 + j. Suppose 0 = -m*q + 105 + 138. Is 27 a factor of q?
True
Suppose 21*z - 18 = 15*z. Suppose -187 = -5*w - 2*i, 129 = w + 2*w - z*i. Is 3 a factor of w?
True
Suppose 0 = -4*q + 8*q + 2*x - 2706, -x = q - 678. Does 9 divide q?
True
Let m(u) = -3*u + 20. Let d be m(8). Let l(p) = 2*p**3 + 10*p**2 + 9*p + 5. Let c be l(d). Is (-18 - -14)/(c/(-22)) a multiple of 19?
False
Suppose -91*i = -86*i + 35. Is 18 a factor of -42*((-1180)/70 + (-4)/i)?
True
Suppose -3*p + 120210 = 5*q, -4*p - 8*q + 60411 + 99861 = 0. Is 16 a factor of p?
True
Let n(i) = 8272*i**3 + 95*i**2 - 94*i. Is 17 a factor of n(1)?
False
Let o(z) = -z**2 + 10*z - 27. Let g be o(6). Does 13 divide (-1 + g/(-2))/((-10)/(-14480))?
False
Let t = 845 - 297. Let m = 810 + t. Suppose 2*i + 154 = -5*c + m, i - 2 = 0. Is c a multiple of 12?
True
Suppose i + 5*o = -0*o + 2, -5*i = 2*o - 10. Suppose 2*b = 5*x - 3, 2*x - 1 = -i*b - 11. Is 11 a factor of -2*(-5 - b) + (-282)/(-2)?
True
Let t = 13972 - 5182. Is t a multiple of 15?
True
Let b = 211 - 125. Suppose 0 = -3*p + 2*a + 1337 - b, -5*a + 15 = 0. Does 23 divide p?
False
Let a(u) = 529*u + 2682. Is a(54) a multiple of 72?
True
Suppose 3597 = 5*f + 6*f. Let x = f - 79. Does 41 divide x?
False
Suppose 2*q - 965 = 5*n, -16*n = -2*q - 13*n + 955. Is 47 a factor of q?
True
Let g = 64 + -58. Let j(d) = g*d**2 - 6*d + 4*d**2 - d**2 + 11. Is j(4) a multiple of 8?
False
Let k = -3531 - -6360. Is 12 a factor of 3/(-4) + 0 + k/12?
False
Suppose 0 = 8*v - 5*v - 15. Suppose 0 = 4*h + 5*t - 86, 0 = 3*t - v + 11. Is h a multiple of 13?
False
Let y(x) = -1045*x + 1847. Is 35 a factor of y(-5)?
False
Suppose m - 8342 = -1430. Is m a multiple of 23?
False
Suppose 4*n - p - 59795 = 0, 53*n + 3*p + 14946 = 54*n. Is n a multiple of 16?
False
Is 266650/20 + (-147)/(-98) a multiple of 59?
True
Suppose -9*v + 5*v = -5*r - 38567, -r - 19279 = -2*v. Is 64 a factor of v?
False
Suppose 5*t - 105 = 530. Let m = 91 - t. Does 8 divide (9/(-4) - -2) + (-2025)/m?
True
Suppose -5*h - 4*b = -6, -5*h + 0*b = 5*b - 5. Suppose 5*z = -5*t + 65, -h*t = t - 4*z - 11. Let s(d) = d + 29. Is 8 a factor of s(t)?
False
Suppose 99 = 9*a + 27. Does 35 divide 290/a - 40/32?
True
Let r = -36822 - -67902. Suppose -29*k = -k - r. Does 15 divide k?
True
Let r(j) = 20 + 2 + 2*j - 1. Let h be r(10). Let v = h + -35. Does 4 divide v?
False
Suppose 256 = 30*z - 38*z. Is 3 a factor of (-1712)/z + 2/4?
True
Let a = 17478 - -11507. Is a a multiple of 17?
True
Let q be 6/22 + 2090/(-121). Let m(c) = -3*c**2 - 67*c - 13. Is 37 a factor of m(q)?
True
Let g(q) = -3*q**2 - 19*q + 24. Let r(y) = -y**2. Let c(k) = g(k) - 2*r(k). Let b be c(-20). Is 450/b - (-33)/22 a multiple of 25?
False
Let q be 3 - -6 - (3 + 4/4). Let a(o) = 5*o - 3 + 5*o - 3*o + o. Is a(q) a multiple of 12?
False
Let a(i) be the third derivative of -i**6/120 + i**5/15 + 4*i**3/3 + 97*i**2. Let w be 108/(-26) + 14/91. Does 34 divide a(w)?
True
Let r be 25 - ((-72)/60 - 2/(-10)). Suppose -r*d + 16*d + 7200 = 0. Does 30 divide d?
True
Let b = -210 + 399. Let u = -45 + b. Does 9 divide u?
True
Suppose 0 = -4*v - 0*v + y + 3, 4*y = 20. Let t(p) = 17*p**3 - 7*p**2 + 6*p + 10. Is t(v) a multiple of 5?
True
Let m be 12/15 - 34520/(-100). Suppose -40*s = -3254 - m. Is s a multiple of 9?
True
Suppose 17*b = 12*b - 10. Let z be (-1 - b)*9/3. Suppose -z*x + 192 = -0*x. Is 25 a factor of x?
False
Let q(c) = 394*c - 2820. Does 13 divide q(16)?
True
Suppose -719*a + 329520 = -659*a. Is a a multiple of 22?
False
Suppose 732 = -20*y + 23*y. Suppose 235*n = y*n - 1854. Is n a multiple of 96?
False
Suppose a - 5*a + 14648 = 4*s, 20 = 5*a. Suppose -52*d + 83*d = s. Does 3 divide d?
False
Let r be 5 + 0*9/(-45). Suppose 0 = -r*t + 10, -3*p + 4026 = p - 3*t. Does 28 divide p?
True
Let j(v) = -2*v**2 - 31*v - 87. Let f be j(-4). Suppose -2*x + 2*g = -5*x + 541, -f*g = x - 189. Is x a multiple of 83?
False
Is 14 a factor of 19805 + (1 - (0 - 8) - 20/5)?
True
Let v(i) = 4*i + 18. Let p be v(-4). Suppose -318 + 16 = -p*c. Let s = c - 103. Is s a multiple of 4?
True
Suppose -5*v + 33 = 3*h, 0*v - h = -4*v + 40. Let j(b) = 3*b**2 + 4*b - 9. Does 45 divide j(v)?
True
Suppose 18576 = 3*f + 5*u, 5*f = 2*f + u + 18576. Is f a multiple of 12?
True
Let p(g) = -584*g + 2677. Is p(-4) a multiple of 10?
False
Suppose -5*i + 23467 = 3*d, -23495 = -3*d - 13*i + 15*i. Does 21 divide d?
False
Let f(x) = 128*x**2 + 380*x - 2715. Does 10 divide f(7)?
False
Suppose 553*q - i = 548*q - 6, -2*q = 4*i - 24. Let u(k) = 9*k - 13