*t. Does 17 divide i(-5)?
False
Let p(m) = 3251*m**3 + 19*m**2 + 7*m + 2. Does 102 divide p(2)?
False
Let r(u) = 57 + 60 - 29 - 23*u + 45. Is r(5) a multiple of 3?
True
Let u = -112 + 107. Is (u - (-85)/15)/(2/504) a multiple of 89?
False
Let w = 16 - 13. Let m(r) = 4*r - w*r + 148 - 125 - 3*r. Is m(-11) a multiple of 45?
True
Let w = 18 - 8. Suppose -h = 2*q + 1, -5*h - 5*q - 5 = -w*q. Does 8 divide -64*((-30)/8 - h*3)?
True
Let w(y) = -y**2 - 22*y - 12. Let d = -115 + 106. Let h be w(d). Let p = h + -59. Is 6 a factor of p?
False
Suppose 0 = 337*f - 342*f - 5*k + 7625, -f + k = -1521. Does 35 divide f?
False
Let m(s) = -s**2 + 8*s - 21. Let f be m(6). Let g = f + 23. Does 6 divide g?
False
Let i(v) = -9*v + 11. Let u be i(-19). Let l = 274 - u. Is 13 a factor of l?
False
Let r = -1751 + 2232. Is r even?
False
Let q(c) = -8*c + 93. Let p(x) = 10*x - 95. Let s(r) = 3*p(r) + 4*q(r). Is 3 a factor of s(27)?
True
Let w = 1049 + -893. Is w a multiple of 2?
True
Let v be (414/21)/((-19)/(-133)). Let f = 72 - 30. Let i = v - f. Is i a multiple of 24?
True
Suppose 348 = -6*f + 35*f. Does 11 divide 30/f - (-985)/2?
True
Suppose 38 = -v + 18. Let i = v + 126. Does 12 divide i?
False
Does 73 divide 5/3*(1720/8 - -4)?
True
Let f be (386/4)/(3/6) - 3. Suppose 0 = 3*t - 4*p - 316, p - 329 = -5*t + f. Is t a multiple of 8?
True
Suppose -4*g = 3*a + 1, 0 = 4*a + 3*g - 7*g - 8. Let p(k) = -2 - 14 + 7*k - a - 23*k. Is p(-6) a multiple of 21?
False
Suppose 372 = q - t, 0 = 3*q - 45*t + 47*t - 1141. Let b = -334 + q. Is 43 a factor of b?
True
Suppose 0 = -8*b - 26012 + 95812. Is b a multiple of 174?
False
Suppose -2*p = 4*q - 26, -16 + 75 = 3*p + q. Suppose -2*j - 3*o - p = -0*j, 2*j = 2*o + 4. Does 20 divide j/(3 + 0) - -58?
False
Let d(y) = -82*y - 201. Suppose 57 = -33*n - 207. Is 5 a factor of d(n)?
True
Let h(o) = -30*o**3 + 2*o**2 + 1. Let p be h(-2). Let l = p - 153. Suppose 11*z = 8*z + l. Is z a multiple of 8?
True
Is 20 a factor of (297/(-15) + 21)/(4/5190)?
False
Let g be 90/(-20)*(20/(-12) + 1). Suppose 688 = 3*n + b, 1150 = 5*n + g*b - 2*b. Is 21 a factor of n?
True
Let o = -90 - -2244. Does 3 divide 2/10 - (o/15)/(-2)?
True
Suppose 0 = y - 10 + 5. Suppose -6*i = 2*t - y*i - 470, -t + 2*i + 235 = 0. Let d = -136 + t. Is 33 a factor of d?
True
Let g(r) = -50*r - 4. Let o be g(-1). Let w = o + 209. Let d = -75 + w. Is 18 a factor of d?
True
Let j(o) = 9*o**2 - 9*o + 10. Let r be j(11). Suppose 0 = 15*h - r - 2510. Is 72 a factor of h?
False
Suppose 0 = -20*z + 23*z - 36. Suppose z*c - 1042 = 1826. Is c a multiple of 11?
False
Let w(z) = -z**3 - z**2 + 2*z + 3. Let b be w(-3). Let t = -2749 + 2753. Suppose -t*o = -3*o - b. Is o a multiple of 2?
False
Suppose 0 = 5*f - 79228 - 46052. Is f a multiple of 54?
True
Is 112 a factor of (-26969385)/(-860) - 3/(-12)?
True
Let s = -90 + 241. Suppose y = -5*i + 741, -4*y + y + s = i. Does 31 divide i?
False
Let l be (-20)/4 - -3 - -156. Let b be 30/18*33/11. Suppose l = b*m + 6*m. Does 7 divide m?
True
Let t be (0 + -25)*43/(-215). Suppose 205 = 3*h + t*c, -4*h + 256 = -0*c - 2*c. Is 13 a factor of h?
True
Let v = -53 - -27. Let u = -17 - v. Suppose a + 0*a + 119 = 4*w, -3*a = u. Is w a multiple of 29?
True
Let j(w) = 12*w**3 - 4 - 4*w**3 - 3*w + 9 - 10*w**2 - 3. Does 42 divide j(5)?
False
Let p(v) = 3*v**2 + 2. Let u be p(-2). Suppose -u*r + 13*r = -j + 453, -4*r = -12. Does 19 divide j?
True
Let v(z) = 8*z**2 + z + 413. Is 16 a factor of v(-21)?
True
Suppose 0 = 2*b + 4*s - 26248, b - 13089 = -8*s + 13*s. Does 15 divide b?
False
Suppose -4*r - 3*d - 146 = -813, 161 = r - 5*d. Suppose 167*y - 486 = r*y. Is 62 a factor of y?
False
Let s(m) = 32*m**2 + 24*m + 380. Is s(-16) a multiple of 6?
False
Let j(m) = -m**3 + 17*m**2 - 21*m - 1. Is 12 a factor of j(-17)?
False
Let z = -199 + 202. Suppose 2*k - 425 = -5*y, z*y + 3*k = -136 + 400. Does 25 divide y?
False
Let y(k) be the first derivative of -23*k**2 - 2 + 4*k**2 + 6 + 4*k. Does 13 divide y(-4)?
True
Suppose 26*s - 32*s + 2940 = 0. Suppose -q + 2*w + s = 0, -q = 3*q - 5*w - 1975. Does 50 divide q?
True
Let o(a) = 2925*a**2 + 36*a + 32. Is o(-1) a multiple of 127?
True
Let u(r) be the first derivative of 5*r**2/2 + 78*r - 39. Is 23 a factor of u(35)?
True
Let p(i) = -364*i - 3756. Does 83 divide p(-24)?
True
Suppose 105*o = 59*o + 862454. Is o a multiple of 152?
False
Let l = 25 - 19. Suppose -l = 2*t, 3*h - 4*t = -20 - 118. Let g = h + 74. Does 3 divide g?
True
Suppose -2*v = 2*c - v - 12, -4*c + v + 24 = 0. Suppose 0 = -16*k + c*k + 3850. Is k a multiple of 4?
False
Suppose 5*p - 5761 = -2*g + 2664, 4*p = g + 6727. Suppose -16*v + p = 147. Is 8 a factor of v?
True
Let d(g) = 6*g + 43. Let l be d(-7). Let f = -8 + 5. Does 28 divide l*f - 248/(-8)?
True
Let a = 3050 + -1180. Does 34 divide a?
True
Let g = -609 - -1097. Let x = 1102 - g. Is 8 a factor of x?
False
Let x = -114 - -147. Let b(l) = 2*l + 3*l + x*l**2 + 9 - 31*l**2. Does 17 divide b(-11)?
False
Let r = -728 + 738. Suppose -2*h = -r, -3*g + 18*h = 17*h - 550. Does 4 divide g?
False
Let c = 307 - 302. Suppose 3*y + 603 = 5*i + 4*y, c*i = 4*y + 588. Is i a multiple of 10?
True
Let d be 661 + (8/(-4) - -1). Suppose -d = 35*z - 46*z. Does 10 divide z?
True
Suppose -2*m + 19 = x, 3*x + 3*m - 23 = 40. Suppose 0 = 6*l - 37 - x. Does 10 divide l?
True
Suppose 2*k - 1128 + 66 = 3*d, -4*k + 2140 = 2*d. Is 99 a factor of k?
False
Let w(c) = 2*c**2 + 3*c - 3. Let z(u) = -2*u - 7. Let h be z(-7). Suppose -h*m = -4*m + 18. Is w(m) a multiple of 11?
False
Let s be 48/(6/(-21) + 74/210). Suppose -100*i + 96*i = -s. Is 36 a factor of i?
True
Let m(y) = 10*y**3 - 5*y**2 + 5*y - 196. Does 70 divide m(15)?
False
Suppose 0*y - 5*m = -4*y - 27, 3*y - 3 = -4*m. Does 20 divide ((-36)/2)/((12/46)/y)?
False
Is (238/5)/((-158)/(-12640)) a multiple of 17?
True
Is -9 + (125550/(-3))/(-9) a multiple of 20?
False
Let c be (1 - (1 + -20))*25. Suppose -4*f - 740 - 676 = 0. Let s = c + f. Does 24 divide s?
False
Let j be 0 + 3/2*(-200)/(-75). Let h(y) = 6*y**2 - 8*y + 13. Let g(t) = -17*t**2 + 24*t - 38. Let x(i) = -3*g(i) - 8*h(i). Is 4 a factor of x(j)?
False
Let u(c) = 63*c + 32. Let p be u(6). Suppose 22*m - p = 250. Does 6 divide m?
True
Let i be 9/(135/12)*-5. Let w = -8 + 2. Does 9 divide -3 - i - 126/w?
False
Suppose 0 = -s - 5*q + 874, 398 = 3*s - q - 2192. Suppose 0 = 5*n - 11*n + s. Is n a multiple of 4?
True
Let r be (-9)/((-4)/((-32)/20) + -4). Suppose -649 = -r*j + 359. Is j a multiple of 14?
True
Suppose 18*g + 24 = 114. Suppose 4*r + o = 2*r + 10, -o = 0. Suppose -h + 537 = r*s, g*h = -2*s + h + 204. Is 36 a factor of s?
True
Does 7 divide (5 + -4)/(2/(-1631)*(-31)/62)?
True
Suppose -3*x - b + 14 = 0, -16 = -4*x - 2*b - 2*b. Suppose -2*v + x*f - 4 = 21, -4*f = -3*v - 34. Does 40 divide v*(-1 + (-648)/20 + 3)?
False
Suppose 75*r = 14*r + 26657. Let w = r - -103. Is w a multiple of 17?
False
Let r(l) = l**3 - 10*l**2 + 9*l + 1. Let z be r(9). Suppose -2*w - 159 = -c, -z = -4*w + 3. Suppose c = 4*x + u, 4*x - 6*x + 4*u = -58. Is 9 a factor of x?
False
Let i = 6114 + -2448. Is 78 a factor of i?
True
Suppose -8 - 2 = -5*f. Suppose -f*z + 2 = 0, z - 3561 = -0*m - 4*m. Suppose -4*n = -n + 6, -4*p = -3*n - m. Is p a multiple of 45?
False
Suppose -2*r + 11 = -3*x, -4*x + 3*r + 0*r = 15. Let k = 5 + x. Suppose -5*d - m = -19, k*d - 7 = -d - 5*m. Is 3 a factor of d?
False
Let l(w) = -w**3 + 5*w**2 + 2*w - 2. Let i be l(4). Suppose i*f - 1560 = 5370. Does 13 divide f?
False
Let x(m) = -10*m + 5. Let k be x(2). Let u be -4 + 6 + 7 + 2 + -2. Let g = u - k. Is g a multiple of 2?
True
Is 1050/(-4)*(-18)/5 a multiple of 27?
True
Let d(t) = -2*t**3 + 55*t**2 - 2*t + 15. Does 15 divide d(10)?
True
Let r(c) = c**2 + c - 34. Let i be r(0). Is 2/(-1)*6511/i a multiple of 12?
False
Suppose 11*m = -33 + 176. Suppose -14*k + 184 = -m*k. Does 48 divide k?
False
Suppose 0*h - 96 = -12*h. Suppose -8*a + 9*a = -40. Is 50/a + 202/h a multiple of 12?
True
Let f = -129 - -132. Suppose 8*z - 971 = -2*p + 3*z, -5*z = f*p - 1444. Is p a multiple of 21?
False
Is 16*19/(228/2220) a multiple of 10?
True
Let a = 63 + -63. Let s(t) = t**3 + t**2 - 3*t + 24. Let d be s(a). Suppose 0 = n - 14 - d. Is 6 a factor of n?
False
Let k be (-100)/40 - (-9)/2. Does 