= 5*u. Let o = k - c. Does 5 divide o?
True
Suppose -5*r + 3*k + 3032 + 3066 = 0, 0 = 4*r - 3*k - 4879. Is r a multiple of 53?
True
Let p = 290 + -285. Let d(o) = 19*o + 4. Let n be d(4). Suppose x - p*x = -n. Does 10 divide x?
True
Let w = -6 + 9. Let v(b) = 0*b**w - b**3 + 2*b**2 + b - 3*b**2. Is v(-3) a multiple of 11?
False
Let q = 644 + -460. Suppose 12*n = 10*n + q. Suppose -3*m = -25 - n. Is m a multiple of 13?
True
Suppose -o + 0*o - 9 = -2*p, 2*p + 5*o = -9. Let s = 4 + 31. Suppose p*k - s = 31. Is 22 a factor of k?
True
Is 15 a factor of (51/(-153))/(9272/(-9270) - -1)?
True
Let a = 20 - 17. Let o be (-1)/(-2) - a/(-2). Does 11 divide 1*(54 - (1 - o))?
True
Let d(h) = -h**3 + h - 2*h**2 + 0*h**2 + h**2 - 21. Let t be d(0). Let y = 37 + t. Is y a multiple of 16?
True
Let k(y) = 680*y - 389. Does 42 divide k(4)?
False
Let g(j) = j**3 - 4*j**2 - 11*j + 12. Is g(11) a multiple of 41?
True
Is 10 a factor of (-3459)/(-15) - (3/5 + -1)?
False
Let w(r) = 4*r**2 - 4*r + 28. Is 20 a factor of w(-6)?
False
Suppose 5*q - 2*h - 20 = 0, -3*q = -5*q + 4*h + 8. Suppose -a + n + 0*n - 6 = 0, -3 = -3*a - q*n. Is 360/12*(-2)/a a multiple of 7?
False
Suppose 4*k + 4*u + 16 = 0, -4*k + k = -u + 8. Let x = 6 + k. Suppose x*i = 22 + 26. Does 16 divide i?
True
Let t(d) = d - 2. Let h(q) = q + 14. Let l be h(-7). Let g be t(l). Suppose -g*c + 51 - 1 = 0. Is c a multiple of 7?
False
Let x = -4 - -4. Let p = 4 + x. Suppose 0 = 5*l + p*b - 20, 3*l - 4*l + 4 = 5*b. Is l a multiple of 4?
True
Let y = 0 - 7. Let l(m) be the second derivative of m**5/20 + 3*m**4/4 + 7*m**3/6 - 7*m**2/2 + 16*m. Is 14 a factor of l(y)?
True
Suppose 3*h + 2*p = 5267, 5*h = -21*p + 22*p + 8787. Does 11 divide h?
False
Suppose -240 = -12*w + 9*w + 3*v, -4*v - 396 = -5*w. Does 4 divide w?
True
Suppose 11130 = -11*z + 26*z. Is 37 a factor of z?
False
Let i(f) = f**3 + 14*f**2 - 39*f - 6. Is 90 a factor of i(-14)?
True
Let y(n) = 11 + n**3 + 0*n**3 + n + n + 7*n**2. Is 17 a factor of y(-5)?
True
Let f = -19 - -31. Suppose -10 = 7*b - f*b. Suppose 8*y - b*y - 72 = 0. Does 12 divide y?
True
Let m = -2 + 5. Suppose -5*z + 276 = -m*z. Suppose n = -n + z. Is n a multiple of 20?
False
Suppose 94 - 382 = -3*o. Is 48 a factor of o?
True
Let b be (-78)/(-16) + (-11)/(-88). Suppose 3 = b*k + 23, 0 = -3*h + 5*k + 200. Is 13 a factor of h?
False
Suppose 2*s - 3*r + 1 = 0, 2*r + 2*r - 8 = s. Suppose 8*q - 10*q + s = 0. Suppose 3*z + l - 276 = -l, l = q*z - 177. Does 26 divide z?
False
Suppose 0 = -3*w - 3*m + 7*m + 1248, 0 = -4*w + 4*m + 1668. Is 35 a factor of w?
True
Let f(a) be the first derivative of -a**3/3 - 17*a**2/2 - 16*a + 2. Let s be f(-16). Let o(k) = k**3 - k + 12. Is o(s) a multiple of 10?
False
Suppose -4*f = -4*o - 4, f + 9 = -2*o - 2*o. Let g be 0 + (1 - (f + -1)). Suppose 44 + 223 = g*c. Is 25 a factor of c?
False
Suppose 11*d = 3*d + 5232. Is d a multiple of 6?
True
Let g = -538 + 1359. Does 25 divide g?
False
Suppose -53 = 2*c + 61. Let v = 61 + c. Is v a multiple of 3?
False
Is 1/(9/6006) + (-2)/6 a multiple of 11?
False
Let w = 3906 - 2338. Does 32 divide w?
True
Let j = -27 + 29. Suppose 0 = l + 4*l + 3*k, l = -j*k. Suppose 0 = 2*p - 5*g - 25, g = -3*p - l*g + 12. Does 5 divide p?
True
Suppose -15 = -7*n + 13. Suppose o - n*o = -4*r - 245, 2*o - 65 = r. Let k = r - -84. Does 25 divide k?
True
Let r = 25 + -7. Is r + (-9 + 9)*(-2)/(-6) a multiple of 18?
True
Suppose 5*w - 8800 = 2*b, 43*w - 4*b - 1760 = 42*w. Is 55 a factor of w?
True
Let p be 8/(-4)*(-20)/8. Suppose p*l - 45 - 40 = 0. Is l a multiple of 17?
True
Suppose -2*h - 27 = -3*h. Suppose 0 = -d + 4, -3*p - d = -65 - 50. Let x = p + h. Is 18 a factor of x?
False
Let d = 1941 + -1037. Is d a multiple of 35?
False
Let p(t) = -763*t**3 - t**2 - 5*t - 5. Let o be p(-1). Suppose -4*g + o - 222 = 0. Does 15 divide g?
True
Let l be (9 - 12)/(3/(-4)). Does 15 divide 181/l - 1/4?
True
Suppose -42*f + 30939 + 20469 = 0. Is 17 a factor of f?
True
Let u be (3 - 3)/2*1. Suppose 242 = 4*g - 3*k, -2*g + u*g + 114 = -5*k. Suppose -2*b + g = 22. Is 10 a factor of b?
True
Let m = -7 - -3. Let p(r) = -2*r - 1. Let q be p(m). Suppose 0 = -2*h - q + 55. Is h a multiple of 5?
False
Suppose 0 = -r + 3*r - 6. Let y(p) = 16*p - 6*p + r*p. Does 13 divide y(4)?
True
Suppose 23*i - 7791 = 397. Is 9 a factor of i?
False
Let l = 128 + -213. Let s = l + 106. Does 3 divide s?
True
Let w(p) = 8*p + 15. Let t be w(-2). Let i(c) = 91*c**2 + 1 + 2*c + 1 - 4*c**2. Does 29 divide i(t)?
True
Is (3 - -5)/((-12)/(-1968)) a multiple of 8?
True
Let b(k) be the first derivative of 9*k**4/4 - k**3 + 3*k**2/2 - 3*k - 4. Is 24 a factor of b(2)?
False
Suppose 4*d = 3*d + 4. Suppose 5*p + 355 = 4*c, d*c - 4*p = 9*c - 413. Is c a multiple of 17?
True
Let q(w) = -6*w**3 - 23*w**2 - 2*w + 1. Let r(v) = -v**3 - 1. Let d(s) = q(s) - 5*r(s). Is d(-23) a multiple of 20?
False
Let d(m) = -m**3 - 10*m**2 + 22*m - 22. Let c be d(-12). Is 9/((-2)/(-24) + c/3) a multiple of 2?
True
Is 3938/4 - (-4 - (-70)/20) a multiple of 21?
False
Let s be (-21)/14 + (-55)/(-2). Let p = s - 21. Suppose 3*c - p*c - 6 = 0, -5*g + 2*c = -306. Does 30 divide g?
True
Let m(d) = -2*d + 2 - 3*d**2 + 0*d**2 + d**3 + 3 - 2*d. Let r be m(5). Let o = r + -16. Is o a multiple of 7?
False
Let l(b) = -b**3 + 3*b**2 + 2*b - 4. Let t be l(3). Suppose 720 = 5*r + 3*w, t*w - 432 = -4*r + r. Does 12 divide r?
True
Suppose -10 = -8*i + 3*i. Let x(d) = d**i + 15*d - d**2 - 6 + d**2 + 0*d**2. Does 7 divide x(-17)?
True
Let u = 93 + 87. Is u a multiple of 45?
True
Let i(m) = 15 - m + 6*m**3 + 3*m**2 - 26 + 7. Let w be i(-2). Let f = w + 84. Is f a multiple of 23?
True
Let s(j) = -j**2 + 5*j - 3. Let w be s(5). Let h be 74/w*9/(-2). Suppose -6*v = -3*v - h. Is v a multiple of 12?
False
Let t(p) = 5*p**2 + 5*p - 10. Let u be t(-8). Suppose g - u = -4*g + 3*x, 3*g + 5*x = 196. Suppose -5*y = -3*a - 93 - 13, 4*a + g = 3*y. Is 8 a factor of y?
False
Let o(b) = b**3 - 16*b**2 + 32*b - 9. Let n be o(14). Suppose 0 = n*m - 52*m + 705. Is m a multiple of 22?
False
Let b(o) = -o**3 + 12*o**2 - 10*o - 10. Let c be b(11). Let s(g) = -8*g**2 - g + 1. Let p be s(c). Let w = p - -17. Is w a multiple of 3?
True
Suppose -28*o = -26*o - 636. Is o a multiple of 15?
False
Let b(y) = -y**3 - 7*y**2 - 2*y + 11. Let u be b(-8). Suppose 13 + u = 2*j. Is 13 a factor of j?
True
Let d(p) = -3*p**3 + p**2 + 2*p + 1. Let b be d(-1). Suppose -5*h = 5*k - 284 + 39, 0 = h + b*k - 59. Does 8 divide h?
False
Let x(y) = 5*y**2 - 18*y + 16. Is 26 a factor of x(12)?
True
Let f(n) = 5 - 1 - 4 + 10*n + 3. Let u be f(6). Is 14 a factor of (60/(-45))/((-2)/u)?
True
Suppose -y - 1 = -4*m, -3*y + 5*y + 2 = 0. Suppose m = -2*o + 3*o + u - 53, 4*u - 104 = -2*o. Suppose 2*g - o - 64 = 0. Is g a multiple of 15?
False
Let y be (-4)/(-14) - 99/(-21). Suppose 5*j = 2*l - 32, y*l + j = 4*j + 80. Is ((-92)/l)/(1/(-8)) a multiple of 23?
True
Let y = -64 - -40. Let l be ((-12)/(-7))/(y/(-252)). Is (l/21)/(1/7) a multiple of 3?
True
Let k = 355 + -61. Is 49 a factor of k?
True
Let y(n) = 45*n. Suppose -r = -0*r - 1. Let w be y(r). Suppose 0*c + w = 5*c. Is c a multiple of 5?
False
Let h(u) = 2*u**2 - 4*u - 169. Is 58 a factor of h(-15)?
False
Let a(i) = -i**2 + 9*i - 17. Let j be a(7). Let x be -1*(-1 - -4) - j. Suppose x*w - w - 4 = 0, 56 = r - w. Is r a multiple of 14?
False
Let k(b) = b**3 + 29*b**2 - 18*b - 50. Let l(a) = 2*a**3 + 30*a**2 - 19*a - 50. Let f(x) = 3*k(x) - 2*l(x). Is f(26) a multiple of 11?
False
Let r = 189 + 57. Let s = 446 - r. Is s a multiple of 30?
False
Let x = 265 - 187. Suppose 0*z = z - x. Does 13 divide (2 - (-9)/(-6))*z?
True
Let c(x) = x**3 - 12*x**2 - 29*x - 206. Does 52 divide c(17)?
False
Let n be 5 + ((-9)/18)/(1/6). Suppose 244 = 2*i + 4*y, -n*i + 3*y + 352 = 101. Is 31 a factor of i?
True
Suppose 5*s - 409 = 1186. Is s a multiple of 8?
False
Let z = -5434 + 7703. Is z a multiple of 16?
False
Is 48 a factor of 1698/(-2 + 8) - -4?
False
Suppose -2*v + 4*g + 818 = -170, 5*v - 2456 = -4*g. Does 40 divide v?
False
Let c(g) be the second derivative of 1/12*g**4 - 3/2*g**2 + 0 - g**3 + 3*g. Is c(8) a multiple of 12?
False
Let h(c) = -2*c + 12. Let y be h(-6). Let s = y + -77. Does 17 divide 3*(s - -2)/(-3)?
True
Let o be (-90)/(-35)*(-112)