e of -m**4/4 + 7*m**3/3 + 4*m**2 - 2*m - 48. Does 4 divide w(7)?
False
Let n = -256 - -261. Suppose -9*l + 1464 = -n*l. Is l a multiple of 16?
False
Suppose 27562 = 3*o - 8*j, -o = -17*j + 13*j - 9182. Does 42 divide o?
True
Let i = 4488 - 4598. Let a = 63 + 170. Let o = a + i. Is 25 a factor of o?
False
Let g(h) = 39*h**3 - h + 5*h - 38*h**3 - 15 - h**2. Let d be g(6). Suppose 0 = 11*a - d - 9. Is a a multiple of 9?
True
Let g(s) = -3*s**2 - 193*s + 22. Is g(-28) a multiple of 42?
False
Suppose -16 = -9*p + 2. Suppose 947 = 5*m - p*u, -u = -m + 100 + 87. Suppose -t - 3*r - 56 = -m, 0 = -3*r + 9. Does 21 divide t?
True
Let b be (4/12)/((-3)/(-108)). Does 54 divide (-2 - (-19710)/b) + (-6)/12?
False
Let z = -10590 + 16446. Is z/60*(16 + -1) a multiple of 12?
True
Suppose -2*p = -2*a - 14629 + 5811, 3*a + 2*p + 13242 = 0. Is (-5)/15 - 4/24*a a multiple of 20?
False
Is 12 a factor of ((-99)/27 + 2)*8460/(-25)?
True
Let t(q) = -34*q + 86. Let b be t(-12). Let z = b + -245. Is 4 a factor of z?
False
Suppose -13*f + 748 + 26988 = -250464. Is 20 a factor of f?
True
Let d = 38 + -74. Let r be (d/(-8) + -4)*14. Does 3 divide 4/(-28) + 71/r?
False
Let f = -7525 - -8712. Is 40 a factor of f?
False
Suppose 0*x = 4*d - 4*x, 0 = 2*d + 2*x + 16. Let m be (3 + (-100)/4)*d. Let u = m - 42. Is u a multiple of 23?
True
Suppose 5*y + 25*j = 37750, -2*y + 13821 = -j - 1301. Does 105 divide y?
True
Let i be -8 - -11 - 12*(1 - 0). Let o(p) = -4*p - 24. Is 4 a factor of o(i)?
True
Suppose 0 = -4*q - z - 37, 3*q - z = -2*q - 44. Is 8 a factor of (-150)/q*162/45?
False
Suppose 5*x = -4*s + 5869, -5*s - 20*x + 21*x + 7329 = 0. Is 37 a factor of s?
False
Let k(n) = -188*n + 12770. Is k(12) a multiple of 49?
False
Let k = -17973 - -22429. Is k even?
True
Let f(s) = s**2 - 16*s + 31. Let n = 18 + -11. Let q(x) = -x**2 + 7*x + 15. Let z be q(n). Is f(z) a multiple of 4?
True
Let n(k) = 25*k**3 + 2*k**2 - 2*k. Let w be n(1). Suppose -w*m + 232 = -21*m. Let g = m + -37. Does 6 divide g?
False
Suppose -13*d - 90 - 118 = 0. Let p = d - -53. Is 4 a factor of p?
False
Let c(s) = 5*s**3 + s**2. Let k be c(1). Let u be ((-3330)/(-50))/(k/20). Suppose v - 91 = -5*f, 2*f - u = 2*v - 4*v. Is 22 a factor of v?
False
Suppose 9637 = 2*q - 3*r, 0 = 17*q - 13*q - 2*r - 19262. Is q a multiple of 26?
False
Suppose 6*l - 2380 = -14*l. Does 7 divide l?
True
Let f = 23 + -19. Suppose 3*i + 4*b = 4, -f*b + 4 + 0 = 2*i. Let a(p) = -p**2 + 2*p + 23. Does 7 divide a(i)?
False
Let v(r) = 5*r**3 - 67*r**2 + 60*r - 37. Is v(15) a multiple of 31?
False
Let b be -1*4 - (2 + 5 + -5). Is 19 a factor of ((-2)/b)/(11/2904)?
False
Suppose 68194 = 132*q - 128*q - 2*v, 4*v - 221683 = -13*q. Does 17 divide q?
True
Let r(g) be the second derivative of 49*g**3/6 + 30*g**2 - 114*g. Is r(3) a multiple of 9?
True
Let p(v) = 4*v + 483*v**2 + 50*v**2 - 129 + 124 - 94*v**2. Is p(1) a multiple of 29?
False
Is 181 a factor of 9/18 - 344610/(-28)?
True
Suppose 985*f - 986*f + 5685 = 0. Is f a multiple of 5?
True
Suppose 0 = -4*i + 8, 4*n - 5748 = -3*i + i. Is ((-9)/6)/(3*(-2)/n) a multiple of 62?
False
Is (-20228)/(-3) + -3 - 564/(-423) a multiple of 7?
True
Let g = -122 + 79. Let s = g - -63. Suppose 17*t - s*t = -468. Does 14 divide t?
False
Let k(n) = -17*n**2 + 6*n + 1. Let q be k(5). Let t = q + 815. Is 63 a factor of t?
False
Let k(y) = -16*y**3 + 2*y**2 - 2*y - 3. Let f be (-3 + -1)*7*(-1)/(-28). Does 3 divide k(f)?
False
Does 2 divide ((93 + 12)/7)/(3/37)?
False
Let q be ((-21210)/(-20))/7*-2. Let r = 1671 + q. Is 76 a factor of r?
True
Suppose -p - g + 0 = -5, -3*p = -2*g - 25. Let i(s) = -s**3 - 4*s**2 - 2 + 2 + 2*s + 7*s + 2*s**3 + 6. Is i(p) a multiple of 24?
True
Is 20 a factor of (74438/637)/((-2)/(-14))?
False
Suppose 0*w = -w + q, -4*q = -8. Suppose -206 = -w*n - 62. Let o = n + -56. Is 4 a factor of o?
True
Let o(h) = -5*h**2 - 88*h + 10. Suppose x - 7 + 27 = -s, 2*s = x + 8. Does 10 divide o(x)?
False
Let w = -57 + 34. Let c be (1/3*-10)/(w/2691). Suppose -796 = -4*a - 2*h, 5*a + 5*h = 3*a + c. Is 50 a factor of a?
True
Let f(a) = 26*a + 46. Let p(y) = -2*y - 1. Let d(n) = f(n) - 4*p(n). Does 22 divide d(6)?
False
Suppose -23 = 26*k + 55. Let f be ((-5)/(-4))/(2/16). Does 5 divide ((-9)/(-6))/k - (-855)/f?
True
Suppose 193 = 40*o + 73. Is ((-3845)/15)/((-1)/o) a multiple of 21?
False
Let h = 1102 + -781. Suppose 0 = 9*z - 19*z - 2150. Let d = h + z. Is d a multiple of 27?
False
Let c = -353 - -350. Let h(l) = 28*l**2 - 11*l - 20. Is h(c) a multiple of 13?
False
Let u(k) = -48*k**2 - 33*k - 12. Let d be u(-6). Let f = -282 - d. Is f a multiple of 96?
False
Let i be 0 - ((-141)/27 - (-6)/27). Suppose -4*g - i*z + 1252 = 0, -2*g - 2*z = -0*z - 628. Let a = -202 + g. Is a a multiple of 15?
False
Suppose -200*k + 30 = -198*k. Suppose 0 = -k*i + 20*i - 440. Is 7 a factor of i?
False
Is 204 a factor of 4/6 + 29/(696/240464)?
False
Let d = 15 + -10. Let l = 120 + -117. Suppose 0 = -l*x + d*o + 5, o - 2 = 3*x - 27. Is 2 a factor of x?
True
Let j(l) = l**3 + 36*l**2 + 65*l - 96. Let b be j(-34). Suppose 2*y + b*h - 7*h = 1867, -4661 = -5*y - 4*h. Is y a multiple of 9?
False
Let z = -178 + 190. Suppose 124*r - z = 121*r. Is r even?
True
Let k be 3/9 - (-745)/15*1. Suppose -k*a + 40 = -48*a. Suppose 3*x - 95 = 4*i - 3*i, 4*i = -a. Is 5 a factor of x?
True
Suppose 5465 = a + 2*c, -c + 5470 = a - 0*c. Is a a multiple of 75?
True
Let i = -655 + 653. Is 48 a factor of (-6)/((i/12)/((-410)/(-20)))?
False
Let b(p) = -p. Let l be b(-4). Suppose 3*s = v + 362, -27*s - 2*v - 124 = -28*s. Suppose -4*g + 2*g = -3*h + 65, -s = -4*h - l*g. Is h a multiple of 25?
True
Suppose 0*a - 5*v = -a - 127, 0 = v - 2. Let x be (-26)/a - (2 - (-3454)/(-9)). Suppose 0*k - 4*k - s + 379 = 0, x = 4*k + 2*s. Does 15 divide k?
False
Let x(o) = 1550*o - 10308. Is 5 a factor of x(7)?
False
Let l(m) = 1210*m**2 + 57*m - 21. Is 32 a factor of l(3)?
True
Let l = 21 - 81. Let t = l + 104. Is 9 a factor of (-8)/t*-1 - (-3162)/33?
False
Let w(f) = -f**3 + 28*f**2 + 3*f + 191. Is w(28) a multiple of 25?
True
Let a be -1 + 108/26 - 26/169. Suppose -a*t + 5*t - 3*u + 1 = 0, 5*t - 4*u - 8 = 0. Does 4 divide t?
True
Suppose -x + 1 = -5*g, 2*x - 5*g = -3*x + 25. Does 10 divide (x/5)/(-2*(-2)/740)?
False
Let m(o) = -3*o**2 - 2. Let n be m(-2). Let d(c) = c**3 + 20*c**2 + 70*c + 16. Does 5 divide d(n)?
False
Suppose 629*y - 67902 = 624*y - k, 2*y = 2*k + 27156. Is 114 a factor of y?
False
Let s(i) = -i**2 - 11*i + 2. Let b be s(-4). Suppose -23*m = -17*m - b. Suppose f - 2*f = 2*j - 48, -j + 46 = -m*f. Does 13 divide j?
True
Let l = 32926 + -17509. Does 8 divide l?
False
Let q = 84 - -83. Let n = -90 + q. Does 9 divide n?
False
Let w be 468/(-20) - 7 - 2/(-5). Let t = w - -83. Is 3 a factor of t?
False
Let y(x) be the second derivative of 205*x**3/6 - 46*x**2 + 5*x + 11. Is 8 a factor of y(4)?
True
Let f = -2585 + 3924. Is f a multiple of 4?
False
Let w(s) = 20*s - 18. Suppose 0 = -4*h + 5*h - 5. Let d(u) = 20*u - 17. Let g(o) = h*d(o) - 4*w(o). Does 21 divide g(9)?
False
Suppose 4*q = 4*l - 480, 2*q = 2*l + 2*l - 486. Suppose 0 = 4*s + 5*a - 338, 4*a - 43 = -2*s + l. Let g = s + -76. Is 3 a factor of g?
False
Let c(d) = 7*d + 204. Does 47 divide c(45)?
False
Does 52 divide 6/4 - (-11)/(154/9443)?
True
Let p = -116 - -119. Is 25 a factor of ((-135)/(-6))/(29/(-10) + p)?
True
Let j be -3 - (-15)/(1 + 2). Suppose -o - 4*a + 12 = -4*o, -4*o + j*a = 16. Is 7 a factor of (o - (-56)/12)*72?
False
Let d be -42 + -2 + -4 + 2. Let c = 199 + d. Does 49 divide c?
False
Suppose 3*x - 23 = -f, 3*f + x = 65 + 44. Suppose 240 = j + 31. Let o = j - f. Is o a multiple of 10?
False
Let u be (-11536)/(-9) - ((-145)/45 - -3). Suppose q - 4*h - 343 = 0, 0*q = -4*q - 2*h + u. Let m = q + -149. Is m a multiple of 29?
True
Let h = 961 + 7999. Does 10 divide h?
True
Let y = 79 + -77. Let d(s) = -7*s + s**3 - 6 - 18*s**y + 7*s**2 - 7*s. Is d(13) a multiple of 25?
True
Let k be 28*2/24 - (-2)/3. Let z(h) = 13*h**2 + 5*h + 1. Let o be z(k). Let d = o + -77. Is 8 a factor of d?
True
Let l be (-7 - -5) + 549/3. Suppose -13*a + 12*a + l = 0. Is a a multiple of 14?
False
Let n = 118 + -70. Let f(i) = -2*i**3 - i - 1. Let s be f(-1). Suppose -5*v + 213 + 49 = -s*t, v - n = -4*t. Is v a mu