ue
Let w = -43 + 54. Suppose -855 - 445 = -5*s. Suppose -180 - s = -w*k. Does 3 divide k?
False
Let j = 3104 + -2171. Is j a multiple of 77?
False
Let y be 147/42 - (-1)/2. Suppose -351 = -3*q - 5*n, -n + 33 = -y*q + 478. Is 8 a factor of q?
True
Let p be 30/7*(-2 - -16). Suppose 0 = 3*j - 2*k - 314, -k + 4*k - 294 = -3*j. Let o = j - p. Is o a multiple of 6?
True
Let f(b) be the third derivative of -b**5/60 + 13*b**4/6 - 55*b**3/6 + 153*b**2. Is f(26) a multiple of 20?
False
Suppose -4*m = -16*m + 156. Let u(i) = -24 - 2*i**2 + 15*i + i**2 + 25. Is 3 a factor of u(m)?
True
Let d = 1391 + 8584. Does 57 divide d?
True
Let j = -23 + 123. Let d = j + 50. Let g = 213 - d. Is g a multiple of 17?
False
Suppose -4*h + 5*w = -89, -h + 20 = 2*w - w. Let y = -6 + h. Is 12 a factor of (-2)/(((-1)/5)/(54/y))?
True
Let l be (15 + -6)*5/3. Is (2 - -20)/(((-12)/l)/(-2)) a multiple of 11?
True
Let p(l) = 164*l**3 - l**2 + l + 2. Let d be p(-1). Is 75 a factor of d/(-287) - (-11118)/(-21)*-1?
False
Let d(i) = 5*i**2 + 20*i - 54. Does 4 divide d(-63)?
False
Let y be (-3)/1*(-2)/12*94. Suppose 2*v = 4*v - 162. Let d = v + y. Is d a multiple of 13?
False
Let x = 12454 - -4348. Is 27 a factor of x?
False
Let u = 111 + -139. Let k = u - -73. Does 9 divide k?
True
Let i = -175 + 160. Is 31 a factor of 315/i*47/(-3)?
False
Let h be 28/(-126) + 2/(-18)*-6833. Let c = h + -556. Is c a multiple of 3?
False
Let h be 10/15 + (-1645)/(-3). Suppose 0*w = 4*w + n - h, 2*w - 3*n - 257 = 0. Suppose 13*b = 9*b + w. Does 8 divide b?
False
Suppose 0 = -3*z - 5*z. Suppose z = -2*a + 4*f + 298, -4*f = -3*a - 5*f + 468. Suppose -4*m + 41 = -2*m + 5*p, 0 = -5*m - 2*p + a. Is m a multiple of 24?
False
Let p be -183*(15/(-3) - -4). Let a = p + -124. Is a a multiple of 5?
False
Suppose -26181 - 89996 - 100911 = -32*a. Is a a multiple of 8?
True
Suppose k + 20 = -4*k, -3*k = -5*z - 83. Let c = 63 + z. Suppose 0*q + 11 = q + 3*h, 0 = -4*q - 5*h + c. Is 6 a factor of q?
False
Suppose 0 = -259*d - 92*d + 1726634 + 2566798. Does 143 divide d?
False
Suppose 123 = 4*k - 3*k - 4*l, -5*l = -k + 128. Suppose -3*j - k = -4*j. Suppose j = o - 3*w + 5, -4*o + 456 = 4*w. Does 24 divide o?
False
Suppose 26*j - 22*j = 296. Let m = j - -17. Does 36 divide m?
False
Let s(q) = -q**3 + 9*q**2 + 16*q - 19. Let t be s(10). Suppose -29 + t = d. Is d a multiple of 3?
True
Is (-2 + 6570/20)/((-1)/2)*-23 a multiple of 41?
False
Let d = 21 + 7. Let j = d + 76. Suppose 4*r - 408 = -j. Is r a multiple of 19?
True
Let i = 40 + -80. Let l = -36 - i. Suppose 5*p - 4*b - 72 = 0, -2*p - 15 = -l*p - 3*b. Does 4 divide p?
True
Let q = 12250 + -6034. Is q a multiple of 28?
True
Does 20 divide 63178/6 - ((-24)/(-216) - (-12)/(-27))?
False
Let l = -464 - -680. Does 16 divide (3 - l/56)*7*-15?
False
Let i(c) = -c + 20. Let n(b) = -b + 3. Let q be n(1). Suppose -q*d + 19 = -s, 13 + 12 = 5*d. Is i(s) a multiple of 9?
False
Suppose -2*q - 4*n = 8, -4*q = -0*q - 5*n - 23. Suppose 4*s - 3*w = 2959, -1011 = -s + q*w - 275. Does 37 divide s?
False
Let n = 8024 - 581. Is n a multiple of 10?
False
Suppose -26738 + 112187 = 5*z + 4*n, -4*z - 5*n + 68361 = 0. Does 49 divide z?
False
Suppose 307 = -w - 2*l, -810 = 4*w + 2*l + 424. Let v = 786 + w. Is 53 a factor of v?
True
Let z = -5034 + 5222. Is 47 a factor of z?
True
Suppose -5*n - 705 = -10*n. Let c be n*2/18*3. Suppose 4*z = c + 1. Is z a multiple of 6?
True
Let d be ((-15)/(-12)*6 + -2)*6. Let q be (-1 + d/15)*5. Is 5 a factor of 12 - (4/q + 11/(-3))?
True
Let o(s) = 460*s**2 - 59*s + 239. Is o(5) a multiple of 10?
False
Suppose -4*l = q - 45, 0 = 2*q + l + 2*l - 70. Suppose -23*v = -q*v + 1242. Is v a multiple of 18?
False
Suppose 7*f = 4*f + 9. Does 17 divide -2 + (2/f - 15696/(-27))?
False
Suppose 2*s - 1611 = j - 18770, 3*s = 2*j - 34316. Is j a multiple of 18?
False
Suppose -4851 = 59*d - 48*d. Let j = d - -1206. Is 51 a factor of j?
True
Suppose v = 10*v - v. Suppose v = -4*n + 246 + 98. Is n a multiple of 7?
False
Suppose a = 5*w - 27, 0 = 5*a + 5*w - 7*w + 20. Is (-676)/(-5) + a + (-9)/(-5) a multiple of 27?
True
Suppose 17*l = 9*l + 8. Let r be l*((-1)/(-4)*0)/(-3). Suppose -15*j + 13*j + 182 = r. Does 23 divide j?
False
Does 80 divide (-109 - 11)*(-5)/(90/156)?
True
Let p = 50130 - 38175. Is p a multiple of 65?
False
Let f = -13 + 18. Suppose -f*r + 225 = -10*r. Is (11 + 1)/(r/(-150)) a multiple of 10?
True
Let f be (4603/18 + (-42)/189)*-2. Let u = -445 - f. Does 22 divide u?
True
Suppose -607780 + 97580 = -30*x + 81640. Is 72 a factor of x?
True
Does 69 divide -828*15/(-9)*7/(315/72)?
True
Let c(u) = 1930*u**2 - 9*u - 8. Let l be c(-2). Suppose -7*d = 3*d - l. Does 16 divide d?
False
Let f be (302/4)/(10/20). Let t = f + -102. Does 49 divide t?
True
Is 32 a factor of 569/1138*(9782 - -2)*5?
False
Let k be (2 + 364)/(3/(-20)). Does 52 divide k/(-16) + 3 + (-1)/(-2)?
True
Suppose g + 2*g = -k + 23, -5*g + 41 = k. Let p be 16*-3*g/(-27). Is 95*(18/8 + (-4)/p) a multiple of 9?
False
Suppose 18 = -11*w - 4. Let j be (w - -1) + (-4 - 32/(-2)). Suppose 9*n + 52 = j*n. Is n a multiple of 25?
False
Let w(j) = 114*j**2 - 1278*j + 6. Is w(16) a multiple of 94?
True
Let q = 70 + -66. Let y(m) = -4*m + 2 + 7 + 11*m + 12*m. Is 12 a factor of y(q)?
False
Let h = 601 + -1102. Let o = h + 801. Does 48 divide o?
False
Is 15 a factor of (6 - 12) + (762/1 - -5)?
False
Let r = 2536 + 2647. Is r a multiple of 172?
False
Let q = -174 + 102. Let s = q - -101. Suppose -5*d + 33 = -2*p + 5*p, p = 5*d - s. Does 4 divide d?
False
Suppose -3*j + 8*j + 22 = -z, -2*j = -2*z + 16. Suppose -u + 412 = 5*p, 6*u - 2038 = u - z*p. Suppose -3*s + 2*a + u = 7*a, -139 = -s - 5*a. Does 37 divide s?
False
Suppose -73*o - 6 = -76*o. Suppose -3*l + 826 = o*s, 0 = -5*s + 3*l - 0*l + 2065. Is s a multiple of 46?
False
Let r(a) = -25*a - 5 + 21*a + 10. Let c be r(8). Let d = 50 + c. Is d a multiple of 9?
False
Suppose 10*g - 230 - 410 = 0. Suppose -48*a = -g*a + 4240. Is a a multiple of 24?
False
Suppose 9*f - 3346 = -10861. Let a = -380 - f. Is 35 a factor of a?
True
Suppose 7 = 2*y - 3. Suppose 3*v + 3017 = y*f, 0*f + 603 = f - v. Suppose 2*g + 0*l + 4*l = f, g - 2*l - 290 = 0. Does 37 divide g?
True
Let z(y) = -2*y**2 - 7*y + 244. Let f be z(0). Let c = f - 19. Is 25 a factor of c?
True
Suppose 2 + 8 = 5*d. Suppose k - d*j - 25 = -3, -5*j = 25. Is 7 a factor of 38 - (-2)/((-8)/k)?
True
Let p = 26 + -23. Suppose 0 = 2*s + 2, -p*a + 0*s + 1054 = 2*s. Is 26 a factor of a?
False
Let t(s) = s**2 - 10*s + 28. Let o be t(5). Suppose -o*r = -3*k + 483, 9*r = 3*k + 11*r - 498. Does 7 divide k?
False
Suppose -16*a + 1 = -31. Suppose -5*g = -0*g - 2*j - 44, -4*g + 46 = a*j. Suppose -3*k = -i + 30 + g, 5*i - 5*k - 240 = 0. Is 16 a factor of i?
False
Suppose -9*p + 59*p - 47161 = 219089. Does 52 divide p?
False
Let u(i) = -2841*i - 431. Is 71 a factor of u(-5)?
True
Let w(z) = 3*z**2 + 5*z. Let u(o) = -15 - 25 + 41 + 4*o + 3*o**2. Let r(s) = -6*u(s) + 7*w(s). Does 59 divide r(-11)?
True
Suppose 0 = -2*r + 21 - 25, -4*r - 7828 = -5*p. Suppose 1642 = 14*y - p. Does 4 divide y?
False
Let a(h) = -8374*h**3 + 2*h**2 + 2*h + 1. Does 25 divide a(-1)?
True
Let u = -95 + 100. Let q = -25 - -44. Suppose -u*f + 21 = -q. Is 3 a factor of f?
False
Let n(q) = -2*q - 18. Let b be n(-9). Let f(k) = 2*k**2 - 5*k - 40. Let j(y) = 2*y**2 - 6*y - 40. Let v(p) = -7*f(p) + 6*j(p). Does 7 divide v(b)?
False
Does 30 divide (-3)/(51/(-2)) - (-6578900)/850?
True
Suppose -570*q + 519*q + 254388 = 0. Is 116 a factor of q?
True
Let t be (-10 + 9)/(1/(-5) - 0). Suppose 0*u + 2*u - 10 = -t*d, -3*u - d = -15. Suppose -u*h + 336 = 3*h. Does 21 divide h?
True
Suppose 6*r + 320529 = 18*r + 21*r. Does 24 divide r?
False
Suppose y + 5*s - 2097 = 0, 4*y = -0*y - 2*s + 8442. Is y a multiple of 16?
True
Suppose -2*j - 243 = -4*o + 465, -3*j + 2*o = 1042. Let g = 500 + j. Let p = -58 + g. Is p a multiple of 15?
False
Let t(s) = s**2 + 8. Let q be t(0). Let b = 8 - q. Suppose 30 = 5*o - b. Does 3 divide o?
True
Suppose -2*a = -3*p + 8*p - 90, 3*p + 4*a - 68 = 0. Suppose -8 = 2*q + p. Does 15 divide ((-36)/8)/(q/80)?
True
Let w(b) = 24*b**2 + 189*b - 1166. Does 159 divide w(22)?
False
Is ((-13488)/(-9))/(-2)*1152/(-32) a multiple of 16?
True
Suppose -2*r + 366*o 