e 17*a = 13*a + 120. Suppose -y*k - a = -17*k. Is 2 a factor of k?
True
Let w = -9182 - -15663. Is w a multiple of 43?
False
Suppose 115*j + 56760 = 119*j. Is j a multiple of 66?
True
Suppose 2*h + 2449 = -5*v, v + 2*h = -0*h - 485. Does 11 divide (2 + -5 - v) + -4?
True
Let c(k) be the third derivative of -k**6/30 + k**5/60 - 35*k**4/24 - 3*k**3 + 9*k**2. Is 78 a factor of c(-6)?
True
Let p(o) = 94*o**2 + 9*o + 27. Is p(-4) a multiple of 2?
False
Let r = -9 - -12. Let h be 91*r/12*-4. Let q = 138 + h. Is 4 a factor of q?
False
Suppose -3*y - 169 - 209 = 0. Suppose 0 = 3*a - 2*c + 236, 0 = -58*a + 56*a + 5*c - 172. Let z = a - y. Does 10 divide z?
True
Let b(a) = -33*a + 40. Let x = 314 - 354. Is 20 a factor of b(x)?
True
Let j = 4804 + -1863. Does 17 divide j?
True
Let a(r) = 9*r + 155*r**2 - 75 + 54 + 17. Is a(4) a multiple of 16?
True
Suppose 0 = 6*t - 306 - 186. Let j = -44 + t. Is j a multiple of 4?
False
Let p be (3/((-48)/(-40)))/(2/(-136)). Let x = p + 381. Is x a multiple of 46?
False
Let s(k) = k**3 + 69*k**2 + 92*k - 335. Is s(-67) a multiple of 67?
True
Let m(f) = -619*f**2 + 641*f**2 + 0 - 3*f - 5. Does 2 divide m(-2)?
False
Let t(o) = 14*o**2 - 6*o - 10. Let z be t(8). Let c = -499 + z. Does 25 divide c?
False
Suppose -6*y - 84 - 276 = 0. Is 10 a factor of 16/(-6)*y/8?
True
Let h(p) = -p**3 + 27*p**2 + 70*p - 942. Is 3 a factor of h(21)?
True
Is 73 a factor of 204351/14 + 3 - ((-2)/(-4) + -1)?
True
Let x = 1119 - -2655. Is 37 a factor of x?
True
Suppose 4*s = 0, -6*v = -4*v - 4*s + 8. Let t be (v + 1)/((-6)/2288). Suppose q - 9*q + t = 0. Does 31 divide q?
False
Suppose 7*k - 60 = -18. Suppose 0 = k*w - 706 - 1874. Does 5 divide w?
True
Let x(v) = 2*v**2 - 10. Suppose -3 = 8*s + 5. Let b(u) = u**2 + u + 1. Let r(k) = s*x(k) + 4*b(k). Does 17 divide r(-5)?
False
Let b = 22 - 20. Let h be 13/b - 1*(-6)/12. Suppose 5*y = h*y - 278. Is 32 a factor of y?
False
Does 16 divide (-13 - 283)/((-8)/128)?
True
Let g(j) = -4*j - 13. Let p = 55 - 42. Let s = -21 + p. Does 4 divide g(s)?
False
Let x(h) = 3*h + 1. Let v be x(-3). Let q(l) = 4*l**2 - 3*l - 1. Let t be q(-2). Is 20 + t/(-14)*v/(-6) a multiple of 3?
True
Let v = 286 + -285. Is 2/8 + (-1905)/(-12) + v a multiple of 14?
False
Let g(b) be the first derivative of b**5/30 + 7*b**4/12 - 7*b**3/3 + 2. Let d(i) be the third derivative of g(i). Is 12 a factor of d(10)?
False
Let h(r) = -r**3 + 7*r**2 + 62*r + 5. Let y be h(13). Let m(k) = -2*k**2 - 6*k + 1. Let q be m(-6). Does 9 divide (-14)/q - y/5?
False
Suppose -o - 959 = -8*o. Let b = 80 - o. Let i = b + 99. Is 14 a factor of i?
True
Let o be (1 + (-153)/18)*(-4 + 2). Suppose -o*f + 33733 = 10963. Does 11 divide f?
True
Is (-8)/(-16) - (-332780)/56 a multiple of 122?
False
Suppose 0 = -519*m + 496*m - 45982 + 482959. Does 99 divide m?
False
Suppose 7*s = 200 - 39. Let h(c) = c**3 - 24*c**2 + 33*c - 21. Does 20 divide h(s)?
False
Suppose 36*j - 136700 = 110404. Is j a multiple of 66?
True
Let n(t) = 24*t - 10. Let w(d) = 2*d**2 + 3*d - 4. Let q be w(-3). Let f(y) = -36*y + 15. Let u(s) = q*f(s) + 8*n(s). Is 18 a factor of u(8)?
False
Suppose -3*i = -5*h - i + 9, -4*i + 6 = -2*h. Suppose -4*j - 13 = -4*r + j, -1 = -3*r - 5*j. Suppose 1000 = 4*g + l, -11 + h = -r*l. Does 38 divide g?
False
Let t(a) = -a**3 - 24*a**2 + 15*a + 22. Suppose 5*o - 16*h + 17*h = -121, -2*o - h - 46 = 0. Is t(o) a multiple of 4?
True
Let c(o) = -o**3 + 16*o**2 + 9*o - 12. Suppose 53*l = -521 + 203. Is c(l) a multiple of 13?
False
Let v be 51/(-34)*(-12)/18. Let f(m) = 158*m + 2. Let n(u) = 315*u + 4. Let t(s) = -11*f(s) + 6*n(s). Does 14 divide t(v)?
True
Let p = 315 + -82. Does 39 divide (7 + 3 - 2) + p?
False
Let g = 31720 - 18867. Is 213 a factor of g?
False
Suppose 3*t - 26082 = -3*w, 5*t + 244*w - 43520 = 249*w. Is t a multiple of 45?
False
Let b be -20 + 203 + -2 + 1. Let s = b + -116. Is 2 a factor of s?
True
Suppose 2*u = -5*o + 4233 + 2706, -4*o - 20 = 0. Is u a multiple of 62?
False
Suppose -u + l + 2373 = 0, u - l - 2385 = 3*l. Suppose -235 = 3*j + u. Is 13 a factor of j/(-15) + 2/15?
False
Let t(p) = -5*p**3 - 2*p**2 - 90*p - 47. Does 22 divide t(-9)?
True
Suppose 197005 = 44*y - 1045027. Does 10 divide y?
False
Suppose -536*x = -533*x - 5181. Does 43 divide x?
False
Let k = -1 + 1. Let a(n) = 46 + 6 - n + 18 - 25 + 31. Is 31 a factor of a(k)?
False
Let f(x) = x**2 - 6*x. Let r(w) = 12*w**2 - 110*w + 24. Let b(t) = 10*f(t) - r(t). Suppose 0 = -3*j + 34 + 29. Is 16 a factor of b(j)?
True
Let n(h) = 3*h + 722. Let v be n(0). Suppose -w - 5*i + 14 = -231, 3*w + 2*i = v. Does 2 divide (w/84)/(2/7)?
True
Let q(a) = 100*a**2 + 95*a + 773. Is 25 a factor of q(-7)?
False
Let z = -210 - -208. Does 3 divide ((-1)/z)/(16/1856)?
False
Let r be 18/(-21) - 31820/(-259). Let t = 213 - 298. Let w = r + t. Is 37 a factor of w?
True
Suppose o - 3274 = 9*z - 4*z, 5*o + 5*z - 16520 = 0. Is 74 a factor of o?
False
Let o = 16523 + -10090. Is 7 a factor of o?
True
Let j(r) = r**3 + 78*r**2 - 144*r + 480. Is 32 a factor of j(-78)?
True
Does 160 divide (-7 + 5)/(19/(-20577))?
False
Let v = -11 + 11. Let z be -69 - (3 - v/((-4)/(-4))). Does 35 divide (308/z + 4/(-18))*-18?
False
Let h(a) = -3*a**2 - 11*a - 18. Let x be h(-6). Is (x/16)/(1405/(-700) - -2) a multiple of 15?
True
Let x be -4*(-1)/8*-4. Let n(k) = -k**3 + k - 2. Let q be n(x). Suppose -8*t + 32 = -q*t. Does 2 divide t?
True
Let c = -99 - -99. Suppose -5*o = -c*o + 2*x - 242, 120 = 2*o - 5*x. Suppose 14*r + o - 498 = 0. Is 8 a factor of r?
True
Let l(c) = 16*c**2 + 547*c + 4986. Is 9 a factor of l(-9)?
True
Let w = 107 + -108. Let a(h) = -2*h**3 + h**2 - h. Let f be a(w). Is (-186)/f*-14*3/9 a multiple of 13?
False
Let w(a) = -53*a - 183. Let s be w(3). Let b = s - -462. Does 30 divide b?
True
Let d = 262 - 101. Let p = d + -107. Is p a multiple of 6?
True
Suppose -4*p - 4*t + 6050 + 1326 = 0, 3*p - 5524 = 5*t. Is 32 a factor of p?
False
Let l(b) = -b**2 - b + 1. Let o(r) = 18*r**2 + 9*r - 7. Let h(x) = 18*l(x) + 2*o(x). Let c be h(3). Is 27 a factor of (-4)/(-3 - (-494)/c)?
False
Suppose -3*r = -5*a + 15, a - 4*r = -2*r + 10. Suppose a = -9*h - h + 50. Suppose h*x = -5*l + 4*x + 1439, -4*x = -2*l + 580. Is 24 a factor of l?
True
Let c = -7201 - -11318. Suppose 0 = h - 4*z - 1018, -2*h + z + c = 2*h. Does 21 divide h?
False
Let u = -6133 - -24619. Does 79 divide u?
True
Let d(t) = 7*t**3 - 14*t**2 - 2*t - 3. Let u(f) = -10*f**3 + 21*f**2 + 3*f + 4. Let l(w) = -7*d(w) - 5*u(w). Let h be l(7). Does 10 divide 19 + -3 - h/2?
False
Let m(a) = -a**2 - 2*a - 5. Let o be m(-2). Let w be o/(-4) - ((-5)/(-4) - 2). Suppose -i = 0, w*i = -2*p - 2*i + 326. Is p a multiple of 14?
False
Suppose -2*p + 5*m + 1257 = 0, 3*p + 529 = -5*m + 2377. Let w = 664 - p. Does 3 divide w?
False
Let t(j) = 42*j - 25 - 135 + 42 - 6*j. Is t(9) a multiple of 10?
False
Let p be 6/8 + (-36)/(-16). Suppose 0 = 3*y + p, 3*y - 8*y + 19 = 2*s. Suppose -s = 3*j, -z = 2*z + 5*j - 154. Is z a multiple of 33?
False
Let g(m) = 2*m**2 + 10*m - 152. Let a be g(-26). Suppose a = 4*j + 5*u - u, -3*j = -2*u - 720. Does 13 divide j?
False
Suppose 10*q - 2421 - 6083 = -314. Does 63 divide q?
True
Suppose 5*z - 6*z + 20 = 0. Let n be (z/25)/((-2)/(-15)). Suppose 3*a + 180 = n*a. Does 17 divide a?
False
Let i(m) = 2*m**2 + 8*m + 133. Let a = -191 - -204. Is i(a) a multiple of 16?
False
Let b(g) = -g**3 + 22*g**2 - 4*g + 66. Let m be b(14). Suppose -690 = -9*p + m. Is p a multiple of 36?
True
Let f(t) = -t**2 + 4*t + 28. Let c be f(-4). Let v = -20 + 31. Does 17 divide ((-119)/(-4))/((v/c)/(-11))?
True
Suppose -3*w + q - 3611 + 23053 = 0, 2*w - 12980 = -4*q. Is 154 a factor of w?
False
Let w(a) = -a**2 + 51*a - 4. Let g(s) = 3*s**2 - 103*s + 8. Let i(j) = -4*g(j) - 9*w(j). Let u(x) be the first derivative of i(x). Is u(-13) a multiple of 15?
False
Let i = -1054 + 3544. Is 15 a factor of i?
True
Let b be 1 + 7/((-7)/(-2)). Let l be 486*(7/b + 2). Is 10 a factor of (l/(-26))/((-2)/(-4)*-3)?
False
Suppose 106*t + 890795 = 143*t - 634456. Does 273 divide t?
True
Suppose n + 8530 = 2*i, 3*i - 2*n - 12785 = -3*n. Is 7 a factor of i?
True
Let y(f) = 5*f**2 - 18*f + 16. Let r be y(5). Let g(o) = -2*o**2 + 8*o + 1. Let d be g(7). Let h = d + r. Is 2 a factor of h?
True
L