et u be f(-9). Suppose -48 - 154 = -4*r - u*h, -3*h + 144 = 3*r. Is r a multiple of 4?
False
Let u = 20934 + -11646. Is u a multiple of 6?
True
Suppose 2*o - 2844 + 20018 = 2*c, -c + 3*o = -8599. Is c a multiple of 6?
False
Suppose 4*c + 541 = 4*u - 107, 0 = -3*c - 3. Let t = 420 - u. Does 37 divide t?
True
Let u(q) = q**3 + 5*q**2 - 3*q - 2. Let b be u(-3). Let i(s) = -s**3 - 6*s**2 - 12*s - 6. Let x be i(-5). Let a = x - b. Is a a multiple of 2?
True
Suppose -16164 = -2*b - 7*v + 3*v, -6*b = -5*v - 48390. Is 15 a factor of b?
True
Is 5 a factor of (-6)/(-10) + ((-20451)/(-15) - -1)?
True
Let i(n) = -2*n**2 + 36*n + 16. Let k be i(18). Let q be (-4)/k + (-113)/(-4). Suppose o + 0*o - 44 = f, -5*f = -o + q. Is o a multiple of 14?
False
Suppose -2*l - 5*s = -1051 - 1417, 0 = 2*l + 2*s - 2486. Is 18 a factor of l?
False
Let l = -214 - -146. Let v = -56 - l. Suppose -v*a + 327 = -153. Does 5 divide a?
True
Suppose -3*n - 16 = -76. Suppose 0 = -n*v - 2*v + 10230. Is v a multiple of 30?
False
Let i(c) = -c**2 + 8*c - 13. Let y be i(3). Suppose -26*q - y*q = -20776. Does 12 divide q?
False
Suppose 6*b - 5*j = -23401 + 64666, 0 = -5*j - 15. Is b a multiple of 94?
False
Suppose 3*z = -3*m + 33, 4*z - 3*m - 20 = -m. Let t = z + -144. Let i = t + 250. Does 25 divide i?
False
Is 20 a factor of 34838*(-4)/(136/(-17))?
False
Suppose -5*l - 9*s + 4620 = -12*s, 4620 = 5*l + s. Is 2 a factor of l?
True
Let j = -87 - -105. Let b(m) = -m**2 + 19*m + 9. Let u be b(j). Suppose r + 4*o = 185, -2*r - u = -o - 361. Is r a multiple of 13?
True
Let i = -22698 + 26506. Is i a multiple of 32?
True
Let t be -171 - 48/80*(-6 + 1). Let d = 237 + t. Suppose -3*q - d = -3*z, -4*q = -2*q + 6. Does 5 divide z?
True
Let o = -217 + 226. Suppose 2700 = o*h + 3*h. Is 15 a factor of h?
True
Let w = -31051 + 45875. Is 17 a factor of w?
True
Suppose -o + 154 = -1089 - 177. Does 91 divide o?
False
Let r(f) = 113*f + 127. Let n be r(-11). Does 59 divide n/(-3)*(-5)/(-10)?
False
Let l be (-10)/55 + 57/11. Suppose l*g = 34 - 44. Is 12 a factor of (-3 - -66) + (-3 - g)?
False
Suppose -5*k - 3*p - 48 = 0, -p = 5*k + p + 47. Let u be (-2730)/k + (-30)/9 + 3. Suppose 5*w - 3*q - u = 0, 5*w + 0*q + 4*q - 331 = 0. Is 13 a factor of w?
False
Let b(u) be the third derivative of u**5/30 - 7*u**4/8 - 7*u**3/2 - 16*u**2. Let y be b(16). Suppose 45 = -n + y. Is 22 a factor of n?
True
Suppose 69 = -3*m - 54. Let w = -37 - m. Suppose 0 = 4*d - 4*y - 460, d - 95 = y + w*y. Is d a multiple of 30?
True
Is (-84)/(-7) + 6804/9 a multiple of 6?
True
Let t be (-2)/(-5) + 1722/70. Let m = t - 43. Let u = 35 - m. Is 8 a factor of u?
False
Let v = -103 - -104. Suppose -v = z - 3. Suppose -z*y - 2282 = -9*y. Is 41 a factor of y?
False
Let c be (-3)/1 - 9072/16. Let x = 625 + c. Does 6 divide x?
False
Let u(x) = -2202 - 7*x**2 + 2202 + 620*x**3 + 8*x. Is 10 a factor of u(1)?
False
Let m be 0 + ((-8)/2 - -5)*0. Suppose m = 21*v - 872 - 12841. Is 61 a factor of v?
False
Is 11207 - (99/6)/11*84/(-18) a multiple of 89?
True
Let j be ((-111)/518 + (-4)/14)*-46. Suppose 0*t - 5*t + 42 = 3*g, 0 = 5*t - 2*g - 22. Suppose -2*y - t*c + 50 = -4*c, c = y - j. Is y a multiple of 8?
True
Let c(l) = 10*l**2 - 5*l + 27. Let x be c(-5). Let s = x + 90. Does 49 divide s?
True
Let i = 8665 + -4163. Suppose 3*t + 12 = 0, h - i = -4*h + 3*t. Is h a multiple of 43?
False
Suppose 4*f - 3128 = 4*i, -3*f - 4*i + 2346 = -3*i. Is f a multiple of 23?
True
Suppose -13*u + 10*u + 18 = 0. Let c be 12/9 - u/(-9). Is 16 a factor of 20/(-6)*-15 - c?
True
Let k be 3/2*(-616)/(-21) - -1. Suppose a - k = -5*x, -4*a + 2*x = 7*x - 195. Let r = -6 + a. Is r a multiple of 11?
True
Suppose 0 = 8*p - 10*p + 4*d - 12, p - 4*d = -10. Suppose 5*y - 112 = y. Let k = y + p. Does 13 divide k?
True
Suppose 21*l = -1793 + 14939. Let g = l - 444. Is g a multiple of 17?
False
Let p be (16/(-14))/(-4) - 320/(-56). Is 36 a factor of (-213)/(p + 162/(-24))?
False
Let p be (10/4)/((-5)/(-250)). Suppose -p*c = -119*c - 540. Let d = -43 + c. Is d a multiple of 10?
False
Let i(q) = 86*q**2 - 167*q + 3209. Is i(18) a multiple of 17?
True
Suppose 0 = b + 3*h + 323, 4*h - 651 = 2*b + 5*h. Let p = 416 + b. Does 10 divide p?
True
Let v(y) = y**3 + 32*y**2 + 2*y + 94. Let q be v(-32). Is 16 a factor of (76*(-5)/q)/((-3)/54)?
False
Let b(l) = -7 + l**2 + 12 - 13. Let z be b(7). Let r = z + -36. Is 3 a factor of r?
False
Let j(v) = -9 - 11*v + 3*v + 29 - 8 + v**2. Let q be j(4). Let y(i) = 14*i**2 + 2*i. Does 14 divide y(q)?
False
Let i be (230/(-25))/((-7)/(-315)). Let z = i + 540. Is z a multiple of 7?
True
Let b(g) = -18*g - 218. Let q be b(-12). Let t(n) = -32*n**3 + n**2 + 7*n + 10. Is t(q) a multiple of 5?
False
Let k = -190 + 1249. Let a = k + -667. Does 56 divide a?
True
Suppose 0 = -4*z + 4*n - 2472, -11*n + 7*n - 3117 = 5*z. Let k = z + 797. Does 4 divide k?
True
Let s(v) = -15 + 498*v**2 - 3*v**3 - 492*v**2 + v**3. Let j be s(5). Let i = j + 179. Is i a multiple of 21?
False
Let g(n) = -351*n**3 - 24*n - 38. Is 10 a factor of g(-2)?
False
Suppose -87 = -2*g + 83. Let l = g - -19. Does 46 divide l?
False
Suppose -2*b - 2*x + 8 = 0, -5*b - x - 110 + 126 = 0. Suppose -z - 3*z = -24. Suppose -z = o - b*o. Does 3 divide o?
True
Let t = 24099 + -15344. Is t a multiple of 65?
False
Let r(z) be the first derivative of z**4/2 - z**3/3 - 4*z**2 + 10*z + 19. Is r(6) a multiple of 12?
False
Suppose 4*k - 28 = 4*o, -5*k + 0*k - 2*o + 14 = 0. Suppose 0 = -p + 2*t + 218, -644 = 10*p - 13*p + k*t. Does 3 divide p?
False
Suppose 0 = 6*d - 14*d - 192. Is (5570/25)/(d/(-60)) a multiple of 12?
False
Suppose w = -2*x - 66 + 14, w - 5*x = -45. Let o(d) = 9*d**3 - 4*d**2 - 2*d + 2. Let s be o(3). Let l = s + w. Is l a multiple of 16?
False
Let i(f) = 165*f**2 + 143*f + 23. Does 18 divide i(6)?
False
Let r(d) = 28*d**2 - 20*d + 3. Does 33 divide r(12)?
True
Suppose -14*h + 714 + 448 = 0. Let q = h + -83. Suppose -2*z = 2*m - 7*m - 313, q = 3*m + 3. Is z a multiple of 14?
True
Let n be (-9)/15 + (-108)/(-30). Let f(i) = -n*i**2 - 4*i + i**3 + 9*i - 8*i - 3 - 5*i. Is f(6) a multiple of 11?
False
Let f = -320 + 510. Let x = -154 + f. Is x a multiple of 12?
True
Let f = -6881 - -14885. Is f a multiple of 92?
True
Let l = 2249 + 6263. Is l a multiple of 106?
False
Let u = 157 - -4295. Is 14 a factor of u?
True
Let n = 41 - 37. Suppose -593 = -5*h - n*i, 5*h = 2*i + 439 + 142. Does 13 divide h?
True
Suppose -d - 3*r + 40 = -2*r, d = 3*r + 60. Suppose 0 = d*c - 3*c - 6090. Is 6 a factor of c?
False
Let i(k) = k + 1. Let n(l) = 9*l + 66. Let y(d) = -12*i(d) + n(d). Does 19 divide y(0)?
False
Let d = 23871 - 15968. Does 11 divide d?
False
Suppose -5*t + 3 = 3. Suppose -7*q + 15*q - 32 = t. Suppose 5*h + 0*s - 5*s = 75, q*h + 2*s = 78. Does 18 divide h?
True
Suppose 4*l + 4 = g, g + 4*g - 4*l = 20. Let z be (2*6/g)/(8/(-96)). Let u = z - -45. Does 2 divide u?
False
Let p(n) be the second derivative of -n**5/20 + 11*n**4/12 - 7*n**3/3 + 2*n**2 + 14*n. Let d be p(10). Let a = d + 42. Is a a multiple of 2?
True
Let z be (340/(-45) - -7)*-9. Suppose 2*p - 286 = -5*a, -3*p + z*a = 4*a - 395. Is p a multiple of 3?
False
Suppose -20 = -2*x + 6*x. Is 40 a factor of (8/x)/(249/50 + -5)?
True
Suppose -2*u - 4*h + 16324 = 0, -5*h - 395 = -430. Is u a multiple of 12?
True
Suppose 0 = j - 6*j + 400. Suppose 5*u - j + 0 = 0. Let l = -9 + u. Does 3 divide l?
False
Let z(j) = -61*j - 30. Let s be z(-4). Suppose s*i - 212*i = 322. Is i a multiple of 12?
False
Suppose -74*g - 2552 = -5*s - 76*g, -2*s - 5*g + 1025 = 0. Does 85 divide s?
True
Let h(m) = 395 + 3*m - 2*m**2 + 388 - 785 + 13*m**3. Suppose -g = -5*u + 8 + 5, -4*u = 5*g + 7. Is 13 a factor of h(u)?
False
Let s = 661 - 661. Suppose 20*z + 10*z - 21480 = s. Is 19 a factor of z?
False
Let i = 458 + -608. Does 35 divide (i/20)/((-3)/308)?
True
Let k(r) = 2295*r - 4725. Is k(15) a multiple of 122?
False
Let c be (7 - 4)*(-1 - -2). Let u = -1075 - -1518. Suppose -c*x = -4*i + u, 5*x - 241 = -i - i. Is i a multiple of 17?
False
Let h = -7 + 8. Suppose 0 = 12*z - 7*z - 20. Is h/z + 4707/36 a multiple of 10?
False
Let i(y) = y + 2. Let b be i(4). Suppose h - 323 = -2*c, 2*h = -3*c + b*c + 611. Suppose 0 = -2*m - 3*m - 3*l + h, 179 = 3*m + 4*l. Is 17 a factor of m?