 0 = 14*n - 26*n - 6600. Does 7 divide (-1)/((-3)/(-6)) - (11 + n)?
False
Let p(h) = -16*h**2 + 3*h + 4. Let o be p(3). Let f be (970/30)/(4/24). Let n = o + f. Is n a multiple of 11?
False
Let y(r) = -r**2 + 12*r - 33. Let v be y(7). Suppose -1143 = -5*b + v. Is 10 a factor of b?
False
Suppose 12029 = -38*w - 60*w + 96701. Does 18 divide w?
True
Let a(s) = s**3 - 22*s**2 - 76*s + 30. Let j be a(25). Suppose -444 = -c - 3*d, -j*d + 454 = c - 7*d. Is c a multiple of 9?
True
Is 224528/112 - (-8)/28 a multiple of 36?
False
Let h(s) = -s**2 - 13*s - 12. Let l be h(-9). Let y = 23 - l. Does 4 divide 0 - (-3 + 1)/y*-26?
True
Let u(b) = 324*b + 516. Is u(10) a multiple of 32?
False
Suppose 12*u + 54 + 186 = 0. Let b(v) = -v**2 + v - 945. Let o be b(0). Does 21 divide 8/3*o/u?
True
Let c(h) be the first derivative of -41*h**2/2 + 27*h + 5. Suppose -17*t + 20*t + 18 = 0. Is c(t) a multiple of 39?
True
Let h(z) = z**3 - 2*z**2 - 7*z - 10. Let q be h(11). Let o = 1715 - q. Does 47 divide o?
False
Let q be (-83)/(5 + 132/(-24)). Let r = 2 + 0. Suppose r*j - 280 - q = 0. Is j a multiple of 48?
False
Let n(u) be the third derivative of 15*u**4/8 - 73*u**3/6 + 61*u**2. Does 22 divide n(7)?
True
Let y(v) = 2*v**2 + 18*v - 13. Let d be y(-10). Is 3 - d - (0 - (10 + 1)) a multiple of 2?
False
Suppose 101*b - 100 = 81*b. Let w(y) be the third derivative of 5*y**4/12 + 5*y**3/3 + y**2. Does 7 divide w(b)?
False
Let u be 12/(-6)*3 + -1380. Let v = u - -2114. Does 13 divide v?
True
Let v = -72 + 52. Let w(r) = -r**3 - 18*r**2 + 29*r + 20. Does 48 divide w(v)?
True
Let n(v) = v**3 + v**2 + 13*v - 87. Let j(o) = o**3 + o**2 + 11*o - 86. Let k(r) = -5*j(r) + 4*n(r). Is 12 a factor of k(0)?
False
Let s(v) = 217*v + 748. Does 10 divide s(8)?
False
Let h be (2 - (-4 + 18))*(-25)/20. Is 16 a factor of -1 + 21/h + 263/5?
False
Is (-10507836)/(-1734) - (-2)/17 a multiple of 39?
False
Suppose 3*s = 3*t - 2085, t - 4*t - 4*s = -2057. Suppose -2*b + 3*v + t = 0, -5*b - v = -203 - 1550. Is 25 a factor of b?
True
Let a be (-1)/(-3) - 8/9*-3. Let o(y) = -28*y + 10. Let g be o(a). Let p = g + 128. Is 18 a factor of p?
True
Is (-66464288)/(-4352) + (-2)/16 a multiple of 10?
False
Is 25383 + (-147 + -23)/(-10) a multiple of 254?
True
Is ((1037 - (-9 - -19)) + 3)/((-1)/(-16)) a multiple of 40?
True
Suppose 81 = 6*v + 57. Is ((-239)/v)/(55/(-220)) a multiple of 14?
False
Suppose -a = 3*a - 5*l - 1408, 4*a - 4*l - 1408 = 0. Is a a multiple of 4?
True
Let b be 19/2 - (-5)/10. Suppose 0 = 9*l + 8 + b. Is 23 a factor of (-46*(-1)/l)/(2 + -3)?
True
Suppose d - 3*d = -3*q + 20, 3*d + 23 = q. Does 24 divide (202/6 + d)*108/10?
True
Let o = 6062 + -3658. Is o a multiple of 8?
False
Suppose 2*o = -3*s + 34795, 3*o = -449*s + 452*s + 52200. Is o a multiple of 127?
True
Let z = -4 - -234. Let q = z + -149. Is 9 a factor of q?
True
Suppose -5*s + 20 = -0*s. Let g(f) = 44*f**2 - 16*f - 58. Let t be g(-4). Suppose 74 = -s*v + t. Is 53 a factor of v?
True
Suppose 0 = -91*o + 8432 + 35248. Is o a multiple of 80?
True
Suppose -66*b = -96*b + 151110. Is 23 a factor of b?
True
Let z(h) = -829*h + 11. Let s be z(-1). Suppose 5*l = 0, -18*l = -5*o - 16*l + s. Does 8 divide o?
True
Let j = 33 + -30. Let i be j/(-12) - (-26)/8. Suppose -4*q + 4*x - 19 = -47, 4*q + i*x = 21. Is q a multiple of 3?
True
Let f(x) = -2*x**2 - 6 + 22*x + x**2 + 3 - 20 - 4. Is f(18) a multiple of 9?
True
Let z be ((-4)/(-6))/((-24)/36). Does 29 divide -3*(z + 897/(-9) - -4)?
True
Let i(y) = -y**3 - 8*y + y**2 + 8*y**2 - 4*y**2 + 13. Let n be i(3). Suppose 414 + 279 = n*w. Is w a multiple of 9?
True
Suppose -266 = -3*a + 5*s, s = -2*a - 2*s + 209. Let r = -77 + a. Is r a multiple of 10?
True
Let x(y) = -10*y + 1. Let v be x(-15). Let r = v + -118. Let w = 107 - r. Does 12 divide w?
False
Let p = -258 - -262. Suppose r + 372 = d - 268, d = -p*r + 655. Is 18 a factor of d?
False
Suppose 3*g = 863 + 640. Suppose 6*u - g = 75. Is u a multiple of 16?
True
Suppose -253*m = -99*m - 1467774. Does 161 divide m?
False
Suppose -8 = 2*x, 5*q + 15*x - 17*x - 33 = 0. Suppose -2*j + b - 4*b = -138, -4*j = -q*b - 320. Is 75 a factor of j?
True
Let q be 1*(1 - (-3 + 4)). Suppose -v + 153 + 80 = q. Is 41 a factor of v?
False
Let x(h) = 560*h - 11871. Is x(24) a multiple of 8?
False
Is 2 + -8 + 3/3 + (-1 - -55958) a multiple of 358?
False
Suppose 4*d - 10080 = 2*o, 4*d - 5*o = -385 + 10441. Is 10 a factor of d?
False
Suppose -294899 = -18*h + 34609. Is 96 a factor of h?
False
Is 15/(-40) - (-138412)/32 a multiple of 14?
False
Suppose 0 = -2*p - 13*u + 12363, -p + 4*p = -2*u + 18562. Does 26 divide p?
True
Suppose -2*v + 5*f - 30 = 3*v, -5*f = -2*v - 24. Let d be v + 3/3 + -14. Does 15 divide (d/(-4))/((-1)/(-20))?
True
Suppose 8*c - 2*c - 6 = 0. Suppose -5 - c = -2*x. Suppose 0 = x*b + 4 - 49. Is 2 a factor of b?
False
Let c = 329 + -236. Let b(d) = d - 58. Let w be b(0). Let o = w + c. Is o a multiple of 5?
True
Suppose -6*u + 784 = -25*u + 4698. Is u a multiple of 4?
False
Let x = -3997 - -5577. Is x a multiple of 60?
False
Suppose -211*j = -16*j - 112320. Does 24 divide j?
True
Let q be -25 - -26 - (-5175 - 3). Suppose 9*g - 2354 = q. Is g a multiple of 93?
True
Let s(q) = 10*q - 60. Let t be s(-12). Let n = -136 - t. Does 12 divide n?
False
Is 9/7 + -1 - 1048496/(-266) a multiple of 6?
True
Suppose 5*c - 5919 = 2346. Let f = c + -990. Does 42 divide f?
False
Suppose 3*a - 3*c = -165, a + 4*c - c + 39 = 0. Suppose -11530*j + 11551*j - 2478 = 0. Let o = j - a. Is o a multiple of 13?
True
Let r(f) = -12*f**3 - 23*f**2 - 8*f - 12. Suppose 794*b = 791*b - 12. Is r(b) a multiple of 30?
True
Let a = -8356 - -12819. Is 81 a factor of a?
False
Let g = 46 - 54. Let m be (7/((-1)/(-1)))/((-4)/g). Let v(n) = -n**3 + 15*n**2 - 12*n - 10. Is v(m) a multiple of 9?
True
Suppose -4*k + 4 = -0*k. Let u(r) = 117*r**2. Let d be u(k). Suppose 15*t - d = 12*t. Is 13 a factor of t?
True
Suppose -31*u = -8*u - 115. Suppose u*y + 315 = 26*y. Does 5 divide y?
True
Let x(j) = 15*j + 4. Let a be x(2). Suppose 0 = -7*n + 316 + a. Suppose n = 3*v - v. Is v a multiple of 3?
False
Suppose 49 = 9*i + 31. Suppose -4 = -3*p + i*p. Suppose 0 = 2*k + 5*w - 187, -p*k + 7*k + w = 287. Is k a multiple of 16?
True
Let y(c) be the second derivative of 23*c**3 - 15*c**2 - c - 28. Is 6 a factor of y(5)?
True
Let m = -77 - -24. Is (m/2)/((-2)/8) a multiple of 35?
False
Let p(y) be the first derivative of -5*y**2/2 - 51*y - 23. Let x be p(-11). Suppose j - 7 - x = -u, -u + 4*j = -26. Does 14 divide u?
True
Let f(c) = -3*c + 19. Let w(a) = 6*a - 39. Let t(m) = 5*f(m) + 2*w(m). Let i be t(5). Suppose i*b + 13 = -n + 89, -n + 86 = -3*b. Does 20 divide n?
True
Let u be (3 - (-64)/(-20)) + 24/(-5). Let z(x) = -3*x**3 + x**2 + 10*x - 10. Does 34 divide z(u)?
True
Let u = 541 + -823. Let l = 378 + u. Is 24 a factor of l?
True
Let o(c) = -2151*c - 69. Let u be o(-1). Let g = -1406 + u. Does 5 divide g?
False
Let n(h) = h**3 - 10*h**2 + 11*h - 9. Let p be n(9). Is 17 a factor of (-2044)/(-12) - 3/p?
True
Let y be (-1 - -1)*5*8/(-40). Suppose 2*z = y, -5*h + 3*z + z = -920. Is h a multiple of 23?
True
Suppose 2*w - 5*t = -0*t - 728, -5*w - 1839 = -3*t. Is 29 a factor of (w + 0)/(-1) + -2?
False
Let u = -4128 + 5280. Is 16 a factor of u?
True
Let m be (-3)/(-1) - (4 + (3 - 31)). Suppose 0 = 5*u - 18 - m. Does 11 divide (u - -3)*12/(-27)*-6?
False
Suppose -m = 5*q - 209, -4*q + 1108 = -201*m + 206*m. Suppose 3*i + i = -636. Let t = i + m. Is t a multiple of 11?
False
Let t(k) = -45*k**2 - 299*k + 27. Is t(-5) a multiple of 8?
False
Suppose 816 = t - 4*n, t + 5*n - 285 = 486. Let k = t - 544. Is 14 a factor of k?
True
Let g(s) = 4*s + 29. Let o be g(-6). Suppose 0*l = o*l - 25. Suppose 2 = 2*n, l*a - 5*n + 23 = 168. Does 15 divide a?
True
Suppose -14 + 26 = 2*s. Suppose 0 = -s*i - 7 - 5. Does 3 divide (6/(-15))/(0 - i/(-70))?
False
Let m(k) = k**2 + 2*k + 2. Let s be m(-2). Suppose -5*x + 125 = 2*t, x = -0*t - s*t + 17. Is 2 a factor of x?
False
Let d(y) = 7*y + 72*y + 11*y**2 - y**3 - 82*y. Let q(l) = -3*l - 5. Let r be q(-5). Is d(r) a multiple of 51?
False
Let i be (-277)/2*1*12/(-2). Suppose -2*t + l + 1226 = 0, -3*t - 3*l = -1008 - i. Let v = t - 361. Is 39 a factor of v?
False
Let u(w) = 16*w*