Is m a multiple of 5?
False
Let h be ((-328)/(-20))/(1/(-5)). Suppose -3*y - o + 4*o + 318 = 0, 6 = -2*o. Let u = y + h. Is 21 a factor of u?
True
Let w(g) = -2*g**3 + 4*g**2 - 3*g + 9. Let r be w(3). Let n be (r/(-8))/((-6)/(-8)). Suppose -5*s + 1200 = 3*x, -3*s - n*x + 502 = -218. Is 12 a factor of s?
True
Suppose -18*k + 71290 = -69902. Does 106 divide k?
True
Suppose -3*w = 4*q + 8, 13 = 5*q - 3*w + w. Is 7 a factor of ((-164)/(-2))/(q - (-50)/(-70))?
True
Suppose -11*z = 1263 - 3617. Is 10 a factor of z?
False
Let j(a) = -8*a + 1547. Is j(26) a multiple of 17?
False
Does 13 divide (-26)/8 + 3 + (-227507)/(-28)?
True
Suppose 18*d - 8820 = -3*i + 14*d, -8814 = -3*i - 2*d. Is 16 a factor of i?
False
Let s(r) = -29*r - 419. Let l(h) = -116*h - 1675. Let j(t) = 2*l(t) - 9*s(t). Is j(-11) a multiple of 6?
True
Let l(y) = -922*y - 56. Does 15 divide l(-2)?
False
Let p be (2/4)/((-4)/(-224)). Let f = -131 - -131. Suppose 3*m - 4*r - 85 = 0, -m + r = -f*m - p. Is 22 a factor of m?
False
Let i be (36/15)/(12/80). Suppose -3*k = 4*a - 284, -2*k + 6*a + 171 = 5*a. Is k - 3/((-12)/i) a multiple of 23?
True
Let b = -21 + 170. Let d = b - 83. Suppose l = -3*r + 37, -4*l + 47 + d = 5*r. Is 12 a factor of l?
False
Let v = -392 + 488. Suppose -h = 4*o - v, 0 = -5*h + o + 536 + 28. Is h a multiple of 16?
True
Suppose 74*s = -5*i + 79*s + 12675, -i + 2525 = s. Is i a multiple of 23?
True
Let y = -196 + 201. Suppose 2*o = -y*w + 555, 5*w - 8*w + 5*o = -364. Is 9 a factor of w?
False
Let t = -37 + 37. Suppose 3*p + t*p = -45. Does 39 divide (2781/p)/(-1) - 2/5?
False
Suppose 4*t + 31 = 5*v, 2*t - 3*t + 5*v - 4 = 0. Let y(c) = c**3 + 7*c**2 - 12*c + 22. Let b be y(t). Is (b/(-20))/(6/45) even?
True
Suppose -66 - 32 = -2*w. Let m = 148 - w. Does 16 divide m?
False
Let s be ((-511)/(-146))/(-1*1/(-6)). Let i(m) = m**2 - 6*m + 43. Is 38 a factor of i(s)?
False
Let s = -72 + 75. Let j be ((-8)/6 + 2)*s. Suppose 13*h = j*h + 814. Is h a multiple of 17?
False
Let g(l) = 19 + 19*l + 0*l**2 - 21*l**3 - 4*l + l**2 + 22*l**3. Does 65 divide g(8)?
True
Let q = -119 - -121. Suppose 0*d + 2*w - 28 = -d, 0 = -q*d - 5*w + 55. Is d even?
True
Let k(y) = -y**3 + 15*y**2 - 15*y + 18. Suppose 8*s - 44 = 7*s. Let g = s + -30. Is 3 a factor of k(g)?
False
Suppose -2*l + 4*l - 8 = 0. Suppose v - 5 - 8 = -5*y, 4*y - 4 = -l*v. Suppose -4*g - 52 = -4*r, 0 = -r + 2*g - y*g + 23. Is r a multiple of 17?
False
Suppose 4*j - 3*c = -5*c + 12, 5*c + 6 = -j. Suppose 0*v + 2*p = 4*v + 2, 5 = j*v + 5*p. Suppose v = -5*l + 2*l + 147. Is l a multiple of 7?
True
Let j(b) be the first derivative of b**2 - 13*b + 37. Let y be j(18). Suppose -y*v + 16*v = -371. Does 53 divide v?
True
Let c = 151 - 99. Let x = 314 - c. Does 40 divide x?
False
Let d(r) = -91 - 23*r + 45 + 65. Is 17 a factor of d(-11)?
True
Let a(s) = 4*s + 5. Let r be a(-2). Let y(w) = 9*w**3 + 4*w**2 + 4*w - 6. Let f be y(r). Does 14 divide (0 - 1) + 4 + (10 - f)?
True
Let v(d) = -d**3 + 19*d**2 - 16*d + 14. Let s be v(16). Suppose -3*w = -1705 + s. Is w a multiple of 36?
False
Let l(j) = -j + 18. Suppose 2 = w - 4*f - 2, 0 = 4*w - f - 61. Let v be l(w). Suppose -5*z + 382 = v*p - 233, -3*z + 4*p + 343 = 0. Does 21 divide z?
False
Let l be 574980/150 - (-1)/(-5). Let c = l - 2291. Is 20 a factor of c?
False
Suppose -68*j = -50*j + 576. Is 85 a factor of 130 - (j/112 - (-24)/(-14))?
False
Suppose n + 4*t - 4823 = 0, -8920 - 712 = -2*n - t. Is n a multiple of 31?
False
Let k(t) = -3*t**2 - 10*t - 5. Let d be k(-6). Let r = d - -77. Suppose -9*h = -420 + r. Is 11 a factor of h?
True
Suppose -8450 = -2*l - 59*g + 56*g, -2*g + 12690 = 3*l. Is 70 a factor of l?
False
Let g = 109 - 95. Does 4 divide g?
False
Let w be (6/(-8))/(3/(-12)). Let k(n) = -w*n + n**3 - 1 + 6 - 7*n**2 + 9*n**2 + 0*n**3. Is 2 a factor of k(2)?
False
Suppose -18150 = -2*b - 91*j + 93*j, 3*b - 2*j - 27222 = 0. Does 21 divide b?
True
Let z = 15034 + -6909. Is 65 a factor of z?
True
Let w be 34*(96/5)/(1/5). Suppose 23*h - w = 11*h. Is 46 a factor of h?
False
Let y be (-25 + (-2 - -4))*4. Let j = -6944 + 6961. Does 17 divide (j*3)/(y/(-40) + -2)?
True
Suppose -38*x - 36*x - 13770 = -77*x. Does 102 divide x?
True
Suppose -1554 = -w + 3*k, -75*w - 4*k = -80*w + 7704. Does 16 divide w?
True
Let b = 257 - 490. Let h = b - -755. Does 29 divide h?
True
Is (-5304)/21*2/(-12) + 82/(-861) a multiple of 14?
True
Suppose 0 = -3*l + 3*p + 2 + 1, 5*l - p = 17. Suppose -2*v - 4*d = -982, l*v = 4*d - 6 + 1994. Does 61 divide v?
False
Is (0 + -63315)/(-5) - (-4 + -2) a multiple of 41?
True
Let f(s) = 22*s**3 - 6*s**2 - 7*s. Let r be f(-2). Let p = r - -342. Does 26 divide p?
True
Let o be (0 + 1)*(299 + (-36)/6). Suppose -o = -c + 4*w, -929 = c - 4*c + 2*w. Is 16 a factor of c?
False
Suppose 0 = -2*z - 4*n - 60, 2*n = z + 5 + 5. Let q(s) = 2*s**2 + 34*s + 6. Does 14 divide q(z)?
True
Let r = -488 - -506. Suppose 2316 = r*o - 6*o. Is 23 a factor of o?
False
Let f be (6 - 5)/(-5 - (-2346)/468). Let q = 531 - f. Is 11 a factor of q?
False
Let t = -22 - -54. Is 3 + ((-474)/(-4))/(16/t) a multiple of 20?
True
Let h = -5263 + 6745. Is h a multiple of 57?
True
Is (16 - 3140)*1/(-6)*(-39)/(-1) a multiple of 142?
True
Let n(x) = -x**3 - 8*x**2 - 5*x + 14. Let b be n(-7). Suppose -k + 0*k - 5*g + 488 = b, -k = 4*g - 492. Does 12 divide k?
False
Let l be -2 - (-1 + 9)/(-2). Let v(d) = -107*d - 2. Let o be v(l). Let i = o + 542. Is i a multiple of 36?
False
Let i(k) = 42*k**2 - 373*k - 5. Does 157 divide i(19)?
False
Let z be 3*((-112)/(-3))/7. Suppose -z*j = -13*j - 75. Suppose -56 = -4*g - 4*o, -2*g - o + j = 2. Does 3 divide g?
True
Let n = -80 + 82. Suppose -3*a + 4*a + 11 = 3*q, -2*a + n = 2*q. Suppose 0 = -5*k + 2*h + 110, 88 + 7 = 4*k - q*h. Is 10 a factor of k?
True
Let v = 33186 + -21927. Does 95 divide v?
False
Suppose -37*h = 38 - 186. Suppose g - 3858 = -8*c + 3*c, -5*g = h*c - 3078. Is c a multiple of 36?
False
Suppose 6*j - 162279 = -10*b + 5*b, -5*j + 135159 = -4*b. Does 20 divide j?
False
Suppose 7 - 10 = -3*c + 2*i, 0 = 5*c + 4*i - 27. Suppose -c*g = -3*l - 456, 5*l + 710 = 5*g + 10*l. Is 4 a factor of g?
False
Suppose 3*g - 5*y = -g - 3414, -3*y - 6 = 0. Let n = g + 1532. Does 26 divide n?
True
Let k be 1760/2 + (-15)/(9/(-3)). Let t = 1509 - k. Is 9 a factor of t?
False
Let w(u) = u**3 + 28*u**2 + 33*u + 54. Let o be w(-26). Let q = 790 - o. Is q a multiple of 17?
False
Let r be ((-216)/368 + (-10)/(-115))*844. Let p = r + 685. Is 4 a factor of p?
False
Suppose 40*s - 221665 + 48438 - 205893 = 0. Does 14 divide s?
True
Suppose 270 = 11*k + 34*k. Suppose k*s - 952 = -124. Does 6 divide s?
True
Let c = -4222 + 7328. Suppose -2*t - x = t - 2336, 4*t - 3*x = c. Does 12 divide t?
False
Suppose 80*x - 83*x - 5541 = -3*b, 7394 = 4*b + 2*x. Is 110 a factor of b?
False
Suppose -10*p - 8*p = -177876. Does 67 divide p?
False
Suppose 0 = 3*a - 8*a - 25. Let s(b) = 85*b**2 + b**3 + b - 79*b**2 - 2*b + 7. Does 10 divide s(a)?
False
Let j(w) = -1 - w - 16 + 4*w**2 + 5*w + 12. Does 13 divide j(-7)?
False
Suppose 130*d + 4*i - 648 = 129*d, 0 = -5*d + 2*i + 3064. Is d a multiple of 14?
True
Does 139 divide 1/(-1 - 4) + 4/((-140)/(-1537347))?
True
Does 4 divide (-20112)/(-28) + (8/12 - 40/42)?
False
Suppose 70 = -19*l + 5*l. Does 15 divide 76/(-133) - l/((-70)/(-1856))?
False
Let i(o) be the third derivative of -41*o**6/120 + o**5/30 - o**4/24 - o**3/3 + 1727*o**2. Let c(r) = r - 7. Let q be c(6). Is i(q) a multiple of 7?
True
Suppose 0 = -4*m - q + 7544, 4*q = 4*m + 3166 - 10710. Does 82 divide m?
True
Let j(k) = -k**3 + k**2 - 2*k + 3570. Let f be j(0). Suppose 14*w + f = 3*t + 10*w, 5*w + 2380 = 2*t. Is t a multiple of 70?
True
Is 171 a factor of (-62698)/(-10) - (-4 - 190/(-50))?
False
Suppose -49 = u - b, b + 54 = 2*u + 148. Let h = -42 - u. Suppose -m - h*m + 192 = 0. Is 6 a factor of m?
True
Suppose 8102 = 3*y - 7*t + 6*t, 4*y + 3*t - 10794 = 0. Does 90 divide y?
True
Let i(q) = -q**3 - 2*q**2 - 2*q + 11. Let o(r) = -r**3 + 7*r**2 - 12*r + 5. Let h be o(5). Let d be i(h). Suppose d - 34 = y. Is y a multiple of 31?
True
Let z = 90 - 4. Let b be (-6)/18 + z/6. Let x = b + 25. Is x a multiple of 27?
False
Let y(h) = -h**3 + 4*h**2 - h - 4. Suppose 5*j + 6 = 21. Let r be y(j). Suppose 3*i - i