**3 + 20*m**2 - 8*m + 87. Let n(v) = 6*h(v) - 7*l(v). Is 8 a factor of n(-17)?
False
Let x(i) = 7*i**2 + 67*i + 111. Is x(-34) a multiple of 15?
True
Does 29 divide 52/(624/9686)*(-12)/(-1)?
True
Suppose -2*r + 1441 + 74 = -c, 3*c = -3*r + 2295. Is 76 a factor of r?
True
Suppose 0 = -20*a + 46189 + 2891. Suppose -a + 726 = -16*h. Does 6 divide h?
True
Let c(o) = -507*o + 14535. Is 14 a factor of c(21)?
False
Does 113 divide 2 + 15 + 474208/146?
False
Suppose -48*p - 54185 = -53*p - 5*t, 3*p - 2*t = 32476. Does 52 divide p?
False
Suppose -14833 = -9*d - 4*d. Let r = 2567 - d. Does 23 divide r?
True
Suppose 0 = -8*m + 3*m + 3*g + 189, 0 = 2*m + 4*g - 60. Suppose -3*i = 3*i - m. Suppose r - 3*c = 26, 7*c - i*c = r - 24. Does 3 divide r?
False
Let f(n) = 67*n**3 - 2*n**2 + 1. Let j be f(1). Suppose j*h = 64*h - 26. Let l(i) = 2*i**2 + 10*i - 29. Is l(h) a multiple of 14?
False
Is 10 a factor of -39*((-26129)/51 - -5)?
False
Let t be (-52)/(-78) + 148/(-6). Let l(g) = -g + 67. Does 21 divide l(t)?
False
Is 104 a factor of (24 - (-6388336)/232) + (-4)/(-58)?
True
Suppose -6 = -3*t - 4*f + 11, 2*t - 3*f - 34 = 0. Let c(x) = t - 2*x - x + 4*x. Is c(19) a multiple of 15?
True
Let y be 7/(-11*1 + (40 - 28)). Let i be (2 + 0)/((-4)/10). Is 1947/21 + i + 37/y a multiple of 33?
False
Let y be 8 + 1 - 1 - 4. Suppose 1335 + 92 = f + 4*s, s = y. Does 51 divide f?
False
Let g(u) = 2*u**2 + 35*u + 26. Let l be g(-19). Suppose 0 = 3*t + 2*q - l, 105 = 3*t + t - 3*q. Is t/((-1)/4*(-4 - 2)) a multiple of 18?
True
Is (4 + (-3)/(60/(-20215)))/(1/16) a multiple of 123?
True
Let v = 41 + -38. Suppose v*c = -4*q + 80 - 33, -11 = -2*q + c. Suppose -3*w - d = -3*d - 79, 0 = 4*d + q. Does 13 divide w?
False
Let p(q) = 14*q - 15. Let i(t) = -16*t + 17. Let c(r) = 4*i(r) + 5*p(r). Let n = -4 + 16. Is c(n) a multiple of 13?
True
Let a = 9 + -15. Let p be (2 - (-28)/(-35))*(-50)/a. Suppose -4*f - 2*n + 80 = 0, -3*n - 80 = -4*f - p. Does 2 divide f?
False
Let z be (-10)/2 + (10 - (2 - -1)). Let l(n) = 37*n**3 + 4*n**2 - 13*n + 3. Does 8 divide l(z)?
False
Let l(v) = -v**2 + 32*v - 55. Let p be l(30). Suppose 0 = -2*a - p*d + 85, d - 37 - 142 = -4*a. Does 14 divide (72/a)/((-1)/(-150))?
False
Let k(p) be the first derivative of -17*p**2/2 + 8*p + 18. Let w be k(-2). Suppose -w + 168 = 6*s. Does 15 divide s?
False
Suppose -2*y + 842 = -5*w, 3*y - 749 - 548 = -w. Let b = 691 - y. Does 52 divide b?
True
Let t = 510 - 1202. Let x = -314 - t. Is 27 a factor of x?
True
Suppose 0 = -2*d - 4*g - 1338, 3*d + 5*g - 348 = -2358. Does 14 divide d/(-4) + (-33)/44?
True
Let q(o) = o - 1. Let r(l) = l**3 + l**2 - 5*l - 1. Let j(u) = 3*q(u) - r(u). Let s(b) = b**3 + 26*b**2 - 25*b + 50. Let i be s(-27). Is j(i) a multiple of 2?
True
Let c(r) = 53*r + 165. Let l be c(11). Let k be (-4749)/(-9) + 3*1/9. Let v = l - k. Does 11 divide v?
True
Suppose 9*j + 159 + 336 = 0. Let v = j + 60. Suppose -2*i + 2*r + 20 = 0, -3*r + r + 29 = v*i. Is i a multiple of 4?
False
Suppose -5*j = -5*v - 239955, -3*v + 239995 = 73*j - 68*j. Is 13 a factor of j?
True
Let y be ((-28)/(-56))/((-2)/12). Let p(v) = -7*v**3 - 7*v**2 - 10*v - 14. Is 33 a factor of p(y)?
False
Let t(w) = -34*w**3 + 36*w**3 + 13*w - 3*w + 46 + 26*w**2. Is t(-12) a multiple of 17?
False
Let n(a) = -571*a**3 + 12*a - 8*a**2 + 569*a**3 + 23*a**2. Let h be n(7). Suppose u - h = -2*g, -11*u + 10*u + 138 = -3*g. Is 9 a factor of u?
True
Suppose 5*x - 3*b = 46149, 23*b + 18461 = 2*x + 22*b. Does 14 divide x?
False
Suppose -20 = -b + 5. Suppose 0 = 28*q - b*q - 135. Is 5 a factor of q?
True
Let p(c) = c - 3. Let s be p(13). Let k be (6 - 132/5)/((-3)/s). Suppose -w + 188 = k. Is 10 a factor of w?
True
Suppose 200*i - 350998 = 45*i + 425862. Is 28 a factor of i?
True
Suppose -5*m + 60 = -4*x, -x - 4*x - 55 = -5*m. Suppose -2*f = -z + m, 3*z + 4 = z - 5*f. Suppose -2*c = -4*a - 22, -z = -c - a - 0. Is 9 a factor of c?
True
Let s = -209 - -293. Suppose 0 = 77*v - s*v + 2303. Is v a multiple of 40?
False
Suppose 10*v = -4 + 24. Suppose -3 = -3*l - 2*t + 7, v*l + 5*t - 25 = 0. Suppose l*a + 3*k - 170 = -5*a, k = -a + 36. Is 3 a factor of a?
False
Let m(y) = -y**2 - 15*y - 23. Let k be m(-10). Suppose 14*i + k = 17*i. Let o(s) = 15*s - 5. Is o(i) a multiple of 26?
True
Is 15 a factor of 31/(372/144) + 1233?
True
Suppose 7*h + 4965 = 5*w + 4*h, 2*w - 2007 = -3*h. Suppose -7*s + w = -2238. Is 38 a factor of s?
False
Suppose 4*c + 0*c + 16 = 0. Let l(r) = -7*r + 111. Let w(z) = 5*z - 110. Let i(q) = c*l(q) - 5*w(q). Does 23 divide i(0)?
False
Suppose -239 = -4*h - 5*o + 32, 0 = -5*h + 4*o + 349. Let k = h - 63. Suppose 5*c = k*c - 34. Is c a multiple of 7?
False
Let r(n) be the second derivative of n**4/6 + 19*n**3/6 + 29*n**2/2 + 4*n - 15. Does 62 divide r(17)?
True
Let c = 1856 - 1044. Suppose -4*p + 788 = -3*s, -4*p + 7*s = 10*s - c. Does 10 divide p?
True
Let w(g) = g**2 - 5*g - 12. Let k be w(5). Let n be (-32)/(-6) - (-4)/k. Suppose -347 = -5*q - 4*z, 3*q + 5*z = n*q - 119. Is 15 a factor of q?
False
Suppose -4*a + 135 = -7*a. Is 1675 + 0 + a/(-9) a multiple of 34?
False
Suppose 43*h - 61*h + 30543 - 5325 = 0. Does 10 divide h?
False
Suppose 3*a = 29 - 59. Is 1172/13 - a/(-65) a multiple of 25?
False
Let c = -878 - -1601. Is (88/10)/(-8 - c/(-90)) a multiple of 13?
False
Let m = 70 + -68. Suppose -i + 23 = m*i + 2*j, -3*j + 12 = 0. Suppose -l = -i*l + 444. Is 13 a factor of l?
False
Let r(b) = -2*b + 4. Let f(n) = -n + 3. Let o(l) = -3*f(l) + 4*r(l). Suppose 32 = -2*q - a, -5*q = -2*q + 4*a + 48. Does 9 divide o(q)?
False
Does 16 divide (292/(-14))/((-48)/3360)?
False
Suppose 18*u + 58057 - 43527 - 163462 = 0. Is u a multiple of 6?
True
Let p(g) = g**2 + 4*g - 2. Let j be p(-5). Let n be 1*0/(((-20)/5)/(-2)). Suppose n = -j*v + 38 + 22. Is v a multiple of 20?
True
Suppose 4*t = 56 - 8. Let c = -14 + t. Let r(m) = 7*m**2 - 3*m - 4. Does 10 divide r(c)?
True
Suppose -3*q - 2*u + 28 = 0, -4*q - 3*u - 14 + 52 = 0. Suppose -13*y + 2585 = -q*y. Is y a multiple of 47?
True
Suppose 9*q - 4*q - i + 22 = 0, q + 2*i + 11 = 0. Let j be q/5*4*1. Is 45 a factor of (-217 - j)/((-6)/4)?
False
Let f(b) = 20*b**2 - 1. Let z be f(-1). Suppose -5*y = z*y - 2640. Is 10 a factor of y?
True
Let q(a) = 2*a**2 - 21*a - 51. Let t be q(22). Suppose -2*k = -1433 - t. Is 80 a factor of k?
False
Suppose 1299117 - 3764769 = -149*c. Is 8 a factor of c?
False
Let p(g) = 1 + 284*g**2 + 1 - 8*g - 281*g**2. Let a(n) = -n**3 + n**2 - n + 1. Let o(u) = 10*a(u) - 2*p(u). Does 10 divide o(-2)?
True
Suppose 4*p - 2*p + 6 = 0, 2*t - 5*p = 2545. Suppose 17*j = 6195 - t. Is j a multiple of 31?
False
Suppose -4*s + 42 = 3*s. Suppose 490 = -4*d - s*d. Let n = -46 - d. Is 3 a factor of n?
True
Let c = -3 + 32. Let d = c - 5. Is 301/(-2)*d/(-42) a multiple of 14?
False
Let k be (4 - (-40)/(-4)) + -391. Let v = 32 - k. Is v a multiple of 11?
True
Let b = -28388 - -42287. Is b a multiple of 113?
True
Suppose -23*u = 19*u + 28*u - 481390. Is u a multiple of 13?
True
Suppose 5*h + 3*o - 195 = 346, 2*h - 4*o = 206. Does 8 divide h?
False
Is (-60)/(-52) - 1 - (-11 - (-451429)/(-143)) a multiple of 44?
True
Does 9 divide -1 + (2/(-5) - (-98)/70)*5479?
False
Let h be 65/(-325) - (-794)/(-5). Let k = h - -269. Is 4 a factor of k?
False
Suppose 2*c - 177303 = -3*y, -y + c + 49734 + 9372 = 0. Does 297 divide y?
True
Let q be -5 - ((-2)/(-6) + (-85526)/42). Suppose 4*i = 4*h - 6*h + 1038, q = 4*h - i. Is h a multiple of 4?
False
Suppose s = -2*f + 56, 12*s + 3*f = 7*s + 287. Is 10 a factor of ((-261)/s)/(3/(-224))?
False
Let q be 3/12*(-2 + 14). Suppose -i = q*f - 676, -2*i = -3*f + f + 440. Does 16 divide f?
True
Suppose 0 = 7*k - 13351 - 8286. Does 26 divide k?
False
Let l = -6727 + 10161. Does 34 divide l?
True
Let o(g) = 13*g + 29. Let j be o(-2). Does 12 divide (363 - -28) + j*-1?
False
Suppose 4*d = y + 753, -d + 178 = -2*y - 19. Does 13 divide (-22)/d - (-1277)/17?
False
Does 44 divide (-4045 - (-8 - -7))*44/(-6)?
True
Let x(l) be the third derivative of l**6/120 - 2*l**5/15 - l**4/2 + 25*l**3/6 + 2*l**2. Suppose -240 = -22*i - 2*i. Does 35 divide x(i)?
True
Let f(l) = -l**2 - 6*l - 6. Let w be f(-4). Suppose 430 = 3*h + w*v, 0 = 5*h - 4*v - 0*v - 702. Is h a multiple of 12?
False
Suppose 5413 = 2*w 