z + q - 2741 = t, -6*q + 2735 = 4*z - 11*q. Is 4*z/18 + (-6)/27 a multiple of 38?
True
Let q be 6/(-15) + (-9832)/20 + -3. Does 39 divide 2/(-4 + q/(-123))?
False
Is 8 a factor of 70290/88 - (-10)/8?
True
Let m = -13145 + 32612. Is m a multiple of 21?
True
Suppose -12*i + 408 = -4*i. Suppose 3*n = -5*q + i, -24 - 3 = -2*n - q. Does 6 divide 909/6*n/18?
False
Let p(y) = y**2 + 10*y - 7. Let h be p(-5). Let m be (-3)/(-9) + h/(-12). Suppose m*s = 18 - 0. Is s a multiple of 6?
True
Suppose -2*i - 52 = -58, -5*t = -i - 81992. Does 168 divide t?
False
Let l = -143 - 36. Let n = l + 247. Is n a multiple of 4?
True
Suppose -147*j + 599 = -146*j + l, -2*l + 2408 = 4*j. Is j a multiple of 5?
True
Suppose 3*c - 5*o = 29, -2*c + c = 3*o + 9. Suppose -c*d + 332 = 98. Let w = d + -48. Is 10 a factor of w?
True
Let f be (-2)/6*0 - -4. Let r be (-1)/(1*f/(-28)). Suppose r*i = -50 + 435. Does 11 divide i?
True
Suppose -303*f + 289*f = -17444. Is f a multiple of 14?
True
Let a = 287 + 116. Does 19 divide (5 + -10)*(a/(-5) + 1)?
False
Suppose 485*b = 464*b + 745584. Does 56 divide b?
True
Let b(f) = f + 2. Let h be b(0). Suppose 3*w - k - 2 = h, -w = k. Does 20 divide -3 + 80 - w*-3?
True
Let z be (-423)/(-21) + 4/(-28). Suppose 3*y + 174 = 4*l, -l + 3*y + 65 = 17. Let x = l - z. Does 22 divide x?
True
Let w(d) = -1357*d + 7051. Does 170 divide w(-27)?
True
Let m = -198 - -330. Is 19 a factor of 25104/m - (-8)/(-44)?
True
Let v = 24964 - 11096. Is 227 a factor of v?
False
Let z = 387 + -385. Suppose 5*b + r - 1612 = -3*r, 4*b - z*r = 1274. Is 16 a factor of b?
True
Is (-7)/(-28)*35536 - 4 a multiple of 15?
True
Let v(k) = k**3 + 38*k**2 + 12*k - 57. Is v(-8) a multiple of 3?
True
Let c = -6666 + 11823. Suppose 0 = 9*h - 14*h + p + 5161, 5*h + 3*p = c. Is 24 a factor of h?
True
Let g(a) = a**3 - 6*a**2 - 15*a + 1. Let f be g(7). Let w = f - -49. Does 32 divide 2470/39 - 4/w?
True
Does 157 divide (-2)/23 - (-74)/((-6808)/(-5177124))?
False
Let b be (-1 - -3)*(-3)/(-6) - 1. Suppose 4 = 2*k - b. Suppose -2*n = 2*n - k*v - 236, 5*n = v + 295. Is 40 a factor of n?
False
Suppose -q = 2*q - 12. Suppose -71 = 4*i - y, y - 8 = i + q*y. Let p = 35 + i. Is 2 a factor of p?
True
Suppose 0 = -2*y - 4*c + 46, 3*y + 7 = 2*y + 4*c. Suppose y*g = 3210 - 1000. Does 23 divide g?
False
Suppose 0*z + 47*z - 213004 = 0. Is z a multiple of 7?
False
Let p(j) = -1549*j - 414. Let m be p(-6). Suppose m = -36*b + 41*b. Is b a multiple of 48?
True
Let a be (-1 + -396)/(13 - 12). Let r = -279 - a. Is -7 + r - 1/(1 - 2) a multiple of 16?
True
Suppose -7*l + 7064 = -5347. Is 15 a factor of l?
False
Suppose -3*r - 15 - 1 = -5*u, -3*u + 27 = 4*r. Suppose o - 1500 = -3*o - 5*a, u*o = -a + 1854. Is 16 a factor of o?
False
Let y(v) = -3*v - 39. Let p(m) = -2*m - 38. Let w(l) = -5*p(l) + 6*y(l). Let a be w(-5). Does 7 divide (-16)/24 - (1552/6)/a?
False
Let g = -1132 - -259. Let h = -530 - g. Does 40 divide h?
False
Suppose -4*r - 4*d + 9976 = 0, 2*r - 3*d - 4979 = -8*d. Is 100 a factor of r?
False
Let h = -15 + 18. Suppose h*r + n = -6, -r - 4*n - 2 = -5*n. Does 9 divide (6/(-10))/(3/180*r)?
True
Let w(i) = -7*i + 9. Let a(f) = -12*f**3 - 4*f**2 - 2*f. Let x be a(-2). Suppose -6*g + 10*g + x = 0. Is w(g) a multiple of 13?
True
Let v(o) = o**2 - 18*o - 4. Let j be v(19). Let s be (-15)/(-25) + 21/j. Suppose -t - s*t + 11 = 4*w, 0 = -4*t - w + 32. Is t a multiple of 3?
True
Suppose 3*f - 5536 = v - 14928, f = -4*v + 37529. Is v a multiple of 95?
False
Suppose -31 = -5*x - l, 0 = 4*x + 5*l - 0*l - 8. Let n be x/2*(-80)/(-28). Let b(h) = h**3 - 11*h**2 + 17*h. Does 35 divide b(n)?
True
Is 4 a factor of 7*48/448 + (-6141)/(-4)?
True
Suppose -4*p = i - 11, -2*i - 13 - 17 = -5*p. Is 13 a factor of 87 - ((-40)/i - 1)?
False
Suppose 3*a - 18 + 54 = 5*s, -2*a = s - 2. Let z be -36*7/14*(-4)/s. Suppose z*k = 7*k + 300. Does 12 divide k?
True
Let b(o) = -o**3 - 7*o**2 - 8*o - 6. Let m be b(-7). Let x(f) = f + 52 - 46 + m. Does 8 divide x(17)?
False
Suppose 6*b = -6*b + 2196. Let r = 233 - b. Does 11 divide r?
False
Let k(g) = 16*g + 896. Is 45 a factor of k(34)?
True
Let w be (-6)/4*6 - (-6 - -7). Is ((-372)/w)/(3 + (-129)/45) a multiple of 32?
False
Let r(i) be the third derivative of 0 - 1/24*i**4 + 1/6*i**3 + 0*i - 3*i**2. Is 6 a factor of r(-13)?
False
Suppose -2*o + 5607 + 9042 = f, 4*f - o = 58605. Does 5 divide f?
False
Let l(m) be the second derivative of m**4/12 + 13*m**3/3 - m**2 - 19*m. Is 2 a factor of l(-28)?
True
Suppose 4*k - 661 = -37*r + 36*r, 4*r + 3*k - 2605 = 0. Is r a multiple of 59?
True
Let m(v) = v**3 - 6*v**2 - 7*v + 9. Let o be m(7). Let t(p) = -3*p - 254 + 2*p**2 + 290 - o*p. Is 34 a factor of t(8)?
True
Let l = 2181 - 113. Is 4 a factor of l?
True
Let l = 21 - -54. Let b = 235 + l. Suppose 376 = 7*w - b. Is 14 a factor of w?
True
Let l(a) be the third derivative of 23*a**5/60 + 19*a**4/24 + 11*a**3/2 + 197*a**2. Is l(-5) a multiple of 9?
True
Let o = -212 - -141. Let i = -102 - o. Let r = i - -79. Is r a multiple of 16?
True
Suppose -12 = -2*h - 8. Let s be (-8)/14*(-5 - h). Suppose -4*j + 44 = 2*o, -4*j - s*o = -5*o - 50. Is j a multiple of 4?
True
Let b = 11 - 5. Let l(r) = -b*r + 44 - 19*r - 9 + 4*r. Is 14 a factor of l(-9)?
True
Let c = -147 + 758. Let p = c - 78. Does 50 divide p?
False
Suppose 5*f + 5*a = 10130, 3*f - 13*a = -14*a + 6084. Is 8 a factor of f?
False
Let t be (14 - 1)/((-9)/(-18)). Suppose -27*b = -t*b. Suppose b = -3*p + 5*u + 63 + 70, u = 4*p - 183. Does 8 divide p?
False
Suppose -26*l - 5*l - 1525 + 30138 = 0. Is 71 a factor of l?
True
Let q(p) = 32*p**2 - 3*p + 1. Let j be ((-6)/4)/(30/80). Let t = 5 + j. Is q(t) a multiple of 22?
False
Let o = 169 - -74. Let w = o + -195. Is w a multiple of 6?
True
Suppose 4*p = -6*p + p. Let k(q) = q**2 - 4*q + 25. Is 9 a factor of k(p)?
False
Suppose 60 = -4*k - 5*p + 2*p, -2*k + p = 30. Let n be (-33)/9*k*-1. Let j = -7 - n. Does 16 divide j?
True
Let w(k) = k**2 - 27*k + 28. Let b be w(26). Suppose -j + 5 = b. Suppose g - 3*d = 338 - 120, j*g = -2*d + 709. Is g a multiple of 35?
False
Does 7 divide 861*((60 - 58) + 16/(-14))?
False
Let r(l) = 4056*l**2 + 16*l - 18. Is 42 a factor of r(1)?
False
Let b = 4647 - -1011. Does 3 divide b?
True
Suppose 23*a - 15767 = -4336. Suppose 5*c - 7*c + s + a = 0, -3*c - 4*s = -740. Is c a multiple of 31?
True
Let b(h) = -h. Let j(s) = 15*s**2 - 2*s - 3. Let m(a) = -3*b(a) + j(a). Let u be m(-2). Suppose -4*n = -5*n - i + 5, -4*n = -3*i - u. Is 9 a factor of n?
False
Suppose 5*r + 57*r - 514269 = -r. Is 18 a factor of r?
False
Let d = 32309 + -23146. Does 11 divide d?
True
Let z(q) = -8*q - 6. Suppose 5*j - 70 = 5. Suppose -j*v + 9*v = 42. Does 25 divide z(v)?
True
Let r(g) = -26*g - 20. Let f be r(-13). Let p = 406 - f. Is p a multiple of 22?
True
Let j = 46 - 42. Is 4*j/(-4) + 60 a multiple of 14?
True
Suppose 6*s - s = -4*x + 6717, -s - 6687 = -4*x. Is 30 a factor of x?
False
Let p be 2*-5*10/(-20). Suppose 0 = -5*v - 3*m + 558, -7*m + 560 = p*v - 2*m. Let q = v + -92. Is q a multiple of 7?
False
Suppose 8 = -2*i, 21*u - 20*u - 76 = -i. Is (9 + u/(-10))*9*47 a multiple of 47?
True
Let q(u) = 17*u + 39. Let j be q(-2). Is (7 + (-266)/(-35))*j a multiple of 9?
False
Suppose 0 = -13*o + 11*o + 3050. Suppose 4*m + 49 = o. Suppose 2*a - 5*a + m = 0. Is 14 a factor of a?
False
Let d = 598 - 574. Suppose -5*l + 3312 = -4*y, 0 = -2*l + 19*y - d*y + 1305. Is 5 a factor of l?
True
Let a(s) = -44*s - 49. Let f be 28/(-35)*5/(-2) + 1. Suppose -f*z = -16*z - 91. Is a(z) a multiple of 37?
True
Suppose 19*m - 18*m + 5*w - 10086 = 0, -4*w = 5*m - 50325. Does 106 divide m?
False
Is ((-5831)/(-34))/((-16)/(-832)) a multiple of 69?
False
Let w be (18 - -1) + -3 + 5 + -3. Suppose w*f - 12*f = 12. Suppose 4*o = i + 84, -4*i = o - f*i - 12. Is o a multiple of 5?
True
Let l = 23765 - 9705. Is l a multiple of 37?
True
Let g(p) = 21*p - 14. Let t be 128/9 - 4/(-144)*-8. Does 20 divide g(t)?
True
Let b(n) = -2*n**3 + n**2 + n + 5. Let w be b(0). Suppose w*m = 3*t + 2278, 3*m + 6*t - t - 1394 = 0. Is 42 a factor of m?
False
Suppose -100*y + 62*y = -62*y + 131760. Is 90 a factor of y?
True
Suppose 6*v = 3*v - 171. Let z(w) = 2*w**3 - 7*w**2 - w - 15. Let a be z(5). Let h = a - v. Is h a multiple of 14?
Tru