 5*w - 9*w. Is w/(-1) + 7/7 a multiple of 4?
False
Let t(y) = -10*y**2 + 5*y - y**3 + 24 + 5*y - 3*y**3 + 3*y**3. Is t(-11) a multiple of 7?
True
Let f(w) = -41*w + 1. Suppose 3*j - j + 6 = 0. Let q = j + 2. Is 21 a factor of f(q)?
True
Let j(s) = 26*s + 10. Let k(b) = 25*b + 10. Let c(v) = 3*j(v) - 2*k(v). Is c(5) a multiple of 30?
True
Let j(d) = -d**3 + 7*d**2 - 8*d + 9. Let h be j(6). Suppose -2*r + 10 = 0, 2*r = -5*a - 0*r + 25. Let y = a - h. Does 2 divide y?
True
Let j(k) be the third derivative of -k**6/180 + k**5/10 - k**4/8 + 2*k**2. Let x(n) be the second derivative of j(n). Does 20 divide x(-12)?
True
Let g be (20/12 - 1)*3. Suppose -5*a + 268 = 3*x, -g*x - 3*a = 2*a - 177. Does 12 divide x?
False
Let p be ((-3)/(-3))/((-2)/(-10)). Suppose -4*u = 2*y - 1636, p*u + 3759 + 346 = 5*y. Is 7 a factor of ((-6)/4)/((-30)/y)?
False
Suppose -3*x - x + 312 = -2*n, -3*x - 602 = 4*n. Let k be (6/9)/((-2)/42). Is k/35 + n/(-5) a multiple of 15?
True
Let f(i) = -i**3 + 5*i**2 + i - 10. Let y(q) = -2*q**3 + 10*q**2 + 3*q - 18. Let n(k) = -11*f(k) + 6*y(k). Let t(l) = l + 5. Let p be t(0). Does 5 divide n(p)?
False
Let h(p) = 9*p + 228. Is h(19) a multiple of 2?
False
Let h(r) = -19 + 1 - 13*r + 12*r**2 + 0*r**3 + 1 + r**3. Is 41 a factor of h(-12)?
False
Let d = 31 + 0. Suppose d*f - 30*f = 30. Is f a multiple of 26?
False
Suppose 5*n = -5*m + 5, 5*m - 5*n - 12 = 23. Suppose -m*p + 2*r = -242, r - 178 = -3*p - r. Does 30 divide p?
True
Suppose -9*j + 4458 + 789 = 0. Does 53 divide j?
True
Suppose 2*s + 3*j = 335, -s - s - 4*j = -338. Suppose -s = -4*t - 23. Let n = t - 7. Is n a multiple of 16?
False
Let m(g) be the second derivative of -5*g - 1/2*g**2 + 0*g**3 + g**4 + 0. Does 4 divide m(-1)?
False
Let d = -1824 - -2040. Is d a multiple of 18?
True
Suppose -3656 - 5728 = -69*a. Is a a multiple of 4?
True
Suppose 0 = -48*g + 43*g + 450. Does 10 divide g*4/6*2?
True
Let v = -232 + 126. Let q = v + 207. Is q a multiple of 22?
False
Let d(q) be the first derivative of -13*q**2/2 - 15*q - 12. Is d(-7) a multiple of 25?
False
Is (27 + -33)*131/(-2) a multiple of 5?
False
Let f(p) be the first derivative of -p**3/3 - 3*p**2 - 4*p + 3. Let y be f(-4). Suppose -6*a + 114 = -4*a - w, y*a - 3*w - 224 = 0. Is 24 a factor of a?
False
Suppose 0 = -a + 64 + 36. Does 6 divide a?
False
Suppose 0 = -5*g + 56 + 4964. Does 45 divide g?
False
Let g(h) = h**2 + h + 2. Suppose 2*k - k + 2 = -2*a, 5*k + 10 = 3*a. Let f be g(a). Is (16 + f)*30/18 a multiple of 10?
True
Suppose -p - 120 = -3*m - 5*p, 4*m - 160 = -4*p. Is m a multiple of 10?
True
Suppose 3*f - 10*f - 14 = 0. Let q = f + 82. Is q a multiple of 16?
True
Suppose -3*f - 47 = 2*w, 2*w + 32 = -2*f - 0*f. Let p be (-1190)/75 - (-2)/f. Does 17 divide (-812)/p + (-3)/(-12)?
True
Let q(k) = -5*k**2 - 3*k - 9. Let b be q(-8). Let p = -84 - b. Is 29 a factor of p?
False
Suppose -2*p - 2*o + 30 = 0, -8 + 45 = 2*p - 5*o. Suppose -2*c - p = 2*c. Let q(i) = i**3 + 5*i**2 - i + 4. Is q(c) a multiple of 16?
False
Let w be 1/(-6) - 57/(-18). Suppose -2*v - 2 = -g - 6, -2 = -v - w*g. Suppose 0 = 4*f - 2*m - 34, -m - v*m - 19 = -2*f. Is 3 a factor of f?
False
Suppose 12*g + 37 = -11. Is 6 a factor of 30/4*(3 + -3 - g)?
True
Suppose 3*o - 50 = 649. Is o a multiple of 15?
False
Suppose -15 + 9 = -2*t, 4*p - t - 33 = 0. Let a = 81 + p. Is 18 a factor of a?
True
Let h(k) = -k**2 + 11*k - 15. Let n be h(10). Let j be ((-28)/10)/(1/n). Is 1*j*(-3)/(-6) a multiple of 3?
False
Suppose -4*o - 51 - 45 = -b, 3*o + 61 = -2*b. Let i = -61 - o. Let q = 72 + i. Is 17 a factor of q?
True
Let x(s) = 600*s**3 + 3*s**2 - 4*s + 1. Does 31 divide x(2)?
True
Let a(w) = 4*w**3 + 10*w**2 - 13*w - 13. Let h(b) = 3*b**3 + 10*b**2 - 12*b - 12. Let o(f) = 6*a(f) - 7*h(f). Does 22 divide o(5)?
False
Let t be -4*(-1)/(-14) - (-10044)/(-28). Let k = -199 - t. Is 15 a factor of k?
False
Suppose 8*h + 926 = 6870. Is h a multiple of 8?
False
Suppose -6*j - 5*j + 792 = 0. Does 4 divide j?
True
Suppose -24 = -4*t - 4. Suppose -184 = -s - 3*q, 2*s + 2*q = t*s - 563. Does 15 divide s?
False
Let q be 2 - 1 - (0 - 4). Suppose x - 2*m - 132 = -6*m, -3*x + 441 = -3*m. Suppose b + x = q*b. Does 12 divide b?
True
Let d = 5 - 5. Let c be 4 - (1 - (-3 + d)). Suppose 0 = -3*n - z + 108, -z = -c - 3. Is 22 a factor of n?
False
Let b be (-18)/(8/4 + 0). Let c = b + 25. Is 16 a factor of c?
True
Let a be (-9)/(-7) + (-14)/49. Suppose -a = -3*p + 5. Suppose p*j + 80 = 6*j. Is 17 a factor of j?
False
Suppose 3*c + 3*n - 9 = 0, 12 = 2*c + 3*n - 7*n. Suppose 0 = 2*g + 4, -430 = -2*w + c*g - 6*g. Is 55 a factor of w?
False
Let m(u) = -5*u + 5. Let x be m(5). Let d = -7 - x. Is 2 a factor of d?
False
Suppose -4*w + 9*w - 18 = -b, -4 = 2*b. Suppose -4*k + 40 = w. Let r(z) = z - 6. Is r(k) a multiple of 3?
True
Let h(z) = -3*z + 14. Let b(y) = -y**3 - 3*y**2 - y + 3. Let x be b(-3). Let i be h(x). Let d(o) = -2*o**3 - 5*o**2 + 3*o + 2. Does 14 divide d(i)?
False
Suppose 0 = -5*j - 10, -4*s = 5*j - 2*j - 826. Suppose -o - o + s = 0. Does 26 divide o?
True
Let w = 26 - 21. Suppose -27 = -w*r - 4*d, -5*d + 8 = 3*r - 3. Let z = 10 - r. Is z even?
False
Let i be (-13)/(-3) - (-14)/(-42). Suppose i*b = -0*b + 24. Suppose -173 = -b*o + 1. Is o a multiple of 21?
False
Let q = -1242 - -2651. Is q a multiple of 56?
False
Let k(r) = r**3 - 12*r**2 + 15*r - 14. Let a be k(10). Let w = a + 83. Is 3 a factor of w?
False
Suppose 11*p - 16 = 15*p. Is ((-6)/p)/((-2655)/(-880) + -3) a multiple of 11?
True
Let u = 86 - -286. Is 31 a factor of u?
True
Let q = -1199 + 1423. Does 2 divide q?
True
Let g be -4 + 13 - (1 + -3). Suppose -g = 5*k - 86. Does 3 divide k?
True
Let h(u) = -62*u + 168. Is 11 a factor of h(-8)?
False
Suppose 378 = -6*t + 13*t. Is 15 a factor of t?
False
Is 19 a factor of 6/(-30) + (-1612)/(-10) + 4?
False
Let l(p) = -1 - 18 + 5*p + 6*p + p**2 - 6. Is l(-16) a multiple of 17?
False
Let x(o) = 42*o + 3. Let c(p) = 83*p + 7. Let t(n) = 3*c(n) - 5*x(n). Is t(6) a multiple of 24?
True
Suppose 18024 = 22*u + 3966. Is u a multiple of 4?
False
Let l be ((-16)/3)/(3/(-18)). Let g(r) = 10 - l*r - 11 + 0*r + 5*r. Does 18 divide g(-2)?
False
Let d(a) = 655*a - 18. Let q be d(2). Suppose -4*w + o = -q, -3*o + 1598 = 5*w - 0*o. Is 25 a factor of w?
False
Let n = 14 - 14. Let q = n + -4. Is 49 - (q/(-4) + -3) a multiple of 17?
True
Let h = 334 - -1400. Is 31 a factor of h?
False
Let w = -43 + 95. Let x = -10 - -16. Let a = w - x. Is a a multiple of 10?
False
Let j(c) = -c**3 + 5*c**2 - 4*c. Let f be j(4). Suppose -2*y + 146 + 86 = f. Does 6 divide y?
False
Suppose -72*h + 59535 = -106785. Is h a multiple of 42?
True
Suppose 0*g + 12 = 3*g. Suppose 2 = -q - 0, -3*v + g*q - 4 = 0. Let t(p) = -p**3 - 3*p**2 - 4*p - 3. Does 6 divide t(v)?
False
Suppose -4*w + 9 + 3 = 0. Suppose -5*i = 11 - 1, w*i = -4*a + 14. Is a even?
False
Suppose j = 3*t - 10, j = 3*t + 3*j + 2. Suppose 2*r + r = -3*c + 90, 63 = t*c + r. Does 3 divide c?
True
Let q = -2148 - -2410. Is q a multiple of 11?
False
Let z = 1195 - 755. Is 22 a factor of z?
True
Suppose 4*m - 510 = 730. Suppose 13 = -11*l + m. Is l even?
False
Suppose -v - 14 = -65. Suppose -6 = 2*z, -2*x - x - 3*z + v = 0. Suppose 0*o = -o + x. Is 8 a factor of o?
False
Suppose -4*u - 3*w + 118 + 17 = 0, -30 = -u - 2*w. Does 17 divide u?
False
Let l be (-4)/6*-3 + 120. Let s = 89 - 7. Suppose -s = -3*i + l. Is 17 a factor of i?
True
Let p(y) = 5*y**3 - 53*y**2 + 21*y - 36. Does 7 divide p(12)?
False
Let l(c) = 117*c + 1. Let b be l(2). Let t = 352 - b. Suppose -2*o = 6, t = 4*g - 2*o - 37. Is g a multiple of 9?
False
Suppose 0 = -3*y + 1 + 14. Suppose -t = -q + 73, 2*q - 2*t - 134 = -3*t. Suppose y*h - z - z = q, -z = -3*h + 42. Is 7 a factor of h?
False
Suppose 26 = 5*b - 14. Is b/20*1*135 a multiple of 9?
True
Let s = 329 - -32. Does 21 divide s?
False
Let y = -6 + 9. Suppose 2 = y*o - 1. Does 18 divide o/2 - 648/(-16)?
False
Suppose 2*t - 5 = 3*t, 5*n = -3*t + 975. Suppose -3*o = -0*o - 3*l - 306, 2*o - n = -l. Does 10 divide o?
True
Suppose -4*k - 10 = 2. Is 10 a factor of (19/3 + k)*12?
True
Let i(n) = 2*n**3 + 5*n**2 - 7*n - 9. Let r be i(-5). Does 2 divide (12/(-10))/((r/30)/11)?
True
Suppose 22*u + 2 = 23*u. Does 13 divide (u + -1)/((-4)/(-104))?
True
Let 