 = -905 + 1293. Does 36 divide u?
False
Does 5 divide 4932/42 - 16/(-28)?
False
Let o(h) = -h + 9. Let a be o(8). Let r be -1 + 4 - (-18)/a. Does 5 divide 2 + -4 + 1*r?
False
Suppose 24 = f - 5*f. Let y = f + -10. Is (17 - 1) + y/8 a multiple of 3?
False
Suppose 29*c + 28 = 33*c. Let m(p) = 4*p - 10. Is 6 a factor of m(c)?
True
Is 1572 + -3*(-7 - -6) a multiple of 6?
False
Let u(x) = x**3 - x**2 - 4*x - 4. Let i be u(6). Suppose 0 = 5*q - i - 68. Does 11 divide q?
True
Let s = -2953 - -3031. Is s a multiple of 26?
True
Let a(v) be the second derivative of v**4/3 - v**3 - v**2/2 + 8*v. Let p be a(4). Is 6 a factor of 1137/p - 2/13?
False
Let g(o) = -o**2 + 2*o + 4 + 12 + 5. Is 15 a factor of g(0)?
False
Let x be (-9*1)/(1/(-6)). Let t = x + -18. Is 9 a factor of t?
True
Let h(c) = 4*c + 6. Let k be h(-5). Let m = -12 - k. Suppose -5*o + 2*o = -s - 127, -44 = -o + m*s. Is o a multiple of 21?
True
Let b(t) = t**3 + t + 13. Let r be b(0). Suppose -6 = -4*a - 2*m, 3*a - 5*m = -a + r. Suppose -a*k - 199 = -5*o, 4*k - 94 = -o - o. Is o a multiple of 11?
False
Suppose 12*x - 14188 = -3304. Is x a multiple of 16?
False
Let o = 44 + -49. Does 11 divide 1*-5*(63/o + -5)?
True
Let a = 2495 + -689. Does 7 divide a?
True
Let a be 112/(-21) + ((-8)/6)/(-4). Let r(d) = -d**3 + d**2 + 5*d + 8. Does 22 divide r(a)?
False
Let x = -47 + 35. Let b = x - -36. Suppose 12*w = 10*w + b. Does 4 divide w?
True
Suppose 2*q - 10 = -4. Let a be (q/6)/(6/(-1380)). Let t = a - -171. Is 17 a factor of t?
False
Suppose -10*y = -0*y - 20. Suppose y*i + w - 482 = 0, -469 - 735 = -5*i - 2*w. Is i a multiple of 10?
True
Is ((-21)/(-14))/(3/210) a multiple of 7?
True
Suppose 2*o - 18 = -o. Let x be 0 + -3 + -1 + o. Suppose -3*z + 220 = x*z. Does 11 divide z?
True
Suppose 2*g = 6*g + 92. Let q = 51 + g. Let o = 0 + q. Is o a multiple of 20?
False
Let r = -20 - -18. Is 1/r - 79/(-2) a multiple of 12?
False
Let t(u) = 319*u + 63. Is 17 a factor of t(2)?
False
Let o(r) = 2*r**2 - 8*r + 22. Let v be (18/(-10))/((-1)/5). Is 10 a factor of o(v)?
False
Let o = 99 - 103. Suppose 2*a - 36 = -4*x, a = -a - 5*x + 40. Let j = a + o. Is j a multiple of 6?
True
Let u(x) be the first derivative of 13*x**3/3 + x**2/2 + x - 3. Suppose 0*g - 3*y = -5*g + 25, 0 = -g + 3*y + 17. Does 8 divide u(g)?
False
Let y = -52 - -55. Is 2 a factor of y*(1 + 14/6)?
True
Suppose -j = n - 0*j - 22, 3*n = -5*j + 74. Let p = 26 - n. Does 13 divide p/36 + (-232)/(-9)?
True
Let b(q) = -q**2 + 5*q + q - 27 + 25. Let k be b(5). Suppose 0 = -k*x + 6*x - 12. Does 4 divide x?
True
Suppose -13*m = -24*m + 2508. Is m a multiple of 9?
False
Suppose 0 = z + 1 + 1, -b = 5*z + 7. Let s be 423/3*(b - 2). Suppose a = 3*w - s, 4*w - 111 = 2*w - 5*a. Is 16 a factor of w?
True
Let i(f) = -f**2 - 18*f + 5. Let o be i(-11). Suppose z + o = 3*z. Does 15 divide z?
False
Let g(k) = -k**2 + 7. Let u be g(8). Let m = u + 68. Does 3 divide m?
False
Let s(x) = 7 + 26*x + 2*x - 15. Is 17 a factor of s(3)?
False
Let t = 5629 - 3847. Is 33 a factor of t?
True
Let i(g) = g**2 + 15*g + 28. Let b be i(-13). Suppose 0 = -b*c - 3*a + 8, c + 6*a - 9 = 2*a. Is 2 a factor of ((-11)/(-1))/(1/c)?
False
Let f be ((-86)/4 - 2)/((-3)/(-6)). Let l = f - -65. Is l a multiple of 3?
True
Let b = 624 + -425. Is 3 a factor of b?
False
Let o(i) = -i - 22. Let a be o(0). Suppose 8*c - 164 - 140 = 0. Let y = c - a. Does 18 divide y?
False
Let w(l) = -l**3 - 9*l**2 + 21*l - 9. Is 9 a factor of w(-12)?
True
Let w be 10/(-3) + (-4)/6. Does 13 divide (-6)/w + (-374)/(-4)?
False
Does 4 divide 15/2*112/12 - -2?
True
Suppose 7*d - 3502 = -1122. Does 34 divide d?
True
Suppose 9*a - 86 = 11*a. Let u = a + 74. Is 7 a factor of u?
False
Suppose 0 = 1120*g - 1130*g + 11370. Is 6 a factor of g?
False
Let n(w) = -2*w**3 + 36*w**2 - 27*w - 30. Is n(17) a multiple of 2?
False
Suppose 3*h - 20 = 7*h, 905 = 2*w + 3*h. Is 46 a factor of w?
True
Suppose -4*p + 7*p + 5*r - 52 = 0, p = -2*r + 19. Let h be 21/p - 10/(-15). Suppose 0 = 4*k + 5*s - 250, h*s = 5*k + 93 - 387. Is 11 a factor of k?
False
Let k = 29 - -367. Suppose 16*x - 10*x - k = 0. Is x a multiple of 6?
True
Let v(f) = -2*f**3 - 41*f**2 + 46*f - 105. Let z(s) = s**3 + 20*s**2 - 23*s + 52. Let u(d) = -3*v(d) - 5*z(d). Is 21 a factor of u(-24)?
False
Let b(d) = d**3 - 4*d**2 - 7*d + 10. Let n be b(5). Is 11 a factor of (n + 2)*513/24*4?
False
Suppose -i = -c + 4*i + 323, 5*c + 4*i - 1615 = 0. Let u = -179 + c. Is u a multiple of 24?
True
Let c = 45 - 46. Let k(i) = -33*i + 1. Is 8 a factor of k(c)?
False
Let t = -8 - -64. Let x = -39 + t. Let w = x - -7. Does 17 divide w?
False
Let p = -36 - -40. Suppose -4*d - p*h = -d - 12, -2*d = -3*h - 8. Is 4 a factor of d?
True
Let x(w) = -w**2 + 12*w + 1. Suppose -30 = s - 6*s. Suppose 8*i - 7*i = s. Is 8 a factor of x(i)?
False
Let h(r) = r**3 - 27*r**2 + 2*r - 6. Suppose 11*l = 19*l - 216. Is 6 a factor of h(l)?
True
Suppose 2*w = f + 1325, 0 = -35*w + 30*w - 2*f + 3335. Does 8 divide w?
False
Let k = -24 + 420. Does 9 divide k?
True
Let j = -38 + 128. Let o be (-4)/(-6) - 332/(-6). Let i = j - o. Is 13 a factor of i?
False
Let d(n) = n**3 + 10*n**2 - 5*n - 17. Let q be d(-9). Suppose -6*g = -227 - q. Is 8 a factor of g?
True
Suppose -3*x + 4*x + t = 214, 3*x + t = 646. Is x a multiple of 36?
True
Let n = -19 - -85. Let j = 63 + 47. Suppose 3*u + 4*r - n = 0, -2*u + 4*r = 3*u - j. Is u a multiple of 22?
True
Is 7 a factor of (-2)/(-12) - (-905)/(-30)*-5?
False
Let z = -122 - -231. Suppose -3*s - n + 830 = 0, -2*s = -n - 3*n - 558. Suppose -z = -3*u - 4*j, -5*u + s - 86 = 2*j. Is u a multiple of 13?
True
Suppose -25*c = -26*c - 21. Is 542/6 - (21/(-3))/c a multiple of 30?
True
Let x(j) = 10*j**2 - 1. Suppose -4*n = 3 - 7. Is 4 a factor of x(n)?
False
Suppose -391 = n - 2*n + 4*r, 5*n + 4*r - 1907 = 0. Does 12 divide n?
False
Let v be ((-10)/(-6))/(6/18). Suppose -587 = -5*t + 2*p, 0 = -2*t - t - v*p + 346. Is t a multiple of 14?
False
Is 9/(135/(-10)) - 808/(-6) a multiple of 7?
False
Let o(i) = 6*i - 4. Let q(u) = -5*u + 4. Let f(n) = -2*o(n) - 3*q(n). Let z be f(6). Is 19 a factor of ((-344)/(-6))/(z/21)?
False
Let j = 481 + -447. Is 28 a factor of j?
False
Does 9 divide ((-42579)/(-57))/(-1 - (-1 + -1))?
True
Let a = -11 + 84. Let i(k) = -8*k**2 + k. Let y be i(-2). Let h = y + a. Is 8 a factor of h?
False
Let p(n) = 412*n - 75. Does 9 divide p(3)?
True
Let x be 8 + 2/(-5)*-5. Suppose 3*l - x = 4*u, 4*u = -4*l + 2*l + 40. Suppose g = l + 3. Is g a multiple of 7?
False
Let g = -22 + 27. Suppose 0 = 5*z + g - 95. Does 18 divide z?
True
Suppose -3*f = 4*f - 2352. Is 12 a factor of f?
True
Is (-3)/(-6) - (-1122)/12 a multiple of 12?
False
Let w(d) = -d - 5. Let f be w(0). Let l(p) = -3*p - 5. Is 5 a factor of l(f)?
True
Suppose -4*y = 3243 - 10523. Is y a multiple of 52?
True
Let h = -577 + 787. Is h a multiple of 11?
False
Suppose 2*g = 4*i + 458, -i = 2*i - 3*g + 351. Let p = 6 - 32. Let u = p - i. Is u a multiple of 24?
False
Suppose -28*f + 12 = -27*f. Suppose 2*r - f*r + 1100 = 0. Is 11 a factor of r?
True
Let v(i) = 44*i + 724. Is v(33) a multiple of 64?
True
Let q(o) be the second derivative of o**3/2 + 9*o**2/2 + o. Suppose -3*y = v - 4*y - 14, -2*y = 10. Is q(v) a multiple of 9?
True
Suppose 0 = -5*o - 3*k + 75, k = 5*k. Let v = o - 15. Suppose -5*p = -f - 50, 2*p + 0*f + 5*f - 47 = v. Is p a multiple of 11?
True
Let v(s) = 2*s**2 + 3*s - 18. Let r be v(9). Suppose 4*c + y - 3*y - 246 = 0, -3*c + r = 3*y. Is 5 a factor of c?
True
Let w(n) = 18*n + 8. Let y be w(3). Let j = 218 - y. Is j a multiple of 13?
True
Let u(d) = 545*d**3 + d**2 + 2*d - 2. Is u(1) a multiple of 39?
True
Suppose 4*z + 5*h - 4*h - 1974 = 0, -5*z + 3*h = -2459. Is z a multiple of 9?
False
Let f be (-6)/4*-2*1. Is 5 a factor of f/(2 - 236/60 - -2)?
True
Suppose 0 = -3*m + 52 - 7. Suppose 6*h - h = -y + 39, -5*h = m. Let p = y + -9. Is 15 a factor of p?
True
Let l(m) = m**2 + 14*m + 42. Let s be l(-21). Suppose -s - 447 = -4*z + 5*r, -3*z - r = -477. Is 16 a factor of z?
False
Let n(s) = -s**3 - 10*s**2 + 27*s + 29. Let u be n(-12). Let t(v) = -15*v - 54. Does 5 divide t(u)?
False
Let g(o) = -o**3 - 9*o**2 + 20*o + 18. Is g(-11) a multiple of 5?
True
Is 25 a factor of (-2975)/(-170)*(-780)/(-7)?
True
Let c