m = -28, k = 3*g - 7*m + 4*m - 66. Is 3 a factor of g?
False
Suppose 5*o - 2*o = 18. Let w be (-8)/24 + 1262/o. Let r = 294 - w. Does 21 divide r?
True
Let r be ((-11)/22)/(1/(-978)). Let s = r + 171. Does 60 divide s?
True
Suppose 2*g - 2*x - x + 4 = 0, 28 = 5*g + 2*x. Suppose a - 156 = -g*l - 3*a, 160 = 4*l + 2*a. Is 10 a factor of l/2 + (-1)/2?
True
Suppose 0 = -4*v - 4*g - 900, -818 = 5*v + g + 287. Let s = 173 - v. Does 24 divide s?
False
Suppose k = -6*k - 7. Is 246 - (-3 + k - 0) a multiple of 50?
True
Let c(b) = b**2 + 57*b + 659. Let q be c(-16). Let u(o) = -32*o**3 + 2*o**2 - 3*o + 2. Let w be u(-4). Does 13 divide w/18 - 1/q - -1?
True
Is 41 a factor of 1284/3*8/16?
False
Let f(l) = -1731*l**3 - 57*l**2 - 115*l - 2. Is f(-2) a multiple of 24?
True
Suppose 181*b = 172*b + 37512. Suppose 21*k + g - 2505 = 18*k, -5*k - 4*g = -b. Is k a multiple of 11?
True
Let n(j) = -97*j + 2*j**3 + 9*j**2 - 3*j**3 + 46*j - 3 + 44*j. Let o(t) = t**2 - 8*t - 3. Let h be o(9). Is 11 a factor of n(h)?
False
Let a = 0 + 32. Suppose a*z + 86 = 30*z. Is 16 a factor of (z - 1)*(2 - 4)*2?
True
Let j(t) = t**3 - 92*t**2 - 79*t - 1784. Is j(94) a multiple of 5?
False
Let x(y) = 311*y**2 - 5*y + 5. Suppose 14 = 8*u + 6. Does 82 divide x(u)?
False
Let d be (1 + -1)*(1 - 2) - -51. Let o = d + -49. Suppose o*h + 2*h = -8, a + 2*h = 166. Is a a multiple of 25?
False
Suppose -3*d - 5 = 4, -3*h + d = 45. Let p(g) = g**3 + 14*g**2 - 24*g - 16. Let n be p(h). Let k = n - -243. Is 11 a factor of k?
True
Suppose -3*m + 4*m = 7. Let y(c) = -2*c**2 + 15*c - 5. Let k be y(m). Suppose 165 = k*v + 17. Is v a multiple of 12?
False
Let g be (4/(-3))/((-4)/12). Suppose -t - t = g*o - 90, 4*o + 5*t - 75 = 0. Is o a multiple of 15?
False
Let d = 1814 - 559. Does 12 divide d?
False
Let y(s) = 178*s - 901. Is 8 a factor of y(14)?
False
Is (-9)/6 - -2 - -86*1542/8 a multiple of 121?
True
Let w(m) = 149*m + 132. Let u be w(9). Suppose 0 = 9*f - u - 3234. Does 36 divide f?
False
Suppose 4*k - 1356 = -o, -387*o - 2704 = -389*o - 4*k. Is 2 a factor of o?
True
Let a be 1/((-22)/23 - -1). Let c = a - -19. Suppose 9*s - 11*s = -c. Is s a multiple of 9?
False
Is 12 a factor of (138/(-4))/(147854/(-14784) - -10)?
True
Let j = 611 + -898. Let q = j - -305. Is 18 a factor of q?
True
Is 12 a factor of 4/38 + 6725292/1311?
False
Suppose -4*s = -1502 + 174. Suppose 53 + s = 11*x. Is x a multiple of 3?
False
Let h = 97 + -110. Let d = 37 - h. Let t = 16 + d. Does 11 divide t?
True
Let v be (12/15)/((-2 - 5)/(-3990)). Suppose -v*r + 2440 = -452*r. Is r a multiple of 16?
False
Suppose 3*d + 5*x - 109 = 126, 3*d + 2*x = 229. Suppose -21*q + 3831 = -d. Does 6 divide q?
True
Let f = 109 + -105. Suppose -2*y - 5*k + 5 + 13 = 0, -2*k = -f*y + 36. Is y even?
False
Let x be ((-815)/(-10) + 4)/((-3)/(-28)). Suppose 0 = 9*q - 16*q + x. Is 7 a factor of q?
False
Let t be 44/66*6/(-2). Suppose 0*a - 480 = 8*a. Is 15 a factor of (a/(-9))/(t/(-9))?
True
Let t(d) = d**3 + 3*d**2 - 6*d - 5. Let s be t(-3). Does 8 divide 2/(-4)*(-13)/(s/72)?
False
Let d(s) = -s**2 + 14*s - 43. Let m be d(6). Suppose 4*o = m*o - 518. Is 37 a factor of o?
True
Let n(h) = -2*h**2 + 108*h - 86. Does 67 divide n(31)?
True
Let c(k) = 33*k - 26 - 27*k**2 - 17*k**3 - 14*k**3 + 32*k**3. Does 20 divide c(26)?
False
Suppose 8 + 7 = -5*f, 0 = n - 4*f - 917. Suppose 35*p - 18545 = -n. Does 10 divide p?
False
Let q = 39 + -3. Suppose u - 9 = 5*k, -u - 3*u = -2*k - q. Suppose 0 = 3*g + f - 62, u + 13 = g + f. Does 19 divide g?
False
Suppose -1215 = 80*m - 75*m. Let h be (-2)/9 - 26298/m. Let k = h - -72. Is 10 a factor of k?
True
Let p = 6 - -4. Let g(y) = -y**3 + 12*y**2 - 12*y - 10. Let z be g(p). Let j = z + -24. Is 7 a factor of j?
False
Is (-2202)/(-2) + (66 - 65) even?
True
Let l(d) = 10*d**2 - 3*d - 7. Let w be l(-5). Suppose t - w = -5*t. Let p = 48 - t. Does 2 divide p?
False
Is 4 a factor of (-2230976)/(-1760) + (-2)/(-5)?
True
Suppose -k - 42775 = 5*d - 188692, 0 = k - 7. Does 107 divide d?
False
Let f(o) = -o**3 + 60*o**2 - 193*o + 364. Is 57 a factor of f(52)?
False
Suppose 0 = 30211*w - 30210*w - 7113. Is 159 a factor of w?
False
Let i(s) = 7*s**2 - s - 13*s**2 + 1 + 5*s**2 + 3*s**3. Let j be i(1). Suppose 0 = -5*d + j*h - 0*h + 365, -d - 4*h + 73 = 0. Is d a multiple of 23?
False
Suppose 405216 = 36*r + 13*r - r. Is r a multiple of 9?
True
Let n(w) = -w**2 - 9*w + 24. Let x be n(-11). Suppose 3*o - 7*u + 2*u = 24, 5*o + x*u = 40. Is 6 a factor of (o/(-10))/((-20)/350)?
False
Let b(c) = -776*c - 844. Does 38 divide b(-10)?
True
Suppose 0 = 3*p - 2*m + 4, 2*p + 21 = -0*p + 5*m. Let z be 1/p*-6 - -3. Is (z - 48)/((-30)/(-24) - 2) a multiple of 22?
False
Let v(f) = -6*f - 22. Let m be v(-4). Let h(s) = 3*s**3 - 2*s**2 - 2. Let g be h(m). Is 1342/g + (-2)/(-14) a multiple of 24?
True
Let i(b) be the third derivative of b**5/60 + 13*b**4/24 + 19*b**3 - 66*b**2. Does 36 divide i(-34)?
True
Is 4 a factor of (-684)/133 - 1/(-7) - (-2 - 9407)?
True
Let z be (66/8)/(2/32). Suppose -3*o + 3*p = -z, 0 = 7*o - 3*o + 2*p - 200. Suppose 12*i = 11*i + o. Does 34 divide i?
False
Suppose 3*n = -n - 2*v + 18700, 14047 = 3*n - 4*v. Is 10 a factor of n?
False
Suppose -5*p - 3*s = 696, 3*s - 4*s = 2*p + 279. Let t = p - -225. Is t a multiple of 4?
True
Let j be 1 + 758 - 10/((-40)/12). Suppose j - 102 = 11*s. Does 4 divide s?
True
Let b(r) = -3178*r + 3479. Is 203 a factor of b(-12)?
True
Suppose 0 = -3*z - 48 + 63. Suppose 5876 = z*g + 8*g. Is g a multiple of 22?
False
Let g = -554 + 971. Suppose -x + g = 92. Is x a multiple of 13?
True
Suppose -3*w - 193 = -16. Let y = w - -66. Is y a multiple of 2?
False
Let f be 16 - 10 - -5 - (-1 + -4). Suppose 2170 + 822 = f*g. Is g a multiple of 39?
False
Is ((-2160)/28)/(((-14)/245)/(8/10)) a multiple of 18?
True
Let d(u) = -8*u - 20. Let b be d(-4). Suppose 27*j = 30*j - b. Suppose -220 = -j*t + 2*q, -q = 4*q + 10. Does 13 divide t?
False
Let m = -701 + 709. Suppose m*s = -5*s + 10972. Is s a multiple of 18?
False
Let f = 11234 - 9525. Is f a multiple of 36?
False
Let s(l) = l**2 - 13*l - 278. Let x = 432 + -455. Is 22 a factor of s(x)?
True
Let m = 11137 - 10038. Does 20 divide m?
False
Let n(v) be the second derivative of -19*v**3/6 - 12*v**2 + 148*v. Is n(-5) a multiple of 5?
False
Does 10 divide (1*-1 - (-31403)/(-31))*(-26)/4?
False
Let r be 98/7*(-20)/(-8). Is 12 a factor of 1078/10 - -1*7/r?
True
Let v be (-1*(7 + -2))/(-1). Let t = 72 + -76. Let l = v - t. Does 3 divide l?
True
Is 6 - ((-1315440)/490 + (-2)/(-14)*4) a multiple of 79?
False
Suppose 33*n - 401700 + 112168 = 105412. Is 68 a factor of n?
True
Let v(r) = -23*r - 140. Let x(l) = -45*l - 283. Let f(y) = 11*v(y) - 6*x(y). Is f(34) a multiple of 46?
True
Suppose -179 = -2*k - 593. Let h = k + 663. Does 57 divide h?
True
Let k(i) = -11*i + 7. Let o(b) be the third derivative of b**3/6 + b**2. Let w(d) = -k(d) - 2*o(d). Does 6 divide w(4)?
False
Suppose 4*i - 2*i - 4*o + 4 = 0, 2*i + 4*o = 36. Suppose -12*w + 1380 = -i*w. Does 22 divide w?
False
Let r = 47 - 43. Suppose -r*h + 1632 = -0*h. Suppose 0*g + 4*g = h. Is g a multiple of 28?
False
Suppose 0 = 7*k - 7252 - 6167. Suppose -u + 2*n = -1919, -u + k = -0*u - 4*n. Does 17 divide u?
True
Suppose 77*b - 39675 = 2772 - 6873. Is 2 a factor of b?
True
Suppose -2*a - 327 = z - 4*a, -2*z - 5*a = 699. Is (z - (-3 - -5))/(6/(-4)) a multiple of 17?
False
Let x(c) = 3*c**3 + 3*c**2 - 3*c - 12. Let p be x(4). Suppose -7*g + p - 34 = 0. Does 26 divide g?
True
Let g = -34 + 34. Suppose g = -f, -2*a + a + 4*f + 2 = 0. Is 6 a factor of ((-120)/72)/(a/(-36)*1)?
True
Let l(o) = 69 - 48 - 8*o - 17*o**2 - 34 + 55*o**2. Let b be l(-4). Does 19 divide 3/(18/2)*b?
True
Let b be 4 - (45/(-2) + 0)*36. Let t = b - 217. Is 52 a factor of t?
False
Suppose -7*g - 975 = 698. Let o = 253 + g. Is o a multiple of 14?
True
Let m = 435 - 428. Let w(p) = 5*p**2 + 15*p - 46. Does 11 divide w(m)?
False
Let g = -34 + 156. Let t = g + 58. Is 12 a factor of t?
True
Let i = 568 - 576. Does 24 divide (226/i)/(14/(-112))?
False
Let o(j) = j**3 - 7*j**2 - j + 9. Let w be o(7). Suppose -w = u - 6. Suppose -5*n - 7 = -32, -9 = -c + u*n. Is c a multiple of 4?
False
Suppose -3*g + 687 = -3261. Is 14 a factor of g?
True
Does 17 divide (-81)/