se 3*n + 27 = 3*h + 5*n, 0 = 4*n. Let i(k) = 14*k - 24*k - 17 - 2*k**2 - h*k. Does 6 divide i(-7)?
True
Suppose -2*d - 2*q - 26 = -6*d, 3*q = 4*d - 29. Let u = -2 + 4. Suppose -525 = -d*c - u*c. Is c a multiple of 9?
False
Let p = 7935 - 1976. Is p even?
False
Let f(u) = u**3 + 5*u**2 - 11*u + 12. Let x be f(-7). Let r be (-3 - (x - -1)) + -2. Suppose -45 = -3*d + r*n, 0 = -d - 2*n + 7*n + 3. Does 9 divide d?
True
Let y = 2624 + 9997. Is y a multiple of 33?
False
Let n(q) = -13*q**3 - q**2 - 12*q + 36. Is 18 a factor of n(-9)?
True
Let n(d) = -87*d - 80. Let v(b) = -173*b - 162. Let i(l) = -7*n(l) + 3*v(l). Is 41 a factor of i(3)?
False
Suppose -123*t + 1419103 = -1834464 + 1080526. Is t a multiple of 22?
False
Let v = 483 + -483. Suppose v = -25*g + 11*g + 7140. Is 17 a factor of g?
True
Suppose -13*j + 17*j - 4775 = -a, -5*a - 5 = 0. Let p = -682 + j. Is p a multiple of 32?
True
Let k(a) = 31*a**2 + 18*a - 33. Let v be k(4). Suppose v = 5*x - 5*r, -4*x + 527 = x - r. Does 15 divide x?
True
Let s(v) = -215*v + 1782. Does 8 divide s(-21)?
False
Let h = -15750 - -19318. Is 16 a factor of h?
True
Let n(k) = 55*k**2 + 181*k + 2458. Does 27 divide n(-15)?
False
Let y = -50 + 52. Suppose 0 = d + y*k - 178, d + k - 519 = -2*d. Is 27 a factor of d?
False
Let c be 21/7*(-8)/12. Does 7 divide -16*(7/(-2) - c)*1?
False
Let w(q) = -61*q**3 + 33*q**2 + 139*q + 8. Is 11 a factor of w(-4)?
False
Suppose -4*q + 1108 + 8524 = 3*b, -q + 2408 = -3*b. Let c = q + -1320. Is 23 a factor of c?
False
Let g(k) = 7*k + 3. Let c(d) = 20*d + 8. Let p(l) = -6*c(l) + 20*g(l). Let h be p(-6). Let t = -59 - h. Does 7 divide t?
True
Let v = -80 + 76. Let u(j) = -3*j**3 + 2*j**2 + 8*j + 4. Is 49 a factor of u(v)?
True
Let w be (-3*2)/((-57)/(-342)). Let d be (21/2)/(1/4). Let j = w + d. Does 5 divide j?
False
Suppose -4*f = 4*a + f - 11162, -5*a + 4*f = -13973. Does 77 divide a?
False
Suppose -6*n - 396 = -390. Suppose -g = 14 - 74. Is 20 a factor of (-10)/g - n/((-6)/(-121))?
True
Let t = -36 - -173. Suppose 0 = -4*o - 12, k + t = o + 501. Is k a multiple of 9?
False
Let g = -114 + 80. Suppose 4*q + 2*r = -108, 4*q + 96 = -r + 5*r. Let z = q - g. Is z a multiple of 4?
True
Let z(o) = -45*o**3 - 32*o**3 - 3*o**2 - 45*o**3 + 186*o**3 - 7*o - 48*o**3 + 11. Does 20 divide z(4)?
False
Let o = -291 + 116. Let p = -78 - o. Let t = 78 + p. Is t a multiple of 35?
True
Does 8 divide (-281)/(-2248) + 0 + -1 + 109934/16?
False
Suppose 2*v - 3 = -p, -5*v - 3*p + 2 = -3. Let o be (66/(-22))/(1/v + -1). Suppose -2*b = -n + 13, 5*n = 9*n - o*b - 40. Does 3 divide n?
False
Let g = 356 - 616. Let r = g + 363. Is r a multiple of 25?
False
Suppose 67*o = 99*o - 19264. Is o a multiple of 7?
True
Suppose -5*s + 96521 = 3*j, -5*s + 12*j - 16*j = -96518. Is s a multiple of 98?
True
Suppose 104*h + 17318 = 3*d + 103*h, 2*h + 11552 = 2*d. Is d a multiple of 75?
False
Let m be -33*(0 - -1)*1. Let r be 938/(-10) + -4*(-16)/(-320). Let h = m - r. Is 7 a factor of h?
False
Let t be 5*(-4)/8 - 5/2. Does 22 divide 846/t*40/(-12)?
False
Suppose 3*j = 4*r - 51, -3*j + 23 + 7 = 5*r. Let h be (-3422)/(-5) - 810/(-1350). Suppose 14*d - h = r*d. Does 23 divide d?
False
Suppose 306 + 24 = -10*p. Let u = p - -38. Suppose u*l = 1 + 239. Is l a multiple of 16?
True
Let b be (-12)/(-6)*(9 + -2). Let c be (-4)/b - (6 - 6100/35). Suppose 9*g - c - 1524 = 0. Is g a multiple of 38?
False
Suppose 33*g - 32*g + 3*n = 8134, n + 24362 = 3*g. Does 89 divide g?
False
Let y(p) = -25*p**2 - p. Let g be y(1). Let q = 128 + -145. Let v = q - g. Is v a multiple of 9?
True
Suppose 185*q - 2412205 = 322835. Does 14 divide q?
True
Let z(o) be the second derivative of o**5/5 - o**4/12 + 7*o**3/6 - 15*o**2/2 - 43*o. Is z(3) a multiple of 15?
True
Let a(s) = -s**2 + 2*s + 35. Let b be a(-5). Suppose -5*o + 4*v = -3102, -3*o - 4*v = -b*v - 1874. Is o a multiple of 7?
False
Let x(b) = -6*b**3 + 56*b**2 + 5*b - 22*b**2 - 33*b**2 + 6. Does 18 divide x(-3)?
True
Let h be 6/10 + 3 + 8/(-5). Suppose 5*z = 4*z, 251 = u - h*z. Is 5 a factor of u?
False
Suppose -4*d + 3*r = 225, d + 5 = 5*r - 47. Let w = 1 - d. Is w a multiple of 29?
True
Suppose -i = 2*t - 15, -30 = -5*i - 4*t + 15. Suppose -104 + 23 = -3*b - i*l, l = 2*b - 67. Let q = b + 85. Does 13 divide q?
True
Let a(i) = -22*i + 28. Let v be (-2)/(-2) - (-7 + 13). Does 23 divide a(v)?
True
Suppose 12*z = 36 + 324. Does 38 divide 682 - -5*(24/z)/2?
True
Let c = -74 + 72. Let l be (0/c)/(19 - 17). Suppose 4*a - 3*g - 274 = -0*a, l = 5*g - 10. Does 9 divide a?
False
Does 9 divide 2936 + 6 - -6 - -11?
False
Let v = -12056 + 27741. Is v a multiple of 10?
False
Is 32 a factor of ((-2)/(-10)*(-166668)/34)/(6/(-160))?
True
Let w = 205 - 117. Let o = -86 + w. Suppose 2*t + o*g = 156, 5*t = t - g + 297. Is 23 a factor of t?
False
Let h be (-14)/(-21)*-6 - -7. Suppose -152 + 296 = h*g. Is 10 a factor of g?
False
Suppose -12496 = -5*i + 3*f, -116*i + 4*f + 2506 = -115*i. Does 5 divide i?
False
Let z = 71630 + -44977. Does 155 divide z?
False
Does 6 divide (-2)/(-11 + 7)*2532?
True
Let y(g) = -335*g + 1415. Is y(4) a multiple of 75?
True
Is 14 a factor of (3875/(-310))/((-1)/756)?
True
Let g(i) = 3*i**2 - 9*i - 28. Let l be g(6). Suppose -l*u + 56 = -24*u. Does 9 divide u?
False
Suppose -g + 2372 = -5*x - 10034, -5*x - 62110 = -5*g. Is 12 a factor of g?
False
Suppose 6*h = -178 + 196. Suppose -90 = -9*w + h*w. Does 2 divide w?
False
Let v(j) = -905*j**3 - 12*j**2 - 28*j - 52. Is 69 a factor of v(-2)?
False
Suppose 0 = 3*x - 4*s - 10, s = 2*x + 2*s + 8. Let n be (-78)/(-12) + 3/x. Suppose -b = 3*b - 8, n*i - 362 = -b. Is 18 a factor of i?
True
Let k be (-4)/4 + 0 - -1. Let y = k - -6. Is 2 a factor of y?
True
Suppose 0 = -190*f + 238*f - 871632. Does 29 divide f?
False
Let a be -3*(-6)/(-6) + 2. Is 113 + a - ((9 - 3) + -10) a multiple of 4?
True
Let k = 127 - 122. Is ((-830)/(-6))/((-42)/9 + k) a multiple of 17?
False
Let h(p) = -1752*p - 4038. Does 9 divide h(-4)?
True
Let y = -29580 - -51420. Is y a multiple of 12?
True
Suppose 5*f - 2*f = 1773. Suppose -6 + f = 2*r + o, 2*r - 555 = 5*o. Is 6 a factor of r?
False
Suppose -4*l = 2*q + 2, l - 2*q - 8 = 2*l. Suppose l*t + 26 = 56. Does 5 divide t?
True
Let o(l) = 13*l**3 + 16*l**2 - 9*l - 3. Let v(c) = 7*c**3 + 8*c**2 - 4*c - 1. Let g(u) = 6*o(u) - 11*v(u). Let s be g(-6). Let m = 210 - s. Is 22 a factor of m?
False
Is 4 a factor of 17/(-170) + (-5)/((-50)/27891)?
False
Let s = -12 - -103. Let q = 326 - s. Is q a multiple of 25?
False
Let z(y) = -37*y**2 + 77*y**2 - 8*y + 16 - 38*y**2. Is 16 a factor of z(8)?
True
Suppose -5 = -5*d, -170 = w - 2*w - 3*d. Let o = w + -137. Does 15 divide o?
True
Suppose w = -2*c + 38, -46*c + 45*c + 159 = 4*w. Does 41 divide 42/4*w/7?
False
Let y be 20/(-70) + 674/7. Suppose -4*j + 5*k + 475 = 0, -4*j = 3*k - 387 - y. Does 30 divide j?
True
Let c(u) = -5255*u**3 - 3*u**2 - 3*u - 4. Let k be c(-2). Let w be (-1*1/(-3))/(15/k). Suppose -9*j + 614 = -w. Is j a multiple of 24?
False
Suppose 4*x = 100 - 88. Let v = 103 - x. Does 5 divide v?
True
Let o(k) = -k + 14. Let h be o(8). Suppose 14*w - 36 = h. Suppose -w*f + 407 = 4*m, 0 = -f - 3. Does 12 divide m?
False
Let t(s) = -4*s + 3. Let m be t(3). Let v(i) = i - 191*i**3 - 4*i + 190*i**3 - 6 - 9*i**2. Is 2 a factor of v(m)?
False
Suppose 3*w + 204962 = 5*r, -2*r + 81984 = 380*w - 381*w. Does 10 divide r?
True
Let g be -4*3/(-4) + -690. Let p = g + 991. Does 36 divide p?
False
Suppose 9*r - 12919 = -5*o, -32*r - 4 = -31*r. Does 7 divide o?
False
Let l be -20 + (-2 - (-4 - (-6)/3)). Let s be (5/(50/56))/(42/735). Let m = s + l. Does 13 divide m?
True
Let p = -45 - -49. Suppose s + 2 = 0, -5*s + p = -b + 3*b. Suppose b*o = 95 + 80. Is 2 a factor of o?
False
Suppose -3*q - 6*c + 58482 = 0, -2*c - 19482 = 8*q - 9*q. Does 21 divide q?
True
Suppose -5*d + 388 = 6*o - 3*o, d - 126 = -o. Let r = -116 + o. Suppose r + 18 = c. Is 11 a factor of c?
False
Let d = -26 + 32. Suppose -d*h = 6*h - 24. Suppose -172 = -h*l + 324. Is 41 a factor of l?
False
Let u = 5971 - 4204. Is (8/(-6))/((-38)/u) a multiple of 36?
False
Let p be 4 - (10 - 5) - -40. Suppose 2*m = 34*t - p*t + 727, -4*m = -t - 1399. Is m a multiple of 27?
True
Let x = 1267 - 605. Suppose -4*n - x = -8*n - j, 4*j - 833 = -5*