+ -9 + 6. Let n = l + -159. Does 24 divide n?
False
Let v(d) = 9*d**2 + 3*d + 24. Let w = 329 - 321. Is 15 a factor of v(w)?
False
Let k = -95 - -88. Let v(c) = 5*c**2 - 8*c - 46. Does 51 divide v(k)?
True
Suppose 9 = 7*q + 44. Let t(n) = -10*n + 1. Let i be t(q). Suppose -4*b + b = -i. Is b a multiple of 17?
True
Let f(b) = 4*b**3 + 2*b**2 - 16*b - 42. Does 17 divide f(8)?
True
Suppose -4 = -a - 2*c + 5*c, -4*a + c - 17 = 0. Is (-715)/(-1) - (-3)/((-3)/a) a multiple of 30?
True
Let k(s) = 4*s**2 - 17*s + 54. Let u(t) = 9*t**2 - 33*t + 108. Let b(g) = -13*k(g) + 6*u(g). Is b(-20) a multiple of 11?
True
Suppose -168 = 15*k - k. Let s be (-1)/(12/8) + (-4292)/k. Let i = 630 - s. Does 39 divide i?
True
Suppose -4*a - 91 = -423. Suppose 2*p - 170 = 4*d, -d + a + 67 = 2*p. Is p a multiple of 7?
True
Let d(m) = 2009*m - 4246. Is 226 a factor of d(20)?
True
Let h = -19 + 24. Suppose h*w = 3*d - 324, -3*d - w = 9 - 333. Is 9 a factor of d?
True
Let k(u) = u**2 - u. Let q(z) = -z**3 - 7*z**2 - z - 5. Let b(c) = -5*k(c) + q(c). Does 16 divide b(-13)?
True
Suppose -12548 = -20*o + 18112. Let x = o - 845. Does 45 divide x?
False
Let p be 44/(-12) - -3 - (-56)/3. Let y be (22/(-33))/(4/p). Does 14 divide (2 - (9/y + 2)) + 49?
False
Let j = 2 - 2. Suppose 3*t - 2*v - 14 = t, j = 3*v + 12. Is 2 a factor of t?
False
Let n = -20 - -20. Suppose n - 2 = 2*c. Is -5*((-8)/5 + c) a multiple of 13?
True
Suppose -3*c - 4*c = -63. Let r(t) = 9*t**2 - 18*t + 55. Is r(c) a multiple of 17?
False
Suppose -2 = -m, 3*j + 71 = m + 9. Is (-12)/j - 10482/(-30) a multiple of 35?
True
Let w = 6 - 2. Let f be w/((-16)/(-1876)) + -1. Suppose -6*l + f = -0*l. Is 14 a factor of l?
False
Let n(k) be the second derivative of k**5/20 - k**4/12 + k**3 + 3*k**2/2 + 101*k. Does 32 divide n(5)?
False
Suppose -71*u + 29*u + 20436 = -30*u. Does 3 divide u?
False
Let q be 482 - (16/(-6) - (-1)/(-3)). Let r = 1095 - q. Is r a multiple of 17?
False
Let p(f) = -2170*f + 111. Does 54 divide p(-2)?
False
Let p = -470 - -320. Let h = p - -330. Is 15 a factor of h?
True
Let i(y) = -y**3 + 5*y**2 + 8*y + 4. Let n be i(6). Suppose 2*k = u + 38, -k = -2*k - u + n. Is 9 a factor of k?
True
Suppose -23626 = -25*t + 3274. Is 2 a factor of t?
True
Let v be (-2)/(-18)*-2 - 226204/(-396). Let k = v - 291. Does 20 divide k?
True
Is (4 + (-70)/15)*-738*(-183)/(-12) a multiple of 9?
False
Suppose 2*h - 31788 = 6*n, 11*h - 79520 = 6*h + 5*n. Does 69 divide h?
False
Suppose 6*q = -2*q - 336. Let p = -42 - q. Suppose p = -13*l + 17*l - 392. Does 49 divide l?
True
Suppose -68231 = -928*x + 897*x. Does 31 divide x?
True
Suppose -62*i + 27*i + 140 = 0. Let a = -5 - -8. Suppose -2*y + i*v + 164 = 2*y, v - 143 = -a*y. Does 23 divide y?
True
Suppose 2*j + 3*s - 3 = -5, -3*j - 4*s = 2. Suppose p = 5*o - 6 + 5, -4*o = 0. Is 8 a factor of 208/j - 0/p?
True
Suppose 20*a + 32*a = 26*a + 644670. Does 87 divide a?
True
Let t(k) = -k**2 - 4*k + 12. Let v be t(-4). Suppose v*a = -a + 3575. Is a a multiple of 57?
False
Let q = -57 + 57. Let m be 0/1 + (2 - (q + -1)). Suppose 5*h - 210 = -2*j, -m*h + 2*j = -4*h + 42. Is 6 a factor of h?
True
Let q(b) = 195*b - 82. Is 9 a factor of q(24)?
False
Suppose -7 - 25 = -8*r. Does 4 divide r*3/(-72) - 25/(-6)?
True
Let p(h) = 12*h**3 - 15*h**2 - 18*h + 21. Is 167 a factor of p(8)?
False
Suppose -6*y - 646 = -23*y. Suppose -22*l + y*l = 3360. Does 14 divide l?
True
Let d = 9 - 9. Let f be (2/(-6))/((-38)/7182). Suppose d = 7*l - f - 483. Is l a multiple of 9?
False
Let p = -29 - -44. Is 66 a factor of (5/(p/22))/((-18)/(-486))?
True
Let n be (-4)/6*((-7 - -2) + 2). Suppose -n*k = 4*d - k - 45, -d = 4*k - 30. Suppose 74 = d*o - 9*o. Does 9 divide o?
False
Is 69281 + ((-55)/40 - 6/(-16)) a multiple of 160?
True
Let x(q) = -18*q**3 + 2*q**2 + 2*q - 1. Let b(j) = -j**2 + 5*j - 4. Let d be b(3). Suppose 2*k - k + 6 = -u, 0 = d*u + 5*k + 27. Does 6 divide x(u)?
False
Let p = 7381 - -3108. Does 17 divide p?
True
Let u = 11195 - 7352. Is 6 a factor of u?
False
Let x = -475 + 270. Let d = 219 + x. Is d a multiple of 14?
True
Suppose -5*o = -3*h - 4, -2*o = -3*o - h + 4. Suppose o*p + 14 = -p + 2*q, 4*p - 2*q + 18 = 0. Is -15*2/1*p/10 a multiple of 6?
True
Suppose 16*n - 18*n + 22 = 0. Suppose -1514 + 6255 = n*v. Is v a multiple of 13?
False
Let j be (2 + 10/(-4))*-108. Is (-420)/9*j/(-36) a multiple of 10?
True
Suppose -17*w = -50482 - 33532. Is 47 a factor of w?
False
Let n = 23 + -26. Let c be 74*n/4*-4. Let f = c - 76. Does 32 divide f?
False
Suppose 4*j - 5*l = -7*l + 102, 5*j - 127 = -3*l. Suppose 23*t - j*t + 258 = 0. Is 6 a factor of t?
False
Suppose -3*s + 6*s = 3*k + 12, -4*s + 3*k + 20 = 0. Suppose 2*w - 4*w = 2*n - s, -4*n + 1 = w. Does 4 divide n*(-73 - (5 + -5))?
False
Suppose -63 = -4*t - 47. Suppose 3*b = -t*b + 469. Let w = b - 49. Is 6 a factor of w?
True
Suppose 206*w - 10623631 + 1961097 = 1830900. Is w a multiple of 404?
False
Does 30 divide (-3)/15*-78695 - -11?
True
Let k be ((-1)/(-4)*0)/(-3). Suppose k = -0*h - 37*h + 5587. Is 86 a factor of h?
False
Let m(n) = 2657*n**2 - 192*n + 771. Does 23 divide m(4)?
False
Suppose 107*b - 2611512 = -59*b. Is b a multiple of 23?
True
Let f be 10 - (1 + 2 + -3). Let w(g) = -g**3 + 9*g**2 + 5*g + 78. Is w(f) a multiple of 4?
True
Suppose -3*f + 14 = -2*k, 5*f - 4*k - 21 = 5. Let i = -1029 + 1044. Suppose 0 = -i*q + 10*q - 3*v + 1363, 8 = -f*v. Is 25 a factor of q?
True
Suppose -2*b + 4 = 2*n, 4*n = -2*b + 4*b + 20. Let p be 2 - -8*b/4. Is 42 a factor of 1824/20 - (0 + p/(-10))?
False
Let a be (6 + 136/(-20))*10/(-4). Let d be 2 - (-5)/(a + 3). Suppose 0 = d*k - 127 - 2. Is 6 a factor of k?
False
Suppose -20*y - 6111 = -23*y. Suppose f - y + 765 = 0. Does 12 divide f?
True
Is 20 a factor of ((-384)/144)/((49274/24636 - 2)*-4)?
False
Let h(u) = 219*u**2 + 1853*u - 3. Does 125 divide h(-9)?
False
Suppose -294184 - 30806 = -11*t - 79*t. Does 23 divide t?
True
Does 31 divide ((-123965)/(-35) - 1) + (129/21 - 6)?
False
Let d(p) be the third derivative of 25/24*p**4 + 0*p - 1/30*p**5 + 0 - 1/2*p**3 - 3*p**2. Does 9 divide d(12)?
True
Let h(o) = 2*o**3 + o**2 - 38*o - 19. Is 33 a factor of h(11)?
False
Suppose 889056 = -24*m + 78*m. Suppose 22*b = 34*b - m. Is 33 a factor of b?
False
Let q be 28/12*(5 + -8). Is 6/(q/(693/(-2))) a multiple of 70?
False
Let y = -87 + 125. Let a = 38 - y. Suppose 3*o - 14 - 46 = a. Is o a multiple of 13?
False
Suppose 3*l = 71 - 62. Suppose -5*s + 126 = t + 9, -2*t = l*s - 255. Is 22 a factor of t?
True
Let b(r) = 998*r - 175*r - 1 - 6 - 7 + 2. Does 24 divide b(1)?
False
Let q = -2904 + 5003. Is 2 a factor of q?
False
Let z = -22 + 30. Let t(n) = -9 + z + 13 + n**2 - 2*n + 0*n. Does 37 divide t(-9)?
True
Let b(a) be the first derivative of 4*a**3/3 + 5*a**2/2 - 10*a - 16. Is b(4) a multiple of 2?
True
Let f(g) be the third derivative of 0*g - 20*g**2 + 0 - 1/8*g**4 + 29/6*g**3. Does 2 divide f(8)?
False
Does 19 divide 1177 + (3 - 6) + 0 + 8 + -4?
True
Let j be (7 - 9 - 11)*(1 - -2). Is 780/j*(-17)/2 a multiple of 17?
True
Suppose 5*t + 57 = -5*q - 33, 2*q - 34 = 3*t. Let m(b) = 5*b + 39. Let o(x) = -20*x - 153. Let l(a) = -9*m(a) - 2*o(a). Is 10 a factor of l(t)?
False
Let j = 776 + -65. Suppose -3*t = -3*o - 2325 + j, -5 = o. Is 32 a factor of t?
False
Is 36 a factor of (-6)/16 + (-984228)/(-96)?
False
Let x = 40 - 45. Let j be (x/(-6))/(3*1/18). Suppose 3*c = 7*i - 9*i + 201, -i + j*c = -81. Is i a multiple of 12?
True
Suppose -10*b - 6560 = -20*b. Suppose j = b + 327. Is j a multiple of 44?
False
Let h be 492 + -2 + -5 + -1. Suppose 3*c - 1444 = -32*m + 34*m, -h = -c - 2*m. Does 7 divide c?
False
Let y be (-1)/((-2)/84) + -1. Let c(n) = 2*n**3 + 7*n**2 - 59*n - 223. Let t be c(-4). Is 1/2 + y/(-6)*t even?
False
Let o = 6385 - 3747. Let r = o - 1554. Does 55 divide r?
False
Let s be (5/2 + -2)*(8 + -4). Does 3 divide (158 - (-2 - -6))/s?
False
Let u = 73 + -70. Let m(t) = -u*t + 6*t + 250*t**3 - 6*t**2 - 249*t**3 + 12. Is m(6) a multiple of 4?
False
Suppose 3*g - 8*m - 1193 = -3*m, 2*m + 2020 = 5*g. Let h = g - 106. Does 20 divide h?
True
Let r = -335 + 344. Suppose 4*s - 9815 = -r*s. Is 61 a factor of s?
False
Suppose 0 = 2*w + 6*m - 4*m - 68, -2*w - 4*m = -66. Is (287 - -1)*-2*w/(-42) a multiple of 12?
True
