 + -2). Let r be -2*l/(-72) + 1342/12. Suppose 13*t - r = 5*t. Is t a multiple of 14?
True
Let c(y) be the second derivative of 5*y**3 - 18*y**2 - 165*y. Does 24 divide c(2)?
True
Let m(n) = 6*n + 5*n + n**3 - 5*n - 5*n**2 + 0*n + 8. Let i be m(6). Let t = 102 - i. Is t a multiple of 15?
False
Let x = 95 - -62. Let b = 344 - x. Let p = -71 + b. Is 12 a factor of p?
False
Let i(u) = 95*u**2 - 242*u - 33. Does 78 divide i(15)?
False
Suppose -11*d + 15*d - 6488 = -2*z, -6516 = -4*d + 5*z. Is 13 a factor of d?
False
Let m = 24708 - 15096. Does 89 divide m?
True
Let y(j) = 8*j**3 + 10*j**2 + 26*j + 1. Let q(w) = -3*w**3 - 3*w**2 - 9*w. Let g(h) = -11*q(h) - 4*y(h). Suppose -48*l = -14*l - 131 - 175. Does 18 divide g(l)?
False
Suppose -3*t = 12, 4*u + 3*t = -0*t - 204. Let w(g) = g**2 - 5*g - 2. Let d be w(0). Is u/(-30)*(-65)/d a multiple of 26?
True
Let a(l) = 9*l**2 - 13*l - 26. Let x be a(-7). Suppose -1996 = -9*i + x. Suppose -3*u + 3*t + 94 = -341, 2*t - i = -2*u. Is u a multiple of 9?
False
Does 15 divide 60/14*(-119 + 1239)?
True
Suppose 4*v = -5*s + 150152, 2*s + 6*v = v + 60054. Does 16 divide s?
True
Let j(h) = 3*h - 75. Let f be j(27). Is 3 a factor of 7*(19 + (1 - f))?
False
Let w = 1165 - -1863. Is w a multiple of 21?
False
Suppose 11*o = -0*o - 14*o. Suppose o = 13*z - 3977 - 1782. Does 5 divide z?
False
Let t = 228 - 254. Does 28 divide (-84)/15*40/16*t?
True
Let h(b) = 3*b**2 + 31*b - 45. Let a(i) = -6 - 37*i + 2*i**2 + 53*i - 16. Let x(n) = -5*a(n) + 3*h(n). Is x(8) a multiple of 15?
True
Let o be (-1 + 2)/((-3)/45). Let y = -17 - o. Is 11 a factor of ((-12)/20 + -6)/(y/10)?
True
Let b(a) = -2*a**2 + 11*a - 2. Let u be 4 - (-4 - (-12)/4). Let p be b(u). Suppose t + 2*g - 3 = 2, p*g + 64 = 4*t. Does 7 divide t?
False
Suppose -402*v + 18647 = -399*v - 2*l, 0 = -3*v - l + 18635. Does 2 divide v?
False
Suppose -471*t + 203319 = -430*t. Is 10 a factor of t?
False
Let m(z) = z**3 + 3*z**2 - 6*z - 7. Let y be m(-3). Let d be 8/(-44) + 3137/y. Suppose -360 = -5*f - 5*l, 0*l - 5*l + d = 4*f. Is f a multiple of 15?
True
Let x(a) = 2*a**2 - 3*a - 12. Let h(k) = -2*k**2 + 15*k + 19. Let y be h(8). Let m = y + -17. Is x(m) a multiple of 20?
False
Suppose -4*q + 49 = -51. Suppose -13*j = -18*j + q. Suppose u + 0 = -2*c + 17, 4*u + j*c - 65 = 0. Does 3 divide u?
True
Is 65 a factor of (-64)/(-288) - 194216/(-18)?
True
Suppose 2*k - 5*i - 40022 = 0, 3*k + 837*i - 835*i - 59976 = 0. Does 35 divide k?
False
Let n be 1*1*2 + -49 + 51. Let s(v) = v**3 - 4*v**2 + 2*v - 12. Let q be s(n). Is ((-24)/36)/(q/450) a multiple of 15?
True
Does 35 divide ((-910)/4)/(14*13/(-9828))?
True
Let q be (3/(0 + -3))/((-6)/12). Suppose 3*u + q*m - 2 = -0, 4*m = -4*u. Suppose -2*g - u*g - 105 = -s, -g - 102 = -s. Is s a multiple of 27?
False
Let w(s) = 4*s + 41. Let n be w(-22). Let f(q) = -q**2 - 69*q + 109. Is 12 a factor of f(n)?
False
Let h(f) = f**2 - 16*f - 17. Let t be h(-10). Suppose 247*l = t*l + 264. Is 2 a factor of l?
True
Let j be ((-1311)/(-207))/(2/36). Suppose -4*y = -3*h + 634, 93 = h + 3*y - j. Is 15 a factor of h?
True
Suppose 0 = 12*w - 14*w + 24. Suppose -4*a + w = -0*a + 4*o, -5*a + 3*o + 23 = 0. Does 5 divide (-1)/(a/(-52)) + -3?
True
Suppose 69*n = -65*n + 3626040. Is 82 a factor of n?
True
Let o = -105067 - -155735. Is 8 a factor of o?
False
Suppose 8*o + 204 = 5*o + 4*g, -3*g = -9. Let v be -5*7 - (2 - 3). Let k = v - o. Does 5 divide k?
True
Is 12 a factor of (-14 + (15 - 2))*-98?
False
Let s(j) = -25551*j - 97. Is s(-1) a multiple of 286?
True
Let t(l) = -2*l**2 + 56*l - 8. Let p(b) = -26*b**3 + 3*b**2 + b - 2. Let u be p(-1). Does 48 divide t(u)?
True
Suppose -6*s + 4*s + 22 = -4*x, 0 = -4*x - s - 13. Does 22 divide -1*4455/9*x/6?
True
Let c be (0 + (-36)/(-10))*(-420)/(-63). Does 29 divide (-27)/9 - c*-11?
True
Let c = 3792 - -10055. Is 19 a factor of c?
False
Suppose -5*n + 43*a = 41*a + 16, a + 3 = -3*n. Is 6 a factor of (108/42*6)/(n/(-14))?
True
Suppose -4*j = 0, 4*o + 0*j - 13519 - 13665 = -j. Does 11 divide o?
False
Let t be ((-87)/9)/((-1)/3). Let z(w) = -9*w + 4 - 15*w + 29*w**2 + 28*w**3 - 2*w - t*w**3. Is z(28) a multiple of 4?
True
Is 154 a factor of 8376 + (884/(-156) - (-4)/6)?
False
Let l(w) = -w**3 + 6*w**2 + 3*w - 3. Let h = -12 - -2. Let f = 15 + h. Does 10 divide l(f)?
False
Suppose 2*m - 1398 = -h + 4900, -6*m = -5*h + 31586. Is 31 a factor of h?
False
Let t(q) = 2652*q + 662. Is 98 a factor of t(4)?
True
Suppose 190*q = 193*q - 84. Suppose 38*f - 880 = q*f. Is 8 a factor of f?
True
Let i be (1304/20 + -1)*5. Suppose -i + 1431 = 3*j. Does 37 divide j?
True
Let i(z) = 15*z**2 - 11*z - 2. Let v(m) = 30*m**2 - 21*m - 3. Let t(r) = -11*i(r) + 6*v(r). Suppose 0 = -5*j + 10 - 5. Does 5 divide t(j)?
False
Suppose 3*n - 3 - 6 = -5*u, 4*n - 12 = -3*u. Suppose 0 = 4*r + 4, -5*r = -3*g - u*r + 533. Is g a multiple of 14?
False
Suppose 14*z + 122 - 10 = 0. Let j be (z/(-28))/(4/14). Does 10 divide (-8)/(-16)*20/j?
True
Let g(x) = x**3 - 4*x**2 - 29*x + 424. Is 18 a factor of g(12)?
False
Let z(j) = -2852*j - 18. Let r(v) = -317*v - 2. Let s(a) = 52*r(a) - 6*z(a). Let c be s(1). Suppose -3*m + 369 = q, m + 4*m - 4*q = c. Does 6 divide m?
False
Let h = 45 - 48. Let n be h/(-2)*(-1200)/(-36). Suppose n*a + 636 = 56*a. Does 9 divide a?
False
Let y(c) = -8*c + 51. Let d be y(7). Let s(j) = 12*j + 72. Is 7 a factor of s(d)?
False
Let w be 16/56 - (-303)/(-7). Let i = w - -43. Suppose i*z = -7*z + 798. Does 38 divide z?
True
Suppose -3*m - 3*h - 279 = -m, 2*m + 4*h = -282. Let k = m + 301. Is 42 a factor of k?
False
Let c(p) be the third derivative of p**5/6 - p**4/2 - 59*p**3/6 + 84*p**2 - p. Does 17 divide c(-11)?
False
Suppose -413778 = -119*p - 0*p - 116397. Is p a multiple of 112?
False
Let u(q) = -488*q**3 - 151*q**2 - 472*q - 3. Is 54 a factor of u(-3)?
True
Let a = -12104 - -17304. Is 50 a factor of a?
True
Let o = -67 - -70. Suppose -r - 893 = -o*p - 3*r, -5*p - 5*r = -1490. Is 37 a factor of p?
False
Let w = 192459 - 132779. Does 17 divide w?
False
Let z be (5 + (-4)/1)*0. Suppose 10*i = -z*i + 1620. Is 4 a factor of i?
False
Suppose d + 416 = -2*d - 2*y, -2*d + 4*y - 288 = 0. Let b be 3/(-7) - 480/d. Suppose b*p = 6*p - 54. Does 9 divide p?
True
Suppose 6*u + 292 = 4*u. Let t be u/(-4) + 18/12. Let x = 46 - t. Is x a multiple of 4?
True
Does 25 divide (-4)/(-18) + -43 + (-1850277)/(-27)?
False
Suppose 2*u = 4*g + 26648, 5*u + 2*g + 10294 = 76890. Is 90 a factor of u?
True
Let v(f) = 47*f**3 + 5*f**2 + 10*f + 12. Let b be v(-3). Is 18 a factor of (b/15)/(6*3/(-60))?
False
Suppose -139*y = -34048 - 323738. Does 39 divide y?
True
Suppose 5*y + r = 418, -3*y - 8*r + 244 = -4*r. Does 51 divide 2*1/3*70686/y?
True
Let m(h) = h**2 - 11*h + 5. Let n be m(5). Let b = n - -25. Suppose -8*s - 604 + 1788 = b. Is s a multiple of 17?
False
Let c = 8315 + -3059. Is c a multiple of 18?
True
Suppose -124444 = -4*j - 4*k, -2*j + 5*j - 93334 = -2*k. Does 143 divide j?
False
Does 39 divide (-6234747)/(-7266) - (-1)/(-14)?
True
Let c(p) = 473*p + 25. Is c(4) a multiple of 71?
True
Let n(s) = 1486 - 3221 + 1453 - 55*s. Is n(-30) a multiple of 57?
True
Is 41 a factor of (221 + -27)/(3 - (-2380)/(-796)) + 8?
True
Let z be (-3)/(-2)*(-1068)/(-9). Suppose -51 = b + 52. Let v = b + z. Is v a multiple of 17?
False
Let f(z) = -z**3 - 9*z**2 + 4*z - 58. Let t be f(-10). Suppose -d + t*d - 148 = -5*g, -8 = 2*g. Is 24 a factor of d?
True
Let h(x) = x - 3. Let w be h(15). Let i = w - 7. Suppose 4*f - 6*f + 3*j = -146, -i*j = -f + 59. Is f a multiple of 17?
False
Suppose -3*r = 5*t - 3*t - 242, -361 = -4*r + 5*t. Suppose 14*x - r = 42. Does 3 divide x?
True
Is (-233702)/(-742) - 12/(-318) a multiple of 5?
True
Let w = 812 - 561. Suppose -4*p + 3*l + w = 0, -4*p - 3*l = 2*l - 275. Suppose 2*y = p + 111. Is y a multiple of 12?
False
Is 6 a factor of (-80)/(1 - -9) - (-19217)/1?
False
Let o(y) = -1794*y + 10823. Is o(4) a multiple of 83?
False
Is 55 a factor of 6305470/595 - (3 + ((-11)/7 - 2))?
False
Suppose -h + 4*t + 0*t - 69 = 0, -5*t = 3*h + 139. Let v be 248/3*(-225)/(-60). Let f = h + v. Does 31 divide f?
False
Let u = 4 + -1. Let d(h) be the third derivative of h**6/24 - h**5/30 + h**4/12 + 2*h**3/3 - 1719*h**2. Is d(u) a multiple of 28?
False
Suppose 4