 + 76/4. Let v = -15 + j. Is z(v) a multiple of 15?
True
Let x(y) = 3*y**2 + 12*y + 14. Is x(-7) a multiple of 7?
True
Let u = -28 - -115. Is 32 a factor of u?
False
Let y be (0 + 0)/(9 + -11). Suppose 0 = -2*o - 3*h - 71, 3*o + h + 103 = -y*o. Let l = o + 88. Is 18 a factor of l?
True
Let x(h) be the first derivative of h**3/3 - h**2/2 + 18*h + 19. Does 4 divide x(0)?
False
Let r(b) = 51*b**2 + 10*b - 50. Does 15 divide r(5)?
True
Let w(y) = -8*y**3 - 2*y**2 - 2*y - 1. Let l be 1/((3 - -1)/20). Let d = -6 + l. Does 2 divide w(d)?
False
Suppose -2*o = o + 171. Let d = -102 - o. Is 7 a factor of (-2)/9 - 505/d?
False
Let q(y) = 26*y**2 + 5*y + 4. Let x be q(-1). Suppose 770 = -20*v + x*v. Does 14 divide v?
True
Suppose -2*v - 4 = -5*k, 4*v - 2*k - 11 = -3. Suppose 4*f - 9 = -2*o + v*f, -21 = -4*o - 3*f. Suppose 0 = o*d - 5*d + 96. Is 14 a factor of d?
False
Let a = -12 - -12. Suppose a = -o + 1 + 5. Suppose -o*c + 41 = -2*c + w, c = -2*w + 12. Is c a multiple of 5?
True
Suppose -42298 = -24*o + 23462. Does 70 divide o?
False
Suppose -5*r = 3*l - 120, -r + 2*l = 6*l - 7. Does 3 divide r?
True
Let u(m) be the second derivative of m**4/12 + 2*m**3 - 8*m**2 - 26*m. Is 34 a factor of u(10)?
True
Let k(c) = c**3 - 12*c**2 - 22*c + 82. Is 15 a factor of k(15)?
False
Let d = 26 + -15. Let s = -9 + d. Suppose -s*l = -5*i - 44, -i + 8 = -5*i. Does 11 divide l?
False
Let l be (-7)/21 + 1/((-3)/(-13)). Is (-2)/(-6)*408/l a multiple of 15?
False
Let y(j) = -j**2 + 11*j - 3. Let s be (35/21)/((-1)/(-6)). Let l be y(s). Suppose 0 = 5*z + 5*g - 130, -5*z = -l*g + 2*g - 110. Is z a multiple of 6?
True
Let c = -246 + 383. Suppose 0 = -4*j + 4, -2*q + 410 = 3*j + c. Does 15 divide q?
True
Let w = 1877 + 1542. Is 31 a factor of w?
False
Let k be (11/2)/(14/(-28)). Let i = 5 - k. Is i a multiple of 2?
True
Let u(h) = h + 3. Let z be u(12). Let t be 33/z + (-1)/5. Let s = 54 - t. Does 26 divide s?
True
Suppose -22*i + 27*i = 20. Suppose 2*n - 81 = i*f - f, 2*n - 99 = -3*f. Is n a multiple of 10?
False
Let k = -141 + 146. Let i(l) = 2*l**2 - 7*l - 5. Does 3 divide i(k)?
False
Suppose 2*i - 8*i = -12. Suppose i*x + 9 = 17. Is x a multiple of 4?
True
Suppose 3*y = 0, 2*t + 2*y - 674 = 1130. Is t a multiple of 82?
True
Suppose s + 13*u + 24 = 10*u, 0 = 3*s + 5*u + 52. Let z = 10 - 24. Let f = s - z. Does 5 divide f?
True
Suppose 2*i - 572 = -3*u + 417, 4*i = -5*u + 1977. Is 17 a factor of i?
True
Let o be (-2)/12 + 49/6. Let f = -8 + o. Is 35/20*(20 - f) a multiple of 10?
False
Suppose -4*c - 2*j - 6 = 0, 6*j + 12 = 5*c + 2*j. Suppose 4*k = 2*m - 138, m - 67 = -c*m + 3*k. Does 12 divide m?
False
Let c(k) = k**3 + k**2 + k + 1. Let f(h) = -5*h**3 - 15*h**2 - 17*h + 11. Let i(o) = -6*c(o) - f(o). Is i(8) a multiple of 25?
False
Does 5 divide ((-108)/(-14))/((-57)/(-532))?
False
Let r(t) = -t**3 - 22*t**2 - 21*t + 3. Let j be r(-21). Suppose 4*x + j*v = 473, -2*v + 5*v + 3 = 0. Is x a multiple of 14?
False
Let f(r) = 4*r**2 - 10*r - 2. Let t be ((-14)/(-4))/((-6)/(24/2)). Is 44 a factor of f(t)?
True
Let r(q) = q**3 - 12*q**2 + 11*q - 6. Let j be r(11). Does 17 divide (j - 1 - -5)/((-1)/34)?
True
Let b(m) = -m - 4. Let x be b(-6). Let z be -8 - (2 + -5 + x). Let o = 19 + z. Is 5 a factor of o?
False
Let z be ((-15)/(-10))/(6/(-80)). Let w = -15 - z. Suppose 0 = 4*m - w*m + 23. Is m a multiple of 8?
False
Let k(u) = -u**2 - 7*u - 4. Let y be k(-6). Suppose 0 = -5*l + 6*j - j + 205, -3*l + 108 = y*j. Does 19 divide l?
True
Suppose 0*l + 3*l - 743 = -b, -4*l + b + 993 = 0. Is l a multiple of 17?
False
Let n be (-4)/6 - 6/(-9). Let w = -156 + 158. Suppose n = 2*v - 4*y - 38 - 28, 4*v - w*y = 126. Does 9 divide v?
False
Suppose -5*b + 763 = 2*b. Let m = 241 - b. Does 33 divide m?
True
Let k(f) = f**3 - 4*f**2 + 3*f + 10. Is 89 a factor of k(11)?
True
Suppose 0 = b + b - 200. Let p = 163 - b. Is 21 a factor of p?
True
Is 1804962/1653 + (-4)/(-58) a multiple of 14?
True
Let w = 101 + -66. Suppose -2*b - w = -3*b. Let a = b - -1. Is 9 a factor of a?
True
Suppose 20 = 5*l - l. Suppose 0 = -t + i - l*i + 175, 0 = -2*t + i + 332. Does 16 divide t?
False
Let c be (3/(-3))/(2/(-4)). Suppose -h + 11 + 43 = -5*i, c*i = 3*h - 32. Let t = 20 + i. Is t a multiple of 3?
False
Let y(p) = -102*p - 88. Does 71 divide y(-12)?
True
Let p(h) = 128*h + 14. Does 18 divide p(2)?
True
Let b be (1 + -1)*(-4)/(-8)*2. Suppose 179 = 5*t - 4*r, b*t = -4*t - 5*r + 176. Does 31 divide t?
False
Let j(k) be the first derivative of -k**4/4 - 8*k**3/3 + 5*k**2 + 11*k + 7. Let q be j(-9). Let n = q + 76. Does 21 divide n?
False
Let y(t) be the second derivative of -7*t**4/12 - 2*t**3/3 - t**2/2 + 3*t. Let h be y(-3). Does 13 divide ((-6)/(-3))/(-2)*h?
True
Let n be (-1)/(-4) + 9630/40. Suppose -5*g + 99 = -n. Does 17 divide g?
True
Let o = 41 + -38. Is 15 a factor of (-74)/(-4) + o/2?
False
Let d be 4 - ((4 - 1) + -4). Suppose 3*w - 393 = -d*u, u + 5*w = 3*w + 80. Let p = u - 30. Does 12 divide p?
True
Is 86 a factor of ((-78)/65)/((-3574)/(-3580) + -1)?
False
Let k = -12 + 14. Suppose 21 = -k*o + 3*p, 0 = -5*o + 6*p - p - 40. Is 60 + (-1)/o*6 a multiple of 19?
False
Let v = 182 + 41. Is v a multiple of 4?
False
Let q be (-6)/51 + 847/119. Let p(n) = -5*n - 6*n**2 - 1 + 2*n**3 - n**3 + 0*n**3. Is 13 a factor of p(q)?
True
Let m(p) = -2*p + 28. Let s(a) = a - 19. Let c(j) = 5*m(j) + 8*s(j). Let f be c(-7). Is 10 a factor of f/11 - (-216)/22?
True
Let c(h) = 4*h**3 - 3*h**2 + 2*h - 1. Suppose 2*l + 14 = 3*q, 7*q - 2*q = -2*l + 2. Does 4 divide c(q)?
False
Suppose -92*x + 95*x - 9 = 0. Let o(n) = 3*n**3 - 4*n**2 - 2*n + 4. Is 14 a factor of o(x)?
False
Let s = -28 - -34. Suppose 4*g - 7*g = -s. Is 13 a factor of 662/18 + g/9?
False
Let h = 329 - 234. Suppose -5*p - 275 - h = 0. Let v = 127 + p. Does 13 divide v?
False
Let g = -3 - -5. Let z(n) = 3*n**3 - 2*n**2 - 2. Let w be z(g). Suppose u = 3*u - w. Is 5 a factor of u?
False
Let t(o) = -2 - 2 - 4 - o + 5. Let s be t(4). Let i = s - -10. Is 3 a factor of i?
True
Suppose 2*g - 14 = -5*l + 496, 0 = -5*g - 3*l + 1275. Is g a multiple of 65?
False
Suppose -3*c + 123 = 4*b + 672, -2*b = 5*c + 285. Let t = b + 201. Is 28 a factor of t?
False
Suppose -708 = -3*g - 3*i, 0 = 14*g - 11*g + 2*i - 705. Is 3 a factor of g?
False
Let u = 16 - -75. Let a = 115 - u. Does 12 divide a?
True
Let v = -37 + 739. Is 6 a factor of v?
True
Let z(h) = -h**2 - h - 1. Let q(k) = -2*k**3 + 27*k**2 - 9*k - 10. Let r(c) = -q(c) - 4*z(c). Does 7 divide r(11)?
False
Let y = 18 + -53. Let b = -29 - y. Is b a multiple of 6?
True
Let x = -66 + 50. Let y = 30 + x. Is y a multiple of 8?
False
Let i(g) = 3050*g**2 + 7*g - 4. Is i(1) a multiple of 100?
False
Suppose -100 = -2*a - 3*a. Let j = 101 - a. Is 27 a factor of j?
True
Suppose 399 = -u + 8*u. Suppose -3*v = u - 381. Is 27 a factor of v?
True
Let i be (-5)/(-1) + 10 + -14. Let a = -6 + 0. Is 10 a factor of -15*(i + a + 3)?
True
Let h be 6 + -7 - (-2 + (1 - 2)). Suppose h*i = -4*f + 32, 5*i + 6*f - 92 = 2*f. Is i a multiple of 7?
False
Let l be -1*(-14)/6 - (-2)/(-6). Let i = 2 + -1. Is 4 a factor of 5 - l/i - -1?
True
Suppose 0 = -5*o + 10 - 0. Suppose -o*j + 120 = g - 84, 2*g - 304 = -3*j. Is j a multiple of 24?
False
Suppose -4*f + 297 = 5*m - 335, -4*m - f + 510 = 0. Suppose -3*l = l - m. Is 9 a factor of l?
False
Is 29 a factor of (-3)/(-18) - ((-151893)/(-54))/(-1)?
True
Suppose -51*j - 2066 = -7268. Is 102 a factor of j?
True
Let b be ((-9)/27)/((2/63)/(-2)). Suppose -5*f + 3*k - 15 = -40, f + 3*k = -13. Suppose -f*j - 4*n = -52, n = 4*j - 5*j + b. Is 5 a factor of j?
False
Let w = -12 + 25. Is w even?
False
Let t = -38 + 32. Does 24 divide t/45 - 2228/(-60)?
False
Suppose 17*r + 1034 = 3533. Is r a multiple of 28?
False
Does 39 divide 45*((-9)/(-21) + 3035/105)?
False
Suppose 0 = 5*g - 2*g - 1488. Is g a multiple of 16?
True
Let y be 1*((2 - 3) + -2). Let m be -4*(276/16 + y). Let s = 0 - m. Is 19 a factor of s?
True
Suppose 116 = 15*z - 11*z. Suppose -d - u + z + 66 = 0, d + 5*u = 95. Is 9 a factor of d?
False
Let q = 535 - -665. Is 37 a factor of q?
False
Let l be (1 - -2) + 11 + -7. Suppose -2*y + 5*n - 19 = 0, -2*y - 4*n = -l*y - 5. Suppose 0 = y*j + 7 - 25. Does 6 divide j?
True
Let p(z) = 4*z**2 + 10*z + 14. Let x be p(-12). Doe