 a multiple of 23?
False
Let t(g) be the second derivative of 2*g**3 + 3*g**2 - 94*g. Let a be 0 + 0 + 18 + -3. Does 43 divide t(a)?
False
Is ((-5349)/15 + 3)*25/(-10) a multiple of 26?
True
Let c(a) = -238*a - 25. Let g be c(-8). Suppose -g + 24 = -5*y. Is 10 a factor of y?
False
Is (-9 + -6 + 27)/((-18)/(-33168)) a multiple of 79?
False
Suppose -2*l + 5*g = 6, -3*g + 2 = -2*g. Suppose 2*y - 144 = 4*p, 2*y + l*p - 80 = y. Is 13 a factor of y?
False
Is (((-8325)/50)/(-37))/((-554)/(-276) + -2) a multiple of 8?
False
Suppose 3*w - 4*w - 3*s + 3 = 0, -2*w + s = 1. Suppose w = 12*y - 100 - 32. Is y a multiple of 11?
True
Let z(f) = -13*f**3 - 15*f**2 - f - 16. Let v be z(-6). Let r = v + -1248. Is 10 a factor of r?
True
Let u(s) = s**2 - 20*s + 39. Let p be u(18). Suppose -2*j = -p*w - 617, -4*j - 4*w - 306 = -5*j. Is j a multiple of 11?
False
Let j be 0*1/(-4)*-2. Suppose j = -2*v - 18 - 4. Let d = -7 - v. Does 2 divide d?
True
Suppose 0 = 4*d + 21 - 1, 0 = 3*r - 2*d - 229. Suppose 0 = 2*w + n - 18 + r, -5*n - 145 = 5*w. Let p = w - -116. Is p a multiple of 30?
True
Suppose -4*c + 6*c - 3*m - 32630 = 0, 65368 = 4*c + 12*m. Does 53 divide c?
True
Suppose -2*y + 1092 = 4*p, -5*y + p + 3328 = 609. Is 34 a factor of y?
True
Let t(z) = -6*z**3 - 2*z - 2. Let x be t(-1). Let s be x*-1*((-11)/2 + 5). Does 22 divide 555/25 - ((-28)/10 + s)?
True
Suppose -22428 = -5*d + h, 4*d - 3*h + 7*h = 17928. Does 124 divide d?
False
Let j = -22115 + 46715. Is j a multiple of 41?
True
Suppose -10*p - 203 = -213. Does 9 divide (25/(500/1008))/(p/5)?
True
Suppose 0*w = 4*w - 5*w. Let r = 5 - w. Suppose 2*a - 1288 = -2*t - 2*t, r*t - 1612 = -2*a. Does 56 divide t?
False
Let g(j) = 2*j**2 - 62. Let n be g(11). Suppose -n = -9*d + 99. Is 31 a factor of d?
True
Suppose 231658 = 5*q - p, p = 82*q - 86*q + 185321. Is 292 a factor of q?
False
Let h(c) = -2*c + 18. Let k be h(7). Suppose -4*g = -3*x + 4, -5*g - 5*x = -0*g - 30. Does 14 divide 133/7 + (-1)/(g/k)?
False
Let u = -1090 + 9610. Does 34 divide u?
False
Suppose 0 = -r + d + 3, r - 56*d - 6 = -54*d. Suppose -y - 105 = -3*m, r = -2*m - 5*y - 39 + 126. Is m a multiple of 24?
False
Let l(k) = -3*k + 73. Let n be l(19). Suppose 0 = -3*b + n*b - 2340. Is 10 a factor of b?
True
Suppose 3*k - 3*r + 0 + 3 = 0, -2*k + 5*r = 5. Let i(a) = 3*a + 83. Let d(u) = -7*u - 172. Let h(b) = 2*d(b) + 5*i(b). Does 16 divide h(k)?
False
Suppose -2*w = -0*w + 4*s - 1546, -5*w + 3857 = 2*s. Suppose -w = -4*m + 57. Is 23 a factor of m?
True
Let y = 350 + -202. Suppose -9*b = y - 760. Does 17 divide b?
True
Let c = 262 - 178. Let j be 25 - (c/(-24) - (-2)/4). Suppose 5*q + 2*m - 62 = 0, 0 = -4*q + 6*q + 4*m - j. Is 4 a factor of q?
True
Suppose -5*g - 15 = 0, 0 = 5*l - 113*g + 117*g - 377408. Is l a multiple of 83?
False
Does 20 divide ((-52)/650)/((-1)/10) - 93480/(-25)?
True
Let c = 56 - 47. Let d be 12/c*(-6)/(-4). Suppose -576 = d*u - 5*u. Is 34 a factor of u?
False
Let y be (-14 + -5 + 3)/1. Let s(t) = -t**2 - 16*t + 11. Let v be s(y). Suppose v*b = -b + 408. Is b a multiple of 17?
True
Let i be (0 + 2184/(-9))*9/(-6). Suppose -4*c + i = -236. Let z = c + -84. Is 22 a factor of z?
True
Suppose 12*t - 111075 - 4381 = -4*t. Does 103 divide t?
False
Let p(y) = -77*y - 665. Is 24 a factor of p(-30)?
False
Let g(k) = -3*k - 18. Let f be g(-8). Suppose b + 124 = 2*j - b, 0 = -3*j - 4*b + 207. Suppose -f*i + j = 5. Is 5 a factor of i?
True
Let p(h) = -58*h + 113. Let n(w) = 17*w + 30. Let z be n(-2). Is 29 a factor of p(z)?
False
Let v(x) = -x**2 + 50*x + 59. Let y = -202 - -221. Is 36 a factor of v(y)?
True
Let u(b) = 13*b + 6. Let z be u(2). Suppose -400 - z = -3*i. Is i a multiple of 12?
True
Suppose -13*h + 6 = -10*h. Suppose -9 = -l - h. Does 3 divide l?
False
Let u = 4627 - -3882. Is 20 a factor of u?
False
Let z = -71 - -156. Let b be z - (3 + 1)/(-1). Let i = b + 46. Is i a multiple of 27?
True
Let h = -388 + -265. Let s = h - -1214. Is s a multiple of 51?
True
Suppose 3*r = 5*g - 1213, 2*r + 972 = 4*g - 0*r. Suppose 0*w = -5*x - 3*w + 403, -g = -3*x - w. Let s = -77 + x. Is s even?
True
Let i be 19794/33 + 4/22. Suppose 0*c = 6*c + i. Is 14 a factor of (-2 + 107)*(-5)/(c/8)?
True
Let w = -32 + 33. Is -1 + -6 + 2 - (-1439 - w) a multiple of 35?
True
Let l be 13*(-4)/(-2*4)*2. Suppose 0 = -l*o + 11*o. Suppose -4*k - 8 = o, -3*k + 6 = 3*g - 93. Does 7 divide g?
True
Suppose -22*j = -27*j + 20. Suppose -y = j*d + y - 24, 19 = 3*d + y. Suppose d*m - 70 = 105. Is m a multiple of 25?
True
Suppose u - 55616 = -3*a, 0 = 98*a - 97*a - 4*u - 18556. Is 12 a factor of a?
True
Let p = 4054 + -3284. Does 7 divide p?
True
Let o be (40/(-12))/5 + (-2)/(-3). Suppose o = 2*b - 171 + 97. Is 37 a factor of b?
True
Suppose 0 = 5*c - 5381 + 1156. Suppose c = -10*w + 3815. Is w a multiple of 34?
False
Let d = 28 + -28. Suppose d = -3*a - 71 + 23. Does 3 divide 37/7 + a/56?
False
Let u = 492 - 479. Suppose u*v - 9*v = 1152. Is 12 a factor of v?
True
Let j = -86 + 91. Suppose -j*h + 5 = 0, 18 = m - 0*h + 2*h. Is 4 a factor of m?
True
Suppose 117*w + 144*w - 4202361 = 0. Is w a multiple of 9?
True
Is 33 a factor of ((-66)/57)/(-11) - (-1095750)/171?
False
Suppose b = -4*b + 5*w - 2285, -2*w - 1858 = 4*b. Let c = 866 + b. Does 7 divide c?
False
Let y(h) = h**3 + 20*h**2 - 21*h + 2. Suppose -9*r = -2*r + 147. Let f be y(r). Suppose -3*g + 3*w = -828, f*w + 8 = -2*w. Is 30 a factor of g?
False
Suppose -626 = -6*y + 526. Suppose 3*n = 14 + 4. Suppose -2*w = -n*w + y. Is 16 a factor of w?
True
Let g = 53 - 50. Let s(u) = 126*u - 9. Is s(g) a multiple of 41?
True
Is (3837 - -1) + (-12 - -8) a multiple of 129?
False
Is 28 a factor of (-2183 + -1)/4*(-11 + -20 - -11)?
True
Let n = 5 + 6. Suppose 4*y - 120 = -r, 0 = 3*y + n*r - 9*r - 95. Is 19 a factor of y?
False
Let w(d) = d**3 + 5*d**2 - 7*d - 1. Let l be w(-6). Suppose -4*z - 5*c + 344 = -z, 5*c - 580 = -l*z. Let i = 78 + z. Is i a multiple of 27?
False
Let j = -448 + 638. Does 7 divide (-5)/(-2)*5776/j?
False
Is 3 a factor of (-5 - -4 - -659) + 2?
True
Suppose -24 = 3*i + 24. Let o = -11 + i. Let k = 105 + o. Is k a multiple of 26?
True
Let u be (-9*4)/(3/(-2)). Suppose 3*m - 9 = a, 0*a = 3*m + 4*a - u. Is 4 a factor of 342/95*10/m?
False
Let s(z) = -10*z**3 - 4*z**2 - z - 3. Let k(o) = 4*o + 37. Let a be k(-7). Let n be (a/(-18))/(1/6). Is 41 a factor of s(n)?
False
Is ((-2576)/48)/((-1)/(-9))*(7 - 33) a multiple of 23?
True
Suppose -m + 21 = 4*b, 0 = -2*b - 4*m + 1 + 13. Suppose 37 = -b*h + 1437. Does 28 divide h?
True
Let z be 6/8 - (-1672)/32. Suppose 821*a + 129 = 822*a. Let q = a - z. Does 38 divide q?
True
Let d be (-1 + 2)*0 + 0. Let t = 2884 - 2134. Suppose 3*a + d*a = t. Is 50 a factor of a?
True
Suppose -2*h - 4 + 8 = 0. Suppose -h*t - 5*v - 133 = -773, -2*v - 329 = -t. Is 8 a factor of t?
False
Let n = -4 - -2. Let i be 74*(n - (-15)/6). Let x = i - 28. Is x a multiple of 9?
True
Let d = 10 - -17. Let h be 12*3/(-6) + (-34)/(-2). Let i = d - h. Is 4 a factor of i?
True
Let j = -86 + 91. Suppose j*r - 3*y - 2261 = 0, 0 = -0*r + 5*r - 4*y - 2263. Is 41 a factor of r?
True
Let a = 4619 - 2759. Does 35 divide a?
False
Let q be 10/(14/(-6)*2/(-7)). Let v = 12 - q. Let f(k) = 15*k**2 + 4*k + 5. Is f(v) a multiple of 16?
True
Let b(z) = -z**3 - 13*z**2 + z + 9. Let s be b(-13). Let f be (-183)/21 - s/(-14). Let d(w) = -w**3 - 8*w**2 - 8*w + 3. Is 25 a factor of d(f)?
False
Let h(d) = d**2 + 27*d + 43. Let m = 61 - 90. Is 21 a factor of h(m)?
False
Let a(f) = 742*f - 6. Suppose 4*q - 132 = -128. Is a(q) a multiple of 46?
True
Let i(v) = -v**3 + 17*v**2 - 14*v - 29. Let w be i(16). Suppose -w*d - 430 = -19. Let q = -26 - d. Does 11 divide q?
False
Let w = 111 + -120. Does 12 divide 216*(300/w)/(-10)?
True
Let v = -8433 - -24537. Suppose 0 = 20*z + 2*z - v. Is 87 a factor of z?
False
Let a(l) = l**2 + 13*l - 2. Let v be a(-13). Let z be -1 - 0 - (-769 + v). Suppose -4*o = o - z. Is 11 a factor of o?
True
Let j be (8*(-18)/(-24))/((-2)/(-67)). Let q = 249 - j. Does 8 divide q?
True
Let w = 13 + 932. Does 8 divide (3/(-15) + 1)*w/6?
False
Let a = 284 + -202. Suppose -4*o + 98 = a. Suppose -258 = -o*y + y. Does 6 divide y?
False
Suppose -3*b = 7*c - 2*c + 97, 0 = 5*c + 10. Let r = 10 - b. Let o = r + -29. Does 3