j - 2358 = 619*j. Is 19 a factor of j/(-4) + (-10)/(-20)*-1?
True
Let y be 11/(770/176640) - 6/14. Suppose -4*v + y = 5*f, f + 8*v - 499 = 10*v. Is 13 a factor of f?
False
Is -27*(2/5)/((-267)/1362590) a multiple of 139?
False
Let k be (-942)/(-33) + 12/(-22). Suppose -5978 = -k*y + 882. Does 18 divide y?
False
Let i(l) = 26*l**2 + 547*l + 10. Is 140 a factor of i(-22)?
True
Let g = 10900 + -6516. Is 8 a factor of g?
True
Suppose -419*x = -417*x - 3364. Does 11 divide x?
False
Let b = -94 - -90. Is 18*(76/8 - b) a multiple of 9?
True
Let g(n) = 5*n**2 + 4*n**2 - 5*n**2 - 4 - 2*n. Let s = -943 + 941. Does 4 divide g(s)?
True
Suppose 13*r + 20750 = 35534 + 43508. Is r a multiple of 38?
True
Let n(t) = -4684*t - 1765. Is n(-12) a multiple of 113?
False
Let a(k) = k**3 - 15*k**2 + 12*k + 31. Let t be a(14). Suppose f = t*g + 138, 2*g - 7*g + 730 = 5*f. Does 4 divide f?
True
Suppose -110 + 8 = 17*y. Is 19 a factor of (-1 - y - 15)*38/(-4)?
True
Let r be (-18)/3 + 2 + 905. Suppose -r - 947 = -6*y. Is y a multiple of 44?
True
Suppose -4*m + 3*m + 20159 = 3*k, -26877 = -4*k - 3*m. Is k a multiple of 35?
True
Let i = 8318 - 3409. Is 86 a factor of i?
False
Let t be (-105*1)/1*120/(-140). Is 14 a factor of 36/t - (-1948)/5?
False
Let t(b) = b + 7. Let c(f) = -1. Let w(s) = -6*c(s) + 3*t(s). Let p be w(-9). Suppose -5*o + 4*z + 226 = p, 88 + 102 = 5*o + 5*z. Does 7 divide o?
True
Let x(z) = -12*z + 8*z + 11 + 9*z. Is 3 a factor of x(14)?
True
Suppose -7*b + g = -3*b - 757, 0 = 2*b - g - 381. Is b a multiple of 31?
False
Let t = 6433 - -6827. Is 34 a factor of t?
True
Let f be 290/(-116) - (-1)/(-2)*1. Let a be 3/f*-3*(-8)/(-6). Suppose -a*p + 93 = -15. Is p a multiple of 19?
False
Let v = 402 - 399. Suppose -10*m + 11*m = 0, v*f - 969 = 2*m. Is 11 a factor of f?
False
Let y be -3 + (-1 - (-10 - -4)). Suppose 0 = -4*l - 0*l - 5*p + 2117, -l + 539 = -y*p. Is 39 a factor of l?
False
Let i(t) = t**3 - 6*t**2 - 11*t + 30. Let l be i(7). Suppose 1902 = 4*z - 2*f, l*z - 4*f - 805 - 161 = 0. Is 43 a factor of z?
True
Suppose 3*x = -5*l + 5*x + 37, -4 = -x. Let i(o) = 19*o - 119. Is i(l) a multiple of 52?
True
Let b(c) = 701*c**3 - 27*c**2 + 49*c - 2. Does 80 divide b(2)?
False
Let u(n) be the second derivative of 3*n**5/10 - 5*n**4/12 + 17*n**3/6 - 2*n**2 + 40*n. Is 8 a factor of u(4)?
True
Let x = 11321 - 10540. Does 4 divide x?
False
Suppose -154*i + 150*i - 27975 = -3*z, -18650 = -2*z + i. Is z a multiple of 25?
True
Let o(h) = h**2 - 2*h - 17. Suppose -5*f = -5*n, 4*f - 3*n - 4 = -f. Suppose f*j + 4*d = 10, 4*j = 2*d + 68 - 18. Does 12 divide o(j)?
False
Let f be (0 - 2) + (9 - -1). Let l(c) = 3*c**3 + 2*c**2 + 16*c + 4. Let h(k) = 5*k**3 + 5*k**2 + 29*k + 9. Let g(v) = -4*h(v) + 7*l(v). Does 22 divide g(f)?
True
Let v(f) be the second derivative of -f**3/2 - 11*f**2 + 8*f. Let p be v(-10). Suppose -4*g + p = -3*g. Is 3 a factor of g?
False
Let t = -20 + 22. Suppose t*m - 14 - 4 = 5*a, 3*a = 4*m - 22. Suppose -r - 5*o + 167 = 0, 6*r = 2*r - m*o + 604. Does 18 divide r?
False
Let q(p) = 12*p**3 - 2*p**2 - 11*p + 23. Let g be q(6). Suppose -1189 = -26*m + g. Does 16 divide m?
False
Suppose -3*u = -346*y + 347*y - 40053, -4*y = 4*u - 160220. Is 20 a factor of y?
False
Suppose 2*v + 23*j - 78796 = 23982, -4*v = -3*j - 205556. Is v a multiple of 11?
False
Suppose 0 = -4*n + 24 + 616. Suppose -2*h + n + 280 = 0. Is 17 a factor of h?
False
Let h = 6 - 6. Suppose -12 = -h*g - 2*g. Suppose g*l - 3*l - 168 = 0. Is 22 a factor of l?
False
Let j(v) = -25*v**3 + 2*v**2 - v - 10. Let l be j(-2). Suppose 2*h = -4*m + l, 3*m - 81 - 24 = -h. Does 24 divide h?
False
Let o(s) be the first derivative of 22*s**3/3 - 4*s**2 - 13*s + 28. Does 3 divide o(-2)?
False
Let a be 16/(-8) + (22 - -1). Let d = a + -11. Let r(v) = -v**3 + 10*v**2 + 4*v + 9. Is r(d) a multiple of 7?
True
Suppose 79439 - 46298 = -126*x + 246963. Is x a multiple of 4?
False
Let v = -11 - -5. Let s(c) = -6*c - 21. Let x be s(v). Suppose 3*w = 2*u - 111 - 30, -5*w = x. Is 9 a factor of u?
False
Let x be (-55)/550 + 42/20. Does 15 divide 1240 + -2 + 5 + x?
True
Does 93 divide (-1686)/(-8)*1248/312?
False
Let z(l) be the first derivative of -l**4/4 - 7*l**3/3 + 9*l**2/2 + 7*l - 45. Let i be z(-9). Suppose -6*u + i = -2*u. Is 11 a factor of u?
True
Let v = -96 + 104. Is 15 a factor of 5/(-20)*-2 + 1796/v?
True
Let v(w) = 638*w**2 - 12*w - 11. Is 9 a factor of v(-1)?
True
Suppose -4*o - 3*c = -71589, -8*o + 5*o - 4*c = -53690. Does 39 divide 1/9 + o/27?
True
Let u(q) = -q**3 - 7*q**2 - 15*q + 8. Let t(d) = -d**3 - 3*d**2 + 5*d. Let b be t(-4). Is 20 a factor of u(b)?
True
Let y = -56 - -49. Let n(w) = 2*w**3 + 17*w**2 - 2*w - 7. Let m(b) = 3*b**3 + 25*b**2 - 3*b - 11. Let k(x) = y*n(x) + 5*m(x). Is k(-4) even?
True
Let z be 7*(-7)/(-49)*24. Suppose -l + 4*y + 115 = 0, l = z*y - 19*y + 110. Does 5 divide l?
True
Suppose 3*d + 2*w - 3414 = 4441, 5*w = -5. Is 27 a factor of d?
True
Suppose -386 = -2*f - 2*k, 4*k = -3*f + 2*f + 181. Let b = -176 + f. Does 16 divide b?
False
Let o be 2/7 - 693/(-147). Suppose -2*k + 482 = 2*y, -k + 52 = o*y - 169. Does 18 divide k?
False
Does 22 divide ((-898)/24 + 36/48)*-21?
True
Suppose -v - 5*z + 498 = 0, 5*z - 8*z = 5*v - 2358. Is v a multiple of 18?
True
Let d be (-2 + 1)*2*72/(-16). Suppose -d*a = -12*a + 1275. Is a a multiple of 15?
False
Let k be (-4)/(-16) + 57/12. Suppose 0 = k*r + 2*r - 798. Suppose 3*l + r = 4*l + 5*g, -3*g - 626 = -5*l. Is 31 a factor of l?
True
Let g be 114/(((-50)/(-12) + -4)/4). Let f = -1838 + g. Does 43 divide f?
False
Let m(i) = i**2 - 16. Let p be m(6). Suppose 14*j - 9*j + p = 0. Let q = 48 - j. Does 13 divide q?
True
Suppose -236*g = -233*g - 12. Suppose -16 = g*l, 3*l + 1510 = 2*s + 2*l. Does 55 divide s?
False
Suppose 3046 = 4*f + 2*i, -2258 = -5*f + i + 1546. Suppose 3*x - 751 = f. Is x a multiple of 56?
True
Let b(a) = 77*a**3 - a - 240*a**3 + 83*a**3 - 8 + 4*a**2 + 76*a**3. Is b(-4) a multiple of 22?
False
Let v(h) = 15*h**3 + 6*h**2 - 12*h + 73. Let i(c) = 5*c**3 + 2*c**2 - 4*c + 24. Let r(b) = -8*i(b) + 3*v(b). Does 8 divide r(4)?
False
Does 21 divide (7 - 71)*21267/(-68)?
False
Let p(d) = d**3 - 15*d**2 + 10*d + 84. Let o be p(14). Suppose 5649 = -o*w + 33*w - 2*u, -6 = 3*u. Is 32 a factor of w?
False
Let l = 5 + -2. Suppose -12 = l*m - 3. Let x(p) = 4*p**2 - p + 9. Does 12 divide x(m)?
True
Is 116 a factor of ((-2232)/28)/((-60)/6440)?
False
Let p = 599 - 287. Does 8 divide p + 7 + (2 - 1)?
True
Suppose -2*o - m = -35, -m - 19 = 5*o - 108. Suppose -o*v - 167 = -545. Is v a multiple of 6?
False
Let o be (45 - -1)/(2/3). Let u = 220 - o. Is 13 a factor of u?
False
Suppose -44833 = 28*c - 11009. Does 12 divide (-16)/(-24) - c/6 - -6?
False
Suppose 5*f + 4*v - 20 = 4*f, v = -4*f + 20. Suppose f*w - 356 = -u, 3*w + 121 = -u + 478. Is 36 a factor of u?
True
Let q(m) = 2*m - 7. Let l be q(6). Suppose u = -4, -274 = -l*z + 3*z - 5*u. Does 14 divide z?
False
Let n = -3942 - -4722. Is n a multiple of 3?
True
Let q = -582 + 1079. Let r = 532 - q. Is r a multiple of 7?
True
Suppose -51 = -5*g - 0*g + n, 2*g - 3*n = 10. Let s = g + 13. Suppose -61 = s*r - 25*r. Is r a multiple of 13?
False
Let w = 27 + -34. Is 26 a factor of 11646/14 + (-1)/w?
True
Suppose -16*u - 4528 = -4*q - 12*u, -2*u = 2*q - 2240. Is q a multiple of 5?
False
Suppose 190 = 14*p - 20. Suppose 0 = 3*m - p, -4*g - 2*m + 6*m = -68. Is g a multiple of 22?
True
Let q(g) = -g**3 - 7*g**2 + 3*g + 8. Let i be q(-6). Let s(h) = -2*h**2 - 33*h - 11. Let n be s(-12). Let f = n + i. Is 23 a factor of f?
False
Let s = -52 + 55. Suppose 3*o = 3, a + s*a + o = 1981. Suppose 0*b = 9*b - a. Is b a multiple of 11?
True
Suppose 5*v = 8*v - 1404. Suppose -m - 5*i = 4*m - 2400, -m - 5*i + v = 0. Is 23 a factor of m?
True
Let w(j) = 3*j**2 + 67. Let m(i) be the third derivative of -i**5/20 - 34*i**3/3 - 5*i**2. Let n(b) = 2*m(b) + 3*w(b). Is n(0) a multiple of 11?
False
Let x(c) = -c**3 + 16*c**2 - 123*c + 2412. Let z be x(17). Let t be (2 + 30/4)*16. Let n = t - z. Does 12 divide n?
True
Is 5/70 + (-27)/(-14) + 487 a multiple of 8?
False
Let q(v) = 7*v**2 - 14*v - 89. Let m(f) = -5*f**2 + 15*f + 90. Let x(u) = -3*m(u) - 2*q(u). Does 9 divide x(-5)?
True
Let w(s) = -s**3 - 16*s**2 - 2*s - 27. Let a 