9 = 6*c - 76183. Does 13 divide c?
False
Let a(m) = -1355*m + 1002. Does 24 divide a(-6)?
False
Let p = 23085 - 12701. Is p a multiple of 16?
True
Suppose 99*f - 255943 = 232721. Is 16 a factor of f?
False
Let s(v) = -559*v - 85. Is s(-4) a multiple of 29?
False
Let x = -5881 + 9902. Does 23 divide x?
False
Let f(h) = -h**3 - 16*h**2 - 6*h + 12. Let q be f(-17). Let z = q + -247. Is z a multiple of 39?
True
Suppose -5*d + 0*d - 3405 = -2*b, -b + 4*d + 1704 = 0. Suppose -5*c + s = 5*s - b, 1670 = 5*c - 2*s. Is c a multiple of 24?
True
Let i = -81 + 84. Suppose -5*x + 288 = i*x. Does 18 divide x?
True
Let h be ((-32)/(-6) + 0)/(19/(-1368)). Let b be (3/(-1))/(18/h). Suppose 0*f + 5*f - b = -q, -5*q - 3*f = -276. Does 27 divide q?
True
Suppose -89*m + 289997 - 68184 + 174059 = 0. Is 38 a factor of m?
False
Let w be 29/(-3) - (3 - 16/6). Let v be ((-16)/w)/(48/80)*81. Let h = v + -106. Is 8 a factor of h?
False
Let g(y) = -12*y**3 - y**2 - 2*y. Let b be g(-2). Suppose 2*z = -z, -n - 3*z + b = 0. Suppose v + v = n. Does 8 divide v?
True
Let q(j) = 2*j**3 - 140*j**2 - 131*j + 2. Does 27 divide q(71)?
True
Let p(j) = 547*j + 25. Let h(q) = -273*q - 13. Let d(v) = -7*h(v) - 4*p(v). Does 51 divide d(-1)?
False
Suppose 571 = 5*l - 3*x - 758, 2 = x. Does 3 divide l?
True
Suppose -139 = -21*q - 34. Suppose -q*t + 3*t = -240. Does 8 divide t?
True
Let n(r) = -r**3 + 17 + 0*r + 4*r**2 + 19 - 44 + r. Let w be n(3). Suppose -w*m - c + 43 + 360 = 0, 0 = -4*c + 12. Is 20 a factor of m?
True
Let o(u) = -5*u + 54. Let t be o(-24). Let g be -1*3 - t/(-12)*6. Suppose -6*b = -8*b + g. Is b a multiple of 14?
True
Let p(k) = -1316*k**3 + 2*k**2 - 7*k + 6. Let x be p(1). Let y = -534 - x. Does 32 divide y?
False
Suppose 14*c + 3*u = 9*c + 8451, -3*c = -2*u - 5082. Suppose 516 = 23*o - c. Does 16 divide o?
True
Let t = 38426 - 17958. Does 14 divide t?
True
Suppose 52*f + 4*h + 13988 = 53*f, 2*f - 4*h = 27980. Is f a multiple of 18?
False
Let f = 56 - 51. Suppose f*u = 1031 + 1034. Is 57 a factor of u?
False
Let c be -2*((-2)/(-4))/((-2)/(-8)). Is 4 a factor of 14370/63 + c/42?
True
Let u(t) = 1077*t - 23. Is 16 a factor of u(1)?
False
Let x(a) = 958*a + 798. Is 68 a factor of x(3)?
True
Let r be (-28 - -15 - -15)*(-41)/(-2). Suppose -4*h - 5*x = -55, -5*h + r = -4*x + x. Is 5 a factor of h?
True
Let j(t) = 17*t**2 - 9*t + 780. Does 60 divide j(60)?
True
Is 142/((-3872)/(-276) + -14) a multiple of 69?
True
Suppose -4*i + 6160 = 2*d, i - 3*d + 22 = 1590. Is i a multiple of 8?
True
Let v = 327 - 142. Let c = v + -51. Is 67 a factor of c?
True
Let n be ((-156)/(-5))/(18/60). Suppose 184 = -4*y - v - n, -2*y = 3*v + 134. Let d = y - -148. Does 10 divide d?
False
Let n = -58 - -71. Let a(r) = 11 - 7 + 5*r + n. Does 8 divide a(6)?
False
Let l = 58 - 56. Suppose -2*p - 5 = 3*p + 3*b, -l = 2*p + 5*b. Is 0 + 96 - p/1 a multiple of 25?
False
Let q(f) be the second derivative of 0 + 33/2*f**2 + 13/6*f**3 - f**4 + 1/20*f**5 - 26*f. Is q(12) a multiple of 21?
True
Let p be (-4)/(-10)*(-85)/(-34). Is 16 a factor of 478*((-15)/(-30))/(1/p)?
False
Suppose 0 = -t + 4*t + 51. Let q = -17 - t. Is q + -1 - (-13 - -1) a multiple of 7?
False
Suppose -4*p = 75*n - 82*n + 307024, 0 = 4*n - 4*p - 175444. Does 12 divide n?
True
Suppose -338 = 5*z - 9208. Is z a multiple of 29?
False
Let z = 494 + -90. Let y = z - 157. Is 11 a factor of y?
False
Suppose -4*r - 12*n = -13*n + 1192, 4*n - 582 = 2*r. Let x = 520 + r. Is 22 a factor of x?
False
Let b(x) be the third derivative of -x**6/40 + x**5/60 + 10*x**2. Let u be b(-1). Let h(r) = 2*r**3 - 3*r**2 + 5. Is 17 a factor of h(u)?
True
Let n = -6145 + 8572. Is n a multiple of 16?
False
Let y(h) = h**3 - 14*h**2 - 15*h + 13. Let p be y(15). Let g be 2*53 - (p - 11). Let k = 244 - g. Is 12 a factor of k?
False
Suppose 3*u - 14349 = -m, 1944*u + 14345 = m + 1943*u. Does 6 divide m?
True
Suppose -276*b - 5*x = -273*b - 1236, -x - 2088 = -5*b. Is 6 a factor of b?
False
Suppose 0 = -8*y + 12*y - 1548. Let v = -256 + y. Is 20 a factor of v?
False
Let w = -177 - -30. Suppose -3*f + 7*f + 260 = z, -2*f - 3*z = 144. Let x = f - w. Does 15 divide x?
False
Is 39 a factor of 125049/9 - (-231)/77 - (-8)/(-6)?
False
Let t be 4/16 + (-38)/(-8). Suppose -5*a - t*a = 150. Let j(i) = -2*i + 7. Is 10 a factor of j(a)?
False
Suppose 137*d - 13 = 2*q + 136*d, 0 = 5*q + d + 15. Let l(g) = -41*g - 7. Let n be l(-11). Is 7 a factor of n/10 - q/(-10)?
False
Let z = 458 - 448. Suppose z*n + 595 = 4115. Is 22 a factor of n?
True
Let m = -685 + 734. Suppose 55*f - m*f = 690. Is f a multiple of 28?
False
Suppose 1610 + 1390 = 5*v. Suppose -4*p - l = -v - 1291, -3*l - 1437 = -3*p. Does 79 divide p?
True
Suppose 4*w - 50 + 26 = 0. Suppose -4*c + 5*q = -43, 3*c = 4*c + 4*q + 5. Does 26 divide (w/2)/(c + (-2318)/332)?
False
Let v(h) = -9940*h - 3362. Is v(-3) a multiple of 12?
False
Let w(m) = -m**3 + 11*m**2 + 3*m + 19. Let o be w(10). Let h = 118 - 64. Let v = o - h. Is v a multiple of 7?
False
Suppose 172*j + 50*j = -13*j + 3575525. Is j a multiple of 32?
False
Let y = 42 - 34. Let f be 14*2/y*2. Suppose 454 = f*n - 71. Is n a multiple of 23?
False
Let x = -9 + -18. Let w = x - -339. Does 6 divide w?
True
Suppose 836 = -40*k + 38*k. Let z = -96 - k. Is 15 a factor of z?
False
Let b be (-7 - 1)/((-2)/1). Let v be 41 - (1 - -7)/b. Suppose v = w + d, 0 = -w + 5*d + 21 + 24. Is 5 a factor of w?
True
Let s = 13654 - 7299. Is 41 a factor of s?
True
Let y(d) = -3701*d**3 + 5*d**2 + 6*d + 3. Is 24 a factor of y(-1)?
False
Suppose -2*p + 83 = 693. Let f = p + 492. Is f a multiple of 7?
False
Does 11 divide ((-36044)/10)/((-86)/1290)?
False
Suppose -m + 110 - 12 = -3*j, -3*m = -j - 46. Let s = j - -33. Does 17 divide s*42 - (-7 - -6)?
True
Let n = -931 + 6468. Does 113 divide n?
True
Let i(x) = -2*x**3 - 50*x**2 - x + 2. Let t be i(-25). Suppose 18*q = t*q - 4293. Does 51 divide q?
False
Let w = 894 + -405. Is w even?
False
Let z = 9869 - 4766. Does 18 divide z?
False
Let x = -114 - -218. Let z = x - 71. Is 4 a factor of z?
False
Let g(t) = 12*t - 134. Let k be g(12). Let h(x) = 0*x + 11 - x**3 - 10*x + 12*x**2 - 16. Is 10 a factor of h(k)?
False
Let z = -536 + 516. Is (z - -57)/((-2)/(-2)) a multiple of 37?
True
Let n(t) = -8*t - 16. Let k(s) = s - 1. Let m(z) = -10*k(z) - n(z). Let f be (-328)/(-32) + (-40)/32. Is 2 a factor of m(f)?
True
Let c(l) = l**3 - 14*l**2 - 19*l + 33. Let o be c(15). Let r = o + 31. Suppose 5*t - 745 = -r*k - k, -k - 5*t = -145. Is k a multiple of 21?
False
Let a = -55 - -58. Suppose -4*f = -a*h - 274, -107 - 99 = -3*f + 2*h. Is (300/f)/((-2)/(-84)) a multiple of 18?
True
Let o = 491 + -487. Suppose -o*c + 650 = -562. Does 95 divide c?
False
Let m = 164 - 24. Let g be 17*((9 - -4) + -5). Suppose -m = -4*o + 2*p, 0*p = -4*o + 4*p + g. Is 18 a factor of o?
True
Suppose -7*u + 2 = -12. Suppose b = -2*a + 105, 0 = 4*b - u*b - 5*a - 255. Does 23 divide b?
True
Let j(g) = -g**3 + 11*g**2 + 28*g - 21. Let a be j(13). Suppose a*f - 662 - 61 = -4*h, -149 = -f - 3*h. Is f a multiple of 11?
True
Let v = 444 + -287. Let r = -1 + v. Suppose 0*u + 2*u - 2*t - 150 = 0, 4*t = 2*u - r. Is 12 a factor of u?
True
Let a(u) be the third derivative of -119*u**4/24 - 5*u**3 - 59*u**2. Does 16 divide a(-2)?
True
Let p(u) = -154*u + 25. Let r be p(-5). Let i = -527 + r. Suppose -6*q + i = -4*q. Is q a multiple of 26?
False
Suppose y = 3*b - 11081, 3*b - 3*y = -0*y + 11073. Is 7 a factor of b?
False
Let h(d) = 419*d - 2130. Is h(6) a multiple of 44?
False
Let a = -8499 - -21300. Does 32 divide a?
False
Suppose -7*q + 24 = -3*q. Let h(d) = 2*d**2 + 5*d - 13. Let o be h(q). Suppose -o = -8*b + 47. Is 2 a factor of b?
False
Let m = -1714 + 293. Let f = -334 - m. Does 60 divide f?
False
Let f be -2*((-7 - (0 - 2)) + 3). Suppose 366 = f*a - 150. Let s = 264 - a. Does 12 divide s?
False
Suppose -z + 1242 = -2828. Is z a multiple of 12?
False
Let u be 8/(-14) + 64/14. Let s be 11 - (-3 + u - 3). Suppose -s = -2*j + 47. Is j a multiple of 6?
True
Let v = 101 + -100. Let l(q) = -q + 2. Let h(n) = 10*n - 14. Let o(f) = v*h(f) - l(f). Is o(16) a multiple of 40?
True
Suppose -q = -u + 64, 5*q - u + 92 + 240 = 0. Let m = -344 + q. Is 13 a factor of m*((-28)/12 - -2)?
False
Suppose -10*o + 1000 = -7