 - 13*i + 12. Let m(k) = -k**3 + 2*k**2 - 14*k + 13. Let o(v) = 4*m(v) - 5*x(v). Does 5 divide o(3)?
False
Let x(l) = -8*l - 5. Let c be x(6). Let d(y) = -8*y + 55. Let v be d(17). Let m = c - v. Is m a multiple of 7?
True
Let k = -10682 + 17858. Is k a multiple of 26?
True
Suppose 1348671 = 385*c - 6031009. Is c a multiple of 36?
False
Let g(y) be the second derivative of -y**4/12 - y**3 - 5*y**2/2 - 18*y. Let u be g(-6). Let q(m) = m**2 + 3*m + 5. Does 5 divide q(u)?
True
Let q = -385 + 387. Suppose q*w + 2 = 0, 4*s - w - 4127 = -1594. Does 11 divide s?
False
Let u(p) = 71*p - 110. Let d(j) = 178*j - 274. Let g(l) = 5*d(l) - 12*u(l). Is g(7) a multiple of 4?
True
Let m(h) = h - 2. Let v(k) = -175*k - 105. Let y(f) = 5*m(f) - v(f). Does 13 divide y(2)?
True
Suppose 20*c + 53984 = 24*c + 10*c. Is 142 a factor of c?
False
Suppose 0 = -d - 20*v + 15*v + 5664, -2*v + 11352 = 2*d. Is d a multiple of 9?
True
Let h = 27694 - 26959. Does 15 divide h?
True
Let j(z) = z**3 + 5*z**2 - 16*z - 9. Let t be j(-7). Suppose 0 = 3*r + 2*r + t*u - 50, -10 = -2*u. Let l(b) = 29*b - 50. Is 39 a factor of l(r)?
False
Suppose 221*y = 213*y + 72. Suppose 374 = -y*l + 11*l. Is l a multiple of 43?
False
Let f be ((-21)/6)/(625/(-620) + 1). Let b = -405 + f. Does 17 divide b?
False
Suppose -19*r = 6*r - 0*r - 64675. Is 17 a factor of r?
False
Let d(g) = 225*g**3 - g**2 + 5*g + 26. Does 31 divide d(3)?
True
Let n = -2109 - -14665. Is 30 a factor of n?
False
Let y(w) = -6*w + 24. Let j be y(4). Suppose j = 2*n - 3*m - 12, -2*n - 18 = -6*n + 3*m. Suppose -n*g = -g - 134. Does 16 divide g?
False
Let f = 112 + -80. Suppose -3*x + f = -25. Is x a multiple of 3?
False
Let s(t) = 464*t**2 + 1358*t + 10878. Is 11 a factor of s(-8)?
False
Let h(k) = 3172*k - 1973. Is h(4) a multiple of 14?
False
Let i be (2 + 24/(-6))/((-2)/(-88)). Let g = -88 - i. Suppose 6*w - w + 3*j - 1115 = g, -223 = -w - 3*j. Is 37 a factor of w?
False
Let a = -1237 - 1088. Let s = a - -3345. Is 102 a factor of s?
True
Suppose 51 = 3*k + 213. Let n(h) = h**3 - 19*h**2 + 22*h - 13. Let z be n(18). Let o = z + k. Is o a multiple of 5?
True
Let l(f) = 3*f**2 + 9*f + 58. Let u be l(-12). Let y(c) = -3*c**2 + 16*c - 8. Let h be y(-7). Let b = u + h. Is 23 a factor of b?
True
Let c(p) = 7*p. Let s be c(2). Let k be 7290/s + (-6)/(-21). Let t = -311 + k. Is t a multiple of 15?
True
Let u = 71 - 74. Is 2 a factor of u/1 - 22*5/(-10)?
True
Suppose -4*k - 10280 = -0*z - 4*z, -5*k - 5128 = -2*z. Suppose 42*v = 48*v - z. Is v a multiple of 11?
True
Let n(h) = 12*h**2 - h + 2. Let t be n(-12). Let b = t - 1157. Is b a multiple of 13?
True
Let g(d) be the first derivative of 3*d**4/4 - 4*d**3/3 + 5. Let f(r) = -10*r**3 + 13*r**2 + r + 1. Let h(o) = 2*f(o) + 7*g(o). Is h(2) a multiple of 6?
True
Let y = 2964 - -160. Is 45 a factor of y?
False
Let t = -15377 - -29658. Is 288 a factor of t?
False
Suppose 5*p = 2*p + 1074. Suppose 0 = -4*y - 62*k + 64*k - 840, 0 = -5*y - 2*k - 1032. Let z = y + p. Does 43 divide z?
False
Suppose 3*i - 14135 = -14*i + 14884. Is 2 a factor of i?
False
Let i(b) = -2*b**2 - 2*b - 3. Let u(j) = -j**2 + 1. Let p be -1 + -2 + (9 - 5). Let f(v) = p*i(v) - 6*u(v). Is 7 a factor of f(-4)?
True
Let w be (-820)/(-40)*-2*1. Let s be (w/1)/((2 - -1)/(-15)). Suppose -8*d + s = -115. Does 22 divide d?
False
Let q(t) = 6*t**2 - 55*t - 148. Is q(32) a multiple of 25?
False
Suppose 4*k - 26 = 2*u, -2*u + 7*u - 10 = -5*k. Let d be 9/(-3*(12/8)/u). Let j(t) = t**3 - 5*t**2 + 3*t + 9. Is j(d) a multiple of 14?
False
Is (1224/(-10))/(((-8)/400)/(2/3)) a multiple of 34?
True
Suppose 70*f + 15*f + 11*f = 671904. Does 86 divide f?
False
Let z(p) be the second derivative of -p**5/60 - 2*p**4/3 + 2*p**3 + 25*p**2/2 - 3*p. Let g(h) be the first derivative of z(h). Is 12 a factor of g(-14)?
False
Let b = -10044 + 38823. Is 35 a factor of b?
False
Let h(b) be the third derivative of b**6/120 + b**5/12 + 2*b**3/3 - 106*b**2. Is h(-3) a multiple of 8?
False
Let j be 10*(-2)/(-12)*3. Suppose -168 = 2*h - 180. Suppose 87 = 3*k - j*y, 4*y - h = 2*y. Is 17 a factor of k?
True
Let x(q) = 24*q - 144. Let i be x(5). Is (i/(-40))/(1 + 714/(-715)) a multiple of 39?
True
Is 43 a factor of -3 + -6*(-8)/(-12) + -5 + 16997?
True
Does 12 divide -26 + 2 + 25 + 1822*16?
False
Suppose -3 - 5 = -4*u. Suppose 0 = -z - u*z + 156. Is z a multiple of 4?
True
Let s = -225 - -471. Suppose -2*o = 4*h - s, 3*h + 0*o = 5*o + 217. Is h a multiple of 5?
False
Let g = -42 + 72. Suppose -23*u = -17*u - g. Suppose -5*o + 235 = 5*v, o = u*v - 381 + 158. Does 5 divide v?
True
Suppose -4*i - 198 = -i. Let s be 78/i + (-6)/(-33). Let f(y) = 18*y**2 + y + 1. Is f(s) a multiple of 4?
False
Does 14 divide 524/(((-9)/102)/(4 + (-14 - -7)))?
False
Let y(v) be the first derivative of -v**4/4 - 9*v**3 - 18*v**2 + 50*v - 105. Is y(-26) a multiple of 10?
True
Let z(u) = -2*u**2 - 14*u - 28. Let l be z(-5). Is (24/(-14))/(l/(-1344)*-4) a multiple of 9?
True
Suppose 3*r = -x + 14, -3*x = -2*x + 4. Let m(q) = -124 + 4*q + 5*q + r*q + 102. Is m(7) a multiple of 12?
False
Let u = -111 + 202. Let y = 704 + u. Is 20 a factor of y?
False
Let y = 355 - 52. Let h = -137 + y. Suppose 5*c - 144 = h. Is 8 a factor of c?
False
Let w = -204 + 285. Suppose 2*v + v - w = 0. Is 9 a factor of v?
True
Suppose -2*c - 6*c = 24. Let d be (3 + (c - 19))*-1. Suppose -2*a + d = -5*j, a + 3*a - 2*j - 46 = 0. Does 2 divide a?
True
Let l(k) = k**3 - 10*k**2 + 11*k + 19. Let n(d) = -2*d**3 + 18*d**2 - 23*d - 39. Let u(v) = -7*l(v) - 3*n(v). Does 43 divide u(13)?
True
Suppose 4*m = -640 + 4336. Suppose -m = -15*p + 561. Is p a multiple of 6?
False
Let y = -9029 + 25895. Is y a multiple of 93?
False
Suppose -8*d + 39593 = 3889. Is 18 a factor of d?
False
Let s(q) be the second derivative of -5*q**3/6 + 59*q**2/2 - 13*q. Let m be s(17). Let h = 28 - m. Is 9 a factor of h?
True
Is 4483*(-4 - -5) - (-2 - (7 + -5)) a multiple of 12?
False
Let v = 407 + -403. Let m(g) = 57*g**2 - 9*g + 22. Does 60 divide m(v)?
False
Suppose 23*z = 6*z + 7*z + 239760. Does 74 divide z?
True
Let m(n) = n**3 - 5*n**2 - 14*n - 2. Let u be m(10). Suppose 0*o - u = -2*o. Suppose 2*c - 5*y - 166 = 0, 5*c = -y + o + 236. Is 7 a factor of c?
False
Let l = -14 - -7. Let z = l + 8. Is 5 a factor of (-246)/(-6) + (0 + -1)/z?
True
Let o = 90 + -27. Let a = 68 - o. Suppose -a*d = d - 900. Is 30 a factor of d?
True
Suppose -20 + 28 = 2*q. Suppose -5*c + 294 + 1086 = 5*y, 1072 = 4*y - q*c. Is 8 a factor of y?
True
Suppose j = 2*m - 33203, -83018 = -5*m - j + 2*j. Does 123 divide m?
True
Suppose 2*v - 4*a = 30840, -19750 = -4*v + 5*a + 41936. Is 241 a factor of v?
True
Let d(u) be the third derivative of 83*u**4/24 + 23*u**3/6 + u**2 - 3. Is d(3) a multiple of 25?
False
Suppose -5*h + 43 = -n, -3*n + 0 + 6 = 0. Suppose -1 = -h*k - 1. Is 91 - k/((-2)/(-2 + 3)) a multiple of 34?
False
Let k(v) = -v**2 + 8*v + 23. Let i be k(10). Suppose w - 2 = 4*b + i, -2*w - b + 10 = 0. Suppose 5*n - 2*j = j + 52, 5 = w*j. Is 3 a factor of n?
False
Let v(n) = 7*n - 167. Let x(t) = -9*t + 167. Let q(g) = -5*v(g) - 4*x(g). Does 14 divide q(-13)?
True
Let q = -18 + 20. Suppose 3*h - 424 = -2*y, 3*y + 4*h = q*y + 207. Suppose 5*c - 4*c - y = -4*x, -x - 2*c = -45. Does 28 divide x?
False
Suppose 7*v - 3*v + 112 = 0. Let f = v - -32. Suppose 75 = 9*t - f*t. Does 5 divide t?
True
Suppose 65*u = 64*u + 36. Let b(s) = -119*s**2 - u + 127*s**2 - 4*s + 0*s**3 - 6*s + s**3. Is b(-6) a multiple of 16?
True
Is 92/(0 + 5/40) a multiple of 46?
True
Let s(k) = -6*k + 25. Let b be s(6). Is 10 a factor of 193 + b - (1 + -1)?
False
Let g = -61 - -57. Let p = g + 14. Let c(l) = -l**3 + 11*l**2 - 3*l - 9. Is 7 a factor of c(p)?
False
Is (-5128)/8*(18/(-12))/((-12)/(-8)) a multiple of 2?
False
Let o(i) = -2*i**2 + i. Let y(x) = 37*x**2 - 28*x + 94. Let d(j) = o(j) + y(j). Is d(4) a multiple of 39?
True
Is 4 a factor of 32024/12 + (-5)/((-105)/(-14))?
True
Suppose 82*t - 6 = 81*t. Suppose 0 = -t*l + 15*l - 882. Suppose -4*b + 4*h = -104, -4*b - h - h = -l. Is b a multiple of 25?
True
Let w(n) = 14*n**2 + 7*n + 17. Let q(x) = -27*x**2 - 13*x - 35. Let y(o) = -3*q(o) - 5*w(o). Does 11 divide y(-5)?
True
Suppose 0*l = -5*q - l + 63, 3*q + l = 37. Let b(i) = 64*i**2 - i. Let 