 0 = -5*k - l*g. Is 2 a factor of k?
True
Let x(j) = -j**2 + 37*j - 42. Is 3 a factor of x(33)?
True
Suppose -5*g + 1009 = -606. Is g a multiple of 19?
True
Suppose -7*w = 3*w - 16690. Is 87 a factor of w?
False
Suppose -8*r = -r - 21. Suppose a + 4*y = 6*y + 33, -r*a - 3*y = -135. Is a a multiple of 4?
False
Let m = 4708 - 2914. Does 26 divide m?
True
Suppose 8 = 4*h - 4*y, h - 1 = -2*y - 2. Let o = 11 + h. Does 29 divide (-8)/o*(-711)/6?
False
Suppose 7 + 2 = 3*h. Let x(f) = -13*f - 3. Let b be x(-6). Suppose h*o - b = q, 2*o - 44 = -3*q - 5. Is 21 a factor of o?
False
Suppose 0 = -4*v + 9*v + 535. Let s = 243 + v. Is s a multiple of 17?
True
Suppose -4*a - a + 190 = 0. Let q = a + 25. Is q a multiple of 34?
False
Suppose 0 = 4*t + q - 2267, -3*t - 297*q = -294*q - 1689. Does 4 divide t?
True
Suppose -11 + 56 = 5*b. Is b a multiple of 4?
False
Let o(y) = -y**3 + 4*y**2 + y + 4. Let j be o(4). Suppose -r - 3*u = u - 4, 2*r + 2*u - j = 0. Suppose -r = -f + 15. Is 8 a factor of f?
False
Let k(t) = 2*t**2 - 4*t - 12. Let y be k(-12). Suppose -y = -b - b. Suppose 4*s - b = -2*x, 2*x - 4*x + 39 = s. Is s a multiple of 20?
False
Let i(o) = 5*o**2 - 30*o + 203. Is 48 a factor of i(15)?
False
Suppose 4 = 14*n - 13*n, -2*n - 7376 = -4*m. Does 55 divide m?
False
Let d be (1/3)/(8/240). Is -2 + 2 + -2 + d a multiple of 8?
True
Suppose 2*n - 2*f = 618, -8*n - f = -7*n - 315. Does 42 divide n?
False
Suppose 4*k = 12, -4*t - 5*k = t - 175. Suppose -m = m - t. Is m/(-40) + (-134)/(-10) a multiple of 4?
False
Suppose -2*f + 0*f + 20 = 4*c, 3*f = 4*c - 10. Suppose -3*y = 1 + 11, -2 = -2*p - f*y. Suppose -4*d + 2 = -3*d + 4*w, 0 = -p*d - 2*w + 64. Does 7 divide d?
True
Suppose 566 = 4*v + 2*l, -v - 4*v = 2*l - 709. Let s = v - 59. Is 20 a factor of s?
False
Let v = -1549 + 1896. Does 18 divide v?
False
Let q(z) = -3*z**3 + z**2 + 4*z - 2. Let r be q(2). Suppose 4*c + 3*o + o = -112, -4*o - 60 = 2*c. Let j = r - c. Is 2 a factor of j?
True
Let f(l) = 19*l - 13. Suppose -3*b - 2*a + 39 = 4, -3*b - 3*a + 36 = 0. Let y be f(b). Suppose 3*u - 143 = -2*s, -4*u + s + y = 5*s. Is u a multiple of 15?
True
Let x(v) = -v**2 - 13*v + 14. Let u be x(-14). Suppose u = h - 148 - 3. Does 30 divide h?
False
Is (-737)/(-4) - (-4)/((-48)/3) a multiple of 8?
True
Let c(l) = -42*l + 331. Is c(-8) a multiple of 10?
False
Let b be 1*(1 + 2 + 21). Let t(j) = -j + 2. Let c be t(0). Is 4/(-8)*c + b a multiple of 5?
False
Let u(i) = -22*i + 3 + 31*i - 32*i - 1. Is 10 a factor of u(-2)?
False
Let l(j) = 4*j - 8. Let z be l(5). Suppose -708 = -o - 2*o - y, -4*y = z. Is 25 a factor of o?
False
Suppose 124*k - 64 = 128*k. Does 47 divide (-12)/k - 2692/(-16)?
False
Let l(q) = -q**3 + 5*q**2 + 3*q - 3. Let d be l(5). Suppose -d*r = -11*r. Suppose 2*j - 15 = -2*j - 3*f, -f - 3 = r. Is 5 a factor of j?
False
Let y be 1 + 16/4 + -4. Is (2/3)/(y/108) a multiple of 36?
True
Let o be (-12)/(-2 - 10/(-8)). Let t be (2 + -2)/(-1) - o. Let v = -9 - t. Is 7 a factor of v?
True
Let h(f) = f**3 + 21*f**2 + 11*f + 85. Is 17 a factor of h(-20)?
False
Let t(w) = 8*w - 22. Let o = -19 + 28. Is t(o) a multiple of 10?
True
Is 52 a factor of (-7)/35 - (-16562)/10?
False
Is 57 a factor of (-9206)/(-6) + 30/(-90)?
False
Suppose -2*h + 2*b + 20 = 0, 5*b = 3*h - 1 - 37. Does 2 divide h?
True
Let g(x) = -x**3 - x**2 - 252. Let a be g(0). Let t be (-3)/4 + a/(-16). Let i = 7 + t. Does 10 divide i?
False
Let v(s) = 3*s**3 - 31*s**2 + 10*s - 5. Let p be v(10). Let a(w) = -3 + 4 + w**3 - 2 + 9*w**2 + 12*w. Is 13 a factor of a(p)?
True
Let b(f) = -2*f + 7*f + 3*f**2 + 13*f**2 - 5. Does 33 divide b(3)?
False
Suppose f = -5*z + 27856, -24*z + 11132 = -22*z + 3*f. Is 12 a factor of z?
False
Suppose -26*v = -3818 + 698. Is 20 a factor of v?
True
Let j = 2717 + -1471. Is j a multiple of 14?
True
Let v(n) = -2*n**3 - 20*n**2 + 11*n - 17. Let t be v(-11). Suppose -t*g + 103*g + 155 = 0. Is 31 a factor of g?
True
Suppose 4*k + 5*z = -0*z - 36, -2*z - 12 = k. Let y(u) = -u**3 - u**2 + 5*u - 8. Does 10 divide y(k)?
True
Does 33 divide (7/7 - 13)*-192?
False
Suppose -13 = -5*x - 3*r + 3, 3*x - 2*r - 2 = 0. Suppose 5*q + 2*w = 51 - 159, -3*w + 28 = -x*q. Let z = q + 82. Is z a multiple of 22?
False
Let m(d) = 11*d**2 - 7*d + 11. Suppose -f + 2*f = 2. Does 7 divide m(f)?
False
Let o(i) = i**2 - 46*i + 341. Does 19 divide o(38)?
False
Let p(a) = 4*a**2 + a - 4. Let r be p(2). Suppose -r*d = -11*d - 264. Is 13 a factor of d?
False
Is 80 a factor of 344 - 20 - ((-1)/1 - -5)?
True
Suppose -6*o = -7799 - 3079. Is 60 a factor of o?
False
Suppose 0 = -31*j + 41*j - 3520. Is 44 a factor of j?
True
Let r be 1*(3 + -5)*-11. Is 44 a factor of ((-123)/(-15) - 1/5)*r?
True
Let w(d) = -d**3 - 14*d**2 - 11*d - 4. Let n be w(-13). Is (-694)/n - (-8)/(-60) a multiple of 4?
False
Suppose p = 5*w + 17, -3*p + 2 = -w - 7. Let q be 15/4 + 1/4. Suppose q*d + 68 = 4*h, -2*h + 65 = p*h - d. Is 8 a factor of h?
True
Suppose 2*y = -y + 2*x + 103, -4*x + 11 = y. Suppose 330 = 36*u - y*u. Does 11 divide u?
True
Let m be (876/(-16))/((-3)/16). Suppose -4*i = -2*r + 92, 5*r + 10 = -3*i + m. Is r a multiple of 28?
False
Let t(y) be the third derivative of -y**5/60 - 13*y**4/24 - 19*y**3/6 + 2*y**2. Let g be t(-9). Let l = 4 + g. Is 21 a factor of l?
True
Let a(y) = -y**3 - 20*y**2 - 17*y - 23. Let w be a(-19). Let r = -52 - w. Is 8 a factor of r?
False
Suppose -2*g = -g - 4. Suppose -g*s + 59 = -17. Does 7 divide s?
False
Let g(v) = v**3 + 11*v**2 - 13*v - 4. Let j be g(-12). Is (2 - 4)*j*-1 a multiple of 8?
True
Let t(d) = -2*d**2 + 2*d + 4. Let h(x) = x**2 - 1. Let a(o) = -h(o) - t(o). Let r be (0 + 3)/((-6)/(-24)*-4). Does 6 divide a(r)?
True
Suppose g = -9 - 2. Let k = g - -24. Is k a multiple of 13?
True
Let c = 1026 - 670. Does 34 divide c?
False
Let l(z) = -2*z + 5. Let n be l(4). Let q(p) = -63*p - 9. Let i be q(n). Suppose 2*w - i = -7*o + 2*o, 5*w = -o + 450. Is 30 a factor of w?
True
Let b(t) = 13*t**2 + 6*t + 107. Does 39 divide b(-7)?
True
Suppose -2*t + 284 = 3*t - 2*y, -10 = 5*y. Let d be 18/45 - t/(-10). Let v(l) = l**3 - 4*l**2 - 8*l + 8. Is v(d) a multiple of 23?
False
Let x(d) = 2*d**2 + 9*d + 3. Let r(h) = -10*h**2 - h. Let w be r(-1). Does 14 divide x(w)?
True
Suppose -3*l + 225 = 3*j - 4*l, 4*l - 75 = -j. Is 15 a factor of j?
True
Let a(w) = w**2 + 7*w + 11. Let u be a(-6). Suppose 3*i + 357 = 4*l, u*l - 433 = 2*i + 15. Is 15 a factor of l?
True
Let q be 1/(-2)*((-10 - 3) + 1). Suppose q*x - 4*x - 18 = 0. Does 2 divide x?
False
Suppose 6*z - 27 = 231. Suppose 0 = 2*r - z + 7. Is r a multiple of 9?
True
Suppose 76*g = 77*g - 5. Is ((-4)/(-4) - g) + 5 + 69 a multiple of 4?
False
Suppose v = -3*a, 4*v - 4*a + 2 - 18 = 0. Let x be 3/(-1) - -2 - -3. Suppose 0*u + v*u - x*l = 58, 0 = u + 3*l - 1. Is 9 a factor of u?
False
Let m = -1 + 2. Let w(r) = -r**2 + 9*r + 2. Let z be w(10). Let j = m - z. Is 9 a factor of j?
True
Let u(h) = -57*h + 39. Does 12 divide u(-3)?
False
Suppose -l = -4*c + 484, -3*c = l + 117 - 480. Does 11 divide c?
True
Let m = 3489 + -1479. Is m a multiple of 30?
True
Let o(l) = -l**3 - 2*l**2 + 2*l + 4. Let i be o(3). Let p = i - -105. Is 14 a factor of p?
True
Let b(t) = -2*t**3 + 6*t**2 - 5*t + 17. Let c(o) = -3*o**3 + 7*o**2 - 5*o + 18. Suppose -4 = -l - 1. Let j(n) = l*c(n) - 4*b(n). Does 16 divide j(-6)?
True
Let v = -39 + 14. Does 7 divide 11 + (-5)/(v/15)?
True
Suppose 0 = -k + 4*q + 108, -3*q = k + 2*k - 399. Is 9 a factor of k?
False
Is 4 a factor of 9*385/15 - 3?
True
Let f be -5*(11/5 - 3). Suppose -3*g = -f*m + 17, m + 0*g - g - 4 = 0. Suppose 0 = -m*n - 4*h + 192, 0 = n - h - 22 - 11. Is n a multiple of 12?
True
Let j(q) = 39*q + 2. Is 5 a factor of j(2)?
True
Let g be (2 - 151)/(1/(-2)). Is 18 a factor of 4*(-1)/(-8)*g?
False
Suppose -q + 3*m = -316 - 521, -3*q - 5*m = -2525. Is q a multiple of 12?
True
Let i be 2 + (113 - -2) + 3. Suppose -11*o + 12*o = i. Is 30 a factor of o?
True
Suppose -8*y + 81 = -5*y. Let g(s) = -y*s**2 + 3 + 2*s - s + 33*s**2. Is 4 a factor of g(-2)?
False
Let z(b) = 487*b**2 - 14*b + 18. Is z(2) a multiple of 17?
True
Suppose 5*h + 13*g - 500 = 11*g, -2*h + 219 = -3*g. Is h a multiple of 5?
False
Let k be (2 - -1) + 0 - 160 - 2. Let q = k + 303. Is 12 a factor of q?
True
Let k(z) = 1