 = 1498, 7*w - 2*w - 1873 = l*s. Suppose m = -c + 147, 0 = 4*m - c - 238 - w. Is m a multiple of 19?
True
Let i(x) = 97*x + 4842. Is i(-18) a multiple of 43?
True
Suppose v + 6*m - 3*m + 2 = 0, 3*m = -5*v + 2. Let z(d) = 253*d**2 + 6*d - 4. Does 15 divide z(v)?
True
Suppose -4*g + 5 = z - 4, 0 = g + 4*z - 6. Suppose -g*x = 2*y - 18, 2*x = 3*y - 10 - 2. Suppose -5*d - 270 = -y*d. Is d a multiple of 54?
True
Suppose 0*j + 10*j = 8960. Suppose j = -o + 9*o. Let q = o - 79. Is q a multiple of 10?
False
Let z(l) = l**2 + 14*l + 22. Let b be z(-13). Suppose -b*m - 31 = -211. Suppose 2*o - m = 6. Is o a multiple of 5?
False
Let t(i) = i + 106. Let o be t(-5). Suppose -2*m + 0*m = -8. Suppose -211 = -m*v + o. Is v a multiple of 10?
False
Suppose 10*x + 15*x + 10025 = 0. Let l = 48 - x. Is 45 a factor of l?
False
Let m(j) = 5*j + 47. Let d be m(15). Suppose d = 3*o - 235. Let b = -83 + o. Does 9 divide b?
True
Is 13 a factor of 210/168*1/(2/8) - -1273?
False
Let m(x) = 130*x - 67. Let w be m(4). Suppose -5*r + 2929 = -4*y, 2*r = y - w + 1627. Is 31 a factor of r?
True
Let c = -5620 - -9702. Is 13 a factor of c?
True
Let h(l) = 6*l**3 + 11*l**2 + 11*l - 81. Does 6 divide h(6)?
False
Let s = 757 + -350. Suppose i + 2*f = 245, -5*i + 3*f - s = -1619. Is i a multiple of 9?
True
Let k = -355 + 358. Is (2*23/k)/((-2)/(-3)) a multiple of 2?
False
Let r(z) be the first derivative of -71*z**2/2 - 9*z + 29. Let k be r(-6). Suppose -6*n = 51 - k. Is n a multiple of 18?
False
Suppose -257*h = -268*h + 105545. Does 101 divide h?
True
Suppose 5*r + 33 = 4*i, -2*i + 4 + 6 = 4*r. Let z(a) = a**3 - 7*a**2 - a + 7. Let f be z(i). Is 8 a factor of (f + -3 - 0) + 29?
False
Suppose 84*r - 298425 = -31*r. Does 67 divide r?
False
Let v(w) = -27*w**2 + 80*w + 3. Let a be v(3). Suppose 0 = -5*o - 4*z + 30, -4*z = 4*o - z - 24. Suppose o*b - 360 = -a*b. Does 15 divide b?
True
Let o be (1160/3)/4*(-9 + 6). Let g = 479 + o. Is g even?
False
Let x = 55822 - 21379. Does 18 divide x?
False
Suppose 5*z + 5*h - 380 = 0, -2*z + 4*h + 78 = -44. Suppose -9*t + 4*t + 110 = -2*i, 5*i + z = 4*t. Is 3 a factor of t?
True
Is 5 a factor of (36704/(-620))/(6/(-705))?
False
Suppose -31*z + 35790 + 55580 = -48998. Does 16 divide z?
True
Let p(b) = b**2 - 14*b + 52. Let s be p(9). Is 21 a factor of 8 + 1031 + (9 - s)?
False
Let s be 8/(-6)*1 - 8332/6. Does 21 divide (7 + s/(-20))*(-44)/(-6)?
False
Let m(l) = 1691*l**2 - 132*l - 408. Does 137 divide m(-3)?
True
Let m(k) = -1675*k**3 + 4*k**2 + 22*k + 40. Is m(-2) a multiple of 239?
False
Suppose 0*c = 4*c + 12. Let n be 7/3*5 + 2/c. Let v = -5 + n. Does 2 divide v?
True
Suppose -5*i = 3*c - 172, -10*i + 13*i - 4*c - 80 = 0. Suppose -i*r + 206 = -114. Is 9 a factor of r?
False
Let m(q) = 2376*q + 76. Is 4 a factor of m(1)?
True
Suppose 0 = 9*k - 1 - 44. Suppose -k*h = -5*j - 6*h + 253, 5*h = 5*j - 265. Is j a multiple of 18?
False
Suppose 4*h - 200 = -4*y, -2*y + 4*h = 8*h - 110. Suppose 24*p - y*p + 7308 = 0. Is p a multiple of 12?
True
Let z = 166 - 307. Let x = -90 - z. Is 8 a factor of x?
False
Let p(t) = -5*t**2 + 22*t - 7. Let g be p(4). Suppose w + f - 51 = -4*w, -w + f = -9. Does 13 divide g + -2 + w - -4?
True
Let s(u) = 4*u**3 - u + 2. Let g be s(1). Suppose -3*m + 8*d - 6*d = -440, 0 = g*m - 3*d - 732. Is 48 a factor of m?
True
Suppose -125*g + 560351 = -213149. Does 34 divide g?
True
Let s = -561 - -568. Is 21 a factor of 861 + 0 + -7 + s?
True
Let v = 96 - 94. Suppose l = -5, 2*k - 17 = -v*k - 3*l. Suppose -240 = 3*s - k*s. Does 16 divide s?
True
Let q be (1 + -2)/((0 + 2)/(-2)). Let c(r) = 45*r**3 - 3*r**2 + 3*r - 1. Is c(q) a multiple of 44?
True
Suppose 441*y - 110376 = 433*y. Is y a multiple of 189?
True
Suppose 0*d = -3*d - y - 383, -4*d + 5*y = 479. Does 27 divide (-14588)/d + 4/18?
False
Let d = 7194 + 986. Is d a multiple of 10?
True
Suppose -4*l + 39 + 1 = 0. Let p(f) = -f**3 + 10*f**2 + 5*f + 14. Let y be p(l). Let j = -43 + y. Does 16 divide j?
False
Let f(w) = 6*w**2 - 2*w. Let v be f(1). Suppose -c = -l - 699, v*c - 2*l = l + 2796. Is c a multiple of 45?
False
Suppose 4*a = h, -3*a = -3*h + 14 - 5. Suppose -2*d - 88 = -h*d. Let r = d - 19. Does 25 divide r?
True
Suppose 0 = -31*l + 305 + 16218. Let s = -278 + l. Does 15 divide s?
True
Let f(y) = -67*y + 2. Let q be f(-10). Suppose 7*k = k + q. Does 28 divide k?
True
Let a be 0 + -3*(-5 + 4). Suppose 0 = 4*r + a*r - 56. Does 44 divide (1 - 413)*(8/(-2))/r?
False
Suppose -j + 12394 = 2*c, -12373 = -10*j + 9*j - 5*c. Is 24 a factor of j?
True
Suppose -25*s = -24*s + y - 1, -3 = -4*s - 3*y. Is (-1024)/(-1 + s/6) a multiple of 16?
True
Let n be (0 + 1)/(2/28). Let c be (-8 - 0/(-7)) + 10. Is (0 - c) + 14 + n a multiple of 13?
True
Let b(u) = 3375*u - 1764. Does 20 divide b(6)?
False
Let j(z) be the third derivative of 83*z**5/6 + z**4/6 + z**3 + 41*z**2. Is j(-1) a multiple of 64?
True
Suppose 906857 = 85*l - 1807023. Is l a multiple of 16?
False
Let f(c) = -43*c - 23. Let t be f(-8). Let n = t - 309. Is n a multiple of 10?
False
Suppose -3*o - 39*l + 43869 = -36*l, -2*l = 4*o - 58490. Does 78 divide o?
False
Suppose 3*k - 33759 = -s, 279*k = -s + 280*k + 33787. Does 17 divide s?
False
Let n(r) be the third derivative of -7*r**4/8 - 8*r**3/3 - 2*r**2 - 7*r. Is n(-4) a multiple of 39?
False
Let v = 394 + 5306. Suppose 26*x - v = 11*x. Is 20 a factor of x?
True
Suppose 3*z = z + 280. Suppose 0 = -5*h + 5*l + z + 525, -2*h = 5*l - 294. Suppose 0 = 3*t + 4*c - h, -c - 44 = -t - 2*c. Is t a multiple of 17?
False
Suppose 0 = -4*r - 4 - 0, -3*v - 3*r = -5226. Suppose 2*x + x - v = 0. Let s = x + -383. Is s a multiple of 28?
False
Let a(t) be the second derivative of -t**5/20 - t**4/6 + t**3/2 + 336*t**2 - 88*t. Does 16 divide a(0)?
True
Let z(c) = 108*c + 75. Let t(x) = -39*x - 25. Let k(y) = -17*t(y) - 6*z(y). Let g = 17 + -8. Is 22 a factor of k(g)?
True
Suppose -101*x + 23*x + 2118199 = -1598189. Is 35 a factor of x?
False
Let s = 495 - 502. Does 14 divide s - (-204)/30 - (-336)/5?
False
Let k be 24/(0 + 4)*2. Suppose k*w + 14*w - 12740 = 0. Does 14 divide w?
True
Suppose -129*n + 130*n - 7 = 0. Suppose 1 - n = -2*l. Suppose -l*s - 16 = -142. Is s a multiple of 21?
True
Is (-86)/(-1075) + (7895460/(-125))/(-4) a multiple of 122?
False
Let i = 139 + -131. Suppose 3*x + 1075 = i*x. Suppose -2*v + 77 = g - x, v = 3*g + 132. Does 18 divide v?
True
Suppose -5*b - 319 = 3*v, -3*b + 566 = -4*v + 131. Suppose -1356 + 191 = -233*x. Is ((-15)/2 + x)*v a multiple of 45?
True
Let r = 17525 + -14919. Does 71 divide r?
False
Suppose -5*t + 8*t - 13755 = 3*q, 4*q = -5*t + 22988. Is t a multiple of 8?
True
Suppose j + 2*k = 54, 0 = -6*k + 5*k - 3. Let f(m) = 2*m + j + 5*m - 3*m. Is f(19) a multiple of 17?
True
Let z(l) = l**3 - 3*l**2 + 6. Let p be z(3). Let i(f) = -6*f + 5*f + p*f - 1 - 1 + 4*f**3. Is i(2) a multiple of 8?
True
Let g = -75834 - -118552. Does 26 divide g?
True
Suppose -3*d - y + 68285 = -64917, -3*d + 5*y + 133190 = 0. Does 185 divide d?
True
Does 14 divide (-240 - -30)*1670/(-15)?
True
Let q(j) = j**2 - 20*j + 33. Let b be q(27). Suppose -g - b = -3*m, -m - 8*g + 90 = -3*g. Is 3 a factor of m?
True
Is 35 a factor of (1 - 5) + (-132)/(-30) - 473/(-5)?
False
Let x = 12 + -4. Suppose x = 2*k - 234. Suppose 5*q + 4*n - k = 179, -n + 187 = 3*q. Is 9 a factor of q?
False
Suppose -q + 2 = 1. Is ((-4)/10)/(5/((-1275)/q)) a multiple of 20?
False
Suppose 3*l - 14045 = z - 4394, 2*l = -2*z + 6434. Is 25 a factor of l?
False
Let i be 27/(-9) - (-1 + -1 + -2073). Suppose -17*n + 24*n = i. Is n a multiple of 37?
True
Let g(r) be the third derivative of -17*r**4/4 + 3*r**3 + 95*r**2. Is 66 a factor of g(-5)?
True
Let h = -32245 - -36210. Is 5 a factor of h?
True
Let v be 80/45 - (-3)/(-27)*-2. Let o(b) = -19*b**3 + 0*b**2 + 20*b**3 + 2*b**v + 2. Is 17 a factor of o(2)?
False
Let n(j) = -2*j**3 + 35*j**2 - 18*j + 15. Let b be n(17). Does 6 divide (-7 - -14) + (-3 - b)?
True
Suppose 0 = 14*q + 24*q - 151164. Does 26 divide q?
True
Let m be (3/(-2) - 0)/((-2)/48). Suppose 0 = 5*o + 3*r - m, -11*r = 2*o - 14*r - 6. Does 5 divide o?
False
Is -1*(6 + 4) + 111 + 15 a multiple of 6?
False
Let r(y) = -3*y - 164. Let b(g) = g + 3. Let m(c) = 4*b(c) - r(c). Is 15 a factor of m(-8)?
True
Is 63 a factor