519 = 3*r. Is r a multiple of 14?
False
Let d = 13 + 15. Let b be 80/(-14) - (-22)/(-77) - -2. Does 7 divide (-7)/((b/d)/1)?
True
Suppose 2*j - 3*r = 2*r + 939, -4*j - 2*r = -1842. Let y = j + -72. Does 30 divide y?
True
Let x(q) be the first derivative of q**3/3 + 2*q**2 + 8*q - 29. Let v be x(-4). Suppose v*n + 392 = 15*n. Is 28 a factor of n?
True
Let y(n) be the second derivative of n**5/10 + n**4/24 - n**3/2 - 13*n**2/2 - 8*n. Let c(b) be the first derivative of y(b). Is c(2) even?
False
Is 128 a factor of (123 + -119 - (-2)/(-3))*4041?
False
Let g(y) be the second derivative of y**4/6 - 4*y**3/3 + 5*y**2 + 4*y + 5. Suppose 3*b = -4 + 22. Does 17 divide g(b)?
True
Let g = -196 - -191. Let i(d) = 19*d**2 - 7*d - 18. Is i(g) a multiple of 41?
True
Let o(c) = c**2 + 8*c - 34. Let b = 197 - 213. Is 7 a factor of o(b)?
False
Let c = -14535 + 14754. Is c a multiple of 11?
False
Let z = 76 + -66. Let i(m) = m**3 - 9*m**2 - 9*m - 8. Let c be i(z). Suppose 7 + 75 = c*d. Is d a multiple of 5?
False
Let k(u) = u**2 - 26*u + 31. Let p be k(21). Let x = p - -154. Does 20 divide x?
True
Let x be (-4)/(-10) - (-184)/40. Let r = -70 - -64. Is 27 a factor of -3 - (r/x)/(6/150)?
True
Suppose -v = -g + 3557, -g - 42*v + 46*v = -3560. Is g a multiple of 14?
True
Suppose 0 = -7*m + 180247 + 90127 - 23127. Is 247 a factor of m?
True
Is 7551 - (84/98 - 0)*7 even?
False
Does 6 divide ((27/6 + -5)*65794)/(1 - 2)?
False
Let n = 482 - 220. Suppose -n*y = -260*y - 1176. Does 21 divide y?
True
Let b be (-6228)/8 + (-25)/(-10). Let i = 1176 + b. Does 4 divide i?
True
Let t = -4947 - -7272. Does 3 divide t?
True
Let t(y) = 8*y**2 + 56*y - 60. Does 10 divide t(8)?
True
Let z(i) = -i**3 + 6*i**2 + 7*i + 3. Let k be z(7). Suppose m - 2*x = 0, k*m = -0*m - 4*x + 10. Suppose c - 81 = -m*c. Is c a multiple of 7?
False
Let x be (-3380)/15 + 2/6. Let l = -596 - x. Let z = l + 580. Does 17 divide z?
False
Suppose -24497 = -4*p + 5*c, -p = -0*p + 5*c - 6093. Is 133 a factor of p?
True
Let w(c) = -13*c**2 - 3*c - 1. Let g(v) = -7*v**2 - v - 1. Let r(n) = -7*g(n) + 4*w(n). Let o be r(-3). Let j = o - -89. Is j a multiple of 11?
False
Suppose 0 = -227*c + 223*c + 10628. Is c a multiple of 3?
False
Let g(a) = -a - 9. Let x be g(6). Let j be 6/x*(-5 - 0). Suppose j*h = 5*h - 135. Is 3 a factor of h?
True
Let u = 1829 - 1650. Is u a multiple of 18?
False
Suppose -19*u - 6*u + 39*u = 223902. Is 17 a factor of u?
False
Let y(c) = c**2 + 6*c + 21. Let n be y(-6). Let i(t) = -t**3 + 22*t**2 - 18*t + 13. Is 9 a factor of i(n)?
False
Suppose 84*l = 142*l - 90016. Is 28 a factor of l?
False
Let z(k) = 105*k + 6. Let w be z(-6). Suppose 586 - 84522 = 215*b + 29*b. Let j = b - w. Is 35 a factor of j?
True
Let w be 9*(5 + (-86)/18). Suppose -w*s - 3*v + 292 = -4*v, 0 = -3*s + v + 436. Does 22 divide s?
False
Let h = 331 + -284. Let p = h - 27. Is 14 a factor of p?
False
Suppose -4*p + 8 = h - 19, 2*h + 2 = 0. Suppose -p*m + 48384 = 49*m. Is m a multiple of 18?
True
Let c(r) = -r**3 + 21*r**2 - 105*r + 14. Let m be c(8). Suppose -2*i - 5 = -i. Does 11 divide (m - (-712)/(-20))/(2/i)?
False
Let a = 20 + -33. Let l(f) = -f**3 - 13*f**2 - 2*f - 6. Is 20 a factor of l(a)?
True
Let p(u) = u**2 - 3*u - 8. Suppose -3 + 0 = d, 5*f + 4*d - 3 = 0. Let r be (3 + 7/(-2) - f)*-2. Does 10 divide p(r)?
True
Let h be (-2)/5 - -62*162/60. Let v = h - -145. Is v a multiple of 52?
True
Suppose 0 = -2*d + 10, 2*g - 22 - 22 = -4*d. Suppose 0 = -5*s - 5*a - 20, 9*s = 4*s - a - g. Let c(t) = -65*t - 9. Does 11 divide c(s)?
True
Suppose 0 = u + 2*u + 3*m + 456, 3*m - 736 = 5*u. Suppose -12 + 29 = -2*t - n, -5*t + 3*n = 26. Let s = t - u. Is s a multiple of 12?
False
Let l be -1*(52 - 0 - 0). Let c = l + 76. Does 24 divide c?
True
Let l be 6/(-21) + (-64)/(-28) + 0. Suppose 0 = -l*n + 62 + 68. Is n a multiple of 5?
True
Let g = 1769 + 8527. Does 44 divide g?
True
Let g be 126 + 1 + -1 + 1. Let u = 336 - g. Is 11 a factor of u?
True
Let d(p) = -p**2 + 6*p + 2. Let k be d(6). Let v be -1 + 0 + (-12)/(-21) + 108/252. Suppose -k*z + 163 = 3*t, 2*z = -v*z - 5*t + 165. Does 16 divide z?
True
Suppose -247*f = -206*f - 26732. Does 6 divide f?
False
Let y = -41 - -47. Let q be -6 - y/(-3) - -18. Suppose i - q = 49. Is i a multiple of 21?
True
Suppose 65 = 6*v + 47. Suppose -5*y + 2464 = v*y. Does 64 divide y?
False
Let k = 15 + -13. Suppose 9*s - 25 = k. Suppose -5*d = o - 308, -2*d - 580 = o - s*o. Is o a multiple of 26?
False
Let z = -2 + -5. Let l be (z - 1)/4 - 0. Is 21 + 12/18*9/l a multiple of 3?
True
Suppose -3*v = u + 237, 3*u + 8*v - 13*v = -781. Let b be (1 + -83)/((-2)/12). Let k = b + u. Does 11 divide k?
False
Let l = 11852 - 11016. Is l a multiple of 11?
True
Let w(y) = -y**2 + 4*y - 7. Suppose 14 = 2*t + 3*t - f, 4*f = 2*t - 20. Let h be w(t). Is ((-32)/(-6))/(h/(-72)) a multiple of 32?
True
Let t(q) = 2*q - 9. Let d be t(14). Suppose -460 = -s - d*s. Does 20 divide s?
False
Suppose -58*t - 169*t + 4850456 = -756898. Is 43 a factor of t?
False
Let p = -714 + 1370. Is p a multiple of 63?
False
Let a = 63 + -23. Suppose -41*c = -a*c - 62. Let o = c - 22. Is o a multiple of 8?
True
Suppose 0*g = -4*g + 456. Suppose 3*j - 2*r + g = 673, j = -r + 188. Let v = 23 + j. Is 42 a factor of v?
True
Let w = 82 - 78. Suppose 0 = -5*r - w*r. Let k(g) = -g**3 + 2*g + 42. Is k(r) a multiple of 6?
True
Suppose -192*z - 18*z + 6930 = 0. Suppose -3*i + 3 = 0, 0 = -2*j - i + 48 + 121. Let v = j - z. Is v a multiple of 5?
False
Let p be (-78)/(-19) + (-4)/38. Let c be p/(-14) + (-961)/(-7). Let b = -125 + c. Is b a multiple of 4?
True
Let f(j) = 5*j - 6. Let x be f(-2). Let y = 4 - x. Suppose 0 = w - 0 - y. Does 10 divide w?
True
Suppose 5*t = 2*n - 95, -15 = -t + 4*t. Let o = 23 - n. Let s = 28 + o. Does 4 divide s?
True
Suppose -15063 = -14*t + 5497 - 6168. Does 14 divide t?
False
Let a = -105 + 112. Let g(r) be the first derivative of 17*r**2/2 + 16*r + 11. Is 16 a factor of g(a)?
False
Suppose 93 = -4*q + 9*q - 3*w, -4*q = w - 71. Suppose 3*h - h + 3*x - 13 = 0, -5*x + 7 = -4*h. Suppose 10 = h*y + q, -5*a = 4*y - 109. Is a a multiple of 25?
True
Let b(v) = -87*v - 426. Is b(-7) a multiple of 11?
False
Let t = 14448 + -9840. Is 19 a factor of t?
False
Suppose 4*v - 12*v = 136. Let x = v + 16. Let c(o) = 42*o**2 + 3*o + 1. Is c(x) a multiple of 5?
True
Suppose -4*a = 5*r + 1514 - 51318, r - 9958 = 2*a. Does 30 divide r?
True
Let u = -2438 - -2843. Does 15 divide u?
True
Suppose 0*z + 1098 = z. Let j(g) = g - 15. Let t be j(17). Does 3 divide (-5)/(-4) - t - z/(-24)?
True
Suppose 5*d = -3*o + 10, -o - 3*d + 9 - 7 = 0. Suppose o*p + 8 - 178 = 0. Is 17 a factor of p?
True
Let n(p) = p**2 + 1. Let o be n(-1). Suppose 4*g = -o*h + 916 - 38, 4*h - 651 = -3*g. Does 15 divide g?
False
Let x = 831 - 53. Is 70 a factor of x?
False
Let s(m) = -3*m**2 + 14*m - 2. Let b(t) = t**2 - 5*t + 1. Let w(d) = -17*b(d) - 6*s(d). Let p be w(-3). Does 13 divide (52/p)/(-2 - -3)?
True
Let g(s) = 4*s - 7. Let p be g(3). Suppose -1275 = -p*j + 3*v, 4*j - v = -4*v + 1047. Let z = j + -164. Is z a multiple of 30?
False
Let s = 1073 + -979. Is s a multiple of 5?
False
Let n(d) = -11*d + 1. Let v be n(-1). Suppose -y - 9*y + 50 = 0. Suppose 2*t = x - v - 38, 175 = 5*x + y*t. Does 40 divide x?
True
Let m(d) = 15*d + 258. Is m(-6) a multiple of 28?
True
Suppose -18*i + 17*i + 15 = 4*f, -5*f + 4*i = -45. Suppose 1225 = 5*p - 5*r, 3*p - f*r - 119 = 622. Does 11 divide p?
True
Suppose -3*a + 20 = 4*g, a + 3 - 1 = 3*g. Suppose -a*o + 3 = 15. Does 12 divide 23 + (-1)/(-4 - o)?
True
Suppose -3551*a + 3552*a = 4875. Does 125 divide a?
True
Let t be (-8)/(56/(-9625)) + -5. Suppose -t = 9*r - 9866. Is r a multiple of 23?
False
Let d(o) = -45*o - 1662. Is d(-63) a multiple of 69?
True
Suppose -4*p = -2*c - 10, -3*c + 3*p = 4*p + 15. Let f be (c/15)/((-1)/(-21)). Is (-3)/7 + (-360)/f a multiple of 17?
True
Suppose 4*d + 1507 = 5*r + 14346, d + r - 3203 = 0. Is 7 a factor of d?
True
Suppose h - 4*x = -11 - 2, -3*h = -x - 16. Suppose h*f + 164 = 1137. Is f a multiple of 11?
False
Let v = 596 + -586. Suppose -v*a + 624 = -1526. Is 43 a factor of a?
True
Let z(n) = 5*n - 173. Let r be z(36). Suppose -3*w = -r*h + 2*h + 3584, w - 2857 = -4*h. Does 13 divide h?
True
Let w(y) =