 - 6*o(i). Is s(h) a multiple of 21?
True
Suppose -a + 5*w = -37 + 11, -3*a + 4*w + 23 = 0. Suppose -30*v = -36*v - 6. Does 9 divide v + a + 46 - 1?
True
Let b = 27 + -3. Suppose b = 9*g - 4*g + 4*n, 12 = 3*g + 3*n. Is g a multiple of 8?
True
Suppose -2*b + 4 + 8 = 2*y, -5*y = 2*b - 36. Let t be -14 - (-9)/(18/y). Let w = 41 + t. Is 13 a factor of w?
False
Suppose -5*q - h = -4*q - 1, -q - 2*h = 0. Suppose 2*m = y + q*y - 208, 4*m + 152 = 2*y. Is y a multiple of 11?
True
Let c = -6 + 11. Suppose -c*t - 297 = -52. Let p = 109 + t. Is p a multiple of 30?
True
Suppose -2*q = -g + 6, 5*q + 9 = g - 6. Let a(n) = n**3 - 2*n - 41. Let l be a(g). Let z = 135 + l. Is z a multiple of 13?
False
Suppose -5*k = 1 - 31. Suppose -4*r + k = 18. Let w(a) = -5*a - 3. Is 12 a factor of w(r)?
True
Suppose 2*o + 902 = 3*x, 4*x = 16*o - 15*o + 1211. Is x a multiple of 16?
True
Suppose 220 = -3*j + 1111. Suppose 4*d = 5*x - 419, 2*d - j = -4*x + 33. Does 12 divide x?
False
Suppose -12 + 6 = -2*w. Suppose 0 = -w*a - 0*a + 39. Does 10 divide a?
False
Let b = 721 + -137. Does 4 divide b?
True
Let o(r) be the third derivative of 19*r**4/24 + 8*r**3 + 4*r**2. Does 18 divide o(6)?
True
Suppose -x = -5*o - 13, -5*x + 9*o - 5*o + 23 = 0. Does 2 divide x?
False
Let s be (-104)/(-10) + 4/(-10). Let u(p) = 4*p + 3. Let o(k) = 2*k + 2. Let d(b) = 5*o(b) - 2*u(b). Is d(s) a multiple of 5?
False
Let x(z) = -z**3 - 10*z**2 - 16*z + 3. Let w be x(-8). Suppose f = i + 115, 3*i - i + 340 = w*f. Is f a multiple of 23?
False
Let c(u) = -24*u**3 - u**2 + 1. Let m be c(-1). Let x = -17 + m. Suppose -x*t = -t - 84. Is t a multiple of 12?
False
Does 24 divide ((-28782)/12)/(-3)*(-6)/(-9)?
False
Let w(x) = x**2 + x. Let k be w(-1). Suppose -1 = 4*g + 2*b + 9, 2*g + 4*b + 2 = k. Is 11 a factor of g*2/(-12)*22?
True
Let u(h) = -h**2 - 2*h + 10. Let x be u(-4). Suppose 0 = -3*k + x + 19. Suppose -2*g - 1 = -k, -85 = -2*c - 5*g. Does 14 divide c?
False
Suppose 0 = -2*g - 0*g + v + 10, -8 = 2*v. Suppose d - 37 = -k - 0*k, -4*k = -g*d - 148. Is 13 a factor of k?
False
Let t(g) = 2*g + 12. Let h be t(-5). Let b = h - -2. Suppose -4*i - 2*p = -b*p - 102, -3*i = 2*p - 80. Does 9 divide i?
False
Let o = 481 + -281. Suppose 6*q - 40 = o. Is q a multiple of 8?
True
Let v be (-1)/(10/28) + 19/(-95). Is v/(-2) + 1 - (-14)/28 even?
False
Let t(n) = -n**3 - 4*n**2 + 7*n + 10. Let q be t(-5). Suppose q = 20*p - 22*p + 68. Does 4 divide p?
False
Let b(y) = 2*y**3 + 2*y - 7. Suppose 0*q + 2*v + 15 = 5*q, 4*q + 2*v - 12 = 0. Is 9 a factor of b(q)?
False
Let k(r) = 3*r**2 - 3*r + 2. Let f be k(1). Suppose f*n - 219 = -c, 2*n + 3*c = 234 - 9. Is n a multiple of 9?
True
Let r = -16 - -10. Is 16 a factor of (-3 - 34/r)*12?
True
Let m be 6 + (-19 + 4)/5. Suppose l + 4*k = 92, 193 = m*l - l + 5*k. Is l a multiple of 15?
False
Let y(b) = -b**3 - 4*b**2 + 5*b + 1. Let z be y(-4). Let h = z - -25. Does 4 divide h?
False
Suppose 3*h = -d + 5, -19 = -h - 0*h + 4*d. Suppose h*g = -83 + 5. Let u = g + 51. Does 15 divide u?
False
Let z(i) be the third derivative of 7*i**5/60 - i**4/6 - 4*i**3/3 - 56*i**2. Does 4 divide z(4)?
True
Suppose 7*n + 677 - 5017 = 0. Does 31 divide n?
True
Suppose -3*c + 8*c = 2*w - 272, -5*w + 3*c + 661 = 0. Suppose j - 6*g - w = -3*g, -2*g = 10. Does 29 divide j?
True
Suppose -1065 = -4*j - j. Is j/12 + 3/12 a multiple of 3?
True
Let s(f) = -f**3 + 20*f**2 - 20*f + 19. Let o be s(19). Suppose -20 = 5*w - o. Let m(t) = -13*t - 6. Does 34 divide m(w)?
False
Suppose -1694 = -z - 23*x + 20*x, 8413 = 5*z - 4*x. Is 57 a factor of z?
False
Suppose 50 - 236 = -2*d. Does 9 divide d?
False
Let r = 342 - 309. Does 14 divide r?
False
Suppose -18*p + 23*p - 355 = 0. Is p a multiple of 4?
False
Let h = -136 - -373. Does 3 divide h?
True
Suppose 0 = -w - 1, -71 = -5*g + 6*w - 10*w. Does 2 divide g?
False
Suppose -16 = -8*a + 8. Suppose 180 - 45 = a*i. Is i a multiple of 9?
True
Let c(i) be the second derivative of 2*i**4/3 - i**3/6 + 5*i. Let n be c(2). Is 10 a factor of (-1)/((-7)/n)*7?
True
Suppose -7*s + 5571 = -8373. Is s a multiple of 40?
False
Let q = -98 + 166. Is q a multiple of 21?
False
Does 2 divide (6/4)/((-150)/(-800)) + 19?
False
Does 51 divide 7 - 8 - (918 + 1)/(-1)?
True
Suppose 12*h - 13562 = -1586. Is 32 a factor of h?
False
Suppose -4*i - 3*p + 1191 + 1584 = 0, 0 = 4*i - 5*p - 2767. Does 3 divide i?
True
Let b be (-3 + 4)/(1/5). Let p = -209 + 250. Suppose b + p = 2*q. Does 7 divide q?
False
Is 11 a factor of -2*(529/(-2) + 10)?
False
Let q(l) = 15*l**2 - 13*l + 8. Is 17 a factor of q(5)?
False
Let u be (-4)/(4 + 0)*-5. Is 6 a factor of (-48)/(-2)*((-58)/(-8) - u)?
True
Let t = 40 + 142. Does 26 divide t?
True
Suppose 3*u = -2*z + 593, 3*u - 7*u = -3*z + 932. Is z a multiple of 19?
True
Let s = 1223 + -740. Is s a multiple of 21?
True
Let c = -119 + 85. Let i = 37 + c. Is (2/i)/((-2)/(-138)) a multiple of 39?
False
Let m = -3 - -7. Suppose 5*n - 3*v = 100, m*n - 34 = -4*v + 14. Is 2 a factor of n?
False
Suppose 2*t + 1 = 7. Suppose -40 = -5*w + 5*j, -3 = t*w + 3*j - 9. Suppose -137 = -w*a + 4*h, h + 83 = 3*a - h. Is a a multiple of 12?
False
Let m = -357 + 652. Is 11 a factor of m?
False
Suppose 5929 = 25*i + 779. Does 3 divide i?
False
Let p(u) = u**2 - 4*u + 1. Let i be p(6). Suppose -z = i + 9. Does 9 divide (z/(-66))/(2/138)?
False
Let c be 2*-166*(-2)/8. Let h = c - -34. Let n = h + -61. Is n a multiple of 28?
True
Let l(i) = i**2 - 4*i + 21. Let c be l(9). Let q = c - 11. Does 16 divide q?
False
Suppose 0 = -8*z + 4388 + 124. Is 12 a factor of z?
True
Let h(d) = 2*d**2 + 7*d - 4. Let y be h(-6). Suppose 0 = y*l - 23*l. Suppose 166 = 2*k + 2*b - l*b, -5*k - 3*b = -411. Is 10 a factor of k?
False
Suppose -4*s = -i - 22, -3*s + 8 = -i - 4*i. Suppose -g - 75 = -s*g. Let x = g + 55. Does 14 divide x?
True
Suppose -147*g - 775 = -178*g. Is 5 a factor of g?
True
Let y = 1068 + 332. Is 40 a factor of y?
True
Suppose -4*v + 4101 + 39 = 0. Suppose -v = -3*g - 6*g. Does 23 divide g?
True
Let s(g) = -29*g**2 + 28*g**2 + 1 + 8*g + 20. Does 3 divide s(8)?
True
Let t be 4/(3 - (-256)/(-84)). Is 21 a factor of (-7)/(t/16) + (-248)/(-3)?
True
Suppose -10*x - 7 + 37 = 0. Suppose 0 = -0*d + 3*d + x, 4*t + 5*d - 559 = 0. Does 19 divide t?
False
Let r be 20/6*(-252)/(-35). Suppose -316 = -5*a + r. Let n = -26 + a. Is 21 a factor of n?
True
Let d = -18 + 20. Suppose d*q + 4*q = 714. Let w = q + -80. Is w a multiple of 39?
True
Suppose 4*x - 491 = 5*p, 0 = 29*p - 26*p + 9. Is 3 a factor of x?
False
Let w be ((-9)/(-24))/(15/(-120)). Let t(k) = k**3 - 9*k**2 + 10*k - 7. Let p be t(6). Let z = w - p. Does 7 divide z?
False
Let u(s) = 22*s - 3. Let y be u(2). Suppose -z + 51 = y. Is z a multiple of 8?
False
Let q(z) be the first derivative of z**4/4 + 20*z**3/3 + 14*z**2 + 34*z + 11. Is 16 a factor of q(-18)?
False
Does 22 divide -48*(1653/76)/((-27)/24)?
False
Let x be (8/(-2))/(5 + 42/(-6)). Suppose -x*o + 6*o = -12, -2*o - 591 = -3*a. Does 15 divide a?
True
Let n = 28 + 49. Is n a multiple of 7?
True
Let k be (-780)/8*(-4)/5. Suppose -k = -2*g + 72. Is g a multiple of 16?
False
Suppose -4*n + 2*n + 824 = 4*g, 5*n - g = 2104. Is n a multiple of 24?
False
Suppose 0 = -3*p - 109 - 116. Let c = p + 152. Is c a multiple of 35?
False
Suppose -4*s + 1180 = -0*s - 5*a, 3*a + 882 = 3*s. Suppose 0 = 4*d + 4, 0 = 4*v - d - d - s. Is 25 a factor of v?
False
Let i = 3204 - 2020. Does 37 divide i?
True
Let h(j) = 29*j**3 - 3*j**2 + 3*j - 2. Suppose 22 = -3*v + 25. Is 7 a factor of h(v)?
False
Let r(l) = l**3 - 4*l**2 - 7*l + 9. Let j be r(5). Is -2*j/((-2)/(-14)) a multiple of 14?
True
Let n(j) = -325*j**3 - 4*j**2 + 2*j. Is n(-2) a multiple of 44?
False
Let v(q) = q**2 + 27*q - 4. Let r(w) = 9*w - 1. Let p(a) = 7*r(a) - 2*v(a). Let i be p(5). Is 23*2 - 4/i a multiple of 7?
False
Is 17706/8 - 33/132 a multiple of 13?
False
Suppose 0 = 3*h + 3*j - 8*j - 2378, 0 = 2*h - j - 1597. Is h a multiple of 9?
True
Suppose -152 = -2*g - 0*g. Let j = g + -39. Suppose -f - 4 = -j. Is 11 a factor of f?
True
Let y be 20*(-5)/(-17 + -3). Suppose 0 = 5*k + 10 + 15, 5*d + k = 40. Suppose -5*r = 2*u - 115, y*r - 130 = -d*u + 4*u. Does 21 divide r?
True
Suppose -1045 = -68*z + 63*z. Does 11 divide z?
True
Suppose 0*l + 2*l - 4*g - 52 = 0