 -15801 - -28612. Does 20 divide y?
False
Let b(h) = -7*h - 5. Let g be b(-1). Suppose -g*x = x - 171. Suppose 5*s - 177 = -x. Does 7 divide s?
False
Let k = -88 + 1078. Suppose -24*x + 27*x = k. Is 33 a factor of x?
True
Let a(u) = u**3 + 33*u**2 - 70*u - 16. Does 28 divide a(-32)?
True
Let k(h) = -3*h + 22. Let r(q) = -q**2 - 6*q - 2. Let m be r(-5). Suppose -70 = 5*w + m*y, 5*y + 43 = -2*w - 4. Is 11 a factor of k(w)?
True
Let h = -85 + 87. Suppose -g - 270 = -2*a + 2*g, 3*a - h*g = 415. Does 70 divide a?
False
Let u(i) = -i**3 + 23*i**2 + 13*i - 3. Let q be u(11). Suppose 6*s = -q + 3872. Is s a multiple of 76?
True
Let d(p) = p**2 + 29*p + 10. Let j be d(20). Suppose 6*n = 11*n - j. Is n a multiple of 18?
True
Let q = 130 + -54. Let s = 77 + q. Does 7 divide s?
False
Let f(z) = -z**3 - 9*z**2 + 6*z - 41. Let q be f(-10). Is 5 a factor of 14329/138 + q/(-6)?
False
Let t = -529 - -764. Suppose t*q - 243*q + 3952 = 0. Is 13 a factor of q?
True
Let a be (-6)/(-66) - 157826/(-22). Suppose -1436 = -15*c + a. Does 41 divide c?
True
Suppose 1387*j - 1373*j - 336 = 0. Is j a multiple of 4?
True
Suppose 8*a + 16949 = 5*f + 11*a, 0 = -f - 3*a + 3397. Does 7 divide f?
True
Suppose 41 - 16 = 5*p. Suppose p*j - 3*s + 175 = 2*s, -s = -4*j - 128. Let g = 70 + j. Is 6 a factor of g?
False
Suppose 5*d = 2*x - 2285, 5*x - 3*d = -4033 + 9793. Suppose -5*r + x = -0*r. Let u = -119 + r. Is 16 a factor of u?
True
Let c(g) = -9*g**2 - 2*g - 3 + 9 + 10 + 2 + 2*g**3. Is c(6) a multiple of 20?
False
Let l be ((-268)/(-3))/(-2)*(-954)/(-212). Let k = 371 - l. Is k a multiple of 44?
True
Let w = 15 - -3. Suppose -2*i = -2*x - 7*i + w, 20 = 3*x + 4*i. Does 14 divide x/5 - (-3568)/40?
False
Let y be 5/(-4) + (-25)/(-4). Suppose -y = -4*c + 11, -k - c + 650 = 0. Is 17 a factor of k?
True
Is (41 + -1)*(-26 - 119/(-2)) a multiple of 36?
False
Suppose -56*o + 58*o + 1260460 = 40*o. Does 77 divide o?
False
Suppose -1537*q = -1417*q - 1911600. Does 27 divide q?
True
Suppose 124 = 3*n - 65. Suppose 0 = -n*o + 64*o - 50. Is 10 a factor of o?
True
Let c(k) = -10*k + 424. Let a be c(6). Suppose t - 469 + 129 = -2*v, 2*v - 5*t = a. Is 86 a factor of v?
True
Let h = -18731 - -27196. Does 14 divide h?
False
Let x(m) = -m**3 + 15*m**2 - 13*m - 2. Let s be 3/2 + (-13)/(-26). Let y be 2 + (-7 - -7 - s*-6). Does 3 divide x(y)?
True
Let j be 40/24 + (10/(-6) - -3). Is 6 a factor of 4/2 - (2082 - j)/(-9)?
False
Let j(h) = -13*h - 17. Let o be j(-2). Suppose -416 = -5*n + 2*g, o*n - 2*g = 13*n - 340. Is n a multiple of 7?
True
Let z(s) = 95*s**2 + s - 1. Let o = -80 - -16. Let b = o + 65. Does 22 divide z(b)?
False
Let c(q) = 45*q**2 + q - 8. Let f(u) be the third derivative of -23*u**5/30 - u**4/24 + 3*u**3/2 + 3*u**2. Let s(t) = 6*c(t) + 5*f(t). Is 31 a factor of s(-2)?
True
Let c(t) = -563*t - 1763. Is c(-8) a multiple of 199?
False
Let p = -144 - -143. Does 19 divide (-2621)/(-6) - p/6?
True
Suppose 180*w = 171*w + 54. Suppose 4375 = 4*u - 4*y + 691, -2*y - w = 0. Does 23 divide u?
False
Let x = 14002 - 9698. Does 16 divide x?
True
Let o = -1 + 8. Let i be (34/7 + -4)/(1/o). Suppose -8*h + i*h + 16 = 0. Does 4 divide h?
True
Let w(k) = -k**3 - 7*k**2 + 4*k + 9. Let o be w(-9). Suppose 23*f - 28*f = 395. Let x = o + f. Is 14 a factor of x?
True
Let q(j) = -2*j**3 + 7*j**2 - j - 19. Let a(h) = h**3 - 4*h**2 + h + 9. Let s = -29 + 34. Let m(x) = s*a(x) + 2*q(x). Does 16 divide m(7)?
False
Let v = 4581 + -4304. Is 6 a factor of v?
False
Let k be -5*4/80*(0 + -4). Let n(i) = 559*i - 50. Is 12 a factor of n(k)?
False
Let p = 354 + -354. Is 21 a factor of (114/18 + -2)*(81 + p)?
False
Suppose -440*a - 660 = -473*a. Let k(o) = 4*o**2 - 7*o - 3*o**2 - 7 - 2. Does 11 divide k(a)?
False
Let z be 2 + (-7 - -8) + 1086. Let a = z + -741. Is 15 a factor of a?
False
Let r(x) = -16009*x + 2608. Is 22 a factor of r(-2)?
False
Is (48 + -6)/((-5)/(-540)) a multiple of 54?
True
Let k = 1156 - 496. Suppose -6*o + 1020 = -k. Does 14 divide o?
True
Suppose -6*d + 20 = -d. Suppose d*y - 5 - 4 = 5*h, -5*h = -5*y + 15. Suppose y*g - 2*g = 5*p - 38, 34 = 4*p - 2*g. Is p a multiple of 5?
True
Let d = -349 + 97. Let o = d + 284. Is o a multiple of 16?
True
Suppose 58*i = 60*i + k - 3198, -5*k = 10. Does 8 divide i?
True
Let a = 5434 + 2220. Is 43 a factor of a?
True
Suppose 0 = 295*q - 294*q. Suppose q = -3*n + 408 + 621. Is n a multiple of 15?
False
Suppose 3*r + 2*q - 2 = 0, 4 = 3*r + 5*q + 17. Suppose -3*u + z + 294 = -4*z, -r*u = -2*z - 378. Does 31 divide u?
True
Suppose 32*u = 41*u - 135. Suppose -u*c + 37*c - 16676 = 0. Does 8 divide c?
False
Let n = 29872 - 17429. Is 23 a factor of n?
True
Let z = -1833 + 3490. Does 45 divide z?
False
Let q be 3048/(-66) + (-4)/(-22). Let t = 291 + q. Is 11 a factor of t?
False
Suppose -34*s - 18*s + 54288 = 0. Suppose o - 1037 = 5*y, s = o - y + 3*y. Is o a multiple of 11?
False
Let r(p) be the first derivative of -p**4/4 + 29*p**3/3 - 49*p**2/2 + 17*p - 110. Is 8 a factor of r(27)?
True
Let a = -6762 - -8031. Is a a multiple of 27?
True
Let k(r) = 2*r**2 + 6*r - 14. Suppose 72 = -3*n - l - 0*l, -96 = 4*n - 5*l. Let b be (-1 + 4)*5/(45/n). Does 11 divide k(b)?
True
Suppose 63 = 4*a + 35. Let n be (-7)/a - -64*1. Let y = n + -15. Does 10 divide y?
False
Let i(u) = -2*u**3 + 106*u**2 + 179*u - 145. Is 28 a factor of i(54)?
False
Suppose 116 = s + 2*c, 3*c + 339 = s + 2*s. Suppose -3*l = -3*f + 126, -5*f + s = -2*f + l. Is 2 a factor of f?
False
Let h be (24/20)/(15/875). Is (h/28)/(4/120) a multiple of 7?
False
Let c = -733 - -1587. Suppose 2*w - 2*l - 1752 = 0, 5*l + 904 + c = 2*w. Does 38 divide w?
True
Suppose -2*i + 6 - 2 = -j, -20 = -4*i + 5*j. Is (-31390)/(-129) + ((-4)/(-6) - i) a multiple of 7?
False
Let f(g) be the first derivative of -g**3/3 + 2*g**2 + 286*g + 184. Does 8 divide f(0)?
False
Let d be (-34 + 13)*(4 + (-68)/14). Suppose -d*h - 2429 = -25*h. Does 36 divide h?
False
Let y(n) = 224*n + 1358. Is y(28) a multiple of 14?
True
Suppose 17*v - 16*v - 4 = 0. Suppose r - 1032 = -2*u, r = -2*u + v*r + 1048. Is 5 a factor of u?
False
Let y(f) be the first derivative of -f**3 - 15*f**2/2 - 20*f - 10. Let o be y(-12). Does 11 divide 1/(-3) + (o/(-6))/4?
True
Suppose -547*x - 17344 = -569*x - 1944. Is 35 a factor of x?
True
Suppose 4*i + 4*x + 34 = -6, 35 = -4*i - 3*x. Is (-3)/6 - (855/6)/i a multiple of 14?
True
Let a = 42 + -46. Let b be 1 + -57*a/6. Suppose -5*y + 31 = -b. Does 4 divide y?
False
Suppose -3*k + 3*x + 1653 = 0, 6*k + 2*x = k + 2748. Suppose 0 = 5*i - 890 - k. Is 16 a factor of i?
True
Let q(h) = 593*h - 168. Does 55 divide q(4)?
False
Let g be (-1091)/(-7) - 2/(-14). Let k(i) = i**2 - 16*i - 9. Let s be k(17). Suppose -g = 4*j - s*j. Is j a multiple of 25?
False
Let r(a) = -11*a**3 + 21*a**2 + 57*a - 7. Does 67 divide r(-5)?
True
Let a = -6546 + 13542. Is 44 a factor of a?
True
Let d = -149 + 150. Is (-1 + 1 + -39)*(-3 + d) a multiple of 3?
True
Suppose -o + 3*l = -1907, 2*l - 1333 = -5*o + 8270. Does 3 divide o?
False
Let x(z) = -4*z + 56. Let u be x(13). Suppose 3*p - 1932 = -2*t - 518, -p - u*t = -458. Is 15 a factor of p?
False
Suppose 0 = 23*z - 28*z + 5. Let f(h) = z + 10*h**2 + 4*h + 11*h**2 + 34*h**2 + 1. Is f(-1) a multiple of 5?
False
Let c(i) = i**3 + 6*i**2 - 8*i + 5. Let h be c(-7). Suppose -2*g = -5*k - 9 + 5, -10 = -5*k. Suppose g*s + h = 320. Is s a multiple of 22?
True
Let u = 2459 + -1748. Suppose u*z + 408 = 712*z. Is 34 a factor of z?
True
Suppose -6880 = -12*d + 5384. Is d a multiple of 2?
True
Suppose 264 = -910*g + 912*g. Is g a multiple of 3?
True
Suppose 5*z - 19455 = 2*d, 32*d + z - 9732 = 33*d. Is 7 a factor of (d/110)/(3/(-14))?
True
Let f(l) be the third derivative of -1/60*l**5 + 0 - 5/2*l**3 + 0*l - 5/6*l**4 - 11*l**2. Does 19 divide f(-13)?
True
Let l(m) = -7723*m**3 + 3*m**2 + m + 1. Is 33 a factor of l(-1)?
False
Is 10 a factor of ((-48)/7)/(3/(-21))*(-5795)/(-76)?
True
Let f = 19 - 44. Let g = -167 - -27. Let y = f - g. Does 23 divide y?
True
Suppose -178*v = -157*v - 126. Let s(u) = -u**3 + 9*u**2 + 2*u. Is 3 a factor of s(v)?
True
Suppose -176*z + 349828 = -157*z. Is z a multiple of 23?
False
Suppose 5*w = -0*n - n - 381, 4*w + 308 = -4*n. Let p = w + 126. Does 5 divide p?
True
Let q(o) = -10*o - 49. Let n 